Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy
En este trabajo presentamos técnicas para mejorar la performance de Abstracción por Predicados en el contexto de análisis de especificaciones DynAlloy. Este trabajo extiende nuestro trabajo previo en la misma dirección, principalmente mediante un mecanismo de detección de inducción, que permite inde...
Guardado en:
Autores principales: | , , , , |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Español |
Publicado: |
2010
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/19382 |
Aporte de: |
id |
I19-R120-10915-19382 |
---|---|
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 Abstract data types DynAlloy abstracción por predicados análisis de especificaciones caso de estudio |
spellingShingle |
Ciencias Informáticas Abstract data types DynAlloy abstracción por predicados análisis de especificaciones caso de estudio Ariño, Rodrigo Degiovanni, Renzo Fervari, Raul Ponzio, Pablo Daniel Aguirre, Nazareno Matías Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy |
topic_facet |
Ciencias Informáticas Abstract data types DynAlloy abstracción por predicados análisis de especificaciones caso de estudio |
description |
En este trabajo presentamos técnicas para mejorar la performance de Abstracción por Predicados en el contexto de análisis de especificaciones DynAlloy. Este trabajo extiende nuestro trabajo previo en la misma dirección, principalmente mediante un mecanismo de detección de inducción, que permite independizar, bajo ciertas condiciones, el tiempo de análisis del programa de la cota en la cantidad de iteraciones exigida por DynAlloy. Dado que el tiempo de análisis de programas DynAlloy depende exponencialmente de dicha cota, las ganancias obtenidas al aplicar esta optimizaci´on son notables. Sin embargo, la técnica no es aplicable en casos arbitrarios, sino sólo bajo ciertas condiciones que identificamos en este trabajo. Por otra parte, la técnica puede requerir intervención del usuario, a través de la introducción manual de predicados de abstracción. Las optimizaciones mencionadas fueron incorporadas a la implementación de nuestra herramienta, permiténdonos evaluar las mismas en diversos casos de estudio que reportamos en este artículo. Estos casos de estudio corresponden a modelos DynAlloy provenientes de programas que operan sobre listas enlazadas. |
format |
Objeto de conferencia Objeto de conferencia |
author |
Ariño, Rodrigo Degiovanni, Renzo Fervari, Raul Ponzio, Pablo Daniel Aguirre, Nazareno Matías |
author_facet |
Ariño, Rodrigo Degiovanni, Renzo Fervari, Raul Ponzio, Pablo Daniel Aguirre, Nazareno Matías |
author_sort |
Ariño, Rodrigo |
title |
Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy |
title_short |
Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy |
title_full |
Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy |
title_fullStr |
Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy |
title_full_unstemmed |
Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy |
title_sort |
mejorando la aplicación de abstracción por predicados a especificaciones dynalloy |
publishDate |
2010 |
url |
http://sedici.unlp.edu.ar/handle/10915/19382 |
work_keys_str_mv |
AT arinorodrigo mejorandolaaplicaciondeabstraccionporpredicadosaespecificacionesdynalloy AT degiovannirenzo mejorandolaaplicaciondeabstraccionporpredicadosaespecificacionesdynalloy AT fervariraul mejorandolaaplicaciondeabstraccionporpredicadosaespecificacionesdynalloy AT ponziopablodaniel mejorandolaaplicaciondeabstraccionporpredicadosaespecificacionesdynalloy AT aguirrenazarenomatias mejorandolaaplicaciondeabstraccionporpredicadosaespecificacionesdynalloy |
bdutipo_str |
Repositorios |
_version_ |
1764820464335585280 |