|
Descripción
|
|
|---|---|
| Test Data Generation (TDG) aims at automatically obtaining test inputs which can then be used by a software testing tool to validate the functional behaviour of the program. In this paper, we propose resource-aware TDG, whose purpose is to generate test cases (from which the test inputs are obtained) with associated resource consumptions. The framework is parametric w.r.t. the notion of resource (it can measure memory, steps, etc.) and allows using software testing to detect bugs related to non-functional aspects of the program. As a further step, we introduce resource-driven TDG whose purpose is to guide the TDG process by taking resource consumption into account. Interestingly, given a resource policy, TDG is guided to generate test cases that adhere to the policy and avoid the generation of test cases which violate it. | |
|
Internacional
|
Si |
|
Nombre congreso
|
Logic-Based Program Synthesis and Transformation (LOPSTR'12) |
|
Tipo de participación
|
960 |
|
Lugar del congreso
|
Leuven (Bélgica) |
|
Revisores
|
Si |
|
ISBN o ISSN
|
978-3-642-38196-6 |
|
DOI
|
http://dx.doi.org/10.1007/978-3-642-32211-2_3 |
|
Fecha inicio congreso
|
18/09/2012 |
|
Fecha fin congreso
|
20/09/2012 |
|
Desde la página
|
25 |
|
Hasta la página
|
41 |
|
Título de las actas
|
Logic-Based Program Synthesis and Transformation. 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers |