Practical model-based testing of user scenarios

Increasing the efficiency of testing is a never ending industrial demand. In the software domain it has been tackled with automation of the test execution so far. Automation of the test design, as promised by model-based testing (MBT), is perceived as the next innovative leap. In order to introduce MBT in large-scale development projects, various challenges have to be addressed. Apart from the apparent need for a sophisticated modeling, embedding into established processes and tool chains as well as independence from single tool providers are desired features of an industrial MBT approach. In this paper we describe an MBT approach in the enterprise software domain. Our aim is to give insights not only into the technical details but also into the constraints and necessary considerations of a deployment of MBT in practice, e.g. the embedding into the existing testing process and framework.

[1]  Antti Huima,et al.  Implementing Conformiq Qtronic , 2007, TestCom/FATES.

[2]  Mario Jino,et al.  Constraint Based Criteria: An Approach for Test Case Selection in the Structural Testing , 2001, J. Electron. Test..

[3]  Ina Schieferdecker,et al.  Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models , 2009, TestCom/FATES.

[4]  Rajesh Subramanyan,et al.  Automation of GUI testing using a model-driven approach , 2006, AST '06.

[5]  Sebastian Wieczorek,et al.  MBT4Chor: A Model-Based Testing Approach for Service Choreographies , 2009, ECMDA-FA.

[6]  Mark Harman,et al.  Pareto efficient multi-objective test case selection , 2007, ISSTA '07.

[7]  Sebastian Wieczorek,et al.  Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces , 2010, 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems.

[8]  Mark Harman,et al.  Testability transformation , 2004, IEEE Transactions on Software Engineering.

[9]  Gregg Rothermel,et al.  Empirical studies of test‐suite reduction , 2002, Softw. Test. Verification Reliab..

[10]  Bruno Legeard,et al.  A taxonomy of model-based testing , 2006 .

[11]  Margus Veanes,et al.  Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer , 2008, Formal Methods and Testing.

[12]  Susanne Patig,et al.  Model-driven Development of Serviceoriented Business Application Systems , 2009, Wirtschaftsinformatik.

[13]  Egon Börger.  Abstract state machines and high-level system design and analysis , 2005, Theor. Comput. Sci..