Abstract
Service-oriented architectures propose loosely coupled interacting services as building blocks for distributed applications. Since distributed services differ from traditional monolithic software systems, novel testing methods are required. Based on the specification of a service, we introduce an approach to automatically generate test cases for black-box testing to check for conformance between the specification and the implementation of a service whose internal behavior might be confidential. Due to the interacting nature of services this is a nontrivial task.
Chapter PDF
Similar content being viewed by others
References
Papazoglou, M.P.: Agent-oriented technology in support of e-business. Communications of the ACM 44(4), 71–77 (2001)
Martens, A.: Verteilte Geschäftsprozesse – Modellierung und Verifikation mit Hilfe von Web Services. PhD thesis, Humboldt-Universität zu Berlin, Berlin, Germany (2003) (in German)
Papazoglou, M.P.: Web services: Principles and technology. Prentice Hall, Englewood Cliffs (2007)
OMG: Business Process Modeling Notation (BPMN) Specification. Final Adopted Specification, Object Management Group (2006), http://www.bpmn.org
Alves, A., et al.: Web Services Business Process Execution Language Version 2.0. Committee Specification, OASIS (2007)
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)
Mayer, P., Lübke, D.: Towards a BPEL unit testing framework. In: TAV-WEB 2006, pp. 33–42. ACM, New York (2006)
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)
Massuthe, P., Reisig, W., Schmidt, K.: An operating guideline approach to the SOA. Annals of Mathematics, Computing & Teleinformatics 1(3), 35–43 (2005)
Reisig, W.: Petri Nets. EATCS Monographs on Theoretical Computer Science edn. Springer, Heidelberg (1985)
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)
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)
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
Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing interacting BPEL processes. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 17–32. Springer, Heidelberg (2006)
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)
Lohmann, N.: Why does my service have no partners? In: WS-FM 2008. LNCS. Springer, Heidelberg (2008)
Baresi, L., Di Nitto, E. (eds.): Test and Analysis of Web Services. Springer, Heidelberg (2007)
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)
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)
Hanna, S., Munro, M.: An approach for specification-based test case generation for Web services. In: AICCSA, pp. 16–23. IEEE, Los Alamitos (2007)
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)
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)
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)
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)
Oracle: BPEL Process Manager (2008), http://www.oracle.com/technology/products/ias/bpel
Parasoft: SOAtest (2008), http://www.parasoft.com
Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Information & Software Technology (2008) (accepted for publication)
Störrle, H.: Semantics and verification of data flow in UML 2.0 activities. Electr. Notes Theor. Comput. Sci. 127(4), 35–52 (2005)
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)
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)
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
Kaschner, K., Lohmann, N. (2009). Automatic Test Case Generation for Interacting Services. In: Feuerlicht, G., Lamersdorf, W. (eds) Service-Oriented Computing – ICSOC 2008 Workshops. ICSOC 2008. Lecture Notes in Computer Science, vol 5472. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01247-1_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-01247-1_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01246-4
Online ISBN: 978-3-642-01247-1
eBook Packages: Computer ScienceComputer Science (R0)