Skip to main content
SpringerLink
Log in

Application of Metamorphic Testing to a Case Study in Web Services Compositions

  • Conference paper
Book cover E-Business and Telecommunications (ICETE 2011)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 314))

Included in the following conference series:

Abstract

Web services compositions are being widely adopted by developers, therefore the economic impact of WS-BPEL service compositions has increased, and deeper insight on how to test them effectively is required. In fact, new software testing techniques are being developed nowadays, specially those related with applications to Web Services, because of transations through Internet. Languages for composing web services, such as the OASIS WS-BPEL 2.0 standard, open a new field for large-scale programming and they present a challenge for traditional quality assurance. Metamorphic Testing has proved useful to test and improve the quality of traditional imperative programs. This paper presents a proposal to use Metamorphic Testing to WS-BPEL compositions and provides a component diagram and an implementation approach as well as a case study with promising results.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ActiveVOS: ActiveBPEL WS-BPEL Engine (October 2009), http://sourceforge.net/search/?q=ActiveBPEL

  2. Andrews, J.H., Briand, L.C., Labiche, Y.: Is mutation an appropriate tool for testing experiments? In: Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), pp. 402–411. ACM Press (2005)

    Google Scholar 

  3. Beizer, B.: Software Testing Techniques, 2nd edn. International Thomson Computer Press, 2 sub edn. (June 1990)

    Google Scholar 

  4. Bozkurt, M., Harman, M., Hassoun, Y.: TR-10-01: testing web services: A survey. Tech. Rep. TR-10-01, King’s College, London (2010)

    Google Scholar 

  5. Chan, W.K., Cheung, S.C., Leung, K.R.: A metamorphic testing approach for online testing of service-oriented software applications. International Journal of Web Services Research 4(2), 61–81 (2007)

    Article  Google Scholar 

  6. Chan, W.K., Cheung, S., Leung, K.: Towards a metamorphic testing methodology for service-oriented software applications. In: Fifth International Conference on Quality Software (QSIC 2005), pp. 470–476 (2006)

    Google Scholar 

  7. Chen, T.Y.: Metamorphic testing: A new approach for generating next test cases. Technical Report HKUST-CS98-01, Department of. Computer Science, Hong Kong University of Science and Technology (1998)

    Google Scholar 

  8. Chen, T.Y.: Metamorphic testing: A simple approach to alleviate the oracle problem. In: Proceedings of the 5th IEEE International Symposium on Service Oriented System Engineering. IEEE Computer Society (2010)

    Google Scholar 

  9. Chen, T.Y., Feng, J., Tse, T.H.: Metamorphic testing of programs on partial differential equations: A case study. In: Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment, COMPSAC 2002, pp. 327–333. IEEE Computer Society, Washington, DC (2002), http://portal.acm.org/citation.cfm?id=645984.675903

    Google Scholar 

  10. Chen, T.Y., Huang, D.H., Tse, T.H., Zhou, Z.Q.: Case studies on the selection of useful relations in metamorphic testing. In: Proceedings of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC 2004), pp. 569–583 (2004)

    Google Scholar 

  11. Domínguez-Jiménez, J.J., Estero-Botaro, A., García-Domínguez, A., Medina-Bulo, I.: GAmera: An automatic mutant generation system for WS-BPEL compositions. In: ECOWS 2009: Seventh IEEE European Conference on Web Services, pp. 97–106. IEEE Computer Society, Eindhoven (2009)

    Chapter  Google Scholar 

  12. García-Fanjul, J., Tuya, J., de la Riva, C.: Generación sistemática de pruebas para composiciones de servicios utilizando criterios de suficiencia basados en transiciones. In: JISBD 2007: Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos (2007)

    Google Scholar 

  13. Gotlieb, A., Botella, B.: Automated metamorphic testing. In: Annual International on Computer Software and Applications Conference, pp. 34–40 (2003)

    Google Scholar 

  14. IDC: Research reports (2008), http://www.idc.com

  15. Mayer, P., Lübke, D.: Towards a BPEL unit testing framework. In: TAV-WEB 2006: Proceedings of the 2006 workshop on Testing, Analysis, and Verification of Web Services and Applications, pp. 33–42. ACM, New York (2006)

    Chapter  Google Scholar 

  16. Murphy, C., Kaiser, G., Hu, L., Wu, L.: Properties of machine learning applications for use in metamorphic testing. In: Proc. of the 20th International Conference on Software Engineering and Knowledge Engineering (SEKE), pp. 867–872 (2008)

    Google Scholar 

  17. Murphy, C., Shen, K., Kaiser, G.: Using JML runtime assertion checking to automate metamorphic testing in applications without test oracles. In: International Conference on Software Testing Verification and Validation, ICST 2009, pp. 436–445 (2009)

    Google Scholar 

  18. Myers, G.J., Sandler, C., Badgett, T., Thomas, T.M.: The Art of Software Testing, 2nd edn. Wiley - Interscience (2004)

    Google Scholar 

  19. OASIS: Web Services Business Process Execution Language 2.0 (2007), http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html , Organization for the Advancement of Structured Information Standards

  20. Segura, S., Hierons, R.M., Benavides, D., Ruiz-Cortes, A.: Automated test data generation on the analyses of feature models: A metamorphic testing approach. In: 2008 International Conference on Software Testing, Verification, and Validation, pp. 35–44 (2010)

    Google Scholar 

  21. UCASE Research Group: GAmera home site (2010), http://neptuno.uca.es/~gamera

  22. UCASE Research Group: Takuan home site (May 2010), https://neptuno.uca.es/redmine/projects/takuan-website

  23. Weyuker, E.: On testing Non-Testable programs. The Computer Journal 25(4), 465–470 (1982), http://dx.doi.org/10.1093/comjnl/25.4.465

    Article  Google Scholar 

  24. 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: 17th International Symposium on Software Reliability Engineering, pp. 75–84. IEEE Computer Society, Raleigh (2006)

    Chapter  Google Scholar 

  25. Zhang, Z.Y., Chan, W.K., Tse, T.H., Hu, P.F.: An experimental study to compare the use of metamorphic testing and assertion checking. Journal of Software 20(10), 2637–2654 (2009)

    Article  Google Scholar 

  26. Zheng, Y., Zhou, J., Krause, P.: An automatic test case generation framework for web services. Journal of Software 2(3), 64–77 (2007)

    Article  Google Scholar 

  27. Zhou, Z.Q., Huang, D.H., Tse, T.H., Yang, Z., Huang, H., Chen, T.Y.: Metamorphic testing and its applications. In: Proceedings of the 8th International Symposium on Future Software Technology (ISFST 2004), Software Engineers Association (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Languages and Systems, University of Cádiz, Cádiz, Spain

    Carmen Castro-Cabrera & Inmaculada Medina-Bulo

Authors
  1. Carmen Castro-Cabrera
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Inmaculada Medina-Bulo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Monmouth University, 07764, West Long Branch, NJ, U.S.A.

    Mohammad S. Obaidat

  2. University of Seville, C/S. Fernando, 4, C.P. 41004, Sevilla, Spain

    José L. Sevillano

  3. Departament of Systems and Informatics, Polytechnic Institute of Setúbal – INSTICC, Rua do Vale de Chaves - Estefanilha, 2910-761, Setúbal, Portugal

    Joaquim Filipe

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Castro-Cabrera, C., Medina-Bulo, I. (2012). Application of Metamorphic Testing to a Case Study in Web Services Compositions. In: Obaidat, M.S., Sevillano, J.L., Filipe, J. (eds) E-Business and Telecommunications. ICETE 2011. Communications in Computer and Information Science, vol 314. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35755-8_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-35755-8_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-35754-1

  • Online ISBN: 978-3-642-35755-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation