Formal Specification and Testing of Model Transformations
作者： Antonio Vallecillo , Martin Gogolla , Loli Burgueno , Manuel Wimmer , Lars Hamann
DOI: 10.1007/978-3-642-30982-3_11
关键词:
摘要: In this paper we present some of the key issues involved in model transformation specification and testing, discuss classify existing approaches, introduce concept Tract, a generalization contracts. We show how Tracts can be used for black-box kinds analyses they allow. Some representative examples are to illustrate approach.
springer.com
springerlink.com参考文章(56)
Graph Transformations and Model-Driven Engineering Lecture Notes in Computer Science. ,vol. 5765, ,(2010) , 10.1007/978-3-642-17322-6
Eugene Syriani, Gergely Mezei, Hans Vangheluwe, Manuel Wimmer, Thomas Kühne, Systematic Transformation Development Electronic Communication of The European Association of Software Science and Technology. ,vol. 21, pp. 1- 10 ,(2009) , 10.14279/TUJ.ECEASST.21.290
Bernhard Rumpe, Ingo Weisemöller, A Domain Specific Transformation Language arXiv: Software Engineering. ,(2014)
Yuehua Lin, Jing Zhang, Jeff Gray, A Testing Framework for Model Transformations Model-Driven Software Development. pp. 219- 236 ,(2005) , 10.1007/3-540-28554-7_10
Eric Cariou, Laurence Duchien, Lionel Seinturier, Raphaël Marvie, OCL for the Specification of Model Transformation Contracts ,(2004)
Martin Gogolla, Lars Hamann, Mirco Kuhlmann, None, Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases Tests and Proofs. pp. 38- 54 ,(2010) , 10.1007/978-3-642-13977-2_5
Pau Giner, Vicente Pelechano, Test-Driven Development of Model Transformations model driven engineering languages and systems. pp. 748- 752 ,(2009) , 10.1007/978-3-642-04425-0_61
Martin Gogolla, Antonio Vallecillo, None, Tractable Model Transformation Testing Modelling Foundations and Applications. pp. 221- 235 ,(2011) , 10.1007/978-3-642-21470-7_16
Dániel Varró, Szilvia Varró–Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer, Termination Analysis of Model Transformations by Petri Nets Lecture Notes in Computer Science. pp. 260- 274 ,(2006) , 10.1007/11841883_19
Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio, JTL: A Bidirectional and Change Propagating Transformation Language Software Language Engineering. pp. 183- 202 ,(2011) , 10.1007/978-3-642-19440-5_11