Research And Implementation On OSPEv3 Protocol Interoperability Testing Based On Property

With the IPv4 address allocation exhausted, IPv6 has become the best solution for such a problem. As the most important routing protocol for next generation Internet, OSPFv3 is constantly updated. Testing of routing protocol currently focuses on conformance testing. But OSPF, a complex protocol, its interoperability testing is essential. The traditional protocol interoperability testing is based on formal model of system under testing to generate test sequences. The abstract test cases are obtained from test sequences. Finally the test cases and the test verdict are gained. When the model is too complicated, the entire testing process will become complicated too. Modeling is the start of the entire testing process, so it is necessary to research the model granularity. This thesis starts with the selection of the modeling granularity of OSPFv3 protocol interoperability testing. Main research work is as follows:Firstly, the research work of property testing and interoperability testing which has been done are introduced. As the modeling granularity, model-based testing (MBT) is introduced for the preparation of the property modeling. The opinions about the testing based on property are proposed.Secondly, during the process of formal modeling of protocol, we, combining with characteristics of the interoperability testing and property, give the modeling granularity method based on the property selection and analyze the benefits of the method. Meanwhile, because there are so many interactive and the concurrent features of OSPFv3 protocol, we use CPN (Colored Petri Net) tools to create models and generate the space of the states and SCC (Strongly Connected Component) graph.Finally, the test sequences are generated based on the SCC graph. Test sequences generated by traditional methods and based on property selection are compared. In this thesis, the interactive property of interoperability protocol testing is further refined to once interaction, twice interaction, and third interaction. TTCN-3 language is used as the implementation language of the test cases generated from the property and the traditional methods. By the result of test verdict, the selection method based on property combining with TTCN-3 test implementation can effectively improve the testing efficiency. There is still some research work to be done. The property model selection process for the model granularity needs to be more accurate than it has been done before. And how to avoid mistakes of the abstract test cases and model is another problem. In the TTCN-3 testing implementation, establishing canonical TTCN-3 test suites and the effective reusing of test behavior functions should be considered.