Modeling and model-based testing of service choreographies

The testing of service-based applications is an important but challenging activity. Especially the integration testing is a difficult task that needs to cope with the message-based communication in the service-oriented world. In this book, a model-based approach to service integration and integration testing is explained. It is based on MCM, a domain-specific language for service choreography modeling and utilizes a framework for generating service integration tests that incorporates three different model-based test generation techniques. Finally the evaluation in an industrial environment is described.