The Conformance And Performance Test Of Real-time Transport Protocol Based On Formal Methods

A higher demand of the rapid development, the accuracy and performance of network protocols are presented by the complexity of the network structure,the enrichment of services and the continuous improvement of the intercommunion among systems.As a result, protocols engineering based on formal methods and technologies is improved.the formal description and test is the basis of the whole protocols engineering.The disquisitive purpose of this paper is to present and actualize the conformance testing and performance testing of protocols, based on the development actuality of the global formal technology, and combined the characteristics of the protocols description and test.Firstly,the characteristics of formal methods are introduced in this paper,so does the advantages about using ASM and Reference Nets in protocols test, and the theories and methods of the conformance test based on ASM and the performance test based on Reference Nets.The TFTP are got across the conformance testing. Its model is also founded by using Reference Nets.The performance parameters of time delay and throughput are tested and analyzed.Aimed at the problems in the test, IUT which is preferable to suit the remote test has been come true, and multicast mode in RTP has been tested, by using the methods of remote testing and combining the RTP which is more complex and suitable for remote testing.Then, many performance parameters, such as delay, transmission rate,and bandwidth occupancy of the RTP,are tested.The results are also presented and analyzed.At the end of this paper, many issues not solved yet are briefly introduced, the further disquisitive thoughts and improvement opinions are presented, and the development and research direction of formal technology is expected.