Model-based testing of post-wimp interactions using object oriented petri-nets

dc.contributor.author Navarre,D en
dc.contributor.author Canny,A en
dc.contributor.author José Creissac Campos en
dc.contributor.author Palanque,PA en
dc.contributor.other 5599 en
dc.date.accessioned 2020-09-27T23:25:37Z
dc.date.available 2020-09-27T23:25:37Z
dc.date.issued 2019 en
dc.description.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 expressive 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 generate test cases that go beyond the state of the art by addressing the MBT of advanced interaction techniques in post-WIMP applications. © Springer Nature Switzerland AG 2020. en
dc.identifier.uri http://repositorio.inesctec.pt/handle/123456789/11608
dc.identifier.uri http://dx.doi.org/10.1007/978-3-030-54994-7_35 en
dc.language eng en
dc.rights info:eu-repo/semantics/openAccess en
dc.title Model-based testing of post-wimp interactions using object oriented petri-nets en
dc.type Publication en
dc.type conferenceObject en
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
P-00S-N0A.pdf
Size:
581.87 KB
Format:
Adobe Portable Document Format
Description: