Skip to Main content Skip to Navigation
Conference papers

On Testing Constraint Programs

Nadjib Lazaar 1 Arnaud Gotlieb 1 Yahia Lebbah 2
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : The success of several constraint-based modeling languages such as OPL, ZINC, or COMET, appeals for better software engineer- ing practices, particularly in the testing phase. This paper introduces a testing framework enabling automated test case generation for constraint programming.We propose a general framework of constraint program de- velopment which supposes that a rst declarative and simple constraint model is available from the problem speci cations analysis. Then, this model is re ned using classical techniques such as constraint reformu- lation, surrogate and global constraint addition, or symmetry-breaking to form an improved constraint model that must be thoroughly tested before being used to address real-sized problems. We think that most of the faults are introduced in this re nement step and propose a pro- cess which takes the rst declarative model as an oracle for detecting non-conformities. We derive practical test purposes from this process to generate automatically test data that exhibit non-conformities. We im- plemented this approach in a new tool called CPTEST that was used to automatically detect non-conformities on two classical benchmark pro- grams, namely the Golomb rulers and the car-sequencing problem.
Document type :
Conference papers
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-00699237
Contributor : Arnaud Gotlieb <>
Submitted on : Monday, May 21, 2012 - 11:12:23 AM
Last modification on : Monday, July 27, 2020 - 10:32:02 AM
Long-term archiving on: : Wednesday, August 22, 2012 - 2:22:11 AM

File

CP10nl1.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00699237, version 1

Citation

Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah. On Testing Constraint Programs. 16th Int. Conf. on Principles and Practices of Constraint Programming (CP'2010), Sep 2010, St Andrews, Scotland, United Kingdom. ⟨hal-00699237⟩

Share

Metrics

Record views

497

Files downloads

241