关键词: 移动IPv6，移动节点，一致性测试，可执行测试序列

Abstract: 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 arc 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 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 introduccd.

Key words: Mobile IPv6 , Mobile node, Conformance testing, Executable test sequence