Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/11542
Full metadata record
DC FieldValueLanguage
dc.contributor.authorKavzak Ufuktepe, Deniz-
dc.contributor.authorAyav, Tolga-
dc.contributor.authorBelli, Fevzi-
dc.date.accessioned2021-11-06T09:54:38Z-
dc.date.available2021-11-06T09:54:38Z-
dc.date.issued2021-
dc.identifier.issn0963-9314-
dc.identifier.issn1573-1367-
dc.identifier.urihttps://doi.org/10.1007/s11219-021-09560-3-
dc.identifier.urihttps://hdl.handle.net/11147/11542-
dc.description.abstractCause-effect graphing is a well-known requirement-based and systematic testing method with a heuristic approach. Since it was introduced by Myers in 1979, there have not been any sufficiently comprehensive studies to generate test inputs from these graphs. However, there exist several methods for test input generation from Boolean expressions. Cause-effect graphs can be more convenient for a wide variety of users compared to Boolean expressions. Moreover, they can be used to enforce common constraints and rules on the system variables of different expressions of the system. This study proposes a new mutant-based test input generation method, Spectral Testing for Boolean specification models based on spectral analysis of Boolean expressions using mutations of the original expression. Unlike Myers' method, Spectral Testing is an algorithmic and deterministic method, in which we model the possible faults systematically. Furthermore, the conversion of cause-effect graphs between Boolean expressions is explored so that the existing test input generation methods for Boolean expressions can be exploited for cause-effect graphing. A software is developed as an open-source extendable tool for generating test inputs from cause-effect graphs by using different methods and performing mutation analysis for quantitative evaluation on these methods for further analysis and comparison. Selected methods, MI, MAX-A, MUTP, MNFP, CUTPNFP, MUMCUT, Unique MC/DC, and Masking MC/DC are implemented together with Myers' technique and the proposed Spectral Testing in the developed tool. For mutation testing, 9 common fault types of Boolean expressions are modeled, implemented, and generated in the tool. An XML-based standard on top of GraphML representing a cause-effect graph is proposed and is used as the input type to the approach. An empirical study is performed by a case study on 5 different systems with various requirements, including the benchmark set from the TCAS-II system. Our results show that the proposed XML-based cause-effect graph model can be used to represent system requirements. The developed tool can be used for test input generation from proposed cause-effect graph models and can perform mutation analysis to distinguish between the methods with respect to the effectiveness of test inputs and their mutant kill scores. The proposed Spectral Testing method outperforms the state-of-the-art methods in the context of critical systems, regarding both the effectiveness and mutant kill scores of the generated test inputs, and increasing the chances of revealing faults in the system and reducing the cost of testing. Moreover, the proposed method can be used as a separate or complementary method to other well-performing test input generation methods for covering specific fault types.en_US
dc.language.isoenen_US
dc.publisherSpringeren_US
dc.relation.ispartofSoftware Quality Journalen_US
dc.rightsinfo:eu-repo/semantics/closedAccessen_US
dc.subjectTest input generationen_US
dc.subjectSpecification-based testingen_US
dc.subjectCause-effect graphen_US
dc.subjectSpectral analysisen_US
dc.subjectBoolean expressionsen_US
dc.titleTest input generation from cause-effect graphsen_US
dc.typeArticleen_US
dc.authorid0000-0003-1426-5694-
dc.institutionauthorAyav, Tolga-
dc.institutionauthorBelli, Fevzi-
dc.departmentİzmir Institute of Technology. Computer Engineeringen_US
dc.identifier.wosWOS:000663243500001en_US
dc.identifier.scopus2-s2.0-85108234915en_US
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanıen_US
dc.identifier.doi10.1007/s11219-021-09560-3-
dc.identifier.wosqualityQ3-
dc.identifier.scopusqualityQ1-
item.openairetypeArticle-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.grantfulltextembargo_20250101-
item.fulltextWith Fulltext-
item.languageiso639-1en-
item.cerifentitytypePublications-
crisitem.author.dept03.04. Department of Computer Engineering-
crisitem.author.dept03.04. Department of Computer Engineering-
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 
KavzakUfuktepe2021_Article.pdf
  Until 2025-01-01
2.59 MBAdobe PDFView/Open    Request a copy
Show simple item record



CORE Recommender

SCOPUSTM   
Citations

10
checked on Apr 5, 2024

WEB OF SCIENCETM
Citations

9
checked on Mar 30, 2024

Page view(s)

6,944
checked on Apr 8, 2024

Download(s)

50
checked on Apr 8, 2024

Google ScholarTM

Check




Altmetric


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