Managing evolution in software product lines: a model-checking perspective

  • Authors:

  • Maxime Cordy;Andreas Classen;Pierre-Yves Schobbens;Patrick Heymans;Axel Legay

  • Affiliations:

  • University of Namur, Belgium;University of Namur, Belgium;University of Namur, Belgium;University of Namur, Belgium INRIA Lille-Nord Europe -- Université Lille, France LIFL -- CNRS, France;INRIA Rennes, France University of Liège, Belgium

  • Venue:
  • Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

In Software Product Line (SPL) engineering, similar software products are developed in families rather than individually. Developing similar software at once leads to new challenges. In particular, the model checking problem for SPL is harder because it has to deal with potentially many products and identify exactly which ones do not work properly. In previous work, we introduced Featured Transition Systems as a compact behavioural model for SPL. We also proposed new algorithms that model check all the products of the SPL efficiently, by taking into account the commonality between them to reduce the verification time. However, our current approach does not consider that SPL can evolve. If a new feature is added to the SPL, previous verification results cannot be reused. In this paper, we define formally two particular classes of features. Using simulation relations, we show that we may anticipate the properties of some products introduced by those features. We discuss interesting perspectives and present the challenges that are still ahead.