Using model-based testing for testing application models in the context of domain-specific modelling

Janne Merilinna, Olli-Pekka Puolitaival

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

Abstract

Domain-Specific Modelling (DSM) has evidently increased productivity and quality in software development. Although productivity and quality gains are remarkable, the modelled applications still need to be tested prior to release. Although traditional testing approaches can be applied also in the context of DSM for testing generated applications, maintaining a comprehensive test suite for all developed applications is tedious. In this paper, the feasibility of utilizing Model-Based Testing (MBT) to generate a test suite for application models is studied. The MBT is seen as a prominent approach for automatically generating comprehensive test cases from models describing externally visible behaviour of a system under testing (SUT). We study the feasibility by developing a domain-specific modelling language and a code generator for a coffee machine laboratorial case and apply MBT to generate a test suite for the application models. The gathered experiences indicate that there are no technical obstacles but the feasibility of the testing approach in large-scale models and languages is still questionable.
Original languageEnglish
Title of host publication9th OOPSLA Workshop on Domain-Specific Modeling. Orlando 25-26.10.2009
PublisherAssociation for Computing Machinery ACM
Number of pages6
Publication statusPublished - 2009
MoE publication typeA4 Article in a conference publication
Event9th OOPSLA Workshop on Domain-Specific Modeling - Orlando, United States
Duration: 25 Oct 200926 Oct 2009

Workshop

Workshop9th OOPSLA Workshop on Domain-Specific Modeling
CountryUnited States
CityOrlando
Period25/10/0926/10/09

Fingerprint

Testing
Productivity
Coffee
Software engineering

Keywords

  • Model-driven development
  • verification
  • test generation

Cite this

Merilinna, J., & Puolitaival, O-P. (2009). Using model-based testing for testing application models in the context of domain-specific modelling. In 9th OOPSLA Workshop on Domain-Specific Modeling. Orlando 25-26.10.2009 Association for Computing Machinery ACM.
Merilinna, Janne ; Puolitaival, Olli-Pekka. / Using model-based testing for testing application models in the context of domain-specific modelling. 9th OOPSLA Workshop on Domain-Specific Modeling. Orlando 25-26.10.2009. Association for Computing Machinery ACM, 2009.
@inproceedings{501db5d11e254af8bdb3702e1e10fb00,
title = "Using model-based testing for testing application models in the context of domain-specific modelling",
abstract = "Domain-Specific Modelling (DSM) has evidently increased productivity and quality in software development. Although productivity and quality gains are remarkable, the modelled applications still need to be tested prior to release. Although traditional testing approaches can be applied also in the context of DSM for testing generated applications, maintaining a comprehensive test suite for all developed applications is tedious. In this paper, the feasibility of utilizing Model-Based Testing (MBT) to generate a test suite for application models is studied. The MBT is seen as a prominent approach for automatically generating comprehensive test cases from models describing externally visible behaviour of a system under testing (SUT). We study the feasibility by developing a domain-specific modelling language and a code generator for a coffee machine laboratorial case and apply MBT to generate a test suite for the application models. The gathered experiences indicate that there are no technical obstacles but the feasibility of the testing approach in large-scale models and languages is still questionable.",
keywords = "Model-driven development, verification, test generation",
author = "Janne Merilinna and Olli-Pekka Puolitaival",
year = "2009",
language = "English",
booktitle = "9th OOPSLA Workshop on Domain-Specific Modeling. Orlando 25-26.10.2009",
publisher = "Association for Computing Machinery ACM",
address = "United States",

}

Merilinna, J & Puolitaival, O-P 2009, Using model-based testing for testing application models in the context of domain-specific modelling. in 9th OOPSLA Workshop on Domain-Specific Modeling. Orlando 25-26.10.2009. Association for Computing Machinery ACM, 9th OOPSLA Workshop on Domain-Specific Modeling, Orlando, United States, 25/10/09.

Using model-based testing for testing application models in the context of domain-specific modelling. / Merilinna, Janne; Puolitaival, Olli-Pekka.

9th OOPSLA Workshop on Domain-Specific Modeling. Orlando 25-26.10.2009. Association for Computing Machinery ACM, 2009.

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

TY - GEN

T1 - Using model-based testing for testing application models in the context of domain-specific modelling

AU - Merilinna, Janne

AU - Puolitaival, Olli-Pekka

PY - 2009

Y1 - 2009

N2 - Domain-Specific Modelling (DSM) has evidently increased productivity and quality in software development. Although productivity and quality gains are remarkable, the modelled applications still need to be tested prior to release. Although traditional testing approaches can be applied also in the context of DSM for testing generated applications, maintaining a comprehensive test suite for all developed applications is tedious. In this paper, the feasibility of utilizing Model-Based Testing (MBT) to generate a test suite for application models is studied. The MBT is seen as a prominent approach for automatically generating comprehensive test cases from models describing externally visible behaviour of a system under testing (SUT). We study the feasibility by developing a domain-specific modelling language and a code generator for a coffee machine laboratorial case and apply MBT to generate a test suite for the application models. The gathered experiences indicate that there are no technical obstacles but the feasibility of the testing approach in large-scale models and languages is still questionable.

AB - Domain-Specific Modelling (DSM) has evidently increased productivity and quality in software development. Although productivity and quality gains are remarkable, the modelled applications still need to be tested prior to release. Although traditional testing approaches can be applied also in the context of DSM for testing generated applications, maintaining a comprehensive test suite for all developed applications is tedious. In this paper, the feasibility of utilizing Model-Based Testing (MBT) to generate a test suite for application models is studied. The MBT is seen as a prominent approach for automatically generating comprehensive test cases from models describing externally visible behaviour of a system under testing (SUT). We study the feasibility by developing a domain-specific modelling language and a code generator for a coffee machine laboratorial case and apply MBT to generate a test suite for the application models. The gathered experiences indicate that there are no technical obstacles but the feasibility of the testing approach in large-scale models and languages is still questionable.

KW - Model-driven development

KW - verification

KW - test generation

M3 - Conference article in proceedings

BT - 9th OOPSLA Workshop on Domain-Specific Modeling. Orlando 25-26.10.2009

PB - Association for Computing Machinery ACM

ER -

Merilinna J, Puolitaival O-P. Using model-based testing for testing application models in the context of domain-specific modelling. In 9th OOPSLA Workshop on Domain-Specific Modeling. Orlando 25-26.10.2009. Association for Computing Machinery ACM. 2009