ponencia en congreso.page.titleprefix 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. |