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
Conference Papers Year : 2016

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

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01331973 , version 1

Cite

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⟩
152 View
102 Download

Share

More