| 摘要 |
PROBLEM TO BE SOLVED: To provide an inspection tool capable of reducing symbolic execution of an unsuitable or redundant code fragment of a software program.SOLUTION: A FUA (Function Under Analysis) path of a software program is created 304. Then it is determined whether or not the FUA path creates a new cover rate to the FUA 306. According to a fact that the FUA path creates the new cover rate, a FUA path statement is selected from the FUA path 308. It is determined whether or not, it is possible to reach a code fragment which is not covered of the FUA from the selected FUA path statement, at least partially based on an aggregate of the covered FUA code fragments 310. According to a fact that it is possible to reach the code fragment which is not covered from the selected path statement, the selected FUA path statement is added to the aggregate of the covered statements 312. |
