VERIFICATION SCENARIO PRODUCING PROGRAM, RECORDING MEDIUM, VERIFICATION SCENARIO PRODUCING SYSTEM, AND VERIFICATION SCENARIO PRODUCING METHOD

摘要

PPROBLEM TO BE SOLVED: To execute highly accurate logical verification and improve efficiency of verification operation. PSOLUTION: The verification scenario producing system produces an outline scenario as an intermediate file which becomes a framework of a verification scenario based on a result of path analysis of a verification target. The verification producing system produces a table of verification items based on a user's operation input by use of a GUI. The verification scenario producing system produces the verification scenario based on the outline scenario and the table of verification items. Besides, a designer can monitor each time when the outline scenario and table of verification items are produced. Herewith, validity of the content of verification can be recognized during the verification by the designer, thereby improving the accuracy of the logical verification. PCOPYRIGHT: (C)2008,JPO&INPIT