PROGRAM VERIFICATION DEVICE TO EXTRACT CHECKING PROGRAM TO VERIFY PERIPHERAL AND SIMILAR FUNCTIONS BASED ON CONFIRMATION AND INSPECTION ITEM FOR MODIFICATION

摘要

PROBLEM TO BE SOLVED: To improve program quality of a check object program by preventing omission of verification in addition to reduce the time required for verification by automatic extraction of a checking program that identifies the extent of effect to a peripheral function or a similar function from existing checking programs and automatic execution in program verification. SOLUTION: The purpose is to be achieved by a program verification device that is equipped with a checking item and program information registration handling section 102 that registers checking items and program information, and a checking program extraction processing section 103 that extracts a checking program to identify the extent of effects on peripheral and similar functions by input of checking items in accordance with the contents of modification, an analysis of item keywords and the retrieval of a checking item and program information management table 108.