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
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
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

Page view(s)

checked on May 22, 2023


checked on May 22, 2023

Google ScholarTM



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