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


    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


    Workshop9th OOPSLA Workshop on Domain-Specific Modeling
    Country/TerritoryUnited States


    • Model-driven development
    • verification
    • test generation


    Dive into the research topics of 'Using model-based testing for testing application models in the context of domain-specific modelling'. Together they form a unique fingerprint.

    Cite this