Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL

Qué testear es un tema siempre vigente. Con tal propósito, y en caso de querer derivar casos de prueba automáticamente desde un modelo de software, no contamos con la precisión necesaria en los mismos para generar los tests acordes a nuestros intereses. Lenguajes formales como OCL permiten enriquece...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Rosenfeld, Ilan
Otros Autores:	Pons, Claudia
Formato:	Tesis Tesis de grado
Lenguaje:	Español
Publicado:	2015
Materias:	Ciencias Informáticas Alloy Modeling techniques Software desarrollo de software dirigido por modelos pruebas de software dirigidas por modelos traducción de código UML
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/50096
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-50096
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 Alloy Modeling techniques Software desarrollo de software dirigido por modelos pruebas de software dirigidas por modelos traducción de código UML
spellingShingle	Ciencias Informáticas Alloy Modeling techniques Software desarrollo de software dirigido por modelos pruebas de software dirigidas por modelos traducción de código UML Rosenfeld, Ilan Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL
topic_facet	Ciencias Informáticas Alloy Modeling techniques Software desarrollo de software dirigido por modelos pruebas de software dirigidas por modelos traducción de código UML
description	Qué testear es un tema siempre vigente. Con tal propósito, y en caso de querer derivar casos de prueba automáticamente desde un modelo de software, no contamos con la precisión necesaria en los mismos para generar los tests acordes a nuestros intereses. Lenguajes formales como OCL permiten enriquecer cualquier modelo mediante información adicional o restricciones sobre sus elementos; entonces, la derivación de código y casos de prueba a partir de un modelo enriquecido con restricciones y especificaciones en este lenguaje permitirá contar con un soporte mucho más robusto de nuestro sistema. Tras el análisis de varias herramientas de generación automática de código a partir de modelos de software, se llegó a la conclusión de que casi ninguna de ellas incluye la traducción de restricciones en el modelo escritas en un lenguaje formal. Es por ello que la tesina consistió en un análisis de varios lenguajes formales de especificación (o modelado), especialmente de los lenguajes UML/OCL y Alloy. A partir de ello se desarrolló una herramienta para Eclipse, que permite, a partir de una especificación de un modelo UML poseyendo restricciones OCL, la generación automática de código Java, incluyendo las clases del modelo junto con sus respectivos Casos de Prueba, regulados por OCL. Paralelamente se genera de forma automática una especificación Alloy que permite el análisis formal estático del modelo.
author2	Pons, Claudia
author_facet	Pons, Claudia Rosenfeld, Ilan
format	Tesis Tesis de grado
author	Rosenfeld, Ilan
author_sort	Rosenfeld, Ilan
title	Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL
title_short	Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL
title_full	Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL
title_fullStr	Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL
title_full_unstemmed	Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL
title_sort	lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones ocl
publishDate	2015
url	http://sedici.unlp.edu.ar/handle/10915/50096
work_keys_str_mv	AT rosenfeldilan lenguajesformalesyderivacionautomaticadecodigodepruebasapartirdemodelosdesoftwareconrestriccionesocl
bdutipo_str	Repositorios
_version_	1764820475480899590

Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL

Ejemplares similares