Minimum-Cost Synchronizable Test Sequence Generation Via the DuplexU Digraph' Wen-Huei Chenl, Chuan Yi Tang1 and Hasan Urd2 1 Department of Computer Science National Tsing-Hua University, Hsinchu 300,Taiwan, R.O.C. Corresponding E-mail:
[email protected] 2 Department of Computer Science University of Ottawa, Ottawa, ONT.K1N 6N5, Canada
Abstract This paper proposes a test sequence generation method for testing the coNormance of a protocol implementation to its specification in a remote testing system where both external synchronization and inputloutput operation costs are taken into consideration. The method consists of a set of transformation rules that constructs a duplexu digraph from a given finite state machine (FSM) representation of a protocol specification;and a heuristic algorithm that furdr a rural postman tour in the duplexu digraph to generate a synchronizable test sequence utilizing multiple UIO sequences. If the protocol satisfies a specific property, the heuristic algorithm yields a minimumcost test sequence. The X.25 DTE and I S 0 Class 0 Transportprotocols are proved to possess this specific property. Otherwise, the heuristic algorithm yields a test sequence whose cost is within a bound from the cost of the minimum-cost test sequence. The bound for the test sequence generatedfrom the Q.931 Networksi& protocol is shown to be the cost sum of an inputloutput operation and an external synchronization operation.
predetermined sequence of stimuli (i.e., test sequence) to I and observing indirectly or directly the responses (output) of I to the applied stimuli (input).
1extemal synchronizatidn operations between