Criteria for the verification of feature models - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Criteria for the verification of feature models

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-00707534 , version 1

Citer

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

Collections

UNIV-PARIS1 CRI
104 Consultations
121 Téléchargements

Partager

Gmail Facebook X LinkedIn More