A new test modeling language for interactive applications based on task trees

Designing interactive applications is a complex and error-prone activity, because of the importance of the human-computer interaction aspect. For the same reason, thoroughly testing such applications is particularly important and requires a lot of effort. Automating this activity can result to significant development cost reduction and quality improvement. This paper presents a research work aiming at defining a test modeling language for interactive applications based on task trees, called TTT. The objective of the TTT language is to provide a means for expressing abstract test scenarios for interactive applications, including non-deterministic choices and action occurrence probabilities that can be used to automate the test generation.

[1]  John D. Musa,et al.  Operational profiles in software-reliability engineering , 1993, IEEE Software.

[2]  Ioannis Parissis,et al.  Automatically testing interactive applications using extended task trees , 2009, J. Log. Algebraic Methods Program..

[3]  Atif M. Memon,et al.  Introducing a test suite similarity metric for event sequence-based test cases , 2009, 2009 IEEE International Conference on Software Maintenance.

[4]  Leonardo Mariani,et al.  AutoBlackTest: a tool for automatic black-box testing , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[5]  Lydie du Bousquet,et al.  Expressing and implementing operational profiles for reactive software validation , 1998, Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257).

[6]  Myra B. Cohen,et al.  GUI Interaction Testing: Incorporating Event Context , 2011, IEEE Transactions on Software Engineering.

[7]  Ann Blandford,et al.  Four easy pieces for assessing the usability of multimodal interaction: the CARE properties , 1995, INTERACT.

[8]  José Creissac Campos,et al.  Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees , 2008, Electron. Notes Theor. Comput. Sci..

[9]  Margus Veanes,et al.  Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer , 2008, Formal Methods and Testing.

[10]  Laurence Nigay,et al.  Formal Testing of Multimodal Interactive Systems , 2008, EHCI/DS-VIS.

[11]  Ioannis Parissis,et al.  Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs , 2006, 2006 17th International Symposium on Software Reliability Engineering.

[12]  Fabio Paternò,et al.  CTTE: Support for Developing and Analyzing Task Models for Interactive System Design , 2002, IEEE Trans. Software Eng..