Análisis simbólico de planes de evolución para líneas de producto software

Abstract

[ES] El objetivo de este trabajo es desarrollar una técnica de análisis simbólico para planes de evolución de líneas de producto software, una colección de productos estrechamente relacionados que satisfacen las necesidades específicas de un segmento de mercado. Actualmente no existe un enfoque para garantizar que un plan de evolución está libre de inconsistencias. Sin embargo, una modificación en los requisitos del software, en etapas intermedias del desarrollo, puede ocasionar un cambio en el plan que frecuentemente conduce a inconsistencias en una fase posterior. En la técnica de análisis propuesta se formula la reducción y resolución de objetivos en lógica de reescritura y se implementa una herramienta automática para analizar la evolución de los modelos de características de una línea de prodcutos software, de forma que es posible identificar eventuales inconsistencias y garantizar la consonancia del plan en cada paso de la evolución.

[EN] The objective of this work is to develop a symbolic analysis technique for software product line evolution plans, a collection of closely related products that meet the specific needs of a market segment. Currently there is no approach to ensure that an evolution plan is free of inconsistencies. However, a modification in the software requirements, in intermediate stages of the development, can cause a change in the plan that frequently leads to inconsistencies at a later stage. In the proposed analysis technique, the reduction and resolution of objectives in rewriting logic is formulated and an automatic tool is implemented to analyze the evolution of the models of characteristics of a software product line, so that it is possible to identify eventual inconsistencies and to guarantee the consistency of the plan in each step of the evolution.