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.

Detalles Bibliográficos
Autor principal: Molina, Facundo Joaquín
Otros Autores: Aguirre, Nazareno Matías
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2022
Materias:
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
Acceso en línea:http://hdl.handle.net/11086/26692
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-26692
record_format dspace
spelling I10-R141-11086-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/
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
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
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
topic_facet 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
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.
author2 Aguirre, Nazareno Matías
author_facet Aguirre, Nazareno Matías
Molina, Facundo Joaquín
format bachelorThesis
author Molina, Facundo Joaquín
author_sort Molina, Facundo Joaquín
title 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_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_sort técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones
publishDate 2022
url http://hdl.handle.net/11086/26692
work_keys_str_mv AT molinafacundojoaquin tecnicasbasadasenbusquedayaprendizajeparainferenciadeespecificaciones
_version_ 1782014626395848704

Ejemplares similares