Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F22%3A00362687" target="_blank" >RIV/68407700:21230/22:00362687 - isvavai.cz</a>

Result on the web

<a href="https://doi.org/10.1109/ICSTW55395.2022.00044" target="_blank" >https://doi.org/10.1109/ICSTW55395.2022.00044</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/ICSTW55395.2022.00044" target="_blank" >10.1109/ICSTW55395.2022.00044</a>

Result language

angličtina

Original language name

Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs

Original language description

Test Coverage criteria are an essential concept for test engineers when generating the test cases from a System Under Test model. They are routinely used in test case generation for user interfaces, middleware, and back-end system parts for software, electronics, or Internet of Things (IoT) systems. Test Coverage criteria define the number of actions or combinations by which a system is tested, informally determining a potential "strength" of a test set. As no previous study summarized all commonly used test coverage criteria for Finite State Machines and comprehensively discussed them regarding their subsumption, equivalence, or non-comparability, this paper provides this overview. In this study, 14 most common test coverage criteria and seven of their synonyms for Finite State Machines defined via a directed graph are summarized and compared. The results give researchers and industry testing engineers a helpful overview when setting a software-based or IoT system test strategy.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/EF16_019%2F0000765" target="_blank" >EF16_019/0000765: Research Center for Informatics</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Publication year

2022

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proceedings of 2022 IEEE 15th International Conference on Software Testing, Verification and Validation Workshop

ISBN

978-1-6654-9628-5

ISSN

2159-4848

e-ISSN

—

Number of pages

8

Pages from-to

207-214

Publisher name

IEEE Computer Society

Place of publication

Cannes

Event location

Virtual Event

Event date

Apr 4, 2022

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

000861805200031