Paper published in a book (Scientific congresses, symposiums and conference proceedings)
An Investigation of Compression Techniques to Speed up Mutation Testing
Zhu; Panichella, Annibale; Zaidman, Andy
2018In Proceedings of 11th IEEE Conference on Software Testing, Validation and Verification, 2018
Peer reviewed
 

Files


Full Text
main.pdf
Publisher postprint (501.81 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Mutation Testing; Data Compression; Software Testing
Abstract :
[en] Mutation testing is widely considered as a high-end test coverage criterion due to the vast number of mutants it generates. Although many efforts have been made to reduce the computational cost of mutation testing, in practice, the scalability issue remains. In this paper, we explore whether we can use compression techniques to improve the efficiency of strong mutation based on weak mutation information. Our investigation is centred around six mutation compression strategies that we have devised. More specifically, we adopt overlapped grouping and Formal Concept Analysis (FCA) to cluster mutants and test cases based on the reachability (code covergae) and necessity (weak mutation) conditions. Moreover, we leverage mutation knowledge (mutation locations and mutation operator types) during compression. To evaluate our method, we conducted a study on 20 open source Java projects using manually written tests. We also compare our method with pure random sampling and weak mutation. The overall results show that mutant compression techniques are a better choice than random sampling and weak mutation in practice: they can effectively speed up strong mutation 6.3 to 94.3 times with an accuracy of >90%.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
Zhu;  Delft University of Technology
Panichella, Annibale ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Zaidman, Andy;  Delft University of Technology
External co-authors :
yes
Language :
English
Title :
An Investigation of Compression Techniques to Speed up Mutation Testing
Publication date :
2018
Event name :
11th IEEE Conference on Software Testing, Validation and Verification
Event place :
Västerås, Sweden
Event date :
from 09/04/2018 – 13/04/2018
Audience :
International
Main work title :
Proceedings of 11th IEEE Conference on Software Testing, Validation and Verification, 2018
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
Available on ORBilu :
since 08 January 2018

Statistics


Number of views
223 (25 by Unilu)
Number of downloads
4 (3 by Unilu)

Scopus citations®
 
14
Scopus citations®
without self-citations
12
WoS citations
 
10

Bibliography


Similar publications



Contact ORBilu