Nous proposons dans cet article une nouvelle approche baséee 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... more
Nous proposons dans cet article une nouvelle approche baséee 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 Controle) 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 afin de pouvoir traiter plus efficacement des programmes avec des calculs numériques. Nous présentons les résultats des premières expéri...
