摘要 |
<p><P>PROBLEM TO BE SOLVED: To automatically generate an efficient test case for guaranteeing desired comprehensibility. <P>SOLUTION: In the method, the input of a first state transition system that represents first transitions between a plurality of states is received, the plurality of states are grouped, and when there is at least one first transition from the state of being included in one of two groups to the state of being included in the other, by setting a second transition from one to the other, a second state transition system that represents the second transitions between the plurality of groups is generated. A transition path for covering the second transitions of the second state transition system is generated, and the second transitions included in the generated transition path are specified in a transition order. By successively selecting the first transitions whose transition origin matches the transition destination of the first transition selected for the second transition selected one before from the first transitions corresponding to the specified second transition, the generated transition path is converted to the transition path on the first state transition system, and the converted transition path is outputted. <P>COPYRIGHT: (C)2010,JPO&INPIT</p> |