Model Based Testing of Interactive Systems

Model Based Testing of Interactive Systems


51 Pages
Downloading requires you to have access to the YouScribe library
Learn all about the services we offer


Niveau: Supérieur, Doctorat, Bac+8
Internship Report Model-Based Testing of Interactive Systems Author : Ankur Saini1 Supervisors: Arnaud Blouin2, Benoit Baudry3 Laboratory : INRIA, Rennes Team: INRIA/Triskell Master Research - Software and Formal Methods (SOCM) TELECOM Bretagne, Brest June 02, 2011 Abstract: In the current era every interactive system provides User Interfaces (UIs) or interaction features. WIMP (Window, Icon, Menu, Pointing device) denotes interactive systems based on mouse and keyboard interactions to manipulate widgets such as windows, menus and dialogue boxes. Post-WIMP interactive systems aim at going beyond these con- cepts to notably reduce the gap between the user and the system. An extensive research on model-based testing of interactive systems has already been done, but all are limited to WIMP interactive systems. This report introduces a novel model-based testing approach for post-WIMP interactive systems. We extend the models provided by the Malai archi- tecture to build test models. Three strategies have been implemented to generate test cases automatically from the test model. Finally, we apply the novel approach to the open-source post-WIMP interactive system LaTeXDraw4 to validate the ability of generated test cases to reveal bugs. , TELECOM Bretagne, Brest , INRIA, Rennes 3Benoit.

  • coverage

  • post-wimp interactive

  • interactive system

  • all-path coverage

  • open-source post-wimp interactive

  • test model

  • wimp



Published by
Reads 62
Language English
Document size 3 MB
Report a problem