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

    Fingerprint

    Testing
    Automotive industry
    Specifications

    Keywords

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

    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)
    Kanstrén, Teemu ; Chechik, Marsha ; Tolvanen, Juha-Pekka. / A process for model transformation testing. Proceedings Joint Research Workshop 10th Systems Testing and Validation Workshop (STV15) : 1 st International Workshop on User Interface Test Automation (INTUITEST 2015) . 2015. pp. 9-18
    @inproceedings{5ce3ffb14a8f4af392af61b6a6194631,
    title = "A process for model transformation testing",
    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.",
    keywords = "test automation, model transformation, domain-specific modelling, autosar",
    author = "Teemu Kanstr{\'e}n and Marsha Chechik and Juha-Pekka Tolvanen",
    year = "2015",
    language = "English",
    pages = "9--18",
    booktitle = "Proceedings Joint Research Workshop 10th Systems Testing and Validation Workshop (STV15)",

    }

    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, 10th Systems Testing and Validation Workshop, STV15
    1st International Workshop on User Interface Test Automation, INTUITEST 2015, Sophia Antipolis, France, 19/10/15.

    A process for model transformation testing. / Kanstrén, Teemu; Chechik, Marsha; Tolvanen, Juha-Pekka.

    Proceedings Joint Research Workshop 10th Systems Testing and Validation Workshop (STV15) : 1 st International Workshop on User Interface Test Automation (INTUITEST 2015) . 2015. p. 9-18.

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

    TY - GEN

    T1 - A process for model transformation testing

    AU - Kanstrén, Teemu

    AU - Chechik, Marsha

    AU - Tolvanen, Juha-Pekka

    PY - 2015

    Y1 - 2015

    N2 - 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.

    AB - 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.

    KW - test automation

    KW - model transformation

    KW - domain-specific modelling

    KW - autosar

    M3 - Conference article in proceedings

    SP - 9

    EP - 18

    BT - Proceedings Joint Research Workshop 10th Systems Testing and Validation Workshop (STV15)

    ER -

    Kanstrén T, Chechik M, Tolvanen J-P. 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) . 2015. p. 9-18