Automatic Test Case Generation for Interacting Services

  • Kathrin Kaschner
  • Niels Lohmann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5472)


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.


Testing Interacting Services Test Case Generation 


  1. 1.
    Papazoglou, M.P.: Agent-oriented technology in support of e-business. Communications of the ACM 44(4), 71–77 (2001)CrossRefGoogle Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    Papazoglou, M.P.: Web services: Principles and technology. Prentice Hall, Englewood Cliffs (2007)Google Scholar
  4. 4.
    OMG: Business Process Modeling Notation (BPMN) Specification. Final Adopted Specification, Object Management Group (2006),
  5. 5.
    Alves, A., et al.: Web Services Business Process Execution Language Version 2.0. Committee Specification, OASIS (2007)Google Scholar
  6. 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)Google Scholar
  7. 7.
    Mayer, P., Lübke, D.: Towards a BPEL unit testing framework. In: TAV-WEB 2006, pp. 33–42. ACM, New York (2006)Google Scholar
  8. 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)Google Scholar
  9. 9.
    Massuthe, P., Reisig, W., Schmidt, K.: An operating guideline approach to the SOA. Annals of Mathematics, Computing & Teleinformatics 1(3), 35–43 (2005)Google Scholar
  10. 10.
    Reisig, W.: Petri Nets. EATCS Monographs on Theoretical Computer Science edn. Springer, Heidelberg (1985)CrossRefzbMATHGoogle Scholar
  11. 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)CrossRefGoogle Scholar
  12. 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)Google Scholar
  13. 13.
    Wolf, K.: Does my service have partners? Transactions on Petri Nets and Other Models of Concurrency (2008) (accepted for publication, preprint ),
  14. 14.
    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)CrossRefGoogle Scholar
  15. 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)CrossRefGoogle Scholar
  16. 16.
    Lohmann, N.: Why does my service have no partners? In: WS-FM 2008. LNCS. Springer, Heidelberg (2008)Google Scholar
  17. 17.
    Baresi, L., Di Nitto, E. (eds.): Test and Analysis of Web Services. Springer, Heidelberg (2007)Google Scholar
  18. 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)Google Scholar
  19. 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)Google Scholar
  20. 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)Google Scholar
  21. 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)Google Scholar
  22. 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)Google Scholar
  23. 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)CrossRefGoogle Scholar
  24. 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)Google Scholar
  25. 25.
    Oracle: BPEL Process Manager (2008),
  26. 26.
    Parasoft: SOAtest (2008),
  27. 27.
    Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Information & Software Technology (2008) (accepted for publication)Google Scholar
  28. 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)CrossRefGoogle Scholar
  29. 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)CrossRefGoogle Scholar
  30. 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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Kathrin Kaschner
    • 1
  • Niels Lohmann
    • 1
  1. 1.Institut für InformatikUniversität RostockRostockGermany

Personalised recommendations