Proceso de generación de casos de prueba en el contexto MDD/MBT

Tesina (Licenciatura en Sistemas) - Universidad Nacional de La Plata. Facultad de Informática, 2015.

Capítulo 1. Introducción -- 1.1. Motivación -- 1.2. Objetivos -- 1.3. Publicaciones -- 1.4. Organización de la tesina -- -- Capítulo 2. Conceptos básicos -- 2.1. El desarrollo de software dirigido por modelos -- 2.1.1. MDA: la arquitectura dirigida por modelos -- 2.1.2. Metamodelos y la arquitectura de 4 capas -- 2.1.3. Transformaciones de modelos -- 2.2. Testing basado en modelos -- 2.3. El lenguaje unificado de modelado -- 2.4. Resumen del capítulo -- Capítulo 3. Lenguajes de transformación de modelos -- 3.1. Introducción -- 3.2. Lenguajes de transformación de modelos. propuestas existentes -- 3.3. Clasificación para la evaluación de lenguajes de transformación -- 3.4. Comparación de los lenguajes de transformación -- 3.4.1. ATL (Atlas Transformation Language) -- 3.4.2. MOFScript -- 3.4.3. MOLA (MOdel transformation LAnguage) -- 3.4.4. SiTra -- 3.4.5. Tefkat -- 3.4.6. UMLX -- 3.5. Resumen del capítulo -- Capítulo 4. Trazabilidad en MDD/MBT -- 4.1. Introducción -- 4.2. Trazabilidad en MDD -- 4.3. Trazabilidad en MBT -- 4.4. Resumen del capítulo -- -- Capítulo 5. Propuesta: proceso de generación de casos de prueba -- 5.1. Esquema general del proceso -- 5.2. Descripción del proceso en etapas -- 5.2.1. Proceso general -- 5.2.2. Subproceso -- 5.2.3. Adición de trazabilidad -- 5.3. Resumen del capítulo -- Capítulo 6. Implementación de la propuesta -- 6.1. Introducción -- 6.2. Implementación del proceso en etapas -- 6.2.1. Perfil UML para modelar diagramas de actividades de testing -- 6.2.2. Reglas de la transformación de MCU a DATS -- 6.2.3. Reglas de la transformación de DATS a casos de prueba del sistema -- 6.2.4. Perfil UML para modelar actividades de testing -- 6.2.5. Reglas de la transformación de MCU a DATS -- 6.2.6. Metamodelo para trazabilidad -- 6.3. Resumen del capítulo -- Capítulo 7. Caso de estudio -- 7.1. Enunciado de ejemplo -- 7.2. Caso de estudio paso a paso -- 7.3. Resumen del capítulo -- -- -- Capítulo 8. Conclusiones -- 8.1. Trabajos relacionados -- 8.1.1. Trabajos relacionados con la generación de casos de prueba – en MDD y MBT- -- 8.2. Aportes -- 8.3. Conclusiones finales -- 8.4. Trabajo futuro -- Referencias -- Anexo I. Publicaciones relacionadas a esta tesina. Artículos completos -- Anexo II. Casos de uso y diagramas de actividad -- Introducción a UML -- Diagramas de casos de uso -- Diagramas de actividades -- Anexo III- Esquema de clasificación para los lenguajes de transformación -- Esquema de clasificación -- Detalle de la clasificación