Advances in quantitative software product line analysis
ISSN der Zeitschrift
Software-engineering and management 2015
Gesellschaft für Informatik e.V.
The quantitative analysis of software is important, e.g., for energy-aware systems having constraints on energy consumption while guaranteeing a certain degree of utility. Analyzing software product lines is challenging due to the possibly exponential number of feature combinations. This paper sketches new approaches using probabilistic model checking for a quantitative analysis of software product lines and the integration of such into the software development process.