Runtime Verification of User Interface Guidelines in Mobile Devices

被引：1
|
作者：
Meniar, Chafik [1 ]
Opalvens, Florence [1 ,2 ]
Halle, Sylvain [1 ]
机构：
[1] Univ Quebec Chicoutimi, Lab Informat Formelle, Chicoutimi, PQ, Canada
[2] Univ Strasbourg, Strasbourg, France
来源：
RUNTIME VERIFICATION (RV 2017) | 2017年 / 10548卷
关键词：
D O I：
10.1007/978-3-319-67531-2_27
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The design of the user interface of a modern application needs to follow a set of guidelines, codified in a document published by the maintainers of a particular operating system. These guidelines are intended to ensure a minimum level of quality and consistency across applications. Unfortunately, checking compliance with respect to these guidelines is left to the application developer, and is generally done by manual testing. In this paper, we present a methodology, based on runtime verification, for the automated testing of user interface guidelines of Android applications.
引用
收藏
页码：410 / 415
页数：6
相关论文
共 50 条
  • [1] An XML-based runtime user interface description language for mobile computing devices
    Expertise Centre for Digital Media, Limburgs Universitair Centrum, Wetenschapspark 2, B-3590 Diepenbeek-Belgium, Belgium
    Lect. Notes Comput. Sci., (1-15):
  • [2] Adaptive user interface for mobile devices
    Mitrovic, N
    Mena, E
    INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION AND VERIFICATION, 2002, 2545 : 29 - 43
  • [3] Downloadable User Interface for Mobile Devices
    Yun, Minhong
    Lee, Jaeho
    Kim, Sunja
    NCM 2008: 4TH INTERNATIONAL CONFERENCE ON NETWORKED COMPUTING AND ADVANCED INFORMATION MANAGEMENT, VOL 2, PROCEEDINGS, 2008, : 422 - 425
  • [4] Usability evaluation of mobile devices user interface
    Aljedaibi, Wajdi
    Bashmail, Reem Mohammed
    NEXO REVISTA CIENTIFICA, 2021, 34 (04): : 1290 - 1300
  • [5] Design & implementation of user interface for mobile devices
    Goyal, D
    Chong, PHJ
    Shum, P
    Tong, YC
    Wang, XY
    Zuo, Y
    Kuek, HW
    ICICS-PCM 2003, VOLS 1-3, PROCEEDINGS, 2003, : 155 - 159
  • [6] Design and implementation of user interface for mobile devices
    Chong, PHJ
    So, PL
    Shum, P
    Li, XJ
    Goyal, D
    IEEE TRANSACTIONS ON CONSUMER ELECTRONICS, 2004, 50 (04) : 1156 - 1161
  • [7] Evaluation of Descriptive User Interface Methodologies for Mobile Devices
    Tschernuth, Michael
    Lettner, Michael
    Mayrhofer, Rene
    COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2011, PT II, 2012, 6928 : 519 - 526
  • [8] Dynamic user interface adaptation for mobile computing devices
    Bisignano, M
    Di Modica, G
    Tomarchio, O
    2005 SYMPOSIUM ON APPLICATIONS AND THE INTERNET WORKSHOPS, PROCEEDINGS, 2005, : 158 - 161
  • [9] An Abstract User Interface Framework for Mobile and Wearable Devices
    Ahlrichs, Claas
    Lawo, Michael
    Iben, Hendrik
    INTERNATIONAL JOURNAL OF AMBIENT COMPUTING AND INTELLIGENCE, 2011, 3 (03) : 28 - 35
  • [10] User Verification on Mobile Devices Using Sequences of Touch Gestures
    Ben Kimon, Liron
    Mirsky, Yisroel
    Rokach, Lior
    Shapira, Bracha
    PROCEEDINGS OF THE 25TH CONFERENCE ON USER MODELING, ADAPTATION AND PERSONALIZATION (UMAP'17), 2017, : 365 - 366
12345