Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ali, S., Briand, L., Jaffar-Ur Rehman, M., Asghar, H., Iqbal, M.Z., Nadeem, A.: A State-Based Approach to Integration Testing Based on UML Models. Information & Software Technology 49(11–12), 1087–1106 (2007)
Benedetto, C.: SOA and Integration Testing: The End-to-end View. SOA World Magazine 6(8) (2006)
Business Process Modeling Notation (BPMN) Specification, Final Adopted Specification. Technical report, Object Management Group (OMG), http://www.bpmn.org
Crane, M., Dingel, J.: UML vs. Classical vs. Rhapsody Statecharts: Not All Models Are Created Equal. Software and System Modeling 6(4), 415–435 (2007)
Dotan, D., Kirshin, A.: Debugging and Testing Behavioral UML Models. In: OOPSLA Companion 2007, pp. 838–839. ACM Press, New York (2007)
Foster, H., Uchitel, S., Magee, J., Kramer, J.: WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography. In: Test and Analysis of Web Services, pp. 87–119. Springer, Heidelberg (2007)
Frantzen, L., Huerta, M.N., Kiss, Z.G., Wallet, T.: On-The-Fly Model-Based Testing of Web Services with Jambition. In: 5th Int. Workshop on Web Services and Formal Methods (WS-FM 2008). LNCS. Springer, Heidelberg (2009) (to appear)
GarcÃa-Fanjul, J., de la Riva, C., Tuya, J.: Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking. In: Proc. of TAIC PART 2006, pp. 127–130. IEEE Computer Society, Los Alamitos (2006)
Hartman, A., Katara, M., Olvovsky, S.: Choosing a Test Modeling Language: A Survey. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 204–218. Springer, Heidelberg (2007)
Hartman, A., Nagin, K.: The AGEDIS Tools for Model Based Testing. In: Jardim Nunes, N., Selic, B., Rodrigues da Silva, A., Toval Alvarez, A. (eds.) UML Satellite Activities 2004. LNCS, vol. 3297, pp. 277–280. Springer, Heidelberg (2005)
Hartmann, J., Imoberdorf, C., Meisingerm, M.: UML-Based Integration Testing. In: Proc. of ISSTA 2000, pp. 60–70. ACM Press, New York (2000)
Helfen, M., Lauer, M., Trautwein, H.M.: Testing SAP Solutions. SAP Press (2007)
Kavantzas, N., Burdett, D., Ritzinger, G., Lafon, Y.: Web Services Choreography Description Language Version 1.0. W3C Candidate Recomm, Technical report (2005)
MODELPLEX Project. Funded by European Commission, FP6, Grant no. 034081, http://www.modelplex.org
O’Leary, D.E.: Enterprise Resource Planning Systems – Systems, Life Cycle, Electronic Commerce and Risks. Cambridge University Press, Cambridge (2000)
SAP AG, Enterprise SOA in a Nutshell (2007), http://help.sap.com/redirect_sdn_esoa/redirect_esoainanutshell.htm
Utting, U., Legeard, B.: Practical Model-Based Testing – A Tools Approach. Morgan Kaufmann Publ., San Francisco (2007)
Web Services Reliable Messaging (WS-ReliableMessaging), Version 1.1. OASIS Consortiom, http://docs.oasis-open.org/ws-rx/wsrm/v1.1/wsrm.pdf
Wieczorek, S., Roth, A., Stefanescu, A., Charfi, A.: Precise Steps for Choreography Modeling for SOA Validation and Verification. In: International Symposium on Service-Oriented Software Engineering (SOSE 2008), pp. 148–153. IEEE Computer Society, Los Alamitos (2008)
Wieczorek, S., Stefanescu, A., Großmann, J.: Enabling Model-Based Testing for SOA Integration Testing. In: Proc. of 1st Model-based testing in practice workshop (MOTIP 2008), pp. 77–82. Fraunhofer IRB Verlag (2008)
Wieczorek, S., Stefanescu, A., Schieferdecker, I.: Test Data Provision for ERP Systems. In: Int. Conf. on Software Testing, Verification and Validation (ICST 2008), pp. 396–403. IEEE Computer Society, Los Alamitos (2008)
World Wide Web Consortium (W3C): Web Service Glossary. Version 20040211, http://www.w3.org/TR/ws-gloss
Woods, D., Mattern, T.: Enterprise SOA – Designing IT for Business Innovation. O’Reilly, Sebastopol (2006)
Zaha, J.M., Barros, A., Dumas, M., ter Hofstede, A.: Let’s Dance: A Language for Service Behavior Modeling. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 145–162. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stefanescu, A., Wieczorek, S., Kirshin, A. (2009). MBT4Chor: A Model-Based Testing Approach for Service Choreographies. In: Paige, R.F., Hartman, A., Rensink, A. (eds) Model Driven Architecture - Foundations and Applications. ECMDA-FA 2009. Lecture Notes in Computer Science, vol 5562. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02674-4_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-02674-4_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02673-7
Online ISBN: 978-3-642-02674-4
eBook Packages: Computer ScienceComputer Science (R0)