摘要
移动IPv6可以为主机移动提供便利,使得它可以以一个永久的IPv6地址连接到任何链路上。对于它的测试研究可以保证协议的实现与说明的一致性。在移动IPv6中共有移动节点、家乡代理以及对端节点3个角色。分析了移动节点的控制流模型以及它的基于控制流的测试序列,基于该序列重构并形成了扩展有限状态机,其中考虑加入数据流,构建了可执行的测试序列,然后基于可执行测试序列提取了测试例,此方法可以减缓甚至避免爆炸问题。通过测试实践展示了本方法的有效性,最后给出了结论。
Mobile IPv6 can offer convenient for host and make it connected to any link by a permanent IPv6 address. The conformance testing can guarantee the consistence between the specification and its implementation. In Mobile IPv6, there are three roles, mobile node, home agent, correspondence node. In this paper, the control flow model of mo- bile node was analyzed and the part test sequences were generated. An EFSM（Extended Finite State Machine） was reconstructed from FSM by consideration of addition of data flow and the executable test sequences were generated at the same time. This method can reduce or avoid state exploding. Some test case obtained from an executable test sequence was performed to display the validity of the method. The conclusion and the research work in the future were introduce.
出处
《计算机科学》
CSCD
北大核心
2009年第10期137-140,共4页
Computer Science
基金
国家自然基金项目(60863015)
内蒙古自然科学基金重点项目(200711020803
20080404ZD20)
内蒙古自治区高等学校科学研究项目(NJ09012)资助
