摘要 |
PROBLEM TO BE SOLVED: To previously detect that a program inspection is not completed within an inspection time limit allocated to the program to be inspected before the inspection time limit elapses, thereby terminating the inspection at the time when detected. SOLUTION: A device for controlling an inspection time includes: a shortest search depth computation unit 32 for computing the shortest search depth that is required for transiting a state from an initial state of the program to a specification-satisfying state, which indicates that a program inspection specification is satisfied, among search depths for representing the number of times executing a program execution statement; an achievability inspection unit 13 for executing an inspection to check the possibility of transiting the state to the specification-satisfying state for every search depth to thereby output an inspection time according to the depth required for an inspection at each of search depth; and an estimated inspection time computation unit 41 for computing a specification-achieving estimation time everytime the achievability inspection unit completes inspection about each search depth. The achievability inspection unit terminates the inspection on the way, when the rest of the inspection time limits exceeds the specification-achieving estimation time, among the inspection time limits with respect to the program inspection. COPYRIGHT: (C)2009,JPO&INPIT
|