Skip to main content
SpringerLink
Log in

DDAT: Data Dependency Analysis Tool for Web Service Business Processes

  • Conference paper
Computational Science and Its Applications - ICCSA 2011 (ICCSA 2011)

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

Included in the following conference series:

Abstract

Service Oriented Architecture (SOA) provides a new generation of software architectures intended to integrate loosely coupled applications. In order to meet changing business goals, SOA systems incorporate multiple independent services supported by various providers. The complex structure of the resulting business processes can be defined in Business Process Execution Language for Web Services (WS-BPEL).

One of the main tasks of the quality assurance specialists during software design is testing the execution of different paths of the WS-BPEL process. In order to solve that task we propose an approach that augments the WS-BPEL process for test case generation by analyzing the conditional activities concerning given path of 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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Petrova-Antonova, D., Krasteva, I., Ilieva, S.: Approaches Facilitating WS-BPEL Testing. In: 17th Conference on European Systems & Software Process Improvement and Innovation (EuroSPI2 2010), Grenoble Institute of Technology, France, pp. 5.1–5.17 (2010)

    Google Scholar 

  2. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architectures and Applications (Data-Centric Systems and Applications). Springer, Berlin (2004)

    Book  MATH  Google Scholar 

  3. Web Services Business Process Execution Standard Version 2.0, http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html

  4. Pavlov, V., Borisov, B., Ilieva, S., Petrova-Antonova, D.: Framework for Testing Service Compositions. In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania (2010)

    Google Scholar 

  5. Yuan, Y., Li, Z., Sun, W.: A graph-search based approach to BPEL4WS test generation. In: International Conference on Software Engineering Advances (2006)

    Google Scholar 

  6. Lertphumpanya, T., Senivongse, T.: Basis path test suite and testing process for WS-BPEL. WSEAS Transactions on Computers 7(5), 483–496 (2008)

    Google Scholar 

  7. Li, Z.J., Tan, H.F., Liu, H.H., Zhu, J., Mitsumori, N.M.: Business-process-driven gray-box SOA testing. IBM Systems Journal 47, 457–472 (2008)

    Article  Google Scholar 

  8. Yan, J., Li, Z., Yuan, Y., Sun, W., Zhang, J.: Bpel4ws unit testing: Test case generation using a concurrent path analysis approach. In: Proc. of ISSRE, pp. 75–84. IEEE Computer Society, Los Alamitos (2006)

    Google Scholar 

  9. Dong, W.L., Yu, H., Zhang, Y.B.: Testing BPEL-based web service composition using high-level Petri Nets. In: Proceedings – IEEE International Enterprise Distributed Object Computing Workshop (2006)

    Google Scholar 

  10. Van Der Aalst, W.M.P., Dumas, M., Ouyang, C., Rozinat, A., Verbeek, E.: Conformance Checking of Service Behavior. ACM Transactions on Internet Technology 8(3), Article 13 (2008)

    Google Scholar 

  11. Zhang, G., Rong, M., Zhang, J.: A business process of web services testing method based on UML2.0 activity diagram. In: Proceedings - Workshop on Intelligent Information Technology Application, IITA 2007, pp. 59–60 (2007)

    Google Scholar 

  12. Ma, C., Wu, J., Zhang, T., Zhang, Y., Cai, X.: Automatic Test Case Generation for BPEL Using Stream X-Machine. International Journal of u- and e-Service, Science and Technology, 27–36 (2008)

    Google Scholar 

  13. 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 

  14. García-Fanjul, J., Tuya, J., de la Riva, C.: Generating Test Cases Specifications for BPEL Compositions of Web Services Using SPIN. In: International Workshop on Web Services Modelling and Testing, pp. 83–94 (2006)

    Google Scholar 

  15. Bozkurt, M., Harman, M., Hassoun, Y.: TestingWeb Services: A Survey. Technical Report TR-10-01, Department of Computer Science, King’s College London (2010)

    Google Scholar 

  16. Paradkar, A., Sinha, A., Williams, C., Johnson, R., Outterson, S., Shriver, C., Liang, C.: Automated functional conformance test generation for semantic web services. In: IEEE International Conference on Web Services, Salt Lake City, UT, USA, pp. 110–117 (2007)

    Google Scholar 

  17. Lallali, M., Zaidi, F., Cavalli, A.: Timed modeling of web services composition for automatic testing. In: IEEE International Conference on Signal-Image Technologies and Internet-Based System, Shanghai, China, pp. 417–426 (2007)

    Google Scholar 

  18. Lallali, M., Zaidi, F., Cavalli, A., Hwang, I.: Automatic timed test case generation for web services composition. In: 6th European Conference on Web Services, Dublin, Ireland, pp. 53–62 (2008)

    Google Scholar 

  19. Hou, S.S., Zhang, L., Lan, Q., Mei, H., Sun, J.S.: Generating effective test sequences for BPEL testing. In: 9th International Conference on Quality Software, Jeju, Korea (2009)

    Google Scholar 

  20. Ali, S., Briand, L.C., Hemmati, H., Panesar-Walawege, K.R.: A systematic review of the application and empirical investigation of search-based test-case generation. IEEE Transactions on Software Engineering 36(6), 742–762 (2010)

    Article  Google Scholar 

  21. McMinn, P.: Search-based software test data generation: A survey. Software Testing, Verification & Reliability (STVR) 14(2), 105–156 (2004)

    Article  Google Scholar 

  22. Blanco, R., García-Fanjul, J., Tuya, J.: A first approach to test case generation for BPEL compositions of web services using scatter search. In: IEEE International Conference on Software Testing, Verification, and Validation Workshops, Denver, CO, USA, pp. 131–140 (2009)

    Google Scholar 

  23. Model-driven Testing, https://www.research.ibm.com/haifa/projects/verification/mdt/index.html (last accessed April 6, 2011)

