On the Automated Analysis of Software Product Lines Using Feature Models. A Framework for Developing Automated Tool Support.
David Benavides, David Felipe · Dialnet (Universidad de la Rioja) · 2014
En los ultimos anos, ha habido un gran empuje por parte de la comunidad investigadora en torno a una nueva linea de investigacion. Se trata de las lineas de producto software. Las lineas de producto software se centran en proponer soluciones, metodos y tecnicas para la produccion y construccion de una serie de productos software que comparten caracteristicas comunes pero que tambien tienen partes peculiares. De esta manera, la construccion de un nuevo producto se deberia hacer partiendo de una base comun de tal modo que no haya que empezar desde cero. Una parte importante dentro de este nuevo paradigma de construccion de software es un modelo que represente a todos los posibles productos de una misma linea de productos. Uno de los modelos mas utilizados con este fin son los modelos de caracteristicas (feature models) que fueron propuestos por primera vez en 1990 y han sido objeto de investigacion a lo largo de estos anos. Hasta ahora, los modelos de caracteristicas han sido principalmente usados como notaciones graficas para comunicar a los diferentes participantes en la produccion de software, desde clientes hasta desarrolladores. Es importante senalar que el analisis automatico de estos modelos fue propuesto como una menta a alcanzar en el informe original de 1990, sin embargo, ha sido en los ultimos anos cuando han aparecido algunas propuestas para el analisis automatico de los modelos de caracteristicas. En esta tesis doctoral, se presenta FAMA (FeAture Model Analyser), un nuevo marco de trabajo para el analisis automatico de lineas de producto software en general y de modelos de caracteristicas en particular. Sus principales ventajas estan basadas en su base formal que permite evitar interpretaciones erroneas de su semantica; su abstraccion que permite extender FAMA con otros modelos distintos de los modelos de caracteristicas; la posibilidad de analizar modelos de caracteristicas extendidos en los que se incluyen atributos sobre las caracteristicas y finalmente la inclusion de varios resolutores distintos en la implementacion. De este modo, FAMA supone un paso adelante para establecer las bases que permitan la construccion de herramientas software para el analisis automatico de modelos de caracteristicas.