摘要 |
PROBLEM TO BE SOLVED: To provide a technique for selecting a test case having no redundancy from among test cases generated by symbolic execution.SOLUTION: In a path condition selection device, path condition information being information in which an execution path indicated by combination of processing paths branched and passed by conditions included in a source code is represented with a logical formula formed by connecting atomic formulae by AND, and the path condition information is decomposed into target logical formulae being logical formulae each of which includes one or more atomic formulae, and path decomposition information associating the decomposed target logical formulae with each other with respect to each piece of path condition information is stored. If path decomposition information acquired from a decomposition storage part includes a difference logical formula being a target logical formula other than target logical formulae stored in a target logical formula storage unit, the difference logical formula is extracted and is stored in the target logical formula storage unit, and path condition information corresponding to path decomposition information from which the difference logical formula is extracted is selected from the acquired path condition information. |