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
Prioritized Variable-length Test Cases Generation for Finite State Machines
Czech Technical University in Prague, Czech Republic.
Czech Technical University in Prague, Czech Republic.
Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science (from 2013). Czech Technical University in Prague, Czech Republic.ORCID iD: 0000-0001-9051-7609
Czech Technical University in Prague, Czech Republic.
Show others and affiliations
2022 (English)In: Proceedings - 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2022), Institute of Electrical and Electronics Engineers (IEEE), 2022, p. 11-20Conference paper, Published paper (Refereed)
Abstract [en]

Model-based Testing (MBT) is an effective approach for testing when parts of a system-under-test have the characteristics of a finite state machine (FSM). Despite various strategies in the literature on this topic, little work exists to handle special testing situations. More specifically, when concurrently: (1) the test paths can start and end only in defined states of the FSM, (2) a prioritization mechanism that requires only defined states and transitions of the FSM to be visited by test cases is required, and (3) the test paths must be in a given length range, not necessarily of explicit uniform length. This paper presents a test generation strategy that satisfies all these requirements. A concurrent combination of these requirements is highly practical for real industrial testing. Six variants of possible algorithms to implement this strategy are described. Using a mixture of 180 problem instances from real automotive and defense projects and artificially generated FSMs, all variants are compared with a baseline strategy based on an established N-switch coverage concept modification. Various properties of the generated test paths and their potential to activate fictional defects defined in FSMs are evaluated. The presented strategy outperforms the baseline in most problem configurations. Out of the six analyzed variants, three give the best results even though a universal best performer is hard to identify. Depending on the application of the FSM, the strategy and evaluation presented in this paper are applicable both in testing functional and non-functional software requirements. 

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2022. p. 11-20
Keywords [en]
Application programs; Finite automata; Software testing; Testing, Effective approaches; Finite states machine; Model based testing; Path-based; Path-based testing; Prioritization mechanism; Systems under tests; Test Automation; Test case generation; Variable length, Model checking
National Category
Software Engineering Computer Systems
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:kau:diva-91719DOI: 10.1109/ICSTW55395.2022.00017ISI: 000861805200004Scopus ID: 2-s2.0-85133286945OAI: oai:DiVA.org:kau-91719DiVA, id: diva2:1692277
Conference
15th IEEE International Conference on Software Testing, Verification and Validation(ICST),Valencia, Spain,[Digital], April 04-13, 2022.
Funder
Knowledge Foundation, 20200067Available from: 2022-09-01 Created: 2022-09-01 Last updated: 2022-10-25Bibliographically 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)
Software EngineeringComputer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 136 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