Study Of Protocol Conform Ance Testing Based On Fsm Model

With the development of computer network, the network protocols play a more and more important role. The protocol is the soul of the network. Whether the communication system can normally work, and whether the network products can communicate correctly depends on if the network protocol is perfect and is realized correctly. However, a lot of the network communication protocols are described with natural language, so the protocol could be understand inconsistently for different developers, or there may be problem in the protocol itself. As a result, the network protocol testing is very important, especially conformance testing. With the protocols becoming more and more complicate, it have to be paid more and more with the manual testing, and there may be some problems that are hard to be found.Protocol testing contains its own characteristics compared with the general software testing. The most important characteristics of protocol realization are dispersive, multi-nodes participation and frequency interactivity, and these characteristics also make protocol testing inconvenient:test deployment is difficult for node participatory, caused by dispersion the test process control coordinate is inconvenient. What is more, a lot of communication software complies with multiple protocols of a family. To complete the whole system function, they have to coordinate with each other to work together, which make the protocol family testing more difficult. So the protocol family testing needs a good test strategy.Model-based testing can generate test cases automatically, which greatly improve the test automation, and can find the protocol and software faults that are difficult to be found. So the model-based testing can ensure the quality of the protocols. This article describes the following parts:1. Introduce the characteristics of the network protocol and protocol conformance test principle; study the traditional protocol conformance test method and the model-based testing. And the article introduces related tools Spec Explorer, which is launched by Microsoft Company.2. This article proposes a test strategy for protocol family testing which test the system on two levels. And the article summarized the method to build model for protocol. Through the test strategy, the top test focusing on the cooperation between different protocols, while the bottom test pays attention to each protocol specific details. The test structure is clear, and the test has spec emphasis.3. Applied model-based testing to Microsoft’s BranchCache protocols conformance testing that contain protocol analysis, model design, generating test cases, implement test cases and get the test results.4. Analyze the advantages and disadvantages of model-based testing compared with the traditional test methods.Along with the development of software industry and the network, the scale of protocol is getting bigger and bigger, and the protocol structure is becoming more and more complicated. As a result the model-based testing will be more popular.