Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Mutation testing optimisations using the Clang front-end
University of Antwerp, Belgium.
University of Antwerp, Belgium; Flanders Make, Belgium.ORCID iD: 0000-0002-4463-2945
RISE Research Institutes of Sweden, Digital Systems. Lund University, Sweden.ORCID iD: 0000-0001-7879-4371
Saab AB, Sweden.
Show others and affiliations
2024 (English)In: Software testing, verification & reliability, ISSN 0960-0833, E-ISSN 1099-1689, Vol. 34, no 1, article id e1865Article in journal (Refereed) Published
Abstract [en]

Mutation testing is the state-of-the-art technique for assessing the fault detection capacity of a test suite. Unfortunately, a full mutation analysis is often prohibitively expensive. The CppCheck project for instance, demands a build time of 5.8Â min and a test execution time of 17Â s on our desktop computer. An unoptimised mutation analysis, for 55,000 generated mutants took 11.8Â days in total, of which 4.3Â days is spent on (re)compiling the project. In this paper, we present a feasibility study, investigating how a number of optimisation strategies can be implemented based on the Clang front-end. These optimisation strategies allow to eliminate the compilation and execution overhead in order to support efficient mutation testing for the C language family. We provide a proof-of-concept tool that achieves a speedup of between 2 (Formula presented.) and 30 (Formula presented.). We make a detailed analysis of the speedup induced by the optimisations, elaborate on the lessons learned and point out avenues for further improvements.

Place, publisher, year, edition, pages
John Wiley and Sons Ltd , 2024. Vol. 34, no 1, article id e1865
Keywords [en]
C++ (programming language); Fault detection; C++; CLANG; Front end; Mutant schema; Mutation analysis; Mutation testing; Optimisations; Optimization strategy; Software testings; Software-Reliability; Software testing
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:ri:diva-67671DOI: 10.1002/stvr.1865Scopus ID: 2-s2.0-85174318138OAI: oai:DiVA.org:ri-67671DiVA, id: diva2:1815678
Note

This work is supported by (a) the Research Foundation Flanders (FWO) under Grant number 1SA1519N; (a) the FWO‐Vlaanderen and F.R.S.‐FNRS via the Excellence of Science project 30446992 SECO‐ASSIST.

Available from: 2023-11-29 Created: 2023-11-29 Last updated: 2024-06-11Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Borg, Markus

Search in DiVA

By author/editor
Demeyer, SergeBorg, Markus
By organisation
Digital Systems
In the same journal
Software testing, verification & reliability
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 49 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf