Abstract
In recent years, knowledge-based software technology has proven itself to be a valuable tool for solving hitherto intractable problems. Developers of knowledge-based systems must ensure that the system will give its users accurate advice or correct solutions to their problems. Thus, knowledge-based systems must be debugged and validated just like any other piece of software. It has been found that one of the most important problems in developing knowledge-based systems is the lack of methods to verify and validate its KB. The aim of this article is to define a methodology and its supporting tool set that are used together in order to completely test knowledge-based systems. The suggested testing methodology couples different verification and validation activities that are collectively valuable in raising the level of system correctness.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Abdelhamid, Y., Hassan, H., Rafea, A., [1997] “An Approach to Automatic KBS Construction From Reusable Domain-Specific Components” Proceedings of the 9th International Conference on Software Engineering & Knowledge Engineering (SEKE’97), Madrid.
Avelino J. G., Douglas D., [1993]. “The engineering of knowledge-based systems,Theory and practice”, Prentice-Hall International Edition.A simon & schuster company, New Jersey.
Ayel, M., Laurent, J.P. [1991] “Foreword Validation, Verification, and test of knowledge-based systems”, John Wiley & Sons, New York.
Chang, C. L, Combs, J. B. and Stachowitz R. A. [1990]. “A report on the Expert Systems Validation Associate (EVA)”. Expert Systems with Applications (US), 1(3):217–230.
El-Korany A., Shaalan K., Baraka H., Rafea A., [1998]. “ An Approach for Automating the verification of KADS-based Expert Systems”, New Review of Applied Expert Systems, Vol. 4, pp. 107–124, Taylor Graham, UK.
Laurent, J.P., [1992] “Proposal for Valid Terminology in KBS validation”, Proc.10th European Conf. on Artificial intelligence. John Wiley & Sons, New York.
Mazas, P., [1991]. “Design knowledge validation through experimentation: the SYSIFE system”. In M. yel & P. laurent (Eds.) Validation, verification and test of knowledge based systems (pp. 119-145).
Mengshoel, O. J., Delab, S. [1993] “knowledge validation: principles and practice” IEEE expert.Leibiitz (Eds.), Managing expert systems. Harrisburg, PA: Idea Group.
O’Keefe R. M., O’Leary D. E., [1993]. “Expert systems verification and validation: A survey and tutorial”. Artificial intelligence Review 7, p3–42.
O’ Keefe, R.M., Balci, O., Smith, e.p, [1987]. “Validating expert system performance”. IEEE expert,Vol. 2, No. 4, winter, pp 81–90
Preece, A.D, [1998]. Building the Right System Right. AAAI-98 Workshop on Verification and Validation of Knowledge-Based Systems, Technical Report WS-98-11, AAAI.
Preece, A.D, [1995]. “Towards a Quality Assessment Framework for Knowledge-Based Systems”. Journal of Systems and Software, 29(3), 219–234.
Rafea, A., El-Azhari, S., Ibrahim I., Edres, S., Mahmoud, M., [1995] “Experience with the development and Deployment of Expert Systems in Agriculture” Proceedings of IAAI-95 Conference, Montreal, 19–25 August 1995, Canada.
Rushby, J., [1988] “Quality measures and assurance for AI software”, (NASA Contractor report CR-4187). Menlo ParkCA: SRI International.
Shafer. J, [1998]. “Regression Testing Basics”.
Smith, S. & Kandel, A., [1993]. “Verification and validation of rule-based expert systems” CRC Press.
Vale, A., Ramos, C.m Fernanda, M., [1998]. “Knowledge based systems for power system control centers”. Validation and verification. Proceeding of 1998 European meeting on Validation and Verification of KBSs, Trento, Italy.
Vermesan A. [1998], “Foundation and application of expert system verification and validation” The handbook of Applied expert system
Vicat, C., Brezillon, P. & Nottola, C., [1995]. “Knowledge validation in the building of knowledge based systems”. Expert system with application, Vol. 8, 391–397.
Wielinga B. J. and Schreiber A. Th., and Breuker, Eds, [1992]. “KADS: A modeling approach to knowledge engineering, Knowledge Acquisition”. (Special issue: The KADS approach to knowledge engineering). March, 4(1) pp. 5–53.
Zlatareva, N., and Preece, A., [1994]. “State of the art in automated validation of knowledge-based systems/rd. Expert Systems with Applications, 7(2), 151–167.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
El-Korany, A., Rafea, A., Baraka, H., Eid, S. (2000). A Structured Testing Methodology for Knowledge-Based Systems. In: Ibrahim, M., Küng, J., Revell, N. (eds) Database and Expert Systems Applications. DEXA 2000. Lecture Notes in Computer Science, vol 1873. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44469-6_40
Download citation
DOI: https://doi.org/10.1007/3-540-44469-6_40
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67978-3
Online ISBN: 978-3-540-44469-5
eBook Packages: Springer Book Archive