Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/12349
Title: Mutation analysis of specification-based contracts in software testing [Conference Object]
Authors: Khalilov, Abbas
Tuğlular, Tuğkan
Belli, Fevzi
Keywords: Mutation analysis
Decision tables
Mutation analysis
Event sequence graph
Issue Date: 2021
Publisher: IEEE
Abstract: This work focuses on checking the adequacy of the test cases generated using Decision-Table-augmented Event Sequence Graphs (ESG-DTs), which represents the specification of a system under test, by using mutation analysis. Test cases are represented in the Complete Event Sequence (CES) and Faulty CES (FCES) forms. We present a new set of mutation operators for mutation of contracts represented in Multi-Terminal Binary Decision Diagram (MTBDD) and introduce a new approach to mutation of the ESG-DT model by using the proposed mutation operators. The approach is evaluated on three cases. The results show the drawback of specific FCES test sequences and the relationship between the mutant detection by CES/FCES sequences and proposed mutation operators.
Description: 15th Turkish National Software Engineering Symposium (UYMS) -- NOV 17-19, 2021
URI: https://hdl.handle.net/11147/12349
https://doi.org/10.1109/UYMS54260.2021.9659635
ISBN: 978-1-6654-1070-0
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 SizeFormat 
Mutation_Analysis_of.pdf714.82 kBAdobe PDFView/Open
Show full item record



CORE Recommender

SCOPUSTM   
Citations

1
checked on Feb 16, 2024

Page view(s)

930
checked on Feb 23, 2024

Download(s)

76
checked on Feb 23, 2024

Google ScholarTM

Check




Altmetric


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