The purpose of the present invention is to provide a technique whereby a pass/fail criterion can be expressed using a temporal logic formula when testing object code. This test case generation system is equipped with: a control content generation part for generating information regarding test execution control content from execution path information retrieved from an object to be inspected, which is object code or an executable file model; a pass/fail condition generation part for generating information regarding a pass/fail condition from the execution path information and an inspection formula, including a temporal component, for the object to be inspected, said pass/fail condition consisting of a combination of a determination formula which includes no temporal component and timing for executing the determination formula; and a test case generation part for generating a test case having a corresponding pass/fail condition for the inspection formula from the information regarding the test execution control
