|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 003 |
AR-LpUFIB |
| 005 |
20250311170434.0 |
| 008 |
230201s2015 ag a rm 000 0 spa d |
| 024 |
8 |
|
|a DIF-M7156
|b 7366
|z DIF006523
|
| 040 |
|
|
|a AR-LpUFIB
|b spa
|c AR-LpUFIB
|
| 100 |
1 |
|
|a Correa, Natalia
|
| 245 |
1 |
0 |
|a Proceso de generación de casos de prueba en el contexto MDD/MBT
|
| 260 |
|
|
|c 2015
|
| 300 |
|
|
|a 111, [53] p. :
|b il. col. +
|e 1 DVD
|
| 502 |
|
|
|a Tesina (Licenciatura en Sistemas) - Universidad Nacional de La Plata. Facultad de Informática, 2015.
|
| 505 |
0 |
|
|a 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
|
| 650 |
|
4 |
|a DESARROLLO DE SOFTWARE DIRIGIDO POR MODELOS - MDD
|
| 650 |
|
4 |
|a TESTEO
|
| 650 |
|
4 |
|a UML
|
| 650 |
|
4 |
|a CASOS DE USO
|
| 653 |
|
|
|a trazabilidad
|
| 700 |
1 |
|
|a Giandini, Roxana Silvia ,
|e Director/a
|
| 942 |
|
|
|c TE
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 TES_1541
|7 1
|9 81600
|a DIF
|b DIF
|d 2025-03-11
|i DIF-04511
|l 0
|o TES 15/41
|p DIF-04511
|r 2025-03-11 17:04:34
|w 2025-03-11
|x DV 145
|y TE
|
| 999 |
|
|
|c 56300
|d 56300
|
