Mejoras al testing exhaustivo acotado

Mostrar todas las versiones(2)

Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015.

Detalles Bibliográficos
Autor principal: Bengolea, Valeria Susana
Otros Autores: Aguirre, Nazareno Matías
Formato: doctoralThesis
Lenguaje:Español
Publicado: 2016
Materias:
Testeo y depuración
Testing and Debugging
Generación automática de casos de Test
Criterios de cobertura
Invariante de representación
Acceso en línea:http://hdl.handle.net/11086/2874
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-2874
record_format dspace
spelling I10-R141-11086-28742024-05-29T19:24:15Z Mejoras al testing exhaustivo acotado Bengolea, Valeria Susana Aguirre, Nazareno Matías Testeo y depuración Testing and Debugging Generación automática de casos de Test Criterios de cobertura Invariante de representación Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015. El Testing consiste en ejecutar una pieza de software con diferentes entradas para luego chequear si el resultado obtenido se corresponde con el resultado esperado. Se estima que esta actividad ocupa más de la mitad del costo total del desarrollo de software, por lo que es fundamental su automatización. La construcción automática de entradas para probar el software bajo análisis reduce significativamente los costos de hacer testing. El testing exhaustivo acotado es una técnica muy efectiva para encontrar errores, que consiste en generar automáticamente todas las entradas válidas dentro de ciertas cotas, y posteriormente usar estas entradas para probar el código bajo análisis. La efectividad de los conjuntos de entradas producidos, crece a medida que las cotas crecen, pero además, el tiempo consumido durante la generación y posterior ejecución del programa bajo las entradas producidas, se incrementa de manera exponencial cuando las cotas crecen, y como consecuencia, muchas veces, esta tarea resulta inviable. En este trabajo se presentan un grupo de técnicas destinadas a disminuir el tiempo empleado para realizar testing exhaustivo acotado, para lo cual, se propone reducir el tiempo de generación de entradas, así como también el tiempo de ejecución de las mismas mediante la reducción `adecuada' del tamaño de los conjuntos producidos. 2016-08-04T15:29:32Z 2016-08-04T15:29:32Z 2015-03 doctoralThesis http://hdl.handle.net/11086/2874 spa Atribución-NoComercial 2.5 Argentina https://creativecommons.org/licenses/by-nc/2.5/ar/
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Testeo y depuración
Testing and Debugging
Generación automática de casos de Test
Criterios de cobertura
Invariante de representación
spellingShingle Testeo y depuración
Testing and Debugging
Generación automática de casos de Test
Criterios de cobertura
Invariante de representación
Bengolea, Valeria Susana
Mejoras al testing exhaustivo acotado
topic_facet Testeo y depuración
Testing and Debugging
Generación automática de casos de Test
Criterios de cobertura
Invariante de representación
description Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015.
author2 Aguirre, Nazareno Matías
author_facet Aguirre, Nazareno Matías
Bengolea, Valeria Susana
format doctoralThesis
author Bengolea, Valeria Susana
author_sort Bengolea, Valeria Susana
title Mejoras al testing exhaustivo acotado
title_short Mejoras al testing exhaustivo acotado
title_full Mejoras al testing exhaustivo acotado
title_fullStr Mejoras al testing exhaustivo acotado
title_full_unstemmed Mejoras al testing exhaustivo acotado
title_sort mejoras al testing exhaustivo acotado
publishDate 2016
url http://hdl.handle.net/11086/2874
work_keys_str_mv AT bengoleavaleriasusana mejorasaltestingexhaustivoacotado
_version_ 1806949991712817152

Ejemplares similares