Generation And Implementation Of NEMO Protocol Conformance Test

IPv6 Protocol is mainly concerned with the mobility, which proposed many mechanisms with a view to mobility issues. NEMO(Network Mobility ) protocol focuses on the network accessibility, validity and safety of the subnet mobility as a whole unit in the Internet. As the most important extended part of MIPv6 Protocol, NEMO protocol has been researched and implemented widely.The paper emphasizes on the test generation methodology applied in NEMO protocol conformance test. This paper addressed test requirements for NEMO after analyzing the protocol. Since there is the inadequacy of ISO9646 standard test frame applied in NEMO protocol conformance test, the paper presents the hierarchy protocol description and test generation method. In terms of the method, we designed and implement an integrated test suite of NEMO protocol. The validity and effectiveness of methodology presented in the paper is proved by the tests. The main content of this dissertation is explained as follows:1. Testing requirements of NEMO. NEMO is an extremely complicated system both in structure and system behavior, which is distributed and heterogeneous: Defined many new datagram types in NEMO; Improved complicated computing process during protocol; Clealy identified two types of node in protocol criterion. We analyze test requirements of NEMO protocol according to these characteristics.2. A test generation methodology. Protocol formalized description is the key point of test generation. Because NEMO is a discrete protocol, it is difficult to make a whole formalized description for the protocol. We presented the hierarchy protocol description and a test generation method: NEMO protocol can be divided into three layers, described as protocol flow, node type of protocol and discrete function respectively. Every part could generate several testing sequences via FSM model. Finally we got the set of verifiable testing sequences of NEMO protocol.3. Test suite implementation and test verification. Applying the test generation methods mentioned above, we designed the test suite of NEMO, including two testing groups, and 67 test cases in aggregate. By performing the test suite on Linux, we identified the problems of protocol implementation in dynamic home agent address discovery and mobile prefix discovery mechanism. The test experiment proves the validity and effectiveness of the theory and methodology presented in the paper.