Consistency Checking in Early Software Product Line Specifications -The VCC Approach

Abstract : Software Product Line Engineering (SPLE) is a successful paradigm to produce a family of products for a specific domain. A challenge in SPLE is to check that different models used in early SPL specification do not contain inconsistent information that may be propagated and generate inconsistent products that do not conform to its requirements. This challenge is difficult to address due to the high number of possible combinations of product features and model fragments specifying those features. Variability Consistency Checking (VCC) offers automatic means to address that challenge. VCC relates information inferred from the relationships between features and from base models related to those features. Validating if all the products in an SPL satisfy user-defined consistency constraints is based on searching for a satisfying assignment of each formula generated by VCC. We validated VCC and its supporting tool on two case studies from different application domains, the results were encouraging as we did not observed significant performance penalties.
Type de document :
Article dans une revue
Journal of Universal Computer Science, Springer, 2014, 20 (5), pp.640 - 665. <http://www.jucs.org/jucs_20_5/consistency_checking_in_early>
Liste complète des métadonnées


https://hal.inria.fr/hal-01088464
Contributeur : Mauricio Alférez <>
Soumis le : dimanche 30 novembre 2014 - 09:49:35
Dernière modification le : jeudi 9 février 2017 - 16:05:25
Document(s) archivé(s) le : vendredi 14 avril 2017 - 22:43:02

Fichier

jucs_20_05_0640_0665_alferez.p...
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-01088464, version 1

Citation

Mauricio Alférez, Roberto Erick Lopez-Herrejon, Ana Moreira, Vasco Amaral, Alexander Egyed. Consistency Checking in Early Software Product Line Specifications -The VCC Approach. Journal of Universal Computer Science, Springer, 2014, 20 (5), pp.640 - 665. <http://www.jucs.org/jucs_20_5/consistency_checking_in_early>. <hal-01088464>

Partager

Métriques

Consultations de
la notice

323

Téléchargements du document

296