摘要 |
PROBLEM TO BE SOLVED: To test a large state space and the operation of many programs by using symbolic execution.SOLUTION: An executor 120 generates a test case 150 and a statistic 152 as the output of symbolic execution. A runtime environment 122 is configured such that the simulation of runtime execution of an executable code (SUT) 110 is executable, and an optimizer 124 optimizes a state and/or a path to be used for symbolic execution, and an executor manager 126 manages the execution environment of the executor 120, and a state manager 128 generates and manages an instance of a state in symbolic execution including a c state and p state, and processes and solves a symbolic formula in symbolic execution by using a symbolic type handler 130, and a concrete interpreter 132 analyzes the execution characteristics of a concrete state in symbolic execution. |