Hierarchical Protocol Description and Test Genration Method for Mobile IPv6 Testing

Mobile IPv6 (MIPv6) protocol was released by IETF in 2004. Conformance testing is necessary to accelerate MIPv6 practicality. Formal description and test generation is the key issue in conformance testing. In order to describe and test MIPv6, we define finite state machine (FSM) and multi-node finite state machine (MN-FSM). We propose the method of hierarchical protocol description. MIPv6 is divided into four layers: network system layer, MIPv6 nodes layer, inner data structure management layer and discrete behaviors layer. We separately present the approaches to describe each layer by FSM and MN-FSM. We propose the test generation algorithm and generate MIPv6 test suite. The results of comparison show the validity of our proposed methods.