摘要 |
In order to provide a technology whereby an execution state can be more rapidly restored and stored, when performing software model inspections, the present invention comprises: a state storage unit (11) that, by extracting an object inside a memory (13) in a prescribed arrangement order, said object indicating the execution state of a software to be inspected, and by copying same to a storage area, the object is stored as information indicating the execution state; and a state restoration unit (12) that restores the execution state by copying the object included in the information indicating execution state and stored in the storage area, to a restoration area inside the memory (13), in the stored order. |