Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • apa.csl
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems
Czech Technical University in Prague, CZE.
Czech Technical University in Prague, CZE.
Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science (from 2013).ORCID iD: 0000-0001-9051-7609
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
Available from: 2021-02-21 Created: 2021-02-21 Last updated: 2021-04-29Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Ahmed, Bestoun S.

Search in DiVA

By author/editor
Ahmed, Bestoun S.
By organisation
Department of Mathematics and Computer Science (from 2013)
Computer SciencesComputer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 150 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • apa.csl
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf