摘要
分析了移动IPv6协议的一致性测试需求,提出了基于形式化模型的测试集设计方法,设计了基于通用一致性测试系统的参考实现扩展方案,既增强了测试能力,又提高了测试过程可配置和自动化程度,在此基础上对多种实现进行了测试,对结果进行了分析。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第11期116-117,125,共3页
Computer Engineering
基金
国家"973"计划基金资助项目(2003CB314801)
国家自然科学基金资助重点项目(90104002)
