| 摘要 |
<P>PROBLEM TO BE SOLVED: To improve completeness of verification on software or hardware. <P>SOLUTION: A faulty node is designated from a structure 100 expressing a scenario group to ve verified. A node Ne similar to the designated faulty node Nf is detected from the structure 100. Thereafter, a path P on the structure 100, which passes the detected similar node Ne, is searched from a start node Na of the structure 100 to generate a scenario for verifying the occurrence of a fault in the similar node Ne. <P>COPYRIGHT: (C)2011,JPO&INPIT |
