移动IPv6协议中移动节点的可执行测试序列生成方法研究

摘要：

移动IPv6可以为主机移动提供便利,使得它可以以一个永久的IPv6地址连接到任何链路上.对于它的测试研究可以保证协议的实现与说明的一致性.在移动IPv6中共有移动节点、家乡代理以及对端节点3个角色.分析了移动节点的控制流模型以及它的基于控制流的测试序列,基于该序列重构并形成了扩展有限状态机,其中考虑加入数据流,构建了可执行的测试序列,然后基于可执行测试序列提取了测试例,此方法可以减缓甚至避免爆炸问题.通过测试实践展示了本方法的有效性,最后给出了结论.

关键词：移动IPv6、移动节点、一致性测试、可执行测试序列

所属期刊栏目：36

分类号：TP393.06(计算技术、计算机技术)

资助基金：国家自然基金项目60863015;内蒙古自然科学基金重点项目200711020803,20080404ZD20;内蒙古自治区高等学校科学研究项目NJ09012

在线出版日期：2009-12-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：137-140