计算机科学 ›› 2009, Vol. 36 ›› Issue (10): 137-140.
李华,叶新铭,刘静,刘龙
LI Hua , YE Xin-ming, LIU Jing, LIU Long
摘要: 移动IPv6可以为主机移动提供便利,使得它可以以一个永久的IPv6地址连接到任何链路上。对于它的测试研究可以保证协议的实现与说明的一致性。在移动IPv6中共有移动节点、家乡代理以及对端节点3个角色。分析了移动节点的控制流模型以及它的基于控制流的测试序列,基于该序列重构并形成了扩展有限状态机,其中考虑加入数据流,构建了可执行的测试序列,然后基于可执行测试序列提取了测试例,此方法可以减缓甚至避免爆炸问题。通过测试实践展示了本方法的有效性,最后给出了结论。
No related articles found! |
|