摘要
协议一致性测试是保证协议实现正确性和有效的重要手段。分析了网络移动IPv6协议的特点,提出了针对该协议的层次化测试生成方法,得到了针对各个状态机的测试序列集,这些测试序列集是设计网络移动IPv6测试集的基础。最后给出了在Linux实现下的测试结果及分析,验证了研究结果的正确性。
Protocol conformance testing is the main method to ensure the correctness and validity of protocol implementation. The characters of NEMO, proposes hierarchy protocol is analysed description and test generation, gets testing sequences of each FSM which are the base of designing NEMO test suite. Finally, the test results and analysis in Linux implementation have be given .
出处
《科学技术与工程》
2007年第14期3555-3560,共6页
Science Technology and Engineering
基金
国家自然科学基金项目(60403031
90604015)资助