邻居发现协议一致性测试系统（NDPCTS）的研究与实现-计算机应用技术专业论文.docxVIP

摘要作为下一代互联网协议，IPv6有其自身明显的优势：近乎无限的地址容量， 摘要 作为下一代互联网协议，IPv6有其自身明显的优势：近乎无限的地址容量， 增强的地址方式，自动配置(“即插即用”)功能，增强的安全性操作等等。而邻居 发现协议(Neighbor Discovery Protoc01)是IPv6的重要组成部分，它解决了连 接在同一条链路上的所有节点之间的互操作问题。 随着IPv6技术的不断发展，越来越多的厂家推出了各自支持IPv6的通信设 备。但由于IPv6协议是用自然语言描述的，在RFC中以文本形式给出，各协议 实现厂家对协议会有各自不同的理解，有的甚至是错误的理解，从而使得通信设 备的协议非一致性问题日趋严重。因此，越来越多的研究人员致力于开发出好的 IPv6协议一致性测试产品用来检验各生产厂家的实现是否与标准文本相一致， 进而确保各厂家的实现之间能够互操作。 事实上，网络的飞速发展，早已使得协议一致性测试成为计算机网络技术中 热门的话题之一。一方面，从标准化角度看，一致性测试的重要性在于：为了验证 协议实现IUT(Implementation Under Test，被测实现)或SUT(System Under Test，被测系统)与相关协议标准的～致性，必须进行协议～致性测试，可以说 不经过一致性钡4试，就没有实现真正意义上的标准化；另一方面，从协议工程学 角度看，一致性测试也是其中的关键环节，通过形式化描述技术，一致性测试与 协议工程学中的其它领域可以有机地结合起来。 本文首先介绍了IPv6及其邻居发现协议，然后详细阐述了协议一致性测试 的相关理论和方法，并针对邻居发现协议提出了一种简化的测试集描述语言，最 后描述了测试系统Neighbor Discovery Protocol Conformance Test System 的体系结构和具体实现，并以Microsoft Windows Server 2003 Enterprise Edition为测试对象，给出了一个测试实例。 关键词：邻居发现协议；协议一致性测试；形式化描述：测试集 AbstractAs Abstract As the next generation Internet Protocol，IPv6 has its own obvious superiorities，such the abundant of the address capacity,the better address structure，the function of the auto·configuration(namely Plug and Play)，the stronger security,and on．And neighbor discovery protocol is the important component of IPv6．It has solved the operation problem among aU nodes on the same link． With the constant development of IPv6 technology,more and more companies have issued their IPv6 production．But IPv6 protocol iS described with the natural language，and provided in the form of text in RFC．Thus every company has its own comprehension for it，and some even understand it wrong．So the inconsistency problem of these productions is very serious．More and more researchers try their best to develop the perfect IPv6 protocol conformance systems．They help to judge all kinds of productions’confb玎丑ance．and ensure them communicate each Other． In fact，with the rapid development ofthe network,the protocol conformance test has already become one of the hot topics in the network technology field．On one ha