The data and condition generator of test program, the data and condition generation method and Test cases technology equipment of test program

摘要

PROBLEM TO BE SOLVED: To provide a technique for generating a test case satisfying the coverage conventions for MC/DC (Modified Condition/Decision Coverage) test coverage from which redundancy can be eliminated.SOLUTION: A determination formula analysis unit 101 analyzes a determination formula A1 (logical expression) of a program to be tested, and specifies the conditions related to the determination and the logical operators to combine each of the conditions. A truth value rule application unit 102 hierarchically combines the respective truth values of the conditions linked by each of the specified logical operators so as to satisfy a predetermined relationship, and generates a combination of the respective truth values of the conditions which satisfies the MC/DC. A test case generation unit 103 generates a set of variable values which satisfy respective conditions as a test case B1.SELECTED DRAWING: Figure 3