TEST CASE AUTOMATIC GENERATION DEVICE AND TEST CASE AUTOMATIC GENERATION PROGRAM

摘要

PROBLEM TO BE SOLVED: To solve the problem that while a test is executed to a program code in a single step in conventional test case generation based on bounded model checking, it is not possible to automatically generate a test case corresponding to a plurality of step processing, that is, a time series input for test, and that it is not possible to specify an unreachable point in the case of executing the test in a plurality of steps as a result.;SOLUTION: Whether or not a branched point is reachable is analyzed by using program codes in which program codes in one step are connected in a plurality of steps, and input/output variables which reach the branched point are recorded so that it is possible to generate a test case program corresponding to a plurality of steps.;COPYRIGHT: (C)2014,JPO&INPIT