Structural testing of rule-based expert systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Prolog (3rd ed.): programming for artificial intelligence
Prolog (3rd ed.): programming for artificial intelligence
Software Testing: A Craftman's Approach
Software Testing: A Craftman's Approach
Knowledge-Based Systems
Hi-index | 0.00 |
Building and modifying knowledge-based systems requires testing of the knowledge for quality assurance, such as verification and validation. This is especially important when reverse engineering is applied to a system that needs to be remodeled or renewed. However, the modification of a knowledge-based system is a difficult process. Commonly, the documentation is poor, and the original domain expertise is lacking. Therefore, testing must be applied on existing knowledge to be able to verify the changed knowledge. To this objective we apply an automated test generation system to verify the operation of the modified system.