Dynamic backward slicing of model transformations

Zoltán Ujhelyi, Ákos Horváth, D. 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 - 2012
Event5th IEEE International Conference on Software Testing, Verification and Validation, ICST 2012 - Montreal, QC, Canada
Duration: Apr 17 2012Apr 21 2012

Other

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

Fingerprint

Software engineering
Costs

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] https://doi.org/10.1109/ICST.2012.80

Dynamic backward slicing of model transformations. / Ujhelyi, Zoltán; Horváth, Ákos; Varró, D.

Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012. 2012. p. 1-10 6200091.

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

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., 6200091, pp. 1-10, 5th IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Montreal, QC, Canada, 4/17/12. https://doi.org/10.1109/ICST.2012.80
Ujhelyi Z, Horváth Á, Varró D. Dynamic backward slicing of model transformations. In Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012. 2012. p. 1-10. 6200091 https://doi.org/10.1109/ICST.2012.80
Ujhelyi, Zoltán ; Horváth, Ákos ; Varró, D. / Dynamic backward slicing of model transformations. Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012. 2012. pp. 1-10
@inproceedings{34848fb4c4fb43f8af3a727946bbe3a7,
title = "Dynamic backward slicing of model transformations",
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.",
keywords = "model transformations, program slicing",
author = "Zolt{\'a}n Ujhelyi and {\'A}kos Horv{\'a}th and D. Varr{\'o}",
year = "2012",
doi = "10.1109/ICST.2012.80",
language = "English",
isbn = "9780769546704",
pages = "1--10",
booktitle = "Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012",

}

TY - GEN

T1 - Dynamic backward slicing of model transformations

AU - Ujhelyi, Zoltán

AU - Horváth, Ákos

AU - Varró, D.

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

KW - model transformations

KW - program slicing

UR - http://www.scopus.com/inward/record.url?scp=84862333266&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84862333266&partnerID=8YFLogxK

U2 - 10.1109/ICST.2012.80

DO - 10.1109/ICST.2012.80

M3 - Conference contribution

AN - SCOPUS:84862333266

SN - 9780769546704

SP - 1

EP - 10

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

ER -