节点文献

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

A FORMAL TEST METHOD FOR NEIGHBOR DISCOVERY PROTOCOL

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 田军张玉军于东付晓宇郑红霞李忠诚

【Author】 TIAN Jun, ZHANG Yu-Jun, YU Dong, FU Xiao-Yu, ZHENG Hong-Xia, and LI Zhong-Cheng (Information Network Laboratory, Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080)

【机构】 中国科学院计算技术研究所信息网络研究室中国科学院计算技术研究所信息网络研究室 北京100080北京1000

【摘要】 Neighbor Discovery(邻居发现 ,ND)协议是下一代互联网协议 IPv6协议中的一个重要组成部分 .随 IPv6在我国的推广应用 ,各种设备蜂拥而来 ,由于各协议实现厂家对协议的不同理解 ,通信设备的协议非一致性问题将日趋严重 ,为了检查各个不同生产厂家的实现是否与标准文本相一致 ,进而确保不同厂家的 IPv6实现之间能够互操作 ,提出了一种协议一致性测试的方法 ,并开发了 IPv6协议实现一致性测试系统 .给出了该测试系统的结构 ,并利用自定义的一种形式化描述语言 ,实现了邻居发现协议一致性测试集的形式化 .并通过对 Solaris8上的 IPv6协议实现进行测试 ,给出测试报告和结果分析 .

【Abstract】 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.

【基金】 Nokia中国研发中心基金资助
  • 【文献出处】 计算机研究与发展 ,Journal of Computer Research and Development , 编辑部邮箱 ,2001年12期
  • 【分类号】TP393.06
  • 【被引频次】28
  • 【下载频次】193
节点文献中: 

本文链接的文献网络图示:

本文的引文网络