Expert system development and testing: A knowledge engineer's perspective

R. T. Plant

Research output: Contribution to journalArticle

9 Scopus citations

Abstract

This article discusses the problems found in the validation and verification of a knowledge-based system for equity selection. These problems include the selection of test data, poor methodology, and the difficulties associated with using prototypes. The article then examines the possible techniques available to the knowledge engineer for improving validation and verification. The article discusses exhaustive testing, case-based testing, formal specifications, functional programming, critical testing, mutation testing, and reliability. Finally the article discusses the approach that the knowledge engineer would take in rewriting the equity selection system, one based on a rigorous development methodology that uses as many formal validation techniques as possible to raise the quality of the software produced.

Original languageEnglish (US)
Pages (from-to)141-146
Number of pages6
JournalThe Journal of Systems and Software
Volume19
Issue number2
DOIs
StatePublished - Oct 1992

    Fingerprint

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Hardware and Architecture

Cite this