摘要 |
<P>PROBLEM TO BE SOLVED: To provide a technique for efficiently finding out a failure occurrence condition in verification of a black box of a logic system comprising hardware and software. <P>SOLUTION: The verification device for clarifying the failure occurrence condition acquires each combination failure occurrence probability index and a verified combination failure occurrence integrated value for verified test items of the logic system, further acquires a combination failure occurrence integrated value of each unverified test item of the logic system, and extracts an unverified test item in which the unverified test item combination failure occurrence integrated value is closest to a value obtained by multiplying the verified combination failure occurrence integrated value by a certain ratio factor as the next verification object. <P>COPYRIGHT: (C)2008,JPO&INPIT |