Patent ID: 9460408
Filing Date: 2016-10-04
CPC Classification: G06Q

Claim Text:
1. A method for automatically generating test scenarios for a plurality of business rules created to form a ruleset for a business domain, comprising: extracting a plurality of decision variables from a business object model associated with the business domain using a computer system; parsing the plurality of business rules using a syntactic parser operating on the computer system to extract at least one condition expression and an assignment action; building a collection of mutually exclusive constraint satisfaction problems from the decision variables, condition expressions, and assignment actions using a constraint problem generator operating on the computer system, by generating a binary tree of partial constraint satisfaction problems by traversing the ruleset and, for each rule, creating a first branch with the rule conditions and rule actions and a second branch with negation of the rule conditions; and generating a test scenario automatically from each identified constraint satisfaction problem in the collection using a constraint solver engine operating on the computer system.