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

    7 Citations (Scopus)


    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
    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

    SeriesElectronic Proceedings in Theoretical Computer Science


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


    • model-based testing
    • domain-specific modelling


    Dive into the research topics of 'Using built-in domain-specific modeling support to guide model-based test generation'. Together they form a unique fingerprint.

    Cite this