Abstract: This paper analyzes the conformity test requirement of mobile IPv6 protocol, uses a formal model to generate test suite, and designs the extended reference implementation based on a general conformance test system. Test capability, configurability and automation are improved. Test practice is carried out on various implementations and the results are analyzed.

Key words: Mobile IPv6, Conformity test, Reference implementation

摘要： 分析了移动IPv6协议的一致性测试需求，提出了基于形式化模型的测试集设计方法，设计了基于通用一致性测试系统的参考实现扩展方案，既增强了测试能力，又提高了测试过程可配置和自动化程度，在此基础上对多种实现进行了测试，对结果进行了分析。

关键词: 移动IPv6, 一致性测试, 参考实现

CLC Number: 

• TP393