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 :
بازگشت