• 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