TECHNICAL REPORT ARCHIVE


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.

Back to previous page