Patent ID: 9715664
Date: 2017-07-25
CPC Classifications: G06N,G06Q,G16Z

Claim:
1. A method performed by a computer for detecting missing rules with most general conditions in a rule project comprising rules having a given scope with a fixed number of objects of a given type, the method comprising the steps of: the computer finding at least one missing case not covered by the rules; the computer identifying tests that occur in the rules; the computer generalizing the at least one missing case into a family of missing cases in terms of the tests that occur in the rules; the computer generalizing the family of missing cases into a missing rule; and the computer generating missing rules with most general conditions, wherein the step of generalizing the at least one missing case into the family of missing cases in terms of the tests that occur in the rules comprises finding a minimal set of tests that cover the family of missing cases but do not cover any cases covered by the rules, and wherein the step of finding the minimal set of tests that cover the family of missing cases but do not cover any of the cases covered by the rules comprises: ordering the tests according to broadest coverage of an object; and stepping through the tests ordered and verifying whether a selected test covers any case covered by the rules.