MBT4Chor: A model-based testing approach for service choreographies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5562 LNCS, Issue , 2009, Pages 313-324

  Stefanescu, Alin ^a   Wieczorek, Sebastian ^a   Kirshin, Andrei ^b  

^a SAP RESEARCH   (Germany)

^b UNIVERSITY OF HAIFA   (Israel)

Author keywords

Choreography Modeling; Domain Specific Language; Model Transformation; Model Based Testing; Service Integration; SOA

Indexed keywords

CHOREOGRAPHY MODELING; DOMAIN SPECIFIC LANGUAGE; MODEL TRANSFORMATION; MODEL-BASED TESTING; SERVICE INTEGRATION; SOA;

COMMUNICATION; FORMAL LOGIC; INFORMATION SERVICES; LINGUISTICS; NETWORK ARCHITECTURE; SEMANTIC WEB; SERVICE ORIENTED ARCHITECTURE (SOA); SOFTWARE TESTING;

JAVA PROGRAMMING LANGUAGE;

EID: 71049173291     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02674-4_23     Document Type: Conference Paper

References (24)

1. 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)
2. Benedetto, C.: SOA and Integration Testing: The End-to-end View. SOA World Magazine 6(8) (2006)
3. Business Process Modeling Notation (BPMN) Specification, Final Adopted Specification. Technical report, Object Management Group (OMG), http://www.bpmn.org
4. 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)
5. Dotan, D., Kirshin, A.: Debugging and Testing Behavioral UML Models. In: OOPSLA Companion 2007, pp. 838-839. ACM Press, New York (2007)
6. 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)
7. 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)
8. 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)
9. 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)
10. 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)
11. Hartmann, J., Imoberdorf, C., Meisingerm, M.: UML-Based Integration Testing. In: Proc. of ISSTA 2000, pp. 60-70. ACM Press, New York (2000)
12. Helfen, M., Lauer, M., Trautwein, H.M.: Testing SAP Solutions. SAP Press (2007)
13. Kavantzas, N., Burdett, D., Ritzinger, G., Lafon, Y.: Web Services Choreography Description Language Version 1.0. W3C Candidate Recomm, Technical report (2005)
14. MODELPLEX Project. Funded by European Commission, FP6, Grant no. 034081, http://www.modelplex.org
15. O'Leary, D.E.: Enterprise Resource Planning Systems - Systems, Life Cycle, Electronic Commerce and Risks. Cambridge University Press, Cambridge (2000)
16. SAP AG, Enterprise SOA in a Nutshell (2007), http://help.sap.com/ redirect-sdn-esoa/redirect-esoainanutshell.htm
17. Utting, U., Legeard, B.: Practical Model-Based Testing - A Tools Approach. Morgan Kaufmann Publ., San Francisco (2007)
18. Web Services Reliable Messaging (WS-ReliableMessaging), Version 1.1. OASIS Consortiom, http://docs.oasis-open.org/ws-rx/wsrm/v1.1/wsrm.pdf
19. 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)
20. 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)
21. 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)
22. World Wide Web Consortium (W3C): Web Service Glossary. Version 20040211, http://www.w3.org/TR/ws-gloss
23. Woods, D., Mattern, T.: Enterprise SOA - Designing IT for Business Innovation. O'Reilly, Sebastopol (2006)
24. 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)