|
Published Articles >> Table of Contents >> Abstract
18th IEEE International Conference on Automated Software Engineering (ASE'03)
p. 184
Testing Database Transaction Concurrency
Yuetang Deng, Polytechnic University, Brooklyn, NY
Phyllis Frankl, Polytechnic University, Brooklyn, NY
Zhongqiang Chen, Polytechnic University, Brooklyn, NY
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2003.1240306
Send link to a friend
| Abstract |
|
Database application programs are often designed to
be executed concurrently by many users. By grouping
related database queries into transactions, DBMS
systems can guarantee that each transaction satisfies the
well-known ACID properties: Atomicity, Consistency,
Isolation, and Durability. However, if a database
application is decomposed into transactions in an
incorrect manner, the application may fail when executed
concurrently due to potential offline concurrency
problems.
This paper presents a dataflow analysis technique for
identifying schedules of transaction execution aimed at
revealing concurrency faults of this nature, along with
techniques for controlling the DBMS or the application
so that execution of transaction sequences follows
generated schedules. The techniques have been integrated
into AGENDA, a tool set for testing relational database
application programs. Preliminary empirical evaluation
is presented.
|
 Additional Information
|
Citation:
Yuetang Deng, Phyllis Frankl, Zhongqiang Chen,
"Testing Database Transaction Concurrency,"
ase,
p. 184,
18th IEEE International Conference on Automated Software Engineering (ASE'03),
2003
|
|
