Expert system development and testing

A knowledge engineer's perspective

Robert Plant

Research output: Contribution to journalArticle

9 Citations (Scopus)

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
JournalJournal of Systems and Software
Volume19
Issue number2
DOIs
StatePublished - 1992

Fingerprint

Expert systems
Engineers
Testing
Functional programming
Knowledge based systems

ASJC Scopus subject areas

  • Computer Science Applications
  • Information Systems
  • Software

Cite this

Expert system development and testing : A knowledge engineer's perspective. / Plant, Robert.

In: Journal of Systems and Software, Vol. 19, No. 2, 1992, p. 141-146.

Research output: Contribution to journalArticle

@article{fa2e93a29ec145e984c9c397b5283d4d,
title = "Expert system development and testing: A knowledge engineer's perspective",
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.",
author = "Robert Plant",
year = "1992",
doi = "10.1016/0164-1212(92)90065-R",
language = "English (US)",
volume = "19",
pages = "141--146",
journal = "Journal of Systems and Software",
issn = "0164-1212",
publisher = "Elsevier Inc.",
number = "2",

}

TY - JOUR

T1 - Expert system development and testing

T2 - A knowledge engineer's perspective

AU - Plant, Robert

PY - 1992

Y1 - 1992

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0026929470&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0026929470&partnerID=8YFLogxK

U2 - 10.1016/0164-1212(92)90065-R

DO - 10.1016/0164-1212(92)90065-R

M3 - Article

VL - 19

SP - 141

EP - 146

JO - Journal of Systems and Software

JF - Journal of Systems and Software

SN - 0164-1212

IS - 2

ER -