MobiGolog: formal task modelling for testing user gestures interaction in mobile applications

Multi-touch gestures like swipe and pinch have introduced a new interaction paradigm that is currently used in developing mobile applications. Such applications can include different user gestures that cause different results for different interactions with the same user interface element. Testing such user interaction is complex. We present a formal task-based approach to automate testing of user gestures in mobile applications. In previous work, we used TaMoGolog, a formal task modelling language built on the top of the Golog family of high-level programming languages, for evaluating user interfaces along the development process. In this work, we present MobiGolog that extends TaMoGolog to support the testing of users’ multi-touch gestures in the developing and developed mobile applications.

[1]  Tiziana Catarci,et al.  Task-based User-System Interaction , 2011, KI - Künstliche Intelligenz.

[2]  Shah Rukh Humayoun.  Incorporating Usability Evaluation in Software Development Environments , 2012, KI - Künstliche Intelligenz.

[3]  Giuseppe De Giacomo,et al.  Situation Calculus Based Programs for Representing and Reasoning about Game Structures , 2010, KR.

[4]  Mika Katara,et al.  Experiences of System-Level Model-Based GUI Testing of an Android Application , 2011, 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation.

[5]  Tiziana Catarci,et al.  A dynamic framework for multi-view task modeling , 2011, CHItaly.

[6]  Fabio Paternò,et al.  Remote Evaluation of Mobile Applications , 2007, TAMODIA.

[7]  Yael Dubinsky,et al.  Challenges and research questions for testing in mobile development: report on a mobile testing activity , 2013, MobileDeLi '13.

[8]  Gregor Buchholz,et al.  Model-Based Usability Evaluation - Evaluation of Tool Support , 2007, HCI.

[9]  Thad Starner,et al.  MAGIC summoning: towards automatic suggesting and testing of gestures with low probability of false positives during use , 2013, J. Mach. Learn. Res..

[10]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[11]  Tiziana Catarci,et al.  Tamulator: A tool to manage task model-based usability evaluation in development environments , 2011 .

[12]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[13]  Tiziana Catarci,et al.  A model-based approach to ongoing product evaluation , 2012, AVI.

[14]  Porfirio Tramontana,et al.  A GUI Crawling-Based Technique for Android Mobile Application Testing , 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

[15]  Fabio Paternò,et al.  ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models , 1997, INTERACT.

[16]  Anke Dittmar,et al.  Task models as basis for requirements engineering and software execution , 2004, TAMODIA '04.