Testing database transactions with AGENDA

Yuetang Deng, Phyllis Frankl, David Chays

    Research output: Contribution to conferencePaperpeer-review


    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 languageEnglish (US)
    Number of pages10
    StatePublished - 2005
    Event27th International Conference on Software Engineering, ICSE05 - St. Louis, MO, United States
    Duration: May 15 2005May 21 2005


    Other27th International Conference on Software Engineering, ICSE05
    Country/TerritoryUnited States
    CitySt. Louis, MO


    • Database
    • Software testing
    • Transaction

    ASJC Scopus subject areas

    • General Engineering


    Dive into the research topics of 'Testing database transactions with AGENDA'. Together they form a unique fingerprint.

    Cite this