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