RT Journal Article
T1 A formal approach to automatically analyse extra-functionalproperties in mobile applications.
A1 Espada Sandi, Ana Rosario
A1 Gallardo-Melgarejo, María del Mar
A1 Salmerón, Alberto
A1 Panizo-Jaime, Laura
A1 Merino-Gómez, Pedro
K1 Programas de aplicación - Desarrollo
K1 Soporte lógico - Verificación
AB This  paper presents  an  integrated  approach  for  testing  mobile  applications  (apps)  against  a set  of  extra-functional  properties  to  be  used  by  app  developers.  The  approach  starts  with  the  (manual  or  automatic)extraction of the interaction model, that is, a formal model of the potential user interactions with the app.The model is constructed to allow a model checking tool to exhaustively extract the so-called app user flows, that  is,  the  sequences  of  user  actions,  that  constitute  the  test  cases.  In  the  final  step,  the  app  user  flows are executed on the app running on real devices. The resulting execution traces are enriched with different measures and verified against a set of extra-functional properties of interest. The approach has been adapted to analyse several applications running at the same time with several devices supporting the applications.This paper presents the definition and formalization of both the modelling language for the interaction model and the specification language to represent the extra-functional properties. It also describes a methodology for automatically extracting the model. Finally, it presents an implementation focused on Android apps, which is integrated in the TRIANGLE testing framework, and the evaluation of the approach.
PB Wiley
YR 2019
FD 2019-06-14
LK https://hdl.handle.net/10630/31080
UL https://hdl.handle.net/10630/31080
LA eng
NO Rosario Espada A, del Mar Gallardo M, Salmerón A, Panizo L, Merino P. A formal approach to automatically analyse extra-functional properties in mobile applications. Softw Test Verif Reliab. 2019; 29:e1699. https://doi.org/10.1002/stvr.1699
NO Work  is  partially  supported  by  the  Spanish  Ministry  of  Economy  and  Competitiveness projectTIN2015-67083-R. This project has received funding from the European Union’s Horizon 2020research and innovation programme under grant agreement no. 688712 (TRIANGLE project).
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 24 ene 2026