VERIFICATION SUPPORT PROGRAM, VERIFICATION SUPPORT METHOD, AND VERIFICATION SUPPORT DEVICE

摘要

A verification support device (400) compares the date of a lower-layer module update and the date of a top-layer module update thereabove, and changes the date of the top-layer module update to the date of the lower-layer module update when the date of the lower-level module update is new. The verification support device (400) compares the update date and the verification date of each module of the current circuit (100b). When the update date is newer, the verification support device (400) decides to make the module with the new update date the check target because verification has not been carried out subsequent to the update. The verification support device (400) then compares the check target of the current circuit (100b) and the module of the old circuit (100a) for the same module, and extracts the difference.