摘要 |
PROBLEM TO BE SOLVED: To perform efficient backtracking for returning data of a DB used in execution environment to a restoration state in program model inspection.SOLUTION: A database control device in the program model inspection includes: a state tree management part for receiving a state change notification having a node ID from a program model inspection device when detecting that a change occurs in the database, and for recording path information and log information into a state tree management table associatively to the node ID; and a backtracking management part for receiving a backtracking start notification having a restoration destination node ID and start information of the backtracking from the program model inspection device when executing the backtracking, for acquiring the path information and the log information from the state tree management table based on the restoration destination node ID, and for generating a backtracking code for returning the database to a state indicated by the restoration destination node ID, based on the acquired path information and log information. |