邻居发现协议的形式化测试  

A FORMAL TEST METHOD FOR NEIGHBOR DISCOVERY PROTOCOL

作　　者：田军[1] 张玉军[1] 于东[1] 付晓宇 郑红霞[1] 李忠诚[1] 

机构地区：[1]中国科学院计算技术研究所信息网络研究室,北京100080

出　　处：《计算机研究与发展》2001年第12期1409-1417,共9页Journal of Computer Research and Development

基　　金：Nokia中国研发中心基金资助

摘　　要：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.

关 键 词：领导发现协议 一致性测试 形式化描述方法 网络协议 IPV6协议 IPV4协议 通信协议 

分 类 号：TN915.04[电子电信—通信与信息系统]