Fault verification manner of the logical system, being fault verification manner of the fault verification device which

摘要

PPROBLEM 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. PSOLUTION: 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. PCOPYRIGHT: (C)2008,JPO&INPIT