1. A computer-readable recording medium storing a program to make a computer execute a process comprising: a pattern generating step generating normal/abnormal patterns of paths between a start point node of an application procedure and a reliability verification point node based on a node information that stores an object related to a fact confirmation at the application procedure as a node and a path information that stores processing executed between nodes as path; a normality determining step determining whether it is possible to reach the verification point node from the start point node only via normal paths regarding each normal/abnormal pattern generated by the pattern generating step; a calculation expression generating step generating a calculation expression to find the reliability of the application procedure as the total generation probability of the normal/abnormal patterns which were determined as reachable by the normality determining step; and a reliability calculating step calculating the reliability of the application procedure by applying the probability of normality of the paths stored corresponding to each path in the path information; and evaluating the reliability of the application procedure.