作为下一代互联网协议,IPv6有其自身明显的优势:近乎无限的地址容量,增强的地址方式,自动配置(“即插即用”)功能,增强的安全性操作等等。而邻居发现协议(Neighbor Discovery Protocol)是IPv6的重要组成部分,它解决了连接在同一条链路上的所有节点之间的互操作问题。 随着IPv6技术的不断发展,越来越多的厂家推出了各自支持IPv6的通信设备。但由于IPv6协议是用自然语言描述的,在RFC中以文本形式给出,各协议实现厂家对协议会有各自不同的理解,有的甚至是错误的理解,从而使得通信设备的协议非一致性问题日趋严重。因此,越来越多的研究人员致力于开发出好的IPv6协议一致性测试产品用来检验各生产厂家的实现是否与标准文本相一致,进而确保各厂家的实现之间能够互操作。 事实上,网络的飞速发展,早已使得协议一致性测试成为计算机网络技术中热门的话题之一。一方面,从标准化角度看,一致性测试的重要性在于:为了验证协议实现IUT(Implementation Under Test,被测实现)或SUT(System Under Test,被测系统)与相关协议标准的一致性,必须进行协议一致性测试,可以说不经过一致性测试,就没有实现真正意义上的标准化;另一方面,从协议工程学角度看,一致性测试也是其中的关键环节,通过形式化描述技术,一致性测试与协议工程学中的其它领域可以有机地结合起来。 本文首先介绍了IPv6及其邻居发现协议,然后详细阐述了协议一致性测试的相关理论和方法,并针对邻居发现协议提出了一种简化的测试集描述语言,最后描述了测试系统Neighbor Discovery Protocol Conformance Test System的体系结构和具体实现,并以Microsoft Windows Server 2003 Enterprise Edition为测试对象,给出了一个测试实例。