Improving Constraint-Based Testing with Dynamic Linear Relaxations

Tristan Denmat 1 Arnaud Gotlieb 1 Mireille Ducassé 1
1 LIS - Logical Information Systems
IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Abstract : 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 based on 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 completeness or soundness of the overall CBT process. We implemented DLRs within the CBT tool TAUPO that generates test data for programs written in C. The approach has been validated on difficult non-linear properties over a few (academic) C programs.
Document type :
Conference papers
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00180513
Contributor : Sarah Douabin <>
Submitted on : Friday, October 19, 2007 - 2:08:52 PM
Last modification on : Thursday, November 15, 2018 - 11:57:36 AM
Long-term archiving on : Sunday, April 11, 2010 - 11:20:34 PM

File

issre07.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00180513, version 1

Citation

Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé. Improving Constraint-Based Testing with Dynamic Linear Relaxations. the 18th IEEE International Symposium on Software Reliability Engineering (ISSRE'07), Nov 2007, France. pp.00-00. ⟨hal-00180513⟩

Share

Metrics

Record views

537

Files downloads

184