Premium
Techniques for the verification and validation of knowledge‐based systems: A survey based on the symbol/knowledge level distinction
Author(s) -
Vermesan Anca I.,
BenchCapon Trevor
Publication year - 1995
Publication title -
software testing, verification and reliability
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.216
H-Index - 49
eISSN - 1099-1689
pISSN - 0960-0833
DOI - 10.1002/stvr.4370050404
Subject(s) - computer science , software engineering , verification and validation , symbol (formal) , software verification , software , knowledge based systems , knowledge engineering , software system , knowledge management , software construction , programming language , engineering , operations management
Verification and validation are terms that have been used for several years in software engineering, and there are now many verification and validation techniques, plus considerable experience and expertise in using them. However, applying these techniques to knowledge‐based system is not straightforward. The essential differences between conventional systems and knowledge‐based systems suggest that these techniques must be expanded and adapted, but new techniques are also needed. This article has two major goals: first, it makes some comparisons between verification and validation as found in traditional software engineering and knowledge‐based systems, pointing out what is special about the latter as compared with the former; second, it provides a framework for a discussion of the various European work on verification and validation of knowledge‐based systems. The perspective put forward in this article allows for a vast amound of work to be surveyed and analysed beyond the implementation level, by differentiating the symbol level and the knowledge level within a knowledge‐based system.