LocFaults: A new flow-driven and constraint-based error localization approach

Abstract : We introduce in this paper LocFaults, a new flow-driven and constraint-based approach for error localization. The input is a faulty program for which a counter-example and a postcondition are provided. To identify helpful informa-tion for error location, we generate a constraint system for the paths of the control flow graph for which at most k con-ditional 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 max-imal subset of constraints satisfying the post condition. To compute the MCS, we extend the algorithm proposed by Liffiton and Sakallah [21] in order to handle programs with numerical statements more efficiently. The main advantage of this flow-driven approach is that the computed sets of suspicious instructions are small, each of them being asso-ciated with an identified path. Moreover, the constraint-programming based framework of LocFaults allows mix-ing Boolean and numerical constraints in an efficient and straightforward way. Preliminary experiments are quite en-couraging. * This work was partially supported by ANR VAC-SIM (ANR-11-INSE-0004), ANR AEOLUS (ANR-10-SEGI-0013), and OSEO ISI PAJERO projects.
Type de document :
Communication dans un congrès
ACM. SAC’15, SVT track, Apr 2015, Salamanca,, Spain. <10.1145/2695664.2695822>
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01094227
Contributeur : Michel Rueher <>
Soumis le : vendredi 19 décembre 2014 - 02:35:16
Dernière modification le : jeudi 9 avril 2015 - 01:02:26

Fichier

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

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Pas de modification 4.0 International License

Identifiants

Collections

Citation

Mohammed Bekkouche, Hélène Collavizza, Michel Rueher. LocFaults: A new flow-driven and constraint-based error localization approach . ACM. SAC’15, SVT track, Apr 2015, Salamanca,, Spain. <10.1145/2695664.2695822>. <hal-01094227>

Partager

Métriques

Consultations de
la notice

228

Téléchargements du document

407