Sciweavers

Share
JLP
2016

Variability encoding: From compile-time to load-time variability

3 years 10 months ago
Variability encoding: From compile-time to load-time variability
Many software systems today are configurable. Analyzing configurable systems is challenging, especially as (1) the number of system variants may grow exponentially with the number of configuration options, and (2) often existing analysis tools cannot be used for configurable systems. Recent work proposes to automatically transform compile-time variability into load-time variability—called variability encoding—with the goal of reusing existing analysis tools for analyzing configurable systems and improving analysis performance compared to analyzing all system variants in a bruteforce manner. However, it is not clear whether one can automatically find an efficiently analyzable load-time configurable system for any given compile-time configurable system. Also, for many analyses, we need guarantees that the load-time configurable system precisely encodes the behavior of all system variants that can be statically derived. We address both issues (1) by developing a formal mode...
Alexander von Rhein, Thomas Thüm, Ina Schaefe
Added 06 Apr 2016
Updated 06 Apr 2016
Type Journal
Year 2016
Where JLP
Authors Alexander von Rhein, Thomas Thüm, Ina Schaefer, Jörg Liebig, Sven Apel
Comments (0)
books