TEST CASE VALIDITY AUTOMATIC VERIFICATION PROGRAM AND TEST CASE VALIDITY AUTOMATIC VERIFICATION RESULT DISPLAY METHOD

摘要

PPROBLEM TO BE SOLVED: To provide a test case validity automatic verification program and a test case validity automatic verification result display method which can verify test case validity appropriately. PSOLUTION: The validity verification processing program 17 performs simulation of a model by test case in cooperation with a model simulation program 14 in order to perform automatic verification of the validity of the test case to software created as a specifications model comprising a plurality of blocks and verifies the validity of the test case using input and output information of a block obtained by the simulation concerned. PCOPYRIGHT: (C)2009,JPO&INPIT