Research And Implementation Of Model-driven Protocol Conformance Test System

With the development of communication technologies, communication networks and protocols become more complex. The Complexity of communication protocols reflects in concurrency, asynchronous, instability and diversity. In order to ensure that the entities in networks can accurately and reliably communicate with each other, specification based protocol conformance testing plays an important role in protocol development cycle. Network communication protocol conformance testing is focused on validating whether the implementation under test conforms to the relevant protocol specifications. It mainly consists of formalization, test sequence generation, test script generation, test script execution and result analysis.Combined with the project of protocol conformance test system, the concept of conformance testing, testing architecture, testing workflow, testing methods and the framework of test suit are firstly discussed. And then the methods of protocol conformance test sequence generation based on the finite state machine are focused on, and a new platform is designed to automatically generate test cases, which has the characteristics of commonality, independence, ease and expandability. In detail, this thesis will cover the followings:1) Based on UIO sequences,A new formal method named path overlapped method is proposed for protocol conformance test generation. The main idea is to find a path without repeating transition in FSM as a POTS(path overlapped transition sequence), which is a sequence of distinct transitions such that if it is followed by a UIO sequence for the end state of the last transition in the sequence then all the transitions in the sequence are verified. According to the theoretical and experimental results, the test sequences generated by the path overlapped method are substantially shorter than those generated by other methods employing UIO sequences. Particularly, because of employing path overlapped transition sequence, generation time of overlapped sequence is greatly decreased.2) Based on the new formal method, a complete architecture for a model-driven protocol conformance test system is designed and the test cases auto-generated paltform is developed. The platform can execute the whole proeess which includes the formalization of protocol, the test sequence generation, the test script generation, the test script execution and result analysis. The implement of Interface protocol and Hello protocol of OSPFv3 have been tested with the test system. The practicability of the test system is well verified through the test.