节点文献

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

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

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 杜宁杨柳郑红霞谢高岗

【Author】 DU Ning1,2, Yang Liu1,2, ZHENG Hong-xia2, XIE Gao-gang2(Software School of Hunan University1, Changsha 410082,P.R.China,)(Institute of Computing Technology, Chinese Academy of Science2, Beijing 100080,P.R.China)

【机构】 湖南大学软件学院中国科学院计算技术研究所 北京100080中国科学院计算技术研究所北京100080长沙410082

【摘要】 协议一致性测试是保证协议实现正确性和有效的重要手段。分析了网络移动IPv6协议的特点,提出了针对该协议的层次化测试生成方法,得到了针对各个状态机的测试序列集,这些测试序列集是设计网络移动IPv6测试集的基础。最后给出了在Linux实现下的测试结果及分析,验证了研究结果的正确性。

【Abstract】 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 .

【基金】 国家自然科学基金项目(60403031,90604015)资助
  • 【文献出处】 科学技术与工程 ,Science Technology and Engineering , 编辑部邮箱 ,2007年14期
  • 【分类号】TN929.5;TP393.04
  • 【被引频次】4
  • 【下载频次】102
节点文献中: 

本文链接的文献网络图示:

本文的引文网络