Testing database transactions with AGENDA

Yuetang Deng; Phyllis Frankl; David Chays

doi:10.1109/ICSE.2005.1553550

Testing database transactions with AGENDA

Yuetang Deng, Phyllis Frankl, David Chays

Research output: Contribution to journal › Conference article › peer-review

Abstract

AGENDA is a tool set for testing relational database applications. An earlier prototype was targeted to applications consisting of a single query and included components for populating a database with data suitable for testing the application, generating inputs to the query, and checking relatively simple aspects of the results of executing the query. This paper describes substantial extensions to AGENDA, allowing it to test transactions with multiple queries and with complex intended behavior. The paper introduces a technique for checking complex properties of the database state transition performed by the transaction under test, as well as an improved input generation heuristic. Results of using AGENDA to test three applications with seeded faults are presented.

Original language	English (US)
Article number	1553550
Pages (from-to)	78-87
Number of pages	10
Journal	Proceedings - International Conference on Software Engineering
Volume	2005
DOIs	https://doi.org/10.1109/ICSE.2005.1553550
State	Published - 2005
Event	27th International Conference on Software Engineering, ICSE 2005 - Saint Louis, MO, United States Duration: May 15 2005 → May 21 2005

Keywords

Database
Software testing
Transaction

ASJC Scopus subject areas

Software

Access to Document

10.1109/ICSE.2005.1553550

Cite this

@article{8ef1797b3a92438e97d8f86daa8d84a2,

title = "Testing database transactions with AGENDA",

abstract = "AGENDA is a tool set for testing relational database applications. An earlier prototype was targeted to applications consisting of a single query and included components for populating a database with data suitable for testing the application, generating inputs to the query, and checking relatively simple aspects of the results of executing the query. This paper describes substantial extensions to AGENDA, allowing it to test transactions with multiple queries and with complex intended behavior. The paper introduces a technique for checking complex properties of the database state transition performed by the transaction under test, as well as an improved input generation heuristic. Results of using AGENDA to test three applications with seeded faults are presented.",

keywords = "Database, Software testing, Transaction",

author = "Yuetang Deng and Phyllis Frankl and David Chays",

year = "2005",

doi = "10.1109/ICSE.2005.1553550",

language = "English (US)",

volume = "2005",

pages = "78--87",

journal = "Proceedings - International Conference on Software Engineering",

issn = "0270-5257",

publisher = "IEEE Computer Society",

note = "27th International Conference on Software Engineering, ICSE 2005 ; Conference date: 15-05-2005 Through 21-05-2005",

}

TY - JOUR

T1 - Testing database transactions with AGENDA

AU - Deng, Yuetang

AU - Frankl, Phyllis

AU - Chays, David

PY - 2005

Y1 - 2005

N2 - AGENDA is a tool set for testing relational database applications. An earlier prototype was targeted to applications consisting of a single query and included components for populating a database with data suitable for testing the application, generating inputs to the query, and checking relatively simple aspects of the results of executing the query. This paper describes substantial extensions to AGENDA, allowing it to test transactions with multiple queries and with complex intended behavior. The paper introduces a technique for checking complex properties of the database state transition performed by the transaction under test, as well as an improved input generation heuristic. Results of using AGENDA to test three applications with seeded faults are presented.

AB - AGENDA is a tool set for testing relational database applications. An earlier prototype was targeted to applications consisting of a single query and included components for populating a database with data suitable for testing the application, generating inputs to the query, and checking relatively simple aspects of the results of executing the query. This paper describes substantial extensions to AGENDA, allowing it to test transactions with multiple queries and with complex intended behavior. The paper introduces a technique for checking complex properties of the database state transition performed by the transaction under test, as well as an improved input generation heuristic. Results of using AGENDA to test three applications with seeded faults are presented.

KW - Database

KW - Software testing

KW - Transaction

UR - http://www.scopus.com/inward/record.url?scp=84860033074&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84860033074&partnerID=8YFLogxK

U2 - 10.1109/ICSE.2005.1553550

DO - 10.1109/ICSE.2005.1553550

M3 - Conference article

AN - SCOPUS:84860033074

SN - 0270-5257

VL - 2005

SP - 78

EP - 87

JO - Proceedings - International Conference on Software Engineering

JF - Proceedings - International Conference on Software Engineering

M1 - 1553550

T2 - 27th International Conference on Software Engineering, ICSE 2005

Y2 - 15 May 2005 through 21 May 2005

ER -

Testing database transactions with AGENDA

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this