Logo des Repositoriums
 

Incremental Software Product Line Verification - A Performance Analysis with Dead Variable Code

dc.contributor.authorKröher, Christian
dc.contributor.authorFlöter, Moritz
dc.contributor.authorGerling, Lea
dc.contributor.authorSchmid, Klaus
dc.contributor.editorEngels, Gregor
dc.contributor.editorHebig, Regina
dc.contributor.editorTichy, Matthias
dc.date.accessioned2023-01-18T13:38:44Z
dc.date.available2023-01-18T13:38:44Z
dc.date.issued2023
dc.description.abstractIn this work, we summarize our journal paper published in Empirical Software Engineering (EMSE) in 2022 [Kr22]. Verification approaches for Software Product Lines (SPL) aim at detecting variability-related defects and inconsistencies. In general, these analyses take a significant amount of time to provide complete results for an entire, complex SPL. If the SPL evolves, these results potentially become invalid, which requires a time-consuming re-verification of the entire SPL for each increment. However, in previous work we showed that variability-related changes occur rather infrequently and typically only affect small parts of a SPL. In this paper, we utilize this observation and present an incremental dead variable code analysis as an example for incremental SPL verification, which achieves significant performance improvements. It explicitly considers changes and partially updates its previous results by re-verifying changed artifacts only. We apply this approach to the Linux kernel demonstrating that our fastest incremental strategy takes only 3.20 seconds or less for most of the changes, while the non-incremental approach takes 1,020 seconds in median. We also discuss the impact of different variants of our strategy on the overall performance, providing insights into optimizations that are worthwhile.en
dc.identifier.isbn978-3-88579-726-5
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/40092
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofSoftware Engineering 2023
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-332
dc.subjectSoftware product line analysis
dc.subjectEvolution
dc.subjectIncremental verification
dc.subjectDead variable code analysis
dc.titleIncremental Software Product Line Verification - A Performance Analysis with Dead Variable Codeen
dc.typeText/Conference Paper
gi.citation.endPage80
gi.citation.publisherPlaceBonn
gi.citation.startPage79
gi.conference.date20.–24. Februar 2023
gi.conference.locationPaderborn
gi.conference.sessiontitleWissenschaftliches Hauptprogramm

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
paper26.pdf
Größe:
188.29 KB
Format:
Adobe Portable Document Format