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.
Document type :
Conference papers
Liste complète des métadonnées

https://hal-paris1.archives-ouvertes.fr/hal-00663343
Contributor : Camille Salinesi <>
Submitted on : Thursday, January 26, 2012 - 5:09:05 PM
Last modification on : Thursday, January 26, 2012 - 5:24:50 PM

Identifiers

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. pp.385-386, ⟨10.1109/RE.2009.57⟩. ⟨hal-00663343⟩

Share

Metrics

Record views

61