摘要
随着IPv6协议在我国的推广应用 ,各种相关设备蜂拥而来 ,由于各协议实现厂家对协议的不同理解 ,使得通信设备的协议非一致性问题日趋严重 .为检查各个不同生产厂家的IPv6实现是否与标准文本相一致 ,进而确保不同厂家的IPv6实现之间能够互操作 ,开发一种IPv6协议一致性测试系统 ,并利用自定义的一种形式化描述语言 ,实现IPv6相关协议一致性测试集的形式化 .文中给出该测试系统的结构 ,通过一个测试例介绍测试集的形式化和测试实现过程 .使用该测试系统对多种IPv6协议实现进行测试 ,发现许多不一致问题 ,为协议实现厂家提供了修改意见 .作为例子 ,给出一种UnixIPv6邻居发现协议实现的测试结果分析 .
With the development and application of IPv6, many IPv6 products come into China. Because different producers have different implementations on the same protocol, the protocol inconsistency problem is becoming serious. In order to assure the protocol implementation to be consistent to the standard and in turn to assure the interoperability between different IPv6 implementations, we developed an IPv6 protocol conformance test system. We define a formal specification language to formalize the IPv6 protocol conformance test suite. This paper gives out architecture of the test system, introduces formalization of the test suite, and presents the test process. The IPv6 conformance test system was used to test many different IPv6 implementations. Many inconsistency problems were found on them. Some advices were given to the producers to modify their implementations. Also a test case example for a Unix IPv6 ND protocol implementation is given and the test result is discussed.
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2002年第4期296-300,共5页
Journal of Computer-Aided Design & Computer Graphics
基金
Nokia中国研发中心基金资助
