Decomposition-Based Approach for Model-Based Test Generation
Result description
Model-based test generation by model checking is a well-known testing technique that, however, suffers from the state explosion problem of model checking and it is, therefore, not always applicable. In this paper, we address this issue by decomposing a system model into suitable subsystem models separately analyzable. Our technique consists in decomposing that portion of a system model that is of interest for a given testing requirement, into a tree of subsystems by exploiting information on model variable dependency. The technique generates tests for the whole system model by merging tests built from those subsystems. We measure and report effectiveness and efficiency of the proposed decomposition-based test generation approach, both in terms of coverage and time.
Keywords
decompositionstate explosion problemmodel checkingtest case generationmodel-based testing
The result's identifiers
Result code in IS VaVaI
Result on the web
https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=EcCXE0DMVe
DOI - Digital Object Identifier
Alternative languages
Result language
angličtina
Original language name
Decomposition-Based Approach for Model-Based Test Generation
Original language description
Model-based test generation by model checking is a well-known testing technique that, however, suffers from the state explosion problem of model checking and it is, therefore, not always applicable. In this paper, we address this issue by decomposing a system model into suitable subsystem models separately analyzable. Our technique consists in decomposing that portion of a system model that is of interest for a given testing requirement, into a tree of subsystems by exploiting information on model variable dependency. The technique generates tests for the whole system model by merging tests built from those subsystems. We measure and report effectiveness and efficiency of the proposed decomposition-based test generation approach, both in terms of coverage and time.
Czech name
—
Czech description
—
Classification
Type
Jimp - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
GA17-12465S: Verification and Bug Hunting for Advanced Software
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
IEEE Transactions on Software Engineering
ISSN
0098-5589
e-ISSN
—
Volume of the periodical
45
Issue of the periodical within the volume
5
Country of publishing house
US - UNITED STATES
Number of pages
14
Pages from-to
507-520
UT code for WoS article
000468230000003
EID of the result in the Scopus database
2-s2.0-85038824754
Basic information
Result type
Jimp - Article in a specialist periodical, which is included in the Web of Science database
OECD FORD
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Year of implementation
2019