NEMO协议一致性测试集的设计与实现  

Design and Implementation of Conformance Test Suite of NEMO

作　　者：杜宁[1] 郑红霞[2] 谢高岗[2] 

机构地区：[1]湖南大学软件学院,长沙410082 [2]中国科学院计算技术研究所,北京100080

出　　处：《计算机工程》2007年第24期93-95,共3页Computer Engineering

基　　金：国家"863"计划基金资助项目(2005AA121560);国家自然科学基金资助项目(60403031;90604015)

摘　　要：基于网络移动的IPv6互联网将是未来网络发展的方向之一。NEMO是MIPv6最为重要的扩展部分,而协议一致性测试是保证协议实现正确性和有效性的重要手段。该文分析NEMO协议的特点,阐述对网络移动协议一致性测试的思想方法,并使用形式化的测试例描述语言说明了测试例设计与实现过程,给出在Linux实现下的测试结果及分析。IPv6 network based on the NEMO is one direction the network develops in the future. NEMO is the most important part of mobile IPv6. Protocol conformance testing is the main method to ensure the correctness and validity of protocol implementation. This paper analyses the characteristics of NEMO, discusses idea and method to implement NEMO protocol conformance testing, explains how to design and implement test suit using CTL. And the test results and analysis in Linux implementation are given.

关 键 词：NEMO协议 MIPv6互联网 协议一致性测试 测试例描述语言 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]