Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/13760
Full metadata record
DC FieldValueLanguage
dc.contributor.authorAyav, Tolga-
dc.date.accessioned2023-10-03T07:15:26Z-
dc.date.available2023-10-03T07:15:26Z-
dc.date.issued2023-
dc.identifier.issn0218-1940-
dc.identifier.issn1793-6403-
dc.identifier.urihttps://doi.org/10.1142/S021819402350033X-
dc.identifier.urihttps://hdl.handle.net/11147/13760-
dc.description.abstractThis paper presents a novel method for testing Boolean expressions. It is based on spectral, aka Fourier analysis of Boolean functions which is exploited to generate test inputs. The approach has three important contributions: (i) It generates a relatively small test suite with a high capability of fault detection, (ii) The test suite is prioritized such that expected fault detection time is shorter, (iii) It is entirely mathematical relying on a simple and straightforward formula. The proposed method is formulated and evaluations are performed on both synthetic and real expressions. It is also compared with two common test generation criteria, MC/DC and Minimal MUMCUT. Evaluations show that the test suite generated by the spectral approach is relatively small while expressing the capability of a better and quicker fault detection. The approach presented in this paper provides a useful insight into how spectral/Fourier analysis of Boolean functions can be exploited in software testing.en_US
dc.language.isoenen_US
dc.publisherWorld Scientific Publishingen_US
dc.relationSualtında Manipülasyon İçin İnsansız Robot Mürekkepbalığı Geliştirilmesi ve Tasarımı-
dc.relation.ispartofInternational Journal of Software Engineering and Knowledge Engineeringen_US
dc.rightsinfo:eu-repo/semantics/closedAccessen_US
dc.subjectBoolean expressionsen_US
dc.subjectFormal methodsen_US
dc.subjectFourier analysisen_US
dc.subjectSoftware testingen_US
dc.titleSpectral Test Generation for Boolean Expressionsen_US
dc.typeArticleen_US
dc.authorid0000-0003-1426-5694-
dc.departmentİzmir Institute of Technology. Computer Engineeringen_US
dc.identifier.volume33en_US
dc.identifier.issue8en_US
dc.identifier.startpage1239en_US
dc.identifier.endpage1260en_US
dc.identifier.wosWOS:001027579000001-
dc.identifier.scopus2-s2.0-85169420204-
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanıen_US
dc.identifier.doi10.1142/S021819402350033X-
dc.relation.grantno216M219-
dc.authorscopusid13408184500-
dc.identifier.wosqualityQ4-
dc.identifier.scopusqualityQ4-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.languageiso639-1en-
item.grantfulltextnone-
item.fulltextNo Fulltext-
item.openairetypeArticle-
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
Show simple item record



CORE Recommender

Google ScholarTM

Check




Altmetric


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