| Protocol testing plays a very important role during the process of studying anddeveloping any protocol. Mobile IPv6 is one of the most important IPv6 protocols, and its operation is pretty different from the basic IPv6 protocol. In order to verifywhether mobile IPv6 protocol implementation conforms to the protocol specification, it's an indispensable work to test the mobile IPv6 products supplied by differentmanufacturers. In this paper, we do some research work on the mobile IPv6 protocolconformance testing from two aspects, theory and practice.Protocol conformance testing work includes formal description of protocol, testgeneration, test method and test practice. Our research work can be divided into threeparts. Firstly, according to the node type—mobile node, home agent, correspondentnode and so on in mobile IPv6 network environment, abstract test sequences aregenerated by using Finite State Machine which describes the control flow of abovenodes, then we adopt Extended Label Transition System to describe data flow of theprotocol, and this method constructs the executable test cases according to thedefining information and using information of the variables based on data folw rules.Secondly, in view of the characteristic of mobile IPv6 protocol, we propose a testmethed which is composed of active test and passive test, because single active orpassive test method applying to mobile IPv6 testing results in low efficiency. Lastly, we build the test platform of mobile IPv6 protocol and give an introduction of our protocol conformance test system, moreover we run the test suite on our protocolconformance test system to perform test activities towards mobile IPv6 protocolsoftware MIPL and get corresponding conclusion. |
PDF Full Text Request