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

Detalles Bibliográficos
Autor Principal: Correa, Natalia
Otros autores o Colaboradores: Giandini, Roxana Silvia (Director/a)
Formato: Tesis
Lengua:español
Datos de publicación: 2015
Temas:
DESARROLLO DE SOFTWARE DIRIGIDO POR MODELOS - MDD
TESTEO
UML
CASOS DE USO
trazabilidad
Acceso en línea:Consultar en el Cátalogo
Descripción Física:111, [53] p. : il. col. + 1 DVD
Tabla de Contenidos:
  • 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

Ejemplares similares