English

A High-Level Modeling Language for the Efficient Design, Implementation, and Testing of Android Applications

Software Engineering 2015-08-11 v1

Abstract

Developing mobile applications remains difficult, time consuming, and error-prone, in spite of the number of existing platforms and tools. In this paper, we define MoDroid, a high-level modeling language to ease the development of Android applications. MoDroid allows developing models representing the core of applications. MoDroid provides Android programmers with the following advantages: (1) Models are built using high-level primitives that abstract away several implementation details; (2) It allows the definition of interfaces between models to automatically compose them; (3) Java native android can be automatically generated along with the required permissions; (4) It supports efficient model-based testing that operates on models. MoDroid is fully implemented and was used to develop several non-trivial Android applications.

Keywords

Cite

@article{arxiv.1508.02153,
  title  = {A High-Level Modeling Language for the Efficient Design, Implementation, and Testing of Android Applications},
  author = {John Abou-Jaoudeh and Kinan Dak-Al-Bab and Mostafa El-Katerji and Yliès Falcone and Mohamad Jaber},
  journal= {arXiv preprint arXiv:1508.02153},
  year   = {2015}
}

Comments

12 pages

R2 v1 2026-06-22T10:29:44.646Z