摘要 |
<P>PROBLEM TO BE SOLVED: To provide a coverage measurement device specifying a program path already inspected. Ž<P>SOLUTION: The coverage measurement device 200 acquires a measurement target code (201), acquires inspection item information (202), inspects the measurement target code based on the inspection item information (203), specifies a branch already inspected using branch correspondence state variable information and allocation information of a state variable generated during the inspection (204), and performs coverage measurement (205). In this case, the coverage measurement device 200 can specify the branch already inspected and can properly performs the coverage measurement, in form verification. Ž<P>COPYRIGHT: (C)2010,JPO&INPIT Ž
|