Testing for rule-based systems

A non-transitory computer-readable medium tangibly embodied in a storage device encoded with instructions that, when executed on a processor, perform a method in a computer system, the method comprising:

• identifying, by the processor, rules in a rule-driven system;
• constructing a representation of the rule-driven system including the identified rules;
• identifying, using the representation, variable reads and variable writes in the identified rules;
• identifying, using the representation, path conditions for the identified rules that lead to the variable reads and writes;
• and
• identifying, using the path conditions, potential conflicts among the identified rules.

A system comprising:

• a memory device containing stored instructions;
• and
• at least one electronic processor coupled to the memory device and executing instructions to:
• detect at least one of a potential read-write error or a potential write-write error in a rule-driven system;
• generate test results based on the detecting;
• and
• report the test results.

A system comprising:

• a memory device containing stored instructions;
• and
• at least one electronic processor coupled to the memory device and executing instructions to:
• identify rules in a rule-driven system;
• construct a representation of the rule-driven system including the identified rules;
• identify, using the representation, variable reads and variable writes in the identified rules;
• identifying, using the representation, path conditions for the identified rules that lead to the variable reads and writes;
• identify, using the path conditions, potential conflicts among the identified rules;
• and
• execute test cases based on the representation, the path conditions and the potential conflicts to determine a likelihood that the potential conflicts will be encountered during operation of the system.