Testing Database Transaction Consistency

  title={Testing Database Transaction Consistency},
  author={Yuetang Deng Phyllis Frankl},
  • Yuetang Deng Phyllis Frankl
  • Published 2003
AGENDA is a tool set for testing relational database applications. In this paper we extend AGENDA to test transaction consistency. Two levels of checks are used to check both database state and state transition. The transition check validates the state transition performed by the transaction. The state check validates that the overall global consistency properties hold for the new database state. Our tool set can handle general SQL assertions, such as constraints involving multiple tables and… CONTINUE READING
3 Citations
10 References
Similar Papers


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 10 references

An agenda to test relational database application

  • Y. Deng D. Chays, S. Dan, P. G. Frankl, F. I. Vokolos, E. J. Weyuker
  • Journal of Software Testing , Verification and…
  • 2004

Integrity maintenance in a telecommunications switch

  • T. Griffin, H. Trickey
  • InIEEE Data Engineering Bulletin, pages 43–46…
  • 1994
2 Excerpts

Similar Papers

Loading similar papers…