Analysis of Software Product Lines

  • Sven Apel
  • Don Batory
  • Christian Kästner
  • Gunter Saake


Variability raises new challenges for establishing correctness or any kind of functional or nonfunctional guarantees about programs. Traditional testing, type checking, static analysis, verification, or software and performance measurement are well-established for individual systems, but they do not scale to product lines when analyzing ever product in isolation, due to the huge configuration space. In this chapter, we discuss a broad range of strategies and methods to analyze a whole product line, explicitly considering variability in the analysis (hence the name variability-aware analysis). We cover basic analyses of feature models, analyses of mappings between features and implementations, and analyses of entire product-line implementations.


Feature Selection Feature Model Software Product Line Propositional Formula Code Fragment 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Sven Apel
    • 1
  • Don Batory
    • 2
  • Christian Kästner
    • 3
  • Gunter Saake
    • 4
  1. 1.University of PassauPassauGermany
  2. 2.The University of Texas at AustinAustinUSA
  3. 3.Carnegie Mellon UniversityPittsburghUSA
  4. 4.Fak. Informatik, Inst. Technische/BetrieblicheOtto-von-Guericke-UniversitätMagdeburgGermany

Personalised recommendations