Research On Protocol Testing Based On Contract And Program Instrumentation

With the rapid development of Internet technology, the application of Internet protocols has spread to bank, finance, communication and many other critical fields, so the high requirement for the dependability and the creditability of the protocol is proposed. Protocol testing, an important protocol assurance measurement, is always the key point of the study of the protocol engineer. A lot of achievement has been gained in this area. Now the scale of Internet is much larger than before, the lack of the IP address is a problem need to be solved immediately. The IPv6 protocol provides more address,so the study of testing on IPv6 protocol is very valuable.This paper executed a complete and systemic study on the protocol testing base on contract and code instrumentation technology. Using contract description to encapsulate various protocol implements, testers just need to know the outside interface rather than the inside detail of the protocol implements to complete testing task. In this paper we use annotation as the method of contract description. We did some research on automatic program instrumentation of check code. All protocol implements using untie contract description, can use this method to execute the automatic code instrumentation technology, or need modify just a little code. With much research in the automatic program instrumentation, we realize an automatic instrument tool in the experiment. This tool functions as follows, determining the instrument point of the program, analyzing the contract description and generating the instrument code with checking ability.For supporting contract and code instrumentation technology more effectively, we use XML as the formal language to describe protocol Request For Comments (RFC). XML is a new kind of describing language, easy to learn and strong functional. XML is conquering more and more domains and developers with its unexampled excellent characters.