Automatic Generation of Ecore Models for Testing ATL Transformations

被引：8
|
作者：
Almendros-Jimenez, Jesus M. [1 ]
Becerra-Teron, Antonio [1 ]
机构：
[1] Univ Almeria, Dept Informat, Almeria 04120, Spain
来源：
MODEL AND DATA ENGINEERING | 2016年 / 9893卷
关键词：
D O I：
10.1007/978-3-319-45547-1_2
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Model transformation testing is crucial to detect incorrect transformations. Buggy transformations can lead to incorrect target models, either violating target meta-model requirements or more complex target model properties. In this paper we present a tool for testing ATL transformations. This tool is an extension of a previously developed tool for testing XML-based languages. With this aim an Ecore to XML Schema transformation is defined which makes to automatically generate random Ecore models possible. These randomly generated Ecore models are used to test ATL transformations. Properties to be tested are specified by OCL constraints, describing input and output conditions on source and target models, respectively.
引用
收藏
页码：16 / 30
页数：15
相关论文
共 50 条
  • [21] Enhanced performance prediction of ATL model transformations
    Groner, Raffaela
    Bellmann, Peter
    Hoeppner, Stefan
    Thiam, Patrick
    Schwenker, Friedhelm
    Kestler, Hans A.
    Tichy, Matthias
    PERFORMANCE EVALUATION, 2024, 164
  • [22] Automatic Generation of Conceptual Enterprise Models
    Reitemeyer, Benedikt
    2020 IEEE 24TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING WORKSHOP (EDOCW 2020), 2020, : 74 - 79
  • [23] Automatic generation of dynamic models of cables
    Gomes, Sebastiao C. P.
    Zanela, Elisane B.
    Pereira, Adriana E. L.
    OCEAN ENGINEERING, 2016, 121 : 559 - 571
  • [24] Automatic Generation of Logical Models with AGES
    Gutierrez, Raul
    Lucas, Salvador
    AUTOMATED DEDUCTION, CADE 27, 2019, 11716 : 287 - 299
  • [25] Building Normalized Systems from Domain Models in Ecore
    Suchanek, Marek
    Mannaert, Herwig
    Uhnak, Peter
    Pergl, Robert
    NEW TRENDS IN INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2021, 337 : 169 - 182
  • [26] Automatic Generation of Software Behavioral Models
    Lorenzoli, Davide
    Mariani, Leonardo
    Pezze, Mauro
    ICSE'08 PROCEEDINGS OF THE THIRTIETH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2008, : 501 - 510
  • [27] Automatic Generation of User Interaction Models
    Tirnauca, Cristina
    Duque, Rafael
    Luis Montana, Jose
    UBIQUITOUS COMPUTING AND AMBIENT INTELLIGENCE, UCAMI 2016, PT I, 2016, 10069 : 406 - 418
  • [28] Automatic Generation of Service Availability Models
    Milanovic, Nikola
    Milic, Bratislav
    IEEE TRANSACTIONS ON SERVICES COMPUTING, 2011, 4 (01) : 56 - 69
  • [29] On the automatic generation of efficient computational models
    Nabhan, Tarek M., 1600, Taylor & Francis Ltd, Basingstoke, United Kingdom (26):
  • [30] Automatic generation of availability models in RAScad
    Tang, D
    Zhu, J
    Andrada, R
    INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2002, : 488 - 492
12345