Published: July 1, 2018
Author(s)
Richard Kuhn (NIST), Dylan Yaga (NIST), Raghu Kacker (NIST), Yu Lei (UTA), Vincent Hu (NIST)
Conference
Name: The 30th International Conference on Software Engineering & Knowledge Engineering (SEKE 2018)
Dates: 07/01/2018 - 07/03/2018
Location: Redwood City, California, United States
Citation: SEKE 2018, pp. 586-591
Rule-based systems are important in application domains such as artificial intelligence and business rule engines. When translated into an implementation, simple expressions in rules may map to a large body of code that requires testing. We show how rule-based systems may be tested efficiently, using combinatorial methods and a constraint solver in a test method that is pseudo-exhaustive, which we define as exhaustive testing of all combinations of variable values on which a decision is dependent. The method has been implemented in a tool that can be applied to testing and verification for a wide range of applications.
Rule-based systems are important in application domains such as artificial intelligence and business rule engines. When translated into an implementation, simple expressions in rules may map to a large body of code that requires testing. We show how rule-based systems may be tested efficiently,...
See full abstract
Rule-based systems are important in application domains such as artificial intelligence and business rule engines. When translated into an implementation, simple expressions in rules may map to a large body of code that requires testing. We show how rule-based systems may be tested efficiently, using combinatorial methods and a constraint solver in a test method that is pseudo-exhaustive, which we define as exhaustive testing of all combinations of variable values on which a decision is dependent. The method has been implemented in a tool that can be applied to testing and verification for a wide range of applications.
Hide full abstract
Keywords
combinatorial testing; constraint solvers; formal methods; t-way testing; rule-based systems; test automation
Control Families
None selected
