Un algorithme incrémental dirigé par les flots et basé sur les contraintes pour l'aide à la localisation d'erreurs

Résumé : Dans cet exposé, nous présentons notre algorithme amélioré de localisation d'erreurs a partir de contre-exemples, LocFaults, basé sur la programmation par contraintes et dirigé par les flots. Cet algorithme analyse les chemins du CFG (Control Flow Graph) du programme erroné pour calculer les sous-ensembles d'instructions suspectes permettant de corriger le programme. En effet, nous générons un système de contraintes pour les chemins du graphe de flot de contrôle pour lesquels au plus k instructions conditionnelles peuvent être erronées. Ensuite, nous calculons les MCS (Minimal Correction Set) de taille limitée sur chacun de ces chemins. La suppression de l'un de ces ensembles de contraintes donne un sous-ensemble satisfiable maximal, en d'autres termes, un sous-ensemble maximal de contraintes satis-faisant la postcondition. Pour calculer les MCS, nous étendons l'algorithme générique proposé par Liffiton et Sakallah dans le but de traiter des programmes avec des instructions numériques plus efficace-ment. Nous nous intéressons a présenter l'aspect incrémental de ce nouvel algorithme qui n'est pas encore présenté aux JFPC.
Type de document :
Communication dans un congrès
JFPC 2015 : Onzièmes Journées Francophones de Programmation par Contraintes, Jun 2015, Bordeaux, France. 2015, <http://jfpc2015.labri.fr/>


https://hal.archives-ouvertes.fr/hal-01152341
Contributeur : Mohammed Bekkouche <>
Soumis le : vendredi 15 mai 2015 - 23:34:36
Dernière modification le : mardi 19 mai 2015 - 01:11:42

Fichier

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

Identifiants

  • HAL Id : hal-01152341, version 1

Collections

Citation

Mohammed Bekkouche, Hélène Collavizza, Michel Rueher. Un algorithme incrémental dirigé par les flots et basé sur les contraintes pour l'aide à la localisation d'erreurs. JFPC 2015 : Onzièmes Journées Francophones de Programmation par Contraintes, Jun 2015, Bordeaux, France. 2015, <http://jfpc2015.labri.fr/>. <hal-01152341>

Partager

Métriques

Consultations de
la notice

71

Téléchargements du document

40