Testing database transactions with AGENDA

Yuetang Deng, Phyllis Frankl, David Chays

    Research output: Contribution to journalConference articlepeer-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)
    Article number1553550
    Pages (from-to)78-87
    Number of pages10
    JournalProceedings - International Conference on Software Engineering
    StatePublished - 2005
    Event27th International Conference on Software Engineering, ICSE 2005 - Saint Louis, MO, United States
    Duration: May 15 2005May 21 2005


    • Database
    • Software testing
    • Transaction

    ASJC Scopus subject areas

    • Software


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

    Cite this