Please use this identifier to cite or link to this item:
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
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
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


checked on Jul 19, 2024

Page view(s)

checked on Jul 22, 2024


checked on Jul 22, 2024

Google ScholarTM



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