Patent ID: 8458110

Claim:
A non-transitory computer-readable recording medium stores therein a verification support program that causes a computer to execute: identifying, by using a pre-change specification and a post-change specification given before and after a specification change in a subject to be verified, an area that has changed from among a plurality of specification items included in the post-change specification; selecting a specification item from among the areas identified at the identifying; searching for, by referring a transition graph concerning the specification items included in the post-change specification and by tracing the specification items as origins of transitions from a starting point that is the specification item selected at the selecting, a route made up of specification items affected by the specification change; calculating, based on a number of transitions made between the specification item selected at the selecting and another specification item on the route retrieved at the searching, a priority level that represents a degree of necessity for verification of a specification item on the route; and outputting a search result of the searching and a calculation result of the calculating.