Conformance Test Study Of HMIPv6 Protocol Based On CPN And TTCN-3

IETF has brought about Hierarchical Mobile IPv6 (HMIPv6) technology, which is made to improve the mobile nodes fast-moving in a small range of region based or Mobile IPv6 (MIPv6). In HMIPv6, the network is divided into many layers by importing Mobile Anchor Point (MAP), and the mobile node's movement is dividec into Macro Mobility and Micro Mobility, which improves MIPv6 handover scheme and communication quality.Protocol conformance testing is an effective way to check whether the implementation conforms to the specification or not. Coloured Petri Nets (CPN) is suitable for describing a system with concurrency and communication. CPN Tools can be used to analyze the properties of the model. TTCN-3 is a powerful and standard test language. It becomes an.urgent problem to test HMIPv6 protoco effectively with the method of combination with CPN and TTCN-3.In this thesis, we study the conformance test of HMIPv6 protocol based on CPN and TTCN-3. First, CPN and CPN Tools are used to model the HMIPv6 protocol through using the firing constraints to simplify the state space of model and generate the state space of micro mobile and macro mobile. Then, based on CPN model o system define the CPN property. The test case generation algorithm which is based or CPN properties is given. The automatic test case generation tool is developed t( achieve the automatic generation of test sequences based on CPN properties. Finally we presente the method of writing the TTCN-3 test case with the combination o CPN, and use this method to write the TTCN-3 test case of HMIPv6 protocol.