Efficient and scalable omniscient debugging for model transformations |
| |
Authors: | Jonathan Corley Brian P. Eddy Eugene Syriani Jeff Gray |
| |
Affiliation: | 1.Department of Computer Science,The University of Alabama,Tuscaloosa,USA;2.Department of Computer Science,University of West Florida,Pensacola,USA;3.Department of Computer Science,University of Montreal,Montreal,Canada |
| |
Abstract: | This paper discusses a technique for supporting omniscient debugging for model transformations, which are used to define core operations on software and system models. Similar to software systems developed using general-purpose languages, model transformations are also subject to human error and may possess defects. Existing model-driven engineering tools provide stepwise execution to aid developers in locating and removing defects. In this paper, we describe our investigation into a technique and associated algorithms that support omniscient debugging features for model transformations. Omniscient debugging enables enhanced navigation and exploration features during a debugging session beyond those possible in a strictly stepwise execution environment. Finally, the execution time performance is comparatively evaluated against stepwise execution, and the scalability (in terms of memory usage) is empirically investigated. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|