Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

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 metadata

Cited literature [1 references]  Display  Hide  Download

https://hal.inria.fr/hal-01331973
Contributor : Yliès Falcone Connect in order to contact the contributor
Submitted on : Wednesday, June 15, 2016 - 9:14:28 AM
Last modification on : Wednesday, July 6, 2022 - 4:22:46 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

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

139

Files downloads

82