CISPA
Browse
cispa_all_2925.pdf (120.55 kB)

If You Can't Kill a Supermutant, You Have a Problem

Download (120.55 kB)
conference contribution
posted on 2023-11-29, 18:09 authored by Rahul Gopinath, Björn MathisBjörn Mathis, Andreas ZellerAndreas Zeller
Quality of software test suites can be effectively and accurately measured using mutation analysis. Traditional mutation involves seeding first and sometimes higher order faults into the program, and evaluating each for detection.However, traditional mutants are often heavily redundant, and it is desirable to produce the complete matrix of test cases vs mutants detected by each. Unfortunately, even the traditional mutation analysis has a heavy computational footprint due to the requirement of independent evaluation of each mutant by the complete test suite, and consequently the cost of evaluation of complete kill matrix is exorbitant.We present a novel approach of combinatorial evaluation of multiple mutants at the same time that can generate the complete mutant kill matrix with lower computational requirements.Our approach also has the potential to reduce the cost of execution of traditional mutation analysis especially for test suites with weak oracles such as machine-generated test suites, while at the same time liable to only a linear increase in the time taken for mutation analysis in the worst case.

History

Preferred Citation

Rahul Gopinath, Björn Mathis and Andreas Zeller. If You Can't Kill a Supermutant, You Have a Problem. In: International Conference on Software Testing, Verification and Validation (ICST). 2018.

Primary Research Area

  • Secure Connected and Mobile Systems

Name of Conference

International Conference on Software Testing, Verification and Validation (ICST)

Legacy Posted Date

2019-06-23

Open Access Type

  • Unknown

BibTeX

@inproceedings{cispa_all_2925, title = "If You Can't Kill a Supermutant, You Have a Problem", author = "Gopinath, Rahul and Mathis, Björn and Zeller, Andreas", booktitle="{International Conference on Software Testing, Verification and Validation (ICST)}", year="2018", }

Usage metrics

    Categories

    No categories selected

    Licence

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC