Generación de micromundos para transformaciones de modelos

Escribir transformaciones de modelos es una tarea compleja y propensa a errores. Garantizar formalmente la correctitud de estas transformaciones es difícil, siendo requeridas técnicas de verificación formal. Una aproximación alternativa es la validación por testeo. El testeo de una trasformación de...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Saporiti, Martín, Castro Manacero, María Noel
Otros Autores: Pons, Claudia
Formato: Tesis Tesis de grado
Lenguaje:Español
Publicado: 2007
Materias:
Ciencias Informáticas
software
lenguaje de programación
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/3974
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-3974
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
software
lenguaje de programación
spellingShingle Ciencias Informáticas
software
lenguaje de programación
Saporiti, Martín
Castro Manacero, María Noel
Generación de micromundos para transformaciones de modelos
topic_facet Ciencias Informáticas
software
lenguaje de programación
description Escribir transformaciones de modelos es una tarea compleja y propensa a errores. Garantizar formalmente la correctitud de estas transformaciones es difícil, siendo requeridas técnicas de verificación formal. Una aproximación alternativa es la validación por testeo. El testeo de una trasformación de modelos es típicamente realizado chequeando el resultado de la transformación aplicada a un conjunto de modelos de entrada. Para que la transformación sea confiable y esté librada de errores, lo ideal es extraer del modelo un conjunto de instancias con estado representativo y verificar si las condiciones de refinamiento establecidas entre los modelos se satisfacen para esas instancias. Este conjunto de instancias es llamado “micromundo”. En la práctica, la construcción manual y la edición de los micromundos son tareas tediosas (la estructura de los datos puede ser compleja, y los modelos pueden ser difíciles de manejar). La generación de los micromundos debe entonces estar automatizada para evitar la tarea de construirlos manualmente. La motivación de este trabajo es definir e implementar una estrategia eficiente y confiable para validar transformaciones de modelos UML. Dicha estrategia se basará en la técnica de generación de micromundos la cual ha sido propuesta y explotada para la V&V de sistemas de software tradicionales.
author2 Pons, Claudia
author_facet Pons, Claudia
Saporiti, Martín
Castro Manacero, María Noel
format Tesis
Tesis de grado
author Saporiti, Martín
Castro Manacero, María Noel
author_sort Saporiti, Martín
title Generación de micromundos para transformaciones de modelos
title_short Generación de micromundos para transformaciones de modelos
title_full Generación de micromundos para transformaciones de modelos
title_fullStr Generación de micromundos para transformaciones de modelos
title_full_unstemmed Generación de micromundos para transformaciones de modelos
title_sort generación de micromundos para transformaciones de modelos
publishDate 2007
url http://sedici.unlp.edu.ar/handle/10915/3974
work_keys_str_mv AT saporitimartin generaciondemicromundosparatransformacionesdemodelos
AT castromanaceromarianoel generaciondemicromundosparatransformacionesdemodelos
bdutipo_str Repositorios
_version_ 1764820472774524933

Ejemplares similares