On Testing Constraint Programs

Nadjib Lazaar 1, * Arnaud Gotlieb 1, * Lebbah Yahia 2, *
* Auteur correspondant
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe CEP
Laboratoire I3S - MDSC - Modèles Discrets pour les Systèmes Complexes
Abstract : The success of several constraint-based modeling languages such as OPL, ZINC, or COMET, appeals for better software engineering 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 development which supposes that a first declarative and simple constraint model is available from the problem specifications analysis. Then, this model is refined using classical techniques such as constraint reformulation, 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 refinement step and propose a process which takes the first 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 implemented this approach in a new tool called CPTEST that was used to automatically detect non-conformities on two classical benchmark programs, namely the Golomb rulers and the car-sequencing problem.
Type de document :
Rapport
[Research Report] RR-7291, INRIA. 2010
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00483410
Contributeur : Nadjib Lazaar <>
Soumis le : lundi 17 mai 2010 - 11:38:38
Dernière modification le : vendredi 16 novembre 2018 - 01:40:31
Document(s) archivé(s) le : jeudi 16 septembre 2010 - 14:45:39

Fichiers

RR-7291.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00483410, version 1
  • ARXIV : 1005.2882

Citation

Nadjib Lazaar, Arnaud Gotlieb, Lebbah Yahia. On Testing Constraint Programs. [Research Report] RR-7291, INRIA. 2010. 〈inria-00483410〉

Partager

Métriques

Consultations de la notice

457

Téléchargements de fichiers

179