Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones
Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2022.
Main Author: | |
---|---|
Other Authors: | |
Format: | bachelorThesis |
Language: | spa |
Published: |
2022
|
Subjects: | |
Online Access: | http://hdl.handle.net/11086/26692 |
_version_ | 1801214552867602432 |
---|---|
author | Molina, Facundo Joaquín |
author2 | Aguirre, Nazareno Matías |
author_facet | Aguirre, Nazareno Matías Molina, Facundo Joaquín |
author_sort | Molina, Facundo Joaquín |
collection | Repositorio Digital Universitario |
description | Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2022. |
format | bachelorThesis |
id | rdu-unc.26692 |
institution | Universidad Nacional de Cordoba |
language | spa |
publishDate | 2022 |
record_format | dspace |
spelling | rdu-unc.266922023-08-31T13:17:38Z Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones Molina, Facundo Joaquín Aguirre, Nazareno Matías Especificaciones de software Inferencia de especificaciones Redes neuronales Computación evolutiva Análisis dinámico Prueba y depuración de software Fuzzing Program specifications Dynamic analysis Software testing and debugging Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2022. Fil: Molina, Facundo Joaquín. Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación; Argentina. La confiabilidad del software es una preocupación central en el proceso de construcción de software, y el análisis de la confiabilidad requiere una especificación del comportamiento esperado del software. Desafortunadamente, este análisis se ve afectado negativamente por la carencia de especificaciones acompañando el software. Con el objetivo de mejorar estos análisis de confiabilidad, en esta tesis presentamos técnicas basadas en búsqueda y aprendizaje para inferir especificaciones que permitan distinguir los comportamientos correctos de los comportamientos incorrectos del software, abordando el conocido problema del oráculo. Los enfoques que presentamos, basados principalmente en técnicas de aprendizaje como redes neuronales y computación evolutiva, son capaces de producir especificaciones que pueden capturar comportamientos complejos del software, y permiten lograr una mejora considerable en una serie de tareas de análisis de programas como bug finding, ejecución simbólica y verificación, entre otras. Software reliability is a primary concern in the software development process, and analyzing the software reliability requires the presence of specifications capturing the expected software behavior. Unfortunately, this analysis it's negatively affected by the lack of specifications accompanying the software. With the aim of improving software reliability analysis, in this dissertation we present search-based and learning-based techniques to infer specifications that allow to distinguish correct from incorrect software behaviors, tackling the well known oracle problem. The approaches that we present, based mainly in learning techniques such as neural networks and evolutionary computation, are capable of producing specifications that can capture complex software behaviors, and allow to achieve a considerable improvement on a number of program analysis tasks such as bug finding, symbolic execution and verification, among others. Fil: Molina, Facundo Joaquín. Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación; Argentina. 2022-06-29T14:34:39Z 2022-06-29T14:34:39Z 2022-02 bachelorThesis http://hdl.handle.net/11086/26692 spa Atribución-NoComercial-CompartirIgual 4.0 Internacional http://creativecommons.org/licenses/by-nc-sa/4.0/ |
spellingShingle | Especificaciones de software Inferencia de especificaciones Redes neuronales Computación evolutiva Análisis dinámico Prueba y depuración de software Fuzzing Program specifications Dynamic analysis Software testing and debugging Molina, Facundo Joaquín Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones |
title | Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones |
title_full | Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones |
title_fullStr | Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones |
title_full_unstemmed | Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones |
title_short | Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones |
title_sort | tecnicas basadas en busqueda y aprendizaje para inferencia de especificaciones |
topic | Especificaciones de software Inferencia de especificaciones Redes neuronales Computación evolutiva Análisis dinámico Prueba y depuración de software Fuzzing Program specifications Dynamic analysis Software testing and debugging |
url | http://hdl.handle.net/11086/26692 |
work_keys_str_mv | AT molinafacundojoaquin tecnicasbasadasenbusquedayaprendizajeparainferenciadeespecificaciones |