JDAMA

Java database application mutation analyser

Chixiang Zhou, Phyllis Frankl

    Research output: Contribution to journalArticle

    Abstract

    Database application programs are ubiquitous; hence, good techniques for testing them are needed. Several approaches to testing database applications have been proposed recently, including test generation techniques and adequacy criteria. Tuya et al. proposed mutation-based adequacy criteria for database queries and developed a set of mutation operators for Structured Query Language SELECT statements. This paper extends that approach by integrating it with analysis and instrumentation of the application bytecode. The design and implementation of a tool, Java Database Application Mutation Analyser (JDAMA), are described. JDAMA instruments application bytecode so as to compare the results of queries executed by the application under test to the results of mutants of those queries. JDAMA can be used to support mutation testing for Java database applications. A second, potentially more useful application of JDAMA is to support experiments evaluating testing techniques for database applications, in which query mutation is used to seed faults into subject applications. The paper illustrates these uses of JDAMA with experiments comparing two approaches to test generation and experiments evaluating coverage criteria.

    Original languageEnglish (US)
    Pages (from-to)241-263
    Number of pages23
    JournalSoftware Testing Verification and Reliability
    Volume21
    Issue number3
    DOIs
    StatePublished - Sep 2011

    Fingerprint

    Testing
    Query languages
    Experiments
    Application programs
    Seed

    Keywords

    • database application testing
    • empirical evaluation
    • Java
    • mutation testing
    • software testing

    ASJC Scopus subject areas

    • Software
    • Media Technology

    Cite this

    JDAMA : Java database application mutation analyser. / Zhou, Chixiang; Frankl, Phyllis.

    In: Software Testing Verification and Reliability, Vol. 21, No. 3, 09.2011, p. 241-263.

    Research output: Contribution to journalArticle

    Zhou, Chixiang ; Frankl, Phyllis. / JDAMA : Java database application mutation analyser. In: Software Testing Verification and Reliability. 2011 ; Vol. 21, No. 3. pp. 241-263.
    @article{26288243df684f30bd75cdf2d2acaf19,
    title = "JDAMA: Java database application mutation analyser",
    abstract = "Database application programs are ubiquitous; hence, good techniques for testing them are needed. Several approaches to testing database applications have been proposed recently, including test generation techniques and adequacy criteria. Tuya et al. proposed mutation-based adequacy criteria for database queries and developed a set of mutation operators for Structured Query Language SELECT statements. This paper extends that approach by integrating it with analysis and instrumentation of the application bytecode. The design and implementation of a tool, Java Database Application Mutation Analyser (JDAMA), are described. JDAMA instruments application bytecode so as to compare the results of queries executed by the application under test to the results of mutants of those queries. JDAMA can be used to support mutation testing for Java database applications. A second, potentially more useful application of JDAMA is to support experiments evaluating testing techniques for database applications, in which query mutation is used to seed faults into subject applications. The paper illustrates these uses of JDAMA with experiments comparing two approaches to test generation and experiments evaluating coverage criteria.",
    keywords = "database application testing, empirical evaluation, Java, mutation testing, software testing",
    author = "Chixiang Zhou and Phyllis Frankl",
    year = "2011",
    month = "9",
    doi = "10.1002/stvr.462",
    language = "English (US)",
    volume = "21",
    pages = "241--263",
    journal = "Software Testing Verification and Reliability",
    issn = "0960-0833",
    publisher = "John Wiley and Sons Ltd",
    number = "3",

    }

    TY - JOUR

    T1 - JDAMA

    T2 - Java database application mutation analyser

    AU - Zhou, Chixiang

    AU - Frankl, Phyllis

    PY - 2011/9

    Y1 - 2011/9

    N2 - Database application programs are ubiquitous; hence, good techniques for testing them are needed. Several approaches to testing database applications have been proposed recently, including test generation techniques and adequacy criteria. Tuya et al. proposed mutation-based adequacy criteria for database queries and developed a set of mutation operators for Structured Query Language SELECT statements. This paper extends that approach by integrating it with analysis and instrumentation of the application bytecode. The design and implementation of a tool, Java Database Application Mutation Analyser (JDAMA), are described. JDAMA instruments application bytecode so as to compare the results of queries executed by the application under test to the results of mutants of those queries. JDAMA can be used to support mutation testing for Java database applications. A second, potentially more useful application of JDAMA is to support experiments evaluating testing techniques for database applications, in which query mutation is used to seed faults into subject applications. The paper illustrates these uses of JDAMA with experiments comparing two approaches to test generation and experiments evaluating coverage criteria.

    AB - Database application programs are ubiquitous; hence, good techniques for testing them are needed. Several approaches to testing database applications have been proposed recently, including test generation techniques and adequacy criteria. Tuya et al. proposed mutation-based adequacy criteria for database queries and developed a set of mutation operators for Structured Query Language SELECT statements. This paper extends that approach by integrating it with analysis and instrumentation of the application bytecode. The design and implementation of a tool, Java Database Application Mutation Analyser (JDAMA), are described. JDAMA instruments application bytecode so as to compare the results of queries executed by the application under test to the results of mutants of those queries. JDAMA can be used to support mutation testing for Java database applications. A second, potentially more useful application of JDAMA is to support experiments evaluating testing techniques for database applications, in which query mutation is used to seed faults into subject applications. The paper illustrates these uses of JDAMA with experiments comparing two approaches to test generation and experiments evaluating coverage criteria.

    KW - database application testing

    KW - empirical evaluation

    KW - Java

    KW - mutation testing

    KW - software testing

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

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

    U2 - 10.1002/stvr.462

    DO - 10.1002/stvr.462

    M3 - Article

    VL - 21

    SP - 241

    EP - 263

    JO - Software Testing Verification and Reliability

    JF - Software Testing Verification and Reliability

    SN - 0960-0833

    IS - 3

    ER -