Download references

Author information

Authors and Affiliations

  1. Rila Solutions, Acad. G. Bonchev str., bl. 27, 1113, Sofia, Bulgaria

    Ivaylo Spassov & Valentin Pavlov

  2. FMI, Sofia University, 5, J. Bouchier str., 1164, Sofia, Bulgaria

    Dessislava Petrova-Antonova

  3. IICT, Bulgarian Academy of Sciences, Acad. G. Bonchev str., bl. 25A, 1113, Sofia, Bulgaria

    Sylvia Ilieva

Authors
  1. Ivaylo Spassov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Valentin Pavlov
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Dessislava Petrova-Antonova
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Sylvia Ilieva
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. L.I.S.U.T. - D.A.P.I.T., Basilicata University Potenza, 10, Viale dell’Ateneo Lucano, 85100, Potenza, Italy

    Beniamino Murgante

  2. Department of Mathematics and Computer Science, University of Perugia, Via Vanvitelli, 1, 06123, Perugia, Italy

    Osvaldo Gervasi

  3. Department of Applied Mathematics and Computational Sciences, University of Cantabria, Avda. de los Castros, s/n, C.P. 39005, Santander, Spain

    Andrés Iglesias

  4. School of Business Systems, Monash University, 3800, Clayton, VIC, Australia

    David Taniar

  5. Department of Intelligent Informatics, Kyushu Sangyo University, 2-3-1 Matsukadai, Higashi-ku, 813-8503, Fukuoka, Japan

    Bernady O. Apduhan

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Spassov, I., Pavlov, V., Petrova-Antonova, D., Ilieva, S. (2011). DDAT: Data Dependency Analysis Tool for Web Service Business Processes. In: Murgante, B., Gervasi, O., Iglesias, A., Taniar, D., Apduhan, B.O. (eds) Computational Science and Its Applications - ICCSA 2011. ICCSA 2011. Lecture Notes in Computer Science, vol 6786. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21934-4_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-21934-4_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-21933-7

  • Online ISBN: 978-3-642-21934-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation