IMDEA Software

Iniciativa IMDEA

Inicio > Eventos > Software Seminar Series > 2011 > Resource-driven CLP-based Test Data Generation
Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

José Miguel Rojas Siles

martes 22 de noviembre de 2011

11:00am Meeting room 302 (Mountain View), level 3

José Miguel Rojas Siles, PhD Student, The CLIP Laboratory, UPM

Resource-driven CLP-based Test Data Generation

Abstract:

Test Data Generation aims at automatically obtaining test inputs that can be used to validate the functional behaviour of the program through the use of software testing tools. In this talk, we will introduce 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 with respect to 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, which uses resource consumption information to guide the Test Data Generation process. We show that, given a resource policy, TDG can be guided to generate test cases that adhere to the policy and to avoid the generation of test cases which violate it.