DocumentCode :
2600362
Title :
Design of the knowledge bases for verification and validation
Author :
Hammer, John M.
Author_Institution :
Search Technol., Norcross, GA, USA
fYear :
1991
fDate :
13-16 Oct 1991
Firstpage :
1709
Abstract :
The author describes modifications of conventional techniques as they would be applied to the requirements, design, and implementation phases for a knowledge base. The behavior requirements for a knowledge-based system are that certain behaviors be intelligently controlled according to a specified set of inputs. The intelligence of the system is not in the behavior but in the intelligent control over the behavior. The verification and validation (V&V) activities applied to a design include checklist reviews for design quality, reviewing the mapping from requirements into design, and deriving test cases that exercise individually all aspects of the design. To be able to conduct these activities, the design characteristics are considered. The V&V activities resulting from implementation include testing aspects of the code, reviewing the quality of the code, and reviewing the design-code transformation. The process makes a number of claims about a proper way to develop validated knowledge bases for intelligent systems
Keywords :
knowledge based systems; knowledge engineering; code testing; intelligent control; knowledge engineering; knowledge-based system; validation; verification; Aircraft; Delay; Gears; Intelligent control; Intelligent systems; Software engineering; Software safety; Software testing; Stress measurement; System testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Systems, Man, and Cybernetics, 1991. 'Decision Aiding for Complex Systems, Conference Proceedings., 1991 IEEE International Conference on
Conference_Location :
Charlottesville, VA
Print_ISBN :
0-7803-0233-8
Type :
conf
DOI :
10.1109/ICSMC.1991.169940
Filename :
169940
Link To Document :
بازگشت