Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Rules in Database Systems (RIDS 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1312))

Included in the following conference series:

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.

This research is supported by NSF Grant No. IRI-9410983

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Anwar, E., Maugis, L, Chakravarthy, S.: A new perspective on rule suport for object-oriented databases. Proc. of the ACM SIGMOD International Conf. on Management of Data, Washingtion, D.C. (May 1993) 99–108

    Google Scholar 

  2. Baralis, E., Ceri, S., Paraboschi, S.: Declarative specification of constraint maintenance. Proc. of the 13th International Conf. on the Entity-Relationship Approach, Manchester, UK (Dec. 1994) 205–222

    Google Scholar 

  3. Beizer, B.: Software Testing Techniques, 2nd ed. Van Nostrand Reinhold (1990)

    Google Scholar 

  4. Benazet, E., Guehl, H., Bouzeghoub, M.: VITAL: a visual tool for analysis of rules behaviour in active databases. Proc. of the 2nd International Workshop on Rules in Database Systems (RIDS'95), Glyfada, Athens, Greece (Sep. 1995) 182–196

    Google Scholar 

  5. Bertolino, A.: Unconstrained edges and their application to branch testing of programs. Journal of Systems Software 20 (1993) 125–133

    Google Scholar 

  6. Bertolino, A., Marré, M.: Automatic generation of path covers based on the control flow analysis of computer programs. IEEE Transactions on Software Engineering 20(12) (Dec. 1994) 885–899

    Google Scholar 

  7. Bussler, C., Jablonski, S.: Implementing agent coordination for workflow management systems using active database systems. Proc. of the 4th International Workshop on Research Issues in Data Engineering (RIDE-ADS '94), Houston, Texas (Feb. 1994) 53–59

    Google Scholar 

  8. Ceri, S., Fraternali, P., Paraboschi, S., Tanca, L.: Automatic generation of production rules for integrity maintenance. ACM Transactions on Database Systems 19(3) (Sep. 1994) 367–422

    Google Scholar 

  9. Ceri, S., Manthey, R.: Consolidated specification of Chimera (CM and CL). Technical report, Dipaztimento di Electronica e Informazione, Politecnico di Milano, Piazza L. Da Vinci, 32, 20133 Milano, Italy (Nov. 1993)

    Google Scholar 

  10. Chakravathy, S., Tamizuddin, Z., Zhou, J.: A visualization and explanation tool for debugging ECA rules in active databases. Proc. of the 2nd International Workshop on Rules in Database Systems (RIDS'95), Glyfada, Athens, Greece (Sep. 1995) 197–209

    Google Scholar 

  11. Chan, H.W.R.: Active rule testing: A case study of structural and functional testing for the Comprehensive Declarative Object Language (CDOL). Master's thesis, Arizona State University. Document under preparation.

    Google Scholar 

  12. Dayal, U.: Active database management systems. Proc. of the 3rd International Conf. on Data and Knowledge Bases, Jerusalem (Jun. 1988) 150–170

    Google Scholar 

  13. Díaz, O., Jaime, A., Paton, N.: DEAR: A DEbugger for Active Rules in an object-oriented context. Proc. of the 1st International Workshop on Rules in Database Systems (RIDS '93), Edinburgh, Scotland (Aug.–Sep. 1993) 180–193

    Google Scholar 

  14. Gehani, N., Jagadish, H.V.: Ode as an active database: Constraints and triggers. Proc. of the 17th International Conf. on Very Large Data Bases, Barcelona, Spain (Sep. 1991) 327–336

    Google Scholar 

  15. Gertz, M.: Specifying reactive integrity control for active databases. Proc. of the 4th International Workshop on Research Issues in Data Engineering (RIDE-ADS '94), Houston, Texas (Feb. 1994) 2–9

    Google Scholar 

  16. Ghandeharizadeh, S., Hull, R., Jacobs, D.: Heraclitus: Elevating deltas to be firstclass citizens in a database programming language. ACM Transactions on Database Systems 21(3) (Sep. 1996) 370–426

    Google Scholar 

  17. Jähne, A., Urban, S.,Dietrich, S.: PEARD: A prototype environment for active rule debugging. Journal of Intelligent Information Systems 7(2) (Oct. 1996) 111–128

    Google Scholar 

  18. Jorgensen, P.: Software Testing: A Craftman's Approach. CRC Press, Inc. (1995)

    Google Scholar 

  19. Institute of Electrical and Electronics Engineers: Software Engineering Standards, ANSI/IEEE Std 729-1983, Glossary of Software Engineering Terminology (1984)

    Google Scholar 

  20. Ramakrishnan, R., Srivastava, D., Sudarshan, S.: CORAL: Control, Relations and Logic. Proc. of the 18th International Conf. on Very Large Data Bases, Vancouver, British Columbia, Canada (1992) 238–250

    Google Scholar 

  21. Robbert, M., Maryanski, F.: Automated test plan generator for database application systems. SIGSMALL/PC Notes 17(3) (Fall 1991) 29–35

    Google Scholar 

  22. Sommerville, I.: Software Engineering, 4th ed. Addison Wesley Publishing Company (1992)

    Google Scholar 

  23. Stonebraker, M., Hanson, E.N., Potamianos, S.: The POSTGRES rule manager. IEEE Transactions on Software Engineering 14(7) (Jul. 1988) 897–907

    Google Scholar 

  24. Sundermier, A.: Condition monitoring in an active, deductive, object-oriented database. Master's thesis proposal, Arizona State University. Document under preparation.

    Google Scholar 

  25. Urban, S., Dietrich, S.: A development environment for active database systems: Testing and analysis of active database rule. National Science Foundation grant no. IRI-9410983 (1994)

    Google Scholar 

  26. Urban, S., Karadimce, A., Dietrich, S., Ben Abdellatif, T., Chan, H.W.R.: CDOL: A Comprehensive Declarative Object Language. Data & Knowledge Engineering 22 (1997) 67–111

    Google Scholar 

  27. Widom, J., Ceri, S., editors: Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann Publishers, Inc. (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, Arizona State University, 85287, Tempe, AZ, USA

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

Authors
  1. Hon Wai Rene Chan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Suzanne W. Dietrich
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Susan D. Urban
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Andreas Geppert Mikael Berndtsson

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chan, H.W.R., Dietrich, S.W., Urban, S.D. (1997). On control flow testing of active rules in a declarative object-oriented framework. In: Geppert, A., Berndtsson, M. (eds) Rules in Database Systems. RIDS 1997. Lecture Notes in Computer Science, vol 1312. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63516-5_24

Download citation

  • DOI: https://doi.org/10.1007/3-540-63516-5_24

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63516-1

  • Online ISBN: 978-3-540-69588-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation