• 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