Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria - Archive ouverte HAL Access content directly
Conference Papers Year : 2009

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

(1) , (1) , (1) , (1)
1

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.
Not file

Dates and versions

hal-00663343 , version 1 (26-01-2012)

Identifiers

Cite

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⟩

Collections

UNIV-PARIS1 CRI
38 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More