Skip to main content
SpringerLink
Log in

Research Review on Web Service Composition Testing

  • Conference paper
  • First Online:
Structured Object-Oriented Formal Language and Method (SOFL+MSVL 2018)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 11392))

  • 593 Accesses

Abstract

Web services composition is designed to achieve a more powerful and large-grained services with organic synthesis of different Web services. In order to guarantee the quality of the Web services composition, comprehensive and adequate testing of the Web services composition is required. However, the dynamic and distributed characteristics of Web services combination make its testing technology and method have big difference with the traditional software testing and bring a large of challenges. In this paper, we summarize and analyze the definition, architecture, testing methods and testing techniques of Web service composition. In addition, we also analyze and prospect the progress of Web services combination testing.

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 EPUB and 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

Similar content being viewed by others

References

  1. Duan, Z., Yang, X., Koutny, M.: Framed temporal logic programming. Sci. Comput. Program. 70(1), 31–61 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  2. Tian, C., Duan, Z., Duan, Z.: Making CEGAR more efficient in software model checking. IEEE Trans. Softw. Eng. 40(12), 1206–1223 (2014)

    Article  Google Scholar 

  3. Hong, Z., Feng, Z.Y.: Collaborative testing of web services. IEEE Trans. Serv. Comput. 5(1), 116–130 (2012)

    Article  Google Scholar 

  4. Bozkurt, M., Harman, M., Hassoun, Y.: Testing and verification in service-oriented architecture: a survey. Softw. Test. Verif. Reliab. 23(4), 261–313 (2013)

    Article  Google Scholar 

  5. Ebrahim, S.M.: A survey of service-oriented architecture systems testing. J. Softw. Eng. Appl. (IJSEA) 3(6), 19–27 (2012)

    Google Scholar 

  6. Rusli, H.M., Puteg, M., Ibrahim, S., Tabatabaei, S.: A comparative evaluation of state-of-the-art web service composition testing approaches. In: Proceedings of the 6th International Workshop on Automation of Software Test (AST), pp. 29–35 (2011)

    Google Scholar 

  7. Zhang, J., Zhang, L.-J.: Criteria analysis and validation of the reliability of web services-oriented systems. In: Proceedings of the IEEE International Conference on Web Services, pp. 11–15 (2005)

    Google Scholar 

  8. Toure, F., Badri, M., Lamontagne, L.: A metrics suite for JUnit test code: a multiple case study on open source software. J. Softw. Eng. Res. Dev. 2(1), 1–32 (2014)

    Article  Google Scholar 

  9. Zhang, X., Sun, W., Jiang, Z.B.: BPEIAWS unit testing: framework and implementation. In: Proceedings of the IEEE International Conference on Web Services, pp. 103–110 (2005)

    Google Scholar 

  10. Dong, W., Tasi, W.T., Chen, Y.: WSDL-based automatic test case generation for web services testing. In: IEEE International Workshop, pp. 2l5–220 (2005)

    Google Scholar 

  11. Akehurst, D.H.: Validating BPEL specifications using OCL. Technical report, University of Kent at Canterbury (2004)

    Google Scholar 

  12. Looker, N., Xu, J.: Assessing the dependability of SOAP RPC-based web services by fault injection. In: The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, pp. 165–172 (2003)

    Google Scholar 

  13. Offutt, J., Xu, W.: Generating test cases for web services using data perturbation. In: ACM SIGSOFT Software Engineering Notes, vol. 29, pp. 1–10 (2004)

    Google Scholar 

  14. Chen, Y., Li, Y., Zhang, L.: WSCE: a flexible web service composition environment. In: Proceedings of the IEEE International Conference on Web Services, pp. 428–435 (2004)

    Google Scholar 

  15. Tsai, W.T., Paul, R., Yu, L., Saimi, A.: Scenario-based web service testing with distributed agents. IEICE Trans. Inf. Syst. 86, 2130–2144 (2003)

    Google Scholar 

  16. Jiang, Y.: Research on web service workflow variation test technology. Southeast University (2011)

    Google Scholar 

  17. Wang, R., Huang, N.: Requirement model-based mutation testing for web service. In: Proceedings of the 4th International Conference on Next Generation Web Services Practices, pp. 71–76 (2008)

    Google Scholar 

  18. Bruno, M., Canfora, G., Di Penta, M., Esosito, G., Mazza, V.: Using test cases as contract to ensure service compliance across releases. In: The 3rd IEEE International Conference on Service-Oriented Computing, Amsterdam, Netherlands (2005)

    Google Scholar 

  19. Li, B., Zhang, P.: Modeling. Testing and Verification of Combined Services. Science Press, Henderson (2013)

    Google Scholar 

  20. Huang, H., Tsai, W.T., Paul, R.: Automated model checking and testing for composite web services. In: Proceedings of the IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, pp. 300–307 (2005)

    Google Scholar 

  21. Garcia-Fanjul, J., de La Riva, C., Tuya, J.: Generating test cases specifications for BPEL compositions of web services using SPIN. In: Proceedings of WS-MaTe 2006, pp. 83–94 (2006)

    Google Scholar 

  22. Garcia-Fanjul, J., de La Riva, C., Tuya, J.: Generation of conformance test suites for compositions of web services using model checking. In: Testing: Academic and Industrial Conference - Practice and Research Techniques, pp. 127–130 (2006)

    Google Scholar 

  23. Zheng, Y.Y., Zhou, J., Krause, P.: A model checking based test case generation framework for web services. In: Proceedings of the International Conference on Information Technology, pp. 715–722 (2007)

    Google Scholar 

  24. Li, B., Zhang, W.S., Zhang, X.G.: Describing and verifying web service using CCS. In: Proceedings of the International Conference on Parallel and Distributed Computing, pp. 1571–1576 (2006)

    Google Scholar 

  25. Long, H.Y., Ma, D.: Checking compatibility of BPEL4WS based on CCS. In: Proceedings of the International Conference on System Science, Engineering Design and Manufacturing Informatization, pp. 255–258 (2011)

    Google Scholar 

  26. Du, Y.H., Tan, W., Zhou, M.C.: Timed compatibility analysis of web service composition a modular approach based on Petri nets. IEEE Trans. Autom. Sci. Eng. 11(2), 594–606 (2014)

    Article  Google Scholar 

  27. Miao, H.-K., Chen, S.-B., Zeng, H.-W.: Model-based testing for web applications. Chin. J. Comput. 34(06), 1012–1028 (2011)

    Article  Google Scholar 

  28. Qian, Z., Miao, H.: Efficient web software testing method. Comput. Sci. 38(02), 152–155+159 (2011)

    Google Scholar 

  29. Yuan, Y., Li, Z., Sun, W.: A graph-search based approach to BPEL4WS test generation. In: Proceedings of the International Conference on Software Engineering Advances (ICSEA), pp. 1–14 (2006)

    Google Scholar 

  30. Yan, J., Li, Z., Yuan, Y., Sun, W., Zhang, J.: BPEL4WS unit testing: test case generation using a concurrent path analysis approach. In: Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE), pp. 75–84 (2006)

    Google Scholar 

  31. Mei, L., Chan, W.K., Tse, T.H.: Data flow testing of service choreography. In: Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC), pp. 151–160 (2009)

    Google Scholar 

  32. Mei, L., Chan, W.K., Tse, T.H.: Data flow testing of service oriented workflow applications. In: Proceedings of the 30th International Conference on Software Engineering (ICSE), pp. 371–380 (2008)

    Google Scholar 

  33. Hou, S.S., Zhang, L., Lan, Q., Mei, H.J., Sun, S.: Generating effective test sequences for BPEL testing. In: Proceedings of the 5th International Conference on Quality Software, pp. 331–340 (2009)

    Google Scholar 

  34. Ni, Y., Hou, S.S., Zhang, L., Zhu, J., Li, Z.J., Lan, Q.: Effective message-sequence generation or testing BPEL programs. IEEE Trans. Serv. Comput. 6(1), 7–19 (2013). https://doi.org/10.1109/TSC.2011.22

    Article  Google Scholar 

  35. Wu, C.S., Huang, C.H.: The web services composition testing based on extended finite state machine and UML model. In: Proceedings of the IEEE International Conference on Service Science and Innovation, pp. 215–222 (2013)

    Google Scholar 

  36. Sun, C.A., Shang, Y., Zhao, Y., Chen, T.Y.: Scenario-oriented testing for web service compositions using BPEL. In: Proceedings of the 12th International Conference on Quality Software (QSIC), pp. 171–174 (2012)

    Google Scholar 

  37. Zhang, P.C., Leung, H., Li, W.R., Li, X.D.: Web services property sequence chart monitor: a tool chain for monitoring BPEL-based web service composition with scenario-based specifications. IET Softw. 7(4), 222–248 (2013)

    Article  Google Scholar 

  38. Sun, C., Zhao, Y., Pan, L., Liu, H., Chen, T.Y.: Automated testing of WS-BPEL service compositions: a scenario-oriented approach. IEEE Trans. Serv. Comput. 11, 616–629 (2015)

    Article  Google Scholar 

  39. Li, Q., et al.: Service composition and interaction in a SOC middleware supporting separation of concerns with flows and views. J. Database Manag. (JDM) 22(2), 32–63 (2011)

    Article  Google Scholar 

  40. Belli, F., Endo, A.T., Linschulte, M., Simao, A.: A holistic approach to model-based testing of web service compositions. Softw.: Pract. Exp. 44(2), 201–234 (2014)

    Google Scholar 

  41. Herbold, S., Harms, P., Grabowski, J.: Combining usage-based and model-based testing for service-oriented architectures in the industrial practice. Int. J. Softw. Tools Technol. Transfer 19(3), 309–324 (2017)

    Article  Google Scholar 

  42. Chen, C., Zaidman, A., Gross, H.G.: A framework-based runtime monitoring approach for service-oriented software systems. In: Proceedings of the International Workshop on Quality Assurance for Service-Based Applications, QASBA 2011, pp. 17–20. ACM, New York (2011)

    Google Scholar 

  43. Gao, H., Li, Y.: Generating quantitative test cases for probabilistic timed web service composition. In: Proceedings of the APSCC, pp. 275–283 (2011)

    Google Scholar 

  44. Hallé, S., La Chance, E., Gaboury, S.: Graph methods for generating test cases with universal and existential constraints. In: El-Fakih, K., Barlas, G., Yevtushenko, N. (eds.) ICTSS 2015. LNCS, vol. 9447, pp. 55–70. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25945-1_4

    Chapter  Google Scholar 

  45. Elqortobi, M., Bentahar, J., Dssouli, R.: Framework for dynamic web services composition guided by live testing. In: Belqasmi, F., Harroud, H., Agueh, M., Dssouli, R., Kamoun, F. (eds.) AFRICATEK 2017. LNICST, vol. 206, pp. 129–139. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-67837-5_13

    Chapter  Google Scholar 

  46. Mei, L., Cai, Y., Jia, C., Jiang, B., Chan, W.K.: Test pair selection for test case prioritization in regression testing for WS-BPEL programs (Report). Int. J. Web Serv. Res. 10(1), 73(30) (2013)

    Article  Google Scholar 

  47. Petrova-Antonova, D., Ilieva, S., Manova, D.: TASSA: testing framework for web service orchestrations. In: 2015 IEEE/ACM 10th International Workshop on Automation of Software Test, pp. 8–12, May 2015

    Google Scholar 

  48. Cao, D., Félix, P., Castanet, R.: WSOFT: an automatic testing tool for web services composition. In: 5th International Conference on Internet and Web Applications and Services (2014)

    Google Scholar 

  49. Xu, C., Qu, W., Wang, H., Wang, Z., Ban, X.: A Petri Net-based method for data validation of web services composition. In: 2010 IEEE 34th Annual Computer Software and Applications Conference (COMPSAC), pp. 468–476, July 2010

    Google Scholar 

  50. Zhang, J., Yang, R., Chen, Z., Zhao, Z., Xu, B.: Automated EFSM-based test case generation with scatter search. In: Proceedings of the 7th International Workshop on Automation of Software Test, 02 June 2012, pp. 76–82 (2012)

    Google Scholar 

  51. Shan, N.: Applications research in ultrasonic testing of carbon fiber composite based on an optical fiber F-p sensor. In: Proceedings of SPIE - The International Society for Optical Engineering, 25 October 2016, vol. 9685, pp. 968511–968511-6 (2016)

    Google Scholar 

Download references

Acknowledgement

This paper is supported by National Natural Science Foundation of China (NSFC) under Grant No. 61572306.

Author information

Authors and Affiliations

  1. School of Computer Engineering and Science, Shanghai University, Shanghai, China

    Zhoujie Du & Huaikou Miao

  2. Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai, China

    Zhoujie Du & Huaikou Miao

Authors
  1. Zhoujie Du
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Huaikou Miao
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Zhoujie Du .

Editor information

Editors and Affiliations

  1. Xidian University, Xi’an, China

    Zhenhua Duan

  2. Hosei University, Tokyo, Japan

    Shaoying Liu

  3. Xidian University, Xi’an, China

    Cong Tian

  4. Nihon University, Tokyo, Japan

    Fumiko Nagoya

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Du, Z., Miao, H. (2019). Research Review on Web Service Composition Testing. In: Duan, Z., Liu, S., Tian, C., Nagoya, F. (eds) Structured Object-Oriented Formal Language and Method. SOFL+MSVL 2018. Lecture Notes in Computer Science(), vol 11392. Springer, Cham. https://doi.org/10.1007/978-3-030-13651-2_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-13651-2_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-13650-5

  • Online ISBN: 978-3-030-13651-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation