Testing production system programs

Grigoris Antoniou, Oliver Jack

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

A production system (PS) is a forward chaining rule-based system used to build large expert systems. Testing a PS must involve the construction of a covering set of test data but it is not clear what the meaning of covering a PS is and how a test data set can be measured according to coverage. We propose a test data coverage measure for a subset for PS with well defined semantics. We use a correspondence between PS and function free first order Horn logic programs to define the declarative coverage notion and measure. We found that the coverage measure can be used to determine the coverage of the program logic of a PS as well as to automate test data generation. Unification theory is utilised to measure test data coverage and constrained inductive generation is used for test data construction.

Original languageEnglish
Title of host publication Proceedings Ninth International Symposium on Software Reliability Engineering
PublisherIEEE
Pages214-221
Number of pages8
ISBN (Print)0818689919
DOIs
Publication statusPublished - 1 Dec 1998
Externally publishedYes
Event9th International Symposium on Software Reliability Engineering - Paderborn, Germany
Duration: 4 Nov 19987 Nov 1998
Conference number: 9

Publication series

NameProceedings of the International Symposium on Software Reliability Engineering, ISSRE
ISSN (Print)1071-9458

Conference

Conference9th International Symposium on Software Reliability Engineering
Abbreviated titleISSRE 98
CountryGermany
CityPaderborn
Period4/11/987/11/98

    Fingerprint

Cite this

Antoniou, G., & Jack, O. (1998). Testing production system programs. In Proceedings Ninth International Symposium on Software Reliability Engineering (pp. 214-221). (Proceedings of the International Symposium on Software Reliability Engineering, ISSRE). IEEE. https://doi.org/10.1109/ISSRE.1998.730884