Please use this identifier to cite or link to this item:
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.
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
Show full item record

CORE Recommender


checked on Apr 5, 2024


checked on May 24, 2024

Page view(s)

checked on May 20, 2024


checked on May 20, 2024

Google ScholarTM



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