A survey of tools for the validation and verification of knowledge-based systems: 1985-1995

Stephen Murrell, Robert Plant

Research output: Contribution to journalArticle

24 Citations (Scopus)

Abstract

This paper presents the findings of a survey of software tools built to assist in the verification and validation of knowledge-based systems. The tools were identified from literature sources from the period 1985-1995. The tool builders were contacted and asked to complete and return a survey that identified which testing and analysis techniques were utilised and covered by their tool. From these survey results it is possible to identify trends in tool development, technique coverage and areas for future research.

Original languageEnglish (US)
Pages (from-to)307-323
Number of pages17
JournalDecision Support Systems
Volume21
Issue number4
StatePublished - Dec 1997

Fingerprint

Knowledge based systems
Software
Surveys and Questionnaires
Knowledge-based systems
Knowledge-based Systems
Testing

Keywords

  • Knowledge-based system testing
  • Testing
  • Validation
  • Validation tools
  • Verification
  • Verification tools

ASJC Scopus subject areas

  • Management Information Systems
  • Information Systems
  • Information Systems and Management

Cite this

A survey of tools for the validation and verification of knowledge-based systems : 1985-1995. / Murrell, Stephen; Plant, Robert.

In: Decision Support Systems, Vol. 21, No. 4, 12.1997, p. 307-323.

Research output: Contribution to journalArticle

Murrell, Stephen ; Plant, Robert. / A survey of tools for the validation and verification of knowledge-based systems : 1985-1995. In: Decision Support Systems. 1997 ; Vol. 21, No. 4. pp. 307-323.
@article{09a4b071455248f5b60e69131c5f0d86,
title = "A survey of tools for the validation and verification of knowledge-based systems: 1985-1995",
abstract = "This paper presents the findings of a survey of software tools built to assist in the verification and validation of knowledge-based systems. The tools were identified from literature sources from the period 1985-1995. The tool builders were contacted and asked to complete and return a survey that identified which testing and analysis techniques were utilised and covered by their tool. From these survey results it is possible to identify trends in tool development, technique coverage and areas for future research.",
keywords = "Knowledge-based system testing, Testing, Validation, Validation tools, Verification, Verification tools",
author = "Stephen Murrell and Robert Plant",
year = "1997",
month = "12",
language = "English (US)",
volume = "21",
pages = "307--323",
journal = "Decision Support Systems",
issn = "0167-9236",
publisher = "Elsevier",
number = "4",

}

TY - JOUR

T1 - A survey of tools for the validation and verification of knowledge-based systems

T2 - 1985-1995

AU - Murrell, Stephen

AU - Plant, Robert

PY - 1997/12

Y1 - 1997/12

N2 - This paper presents the findings of a survey of software tools built to assist in the verification and validation of knowledge-based systems. The tools were identified from literature sources from the period 1985-1995. The tool builders were contacted and asked to complete and return a survey that identified which testing and analysis techniques were utilised and covered by their tool. From these survey results it is possible to identify trends in tool development, technique coverage and areas for future research.

AB - This paper presents the findings of a survey of software tools built to assist in the verification and validation of knowledge-based systems. The tools were identified from literature sources from the period 1985-1995. The tool builders were contacted and asked to complete and return a survey that identified which testing and analysis techniques were utilised and covered by their tool. From these survey results it is possible to identify trends in tool development, technique coverage and areas for future research.

KW - Knowledge-based system testing

KW - Testing

KW - Validation

KW - Validation tools

KW - Verification

KW - Verification tools

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

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

M3 - Article

AN - SCOPUS:0031382480

VL - 21

SP - 307

EP - 323

JO - Decision Support Systems

JF - Decision Support Systems

SN - 0167-9236

IS - 4

ER -