MBT4Chor: A Model-Based Testing Approach for Service Choreographies
作者： Alin Stefanescu , Sebastian Wieczorek , Andrei Kirshin
DOI: 10.1007/978-3-642-02674-4_23
关键词:
摘要: Service choreographies describe the global communication protocols between services and testing these is an important task in context of service-oriented architectures (SOA). Formal modeling service makes a model-based (MBT) approach feasible. In this paper we present MBT for SOA integration based on SAP proprietary choreography models called Message Choreography Models (MCM). our approach, MCMs are translated into executable UML using Java as action language. These used by model execution engine developed IBM test generation debugging. We achievements challenges first experimental evaluation conducted at SAP.
springer.com
springerlink.com参考文章(20)
Daniel E. O'Leary, Enterprise resource planning systems: systems, life cycle, electronic commerce, and risk Cambridge University Press. ,(2000) , 10.1017/CBO9780511805936
Lars Frantzen, Maria de las Nieves Huerta, Zsolt Gere Kiss, Thomas Wallet, On-The-Fly Model-Based Testing of Web Services with Jambition web services and formal methods. pp. 143- 157 ,(2009) , 10.1007/978-3-642-01364-5_9
Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer, WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography Test and Analysis of Web Services. pp. 87- 119 ,(2007) , 10.1007/978-3-540-72912-9_4
Johannes Maria Zaha, Alistair Barros, Marlon Dumas, Arthur ter Hofstede, Let's dance: a language for service behavior modeling international conference on move to meaningful internet systems. pp. 145- 162 ,(2006) , 10.1007/11914853_10
Alan Hartman, Mika Katara, Sergey Olvovsky, Choosing a Test Modeling Language: A Survey Lecture Notes in Computer Science. pp. 204- 218 ,(2006) , 10.1007/978-3-540-70889-6_16
Luciano Baresi, Elisabetta Di Nitto, Test and analysis of Web services ,(2007)
Dan Woods, Thomas Mattern, Enterprise SOA: Designing IT for Business Innovation ,(2006)
Bruno Legeard, Mark Utting, Practical Model-Based Testing: A Tools Approach ,(2006)
Michelle L. Crane, Juergen Dingel, UML vs. classical vs. rhapsody statecharts: not all models are created equal Software and Systems Modeling. ,vol. 6, pp. 415- 435 ,(2007) , 10.1007/S10270-006-0042-8
Jean Hartmann, Claudio Imoberdorf, Michael Meisinger, UML-Based integration testing international symposium on software testing and analysis. ,vol. 25, pp. 60- 70 ,(2000) , 10.1145/347324.348872