Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems
2020 (English)In: ACM International Conference Proceeding Series, Association for Computing Machinery (ACM), 2020, p. 141-145Conference paper, Published paper (Refereed)
Abstract [en]
To effectively test parts of the Internet of Things (IoT) systems having a character of a state machine, Model-based Testing (MBT) approach can be taken. In MBT, a model of a system is created, and test cases generated automatically from the model, and a number of current strategies exist. In this paper we propose a novel alternative strategy, that concurrently allows to flexibly adjust the preferred length of the generated test cases, as well as to mark the states, in which the test case can start and end. Compared with an intuitive N-switch coverage-based strategy that aims at the same goals, our proposal generates a lower number of shorter test cases with less test step duplications.
Place, publisher, year, edition, pages
Association for Computing Machinery (ACM), 2020. p. 141-145
Keywords [en]
Model-based Testing, Regression Testing, State Machine, Test Automation, Test Case Generation, Automatic test pattern generation, Model checking, Internet of thing (IOT), Model based testing, Optimal model, Test case, Test part, Internet of things
National Category
Computer Sciences Computer Systems
Identifiers
URN: urn:nbn:se:kau:diva-83113DOI: 10.1145/3425329.3425330Scopus ID: 2-s2.0-85097141528ISBN: 9781450387873 (print)OAI: oai:DiVA.org:kau-83113DiVA, id: diva2:1530082
Conference
2nd World Symposium on Software Engineering, WSSE 2020, 25 September 2020 through 27 September 2020
2021-02-212021-02-212021-04-29Bibliographically approved