-
题名NEMO协议一致性测试集的设计与实现
被引量:1
- 1
-
-
作者
杜宁
郑红霞
谢高岗
-
机构
湖南大学软件学院
中国科学院计算技术研究所
-
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第24期93-95,共3页
-
基金
国家"863"计划基金资助项目(2005AA121560)
国家自然科学基金资助项目(60403031
90604015)
-
文摘
基于网络移动的IPv6互联网将是未来网络发展的方向之一。NEMO是MIPv6最为重要的扩展部分,而协议一致性测试是保证协议实现正确性和有效性的重要手段。该文分析NEMO协议的特点,阐述对网络移动协议一致性测试的思想方法,并使用形式化的测试例描述语言说明了测试例设计与实现过程,给出在Linux实现下的测试结果及分析。
-
关键词
NEMO协议
MIPv6互联网
协议一致性测试
测试例描述语言
-
Keywords
network mobility (NEMO)
mobile IPv6
protocol conformance test
conformance test language (CTL)
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名网络移动IPv6协议测试生成的研究与实现
被引量:1
- 2
-
-
作者
杜宁
杨柳
郑红霞
谢高岗
-
机构
湖南大学软件学院
中国科学院计算技术研究所
中国科学院计算技术研究所
-
出处
《科学技术与工程》
2007年第14期3555-3560,共6页
-
基金
国家自然科学基金项目(60403031
90604015)资助
-
文摘
协议一致性测试是保证协议实现正确性和有效的重要手段。分析了网络移动IPv6协议的特点,提出了针对该协议的层次化测试生成方法,得到了针对各个状态机的测试序列集,这些测试序列集是设计网络移动IPv6测试集的基础。最后给出了在Linux实现下的测试结果及分析,验证了研究结果的正确性。
-
关键词
NEMO
MIPV6
协议一致性测试
测试例描述语言
-
Keywords
NEMO
mobile IPv6
protocol conformance test
CTL
-
分类号
TN929.5
[电子电信—通信与信息系统]
-