Conformance testing of a protocol is used to guarantee the correctness of the implementation. Testing is done by applying a sequence of inputs to the implementation under test (IUT) and observing the corresponding output sequence of the IUT. The sequence of inputs and corresponding outputs is called the test sequence. A new finite state machine (FSM) model-FSMw (FSM with weighted transition) is presented. In the FSMw, every transition has its transfer weight-the 'time' consumed in the transition. The FSMw is more practical than FSM, especially in communication systems. After modeling of FSMw, a new method for generating test cases with minimum total weight value-UIOf method is' given. An examples is illustrated to explain the method.
[1]
Paul D. Amer,et al.
Improvements on UIO Sequence Generation and Partial UIO Sequences
,
1992,
PSTV.
[2]
Hasan Ural,et al.
Formal methods for test sequence generation
,
1992,
Comput. Commun..
[3]
Anton T. Dahbura,et al.
Optimal test sequence generation for protocols: chinese postman algorithm applied to q. 931
,
1986
.
[4]
Krishan K. Sabnani,et al.
A Protocol Test Generation Procedure
,
1988,
Comput. Networks.
[5]
H. Ural,et al.
Protocol conformance test generation using multiple UIO sequences with overlapping
,
1990,
SIGCOMM 1990.