Contract Based, Non-invasive, Black-Box Testing of Web Services

  • Michael Averstegge
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6470)


The Web service standard represents a prominent conversion of the SOA paradigm increasingly used in practice. The (not so knew) technical aspects in combination with the practices introducded by the WEB, lead new challanges in testing Web services often stated in literature. Introduced in this paper is a not invasive functional testing approach for Web services based on the Design by Contract (DbC) paradigm. By using formal semantic specification in a consequent manner we can present a generic testing approach which enables us to introduce quality metric measurements not before viable in traditional testing in a practicable way. We present results of our first basic study at the Schweizer Bundesbahn (SBB) Informatik in Bern.


Web service design by contract generic testdriver generic oracle semantic specification conformity black-box test monitoring contract checker test data generation non-invasive 


  1. 1.
    Andrikopoulos, V., Benbernou, S., Papazoglou, M.P.: Evolving services from a contractual perspective. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 290–304. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  2. 2.
    Averstegge, M.: Generisches testen von webservices. OBJEKTspektrum 4(4) (2010)Google Scholar
  3. 3.
    Beugnard, A., Jézéquel, J.-M., Plouzeau, N., Watkins, D.: Making components contract aware. Computer 32(7), 38–45 (1999)CrossRefGoogle Scholar
  4. 4.
    Dustdar, S., Haslinger, S.: Testing of service-oriented architectures - a practical approach. In: Weske, M., Liggesmeyer, P. (eds.) NODe 2004. LNCS, vol. 3263, pp. 97–109. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  5. 5.
    Farooq, A., Dumke Reiner, R., Georgieva, K.: Challenges in evaluating soa test processes. In: Dumke, R.R., Braungarten, R., Büren, G., Abran, A., Cuadrado-Gallego, J.J. (eds.) IWSM 2008. LNCS, vol. 5338, pp. 107–113. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  6. 6.
    Heckel, R., Lohmann, M.: Towards contract-based testing of web services (2004)Google Scholar
  7. 7.
    Huang, H., Tsai, W.-T., Paul, R., Chen, Y.: Automated model checking and testing for composite web services. In: ISORC , pp. 300–307 (2005)Google Scholar
  8. 8.
    Martin, E., Basu, T.X.S.: Automated testing and response analysis of web services. In: Proc. the IEEE International Conference on Web Services (ICWS 2007), Application Services and Industry Track, July 2007, pp. 647–654 (2007)Google Scholar
  9. 9.
    Martínez, A., Martínez, M.P., Jiménez-Peris, R., Pérez-Sorrosal, F.: Zenflow: A visualweb service composition tool for bpel4ws. In: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2005 (2005)Google Scholar
  10. 10.
    Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)zbMATHGoogle Scholar
  11. 11.
    Kuchen, H., Müller, R., Lembeck, C.: GlassTT – a Symbolic Java Virtual Machine Using Constraint Solving Techniques for Glass-Box Test Case Generation. Technical Report 102, Universität Münster, Institut für Informatik (2003)Google Scholar
  12. 12.
    W3C. Web Services Description Language (WSDL) 1.1 (2001), (last visited (2010.06.03))
  13. 13.
    Yang, J.: Web service componentization. Commun. ACM 46(10), 35–40 (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Michael Averstegge
    • 1
  1. 1.Department of Electrical EngineeringFernUniversität HagenGermany

Personalised recommendations