Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar registro sencillo

dc.date.accessioned 2010-06-16T13:21:48Z
dc.date.available 2010-06-16T03:00:00Z
dc.date.issued 2007
dc.identifier.uri http://hdl.handle.net/10915/3974
dc.description.abstract 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. es
dc.format.extent 127 p. es
dc.language es es
dc.title Generación de micromundos para transformaciones de modelos es
dc.type Tesis es
sedici.creator.person Saporiti, Martín es
sedici.creator.person Castro Manacero, María Noel es
sedici.subject.materias Ciencias Informáticas es
sedici.subject.eurovoc software es
sedici.subject.eurovoc lenguaje de programación es
sedici.description.fulltext true es
mods.originInfo.place Facultad de Informática es
sedici.subtype Tesis de grado es
sedici.rights.license Creative Commons Attribution 4.0 International (CC BY 4.0)
sedici.rights.uri http://creativecommons.org/licenses/by/4.0/
sedici.contributor.director Pons, Claudia es
thesis.degree.name Licenciado en Informática es
thesis.degree.grantor Facultad de Informática es
sedici.date.exposure 2007
sedici2003.identifier ARG-UNLP-TDG-0000000355 es


Descargar archivos

Este ítem aparece en las siguientes colecciones:

Creative Commons Attribution 4.0 International (CC BY 4.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution 4.0 International (CC BY 4.0)