RDBG: a Reactive Programs Extensible Debugger - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

RDBG: a Reactive Programs Extensible Debugger

Erwan Jahier

Résumé

Debugging reactive programs requires to provide a lot of inputs – at each reaction step. Moreover, because a reactive system reacts to an environment it tries to control, providing realistic inputs can be hard. The same considerations apply for automatic testing. This work take advantage on previous work on automated testing of re-active programs that close this feedback loop. This article demonstrates how to implement opportunistically such a debugging commands interpreter by taking advantage of an existing (ocaml) toplevel Read-Eval-Print Loop (REPL). Then it shows how a small kernel is enough to build a full-featured de-bugger with little effort. The given examples provide a tutorial for end-users that wish to write their own debugging primitives, fitting to their needs, or to tune existing ones. An orthogonal contribution of this article is to present an efficient way to implement the debugger coroutining using continuations. The Reactive programs DeBuGger (RDBG) prototype aims at being versatile and general enough to be able to deal with any reactive languages. We have experimented it on 2 synchronous programming: Lustre and Lutin.
Fichier principal
Vignette du fichier
main.pdf (215.63 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01295229 , version 1 (30-03-2016)

Identifiants

  • HAL Id : hal-01295229 , version 1

Citer

Erwan Jahier. RDBG: a Reactive Programs Extensible Debugger. 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES'16), May 2016, Sankt Goar, Germany. ⟨hal-01295229⟩
145 Consultations
139 Téléchargements

Partager

Gmail Facebook X LinkedIn More