CPT Manager: An Open Environment for Constrained Path-Based Testing

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F25%3A00388273" target="_blank" >RIV/68407700:21230/25:00388273 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1109/ICSTW64639.2025.10962475" target="_blank" >https://doi.org/10.1109/ICSTW64639.2025.10962475</a>

DOI - Digital Object Identifier

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

Jazyk výsledku

angličtina

Název v původním jazyce

CPT Manager: An Open Environment for Constrained Path-Based Testing

Popis výsledku v původním jazyce

Path-based Testing is a common technique to test System Under Test (SUT) processes. Generally, a directed graph that models a system's workflow is input to the test path generation process, as well as the selected test coverage criterion. Several algorithms are proposed in the literature that traverse the graph and facilitate the generation of test cases for the selected coverage criterion. However, a plain directed graph used for modeling SUT processes does not allow for the capture of real-life dependencies and constraints between actions in the tested processes, which might pose a limit in application of this technique. Therefore, we defined an extended model that allows the specification of constraints upon the graph's elements and a set of algorithms that allow the generation of the set of test cases that satisfy the given constraints with the edge coverage. Considering the fact that in path-based testing, there is no platform in which engineers and researchers can share SUT models to be further assembled into open datasets to test performance of evolved path-based testing MBT algorithms, especially for the given problem of test paths generation with the constraints, this paper presents a summary of the problem and a novel management for creation and management of SUT models with constraints that allows the generation of test paths as well as to serve as a platform for creation of such benchmark datasets.

Název v anglickém jazyce

CPT Manager: An Open Environment for Constrained Path-Based Testing

Popis výsledku anglicky

Path-based Testing is a common technique to test System Under Test (SUT) processes. Generally, a directed graph that models a system's workflow is input to the test path generation process, as well as the selected test coverage criterion. Several algorithms are proposed in the literature that traverse the graph and facilitate the generation of test cases for the selected coverage criterion. However, a plain directed graph used for modeling SUT processes does not allow for the capture of real-life dependencies and constraints between actions in the tested processes, which might pose a limit in application of this technique. Therefore, we defined an extended model that allows the specification of constraints upon the graph's elements and a set of algorithms that allow the generation of the set of test cases that satisfy the given constraints with the edge coverage. Considering the fact that in path-based testing, there is no platform in which engineers and researchers can share SUT models to be further assembled into open datasets to test performance of evolved path-based testing MBT algorithms, especially for the given problem of test paths generation with the constraints, this paper presents a summary of the problem and a novel management for creation and management of SUT models with constraints that allows the generation of test paths as well as to serve as a platform for creation of such benchmark datasets.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

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

Projekt

<a href="/cs/project/LUABA24101" target="_blank" >LUABA24101: DeepMBT: Nová generace testování sofwarových systémů založeného na modelech s využitím umělé inteligence</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2025

Kód důvěrnosti údajů

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

Název statě ve sborníku

IEEE International Conference on Software Testing Verification and Validation Workshops

ISBN

979-8-3315-3467-7

ISSN

2159-4848

e-ISSN

—

Počet stran výsledku

4

Strana od-do

50-53

Název nakladatele

IEEE Xplore

Místo vydání

—

Místo konání akce

Naples

Datum konání akce

31. 3. 2025

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

001483187700008