Experiences in setting up domain-specific model-based testing

T. Kanstrén; O. Puolitaival; V. Rytky; A. Saarela; J. S. Keränen

doi:10.1109/ICIT.2012.6209957

Experiences in setting up domain-specific model-based testing

T. Kanstrén
, O. Puolitaival
, V. Rytky
, A. Saarela
, J. S. Keränen

Elektrobit (EB)

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

4 Citations (Scopus)

Abstract

Model-based testing is a technique for generating test cases based on a model of the system under test. Typically the model is expressed in a specific notation of the test tool, using a generic notation intended to describe any system under test. In this paper we present experiences in using a domain-specific modeling layer on top of the specific model-based testing tools. This allows for easier change of the used testing tool, while providing a more familiar modeling notation in terms of the domain concepts familiar to the user. Our experiences show how this can significantly help in adopting the model-based testing approach and provide improved test results

Original language	English
Title of host publication	2012 IEEE International Conference on Industrial Technology, ICIT 2012
Publisher	IEEE Institute of Electrical and Electronic Engineers
Pages	319-324
Number of pages	6
ISBN (Electronic)	978-1-4673-0342-2, 978-1-4673-0341-5
ISBN (Print)	978-1-4673-0340-8
DOIs	https://doi.org/10.1109/ICIT.2012.6209957
Publication status	Published - 2012
MoE publication type	A4 Article in a conference publication
Event	2012 IEEE International Conference on Industrial Technology, ICIT 2012, Athens, 19 - 21 March 2012 - Duration: 1 Jan 2012 → …

Conference

Conference	2012 IEEE International Conference on Industrial Technology, ICIT 2012, Athens, 19 - 21 March 2012
Period	1/01/12 → …

Keywords

formal specification
program testing
software tools
domain-specific model-based testing
test case generation
system under test
test tool
generic notation
domain-specific modeling layer
specific model-based testing tools
modeling notation
Generators
Encoding
Testing

Access to Document

10.1109/ICIT.2012.6209957

Cite this

@inproceedings{57d3137f3f5442feaf63da2c82429e2d,

title = "Experiences in setting up domain-specific model-based testing",

abstract = "Model-based testing is a technique for generating test cases based on a model of the system under test. Typically the model is expressed in a specific notation of the test tool, using a generic notation intended to describe any system under test. In this paper we present experiences in using a domain-specific modeling layer on top of the specific model-based testing tools. This allows for easier change of the used testing tool, while providing a more familiar modeling notation in terms of the domain concepts familiar to the user. Our experiences show how this can significantly help in adopting the model-based testing approach and provide improved test results",

keywords = "formal specification, program testing, software tools, domain-specific model-based testing, test case generation, system under test, test tool, generic notation, domain-specific modeling layer, specific model-based testing tools, modeling notation, Generators, Encoding, Testing",

author = "T. Kanstr{\'e}n and O. Puolitaival and V. Rytky and A. Saarela and Ker{\"a}nen, \{J. S.\}",

year = "2012",

doi = "10.1109/ICIT.2012.6209957",

language = "English",

isbn = "978-1-4673-0340-8",

pages = "319--324",

booktitle = "2012 IEEE International Conference on Industrial Technology, ICIT 2012",

publisher = "IEEE Institute of Electrical and Electronic Engineers",

address = "United States",

note = "2012 IEEE International Conference on Industrial Technology, ICIT 2012, Athens, 19 - 21 March 2012 ; Conference date: 01-01-2012",

}

Kanstrén, T, Puolitaival, O, Rytky, V, Saarela, A & Keränen, JS 2012, Experiences in setting up domain-specific model-based testing. in 2012 IEEE International Conference on Industrial Technology, ICIT 2012. IEEE Institute of Electrical and Electronic Engineers, pp. 319-324, 2012 IEEE International Conference on Industrial Technology, ICIT 2012, Athens, 19 - 21 March 2012, 1/01/12. https://doi.org/10.1109/ICIT.2012.6209957

Experiences in setting up domain-specific model-based testing. / Kanstrén, T.; Puolitaival, O.; Rytky, V. et al.
2012 IEEE International Conference on Industrial Technology, ICIT 2012. IEEE Institute of Electrical and Electronic Engineers, 2012. p. 319-324.

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

TY - GEN

T1 - Experiences in setting up domain-specific model-based testing

AU - Kanstrén, T.

AU - Puolitaival, O.

AU - Rytky, V.

AU - Saarela, A.

AU - Keränen, J. S.

PY - 2012

Y1 - 2012

N2 - Model-based testing is a technique for generating test cases based on a model of the system under test. Typically the model is expressed in a specific notation of the test tool, using a generic notation intended to describe any system under test. In this paper we present experiences in using a domain-specific modeling layer on top of the specific model-based testing tools. This allows for easier change of the used testing tool, while providing a more familiar modeling notation in terms of the domain concepts familiar to the user. Our experiences show how this can significantly help in adopting the model-based testing approach and provide improved test results

AB - Model-based testing is a technique for generating test cases based on a model of the system under test. Typically the model is expressed in a specific notation of the test tool, using a generic notation intended to describe any system under test. In this paper we present experiences in using a domain-specific modeling layer on top of the specific model-based testing tools. This allows for easier change of the used testing tool, while providing a more familiar modeling notation in terms of the domain concepts familiar to the user. Our experiences show how this can significantly help in adopting the model-based testing approach and provide improved test results

KW - formal specification

KW - program testing

KW - software tools

KW - domain-specific model-based testing

KW - test case generation

KW - system under test

KW - test tool

KW - generic notation

KW - domain-specific modeling layer

KW - specific model-based testing tools

KW - modeling notation

KW - Generators

KW - Encoding

KW - Testing

U2 - 10.1109/ICIT.2012.6209957

DO - 10.1109/ICIT.2012.6209957

M3 - Conference article in proceedings

SN - 978-1-4673-0340-8

SP - 319

EP - 324

BT - 2012 IEEE International Conference on Industrial Technology, ICIT 2012

PB - IEEE Institute of Electrical and Electronic Engineers

T2 - 2012 IEEE International Conference on Industrial Technology, ICIT 2012, Athens, 19 - 21 March 2012

Y2 - 1 January 2012

ER -

Experiences in setting up domain-specific model-based testing

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this