Test Sequence Generation Method for Systems-Based Finite Automata -- Single Transition Checking Method Using W Set.

When testing communication systems, it is necessary to select the test sequence from the specification. Since the test sequence must be selected manually, the confidence in the testing is low and the testing cost is high. Therefore, we are studying a tool to generate the test sequence automatically from the state table, based on a finite state machine (FSM) model. The PW method and the OS method are presently used to generate a sequence that has a great error detection capability. However both the PW method and the OS method have disadvantages. This paper presents a new method for the generation of the test input sequence for a system based on an FSM. The method is called the SW method (single transition checking method using W set), and uses the state transition checking approach and the characterization set (W set) for state distinction. This paper also presents an evaluation of this method in terms of its generated test sequence length, its error detection capability, and its general applicability. The results of the evaluation show that the SW method improves some of the weak points of the existing PW and DS methods. [ABSTRACT FROM AUTHOR]