Analysis of Software Product Lines

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

Abstract

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.

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