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.