Test case generation method, test case generation program and test case generation apparatus

摘要

PROBLEM TO BE SOLVED: To provide a test case generation method, test case generation program, and test case generation apparatus capable of obtaining a minimum combined test case which satisfies a condition coverage.SOLUTION: A control unit 130 of a test case generation apparatus 100 comprises a conversion part 131, a calculation part 132, and a generation part 133. A combination table storage part 121 of a storage unit 120 stores combination tables generated based on a test case of each module. Upon input of the test case of each module from an input part 111, the conversion part converts each test case into a combination table of a finite size and a constraint expression between the data items of the combination table such that test cases extracted for each batch of modules are combined. When the constraint expression is input from the conversion part, the calculation part calculates a solution of the constraint expression, using an SMT solver. When a generation direction is input from the calculation part, the generation part refers to the storage unit to generate a test case of a combined test, based on the calculated solution.SELECTED DRAWING: Figure 1