Test-driven verification/validation of model transformations*

Lengyel László; Charaf Hassan

doi:10.1631/FITEE.1400111

Your Location：

Home >

Browse articles >

Test-driven verification/validation of model transformations*

Computer & Automation | Updated：2022-06-06

- Test-driven verification/validation of model transformations*
- 测试驱动的模式转换检验/认证
- Frontiers of Information Technology & Electronic Engineering Vol. 16, Issue 2, Pages: 85-97(2015)
- Affiliations：
  
  Department of Automation and Applied Informatics, Budapest University of Technology and Economics, Budapest 1117, Hungary
- Author bio：
  
  ‡Corresponding Author
- Funds：
- DOI：10.1631/FITEE.1400111
  CLC：
- Received：26 March 2014，
  
  Revised：2014-12-30，
  
  Accepted：15 December 2014，
  
  Published：2015-02
- Accepted：
Scan QR Code
Lengyel László, Charaf Hassan. Test-driven verification/validation of model transformations*[J]. Frontiers of Information Technology & Electronic Engineering, 2015, 16(2): 85-97.
DOI：

Lengyel László, Charaf Hassan. Test-driven verification/validation of model transformations*[J]. Frontiers of Information Technology & Electronic Engineering, 2015, 16(2): 85-97. DOI： 10.1631/FITEE.1400111.

摘要

目的

通过检验/认证模式转换，提升转换质量，从而提升软件工件质量。确保软件工件具有特定属性，满足实际中对软件产品的生成、改善、优化等不同需求。

创新

提供一种模式转换自动生成测试输入模型解决方案。

方法

强调模式转换验证与认证方法必要性，讨论模式转换验证与认证的不同场景（图1）及实际模式转换验证与认证领域内的开放性问题。

结论

介绍一种新型测试驱动模式转换检验与认证原理，为模式转换自动生成测试输入模型提供一种解决方案（算法1

2）。收集并讨论实际模式转换验证与认证领域内亟待解决的问题。

Abstract

Why is it important to verify/validate model transformations The motivation is to improve the quality of the transformations

and therefore the quality of the generated software artifacts. Verified/validated model transformations make it possible to ensure certain properties of the generated software artifacts. In this way

verification/validation methods can guarantee different requirements stated by the actual domain against the generated/modified/optimized software products. For example

a verified/ validated model transformation can ensure the preservation of certain properties during the model-to-model transformation. This paper emphasizes the necessity of methods that make model transformation verified/validated

discusses the different scenarios of model transformation verification and validation

and introduces the principles of a novel test-driven method for verifying/ validating model transformations. We provide a solution that makes it possible to automatically generate test input models for model transformations. Furthermore

we collect and discuss the actual open issues in the field of verification/validation of model transformations.

关键词

Keywords

references

D Akehurst , S Kent . A relational approach to defining transformations in a metamodel . LNCS , 2002 . 2460 243 - 258 . DOI: 10.1007/3-540-45800-X_20 http://doi.org/10.1007/3-540-45800-X_20 .

M Amrani , J Dingel , L Lambers , 等 . Towards a model transformation intent catalog . 2012 . Proc. 1st Workshop on the Analysis of Model Transformations . 3 - 8 . DOI: 10.1145/2432497.2432499 http://doi.org/10.1145/2432497.2432499 .

U Assmann . How to uniformly specify program analysis and transformation with graph rewrite systems . LNCS , 1996 . 1060 121 - 135 . DOI: 10.1007/3-540-61053-7_57 http://doi.org/10.1007/3-540-61053-7_57 .

U Assmann , A Ludwig . Aspect weaving with graph rewriting . LNCS , 2000 . 1799 24 - 36 . DOI: 10.1007/3-540-40048-6_3 http://doi.org/10.1007/3-540-40048-6_3 .

M Asztalos , L Lengyel , T Levendovszky . Towards automated, formal verification of model transformations . 2010 . IEEE Int. Conf. on Software Testing V&V . 15 - 24 . .

M Asztalos , P Ekler , L Lengyel , 等 . Applying online verification of model transformations to mobile social networks. Electronic Communications of the EASST . 2010 . Proc. 4th Int. Workshop on Graph-Based Tools . .

