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 an approach to control flow testing of declarative active rules. We also describe the implementation of the tool set for applying the test. 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.


*This research is supported by NSF Grant No. IRI-9410983.
Copyright © 1997, Arizona State University. All rights reserved.