摘要 |
PURPOSE: To efficiently generate a standard matching test data sequence for an EFSM entity by using standard matching test data. CONSTITUTION: A standard matching test sequence is obtained by generating a simplified and extended finite state machine(EFSM) 5. Then, the extended and oriented graph of this EFSM 5 is derived, each state is expressed by state vertexes ... connected with dummy vertexes by oriented edges 50, 60, and 90, and the state vertexes expressing each state and the dummy vertexes are connected with each other by a method corresponding to the operation of this EFSM 5. Next, the number of scanning is assigned to the oriented edges 50, 60, and 90, based on a previously decided test data set. Then, a cyclic path with the minimum length is generated. Moreover, its own input and output sequence is generated for the end state of the cyclic path with the minimum length. Then, the standard matching test data sequence is obtained by connecting its own input and output sequence with the end of the cyclic path with the minimum length from which the dummy vertexes are removed. |