Issues in the verification of knowledge in rule-based systems
International Journal of Man-Machine Studies
Proceedings of the second conference on Software development tools, techniques, and alternatives
Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
Applications of rule-base coverage measures to expert system evaluation
Applications of rule-base coverage measures to expert system evaluation
SEEK2: a generalized approach to automatic knowledge base refinement
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Model-based fault detection in context-aware adaptive applications
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Hi-index | 0.00 |
Often a rule-based system is tested by checking its performance on a number of test cases with known solutions, modifying the system until it gives the correct results for all or a sufficiently high proportion of the test cases. This method cannot guarantee that the rule-base has been adequately or completely covered during the testing process. We introduce an approach to testing of rule-based systems which uses coverage measures to guide and evaluate the testing process. In addition, the coverage measures can be used to assist rule-base pruning and identification of class dependencies, and serve as the foundation for a set of test data selection heuristics. We also introduce a complexity metric for rule-bases.