%0 Journal Article
%T 移动ipv6协议中移动节点的可执行测试序列生成方法研究
%A 李华
%A 叶新铭
%A 刘静
%A 刘龙？
%J 计算机科学
%D 2009
%X 移动ipv6可以为主机移动提供便利，使得它可以以一个永久的ipv6地址连接到任何链路上。对于它的测试研究可以保证协议的实现与说明的一致性。在移动ipv6中共有移动节点、家乡代理以及对端节点3个角色。分析了移动节点的控制流模型以及它的基于控制流的测试序列，基于该序列重构并形成了扩展有限状态机，其中考虑加入数据流，构建了可执行的测试序列，然后基于可执行测试序列提取了测试例，此方法可以减缓甚至避免爆炸问题。通过测试实践展示了本方法的有效性，最后给出了结论。
%K 移动ipv6
%K 移动节点
%K 一致性测试
%K 可执行测试序列
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=091035&flag=1