Exploration de la scalabilité de LocFaults

Mohammed Bekkouche 1, *
* Auteur correspondant
Résumé : Un vérificateur de modèle peut produire une trace de contre-exemple, pour un programme erroné, qui est souvent longue et difficile a comprendre. En général , la partie qui concerne les boucles est la plus importante parmi les instructions de cette trace. Ce qui rend la localisation d'erreurs dans les boucles cruciale, pour analyser les erreurs dans le programme en global. Dans ce papier, nous explorons les capacités de la scalabilité de LocFaults, notre approche de localisation d'erreurs exploitant les chemins du CFG(Controle Flow Graph) à partir d'un contre-exemple pour calculer les DCMs(Déviations de Correction Minimales), ainsi les MCSs(Minimal Correction Subsets) à partir de chaque DCM. Nous présentons les temps de notre approche sur des programmes avec boucles While dépliées b fois, et un nombre de conditions déviées allant de 0 à n. Nos résultats préliminaires montrent que les temps de notre approche, basée sur les contraintes et dirigée par les flots, sont meilleurs par rapport a BugAssist qui se base sur SAT et transforme la totalité du programme en une formule booléenne , et de plus l'information fournie par LocFaults est plus expressive pour l'utilisateur.
Type de document :
Rapport
[Rapport de recherche] Univ. Nice Sophia Antipolis, CNRS, I3S, UMR 7271, 06900 Sophia Antipolis, France. 2015
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01132780
Contributeur : Mohammed Bekkouche <>
Soumis le : mercredi 18 mars 2015 - 11:51:45
Dernière modification le : vendredi 16 septembre 2016 - 15:06:28
Document(s) archivé(s) le : lundi 22 juin 2015 - 07:03:53

Fichiers

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

Identifiants

  • HAL Id : hal-01132780, version 1
  • ARXIV : 1503.05530

Collections

I3S | UNICE | LARA

Citation

Mohammed Bekkouche. Exploration de la scalabilité de LocFaults. [Rapport de recherche] Univ. Nice Sophia Antipolis, CNRS, I3S, UMR 7271, 06900 Sophia Antipolis, France. 2015. 〈hal-01132780〉

Partager

Métriques

Consultations de la notice

377

Téléchargements de fichiers

196