Visual Debugging of Behavioural Models - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Visual Debugging of Behavioural Models

Résumé

In this paper, we present the CLEAR visualizer tool, which supports the debugging task of behavioural models being analyzed using model checking techniques. The tool provides visualization techniques for simplifying the comprehension of counterexamples by highlighting some specific states in the model where a choice is possible between executing a correct behaviour or falling into an erroneous part of the model. Our tool was applied successfully to many case studies and allowed us to visually identify several kinds of typical bugs. Video URL: https://youtu.be/nJLOnRaPe1A.
Fichier principal
Vignette du fichier
main.pdf (5.7 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02145535 , version 1 (03-06-2019)

Identifiants

Citer

Gianluca Barbon, Vincent Leroy, Gwen Salaün, Emmanuel Yah. Visual Debugging of Behavioural Models. ICSE 2019 - IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings, May 2019, Montreal, Canada. pp.107-110, ⟨10.1109/ICSE-Companion.2019.00050⟩. ⟨hal-02145535⟩
161 Consultations
154 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More