Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/5434
Title: Model-based mutation testing-approach and case studies
Authors: Belli, Fevzi
Budnik, Christof J.
Hollmann, Axel
Tuğlular, Tuğkan
Wong, W. Eric
Keywords: Fault detection
Model-based mutation testing
Mutation operator
Software testing
Publisher: Elsevier Ltd.
Source: Belli, F., Budnik, C. J., Hollmann, A., Tuğlular, T., and Wong, W. E. (2016). Model-based mutation testing-Approach and case studies. Science of Computer Programming, 120, 25-48. doi:10.1016/j.scico.2016.01.003
Abstract: This paper rigorously introduces the concept of model-based mutation testing (MBMT) and positions it in the landscape of mutation testing. Two elementary mutation operators, insertion and omission, are exemplarily applied to a hierarchy of graph-based models of increasing expressive power including directed graphs, event sequence graphs, finite-state machines and statecharts. Test cases generated based on the mutated models (mutants) are used to determine not only whether each mutant can be killed but also whether there are any faults in the corresponding system under consideration (SUC) developed based on the original model. Novelties of our approach are: (1) evaluation of the fault detection capability (in terms of revealing faults in the SUC) of test sets generated based on the mutated models, and (2) superseding of the great variety of existing mutation operators by iterations and combinations of the two proposed elementary operators. Three case studies were conducted on industrial and commercial real-life systems to demonstrate the feasibility of using the proposed MBMT approach in detecting faults in SUC, and to analyze its characteristic features. Our experimental data suggest that test sets generated based on the mutated models created by insertion operators are more effective in revealing faults in SUC than those generated by omission operators. Worth noting is that test sets following the MBMT approach were able to detect faults in the systems that were tested by manufacturers and independent testing organizations before they were released. © 2016 Elsevier B.V.
URI: http://doi.org/10.1016/j.scico.2016.01.003
http://hdl.handle.net/11147/5434
ISSN: 0167-6423
Appears in Collections:Computer Engineering / Bilgisayar Mühendisliği
Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
WoS İndeksli Yayınlar Koleksiyonu / WoS Indexed Publications Collection

Files in This Item:
File Description SizeFormat 
5434.pdfMakale1.58 MBAdobe PDFThumbnail
View/Open
Show full item record



CORE Recommender

SCOPUSTM   
Citations

66
checked on Mar 22, 2024

WEB OF SCIENCETM
Citations

47
checked on Mar 27, 2024

Page view(s)

428
checked on Mar 25, 2024

Download(s)

228
checked on Mar 25, 2024

Google ScholarTM

Check




Altmetric


Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.