Show simple item record

dc.contributor.authorBelli, Fevzi
dc.contributor.authorBudnik, Christof J.
dc.contributor.authorHollmann, Axel
dc.contributor.authorTuğlular, Tuğkan
dc.contributor.authorWong, W. Eric
dc.date.accessioned2017-04-28T11:40:32Z
dc.date.available2017-04-28T11:40:32Z
dc.date.issued2016-05
dc.identifier.citationBelli, 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.003en_US
dc.identifier.issn0167-6423
dc.identifier.urihttp://doi.org/10.1016/j.scico.2016.01.003
dc.identifier.urihttp://hdl.handle.net/11147/5434
dc.description.abstractThis 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.en_US
dc.language.isoengen_US
dc.publisherElsevieren_US
dc.relation.isversionof10.1016/j.scico.2016.01.003en_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectFault detectionen_US
dc.subjectModel-based mutation testingen_US
dc.subjectMutation operatoren_US
dc.subjectSoftware testingen_US
dc.titleModel-based mutation testing-Approach and case studiesen_US
dc.typearticleen_US
dc.contributor.authorIDTR114656en_US
dc.contributor.iztechauthorTuğlular, Tuğkan
dc.relation.journalScience of Computer Programmingen_US
dc.contributor.departmentİYTE, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümüen_US
dc.identifier.volume120en_US
dc.identifier.startpage25en_US
dc.identifier.endpage48en_US
dc.identifier.wosWOS:000372693400002
dc.identifier.scopusSCOPUS:2-s2.0-84956598573
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanıen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record