Abstract: 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.

Key words: network mobility (NEMO), mobile IPv6, protocol conformance test, conformance test language (CTL)

摘要： 基于网络移动的IPv6互联网将是未来网络发展的方向之一。NEMO是MIPv6最为重要的扩展部分，而协议一致性测试是保证协议实现正确性和有效性的重要手段。该文分析NEMO协议的特点，阐述对网络移动协议一致性测试的思想方法，并使用形式化的测试例描述语言说明了测试例设计与实现过程，给出在Linux实现下的测试结果及分析。

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

CLC Number: 

• TP393