Ferrari, Fabiano C. und Durelli, Vinicius H. S. und Andler, Sten F. und Offutt, Jeff und Saadatmand, Mehrdad und Müllner, Nils (2023) On transforming model-based tests into code: A systematic literature review. Software Testing, Verification and Reliability, 33 (8), e1860. Wiley. doi: 10.1002/stvr.1860. ISSN 0960-0833.
![]() |
PDF
- Nur DLR-intern zugänglich
- Verlagsversion (veröffentlichte Fassung)
1MB |
Offizielle URL: https://onlinelibrary.wiley.com/doi/full/10.1002/stvr.1860
Kurzfassung
Model-based test design is increasingly being applied in practice and studied in research. Model-based testing (MBT) exploits abstract models of the software behaviour to generate abstract tests, which are then transformed into concrete tests ready to run on the code. Given that abstract tests are designed to cover models but are run on code (after transformation), the effectiveness of MBT is dependent on whether model coverage also ensures coverage of key functional code. In this article, we investigate how MBT approaches generate tests from model specifications and how the coverage of tests designed strictly based on the model translates to code coverage. We used snowballing to conduct a systematic literature review. We started with three primary studies, which we refer to as the initial seeds. At the end of our search iterations, we analysed 30 studies that helped answer our research questions. More specifically, this article characterizes how test sets generated at the model level are mapped and applied to the source code level, discusses how tests are generated from the model specifications, analyses how the test coverage of models relates to the test coverage of the code when the same test set is executed and identifies the technologies and software development tasks that are on focus in the selected studies. Finally, we identify common characteristics and limitations that impact the research and practice of MBT: (i) some studies did not fully describe how tools transform abstract tests into concrete tests, (ii) some studies overlooked the computational cost of model-based approaches and (iii) some studies found evidence that bears out a robust correlation between decision coverage at the model level and branch coverage at the code level. We also noted that most primary studies omitted essential details about the experiments.
elib-URL des Eintrags: | https://elib.dlr.de/199845/ | ||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dokumentart: | Zeitschriftenbeitrag | ||||||||||||||||||||||||||||
Titel: | On transforming model-based tests into code: A systematic literature review | ||||||||||||||||||||||||||||
Autoren: |
| ||||||||||||||||||||||||||||
Datum: | 7 September 2023 | ||||||||||||||||||||||||||||
Erschienen in: | Software Testing, Verification and Reliability | ||||||||||||||||||||||||||||
Referierte Publikation: | Ja | ||||||||||||||||||||||||||||
Open Access: | Nein | ||||||||||||||||||||||||||||
Gold Open Access: | Nein | ||||||||||||||||||||||||||||
In SCOPUS: | Ja | ||||||||||||||||||||||||||||
In ISI Web of Science: | Ja | ||||||||||||||||||||||||||||
Band: | 33 | ||||||||||||||||||||||||||||
DOI: | 10.1002/stvr.1860 | ||||||||||||||||||||||||||||
Seitenbereich: | e1860 | ||||||||||||||||||||||||||||
Verlag: | Wiley | ||||||||||||||||||||||||||||
ISSN: | 0960-0833 | ||||||||||||||||||||||||||||
Status: | veröffentlicht | ||||||||||||||||||||||||||||
Stichwörter: | Software Testing Snowballing Literature Review | ||||||||||||||||||||||||||||
HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||||||||||||||
HGF - Programm: | Raumfahrt | ||||||||||||||||||||||||||||
HGF - Programmthema: | Kommunikation, Navigation, Quantentechnologien | ||||||||||||||||||||||||||||
DLR - Schwerpunkt: | Raumfahrt | ||||||||||||||||||||||||||||
DLR - Forschungsgebiet: | R KNQ - Kommunikation, Navigation, Quantentechnologie | ||||||||||||||||||||||||||||
DLR - Teilgebiet (Projekt, Vorhaben): | R - Software Engineering und Qualitätssicherung (SeQu) | ||||||||||||||||||||||||||||
Standort: | Braunschweig | ||||||||||||||||||||||||||||
Institute & Einrichtungen: | Institut für Verkehrssystemtechnik > Verifikation und Validierung, BS | ||||||||||||||||||||||||||||
Hinterlegt von: | Müllner, Nils Henning | ||||||||||||||||||||||||||||
Hinterlegt am: | 15 Dez 2023 13:38 | ||||||||||||||||||||||||||||
Letzte Änderung: | 15 Dez 2023 13:38 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags