DocumentCode
1090572
Title
Developing a strategy for expert system verification and validation
Author
Lee, Sunro ; O´Keefe, Robert M.
Author_Institution
Bus. Inf. Syst., Hong Kong Univ. of Sci. & Technol., Kowloon, Hong Kong
Volume
24
Issue
4
fYear
1994
fDate
4/1/1994 12:00:00 AM
Firstpage
643
Lastpage
655
Abstract
Research and practice has produced numerous methods for expert system verification and validation (V&V) that augment traditional software and systems approaches to V&V. This paper shows how to develop a strategy 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) the constraints (and opportunities) imposed by the characteristics of the system being developed. Starting with a development methodology, we shown how to map V&V methods onto the software life cycle and then match V&V methods to system characteristics. We give an example of our approach to developing a V&V strategy in the context of an expert system development project
Keywords
constraint handling; expert systems; program verification; software engineering; software reliability; constraint handling; development methodology; expert system validation; expert system verification; life cycle model; software life cycle; system characteristics; Cybernetics; Data analysis; Data engineering; Engineering management; Expert systems; Management information systems; Software engineering; Software systems; Systems engineering and theory; Technology management;
fLanguage
English
Journal_Title
Systems, Man and Cybernetics, IEEE Transactions on
Publisher
ieee
ISSN
0018-9472
Type
jour
DOI
10.1109/21.286384
Filename
286384
Link To Document