Model-Based Testing of Interactive Systems

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 LaTeXDraw4 to validate the ability of generated test cases to reveal bugs. [email protected], TELECOM Bretagne, Brest [email protected], INRIA, Rennes [email protected], INRIA, Rennes http://latexdraw.sourceforge.net/