Sciweavers

Share
ISSRE
2007
IEEE

Improving Constraint-Based Testing with Dynamic Linear Relaxations

9 years 7 months ago
Improving Constraint-Based Testing with Dynamic Linear Relaxations
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given under the form of properties to be satisfied by program’s input/output. Whenever the program or the properties contain disjunctions or multiplications between variables, CBT faces the problem of solving non-linear constraint systems. Currently, existing CBT tools tackle this problem by exploiting a finite-domains constraint solver. But, solving a non-linear constraint system over finite domains is NP hard and CBT tools fail to handle properly most properties to be tested. In this paper, we present a CBT approach where a finite domain constraint solver is enhanced by Dynamic Linear Relaxations (DLRs). DLRs are linear abstractions derived during the constraint solving process. They dramatically increase the solving capabilities of the solver in the presence of non-linear constraints without compromising the ...
Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2007
Where ISSRE
Authors Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
Comments (0)
books