Autorinnen und Autoren | Christian Kröher, Moritz Flöter, Lea Kristin Gerling und Klaus Schmid |
Titel | Incremental Software Product Line Verification - A Performance Analysis with Dead Variable Code |
Publikationsart | Beitrag zu einer Tagung / Konferenz |
Herausgebende Einrichtung / Verlag | Gesellschaft für Informatik e.V. |
Adresse | Bonn, Germany |
Titel des Buches | Software Engineering 2023 |
Band | P-332 |
Jahr | 2023 |
Seiten | 79-80 |
Webadresse (URL) | https://dl.gi.de/20.500.12116/40092 |
Zusammenfassung |
In 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 detectingvariability-related defects and inconsistencies. In general, these analyses take a significant amountof time to provide complete results for an entire, complex SPL. If the SPL evolves, these resultspotentially become invalid, which requires a time-consuming re-verification of the entire SPL foreach increment. However, in previous work we showed that variability-related changes occur rather infrequently andtypically only affect small parts of a SPL. In this paper, we utilize this observation and presentan incremental dead variable code analysis as an example for incremental SPL verification, whichachieves significant performance improvements. It explicitly considers changes and partially updatesits previous results by re-verifying changed artifacts only. We apply this approach to the Linuxkernel demonstrating that our fastest incremental strategy takes only 3.20 seconds or less for most ofthe changes, while the non-incremental approach takes 1,020 seconds in median. We also discussthe impact of different variants of our strategy on the overall performance, providing insights intooptimizations that are worthwhile. |