Author:
Kröher Christian,Flöter Moritz,Gerling Lea,Schmid Klaus
Abstract
AbstractVerification 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.
Funder
Bundesministerium für Bildung und Forschung
Universität Hildesheim
Publisher
Springer Science and Business Media LLC
Reference82 articles.
1. Acher M, Collet P, Lahire P, France R (2011) Decomposing feature models: Language, environment, and applications. In: 26th International conference on automated software engineering. IEEE Computer Society, Washington, pp 600–603
2. Acher M, Collet P, Lahire P, France R (2011) Slicing feature models. In: 26th international conference on automated software engineering. IEEE Computer Society, Washington, pp 424–427
3. Adams B, De Schutter K, Tromp H, De Meuter W (2007) The evolution of the linux build system. Electronic Communication of the European Association of Software Science and Technology 8:1–16
4. Aho AV, Lam MS, Sethi R, Ullman JD (2006) Compilers: principles, techniques, and tools, 2nd edn. Addison-Wesley Longman Publishing Co., Inc., Boston
5. Angerer F, Grimmer A, Prähofer H, Grünbacher P (2019) Change impact analysis for maintenance and evolution of variable software systems. Automated Software Engineering 26:1–45
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献