Reliability evaluation program and reliability evaluation device

A computer-readable recording medium storing a program to make a computer execute a process for evaluating a reliability of an application procedure, the process comprising:

• a pattern generating step generating normal/abnormal patterns of paths between a start point node of the 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 probability calculating step calculating the generation probability of the normal/abnormal pattern determined as reachable by the normality determining step by using the probability of normality of paths stored corresponding to each path in the path information;
• and
• a reliability calculating step calculating the reliability of the application procedure by totaling the generation probability of the normal/abnormal patterns calculated by the probability calculating step.

A reliability evaluating apparatus evaluating a reliability of an application procedure, comprising:

• a pattern generating unit generating normal/abnormal patterns of paths between a start point node of the 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 unit 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 unit;
• a calculation expression generating unit generating a calculation expression to find the reliability of the application procedure as a total of the generation probability of the normal/abnormal patterns which determined as reachable by the normality determining unit;
• and
• a reliability calculating unit 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.

A method for evaluating a reliability of an application procedure, the method comprising:

• storing an object related to a fact confirmation at a node during the application procedure as node information;
• storing processing executed as a path between nodes as path information;
• generating a plurality of normal/abnormal patterns of paths between a start point node of the application procedure and a reliability verification point node based on the node information;
• determining whether the verification point node can be reached from the start point node only via a normal path of each of the normal/abnormal patterns;
• calculating a total generation probability of the normal/abnormal patterns which were determined as reachable via a normal path;
• and
• calculating the reliability of the application procedure by applying the generation probability to each path in the path information.

A system for evaluating a reliability of an application procedure, comprising:

• means for storing an object related to a fact confirmation at a node during the application procedure as node information;
• means for storing processing executed as a path between nodes as path information;
• means for generating a plurality of normal/abnormal patterns of paths between a start point node of the application procedure and a reliability verification point node based on the node information;
• means for determining whether the verification point node can be reached from the start point node only via a normal path of each of the normal/abnormal patterns;
• means for calculating a total generation probability of the normal/abnormal patterns which were determined as reachable via a normal path;
• and
• means for calculating the reliability of the application procedure by applying the generation probability to each path in the path information.

An apparatus for evaluating a reliability of an application procedure, comprising:

• the application procedure including a plurality of nodes, a plurality of paths connecting the nodes;
• an object storage storing an object related to a fact confirmation at one of the plurality of nodes as node information;
• a processing storage storing processing executed along one of said plurality of paths as path information;
• a pattern generator generating a plurality of normal/abnormal patterns corresponding to the plurality of paths between a start point node of the plurality of nodes and a reliability verification point node of the plurality of nodes based on the node information;
• a reachability determiner determining whether the verification point node can be reached from the start point node via only a normal path for each of the plurality of paths;
• a probability calculator calculating a total generation probability of the plurality of normal/abnormal patterns for the verification point nodes which were determined as reachable via a normal path;
• and
• a reliability calculator calculating the reliability of the application procedure by applying the generation probability to each of the plurality of paths in the path information.