Testing database transactions with AGENDA

Yuetang Deng, Phyllis Frankl, David Chays

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    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 languageEnglish (US)
    Title of host publicationProceedings - International Conference on Software Engineering
    Pages78-87
    Number of pages10
    Volume2005
    DOIs
    StatePublished - 2005
    Event27th International Conference on Software Engineering, ICSE 2005 - Saint Louis, MO, United States
    Duration: May 15 2005May 21 2005

    Other

    Other27th International Conference on Software Engineering, ICSE 2005
    CountryUnited States
    CitySaint Louis, MO
    Period5/15/055/21/05

    Fingerprint

    Testing

    Keywords

    • Database
    • Software testing
    • Transaction

    ASJC Scopus subject areas

    • Software

    Cite this

    Deng, Y., Frankl, P., & Chays, D. (2005). Testing database transactions with AGENDA. In Proceedings - International Conference on Software Engineering (Vol. 2005, pp. 78-87). [1553550] https://doi.org/10.1109/ICSE.2005.1553550

    Testing database transactions with AGENDA. / Deng, Yuetang; Frankl, Phyllis; Chays, David.

    Proceedings - International Conference on Software Engineering. Vol. 2005 2005. p. 78-87 1553550.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Deng, Y, Frankl, P & Chays, D 2005, Testing database transactions with AGENDA. in Proceedings - International Conference on Software Engineering. vol. 2005, 1553550, pp. 78-87, 27th International Conference on Software Engineering, ICSE 2005, Saint Louis, MO, United States, 5/15/05. https://doi.org/10.1109/ICSE.2005.1553550
    Deng Y, Frankl P, Chays D. Testing database transactions with AGENDA. In Proceedings - International Conference on Software Engineering. Vol. 2005. 2005. p. 78-87. 1553550 https://doi.org/10.1109/ICSE.2005.1553550
    Deng, Yuetang ; Frankl, Phyllis ; Chays, David. / Testing database transactions with AGENDA. Proceedings - International Conference on Software Engineering. Vol. 2005 2005. pp. 78-87
    @inproceedings{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",
    booktitle = "Proceedings - International Conference on Software Engineering",

    }

    TY - GEN

    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 contribution

    VL - 2005

    SP - 78

    EP - 87

    BT - Proceedings - International Conference on Software Engineering

    ER -