Criterios de cobertura sobre RepOK para reducir test suites exhaustivas acotadas: estudio de casos

La generación exhaustiva acotada de casos de test es una técnica de generación de entradas para programas que consiste en construir todas las posibles entradas válidas hasta cierta cota dada. Aunque el tamaño de la test suite generada está ligado a la cota provista, inclusive para cotas muy pequeñas...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Gutiérrez Brida, Simón, Aguirre, Nazareno Matías, Bengolea, Valeria
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2012
Materias:
Ciencias Informáticas
RepOK
SOFTWARE ENGINEERING
test suites
generación de entradas
programas informáticos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23727
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23727
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
RepOK
SOFTWARE ENGINEERING
test suites
generación de entradas
programas informáticos
spellingShingle Ciencias Informáticas
RepOK
SOFTWARE ENGINEERING
test suites
generación de entradas
programas informáticos
Gutiérrez Brida, Simón
Aguirre, Nazareno Matías
Bengolea, Valeria
Criterios de cobertura sobre RepOK para reducir test suites exhaustivas acotadas: estudio de casos
topic_facet Ciencias Informáticas
RepOK
SOFTWARE ENGINEERING
test suites
generación de entradas
programas informáticos
description La generación exhaustiva acotada de casos de test es una técnica de generación de entradas para programas que consiste en construir todas las posibles entradas válidas hasta cierta cota dada. Aunque el tamaño de la test suite generada está ligado a la cota provista, inclusive para cotas muy pequeñas las test suites obtenidas resultan considerablemente grandes, haciendo al uso de las mismas algo prohibitivo. En este trabajo revisaremos, adicionando nuevos casos de estudios, un enfoque para reducir el tamaño de las test suites generadas exhaustivamente presentado previamente. Este enfoque está basado en el uso de criterios de cobertura de código sobre el invariante de representación de la estructura sobre la cual la test suite es producida. La implementación de este invariante es utilizada para decidir cuándo dos entradas válidas pueden ser consideradas equivalentes, lo cual sucede si éstas ejercitan el código del invariante de representación de manera similar de acuerdo algún criterio de cobertura de código de caja blanca. Esta relación de equivalencia entre las entradas válidas es aprovechada para descartar casos de test que cubren clases de equivalencias ya cubiertas por algún otro caso de test presente en la suite. En este trabajo, se adicionan nuevos casos de estudios que muestran que, a medida que las cotas crecen, reducir las test suites exhaustivas aplicando la técnica presentada, produce resultados similares a las test suites exhaustivas, en cuanto a habilidad para matar mutantes.
format Objeto de conferencia
Objeto de conferencia
author Gutiérrez Brida, Simón
Aguirre, Nazareno Matías
Bengolea, Valeria
author_facet Gutiérrez Brida, Simón
Aguirre, Nazareno Matías
Bengolea, Valeria
author_sort Gutiérrez Brida, Simón
title Criterios de cobertura sobre RepOK para reducir test suites exhaustivas acotadas: estudio de casos
title_short Criterios de cobertura sobre RepOK para reducir test suites exhaustivas acotadas: estudio de casos
title_full Criterios de cobertura sobre RepOK para reducir test suites exhaustivas acotadas: estudio de casos
title_fullStr Criterios de cobertura sobre RepOK para reducir test suites exhaustivas acotadas: estudio de casos
title_full_unstemmed Criterios de cobertura sobre RepOK para reducir test suites exhaustivas acotadas: estudio de casos
title_sort criterios de cobertura sobre repok para reducir test suites exhaustivas acotadas: estudio de casos
publishDate 2012
url http://sedici.unlp.edu.ar/handle/10915/23727
work_keys_str_mv AT gutierrezbridasimon criteriosdecoberturasobrerepokparareducirtestsuitesexhaustivasacotadasestudiodecasos
AT aguirrenazarenomatias criteriosdecoberturasobrerepokparareducirtestsuitesexhaustivasacotadasestudiodecasos
AT bengoleavaleria criteriosdecoberturasobrerepokparareducirtestsuitesexhaustivasacotadasestudiodecasos
bdutipo_str Repositorios
_version_ 1764820466132844546

Ejemplares similares