Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Enterprise resource planning systems: systems, life cycle, electronic commerce, and risk
Enterprise resource planning systems: systems, life cycle, electronic commerce, and risk
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
TAIC-PART '06 Proceedings of the Testing: Academic & Industrial Conference on Practice And Research Techniques
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Enterprise SOA: Designing IT for Business Innovation
Enterprise SOA: Designing IT for Business Innovation
A state-based approach to integration testing based on UML models
Information and Software Technology
Debugging and testing behavioral UML models
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Test Data Provision for ERP Systems
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Precise Steps for Choreography Modeling for SOA Validation and Verification
SOSE '08 Proceedings of the 2008 IEEE International Symposium on Service-Oriented System Engineering
Testing SAP Solutions
On-The-Fly Model-Based Testing of Web Services with Jambition
Web Services and Formal Methods
Choosing a test modeling language: a survey
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Let's dance: a language for service behavior modeling
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
The AGEDIS tools for model based testing
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
Where does model-driven engineering help? Experiences from three industrial cases
Software and Systems Modeling (SoSyM)
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
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.