Dynamic backward slicing of model transformations

Zoltán Ujhelyi, Ákos Horváth, Dániel Varró

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Citations (Scopus)

Abstract

Model transformations are frequently used means for automating software development in various domains to improve quality and reduce production costs. Debugging of model transformations often necessitates identifying parts of the transformation program and the transformed models which have causal dependence on a selected statement. In traditional programming environments, program slicing techniques are widely used to calculate control and data dependencies between the statements of the program. Here, we introduce program slicing for model transformations where the main challenge is to simultaneously assess data and control dependencies over the transformation program and the underlying models of the transformation. In this paper, we present a dynamic backward slicing approach for both model transformation programs and their transformed models based on automatically generated execution trace models of transformations. We evaluate our approach using different transformation case studies.

Original languageEnglish
Title of host publicationProceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012
Pages1-10
Number of pages10
DOIs
Publication statusPublished - Jun 21 2012
Event5th IEEE International Conference on Software Testing, Verification and Validation, ICST 2012 - Montreal, QC, Canada
Duration: Apr 17 2012Apr 21 2012

Publication series

NameProceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012

Other

Other5th IEEE International Conference on Software Testing, Verification and Validation, ICST 2012
CountryCanada
CityMontreal, QC
Period4/17/124/21/12

    Fingerprint

Keywords

  • model transformations
  • program slicing

ASJC Scopus subject areas

  • Software

Cite this

Ujhelyi, Z., Horváth, Á., & Varró, D. (2012). Dynamic backward slicing of model transformations. In Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012 (pp. 1-10). [6200091] (Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012). https://doi.org/10.1109/ICST.2012.80