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
Link To Document