Modeling and model-based testing of service choreographies [Elektronische Ressource] / vorgelegt von Sebastian Wieczorek

Modeling and Model-based Testing of ServiceChoreographiesvorgelegt vonDiplom-InformatikerSebastian WieczorekVon der Fakult at IV - Elektrotechnik und Informatikder Technischen Universit at Berlinzur Erlangung des akademischen GradesDoktor der IngenieurwissenschaftenDr. Ing.Promotionsausschuss:Vorsitzender: Prof. Dr. Sabine GlesnerBerichter: Prof. Dr. Ina SchieferdeckerBerichter: Prof. Dr. Lionel BriandTag der wissenschaftlichen Aussprache: 07.05.2010Berlin 2010D 832AbstractThe testing of service-based applications is an important but challengingactivity. Especially the integration testing is a di cult task that needs tocope with the message-based communication in the service-oriented world.In this thesis, a model-based approach to service integration and integrationtesting is proposed. The necessary research work to realize its phases is themain contribution of the dissertation.First, MCM, a domain-speci c language for service choreography model-ing, is introduced together with a precise semantics that makes it suitablefor integration testing. Then, a framework for generating service integrationtests is presented, incorporating three di erent model-based test generationtechniques that can be chosen according to the test context. Further, it isexplained how the generated test cases are transformed into concrete testscripts, thus enabling their execution on an enterprise service-based appli-cation.