Automatic test case generation for interacting services

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

Volumn 5472 LNCS, Issue , 2009, Pages 66-78

  Kaschner, Kathrin ^a   Lohmann, Niels ^a  

^a UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

Interacting Services; Test Case Generation; Testing

Indexed keywords

AUTOMATIC TESTCASE GENERATION; BLACK-BOX TESTING; BUILDING BLOCKES; DISTRIBUTED APPLICATIONS; DISTRIBUTED SERVICE; INTERACTING SERVICES; NON-TRIVIAL TASKS; SOFTWARE SYSTEMS; TEST CASE; TEST CASE GENERATION; TESTING METHOD;

COMPUTER SCIENCE; INFORMATION SERVICES; SERVICE ORIENTED ARCHITECTURE (SOA); SPECIFICATIONS;

TECHNICAL PRESENTATIONS;

EID: 70350637683     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-01247-1_7     Document Type: Conference Paper

References (30)

1. Papazoglou, M.P.: Agent-oriented technology in support of e-business. Communications of the ACM 44(4), 71-77 (2001)
2. Martens, A.: Verteilte Geschaïftsprozesse - Modellierung und Verifikation mit Hilfe von Web Services. PhD thesis, Humboldt-Universitaït zu Berlin, Berlin, Germany (2003) (in German)
3. Papazoglou, M.P.: Web services: Principles and technology. Prentice Hall, Englewood Cliffs (2007)
4. OMG: Business Process Modeling Notation (BPMN) Specification. Final Adopted Specification, Object Management Group (2006), http://www.bpmn.org
5. Alves, A., et al.: Web Services Business Process Execution Language Version 2.0. Committee Specification, OASIS (2007)
6. Curbera, F., Leymann, F., Storey, T., Ferguson, D.,Weerawarana, S.:Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging and More. Prentice Hall PTR, Englewood Cliffs (2005)
7. Mayer, P., Lübke, D.: Towards a BPEL unit testing framework. In: TAV-WEB 2006, pp. 33-42. ACM, New York (2006)
8. König, D., Lohmann, N.,Moser, S., Stahl, C.,Wolf, K.: Extending the compatibility notion for abstract WS-BPEL processes. In: WWW 2008. ACM, New York (2008)
9. Massuthe, P., Reisig, W., Schmidt, K.: An operating guideline approach to the SOA. Annals of Mathematics, Computing & Teleinformatics 1(3), 35-43 (2005)
10. Reisig, W.: Petri Nets. EATCS Monographs on Theoretical Computer Science edn. Springer, Heidelberg (1985)
11. Lohmann, N.: A feature-complete petri net semantics for WS-BPEL 2.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 77-91. Springer, Heidelberg (2008)
12. Lohmann, N., Kleine, J.: Fully-automatic translation of open workflow net models into simple abstract BPEL processes. In: Modellierung 2008. LNI, vol. P-127. GI (2008)
13. Wolf, K.: Does my service have partners? Transactions on Petri Nets and Other Models of Concurrency (2008) (accepted for publication, preprint ), http://www.informatik.uni-rostock.de/̃nl/topnoc.pdf
14. Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing interacting BPEL rocesses. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 17-32. Springer, Heidelberg (2006)
15. Lohmann, N., Massuthe, P., Wolf, K.: Operating guidelines for finite-state services. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 321-341. Springer, Heidelberg (2007)
16. Lohmann, N.: Why does my service have no partners? In: WS-FM 2008. LNCS. Springer, Heidelberg (2008)
17. Baresi, L., Di Nitto, E. (eds.): Test and Analysis of Web Services. Springer, Heidelberg (2007)
18. Li, Z., Sun, W., Jiang, Z.B., Zhang, X.: BPEL4WS unit testing: Framework and implementation. In: ICWS 2005, pp. 103-110. IEEE, Los Alamitos (2005)
19. García-Fanjul, J., Tuya, J., de la Riva, C.: Generating test cases specifications for BPEL compositions of Web services using SPIN. In: WS-MaTe 2006, pp. 83-94 (2006)
20. Hanna, S., Munro, M.: An approach for specification-based test case generation for Web services. In: AICCSA, pp. 16-23. IEEE, Los Alamitos (2007)
21. Yan, J., Li, Z., Yuan, Y., Sun, W., Zhang, J.: BPEL4WS unit testing: Test case generation using a concurrent path analysis approach. In: ISSRE 2006, pp. 75-84. IEEE, Los Alamitos (2006)
22. Bartolini, C., Bertolino, A., Marchetti, E., Parissis, I.: Data flow-based validation of web services compositions: Perspectives and examples. In: Dehne, F., Sack, J.-R., Zeh, N. (eds.) WADS 2007. LNCS, vol. 4619, pp. 298-325. Springer, Heidelberg (2007)
23. Bertolino, A., De Angelis, G., Frantzen, L., Polini, A.: Model-based generation of testbeds for web services. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom/FATES 2008. LNCS, vol. 5047, pp. 266-282. Springer, Heidelberg (2008)
24. Bertolino, A., De Angelis, G., Lonetti, F., Sabetta, A.: Let the puppets move| automated testbed generation for service-oriented mobile applications. In: SEAA 2008, pp. 11-19. IEEE, Los Alamitos (2008)
25. Oracle: BPEL Process Manager (2008), http://www.oracle.com/technology/ products/ias/bpel
26. Parasoft: SOAtest (2008), http://www.parasoft.com
27. Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Information & Software Technology (2008) (accepted for publication)
28. Störrle, H.: Semantics and verification of data flow in UML 2.0 activities. Electr. Notes Theor. Comput. Sci. 127(4), 35-52 (2005)
29. Sharygina, N., Kröning, D.: Model checking with abstraction for Web services. In: Test and Analysis of Web Services, pp. 121-145. Springer, Heidelberg (2007)
30. Moser, S., Martens, A., Görlach, K., Amme, W., Godlinski, A.: Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis. In: SCC 2007, pp. 98-105. IEEE, Los Alamitos (2007)