On Graphical User Interface Verification

Abdulaziz Alkhalid, Yvan Labiche

2018

Abstract

Graphical User Interface (GUI) testing, for instance by means of capture and replay tools, is computationally expensive. In this paper, we present an approach for GUI verification that is not GUI (verification) testing. Using this approach, we study the input provided by an actor to the GUI and the output of the GUI to the underlying functionality. We also verify relations between those inputs and outputs. We describe the approach and discuss some first steps towards its validation in terms of fault detection using a real, though simple GUI-based software as well as a synthetic GUI-based software.

Download


Paper Citation


in Harvard Style

Alkhalid A. and Labiche Y. (2018). On Graphical User Interface Verification.In Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-320-9, pages 373-380. DOI: 10.5220/0006916603730380


in Bibtex Style

@conference{icsoft18,
author={Abdulaziz Alkhalid and Yvan Labiche},
title={On Graphical User Interface Verification},
booktitle={Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2018},
pages={373-380},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006916603730380},
isbn={978-989-758-320-9},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - On Graphical User Interface Verification
SN - 978-989-758-320-9
AU - Alkhalid A.
AU - Labiche Y.
PY - 2018
SP - 373
EP - 380
DO - 10.5220/0006916603730380