Une approche CSP pour l'aide à la localisation d'erreurs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

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

Résumé

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.
Fichier principal
Vignette du fichier
mcs_jfpc14.pdf (255.61 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00957255 , version 1 (09-03-2014)
hal-00957255 , version 2 (25-04-2014)

Identifiants

Citer

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⟩
358 Consultations
291 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More