TEST CASE GENERATION FOR TRANSPORT PROTOCOLS

The development of a Protocol has to go through the stages of Protocol Specification, Synthesis, Verification, Implementation, Validation and Conformance Testing. In this paper we propose an environment to check the syntactic and functional properties of a protocol implementation. The significant feature of our work is that we consider protocol specifications in which transitions can be made on both events and on satisfaction of conditions. The applicability Of this method to real world protocols is illustrated by generating the test sequences for Transport protocols. A comparison of our method with the various existing methods is also provided.