Testing production system programs

Grigoris Antoniou, Oliver Jack

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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
Number of pages8
ISBN (Print)0818689919
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


Conference9th International Symposium on Software Reliability Engineering
Abbreviated titleISSRE 98


Dive into the research topics of 'Testing production system programs'. Together they form a unique fingerprint.

Cite this