The Design Of Protocol Conformance Testing Sequence Generation And Fault Diagnosis Arithmetic

Communication protocol is a set of rules with which communication entities or processes in computer network and communication networks must comply during the exchanging information. Protocol testing ensures the correctness of protocol implementations. Protocol conformance testing is the basis of. each part of Protocol testing. The test sequence generation and fault diagnosis algorithm are two key technologies of conformance testing.Based on the finite state machine and combined with the current test sequence generation method, this thesis designs an optimization test sequence generation algorithm. In this algorithm, the Unique Input and Output Sequence is added to the tail of transition under test to make sure the transition reach the right state and the directed graph of the finite state machine is reconstructed. At last, optimized test sequences are achieved by solving Euler circuit.Fault diagnosis algorithm locates the faults when they are found during the test. Based on the Ghedamsi fault diagnosis algorithm, a new diagnostic algorithm is proposed in this thesis. This algorithm greatly reduces the complexity of the algorithm by taking advantage of intermediate results of protocol testing and the characteristic of the Unique Input and Output Sequences.