OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Canny, Alexandre and Navarre, David and Campos, José Creissac and Palanque, Philippe Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-nets. (2020) In: International Workshop on Formal Methods for Interactive Systems (FMIS 2019), 7 October 2019 - 11 October 2019 (Porto, Portugal).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.1007/978-3-030-54994-7_35


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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in volume 12232 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN 978-3-030-54993-0 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-030-54994-7_35
HAL Id:hal-02942303
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Universidade do Minho (PORTUGAL)
Laboratory name:
Deposited On:04 Sep 2020 09:53

Repository Staff Only: item control page