Comparative evaluation of expert system testing methods

Author

Kirani, Shekhar ; Zualkernan, I.A. ; Tsai, W.T.

Author_Institution

Minnesota Univ., Minneapolis, MN, USA

fYear

1992

fDate

10-13 Nov 1992

Firstpage

334

Lastpage

341

Abstract

Effective testing (validation, verification and evaluation) for expert systems is becoming important. A comparative evaluation of black-box, white-box, consistency, and completeness testing methods is performed based on the criteria of effectiveness, robustness, and cost. Testing methods are evaluated using life-cycle mutation testing on a VLSI manufacturing diagnostic expert system. The results indicate that dynamic-flow testing can be used to catch faults in all phases of software development

Keywords

VLSI; diagnostic expert systems; expert systems; formal verification; knowledge engineering; program testing; VLSI manufacturing diagnostic expert system; black-box; completeness testing; consistency; dynamic-flow testing; evaluation; expert system testing methods; life-cycle mutation testing; software development; validation; verification; white-box; Costs; Diagnostic expert systems; Expert systems; Genetic mutations; Life testing; Manufacturing; Performance evaluation; Robustness; System testing; Very large scale integration;

fLanguage

English

Publisher

ieee

Conference_Titel

Tools with Artificial Intelligence, 1992. TAI '92, Proceedings., Fourth International Conference on

Conference_Location

Arlington, VA

Print_ISBN

0-8186-2905-3

Type

conf

DOI

10.1109/TAI.1992.246425

Filename

246425