PROBLEM TO BE SOLVED: To accurately determine the sequence of tests for verification.;SOLUTION: A verification sequence determining program causes a computer to execute processing to calculate for each test a priority level representing the relative priority of logic verification on the basis of predictive information predicting for each module involved in logic verification the probability of trouble occurrence and the comprehensiveness of tests to a module when a test for logic verification is performed. Also, the verification sequence determining program causes the computer to execute processing to output, on the basis of a priority level calculated for each test, the sequence of verification to be conducted on tests.;SELECTED DRAWING: Figure 2;COPYRIGHT: (C)2016,JPO&INPIT
展开▼