Supporting Efficient and Advanced Omniscient Debugging for xDSMLs

Erwan Bousse 1 Jonathan Corley 2 Benoit Combemale 1 Jeff Gray 2 Benoit Baudry 1
1 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 Department of Computer Science [Alabama]
Abstract : Omniscient debugging is a promising technique that relies on execution traces to enable free traversal of the states reached by a system during an execution. While some General-Purpose Languages (GPLs) already have support for omniscient debugging, developing such a complex tool for any executable Domain-Specific Modeling Language (xDSML) remains a challenging and error prone task. A solution to this problem is to define a generic omniscient debugger for all xDSMLs. However, generically supporting any xDSML both compromises the efficiency and the usability of such an approach. Our contribution relies on a partly generic omniscient debugger supported by generated domain-specific trace management facilities. Being domain-specific, these facilities are tuned to the considered xDSML for better efficiency. Usability is strengthened by providing multidimensional omniscient debugging. Results show that our approach is on average 3.0 times more efficient in memory and 5.03 more efficient in time when compared to a generic solution that copies the model at each step.
Keywords : xDSML Omniscient Debugger Execution Trace
Type de document :
Communication dans un congrès
8th International Conference on Software Language Engineering (SLE), Oct 2015, Pittsburg, United States. 〈http://www.sleconf.org/2015/〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01182517
Contributeur : Erwan Bousse <>
Soumis le : vendredi 21 août 2015 - 18:37:07
Dernière modification le : vendredi 16 novembre 2018 - 01:39:29
Document(s) archivé(s) le : mercredi 26 avril 2017 - 10:22:17

Fichier

bousse-corley-omniscient-debug...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01182517, version 2

Collections

UNIV-RENNES1 | INSTITUT-TELECOM | INRIA | IRISA | IRISA-D4 | UR1-UFR-ISTIC | CENTRALESUPELEC | UNIV-RENNES

Citation

Erwan Bousse, Jonathan Corley, Benoit Combemale, Jeff Gray, Benoit Baudry. Supporting Efficient and Advanced Omniscient Debugging for xDSMLs. 8th International Conference on Software Language Engineering (SLE), Oct 2015, Pittsburg, United States. 〈http://www.sleconf.org/2015/〉. 〈hal-01182517v2〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

1411

Téléchargements de fichiers

278

Contact


archive-ouverte@inria.fr