论文部分内容阅读
随着IPv6协议在我国的推广应用 ,各种相关设备蜂拥而来 ,由于各协议实现厂家对协议的不同理解 ,使得通信设备的协议非一致性问题日趋严重 .为检查各个不同生产厂家的IPv6实现是否与标准文本相一致 ,进而确保不同厂家的IPv6实现之间能够互操作 ,开发一种IPv6协议一致性测试系统 ,并利用自定义的一种形式化描述语言 ,实现IPv6相关协议一致性测试集的形式化 .文中给出该测试系统的结构 ,通过一个测试例介绍测试集的形式化和测试实现过程 .使用该测试系统对多种IPv6协议实现进行测试 ,发现许多不一致问题 ,为协议实现厂家提供了修改意见 .作为例子 ,给出一种UnixIPv6邻居发现协议实现的测试结果分析 .
With the popularization and application of IPv6 protocol in our country, all kinds of related devices are flocking to each other, and different protocols are understood by different protocols, which makes the problem of protocol inconsistency of communication devices more and more serious.In order to check the IPv6 implementation of different manufacturers, Whether it is consistent with the standard text, thereby ensuring interoperability between different vendors’ IPv6 implementations, developing an IPv6 protocol conformance test system and implementing a custom set of formal description languages to implement the IPv6-related protocol conformance test set .This paper presents the structure of the test system, through a test case to introduce the formalization of the test set and test the implementation process.Using the test system to test a variety of IPv6 protocol, found that many inconsistencies for the agreement to achieve manufacturers Provided an idea of modification.As an example, a UnixIPv6 neighbor discovery protocol to achieve the test results analysis.