登录
注册
您所在的位置:首页>>报告>>报告详情

Pseudo-exhaustive Verification of Rule Based Systems

基于规则的系统的伪详尽验证

【作       者】:

David R. Kuhn,Dylan J. Yaga,Ra...

【机       构】: 美国国家标准与技术研究院
【承研机构】:

【原文地址】: https://www.nist.gov/publications/pseudo-exhaustive-verification-rule-based-systems
【发表时间】:

2018-07-01

摘要

Rule-based systems are important in application domains such as artificial intelligence and business rule engines, as well as formal methods for software design. When translated into an implementation, simple expressions in rules may map to thousands of lines of code. Thus testing is necessary to ensure that the rules are implemented correctly. This paper describes an approach based on combinatorial methods for efficiently generating test cases for rule-based systems that are 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 where software behavior is specified in formal rules.

标签: {{b}}
展开

相关报告