Research On Interoperability Testiong Of OSPFv3 Protocol

The Open Shortest Path First (OSPF) protocol is classified as an Interior Gateway Protocol (IGP). In order to better support the development of the next generation Internet Dased on IPv6, the OSPF for IPv6 (OSPFv3) protocol is unceasingly renewing. For ensuring that the protocol implementation based on OSPFv3 can run stably and reliably according to the protocol description, it is necessary to carry out OSPFv3 protocol testing. Considering the complexity and characteristic of OSPFv3 protocol, it is in need of researching the OSPFv3 protocol interoperability testing other than conformance testing. Interoperability testing is to check whether the different implementations based on the same protocol can interoperate proper y. The research work in the thesis is concentrated on the OSPFv3 protocol interoperability testing. Main contents of the thesis are as fllows:Firstly, the differences between the protocol conformance testing and the protocol interoperability testing are researched, and then further study the current situation of interoperability test development. On this basis, the opinions aiming at the undecided aspects of OSPFv3 protocol interoperability testing are proposed.Secondly, in the aspect of modeling the OSPFv3 protocol interoperability testing, the OSPFv3 protocol model is constucted via extended Petri Net when considering the complexity and concurrency of the OSPFv3 protocol testing. Combining with the RFC standard documents of OSPFv3 protocol, the nondeterminacy in the OSPFv3 protocol interoperability testing is analyzed based on the model. The reachability graph of Petri Net is built and used to further analyze the OSPFv3 protocol interoperability Petri Net model, and then the test generation method is presented.Finally, according to the test requirement, the OSPFv3 interoperability test cases are determined by comparing the test cases generated in the thesis with the test cases in testing specification for routing protocol interoperability of China YD and the OSPFv3 interoperability test cases provided by the University of New Hampshire's InterOperability Laboratory. To executing the determined test cases, the specific test tools are devoloped and the testing entironment corresponding to the testing purposes in the test cases are constructed. At last the test results are analyzed and the test reports are given.There is still some research work need to be done. The selection of data granularity to OSPFv3 model should be further considered. To reduce the complexity of Petri net model, the high level Petri net should be used. The coverage of test generation and the optimal test generation need to be thought. How to construct fault model for interoperaility testing and develope a controlled and interoperable interoperability test tool should be considered.