Premium
A lightweight framework for dynamic GUI data verification based on scripts
Author(s) -
Mateo Navarro Pedro Luis,
Ruiz Diego Sevilla,
Pérez Gregorio Martínez
Publication year - 2016
Publication title -
software testing, verification and reliability
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.216
H-Index - 49
eISSN - 1099-1689
pISSN - 0960-0833
DOI - 10.1002/stvr.1579
Subject(s) - computer science , scripting language , graphical user interface , programming language , runtime verification , functional verification , robustness (evolution) , software engineering , verification , python (programming language) , software verification , formal verification , software , software development , software construction , biochemistry , chemistry , gene
Summary Runtime verification (RV) provides essential mechanisms to enhance software robustness and prevent malfunction. However, RV often entails complex and formal processes that could be avoided in scenarios in which only invariants or simple safety properties are verified, for example, when verifying input data in Graphical User Interfaces (GUIs). This paper describes S‐DAVER, a lightweight framework aimed at supporting separate data verification in GUIs. All the verification processes are encapsulated in an independent layer and then transparently integrated into an application. The verification rules are specified in separate files and written in interpreted languages to be changed/reloaded at runtime without recompilation. Superimposed visual feedback is used to assist developers during the testing stage and to improve the experience of users during execution. S‐DAVER provides a lightweight, easy‐to‐integrate and dynamic verification framework for GUI data. It is an integral part of the development, testing and execution stages. An implementation of S‐DAVER was successfully integrated into existing open‐source applications, with promising results. Copyright © 2015 John Wiley & Sons, Ltd.