[发明专利]测试用例生成装置、测试用例生成方法和测试用例生成程序

权利要求书

1.一种测试用例生成装置，其对在每次被输入值时执行1个步骤的处理的软件进行分析，生成为了测试所述软件而输入的值的序列作为测试用例，该测试用例生成装置具有：

等效步骤检査部，当关于在多个步骤的处理中共用且在依次执行所述多个步骤的处理的过程中保持与各步骤的处理的执行结果对应的值的状态变量，执行所述多个步骤中的任意1个步骤的处理后的值与执行另1个步骤的处理后的值相等的情况下，所述等效步骤检査部判定为这2个步骤是等效步骤；以及

测试用例生成部，其将由所述等效步骤检査部判定为等效步骤的2个步骤中的一方排除，对所述软件进行分析而生成所述测试用例中包含的值。

2.根据权利要求1所述的测试用例生成装置，其中，

该测试用例生成装置还具有状态变量提取部，该状态变量提取部对所述软件进行分析，提取在所述多个步骤的处理中共用且保持与各步骤的处理的执行结果对应的值的多个变量中的除了第1变量以外的第2变量作为所述状态变量，该第1变量根据是否达到阈值而使下一步骤的处理不同。

3.根据权利要求2所述的测试用例生成装置，其中，

该测试用例生成装置还具有程序信息输入部，该程序信息输入部被输入表示所述第1变量的规格的信息，

所述状态变量提取部根据输入到所述程序信息输入部的信息来判别所述第1变量。

4.根据权利要求2所述的测试用例生成装置，其中，

所述状态变量提取部对所述软件进行分析来判别所述第1变量。

5.根据权利要求1～4中的任意一项所述的测试用例生成装置，其中，

所述测试用例生成部将由所述等效步骤检査部判定为等效步骤的2个步骤中的一方排除，逐个步骤地依次对所述软件进行分析而生成所述测试用例中包含的值，直到满足所述软件的测试覆盖基准为止。

6.根据权利要求1～5中的任意一项所述的测试用例生成装置，其中，

所述等效步骤检査部判定所述多个步骤中的连续2个步骤的各组合是否是等效步骤，

所述测试用例生成部将由所述等效步骤检査部判定为等效步骤的2个步骤中的后执行处理的步骤排除，对所述软件进行分析而生成所述测试用例中包含的值。

7.根据权利要求1～5中的任意一项所述的测试用例生成装置，其中，

当关于所述状态变量和根据是否达到阈值而使下一步骤的处理不同的变量双方，执行所述多个步骤中的任意1个步骤的处理后的值和执行另1个步骤的处理后的值相等的情况下，所述等效步骤检査部判定为这2个步骤是完全等效步骤，

所述测试用例生成部将由所述等效步骤检査部判定为等效步骤的2个步骤中的一方排除，逐个步骤地依次对所述软件进行分析而生成所述测试用例中包含的值，直到达到由所述等效步骤检査部判定为完全等效步骤的2个步骤中的后执行处理的步骤为止。

8.一种测试用例生成方法，对在每次被输入值时执行1个步骤的处理的软件进行分析，生成为了测试所述软件而输入的值的序列作为测试用例，在该测试用例生成方法中，

当关于在多个步骤的处理中共用且在依次执行所述多个步骤的处理的过程中保持与各步骤的处理的执行结果对应的值的状态变量，执行所述多个步骤中的任意1个步骤的处理后的值与执行另1个步骤的处理后的值相等的情况下，等效步骤检査部判定为这2个步骤是等效步骤，

测试用例生成部将由所述等效步骤检査部判定为等效步骤的2个步骤中的一方排除，对所述软件进行分析而生成所述测试用例中包含的值。

9.一种测试用例生成程序，该测试用例生成程序对在每次被输入值时执行1个步骤的处理的软件进行分析，生成为了测试所述软件而输入的值的序列作为测试用例，所述测试用例生成程序使计算机执行以下进程：

等效步骤检査进程，当关于在多个步骤的处理中共用且在依次执行所述多个步骤的处理的过程中保持与各步骤的处理的执行结果对应的值的状态变量，执行所述多个步骤中的任意1个步骤的处理后的值与执行另1个步骤的处理后的值相等的情况下，判定为这2个步骤是等效步骤；以及

测试用例生成进程，将通过所述等效步骤检査进程判定为等效步骤的2个步骤中的一方排除，对所述软件进行分析而生成所述测试用例中包含的值。