Research on Executable Test Sequence Generation of Mobile Node of Mobile IPv6
移动IPv6协议中移动节点的可执行测试序列生成方法研究

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...