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 cost of the testing is high. Therefore, the authors are studying a tool to generate the test sequence automatically from the state table, based upon a finite state machine (FSM) model. The PW method and the DS method are known methods to generate a sequence that has a strong error detection capability. However, the PW method and the DS method have some weak points. This paper presents a new method for the generation of 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 distinguishing state. 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. [In Japanese.]