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 条
  • [41] A Customized User Interface Implementation for 3D Printing Applications on Mobile Devices
    Shine, Daniel
    Baek, Nakhoon
    Kim, Dongjin
    ADVANCED SCIENCE LETTERS, 2016, 22 (09) : 2504 - 2508
  • [42] SLAN Based User-Customized Cloud Interface Sharing for Smart Mobile Devices
    Park, Sanghyun
    Kim, Jisu
    Kim, Jinsul
    MOBILE AND WIRELESS TECHNOLOGY 2015, 2015, 310 : 207 - 211
  • [43] SemFeel: A User Interface with Semantic Tactile Feedback for Mobile Touch-screen Devices
    Yatani, Koji
    Truong, Khai N.
    UIST 2009: PROCEEDINGS OF THE 22ND ANNUAL ACM SYMPOSIUM ON USER INTERFACE SOFTWARE AND TECHNOLOGY, 2009, : 111 - 120
  • [44] Evaluation of User Interface Design and Input Methods for Applications on Mobile Touch Screen Devices
    Balagtas-Fernandez, Florence
    Forrai, Jenny
    Hussmann, Heinrich
    HUMAN-COMPUTER INTERACTION - INTERACT 2009, PT I, 2009, 5726 : 243 - 246
  • [45] Cross platform solution of communication and voice/graphical user interface for mobile devices in vehicles
    Nemeth, Geza
    Kiss, Geza
    Toth, Balint
    ADVANCES FOR IN-VEHICLE AND MOBILE SYSTEMS: CHALLENGES FOR INTERNATIONAL STANDARDS, 2007, : 237 - 250
  • [46] Hacking in the Blind: (Almost) Invisible Runtime User Interface Attacks
    Malisa, Luka
    Kostiainen, Kari
    Knell, Thomas
    Sommer, David
    Capkun, Srdjan
    CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS - CHES 2017, 2017, 10529 : 468 - 489
  • [47] OpenUIDL, A User Interface Description Language for Runtime Omni-Channel User Interfaces
    Moldovan A.
    Nicula V.
    Pasca I.
    Popa M.
    Namburu J.K.
    Oros A.
    Brie P.
    Proceedings of the ACM on Human-Computer Interaction, 2020, 4 (EICS)
  • [48] Online Signature Verification on Mobile Devices
    Sae-Bae, Napa
    Memon, Nasir
    IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, 2014, 9 (06) : 933 - 947
  • [49] Equivalent representations of multimodal user interfaces: Runtime Reification of Abstract User Interface Descriptions
    Van Hees K.
    Engelen J.
    van Hees, K. (kris@alchar.org), 1600, Springer Verlag (12): : 339 - 368
  • [50] Musical Control Gestures in Mobile Handheld Devices: Design Guidelines Informed by Daily User Experience
    Clement, Alexandre
    Moreira, Luciano
    Rosa, Miriam
    Bernardes, Gilberto
    MULTIMODAL TECHNOLOGIES AND INTERACTION, 2021, 5 (07)
12345