Identifying a case with a missing decision from a set of decision rules in violation of a decision requirement

A computer system for identifying a case with a missing decision from a set of decision rules in violation of a decision requirement, wherein the decision rules determine whether a decision is made for a case, wherein the computer system comprises memory and a processor system and is arranged to:

• receive the set of decision rules and store it in the memory;
• receive the decision requirement and store it in the memory;
• obtain a set of decisions made by the decision rules and store it in the memory;
• use the processor system to build a decision detection constraint graph that represents, for each case used by the set of decision rules, whether each decision in the set of decisions is made or not by a decision rule in the set of decision rules;
• use the processor system to build a decision requirement constraint graph from the decision requirement that represents, for each case used by the set of decision rules, the decisions required;
• and
• for each case used by the set of decision rules, using the decision requirement constraint graph and the decision detection constraint graph for the case to identify if the case is a case with a missing decision.

A computer program product for identifying a case with a missing decision from a set of decision rules in violation of a decision requirement, wherein the decision rules determine whether a decision is made for a case, and wherein the decision requirement determines the decisions required for a case, the computer program product comprising a computer-readable storage medium having computer-readable program code embodied therewith, the computer-readable program code configured to perform the steps of:

• receiving the set of decision rules;
• receiving the decision requirement;
• obtaining a set of decisions made by the decision rules;
• building a decision detection constraint graph that represents, for each case used by the set of decision rules, whether each decision in the set of decisions is made or not by a decision rule in the set of decision rules;
• building a decision requirement constraint graph from the decision requirement, that represents, for each case used by the set of decision rules, the decisions required;
• and
• for each case used by the set of decision rules, using the decision requirement constraint graph and the decision detection constraint graph for the case to identify if the case is a case with a missing decision.