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