Automatic test sequences generation for SSCOP protocol

This paper presents some considerations for the simulation of real protocol, SSCOP(Service Specific Connection Oriented Protocol), in the viewpoint of test sequence generation, not of implementation. For the automatic generation of test sequences, we need information for the state transitions of the system to be tested with as high coverage as possible. The information can be obtained during the simulation of the protocol. In the case, the final goal of such a simulation is to achieve 100 percent of coverage for all the possible transitions of the protocol. To obtain a good coverage during the simulation, we modified the SDL model of the protocol. By applying the test sequence generation algorithm for the state transition graph obtained after the simulation of the system, we have generated optimized test sequences for the SSCOP