Please use this identifier to cite or link to this item:
https://hdl.handle.net/11147/5520
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Tuğlular, Tuğkan | - |
dc.contributor.author | Linschulte, Michael | - |
dc.contributor.author | Belli, Fevzi | - |
dc.contributor.author | Müftüoğlu, Arda | - |
dc.date.accessioned | 2017-05-16T09:02:12Z | - |
dc.date.available | 2017-05-16T09:02:12Z | - |
dc.date.issued | 2015-07 | - |
dc.identifier.citation | Tuğlular, T., Müftüoğlu, A., Belli, F., and Linschulte, M. (2015). Model-based contract testing of graphical user interfaces. IEICE Transactions on Information and Systems, E98D(7), 1297-1305. doi:10.1587/transinf.2014EDP7364 | en_US |
dc.identifier.issn | 0916-8532 | - |
dc.identifier.uri | http://doi.org/10.1587/transinf.2014EDP7364 | - |
dc.identifier.uri | http://hdl.handle.net/11147/5520 | - |
dc.description.abstract | Graphical User Interfaces (GUIs) are critical for the security, safety and reliability of software systems. Injection attacks, for instance via SQL, succeed due to insufficient input validation and can be avoided if contract-based approaches, such as Design by Contract, are followed in the software development lifecycle of GUIs. This paper proposes a model-based testing approach for detecting GUI data contract violations, which may result in serious failures such as system crash. A contract-based model of GUI data specifications is used to develop test scenarios and to serve as test oracle. The technique introduced uses multi terminal binary decision diagrams, which are designed as an integral part of decision tableaugmented event sequence graphs, to implement a GUI testing process. A case study, which validates the presented approach on a port scanner written in Java programming language, is presented. Copyright © 2015 The Institute of Electronics, Information and Communication Engineers. | en_US |
dc.language.iso | en | en_US |
dc.publisher | Institute of Electronics, Information and Communication Engineers | en_US |
dc.relation.ispartof | IEICE Transactions on Information and Systems | en_US |
dc.rights | info:eu-repo/semantics/openAccess | en_US |
dc.subject | Event Sequence graphs | en_US |
dc.subject | GUI testing | en_US |
dc.subject | Model-based testing | en_US |
dc.subject | Binary decision diagrams | en_US |
dc.subject | Graphical user interfaces | en_US |
dc.title | Model-based contract testing of graphical user interfaces | en_US |
dc.type | Article | en_US |
dc.authorid | TR114656 | en_US |
dc.institutionauthor | Tuğlular, Tuğkan | - |
dc.institutionauthor | Belli, Fevzi | - |
dc.department | İzmir Institute of Technology. Computer Engineering | en_US |
dc.identifier.volume | E98D | en_US |
dc.identifier.issue | 7 | en_US |
dc.identifier.startpage | 1297 | en_US |
dc.identifier.endpage | 1305 | en_US |
dc.identifier.wos | WOS:000359474300004 | en_US |
dc.identifier.scopus | 2-s2.0-84937605366 | en_US |
dc.relation.publicationcategory | Makale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı | en_US |
dc.identifier.doi | 10.1587/transinf.2014EDP7364 | - |
dc.relation.doi | 10.1587/transinf.2014EDP7364 | en_US |
dc.coverage.doi | 10.1587/transinf.2014EDP7364 | en_US |
local.message.claim | 2022-06-03T14:18:16.856+0300 | * |
local.message.claim | |rp00375 | * |
local.message.claim | |submit_approve | * |
local.message.claim | |dc_contributor_author | * |
local.message.claim | |None | * |
dc.identifier.wosquality | Q4 | - |
dc.identifier.scopusquality | Q4 | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.fulltext | With Fulltext | - |
item.openairetype | Article | - |
item.languageiso639-1 | en | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | open | - |
crisitem.author.dept | 03.04. Department of Computer Engineering | - |
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 |
CORE Recommender
SCOPUSTM
Citations
3
checked on Dec 6, 2024
WEB OF SCIENCETM
Citations
3
checked on Nov 16, 2024
Page view(s)
582
checked on Dec 2, 2024
Download(s)
250
checked on Dec 2, 2024
Google ScholarTM
Check
Altmetric
Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.