摘要 |
<p>PROBLEM TO BE SOLVED: To provide an inspection device, an inspection method, and a program which can save a memory capacity in software model inspection.SOLUTION: A software model inspection device includes: a user definition code processing unit which adds, to a user definition code, an instruction to output a change record in response to detection of an instruction to change a state, in contents of the user definition code; a state storage unit in which a state before the execution of the user definition code stored in the user definition code processing unit is stored; an inspection waiting state storage unit in which a state of an object to be inspected is stored as a combination of an address to the state and a change record; an inspection waiting state generation unit which generates a state of the object to be inspected, from the address to the state and the change record; a user definition code execution unit which executes the code on the generated state and outputs a state after the execution and a change record of the state; and a state inspection unit which inspects the state after the execution and registers an address to the state before the execution and the change record.</p> |