Localisation de fautes à l’aide de la fouille de données sous contraintes

Mehdi Maamar Nadjib Lazaar 1 Samir Loudni 2 Yahia Lebbah 3
1 COCONUT - Agents, Apprentissage, Contraintes
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
2 Equipe CODAG - Laboratoire GREYC - UMR6072
GREYC - Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen
Résumé : Nous proposons dans cet article une approche basée sur la fouille de motifs ensemblistes sous contraintes pour la localisation des fautes dans les programmes. Nous formalisons le problème de localisation des fautes comme un problème d’extraction des k meilleurs motifs satisfaisant un ensemble de contraintes modélisant les instructions les plus suspectes. Nous faisons appel à la programmation par contraintes pour modéliser et résoudre le problème de localisation. Les expérimentations menées sur une série de programmes montrent que notre approche offre une localisation plus précise comparée à Tarantula.
Type de document :
Communication dans un congrès
COSI: Colloque sur l'Optimisation et les Systèmes d'Information, Jun 2015, Oran, Algérie. Colloque sur l'Optimisation et les Systèmes d'Information COSI'2015, 1-3 Juin 2015, Oran, Algérie Université Oran 1, Ahmed Ben Bella, 2015, 〈http://www.isima.fr/cosi/cosi2015/dates.php〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01276185
Contributeur : Joël Quinqueton <>
Soumis le : jeudi 18 février 2016 - 22:07:58
Dernière modification le : jeudi 11 janvier 2018 - 06:26:23

Identifiants

  • HAL Id : lirmm-01276185, version 1

Citation

Mehdi Maamar, Nadjib Lazaar, Samir Loudni, Yahia Lebbah. Localisation de fautes à l’aide de la fouille de données sous contraintes. COSI: Colloque sur l'Optimisation et les Systèmes d'Information, Jun 2015, Oran, Algérie. Colloque sur l'Optimisation et les Systèmes d'Information COSI'2015, 1-3 Juin 2015, Oran, Algérie Université Oran 1, Ahmed Ben Bella, 2015, 〈http://www.isima.fr/cosi/cosi2015/dates.php〉. 〈lirmm-01276185〉

Partager

Métriques

Consultations de la notice

46