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

Stephen Murrell, Robert T. Plant

Research output: Contribution to journalArticle

24 Scopus citations


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
Issue number4
StatePublished - Dec 1997



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

ASJC Scopus subject areas

  • Management Information Systems
  • Information Systems
  • Developmental and Educational Psychology
  • Arts and Humanities (miscellaneous)
  • Information Systems and Management

Cite this