Estado del arte para las pruebas de software aplicadas en la transformación de modelos
Cargando...
Archivos
Compartir
Fecha
Título de la revista
ISSN de la revista
Título del volumen
Editor
Documentos PDF
Resumen
Descripción
A pesar de que el paradigma del desarrollo dirigido por modelos no es un concepto relativamente nuevo y que la implementación de la arquitectura dirigida por modelos no ha sido masificada ampliamente, en contraste la comunidad relacionada con la industria del desarrollo del software ha mostrado un creciente interés por estos nuevos paradigmas, acreditando el aporte que este modelo brinda en el mejoramiento de la calidad del software y la agilidad en la producción y mantenimiento de éste. Sin embargo, se ha adelantado muy poco con respecto al estudio de las técnicas de verificación y validación de las transformaciones bidireccionales que deben darse entre los modelos y código fuente, mediante la aplicación de los conceptos de MDA, MDD, los lenguajes restricciones (OCL) y lenguajes de transformación de Modelos. Dado lo anterior, este artículo tiene como objetivo realizar una revisión al estado actual en el desarrollo de técnicas de aseguramiento de la calidad de las transformaciones entre modelo y código, es decir, los métodos propuestos para la revisión de la correcta traducción de los modelos a través de los lenguajes de transformación, y el código fuente obtenidos.
Palabras clave
V&V en transformación de modelos, Transformación de modelos, Testing en transformación de modelos, Lenguajes de transformación de modelos, Métodos formales