Vérification interactive de propriétés à l'exécution d'un programme avec un débogueur - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

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

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.
Fichier principal
Vignette du fichier
paper.pdf (749.35 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01331973 , version 1 (15-06-2016)

Identifiants

  • HAL Id : hal-01331973 , version 1

Citer

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. ⟨hal-01331973⟩
143 Consultations
94 Téléchargements

Partager

Gmail Facebook X LinkedIn More