Design verification apparatus, design verification program, and recording medium for recording the design verification program

摘要

PPROBLEM TO BE SOLVED: To provide a design verification device capable of detecting inconsistency between the procedure between modules and the specification of a method regardless of an applicable software configuration. PSOLUTION: In the design verification device, a detail design procedure information creating section 10 receives input of schematic procedure information (I1), detail design information (I2), and schematic procedure ID (I3). An initializing processing extraction section 11 extracts information on the firstly executed processing in the procedure between the modules from the schematic procedure information (I1) and schematic procedure ID (I3), and inputs it to a procedure extraction section 12. The procedure extraction section (12) prepares detail design procedure information (I4) from the information on the firstly executed processing input from initializing processing extraction section 11 and the detail design information (I2), and inputs it to a procedure information verification section 20. The procedure information verification section 20 receives input of the schematic procedure information (I1), compares the schematic procedure information (I1) with the detail design procedure information I4 input from procedure extraction section (12), and outputs inconsistency information (I5). PCOPYRIGHT: (C)2008,JPO&INPIT