Patent ID: 7469393
Filing Date: 2008-12-23
Classification: G01R,G06F

Abstract:
1. A computer-readable recording medium that stores therein a verification support program making a computer execute: acquiring a first logical expression expressing an input condition that an input to a verification subject is required to satisfy, and a second logical expression expressing a priority verification action that is selected with priority, from among verification actions for the verification subject; calculating a third logical expression expressing a priority condition based on the first logical expression and the second logical expression, the third logical expression expressing that an input in the priority verification action that satisfies the input condition is desired to be input to the verification subject; and constructing a pattern generator that selectively generates a basic pattern and a priority pattern of an input to the verification subject based on the first logical expression and the third logical expression, the basic pattern satisfying the input condition, the priority pattern satisfying the priority condition.