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

Dans cet expose, nous presentons notre algorithme ameliore de localisation d'erreurs a partir de contre-exemples, LocFaults, base sur la programmation par contraintes et dirige par les flots. Cet algorithme analyse les chemins du CFG (Control Flow Graph) du programme errone pour calculer les sous-ensembles d'instructions suspectes permettant de corriger le programme. En effet, nous generons un systeme de contraintes pour les chemins du graphe de flot de controle pour lesquels au plus k instructions conditionnelles peuvent etre erronees. Ensuite, nous calculons les MCS (Minimal Correction Set) de taille limitee 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 etendons l'algorithme generique propose par Liffiton et Sakallah dans le but de traiter des programmes avec des instructions numeriques plus efficace-ment. Nous nous interessons a presenter l'aspect incremental de ce nouvel algorithme qui n'est pas encore presente aux JFPC.