DEVELOPING A STRATEGY FOR EXPERT-SYSTEM VERIFICATION AND VALIDATION

Authors
Citation
S. Lee et Rm. Okeefe, DEVELOPING A STRATEGY FOR EXPERT-SYSTEM VERIFICATION AND VALIDATION, IEEE transactions on systems, man, and cybernetics, 24(4), 1994, pp. 643-655
Citations number
58
Categorie Soggetti
Controlo Theory & Cybernetics","Computer Science Cybernetics","Engineering, Eletrical & Electronic
ISSN journal
00189472
Volume
24
Issue
4
Year of publication
1994
Pages
643 - 655
Database
ISI
SICI code
0018-9472(1994)24:4<643:DASFEV>2.0.ZU;2-C
Abstract
Research and practice has produced numerous methods for expert system verification and validation (V&V) that augment traditional software an d systems approaches to V&V These methods, however, are not associated with software development methodologies, as has been the case with co nventional V&V, and there is evidence that this is a considerable stum bling block in expert system V&V. This paper shows how to develop a st rategy for expert system V&V. A strategy for V&V has three components: 1) the criteria by which an expert system will be judged as valid, 2) a life cycle model that specifies what V&V can be done when, and 3) t he constraints (and opportunities) imposed by the characteristics of t he system being developed. Starting with a development methodology, we shown how to map V&V methods onto the software life cycle and then ma tch V&V methods to system characteristics. We give an example of our a pproach to developing a V&V strategy in the context of an expert syste m development project.