Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/10502
Title: Mutant selection by using Fourier expansion
Authors: Takan, Savaş
Ayav, Tolga
Keywords: Mutation analysis
Finite state machine
Fourier transformation
W method
Issue Date: 2020
Publisher: Türkiye Klinikleri Journal of Medical Sciences
Abstract: Mutation analysis is a widely used technique to evaluate the effectiveness of test cases in both hardware and software testing. The original model is mutated systematically under certain fault assumptions and test cases are checked against the mutants created to see whether the test cases can detect the faults or not. Mutation analysis is usually a computationally intensive task, particularly in finite state machine (FSM) testing due to a possibly huge amount of mutants. Random selection could be a practical reduction method under the assumption that each mutant is identical in terms of the probability of occurrence of its associating fault. The present study proposes a mutant selection method based on Fourier analysis of Boolean functions. Fourier helps to identify the most effective transitions on the output so that the mutants related to those transitions can be selected. Such mutants are considered more important since they are more likely to be killed. To evaluate the method, test cases are generated by the well-known W method, which has the capability of detecting every potential fault. The original and reduced sets of mutants are compared with respect to their importance values. Evaluations show that the mutants selected by the proposed technique are more effective, which reduces the cost of mutation analysis without sacrificing the performance of the mutation analysis.
URI: https://doi.org/10.3906/elk-1909-90
https://hdl.handle.net/11147/10502
https://search.trdizin.gov.tr/yayin/detay/514055
ISSN: 1300-0632
1303-6203
Appears in Collections:Computer Engineering / Bilgisayar Mühendisliği
Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
TR Dizin İndeksli Yayınlar / TR Dizin Indexed Publications Collection
WoS İndeksli Yayınlar Koleksiyonu / WoS Indexed Publications Collection

Files in This Item:
File SizeFormat 
Mutant selection.pdf392.62 kBAdobe PDFView/Open
Show full item record



CORE Recommender

SCOPUSTM   
Citations

1
checked on Feb 16, 2024

WEB OF SCIENCETM
Citations

2
checked on Feb 10, 2024

Page view(s)

178
checked on Feb 19, 2024

Download(s)

60
checked on Feb 19, 2024

Google ScholarTM

Check




Altmetric


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