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

Título:

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

Autor:

Correa, Natalia

Otros autores / Colaboradores:

 Giandini, Roxana Silvia; [ Director/a] 

Temas:

DESARROLLO DE SOFTWARE DIRIGIDO POR MODELOS - MDD; TESTEO; UML; CASOS DE USO; 

Palabras clave:

trazabilidad, 

Nota de tesis:

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

Extensión:

111, [53] p. : il. col. + 1 DVD

Resumen:

Desde la aparición de la metodología MDD, mucho se ha propuesto y definido en cuanto a lenguajes y herramientas que sirven de soporte y automatizan sus diferentes aspectos. Uno de estos aspectos donde se ha puesto más énfasis es en la definición de lenguajes que permiten traducir un modelo en otro. Luego, con la aparición de MBT, se han propuesto nuevos aportes e investigaciones que sirven de soporte para la generación de casos de prueba y para el testing en general. En este sentido, se ha analizado que las actividades de testeo a nivel modelado, muchas veces se realizan en la etapa de diseño del sistema, con los detalles de implementación ya definidos. Sin embargo, es en etapas iniciales del desarrollo de software, cuando se define claramente la funcionalidad del sistema, indicando el "qué" sin mencionar el "cómo". Esta tesina presenta un proceso, dentro de los contextos mencionados, que permite generar casos de prueba tempranamente en el ciclo de vida del desarrollo, de manera automática por medio de transfromaciones y con generación de trazabilidad. Se brinda, de esta manera, soporte al testing de sistemas y a las técnicas de trazabilidad dentro de los contextos MDD y MBT.

Puede solicitar más fácilmente el ejemplar con: TES 15/41

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