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
EventNinth International Symposium on Software Reliability Engineering - Paderborn, Germany
Duration: 4 Nov 19987 Nov 1998

Publication series

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

Conference

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

Fingerprint

Testing
Knowledge based systems
Expert systems
Semantics

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
Antoniou, Grigoris ; Jack, Oliver. / Testing production system programs. Proceedings Ninth International Symposium on Software Reliability Engineering. IEEE, 1998. pp. 214-221 (Proceedings of the International Symposium on Software Reliability Engineering, ISSRE).
@inproceedings{1bf2bfcc06f249c89078166295779683,
title = "Testing production system programs",
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.",
author = "Grigoris Antoniou and Oliver Jack",
year = "1998",
month = "12",
day = "1",
doi = "10.1109/ISSRE.1998.730884",
language = "English",
isbn = "0818689919",
series = "Proceedings of the International Symposium on Software Reliability Engineering, ISSRE",
publisher = "IEEE",
pages = "214--221",
booktitle = "Proceedings Ninth International Symposium on Software Reliability Engineering",

}

Antoniou, G & Jack, O 1998, Testing production system programs. in Proceedings Ninth International Symposium on Software Reliability Engineering. Proceedings of the International Symposium on Software Reliability Engineering, ISSRE, IEEE, pp. 214-221, Ninth International Symposium on Software Reliability Engineering, Paderborn, Germany, 4/11/98. https://doi.org/10.1109/ISSRE.1998.730884

Testing production system programs. / Antoniou, Grigoris; Jack, Oliver.

Proceedings Ninth International Symposium on Software Reliability Engineering. IEEE, 1998. p. 214-221 (Proceedings of the International Symposium on Software Reliability Engineering, ISSRE).

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

TY - GEN

T1 - Testing production system programs

AU - Antoniou, Grigoris

AU - Jack, Oliver

PY - 1998/12/1

Y1 - 1998/12/1

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

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

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

U2 - 10.1109/ISSRE.1998.730884

DO - 10.1109/ISSRE.1998.730884

M3 - Conference contribution

SN - 0818689919

T3 - Proceedings of the International Symposium on Software Reliability Engineering, ISSRE

SP - 214

EP - 221

BT - Proceedings Ninth International Symposium on Software Reliability Engineering

PB - IEEE

ER -

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