Une approche CSP pour l'aide à la localisation d'erreurs

Abstract : We introduce in this paper a new CP-based approach to support errors location in a program for which a counter-example is available, i.e. an instantiation of the input variables that violates the post-condition. To provide helpful information for error location, we generate a constraint system for the paths of the CFG (Control Flow Graph) for which at most k conditional statements may be erroneous. Then, we calculate Minimal Correction Sets (MCS) of bounded size for each of these paths. The removal of one of these sets of constraints yields a maximal satisfiable subset, in other words, a maximal subset of constraints satisfying the post condition. We extend the algorithm proposed by Liffiton and Sakallah \cite{LiS08} to handle programs with numerical statements more efficiently. We present preliminary experimental results that are quite encouraging.
Type de document :
Communication dans un congrès
Dixièmes Journées Francophones de Programmation par Contraintes (JFPC 14), Jun 2014, Angers, France
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00957255
Contributeur : Michel Rueher <>
Soumis le : vendredi 25 avril 2014 - 22:17:56
Dernière modification le : vendredi 26 août 2016 - 16:45:30
Document(s) archivé(s) le : vendredi 25 juillet 2014 - 12:35:20

Fichiers

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

Identifiants

  • HAL Id : hal-00957255, version 2
  • ARXIV : 1404.6567

Collections

Citation

Mohammed Bekkouche, Hélène Collavizza, Michel Rueher. Une approche CSP pour l'aide à la localisation d'erreurs. Dixièmes Journées Francophones de Programmation par Contraintes (JFPC 14), Jun 2014, Angers, France. 〈hal-00957255v2〉

Partager

Métriques

Consultations de
la notice

552

Téléchargements du document

381