Estado del arte de testing de transformaciones de modelos

Abstract

La Ingeniería Dirigida por Modelos es un enfoque de Ingeniería de Software que se basa en el modelado de un sistema como la principal actividad para la construcción del mismo. La viabilidad de este enfoque está dada por la existencia de un proceso de construcción (semi) automático guiado por transformaciones de modelos. El proceso comienza con modelos abstractos del sistema a construir que son transformados hasta generar un modelo ejecutable. La calidad global del proceso depende fuertemente de la calidad de las transformaciones, por lo que es vital su verificación. Este reporte presenta el estado del arte de las técnicas de diseño, ejecución y validación de casos de prueba (i.e. testing) aplicadas a transformaciones de modelos. Se analizan barreras y desafíos existentes, y se describen lenguajes y herramientas utilizados.