arrow
Return

Omniscient debugging for executable DSLs

delete2018-03-01
delete34
delete
OA
AI
E
Erwan Bousse *
D
D. J. LeRoy
B
Benoît Combemale
M
Manuel Wimmer
B
Benoît Baudry
DOI:10.1016/j.jss.2017.11.025delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En 中文
Omniscient debugging is a promising technique that relies on execution traces to enable free traversal of the states reached by a model (or program) during an execution. While a few General-Purpose Languages (GPLs) already have support for omniscient debugging, developing such a complex tool for any executable Domain Specific Language (DSL) remains a challenging and error prone task. A generic solution must: support a wide range of executable DSLs independently of the metaprogramming approaches used for implementing their semantics; be efficient for good responsiveness. Our contribution relies on a generic omniscient debugger supported by efficient generic trace management facilities. To support a wide range of executable DSLs, the debugger provides a common set of debugging facilities, and is based on a pattern to define runtime services independently of metaprogramming approaches. Results show that our debugger can be used with various executable DSLs implemented with different metaprogramming approaches. As compared to a solution that copies the model at each step, it is on average sixtimes more efficient in memory, and at least 2.2 faster when exploring past execution states, while only slowing down the execution 1.6 times on average. (C) 2017 Elsevier Inc. All rights reserved.
Keywords:
Software Language Engineering
Domain-Specific Languages
Executable DSL
Omniscient debugging
Execution trace
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

Journal of Systems and Software cover
Journal of Systems and Software
IF:
4.1
Papers:
5.4K
Citations:
8.4K

Organization

J
Johannes Kepler University Linz
Scholars:
5.5K
Papers: 4.6K
Citations: 106
R
Royal Institute of Technology
Scholars:
1.8W
Papers: 1.8W
Citations: 25
U
universite de toulouse
Scholars:
3.5W
Papers: 2.7W
Citations: 37
T
Technische Universitat Wien
Scholars:
1.3W
Papers: 1.1W
Citations: 21
researcher View more organizations