Artificial intelligence
Logic programming and knowledge engineering
Logic programming and knowledge engineering
The evaluation of program-based software test data adequacy criteria
Communications of the ACM
A Formal Evaluation of Data Flow Path Selection Criteria
IEEE Transactions on Software Engineering
Quality Measures and Assurance for AI (Artificial Intelligence) Software
Quality Measures and Assurance for AI (Artificial Intelligence) Software
Graphs and Hypergraphs
Reliability Testing of Rule-Based Systems
IEEE Software
A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Estimating the CPU utilization of a rule-based system
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Automated testing for knowledge based systems
KES'07/WIRN'07 Proceedings of the 11th international conference, KES 2007 and XVII Italian workshop on neural networks conference on Knowledge-based intelligent information and engineering systems: Part I
Exploring the structure of rule based systems
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Artificial Intelligence in modelling the complexity of Mediterranean landscape transformations
Computers and Electronics in Agriculture
International Journal of Information Management: The Journal for Information Professionals
Hi-index | 0.00 |
Testing of rule-based expert systems has become a high priority for many organizations as the use of such systems proliferates. Traditional software teting techniques apply to some components of rule-based systems, e.g., the inference engine. However, to structurally test the rule base component requires new techniques or adaptations of existing ones. This paper describes one such adaptation: an extension of data flow path selection in which a graphical representation of a rule base is defined and evaluated. This graphical form, called a logical path graph, captures logical paths through a rule base. These logical paths create precisely the abstractions needed in the testing process. An algorithm for the construction of logical path graphs are analyzed.