Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/5520
Title: Model-based contract testing of graphical user interfaces
Authors: Tuğlular, Tuğkan
Linschulte, Michael
Belli, Fevzi
Müftüoğlu, Arda
Keywords: Event Sequence graphs
GUI testing
Model-based testing
Binary decision diagrams
Graphical user interfaces
Publisher: Institute of Electronics, Information and Communication Engineers
Source: 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
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.
URI: http://doi.org/10.1587/transinf.2014EDP7364
http://hdl.handle.net/11147/5520
ISSN: 0916-8532
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 Description SizeFormat 
5520.pdfMakale882.24 kBAdobe PDFThumbnail
View/Open
Show full item record



CORE Recommender

SCOPUSTM   
Citations

3
checked on Mar 22, 2024

WEB OF SCIENCETM
Citations

3
checked on Mar 27, 2024

Page view(s)

406
checked on Mar 25, 2024

Download(s)

172
checked on Mar 25, 2024

Google ScholarTM

Check




Altmetric


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