Skip to Main content Skip to Navigation
Conference papers

Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-nets

Abstract : Model-Based Testing (MBT) relies on models of a System Under Test (SUT) to derive test cases for said system. While Finite State Machine (FSM), workflow, etc. are widely used to derive test cases for WIMP applications (i.e. applications depending on 2D widgets such as menus and icons), these notations lack the ex-pressive power to describe the interaction techniques and behaviors found in post-WIMP applications. In this paper, we aim at demonstrating that thanks to ICO, a formal notation for describing interactive systems, it is possible to gener-ate test cases that go beyond the state of the art by addressing the MBT of ad-vanced interaction techniques in post-WIMP applications.
Complete list of metadata

Cited literature [33 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Thursday, September 17, 2020 - 4:58:23 PM
Last modification on : Monday, July 4, 2022 - 9:12:53 AM
Long-term archiving on: : Thursday, December 3, 2020 - 10:23:11 AM


Files produced by the author(s)



Alexandre Canny, David Navarre, José Creissac Campos, Philippe Palanque. Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-nets. International Workshop on Formal Methods for Interactive Systems (FMIS 2019), Oct 2019, Porto, Portugal. pp.486-502, ⟨10.1007/978-3-030-54994-7_35⟩. ⟨hal-02942303⟩



Record views


Files downloads