Forensic debugging of model transformations

Authors:
Mark Hibberd;Michael Lawley;Kerry Raymond
Affiliations:
Queensland University of Technology, Brisbane, Australia;Queensland University of Technology, Brisbane, Australia;Queensland University of Technology, Brisbane, Australia
Venue:
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Year:
2007

Citing 15
Cited 5

A review of automated debugging systems: knowledge, strategies and techniques

ICSE '88 Proceedings of the 10th international conference on Software engineering
Generalized algorithmic debugging and testing

ACM Letters on Programming Languages and Systems (LOPLAS)
Programmers use slices when debugging

Communications of the ACM
Algorithmic Program DeBugging

Algorithmic Program DeBugging
Tracking down software bugs using automatic anomaly detection

Proceedings of the 24th International Conference on Software Engineering
Visualization of test information to assist fault localization

Proceedings of the 24th International Conference on Software Engineering
Algorithmic program diagnosis

POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Transformation: The Missing Link of MDA

ICGT '02 Proceedings of the First International Conference on Graph Transformation
Knowledge-based fault localization in debugging (Preliminary Draft)

SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
A Conversation with Bruce Lindsay

Queue - System Failures
A brief survey of program slicing

ACM SIGSOFT Software Engineering Notes
SOBER: statistical model-based bug localization

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Locating faults through automated predicate switching

Proceedings of the 28th international conference on Software engineering
Feature-based survey of model transformation approaches

IBM Systems Journal - Model-driven software development
Practical declarative model transformation with tefkat

MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS

A Landscape of Bidirectional Model Transformations

Generative and Transformational Techniques in Software Engineering II
Catch me if you can – debugging support for model transformations

MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Developing and visualizing live model queries

Proceedings of the First Workshop on the Analysis of Model Transformations
End-User support for debugging demonstration-based model transformation execution

ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Generating attribute grammar-based bidirectional transformations from rewrite rules

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software bugs occur in model-driven development, just as they do with traditional development techniques. We explore the types of bugs that occur in model transformations and identify debugging approaches that can be applied or adapted to a model-driven context. Investigation shows that the detailed source-to-target traceability available with model transformations enables effective post-hoc, or forensic, debugging. Forensic debugging techniques are introduced for automated bug localisation in model transformations. The methods discussed are grounded with examples using the Eclipse Modeling Framework (EMF) and Tefkat, a declarative model transformation engine.