摘要 |
PROBLEM TO BE SOLVED: To enable an efficient test based on a single measure of "state coverage" on all classes whether states of the classes are defined clearly or not. SOLUTION: An object to be determined and states thereof to be determined are specified (S201), and a state determination method set is created and registered (S202). When a plurality of state determination method sets are created, a state determination method set to be used is selected. For each concrete state as a state to be determined, all methods included in the selected state determination method set are invoked (S203), and execution results are recorded (S204). For each concrete state, the state determination method set used for the program execution, and the execution results are added to create a pseudo state (S205). The plurality of different concrete states with a plurality of pseudo states are grouped into concrete states each having the same pseudo state (S206). COPYRIGHT: (C)2004,JPO&NCIPI
|