Subconjuntos Mínimos de Corrección para explicar características muertas en Modelos de Líneas de Productos. El caso de los Modelos de Características

Aprovechar los beneficios que ofrecen las líneas de productos depende, entre otros aspectos, de la calidad de los modelos que representan cada línea de productos. Una parte de la calidad consiste en asegurar que los Modelos de Líneas de Productos (MLPs) se encuentran libres de defectos. Un tipo de defecto de los MLPs son las características muertas, ellas son elementos reutilizables que no están presente en ningún producto configurado a partir del MLPs. Cuando las características muertas aparecen, quien crea los MLPs necesita herramientas que le permitan identificar por qué se presentan las características muertas y cómo podría corregirse el modelo. Sin embargo, aunque muchos trabajos en la literatura identifican características muertas, pocos explican por qué se originan o lo explican de manera incompleta. En este artículo se propone un nuevo método para explicar por qué se presentan características muertas en un MLP expresado con la notación modelos de características. Nuestra explicación consiste en identificar diferentes subconjuntos de elementos que podrían ser modificados para corregir el modelo cada que se presente una característica muerta. Esta explicación ofrece al modelador información completa sobre cómo corregir el modelo para cada característica muerta encontrada

Defects in Product Line Models and How to Identify Them

This chapter is about generic (language-independent) verification criteria of product line models, its identification, formalisation, categorization, implementation with constraint programming techniques and its evaluation on several industrial and academic product line models represented with several languages

Compositional Verification of Evolving SPL

This paper presents a novel approach to the design verification of Software Product Lines(SPL). The proposed approach assumes that the requirements and designs are modeled as finite state machines with variability information. The variability information at the requirement and design levels are expressed differently and at different levels of abstraction. Also the proposed approach supports verification of SPL in which new features and variability may be added incrementally. Given the design and requirements of an SPL, the proposed design verification method ensures that every product at the design level behaviorally conforms to a product at the requirement level. The conformance procedure is compositional in the sense that the verification of an entire SPL consisting of multiple features is reduced to the verification of the individual features. The method has been implemented and demonstrated in a prototype tool SPLEnD (SPL Engine for Design Verification) on a couple of fairly large case studies.Ce papier présente une approche nouvelle de vérification pour les lignes de produits logiciels (LPL). L'approche proposée considère que la spécification et la conception de LPL peuvent être abstraites comme des automates à états finis comprenant des informations sur la variabilité. Ces informations sont exprimées différemment aux niveaux spécification et conceptions. Sous ces hypothèses, l'approche proposée supporte la vérification de LPLs dans lesquelles des fonctionnalités peuvent être ajoutées incrémentalement. A partir de la spécification et de la conception d'une LPL, la méthode de vérification proposée assure que chaque produit au niveau conception se conforme, comportementalement parlant, à un produit au niveau spécification. La procédure de conformité est compositionnelle car la vérification de la LPL en entier se réduit à la vérification des fonctionnalités qui la compose individuellement. La méthode a été implantée dans un outil appelé ''SPLEnD'' et essayée sur deux cas d'étude relativement larges

Software Product Line

The Software Product Line (SPL) is an emerging methodology for developing software products. Currently, there are two hot issues in the SPL: modelling and the analysis of the SPL. Variability modelling techniques have been developed to assist engineers in dealing with the complications of variability management. The principal goal of modelling variability techniques is to configure a successful software product by managing variability in domain-engineering. In other words, a good method for modelling variability is a prerequisite for a successful SPL. On the other hand, analysis of the SPL aids the extraction of useful information from the SPL and provides a control and planning strategy mechanism for engineers or experts. In addition, the analysis of the SPL provides a clear view for users. Moreover, it ensures the accuracy of the SPL. This book presents new techniques for modelling and new methods for SPL analysis