• DocumentCode
    3151709
  • Title

    Verification and validation in fuzzy expert systems

  • Author

    Smith, Suzanne ; Kandel, Abraham

  • Author_Institution
    Dept. of Comput. & Inf. Sci., East Tennessee State Univ., Johnson City, TN, USA
  • Volume
    4
  • fYear
    1995
  • fDate
    22-25 Oct 1995
  • Firstpage
    3647
  • Abstract
    The techniques and tools developed for the assurance of reliability and quality in conventional software may also be applied to the development of fuzzy expert systems. This article addresses the use of one of the techniques and tools of software engineering in the development of fuzzy-rule-based expert systems. Coverage analysis applied to the rules of the knowledge base in a fuzzy-rule-based expert system can provide a measure towards assuring reliability and quality in soft expert systems. Coverage analysis is a technique used for verification and validation in software engineering. A description of verification and validation in the development of conventional software and the role of coverage analysis within those approaches to software quality assurance are first presented. Then the use of coverage analysis in the development of fuzzy-rule-based expert systems is examined. Experience from the application of coverage analysis to a knowledge base for a fuzzy-rule-based expert system is also presented
  • Keywords
    expert systems; fuzzy systems; program verification; software reliability; software tools; coverage analysis; fuzzy expert systems; fuzzy-rule-based system; knowledge based systems; software engineering; software quality assurance; software tools; validation; verification; Application software; Expert systems; Hybrid intelligent systems; Large-scale systems; Maintenance; Quality assurance; Software engineering; Software quality; Software systems; Software tools;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Systems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century., IEEE International Conference on
  • Conference_Location
    Vancouver, BC
  • Print_ISBN
    0-7803-2559-1
  • Type

    conf

  • DOI
    10.1109/ICSMC.1995.538354
  • Filename
    538354