Formal Specification and Testing of Model Transformations
Formal Specification and Testing of Model Transformations
复制标题
模型转换的正式规范和测试
DOI：
10.1007/978-3-642-30982-3_11
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Lars Hamann
中科院分区：
文献类型：
--
作者：
Antonio Vallecillo;Martin Gogolla;Loli Burgueño;M. Wimmer;Lars Hamann
在本文中，我们提出了一些关键问题，涉及模型转换规范和测试，讨论和分类的一些现有的方法，并介绍了道的概念，模型转换合同的推广。我们展示了如何Tracts可以用于模型转换规范和黑盒测试，以及它们允许的分析类型。最后通过一些有代表性的例子来说明这种方法。
In this paper we present some of the key issues involved in model transformation specification and testing, discuss and classify some of the existing approaches, and introduce the concept ofTract, a generalization of model transformation contracts. We show how Tracts can be used for model transformation specification and black-box testing, and the kinds of analyses they allow. Some representative examples are used to illustrate this approach.