摘要 |
PURPOSE:To analyze a branch instruction and whether a conditional branch instruction is present or not while executing a program by stopping the program instruction of an actual machine program and deciding on whether a conditional branch is caused or not at intervals of one-step execution. CONSTITUTION:The actual machine program is analyzed to generate an address list of conditional branch instructions in a memory 6. Then, the conditional branch instruction in a desired address is replaced with a break-point instruction. Then, an actual machine 1 is run from a test starting address until a replaced stop instruction is detected. When the stop instruction is detected, the conditional branch instruction before the substitution is executed by one step. The contents of a program counter after the instruction execution is compared with the address of this instruction. Consequently, when there is no branch, a pass mark is set in the no-branch block in the branch instruction address list, and when there is a branch, the pass mark is set in the branch block of the list. Then, C1 coverage information collected on the completion of the test is gathered and displayed on a display part.
|