D Blostein , H Fahmy , A Grbavec . Issues in the practical use of graph rewriting . LNCS , 1996 . 1073 38 - 55 . DOI: 10.1007/3-540-61228-9_78 http://doi.org/10.1007/3-540-61228-9_78 .

K Czarnecki , S Helsen . Feature-based survey of model transformation approaches . IBM Syst J , 2006 . 45 ( 3 ): 621 - 646 . DOI: 10.1147/sj.453.0621 http://doi.org/10.1147/sj.453.0621 .

J de Lara , G Taentzer . Automated model transformation and its validation using AToM 3 and AGG . LNCS , 2004 . 2980 182 - 198 . DOI: 10.1007/978-3-540-25931-2_18 http://doi.org/10.1007/978-3-540-25931-2_18 .

J de Lara , H Vangheluwe , M Alfonseca . Meta-modelling and graph grammars for multiparadigm modelling in AToM . Softw Syst Model , 2004 . 3 ( 3 ): 194 - 209 . DOI: 10.1007/s10270-003-0047-5 http://doi.org/10.1007/s10270-003-0047-5 .

H Ehrig , A Habel , HJ Kreowski , 等 . From graph grammars to high level replacement systems . LNCS , 1991 . 532 269 - 291 . DOI: 10.1007/BFb0017395 http://doi.org/10.1007/BFb0017395 .

H Ehrig , A Habel , HJ Kreowski , 等 . Parallelism and concurrency in high-level replacement systems . Math Struct Comput Sci , 1991 . 1 ( 3 ): 361 - 404 . .

H Ehrig , G Engels , HJ Kreowski , 等 . Handbook on Graph Grammars and Computing by Graph Transformation: Application, Languages and Tools , 1999 . : Singapore World Scientific , .

H Ehrig , A Habel , J Padberg , 等 . Adhesive high-level replacement categories and systems . LNCS , 2004 . 3256 144 - 160 . DOI: 10.1007/978-3-540-30203-2_12 http://doi.org/10.1007/978-3-540-30203-2_12 .

H Ehrig , K Ehrig , U Prange , 等 . Fundamentals of Algebraic Graph Transformation . Monographs in Theoretical Computer Science , 2006 . : Springer .

H Giese , S Glesner , J Leitner , 等 . Towards verified model transformations . 2006 . ModeVVa Workshop Associated to MODELS . 78 - 93 . .

E Guerra , J de Lara . Event-driven grammars: relating abstract and concrete levels of visual languages . Softw Syst Model , 2007 . 6 ( 3 ): 317 - 347 . DOI: 10.1007/s10270-007-0051-2 http://doi.org/10.1007/s10270-007-0051-2 .

A Habel , R Heckel , G Taentzer . Graph grammars with negative application conditions . Fundam Inform , 1996 . 26 287 - 313 . .

WC Hetzel . The Complete Guide to Software Testing (2nd Ed.) , 1998 . Wiley , .

C Kaner . Exploratory testing . 2006 . Quality Assurance Institute Worldwide Annual Software Testing Conf . .

C Kaner , J Falk , HQ Nguyen . Testing Computer Software (2nd Ed.) , 1990 . : New York Wiley , .

G Karsai , A Agrawal , F Shi , 等 . On the use of graph transformation in the formal specification of model interpreters . J Univ Comput Sci , 2003 . 9 ( 11 ): 1296 - 1321 . .

A Kolawa , D Huizinga . Automated Defect Prevention: Best Practices in Software Management , 2007 . Wiley-IEEE Computer Society Press , 41 - 43 . .

S Lack , P Sobocinski . Adhesive categories . LNCS , 2004 . 2987 273 - 288 . .

A Leitner , I Ciupa , M Oriol , 等 . Contract Driven Development = Test Driven Development— Writing Test Cases . 2007 . Proc. 6th Joint Meeting of the European Software Engineering Conf. and the ACM SIGSOFT Symp. on the Foundations of Software Engineering . 425 - 434 . DOI: 10.1145/1287624.1287685 http://doi.org/10.1145/1287624.1287685 .

