Un análisis preliminar sobre reparación de modelos Alloy utilizando Sketching

El tamaño y complejidad de los sistemas de software modernos muestran de manera taxativa la necesidad e importancia de contemplar las etapas tempranas en el desarrollo de software. En particular, una de estas etapas que permite tener una comprensión más abstracta y general del sistema como un todo,...

Descripción completa

Detalles Bibliográficos
Autores principales: Cornejo, César, Regis, Germán, Aguirre, Nazareno Matías
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2019
Materias:
Ciencias Informáticas
Testing
Modelado
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/91109
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-91109
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
Testing
Modelado
spellingShingle Ciencias Informáticas
Testing
Modelado
Cornejo, César
Regis, Germán
Aguirre, Nazareno Matías
Un análisis preliminar sobre reparación de modelos Alloy utilizando Sketching
topic_facet Ciencias Informáticas
Testing
Modelado
description El tamaño y complejidad de los sistemas de software modernos muestran de manera taxativa la necesidad e importancia de contemplar las etapas tempranas en el desarrollo de software. En particular, una de estas etapas que permite tener una comprensión más abstracta y general del sistema como un todo, es la etapa de modelado. Si bien existe una variada gama de lenguajes para tal fin, dos características que consideramos importantes para su elección son su output como entrada para las etapas siguientes y su versatilidad en el análisis. En este sentido, los lenguajes con algún grado de formalismo subyacente prevalecen al permitir construir herramientas automáticas o semi-automáticas para su procesamiento. Al igual que en las siguientes etapas del desarrollo, el modelado no se encuentra exento de errores como producto de una actividad humana. Para abordar este problema, diferentes técnicas y herramientas fueron propuestos. En este trabajo proponemos combinar dos técnicas conocidas con el objetivo de reparar posibles errores en modelos especificados en Alloy. Utilizando el testing como herramienta para localizar errores, nuestra técnica emplea el concepto de Sketching para descubrir y proponer una posible reparación de los mismos.
format Objeto de conferencia
Objeto de conferencia
author Cornejo, César
Regis, Germán
Aguirre, Nazareno Matías
author_facet Cornejo, César
Regis, Germán
Aguirre, Nazareno Matías
author_sort Cornejo, César
title Un análisis preliminar sobre reparación de modelos Alloy utilizando Sketching
title_short Un análisis preliminar sobre reparación de modelos Alloy utilizando Sketching
title_full Un análisis preliminar sobre reparación de modelos Alloy utilizando Sketching
title_fullStr Un análisis preliminar sobre reparación de modelos Alloy utilizando Sketching
title_full_unstemmed Un análisis preliminar sobre reparación de modelos Alloy utilizando Sketching
title_sort un análisis preliminar sobre reparación de modelos alloy utilizando sketching
publishDate 2019
url http://sedici.unlp.edu.ar/handle/10915/91109
work_keys_str_mv AT cornejocesar unanalisispreliminarsobrereparaciondemodelosalloyutilizandosketching
AT regisgerman unanalisispreliminarsobrereparaciondemodelosalloyutilizandosketching
AT aguirrenazarenomatias unanalisispreliminarsobrereparaciondemodelosalloyutilizandosketching
bdutipo_str Repositorios
_version_ 1764820490706223105

Ejemplares similares