Towards flexible and efficient model-based testing, utilizing domain-specific modelling

ABSTRACT

Model-Based Testing is a test automation technique that generates test cases based on a model of the system under test. Domain-specific modelling is a modelling approach where the developed system is modelled in terms of domain-specific concepts and these models are automatically transformed to other forms such as application code. In this paper, we will discuss the adoption and integration of domain-specific modelling with model-based testing tools. Since model-based testing tools utilise various modelling notations that typically diverge from a specific domain-model, we will discuss how domain specific models can be automatically transformed to become suitable models for a chosen model-based testing tool. Furthermore, by doing this in terms of a domain-specific meta-model, we will allow one to switch between various model-based testing tools.

References

1. Grieskamp, W., Kicillof, N., Stobie, K., and Braberman, V., Model-Based Quality Assurance of Protocol Documentation: Tools and Methodology. Journal of Software Testing, Verification and Reliability (2010).
2. Miller, T. and Strooper, P., A Case Study in Model-Based Testing of Specifications and Implementations. Journal of Software Testing, Verification and Reliability (2010).
3. Utting, M. and Legeard, B. 2006. Practical Model Based Testing: A Tools Approach, Morgan Kaufmann 1st ed., ISBN: 978-0123725011, 456p.
4. Dias-Neto, A. and Travassos, G., Model-based testing approaches selection for software projects. Information and Software Technology (July 2009), 1487--1504.
5. Puolitaival, O.-P., Luo, M., Kanstren T., On the Properties and Selection of Model-Based Testing tool and Technique, 1st Workshop on Model-based Testing in Practice, MoTiP 2008, June 12, 2008 -- Berlin, Germany.
6. Kelly, S., Tolvanen, J-P., Domain-Specific Modeling: enabling full code generation, Wiley, 2008.
7. Katara, M., Kervinen, A., Maunumaa, M., Pääkkönen, T. and Satama, M., Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach. IEEE Computer Society, Windsor, UK, 2006.
8. Merilinna, J., Puolitaival, O-P., Pärssinen, J., Towards Model-Based Testing of Domain-Specific Modelling Languages, 8th OOPSLA Workshop on Domain-Specific Modeling. Nashville, USA, 19--20 Oct. 2008. Tennessee, USA (2008).
9. Merilinna, J., Puolitaival, O-P., Using model-based testing for testing application models in the context of domain-specific modelling, The 9th OOPSLA Workshop on Domain-Specific Modeling. Orlando, FL, USA, 25--26.10.2009.
10. RFC 3261 - SIP: Session Initiation Protocol. 2010, URL: http://tools.ietf.org/html/rfc3261 {Visited at 10.8.2010}

Index Terms

• Software and its engineering

  • Software creation and management

    • Software verification and validation

      • Software defect analysis

        • Software testing and debugging