TY  - CHAP
SN  - 978-3-642-54804-8
SP  - 94
T2  - Fundamental Approaches to Software Engineering
A1  - Kowal, Matthias
A1  - Schaefer, Ina
A1  - Tribastone, Mirco
TI  - Family-based performance analysis of variant-rich software systems
T3  - Lecture Notes in Computer Science
EP  - 108
PB  - Springer
N1  - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
UR  - http://dx.doi.org/10.1007/978-3-642-54804-8_7
AV  - none
Y1  - 2014///
ID  - eprints2592
N2  - We study models of software systems with variants that stem from a specific choice of configuration parameters with a direct impact on performance properties. Using UML activity diagrams with quantitative annotations, we model such systems as a product line. The efficiency of a product-based evaluation is typically low because each product must be analyzed in isolation, making difficult the re-use of computations across variants. Here, we propose a family-based approach based on symbolic computation. A numerical assessment on large activity diagrams shows that this approach can be up to three orders of magnitude faster than product-based analysis in large models, thus enabling computationally efficient explorations of large parameter spaces.
ER  -