A process for model transformation testing

Teemu Kanstrén, Marsha Chechik, Juha-Pekka Tolvanen

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientific

    Abstract

    This paper describes a process for testing model transformations. The process is based on systematic analysis of the transformation rules and the related metamodels. These are used to identify the relevant parts of the metamodel to test the transformation, to define coverage criteria, and to define test oracles (checks) as invariants on what the transformation output should hold in relation to the input model. Tests are then created (generated) to produce suitable input models to fulfill the coverage criteria, and to check that the invariants hold in the transformation outputs for the different types of inputs generated. A case study of testing a transformation from the EAST-ADL specification for the automotive industry is presented.
    Original languageEnglish
    Title of host publicationProceedings Joint Research Workshop 10th Systems Testing and Validation Workshop (STV15)
    Subtitle of host publication1 st International Workshop on User Interface Test Automation (INTUITEST 2015)
    Pages9-18
    Publication statusPublished - 2015
    MoE publication typeB3 Non-refereed article in conference proceedings
    Event10th Systems Testing and Validation Workshop, STV15
    1st International Workshop on User Interface Test Automation, INTUITEST 2015
    - Sophia Antipolis, France
    Duration: 19 Oct 201519 Oct 2015

    Conference

    Conference10th Systems Testing and Validation Workshop, STV15
    1st International Workshop on User Interface Test Automation, INTUITEST 2015
    Abbreviated titleSTV15
    CountryFrance
    CitySophia Antipolis
    Period19/10/1519/10/15

    Keywords

    • test automation
    • model transformation
    • domain-specific modelling
    • autosar

    Fingerprint Dive into the research topics of 'A process for model transformation testing'. Together they form a unique fingerprint.

  • Cite this

    Kanstrén, T., Chechik, M., & Tolvanen, J-P. (2015). A process for model transformation testing. In Proceedings Joint Research Workshop 10th Systems Testing and Validation Workshop (STV15) : 1 st International Workshop on User Interface Test Automation (INTUITEST 2015) (pp. 9-18) http://publica.fraunhofer.de/documents/N-360101.html