Model Inference and Automatic Testing of Mobile Applications - Université Clermont Auvergne Access content directly
Journal Articles International Journal On Advances in Software Year : 2015

Model Inference and Automatic Testing of Mobile Applications


We consider, in this paper, the problem of automatically testing Mobile applications while inferring formal models expressing their functional behaviours. We propose a framework called MCrawlT, which performs automatic testing through application interfaces and collects interface changes to incrementally infer models expressing the navigational paths and states of the applications under test. These models could be later used for comprehension aid or to carry out some tasks automatically, e.g., the test case generation. The main contributions of this paper can be summarised as follows: we introduce a flexible Mobile application model that allows the definition of state abstraction with regard to the application content. This definition also helps define state equivalence classes that segment the state space domain. Our approach supports different exploration strategies by applying the Ant Colony Optimisation technique. This feature offers the advantage to change the exploration strategy by another one as desired. The performances of MCrawlT in terms of code coverage, execution time, and bug detection are evaluated on 30 Android applications and compared to other tools found in the literature. The results show that MCrawlT achieves significantly better code coverage in a given time budget.
Fichier principal
Vignette du fichier
document.pdf (1.49 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02019691 , version 1 (14-02-2019)


  • HAL Id : hal-02019691 , version 1


Sébastien Salva, Patrice Laurencot. Model Inference and Automatic Testing of Mobile Applications. International Journal On Advances in Software, 2015. ⟨hal-02019691⟩
69 View
106 Download


Gmail Facebook X LinkedIn More