On control flow testing of active rules in a declarative object-oriented framework

Hon Wai Rene Chan, Suzanne Dietrich, Susan D. Urban

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

1 Citation (Scopus)

Abstract

Advances in active database technology offer more powerful systems than conventional passive databases. However, the introduction of production rules and autonomous reactive responses in active databases also adds complexity to such systems. To assure the quality of active database systems, a testing methodology has to be developed. In this paper, we describe the architecture of an active rule testing tool set and the implementation of the control flow test data generator, which generates the constraints on test data in the form of test scripts. The work, which is adapted from the testing theory and test data generation techniques for control flow testing of imperative programs, represents the first step in the development of an effective active database testing framework.

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages165-180
Number of pages16
Volume1312
ISBN (Print)3540635165, 9783540635161
StatePublished - 1997
Event3rd International Workshop on Rules in Database Systems, RIDS 1997 - Skovde, Sweden
Duration: Jun 26 1997Jun 28 1997

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1312
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other3rd International Workshop on Rules in Database Systems, RIDS 1997
CountrySweden
CitySkovde
Period6/26/976/28/97

Fingerprint

Flow Control
Flow control
Object-oriented
Testing
Production Rules
Database Systems
Framework
Generator
Methodology

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Chan, H. W. R., Dietrich, S., & Urban, S. D. (1997). On control flow testing of active rules in a declarative object-oriented framework. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1312, pp. 165-180). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1312). Springer Verlag.

On control flow testing of active rules in a declarative object-oriented framework. / Chan, Hon Wai Rene; Dietrich, Suzanne; Urban, Susan D.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1312 Springer Verlag, 1997. p. 165-180 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1312).

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

Chan, HWR, Dietrich, S & Urban, SD 1997, On control flow testing of active rules in a declarative object-oriented framework. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 1312, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1312, Springer Verlag, pp. 165-180, 3rd International Workshop on Rules in Database Systems, RIDS 1997, Skovde, Sweden, 6/26/97.
Chan HWR, Dietrich S, Urban SD. On control flow testing of active rules in a declarative object-oriented framework. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1312. Springer Verlag. 1997. p. 165-180. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Chan, Hon Wai Rene ; Dietrich, Suzanne ; Urban, Susan D. / On control flow testing of active rules in a declarative object-oriented framework. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1312 Springer Verlag, 1997. pp. 165-180 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{f7abce8b18be4339b4604c73d1feb1a0,
title = "On control flow testing of active rules in a declarative object-oriented framework",
abstract = "Advances in active database technology offer more powerful systems than conventional passive databases. However, the introduction of production rules and autonomous reactive responses in active databases also adds complexity to such systems. To assure the quality of active database systems, a testing methodology has to be developed. In this paper, we describe the architecture of an active rule testing tool set and the implementation of the control flow test data generator, which generates the constraints on test data in the form of test scripts. The work, which is adapted from the testing theory and test data generation techniques for control flow testing of imperative programs, represents the first step in the development of an effective active database testing framework.",
author = "Chan, {Hon Wai Rene} and Suzanne Dietrich and Urban, {Susan D.}",
year = "1997",
language = "English (US)",
isbn = "3540635165",
volume = "1312",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "165--180",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - On control flow testing of active rules in a declarative object-oriented framework

AU - Chan, Hon Wai Rene

AU - Dietrich, Suzanne

AU - Urban, Susan D.

PY - 1997

Y1 - 1997

N2 - Advances in active database technology offer more powerful systems than conventional passive databases. However, the introduction of production rules and autonomous reactive responses in active databases also adds complexity to such systems. To assure the quality of active database systems, a testing methodology has to be developed. In this paper, we describe the architecture of an active rule testing tool set and the implementation of the control flow test data generator, which generates the constraints on test data in the form of test scripts. The work, which is adapted from the testing theory and test data generation techniques for control flow testing of imperative programs, represents the first step in the development of an effective active database testing framework.

AB - Advances in active database technology offer more powerful systems than conventional passive databases. However, the introduction of production rules and autonomous reactive responses in active databases also adds complexity to such systems. To assure the quality of active database systems, a testing methodology has to be developed. In this paper, we describe the architecture of an active rule testing tool set and the implementation of the control flow test data generator, which generates the constraints on test data in the form of test scripts. The work, which is adapted from the testing theory and test data generation techniques for control flow testing of imperative programs, represents the first step in the development of an effective active database testing framework.

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

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

M3 - Conference contribution

AN - SCOPUS:84957017365

SN - 3540635165

SN - 9783540635161

VL - 1312

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 165

EP - 180

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Verlag

ER -