Computer & Information Science Department   Polytechnic University

ATTENTION: THIS WEB SITE HAS MOVED. The pages you are looking at are no longer being maintained. Please go to http://www.poly.edu/cis/ to visit the new site of the Department of Computer and Information Science at Polytechnic University.

Testing Database Transaction Consistency

TR-CIS-2003-04 (10/20/2003)
Yuetang Deng, Phyllis Frankl, David Chays

pdf version of this paper

Abstract
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 SQL aggregation functions. A case study based on the TPC-C benchmark shows promising results.