A New Method to Analyze Graphical User Interfaces of Android Applications

Hong Le; Ninh Truong

Context-Aware Systems and Applications. 5th International Conference, ICCASA 2016, Thu Dau Mot, Vietnam, November 24-25, 2016, Proceedings

Research Article

A New Method to Analyze Graphical User Interfaces of Android Applications

Download

219 downloads

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.1007/978-3-319-56357-2_12,
    author={Hong Le and Ninh Truong},
    title={A New Method to Analyze Graphical User Interfaces of Android Applications},
    proceedings={Context-Aware Systems and Applications. 5th International Conference, ICCASA 2016, Thu Dau Mot, Vietnam, November 24-25, 2016, Proceedings},
    proceedings_a={ICCASA},
    year={2017},
    month={6},
    keywords={GUI specification Event-B Android applications},
    doi={10.1007/978-3-319-56357-2_12}
}

Hong Le
Ninh Truong
Year: 2017
A New Method to Analyze Graphical User Interfaces of Android Applications
ICCASA
Springer
DOI: 10.1007/978-3-319-56357-2_12

Hong Le¹^,*, Ninh Truong²^,*

1: Hanoi University of Mining and Geology
2: VNU - University of Engineering and Technology

*Contact email: lehonganh@humg.edu.vn, thuantn@vnu.edu.vn

Abstract

In recent years, the number of Android smartphones increase dramatically and new applications are added numerously in Google store. Android developers usually have to deal with the difficulties such as limited capacity battery, screen design, and limited resources. Among them, specifying graphical user interfaces (GUI) of an application is one of the most important issues. This paper presents a new method to analyze GUI specifications of an Android application. We employ Event-B formal method and its refinement mechanism to formalize the specifications and to check if the constraints are satisfied. A running example of a Note application is given to illustrate the proposed method in detail.

Keywords: GUI specification Event-B Android applications

Published: 2017-06-05
Appears in: SpringerLink

: http://dx.doi.org/10.1007/978-3-319-56357-2_12