%0 Journal Article
%T Research on Executable Test Sequence Generation of Mobile Node of Mobile IPv6<br>移动IPv6协议中移动节点的可执行测试序列生成方法研究
%A LI Hua
%A YE Xin-ming
%A LIU Jing
%A LIU Long
%A <br>李华
%A 叶新铭
%A 刘静
%A 刘龙
%J 计算机科学
%D 2009
%I 
%X 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 mobile 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 ex...
%K Mobile IPv6
%K Mobile node
%K Conformance testing
%K Executable test sequence<br>移动IPv6
%K 移动节点
%K 一致性测试
%K 可执行测试序列
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=06B546EDCB6B9DF80C235E72A01504E9&yid=DE12191FBD62783C&vid=933658645952ED9F&iid=F3090AE9B60B7ED1&sid=205BE674D84A456D&eid=B0EBA60720995721&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=12