摘要 |
PROBLEM TO BE SOLVED: To provide a technique capable of expressing acceptance criteria using temporal logic expressions at a time of testing an object code.SOLUTION: A test case generation system comprises: a control-content generation unit 240 generating information relating to a test execution control content from execution route information searched from an object code that is a test target or a model of an executable-form file; an acceptance-condition generation unit 250 generating information relating to acceptance conditions for the test target, the acceptance conditions being constituted by a set of a test expression containing a time element, a determination expression that does not contain a time element, and timing of executing the determination expression from the execution route information; and a test case generation unit 260 generating a test case having acceptance conditions corresponding to the test expression from the information relating to the test execution control content and the information relating to the acceptance conditions. |