Please use this identifier to cite or link to this item:
https://hdl.handle.net/11147/11576
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kilincceker, Onur | - |
dc.contributor.author | Silistre, Alper | - |
dc.contributor.author | Belli, Fevzi | - |
dc.contributor.author | Challenger, Moharram | - |
dc.date.accessioned | 2021-11-06T09:54:41Z | - |
dc.date.available | 2021-11-06T09:54:41Z | - |
dc.date.issued | 2021 | - |
dc.identifier.issn | 2169-3536 | - |
dc.identifier.uri | https://doi.org/10.1109/ACCESS.2021.3077518 | - |
dc.description | Challenger, Moharram/0000-0002-5436-6070; Belli, Fevzi/0000-0002-8421-3497; Kilincceker, Onur/0000-0001-5996-4398; Silistre, Alper/0000-0002-2255-1036 | en_US |
dc.description.abstract | Traditionally, software testing is aimed at showing the presence of faults. This paper proposes a novel approach to testing graphical user interfaces (GUI) for showing both the presence and absence of faults in the sense of ideal testing. The approach uses a positive testing concept to show that the GUI under consideration (GUC) does what the user expects; to the contrary, the negative testing concept shows that the GUC does not do anything that the user does not expect, building a holistic view. The first step of the approach models the GUC by a finite state machine (FSM) that enables the model-based generation of test cases. This is always possible as the GUIs are considered as strictly sequential processes. The next step converts the FSM to an equivalent regular expression (RE) that will be analyzed first to construct test selection criteria for excluding redundant test cases and construct test coverage criteria for terminating the positive test process. Both criteria enable us to assess the adequacy and efficiency of the positive tests performed. The negative tests will be realized by systematically mutating the FSM to model faults, the absence of which are to be shown. Those mutant FSMs will be handled and assessed in the same way as in positive testing. Two case studies illustrate and validate the approach; the experiments' results will be analyzed to discuss the pros and cons of the techniques introduced. | en_US |
dc.description.sponsorship | University of Antwerp [43169] | en_US |
dc.description.sponsorship | This work was supported in part by the University of Antwerp under Grant 43169. | en_US |
dc.language.iso | en | en_US |
dc.publisher | IEEE-Inst Electrical Electronics Engineers inc | en_US |
dc.rights | info:eu-repo/semantics/openAccess | en_US |
dc.subject | Testing | en_US |
dc.subject | Graphical User Interfaces | en_US |
dc.subject | Software | en_US |
dc.subject | Adaptation Models | en_US |
dc.subject | Test Pattern Generators | en_US |
dc.subject | Reliability | en_US |
dc.subject | Object Oriented Modeling | en_US |
dc.subject | Gui Testing | en_US |
dc.subject | Holistic Testing | en_US |
dc.subject | Ideal Testing | en_US |
dc.subject | Model-Based Testing | en_US |
dc.subject | Mutation Testing | en_US |
dc.subject | Test Generation | en_US |
dc.subject | Regular Expression | en_US |
dc.title | Model-Based Ideal Testing of Gui Programs-Approach and Case Studies | en_US |
dc.type | Article | en_US |
dc.authorid | 0000-0001-5996-4398 | - |
dc.authorid | 0000-0002-8421-3497 | - |
dc.authorid | Challenger, Moharram/0000-0002-5436-6070 | - |
dc.authorid | Belli, Fevzi/0000-0002-8421-3497 | - |
dc.authorid | Kilincceker, Onur/0000-0001-5996-4398 | - |
dc.authorid | Silistre, Alper/0000-0002-2255-1036 | - |
dc.institutionauthor | Belli, Fevzi | - |
dc.department | İzmir Institute of Technology | en_US |
dc.identifier.volume | 9 | en_US |
dc.identifier.startpage | 68966 | en_US |
dc.identifier.endpage | 68984 | en_US |
dc.identifier.wos | WOS:000650446100001 | - |
dc.identifier.scopus | 2-s2.0-85105998520 | - |
dc.relation.publicationcategory | Makale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı | en_US |
dc.identifier.doi | 10.1109/ACCESS.2021.3077518 | - |
dc.authorscopusid | 55807841400 | - |
dc.authorscopusid | 57211425274 | - |
dc.authorscopusid | 57200611344 | - |
dc.authorscopusid | 55910368200 | - |
dc.authorwosid | Kilincceker, Onur/Khv-3755-2024 | - |
dc.authorwosid | Challenger, Moharram/E-2164-2014 | - |
dc.authorwosid | Belli, Fevzi/H-5721-2018 | - |
dc.authorwosid | Kilincceker, Onur/I-6416-2018 | - |
dc.identifier.wosquality | Q2 | - |
dc.identifier.scopusquality | Q1 | - |
dc.description.woscitationindex | Science Citation Index Expanded | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.cerifentitytype | Publications | - |
item.languageiso639-1 | en | - |
item.grantfulltext | open | - |
item.fulltext | With Fulltext | - |
item.openairetype | Article | - |
crisitem.author.dept | 03.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 | Size | Format | |
---|---|---|---|
Model-Based_Ideal_Testing.pdf | 1.72 MB | Adobe PDF | View/Open |
CORE Recommender
SCOPUSTM
Citations
6
checked on Apr 18, 2025
WEB OF SCIENCETM
Citations
3
checked on Apr 12, 2025
Page view(s)
7,020
checked on Apr 21, 2025
Download(s)
404
checked on Apr 21, 2025
Google ScholarTM
Check
Altmetric
Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.