Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
A Framework for Guided Test Case Generation in Constraint Logic Programming
Año:2013
Áreas de investigación
  • Lenguaje de programación
Datos
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
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: José Miguel Rojas Siles (UPM)
  • Autor: Miguel Gómez Zamalloa (Universidad Complutense de Madrid)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: COSTA (Verification, Analysis and Transformation)
S2i 2022 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)