Experiences in setting up domain-specific model-based testing

T. Kanstrén, O. Puolitaival, V. Rytky, A. Saarela, J. S. Keränen

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

    3 Citations (Scopus)

    Abstract

    Model-based testing is a technique for generating test cases based on a model of the system under test. Typically the model is expressed in a specific notation of the test tool, using a generic notation intended to describe any system under test. In this paper we present experiences in using a domain-specific modeling layer on top of the specific model-based testing tools. This allows for easier change of the used testing tool, while providing a more familiar modeling notation in terms of the domain concepts familiar to the user. Our experiences show how this can significantly help in adopting the model-based testing approach and provide improved test results
    Original languageEnglish
    Title of host publication2012 IEEE International Conference on Industrial Technology, ICIT 2012
    PublisherIEEE Institute of Electrical and Electronic Engineers
    Pages319-324
    Number of pages6
    ISBN (Electronic)978-1-4673-0342-2, 978-1-4673-0341-5
    ISBN (Print)978-1-4673-0340-8
    DOIs
    Publication statusPublished - 2012
    MoE publication typeA4 Article in a conference publication
    Event2012 IEEE International Conference on Industrial Technology, ICIT 2012, Athens, 19 - 21 March 2012 -
    Duration: 1 Jan 2012 → …

    Conference

    Conference2012 IEEE International Conference on Industrial Technology, ICIT 2012, Athens, 19 - 21 March 2012
    Period1/01/12 → …

      Fingerprint

    Keywords

    • formal specification
    • program testing
    • software tools
    • domain-specific model-based testing
    • test case generation
    • system under test
    • test tool
    • generic notation
    • domain-specific modeling layer
    • specific model-based testing tools
    • modeling notation
    • Generators
    • Encoding
    • Testing

    Cite this

    Kanstrén, T., Puolitaival, O., Rytky, V., Saarela, A., & Keränen, J. S. (2012). Experiences in setting up domain-specific model-based testing. In 2012 IEEE International Conference on Industrial Technology, ICIT 2012 (pp. 319-324). IEEE Institute of Electrical and Electronic Engineers . https://doi.org/10.1109/ICIT.2012.6209957