Experiences in setting up domain-specific model-based testing

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

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

3 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 languageEnglish
Title of host publication2012 IEEE International Conference on Industrial Technology, ICIT 2012
PublisherIEEE Institute of Electrical and Electronic Engineers
Pages319-324
Number of pages6
ISBN (Electronic)978-1-4673-0342-2, 978-1-4673-0341-5
ISBN (Print)978-1-4673-0340-8
DOIs
Publication statusPublished - 2012
MoE publication typeA4 Article in a conference publication
Event2012 IEEE International Conference on Industrial Technology, ICIT 2012, Athens, 19 - 21 March 2012 -
Duration: 1 Jan 2012 → …

Conference

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

Fingerprint

Testing

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

Cite this

Kanstrén, T., Puolitaival, O., Rytky, V., Saarela, A., & Keränen, J. S. (2012). Experiences in setting up domain-specific model-based testing. In 2012 IEEE International Conference on Industrial Technology, ICIT 2012 (pp. 319-324). IEEE Institute of Electrical and Electronic Engineers . https://doi.org/10.1109/ICIT.2012.6209957
Kanstrén, T. ; Puolitaival, O. ; Rytky, V. ; Saarela, A. ; Keränen, J. S. / Experiences in setting up domain-specific model-based testing. 2012 IEEE International Conference on Industrial Technology, ICIT 2012. IEEE Institute of Electrical and Electronic Engineers , 2012. pp. 319-324
@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",

}

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.; Saarela, A.; Keränen, J. S.

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 proceedingConference article in proceedingsScientificpeer-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

ER -

Kanstrén T, Puolitaival O, Rytky V, Saarela A, Keränen JS. 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 . 2012. p. 319-324 https://doi.org/10.1109/ICIT.2012.6209957