Une approche CSP pour l'aide à la localisation d'erreurs - Archive ouverte HAL Accéder directement au contenu
Rapport Année : 2014

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

Résumé

Nous proposons dans cet article une nouvelle approche basée sur la CP pour l'aide à la localisation des erreurs dans un programme. Nous supposons qu'un contre-exemple a été trouvé, c'est à dire que l'on dispose d'une instanciation des variables d'entrée qui viole la post-condition. Pour aider à localiser les erreurs, nous générons un système de contraintes pour les chemins du CFG (Graphe de Flot de Contrôle) où au plus k instructions conditionnelles sont susceptibles de contenir des erreurs. Puis, nous calculons pour chacun de ces chemins des ensembles minima de correction (ou MCS - Minimal Correction Set) de taille bornée. Le retrait d'un de ces ensembles de contraintes produit un MSS (Maximal Satisfiable Subset) qui ne viole plus la post condition. Nous adaptons pour cela un algorithme proposé par Liffiton et Sakallah \cite{LiS08} afin de pouvoir traiter plus efficacement des programmes avec des calculs numériques. Nous présentons les résultats des premières expérimentations qui sont encourageants.
Fichier principal
Vignette du fichier
mcs_jfpc14.pdf (218.05 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-00957255 , version 1

Citer

Mohammed Bekkouche, Hélène Collavizza, Michel Rueher. Une approche CSP pour l'aide à la localisation d'erreurs. 2014. ⟨hal-00957255v1⟩
358 Consultations
291 Téléchargements

Partager

Gmail Facebook X LinkedIn More