Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Barr, V.: Applications of Rule-Based Coverage Measures to Expert System Evaluation. Journal of Knowledge-Based Systems 12, 27–35 (1999)
Kent, B.: JUint Pocket Guide. Published by O’Reilly (2004)
Bratko, I.: Prolog Programming for Artificial Intelligence, 3rd edn. Addison Wesley, London, UK (2000)
Håkansson, A., Hartung, R.: Reengineering for Knowledge in Knowledge Based Systems. In: Gabrys, B., Howlett, R.J., Jain, L.C. (eds.) KES 2006. LNCS (LNAI), vol. 4253, Springer, Heidelberg (2006)
Håkansson, A., Widmark, A.: The KANAL System - a Tool for Knowledge Acquisition. Masters Thesis. Computing Science, Uppsala (1996)
Håkansson, A.: An Expert System for the Environment Impact Assessment Method. Research Report 2004:1. Department of Information Science, Division of Computer Science, University of Uppsala, Sweden, (2004)
Jorgensen, P.: Software Testing A Craftmans Approach, 2nd edn. CRC Press, Boca Raton, USA (2002)
Kiper, J.D.: Structural testing of rule-based expert systems. ACM Transactions on Software Engineering and Methodology 1(2), 168–187 (1992)
Preece, A.: Validation of Knowledge-Based Systems: The State-of-the-Art in North America. Journal of Communication and Cognition-Artificial Intelligence (1994)
IBM, Common Rules, (2002) (2007-01-15), http://www.alphaworks.ibm.com/tech/commonrules
Owen, J.: Bring business logic to light. Java World(2003) (2007-01-20) (2003), http://www.javaworld.com/javaworld/jw-09-jw-0919-iw-jrules.html
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hartung, R., Håkansson, A. (2007). Automated Testing for Knowledge Based Systems. In: Apolloni, B., Howlett, R.J., Jain, L. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2007. Lecture Notes in Computer Science(), vol 4692. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74819-9_34
Download citation
DOI: https://doi.org/10.1007/978-3-540-74819-9_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74817-5
Online ISBN: 978-3-540-74819-9
eBook Packages: Computer ScienceComputer Science (R0)