Criteria for the verification of feature models - Archive ouverte HAL Access content directly
Conference Papers Year :

Criteria for the verification of feature models


Product Line (PL) based development is a promising approach to develop software intensive systems. Experience already report multiple benefits, such as reduced time to market, better reuse, and reduced development costs. PL modelling languages, in particular to create feature models (FMs), and PL configuration processes are now supported by market tools. Although there is a wealth of research works on the theme of FM verification, there is to our knowledge no comprehensive method, technique or tool. However, it is crucial that when verifying a FM, the right criteria are considered: any error in a FM will inevitably spread to the configured software and generate PL architecture stability issues, with a serious risk of undermining the expected benefits. Dealing with key issues such as selecting the 'right' set of verification criteria or defining a small core of criteria from which all other could be derived calls for a consistent definition of all the criteria. This paper presents an original literature survey of FM verification criteria in which all the criteria are (i) classified according to their purpose and (ii) formalized consistently using first order logic.
Fichier principal
Vignette du fichier
Criteria_for_the_verification_of_feature_models_INFORSID2010-Final_Version.pdf (624.83 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00707534 , version 1 (12-06-2012)


  • HAL Id : hal-00707534 , version 1


Camille Salinesi, Raul Mazo, Daniel Diaz. Criteria for the verification of feature models. INFORSID 2010, May 2010, Marseille, France. ⟨hal-00707534⟩


101 View
96 Download


Gmail Facebook Twitter LinkedIn More