Service choreographies describe the global communication protocols between services and testing these choreographies is an important task in the context of service-oriented architectures (SOA). Formal modeling of service choreographies makes a model-based testing (MBT) approach feasible. In this paper we present an MBT approach for SOA integration testing based on SAP proprietary choreography models called Message Choreography Models (MCM). In our approach, MCMs are translated into executable UML models using Java as action language. These UML models are used by a UML model execution engine developed by IBM for test generation and model debugging. We describe the achievements and challenges of our approach based on first experimental evaluation conducted at SAP. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Stefanescu, A., Wieczorek, S., & Kirshin, A. (2009). MBT4Chor: A model-based testing approach for service choreographies. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5562 LNCS, pp. 313–324). https://doi.org/10.1007/978-3-642-02674-4_23
Mendeley helps you to discover research relevant for your work.