TEST SEQUENCES SELECTION BASED ON DETERMINISTIC FINITE-STATE MACHINES

张涌,钱乐秋,王渊峰
2002-01-01
Abstract:The behavior of a software system or its subsystems can be described precisely using finite-state machines, so it has been used widely in software modeling. Many researchers have proposed some test selection methods based on FSM. Among these methods, the Wp-method, which has fewer use constraints and higher fault coverage, can be used more widely. But if the estimated states number (m) of the implementation of a specification is large, a large number of test sequences will be generated using the Wp-method, which will decrease the testing efficiency. An improved method of the Wp-method, named R-Wp method, is presented. When the m is large, fewer test sequences can be obtained through this method than through the Wp-method. In addition, the number of test sequences generated from the R-Wp method and the Wp-method, and factors which influence the number of test sequences generation, are discussed. Finally, it is proved that the R-Wp has the same fault detecting ability as the Wp-method.
What problem does this paper attempt to address?