SOFTWARE IMPLEMENTATION STATUS VERIFICATION DEVICE, SOFTWARE IMPLEMENTATION STATUS VERIFICATION METHOD, AND SOFTWARE IMPLEMENTATION STATUS VERIFICATION PROGRAM

摘要

PROBLEM TO BE SOLVED: To provide a software implementation status verification device and the like capable of more appropriately verifying software.SOLUTION: A software implementation status verification device includes: a separation part which distinguishes a point where a specific branch is carried out on trace data in which change of an execution address is described when a software is executed and separately outputs an execution address of a branch source concerning the specific branch and an execution address of a branch destination; and a conversion part which converts the execution address outputted by the separation part into a source code.