Testing operational transformations in model-driven engineering

被引：2
|
作者：
Ciancone, Andrea [1 ]
Filieri, Antonio [1 ]
Mirandola, Raffaela [1 ]
机构：
[1] Politecn Milan, Dipartimento Elettron & Informaz, Pzza Leonardo da Vinci 32, Milan, Italy
来源：
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING | 2014年 / 10卷 / 01期
关键词：
Model-driven transformation; Testing; QVT; QVTO; MANTra; MDE; MDA; Transformation testing;
D O I：
10.1007/s11334-013-0208-9
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Model-driven development is gaining importance in software engineering practice. This increasing usage asks for a new generation of testing tools to verify correctness and suitability of model transformations. This paper presents a novel approach to unit testing QVT operational (QVTO) transformations, which overcomes limitations of currently available tools. Our proposal, called MANTra (Model trANs-formation Testing), allows software developers to design test cases directly within the QVTO language and verify them without moving from the transformation environment. MANTra is also available as an eclipse feature that can be easily integrated into established development practice.
引用
收藏
页码：19 / 32
页数：14
相关论文
共 50 条
  • [1] Validation in model-driven engineering: Testing model transformations
    Fleurey, F
    Steel, J
    Baudry, B
    SIVOES-MODEVA 2004, PROCEEDINGS, 2004, : 29 - 40
  • [2] Model-driven engineering city spaces via bidirectional model transformations
    Visconti, Ennio
    Tsigkanos, Christos
    Hu, Zhenjiang
    Ghezzi, Carlo
    SOFTWARE AND SYSTEMS MODELING, 2021, 20 (06): : 2003 - 2022
  • [3] Putting performance engineering into model-driven engineering: Model-driven performance engineering
    Fritzsche, Mathias
    Johannes, Jendrik
    MODELS IN SOFTWARE ENGINEERING, 2008, 5002 : 164 - +
  • [4] Model-driven engineering city spaces via bidirectional model transformations
    Ennio Visconti
    Christos Tsigkanos
    Zhenjiang Hu
    Carlo Ghezzi
    Software and Systems Modeling, 2021, 20 : 2003 - 2022
  • [5] Model Engineering for Model-Driven Engineering
    van Lamsweerde, Axel
    EICS 2010: PROCEEDINGS OF THE 2010 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, 2010, : 211 - 211
  • [6] Model-driven engineering
    Schmidt, DC
    COMPUTER, 2006, 39 (02) : 25 - 31
  • [7] A Model-Driven Approach for Model Transformations
    Ma, Zhiyi
    He, Xiao
    PROCEEDINGS OF THE 2016 SAI COMPUTING CONFERENCE (SAI), 2016, : 1199 - 1205
  • [8] Model-Driven Development of Model transformations
    Van Gorp, Pieter
    GRAPH TRANSFORMATIONS, ICGT 2008, 2008, 5214 : 517 - 519
  • [9] Teaching Model-Driven Engineering from a model-testing perspective
    Cammaerts, Felix
    2024 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST 2024, 2024, : 454 - 456
  • [10] Integrating Model-Based Testing in Model-Driven Web Engineering
    Escott, Eban
    Strooper, Paul
    Steel, Jim
    King, Paul
    2011 18TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2011), 2011, : 187 - 194
12345