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

Aguirre, Nazareno; Bengolea, Valeria; Galeotti, Juan Pablo; Frías, Marcelo

Ponencia en Congreso:
Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs

dc.contributor.author	Aguirre, Nazareno
dc.contributor.author	Bengolea, Valeria
dc.contributor.author	Galeotti, Juan Pablo
dc.contributor.author	Frías, Marcelo
dc.date.accessioned	2022-11-15T14:53:01Z
dc.date.available	2022-11-15T14:53:01Z
dc.date.issued	2011
dc.description.abstract	"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."
dc.identifier.issn	0302-9743
dc.identifier.uri	https://ri.itba.edu.ar/handle/123456789/4007
dc.language.iso	en
dc.relation	info:eu-repo/semantics/altIdentifier/doi/doi:10.1007/978-3-642-21768-5_3
dc.title	Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs
dc.type	Ponencias en Congresos
dc.type	info:eu-repo/semantics/acceptedVersion
dspace.entity.type	Ponencia en Congreso
itba.description.filiation	Fil: Aguirre, Nazareno. Universidad Nacional de Río Cuarto; Argentina.
itba.description.filiation	Fil: Aguirre, Nazareno. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiation	Fil: Bengolea, Valeria. Universidad Nacional de Río Cuarto; Argentina.
itba.description.filiation	Fil: Bengolea, Valeria. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiation	Fil: Frías, Marcelo. Instituto Tecnológico de Buenos Aires; Argentina.
itba.description.filiation	Fil: Frías, Marcelo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiation	Fil: Galeotti, Juan Pablo. Universidad de Buenos Aires; Argentina.
itba.description.filiation	Fil: Galeotti, Juan Pablo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.