Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/6828
Title: Input contract testing of graphical user interfaces
Authors: Tuğlular, Tuğkan
Belli, Fevzi
Linschulte, Michael
Keywords: Event Sequence graphs
Input validation testing
Model-based testing
Security testing
Graphical user interfaces
Publisher: World Scientific Publishing Co. Pte Ltd
Source: Tuğlulur, T., Belli, F., and Linschulte, M. (2016). Input contract testing of graphical user interfaces. International Journal of Software Engineering and Knowledge Engineering, 26(2), 183-215. doi:10.1142/S0218194016500091
Abstract: User inputs are critical for the security, safety, and reliability of software systems. This paper proposes a new concept called user input contracts, which is an integral part of a design-by-contract supplemented development process, and a model-based testing approach to detect violations of user input contracts. The approach generates test cases from an input contract integrated with graph-based model of user interface specification and applies them to the system under consideration. The paper presents a proof-of-concept tool that has been developed and used to validate the approach by experiments. The experiments are conducted on a web-based system for marketing tourist services to analyze input robustness of system under consideration with respect to user input contracts.
URI: http://doi.org/10.1142/S0218194016500091
http://hdl.handle.net/11147/6828
ISSN: 0218-1940
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 
6827.pdfMakale1.26 MBAdobe PDFThumbnail
View/Open
Show full item record



CORE Recommender

SCOPUSTM   
Citations

9
checked on Nov 29, 2024

WEB OF SCIENCETM
Citations

7
checked on Nov 16, 2024

Page view(s)

542
checked on Dec 2, 2024

Download(s)

318
checked on Dec 2, 2024

Google ScholarTM

Check




Altmetric


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