网络移动IPv6协议测试生成的研究与实现  

Research and Implementation of Test Generation of NEMO Encryption-decryption Algorithm in Computer Network Communications

作　　者：杜宁[1,2] 杨柳[1,2] 郑红霞[3] 谢高岗[3] 

机构地区：[1]湖南大学软件学院 [2]中国科学院计算技术研究所,北京100080 [3]中国科学院计算技术研究所

出　　处：《科学技术与工程》2007年第14期3555-3560,共6页Science Technology and Engineering

基　　金：国家自然科学基金项目(60403031;90604015)资助

摘　　要：协议一致性测试是保证协议实现正确性和有效的重要手段。分析了网络移动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 .

关 键 词：NEMO MIPV6 协议一致性测试 测试例描述语言 

分 类 号：TN929.5[电子电信—通信与信息系统]