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
* Corresponding author
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.
Complete list of metadatas

Cited literature [1 references]  Display  Hide  Download

https://hal.inria.fr/hal-01331973
Contributor : Yliès Falcone <>
Submitted on : Wednesday, June 15, 2016 - 9:14:28 AM
Last modification on : Friday, October 12, 2018 - 1:18:07 AM
Long-term archiving on : Friday, September 16, 2016 - 10:30:14 AM

File

paper.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-01331973⟩

Share

Metrics

Record views

318

Files downloads

93