|
Frontiers of Information Technology & Electronic Engineering
ISSN 2095-9184 (print), ISSN 2095-9230 (online)
2015 Vol.16 No.2 P.85-97
Test-driven verification/validation of model transformations
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.
Key words: Graph rewriting based model transformations, Verification/validation, Test-driven verification
创新:提供一种模式转换自动生成测试输入模型解决方案。
方法:强调模式转换验证与认证方法必要性,讨论模式转换验证与认证的不同场景(图1)及实际模式转换验证与认证领域内的开放性问题。
结论:介绍一种新型测试驱动模式转换检验与认证原理,为模式转换自动生成测试输入模型提供一种解决方案(算法1,2)。收集并讨论实际模式转换验证与认证领域内亟待解决的问题。
关键词组:
References:
Open peer comments: Debate/Discuss/Question/Opinion
<1>
DOI:
10.1631/FITEE.1400111
CLC number:
TP311
Download Full Text:
Downloaded:
2796
Download summary:
<Click Here>Downloaded:
2369Clicked:
7906
Cited:
1
On-line Access:
2024-08-27
Received:
2023-10-17
Revision Accepted:
2024-05-08
Crosschecked:
2014-12-30