Resource-driven CLP-based Test Data Generation

November 22, 2011

José Miguel Rojas Siles


Resource-driven CLP-based Test Data Generation

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

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.