摘要
Neighbor Discovery(邻居发现 ,ND)协议是下一代互联网协议 IPv6协议中的一个重要组成部分 .随 IPv6在我国的推广应用 ,各种设备蜂拥而来 ,由于各协议实现厂家对协议的不同理解 ,通信设备的协议非一致性问题将日趋严重 ,为了检查各个不同生产厂家的实现是否与标准文本相一致 ,进而确保不同厂家的 IPv6实现之间能够互操作 ,提出了一种协议一致性测试的方法 ,并开发了 IPv6协议实现一致性测试系统 .给出了该测试系统的结构 ,并利用自定义的一种形式化描述语言 ,实现了邻居发现协议一致性测试集的形式化 .并通过对 Solaris8上的 IPv6协议实现进行测试 ,给出测试报告和结果分析 .
Neighbor discovery for IPv6 is a main part of IPv6 protocol. The IPv6 is under fast development in China, and many kinds of IPv6 communication equipment have been brought out. Different venders have different products. In order to assure the new protocol implementation to be consistent with the standard and in turn to assure the interoperability between different IPv6 implementations, a protocol conformance test method is proposed and an IPv6 protocol conformance test system is developed. The architecture of the testing system is given. A general neighbor discovery protocol test suite is specified in a formal specification language, which is defined to specify IPv6 conformance test suites. Also a test case example is given and test results for an IPv6 ND protocol implementation on Unix are discussed.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2001年第12期1409-1417,共9页
Journal of Computer Research and Development
基金
Nokia中国研发中心基金资助
