Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/71164
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Canny, Alexandre | por |
dc.contributor.author | Navarre, David | por |
dc.contributor.author | Campos, José C. | por |
dc.contributor.author | Palanque, Philippe | por |
dc.date.accessioned | 2021-03-31T19:00:31Z | - |
dc.date.available | 2021-03-31T19:00:31Z | - |
dc.date.issued | 2020 | - |
dc.identifier.citation | Canny A., Navarre D., Campos J.C., Palanque P. (2020) Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets. In: Sekerinski E. et al. (eds) Formal Methods. FM 2019 International Workshops. FM 2019. Lecture Notes in Computer Science, vol 12232. Springer, Cham. https://doi.org/10.1007/978-3-030-54994-7_35 | por |
dc.identifier.isbn | 978-3-030-54993-0 | - |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | https://hdl.handle.net/1822/71164 | - |
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. | por |
dc.description.sponsorship | - (undefined) | por |
dc.language.iso | eng | por |
dc.publisher | Springer | por |
dc.rights | openAccess | por |
dc.subject | Model-Based Testing | por |
dc.subject | Post-WIMP interactive systems | por |
dc.subject | Software testing | por |
dc.title | Model-based testing of post-wimp interactions using object oriented petri-nets | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | https://link.springer.com/chapter/10.1007%2F978-3-030-54994-7_35 | por |
oaire.citationStartPage | 486 | por |
oaire.citationEndPage | 502 | por |
oaire.citationVolume | 12232 LNCS | por |
dc.date.updated | 2021-03-31T15:51:08Z | - |
dc.identifier.doi | 10.1007/978-3-030-54994-7_35 | por |
dc.identifier.eisbn | 978-3-030-54994-7 | - |
sdum.export.identifier | 10222 | - |
sdum.journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | por |
oaire.version | AM | por |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
P-00S-N0A.pdf | 581,87 kB | Adobe PDF | Ver/Abrir |