Vérification interactive de propriétés à l'exécution d'un programme avec un débogueur

Raphaël Jakse 1, * Yliès Falcone 1 Jean-François Méhaut 1 Kevin Pouget 1
* Auteur correspondant
1 CORSE - Compiler Optimization and Run-time Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Résumé : Le monitoring est l'étude d'un système pendant son exécution, en surveillant les évènements qui y entrent et qui en sortent, afin de découvrir, vérifier ou pour faire respecter des propriétés à l'exécution. Le débogage est l'étude d'un système pendant son exécution afin de trouver et comprendre ses dysfonctionnements dans le but de les corriger, en inspectant son état interne, de manière interactive. Dans ce papier, nous combinons le monitoring et le débogage en définissant un moyen efficace et pratique de vérifier automatiquement des propriétés à l'exécution d'un programme à l'aide d'un débogueur afin d'aider à détecter des anomalies dans son code, en conservant le caractère interactif du débogage classique.
Type de document :
Communication dans un congrès
Compas’2016, Jul 2016, Lorient, France. Compas’2016 : Parallélisme / Architecture / Système Lorient, France, du 5 au 8 juillet 2016
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01331973
Contributeur : Yliès Falcone <>
Soumis le : mercredi 15 juin 2016 - 09:14:28
Dernière modification le : jeudi 11 janvier 2018 - 06:27:21
Document(s) archivé(s) le : vendredi 16 septembre 2016 - 10:30:14

Fichier

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

Identifiants

  • HAL Id : hal-01331973, version 1

Collections

Citation

Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget. Vérification interactive de propriétés à l'exécution d'un programme avec un débogueur. Compas’2016, Jul 2016, Lorient, France. Compas’2016 : Parallélisme / Architecture / Système Lorient, France, du 5 au 8 juillet 2016. 〈hal-01331973〉

Partager

Métriques

Consultations de la notice

286

Téléchargements de fichiers

69