Title :
Design of the knowledge bases for verification and validation
Author_Institution :
Search Technol., Norcross, GA, USA
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;
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
DOI :
10.1109/ICSMC.1991.169940