|
|
|
| Test-driven verification/validation of model transformations |
| László Lengyel, Hassan Charaf |
| Department of Automation and Applied Informatics, Budapest University of Technology and Economics, Budapest 1117, Hungary |
|
|
|
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.
|
|
Received: 26 March 2014
Published: 29 January 2015
|
|
|
测试驱动的模式转换检验/认证
目的：通过检验/认证模式转换，提升转换质量，从而提升软件工件质量。确保软件工件具有特定属性，满足实际中对软件产品的生成、改善、优化等不同需求。
创新：提供一种模式转换自动生成测试输入模型解决方案。
方法：强调模式转换验证与认证方法必要性，讨论模式转换验证与认证的不同场景（图1）及实际模式转换验证与认证领域内的开放性问题。
结论：介绍一种新型测试驱动模式转换检验与认证原理，为模式转换自动生成测试输入模型提供一种解决方案（算法1,2）。收集并讨论实际模式转换验证与认证领域内亟待解决的问题。
关键词：
基于图重写的模式转换,
检验/认证,
测试驱动检验
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
| |
Shared |
|
|
|
|
| |
Discussed |
|
|
|
|
