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

Le monitoring est l’etude d’un systeme pendant son execution, en surveillant les evenements qui y entrent et qui en sortent, afin de decouvrir, verifier ou pour faire respecter des proprietes a l’execution. Le debogage est l’etude d’un systeme pendant son execution afin de trouver et comprendre ses dysfonctionnements dans le but de les corriger, en inspectant son etat interne, de maniere interactive. Dans ce papier, nous combinons le monitoring et le debogage en definissant un moyen efficace et pratique de verifier automatiquement des proprietes a l’execution d’un programme a l’aide d’un debogueur afin d’aider a detecter des anomalies dans son code, en conservant le caractere interactif du debogage classique.