Fault Localization in Constraint Programs

Abstract : Constraint programs such as those written in highlevel modeling languages (e.g., OPL [15], ZINC [14], or COMET [16]) must be thoroughly verified before being used in applications. Detecting and localizing faults is therefore of great importance to lower the cost of the development of these constraint programs. In a previous work, we introduced a testing framework called CPTEST enabling automated test case generation for detecting non-conformities [13]. In this paper, we enhance this framework to introduce automatic fault localization in constraint programs. Our approach is based on constraint relaxation to identify the constraint that is responsible of a given fault. CPTEST is henceforth able to automatically localize faults in optimized OPL programs. We provide empirical evidence of the effectiveness of this approach on classical benchmark problems, namely Golomb rulers, n-queens, social golfer and car sequencing.
Type de document :
Communication dans un congrès
22th Int. Conf. on Tools with Artificial Intelligence (ICTAI'2010), 2010, Arras, France. 2010
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00699235
Contributeur : Arnaud Gotlieb <>
Soumis le : lundi 21 mai 2012 - 11:14:51
Dernière modification le : jeudi 15 novembre 2018 - 11:57:41
Document(s) archivé(s) le : mercredi 22 août 2012 - 02:21:57

Fichier

ictai2010_CR.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00699235, version 1

Citation

Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah. Fault Localization in Constraint Programs. 22th Int. Conf. on Tools with Artificial Intelligence (ICTAI'2010), 2010, Arras, France. 2010. 〈hal-00699235〉

Partager

Métriques

Consultations de la notice

421

Téléchargements de fichiers

202