| 摘要 |
<p><P>PROBLEM TO BE SOLVED: To improve development efficiency by dispensing with the repetition of program correction and reevaluation every occurrence of error, in the program operation verification of microcomputer software using an evaluation scenario, and preventing the occurrence of evaluation waiting depending on the decision and undecision of a standard specification. <P>SOLUTION: This device comprises an evaluation management part 600 monitoring the executing state of the evaluation scenario in a program automatic verification system, and controlling the execution method of the evaluation scenario or the start and stop of operation verification according to the executing state, so that the execution completion time of all evaluation items of the evaluation scenario or the number of verification errors up to the execution completion of all the evaluation items can be predicted to select the succeeding process. Evaluation priority is changeably assigned to each evaluation item of the evaluation scenario, so that the quality of evaluation can be improved by reflecting an evaluation result to the evaluation priority, for example, by raising the evaluation priority of an evaluation item in which a verification error has occurred. <P>COPYRIGHT: (C)2005,JPO&NCIPI</p> |
