Research On Nondeteminism And Impact Of Options In Interoperability Testing Of OSPFv3 Protocol

OSPFv3 routing protocol is a core protocol in TCP/IP family and it is the focus of protocol testing of Next Generation Internet. In order to detect whether peers are correctly connected and communicated with each other, in addition to conformance testing, interoperability testing is necessary to be carried out. This thesis mainly investigates on nondeterminism problem appearing in the OSPFv3 protocol interoperability testing and the impact which options have on the OSPFv3 protocol interoperability testing. The work includes the following parts:First of all, this thesis deeply analyzes the OSPFv3 protocol and its working mechanism. In order to describe interoperation between protocols more clearly and directly, Coloured Petri Net (CPN) is introduced to build the OSPFv3 model. CPN and its advantages are briefly introduced. CPN Tools, one formal modeling tool, is used to build the OSPFv3 protocol interoperability testing model based on data flow.Secondly, this thesis based on Coloured Petri net of OSPFv3 protocol interoperability testing, two steps are adopted to test its nondetermnism:the first step is to bring system under test to a state using transfer tree; the second step is to identify whether the state is indeed the targeted state or not by U method which doesn't need hypothesis of complete specification and strongly connection. A testing environment is built. According to the testing results, how system under test is implemented is analyzed.Thirdly, options in OSPFv3 protocol are introduced in the thesis, and impact of options on the interoperability testing is introduced. Taking example for the impact which the E-bit has on building adjacency relations, we present a partial model. In order to reduce the testing effort, an algorithm which selects the testing path set based on data is proposed. OSPFv3 interoperability testing platform is built, the obtained test sequences are executed, and experimental results are analyzed.At last, the main work and contribution of this thesis is summed up, and the contents of future research are given:Timed CPN model of OSPFv3 will be built to implement sending Hello packets on time; Transfer tree will be optimized to derive shortest guiding sequences; the impact that relationships between options have on OSPFv3 interoperability testing is analyzed and studied.