L Lengyel . Online Validation of Visual Model Transformations , 2006 . : Budapest, Hungary Department of Automation and Applied Informatics, Budapest University of Technology and Economics , PhD Thesis .

T Mens , P van Gorp . A taxonomy of model transformation . 2006 . Proc. Int. Workshop on Graph and Model Transformation . 125 - 142 . .

A Narayanan , G Karsai . Towards verifying model transformations . Electron Notes Theor Comput Sci , 2008 . 211 191 - 200 . DOI: 10.1016/j.entcs.2008.04.041 http://doi.org/10.1016/j.entcs.2008.04.041 .

OMG Unified Modeling Language (UML) Specification, Version 2.3, OMG document formal/2010-05-03 , 2010 . Available from http://www.uml.org/ http://www.uml.org/ .

OMG OMG Query/View/Transformation (QVT) Specification, Meta Object Facility 2.0 Query/Views/ Transformation Specification. OMG doc. formal/2011. 01.01 , 2011 . Available from http://www.omg.org/spec/QVT/ http://www.omg.org/spec/QVT/ .

OMG OMG Object Constraint Language (OCL) Specification, Version 2.3.1. OMG Document Formal/2012-05-09 , 2012 . Available from http://www.omg.org/spec/OCL/ http://www.omg.org/spec/OCL/ .

OMG OMG Model-Driven Architecture (MDA) Specification. OMG Document ormsc/14-06-01 , 2014 . Available from http://www.omg.org/mda/ http://www.omg.org/mda/ .

J Pan . Software Testing-18-849b Dependable Embedded Systems. Carnegie Mellon University , 1999 . Available from http://users.ece.cmu.edu/~koopman/des_s99/sw_testing/ http://users.ece.cmu.edu/~koopman/des_s99/sw_testing/ .

D Plump . Termination of graph rewriting is undecidable . Fundam Inf , 1998 . 33 ( 2 ): 201 - 209 . .

G Rozenberg . Handbook on Graph Grammars and Computing by Graph Transformation: Foundations , 1997 . : Singapore World Scientific , .

A Schürr . Specification of graph translators with triple graph grammars . LNCS , 1994 . 903 151 - 163 . DOI: 10.1007/3-540-59071-4_45 http://doi.org/10.1007/3-540-59071-4_45 .

E Syriani . Matters of Model Transformation. No. SOCS-TR-2009.2 , 2009 . School of Computer Science, McGill University , .

G Taentzer , K Ehrig , E Guerra , 等 . Model transformation by graph transformation: a comparative study . 2005 . ACM/IEEE 8th Int. Conf. on Model Driven Engineering Languages and Systems . 1 - 48 . .

T Vajk , R Kereskényi , T Levendovszky , 等 . Raising the abstraction of domain-specific model translator development . 2009 . 16th Annual IEEE Int. Conf. and Workshop on the Engineering of Computer Based Systems . 31 - 37 . DOI: 10.1109/ECBS.2009.30 http://doi.org/10.1109/ECBS.2009.30 .

P van Gorp , H Stenten , T Mens , 等 . Towards automating source-consistent UML refactorings . LNCS , 2003 . 2863 144 - 158 . DOI: 10.1007/978-3-540-45221-8_15 http://doi.org/10.1007/978-3-540-45221-8_15 .

D Varró , A Pataricza . Automated formal verification of model transformations . 2003 . Proc. UML03 Workshop . 63 - 78 . .

D Varró , S Varró-Gyapay , H Ehrig , 等 . Termination analysis of model transformations by Petri nets . LNCS , 2006 . 4178 260 - 274 . DOI: 10.1007/11841883_19 http://doi.org/10.1007/11841883_19 .

Views

Downloads

CSCD

Alert me when the article has been cited

Submit

Tools

Publicity Resources

No data

Related Author

No data

Related Institution

No data

Chat

Address：Zhejiang University Press, 148 Tianmushan Road, Hangzhou, China Postal code：310028
Tel：+86-571-88273162 Email：fitee@zju.edu.cn
It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.

⁰