Using built-in domain-specific modeling support to guide model-based test generation

Teemu Kanstrén, Olli-Pekka Puolitaival

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

5 Citations (Scopus)

Abstract

We present a model-based testing approach to support automated test generation with domain-specific concepts. This includes a language expert who is an expert at building test models and domain experts who are experts in the domain of the system under test. First, we provide a framework to support the language expert in building test models using a full (Java) programming language with the help of simple but powerful modeling elements of the framework. Second, based on the model built with this framework, the toolset automatically forms a domain-specific modeling language that can be used to further constrain and guide test generation from these models by a domain expert. This makes it possible to generate a large set of test cases covering the full model, chosen (constrained) parts of the model, or manually define specific test cases on top of the model while using concepts familiar to the domain experts.
Original languageEnglish
Title of host publicationProceedings 7th Workshop on Model-Based Testing MBT 2012
Pages58-72
DOIs
Publication statusPublished - 2012
MoE publication typeA4 Article in a conference publication
Event7th Workshop on MOdel-Based Testing, MBT 2012 - Tallinn, Estonia
Duration: 25 Mar 2012 → …

Publication series

NameElectronic Proceedings in Theoretical Computer Science
Volume80
ISSN (Print)2075-2180

Conference

Conference7th Workshop on MOdel-Based Testing, MBT 2012
Abbreviated titleMBT 2012
CountryEstonia
CityTallinn
Period25/03/12 → …

Fingerprint

Java programming language
Testing
Modeling languages

Keywords

  • model-based testing
  • domain-specific modelling

Cite this

Kanstrén, T., & Puolitaival, O-P. (2012). Using built-in domain-specific modeling support to guide model-based test generation. In Proceedings 7th Workshop on Model-Based Testing MBT 2012 (pp. 58-72). Electronic Proceedings in Theoretical Computer Science, Vol.. 80 https://doi.org/10.4204/EPTCS.80.5
Kanstrén, Teemu ; Puolitaival, Olli-Pekka. / Using built-in domain-specific modeling support to guide model-based test generation. Proceedings 7th Workshop on Model-Based Testing MBT 2012. 2012. pp. 58-72 (Electronic Proceedings in Theoretical Computer Science, Vol. 80).
@inproceedings{99e44b8426874792afdc9a2ae74a48eb,
title = "Using built-in domain-specific modeling support to guide model-based test generation",
abstract = "We present a model-based testing approach to support automated test generation with domain-specific concepts. This includes a language expert who is an expert at building test models and domain experts who are experts in the domain of the system under test. First, we provide a framework to support the language expert in building test models using a full (Java) programming language with the help of simple but powerful modeling elements of the framework. Second, based on the model built with this framework, the toolset automatically forms a domain-specific modeling language that can be used to further constrain and guide test generation from these models by a domain expert. This makes it possible to generate a large set of test cases covering the full model, chosen (constrained) parts of the model, or manually define specific test cases on top of the model while using concepts familiar to the domain experts.",
keywords = "model-based testing, domain-specific modelling",
author = "Teemu Kanstr{\'e}n and Olli-Pekka Puolitaival",
note = "Project code: 71274",
year = "2012",
doi = "10.4204/EPTCS.80.5",
language = "English",
series = "Electronic Proceedings in Theoretical Computer Science",
pages = "58--72",
booktitle = "Proceedings 7th Workshop on Model-Based Testing MBT 2012",

}

Kanstrén, T & Puolitaival, O-P 2012, Using built-in domain-specific modeling support to guide model-based test generation. in Proceedings 7th Workshop on Model-Based Testing MBT 2012. Electronic Proceedings in Theoretical Computer Science, vol. 80, pp. 58-72, 7th Workshop on MOdel-Based Testing, MBT 2012, Tallinn, Estonia, 25/03/12. https://doi.org/10.4204/EPTCS.80.5

Using built-in domain-specific modeling support to guide model-based test generation. / Kanstrén, Teemu; Puolitaival, Olli-Pekka.

Proceedings 7th Workshop on Model-Based Testing MBT 2012. 2012. p. 58-72 (Electronic Proceedings in Theoretical Computer Science, Vol. 80).

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

TY - GEN

T1 - Using built-in domain-specific modeling support to guide model-based test generation

AU - Kanstrén, Teemu

AU - Puolitaival, Olli-Pekka

N1 - Project code: 71274

PY - 2012

Y1 - 2012

N2 - We present a model-based testing approach to support automated test generation with domain-specific concepts. This includes a language expert who is an expert at building test models and domain experts who are experts in the domain of the system under test. First, we provide a framework to support the language expert in building test models using a full (Java) programming language with the help of simple but powerful modeling elements of the framework. Second, based on the model built with this framework, the toolset automatically forms a domain-specific modeling language that can be used to further constrain and guide test generation from these models by a domain expert. This makes it possible to generate a large set of test cases covering the full model, chosen (constrained) parts of the model, or manually define specific test cases on top of the model while using concepts familiar to the domain experts.

AB - We present a model-based testing approach to support automated test generation with domain-specific concepts. This includes a language expert who is an expert at building test models and domain experts who are experts in the domain of the system under test. First, we provide a framework to support the language expert in building test models using a full (Java) programming language with the help of simple but powerful modeling elements of the framework. Second, based on the model built with this framework, the toolset automatically forms a domain-specific modeling language that can be used to further constrain and guide test generation from these models by a domain expert. This makes it possible to generate a large set of test cases covering the full model, chosen (constrained) parts of the model, or manually define specific test cases on top of the model while using concepts familiar to the domain experts.

KW - model-based testing

KW - domain-specific modelling

U2 - 10.4204/EPTCS.80.5

DO - 10.4204/EPTCS.80.5

M3 - Conference article in proceedings

T3 - Electronic Proceedings in Theoretical Computer Science

SP - 58

EP - 72

BT - Proceedings 7th Workshop on Model-Based Testing MBT 2012

ER -

Kanstrén T, Puolitaival O-P. Using built-in domain-specific modeling support to guide model-based test generation. In Proceedings 7th Workshop on Model-Based Testing MBT 2012. 2012. p. 58-72. (Electronic Proceedings in Theoretical Computer Science, Vol. 80). https://doi.org/10.4204/EPTCS.80.5