Model-Based Testing of Interactive Systems - DUMAS - Dépôt Universitaire de Mémoires Après Soutenance
Master Thesis Year : 2011

Model-Based Testing of Interactive Systems

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 concepts 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 architecture 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 LaTeXDraw to validate the ability of generated test cases to reveal bugs.
Fichier principal
Vignette du fichier
Saini.pdf (3.19 Mo) Télécharger le fichier
Loading...

Dates and versions

dumas-00636803 , version 1 (28-10-2011)

Identifiers

  • HAL Id : dumas-00636803 , version 1

Cite

Ankur Saini. Model-Based Testing of Interactive Systems. Software Engineering [cs.SE]. 2011. ⟨dumas-00636803⟩

Collections

MEM-MRI DUMAS
184 View
221 Download

Share

More