TEST CASE SELECTION DEVICE AND TEST CASE SELECTION PROGRAM

摘要

A non-equivalence set extraction unit (120) extracts, from a target set list, a non-equivalence set being a target set that does not satisfy a condition that an output of an after-change target function is coincident with an output of a before-change target function when a same input is provided to both of the before-change target function and the after-change target function. A test case selection unit (140) selects, from a plurality of test cases, a test case wherein the before-change target function included in the non-equivalence set is called, as an important test case.