Model-Based Testing with TorXakis: The Mysteries of Dropbox Revisited
2019 (English)In: Central European Conference On Information And Intelligent Systems (CECIIS 2019) / [ed] Vjeran Strahonja; Dieter Hertweck; Valentina Kirinić, Varaždin: Faculty of Organization and Informatics Varaždin, University of Zagreb , 2019, p. 247-258Conference paper, Published paper (Refereed)
Abstract [en]
Model-based testing is one of the promising technologies to increase the efficiency and effectiveness of software testing. This paper discusses model-based testing in general, it presents the model-based testing tool TORXAKIS, and it shows how TORXAKIS was applied to test a file synchronization system, Dropbox, revisiting an experiment presented in (Hughes, Pierce, Arts, & Norell, 2016).
Place, publisher, year, edition, pages
Varaždin: Faculty of Organization and Informatics Varaždin, University of Zagreb , 2019. p. 247-258
Series
Central European Conference on Information and Intelligent Systems, ISSN 1847-2001, E-ISSN 1848-2295
Keywords [en]
software testing, model-based testing, modelling, test tool
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:hh:diva-52315ISI: 000853435300031OAI: oai:DiVA.org:hh-52315DiVA, id: diva2:1822454
Conference
30th Central European Conference on Information and Intelligent Systems (CECIIS 2019), Varaždin, Croatia, October 2-4, 2019
Projects
SUMBAT – Supersizing Model-Based Testing
Note
Funding: NWO-TTW
2023-12-222023-12-222023-12-22Bibliographically approved