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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Ariño, Rodrigo, Degiovanni, Renzo, Fervari, Raul, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías
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