摘要
基于网络移动的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.
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第24期93-95,共3页
Computer Engineering
基金
国家"863"计划基金资助项目(2005AA121560)
国家自然科学基金资助项目(60403031
90604015)
