Skip to Main content Skip to Navigation
Master Thesis

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.
Complete list of metadata

Cited literature [40 references]  Display  Hide  Download
Contributor : Co-Responsables Du Mri V. Gouranton Et S. Blazy Connect in order to contact the contributor
Submitted on : Friday, October 28, 2011 - 12:14:18 PM
Last modification on : Tuesday, October 5, 2021 - 10:18:03 AM
Long-term archiving on: : Monday, January 30, 2012 - 11:17:03 AM


  • HAL Id : dumas-00636803, version 1



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



Record views


Files downloads