Generate Test Sequences for Communication Protocols Written in ESTELLE
ESTELLE is a new formal description technique developed by the ISO for the description of computer communication protocols. Now, there is a new developping subject—protocol engneering. It includes communication protocol specification, validation, implementation, and testing. In the testing of the implementation, generating test sequences is a complicated issue. In this paper, we propose a method for generating test sequences for ommunication protocols written in ESTELLE.The raw material for the generation of test sequences is found in the protocol pecification. An abstract machine model (that is extended finite state machine) underlies the method presented. The first step is to extract the required information from the sepecification and to represent it some format by using an ESTELLE compiler. The second step is to create a finite state machine from the abstract machine. The third step is to the finite state achine generated in step 2 as input to automatically generate test sequences. The final step is to transform the protocol test sequences into TTCN suites structure.