Verification support apparatus, verification support method, validation support program, and recording medium

摘要

PROBLEM TO BE SOLVED: To reduce a verification period, and to alleviate work labor of a designer.;SOLUTION: In the cause result graph 1700, the nodes 1701 to 1703 are cause nodes such as "it is in a state A", "C is done" and "D is done" respectively. The node 1704 shows a logical product of the cause nodes 1701 and 1702. The node 1705 shows a result that means "It turns into a state B". The node 1706 is a result node which shows a result that means "It turns into a state A", but the cause that generates the result does not exist. Whether a lack is caused in the cause result description data 111 or not is checked by detecting the node 1706 from the cause result description data 111. Therefor, the time weight is added to the edge of the cause result graph by introducing time concept into the cause result graph. The weight is expressed by adding cycle number to the edge of the cause result graph. About a result node or a halfway result node, when a range such as "n to m cycle" occurs at the time when the result occurs, the time OR coupling node is used.;COPYRIGHT: (C)2011,JPO&INPIT