Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
IEEE transactions on software engineering, 2018-04, Vol.44 (4), p.308-333
2018

Details

Autor(en) / Beteiligte
Titel
Detecting Trivial Mutant Equivalences via Compiler Optimisations
Ist Teil von
  • IEEE transactions on software engineering, 2018-04, Vol.44 (4), p.308-333
Ort / Verlag
New York: IEEE
Erscheinungsjahr
2018
Link zum Volltext
Quelle
IEEE Xplore
Beschreibungen/Notizen
  • Mutation testing realises the idea of fault-based testing, i.e., using artificial defects to guide the testing process. It is used to evaluate the adequacy of test suites and to guide test case generation. It is a potentially powerful form of testing, but it is well-known that its effectiveness is inhibited by the presence of equivalent mutants. We recently studied Trivial Compiler Equivalence (TCE) as a simple, fast and readily applicable technique for identifying equivalent mutants for C programs. In the present work, we augment our findings with further results for the Java programming language. TCE can remove a large portion of all mutants because they are determined to be either equivalent or duplicates of other mutants. In particular, TCE equivalent mutants account for 7.4 and 5.7 percent of all C and Java mutants, while duplicated mutants account for a further 21 percent of all C mutants and 5.4 percent Java mutants, on average. With respect to a benchmark ground truth suite (of known equivalent mutants), approximately 30 percent (for C) and 54 percent (for Java) are TCE equivalent. It is unsurprising that results differ between languages, since mutation characteristics are language-dependent. In the case of Java, our new results suggest that TCE may be particularly effective, finding almost half of all equivalent mutants.

Weiterführende Literatur

Empfehlungen zum selben Thema automatisch vorgeschlagen von bX