Method and device for supporting verification, and computer product

A verification support apparatus comprising:

• a first acquiring unit configured to acquire 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;
• a first calculating unit configured to calculate 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
• a constructing unit configured to construct 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.

A verification support method comprising:

• 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.