Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria

Abstract : Product line models (PLM) are important artifacts in product line engineering. Due to their size and complexity, it is difficult to detect defects in PLMs. The challenge is however important: any error in a PLM will inevitably impact configuration, generating issues such as incorrect product models, inconsistent architectures, poor reuse, difficulty to customize products, etc. Surveys on feature-based PLM verification approaches show that there are many verification criteria, that these criteria are defined in different ways, and that different ways of working are proposed to look for defect. The goal of this paper is to systematize PLM verification. Based on our literature review, we propose a list of 23 verification criteria that we think cover those available in the literature.
Type de document :
Communication dans un congrès
17th IEEE International Requirements Engineering Conference, 2009. RE '09., Aug 2009, Atlanta, United States. IEEE, pp.385-386, 2009, 〈10.1109/RE.2009.57〉
Liste complète des métadonnées

https://hal-paris1.archives-ouvertes.fr/hal-00663343
Contributeur : Camille Salinesi <>
Soumis le : jeudi 26 janvier 2012 - 17:09:05
Dernière modification le : jeudi 26 janvier 2012 - 17:24:50

Identifiants

Collections

Citation

Camille Salinesi, Colette Rolland, Daniel Diaz, Raul Mazo. Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria. 17th IEEE International Requirements Engineering Conference, 2009. RE '09., Aug 2009, Atlanta, United States. IEEE, pp.385-386, 2009, 〈10.1109/RE.2009.57〉. 〈hal-00663343〉

Partager

Métriques

Consultations de la notice

50