A process for model transformation testing

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

A process for model transformation testing

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

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

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 language	English
Title of host publication	Proceedings Joint Research Workshop 10th Systems Testing and Validation Workshop (STV15)
Subtitle of host publication	1st International Workshop on User Interface Test Automation (INTUITEST 2015)
Editors	Pekka Aho, Tanja Vos, Juan Garbajosa, Jørgen Bøegh, Axel Rennoch
Publisher	Fraunhofer Verlag
Pages	9-18
Edition	online
Publication status	Published - 2015
MoE publication type	A4 Article in a conference publication
Event	10th Systems Testing and Validation Workshop, STV15 1st International Workshop on User Interface Test Automation, INTUITEST 2015 - Sophia Antipolis, France Duration: 19 Oct 2015 → 19 Oct 2015

Conference

Conference	10th Systems Testing and Validation Workshop, STV15 1st International Workshop on User Interface Test Automation, INTUITEST 2015
Abbreviated title	STV15
Country/Territory	France
City	Sophia Antipolis
Period	19/10/15 → 19/10/15

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 P. Aho, T. Vos, J. Garbajosa, J. Bøegh, & A. Rennoch (Eds.), Proceedings Joint Research Workshop 10th Systems Testing and Validation Workshop (STV15) : 1st International Workshop on User Interface Test Automation (INTUITEST 2015) (online ed., pp. 9-18). Fraunhofer Verlag.

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) : 1st International Workshop on User Interface Test Automation (INTUITEST 2015) . editor / Pekka Aho ; Tanja Vos ; Juan Garbajosa ; Jørgen Bøegh ; Axel Rennoch. online. ed. Fraunhofer Verlag, 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",

editor = "Pekka Aho and Tanja Vos and Juan Garbajosa and J{\o}rgen B{\o}egh and Axel Rennoch",

booktitle = "Proceedings Joint Research Workshop 10th Systems Testing and Validation Workshop (STV15)",

publisher = "Fraunhofer Verlag",

address = "Germany",

edition = "online",

note = "10th Systems Testing and Validation Workshop, STV15<br/>1st International Workshop on User Interface Test Automation, INTUITEST 2015, STV15 ; Conference date: 19-10-2015 Through 19-10-2015",

}

Kanstrén, T, Chechik, M & Tolvanen, J-P 2015, A process for model transformation testing. in P Aho, T Vos, J Garbajosa, J Bøegh & A Rennoch (eds), Proceedings Joint Research Workshop 10th Systems Testing and Validation Workshop (STV15) : 1st International Workshop on User Interface Test Automation (INTUITEST 2015) . online edn, Fraunhofer Verlag, 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) : 1st International Workshop on User Interface Test Automation (INTUITEST 2015) . ed. / Pekka Aho; Tanja Vos; Juan Garbajosa; Jørgen Bøegh; Axel Rennoch. online. ed. Fraunhofer Verlag, 2015. p. 9-18.

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

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

UR - http://publica.fraunhofer.de/documents/N-360101.html

M3 - Conference article in proceedings

SP - 9

EP - 18

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

A2 - Aho, Pekka

A2 - Vos, Tanja

A2 - Garbajosa, Juan

A2 - Bøegh, Jørgen

A2 - Rennoch, Axel

PB - Fraunhofer Verlag

T2 - 10th Systems Testing and Validation Workshop, STV15<br/>1st International Workshop on User Interface Test Automation, INTUITEST 2015

Y2 - 19 October 2015 through 19 October 2015

ER -

A process for model transformation testing

Abstract

Conference

Keywords

Other files and links

Fingerprint

Cite this