基于IPv6的动态主机配置协议(DHCPv6)是TCP/IP网络中为网络节点传递配置信息的协议。动态主机配置协议可以为网络节点分配IP地址,并提供其它配置信息,以实现网络终端设备的即插即用,降低网络管理人员的工作强度和提高网络资源的利用率。DHCPv6协议实现之间能否正确互操作将直接影响IPv6网络的性能。目前,关于DHCPv6协议互操作测试系统的资料很少。TTCN-3是由欧洲电信标准化协会ETSI提出的新一代测试语言,可被用于一致性测试、互操作测试等多种测试。TTCN-3的通用性很强,可读性好。基于它实现的测试系统可以独立于测试平台,可移植性和兼容性好。本文在深入理解DHCPv6协议和TTCN-3的基础上,对DHCPv6协议进行了互操作测试。主要工作由三部分组成:首先对DHCPv6协议的客户行为进行分析,提取行为特征,对客户行为用Petri网建模。得到Petri网模型后,对它使用可达树分析算法,从可达树中推导出测试序列;接着,将推导出的测试序列编写成用TTCN-3描述的测试例并对它进行编辑和编译,映射成高级语言程序;最后,为使TTCN-3描述的DHCPv6测试例能够运行,编写适合于DHCPv6协议的特定的测试系统适配器SA中的TRI函数和编解码器中的编解码函数,运行测试例,给出测试判定。