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