Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
- 2.
A video of Cornidroid in action is available online: https://youtu.be/YNxxV8hIIzY.
References
Android: Core app quality (2017). https://developer.android.com/develop/quality-guidelines/core-app-quality.html. Accessed 5 May 2017
Android: User interface guidelines (2017). https://developer.android.com/guide/practices/ui_guidelines/index.html. Accessed 7 May 2017
Apple: Apple iOS human interface guidelines (2017). https://developer.apple.com/ios/human-interface-guidelines/. Accessed 7 May 2017
Chircop, L., Colombo, C., Pace, G.J.: Device-centric monitoring for mobile device management. In: Kofron, J., Tumova, J., Buhnova, B. (eds.) Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA@ETAPS 2016. EPTCS, Eindhoven, The Netherlands, 3rd April 2016, vol. 205, pp. 31–44 (2016)
Daian, P., Falcone, Y., Meredith, P., Şerbănuţă, T.F., Shiriashi, S., Iwai, A., Rosu, G.: RV-android: efficient parametric android runtime verification, a brief tutorial. In: Bartocci, E., Majumdar, R. (eds.) RV 2015. LNCS, vol. 9333, pp. 342–357. Springer, Cham (2015). doi:10.1007/978-3-319-23820-3_24
Hallé, S., Bergeron, N., Guérin, F., Le Breton, G., Beroual, O.: Declarative layout constraints for testing web applications. J. Log. Algebr. Meth. Program. 85(5), 737–758 (2016)
Hallé, S., Villemaire, R.: Runtime enforcement of web service message contracts with data. IEEE Trans. Serv. Comput. 5(2), 192–206 (2012)
Microsoft Corporation: The Windows Interface: An Application Design Guide. Microsoft Press, Redmond (1992)
The GNOME Project: GNOME human interface guidelines (2017). https://developer.gnome.org/hig/stable/. Accessed 7 May 2017
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Meniar, C., Opalvens, F., Hallé, S. (2017). Runtime Verification of User Interface Guidelines in Mobile Devices. In: Lahiri, S., Reger, G. (eds) Runtime Verification. RV 2017. Lecture Notes in Computer Science(), vol 10548. Springer, Cham. https://doi.org/10.1007/978-3-319-67531-2_27
Download citation
DOI: https://doi.org/10.1007/978-3-319-67531-2_27
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-67530-5
Online ISBN: 978-3-319-67531-2
eBook Packages: Computer ScienceComputer Science (R0)