Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs

Mostrar todas las versiones(2)

"The automated generation of test cases for heap allocated, complex, structures is particularly difficult. Various state of the art tools tackle this problem by bounded exhaustive exploration of potential test cases, using constraint solving mechanisms based on techniques such as search, model...

Descripción completa

Detalles Bibliográficos
Autores principales: Aguirre, Nazareno, Bengolea, Valeria, Galeotti, Juan Pablo, Frías, Marcelo
Formato: Ponencias en Congresos acceptedVersion
Lenguaje:Inglés
Publicado: 2022
Acceso en línea:https://ri.itba.edu.ar/handle/123456789/4007
Aporte de:
Repositorio Institucional Instituto Tecnológico de Buenos Aires (ITBA) de Instituto Tecnológico de Buenos Aires (ITBA)
id I32-R138-123456789-4007
record_format dspace
spelling I32-R138-123456789-40072022-12-07T14:13:27Z Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs Aguirre, Nazareno Bengolea, Valeria Galeotti, Juan Pablo Frías, Marcelo "The automated generation of test cases for heap allocated, complex, structures is particularly difficult. Various state of the art tools tackle this problem by bounded exhaustive exploration of potential test cases, using constraint solving mechanisms based on techniques such as search, model checking, symbolic execution and combinations of these. In this article we present a technique for improving the bounded ex haustive constraint based test case generation of structurally complex inputs, for “filtering” approaches. The technique works by guiding the search considering a given black box test criterion. Such a test criterion is incorporated in the constraint based mechanism so that the exploration of potential test cases can be pruned without missing coverable classes of inputs, corresponding to the test criterion. We present the technique, together with some case studies illustrating its performance for some black box testing criteria. The experimental results associated with these case studies are shown in the context of Korat, a state of the art tool for constraint based test case generation, but the approach is applicable in other contexts using a filtering approach to test generation." 2022-11-15T14:53:01Z 2022-11-15T14:53:01Z 2011 Ponencias en Congresos info:eu-repo/semantics/acceptedVersion 0302-9743 https://ri.itba.edu.ar/handle/123456789/4007 en info:eu-repo/semantics/altIdentifier/doi/doi:10.1007/978-3-642-21768-5_3 application/pdf
institution Instituto Tecnológico de Buenos Aires (ITBA)
institution_str I-32
repository_str R-138
collection Repositorio Institucional Instituto Tecnológico de Buenos Aires (ITBA)
language Inglés
description "The automated generation of test cases for heap allocated, complex, structures is particularly difficult. Various state of the art tools tackle this problem by bounded exhaustive exploration of potential test cases, using constraint solving mechanisms based on techniques such as search, model checking, symbolic execution and combinations of these. In this article we present a technique for improving the bounded ex haustive constraint based test case generation of structurally complex inputs, for “filtering” approaches. The technique works by guiding the search considering a given black box test criterion. Such a test criterion is incorporated in the constraint based mechanism so that the exploration of potential test cases can be pruned without missing coverable classes of inputs, corresponding to the test criterion. We present the technique, together with some case studies illustrating its performance for some black box testing criteria. The experimental results associated with these case studies are shown in the context of Korat, a state of the art tool for constraint based test case generation, but the approach is applicable in other contexts using a filtering approach to test generation."
format Ponencias en Congresos
acceptedVersion
author Aguirre, Nazareno
Bengolea, Valeria
Galeotti, Juan Pablo
Frías, Marcelo
spellingShingle Aguirre, Nazareno
Bengolea, Valeria
Galeotti, Juan Pablo
Frías, Marcelo
Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs
author_facet Aguirre, Nazareno
Bengolea, Valeria
Galeotti, Juan Pablo
Frías, Marcelo
author_sort Aguirre, Nazareno
title Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs
title_short Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs
title_full Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs
title_fullStr Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs
title_full_unstemmed Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs
title_sort incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs
publishDate 2022
url https://ri.itba.edu.ar/handle/123456789/4007
work_keys_str_mv AT aguirrenazareno incorporatingcoveragecriteriainboundedexhaustiveblackboxtestgenerationofstructuralinputs
AT bengoleavaleria incorporatingcoveragecriteriainboundedexhaustiveblackboxtestgenerationofstructuralinputs
AT galeottijuanpablo incorporatingcoveragecriteriainboundedexhaustiveblackboxtestgenerationofstructuralinputs
AT friasmarcelo incorporatingcoveragecriteriainboundedexhaustiveblackboxtestgenerationofstructuralinputs
_version_ 1765661117698277376

Ejemplares similares