Research On Interoperability Testing Of Bittorrent Protocol

With the development of information technology and the growing popularity of Internet, network protocols play a more and more important role. Protocol testing is to ensure that the protocol can work properly. Protocol testing generally can be divided into conformance testing, interoperability testing, robust testing and performance testing. In this thesis, we introduce interoperability testing generation method of BitTorrent protocol. The research work is as follows:Firstly, according to the specification of BitTorrent, how the bittorrent protocol works is analyzed and its finite state machine(FSM) model is presented.Secondly, MSC is introduced and used to formally describe testing purpose. The decomposition algorithm of global testing purpose in interoperability testing is adopted. The global testing purpose is divided into multiple unilateral testing purposes according to the algorithm. Then unilateral testing generation method is used for testing generation. Finally, the interaction between the Tracker and Peer in BitTorren protocol is given as an example to generate the test cases.Thirdly, the selection methods of test data are analyzed and summarized so as to guide the construction of BT protocol packets.Fourthly, the distributed test architecture is introduced. The thesis elaborates what are controllable and observable problems and analyzes the reasons for its occurrence as well as specific solutions. In the distributed test environment, the controllable problem of BT protocol is discussed, and the protocol model is validated.Fifthly, we design and develop a model-driven and automatic testing generation tool and give its architecture. The tool takes a formal model as the input and uses the corresponding coverage rules and testing generation algorithm to generate test sequence.