Generation executable test sequences based on Petri-net for combined control and data flow of communication protocol

Protocol conformance testing plays an important role in communication developments. A new approach for generating executable test sequences is reported in this paper. Firstly, we select the operational coverage criterion for control flow and all-defs, all-uses, maximal I/O-df chains criteria for data flow. Secondly, based on the Petri-net which is obtained from a LOTOS specification, a new approach combining the control and data flow of protocols is presented. An algorithm is proposed for generating executable test sequences following both the operational coverage criterion for control flow and a chosen criterion for data flow. Finally, some comparisons and conclusions are reported.