Web services composition testing: A strategy based on structural testing of parallel programs

Proceedings - Testing: Academic and Industrial Conference Practice and Research Techniques, TAIC PART 2008

Volumn , Issue , 2008, Pages 3-12

  Endo, André Takeshi ^a   Da Silva Sim̃ao, Adenilso ^a   Do Rocio Senger de Souza, Simone ^a   De Souza, Paulo Sergio Lopes ^a  

^a UNIVERSITY OF SÃO PAULO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

PLANNING; STRATEGIC PLANNING; TEST FACILITIES; WORLD WIDE WEB;

APPLICATIONS.; CASE STUDIES; COVERAGE CRITERIONS; NEW SERVICES; PARALLEL PROGRAMS; STRUCTURAL INTEGRATIONS; TEST STRATEGIES; WEB SERVICES COMPOSITIONS;

WEB SERVICES;

EID: 57649221732     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TAIC-PART.2008.9     Document Type: Conference Paper

References (20)

1. A. Bertolino, E. Marchetti, and I. Parissis. Perspectives on data flow-based validation of web services compositions. In 3rd ROSATEA Workshop (Role of Software Architecture for Testing and Analysis), Boston, USA, 2007.
2. A. Bucchiarone, H. MeJgratti, and F. Severoni. Testing service composition. In 8th Argentine Symposium on Software Engineering (ASSE'07), Mar del Plata, Argentina, 2007.
3. K. M. Chan, J. Bishop, J. Steyn, L. Baresi, and S. Guinea. A fault taxonomy for web service composition. In 3rd International Workshop on Engineering Service Oriented Applications: Analysis, Design and Composition (WESOA'07), Vienna, Austria, 2007. ACM.
4. A. T. Endo, A. S. Simão, S. R. S. Souza, and P. S. L. Souza. Application of structural testing for web services composition. 1st Brazilian Workshop on Systematic and Automated Software Testing (SAST'2007), pages 13-20, 2007. (in Portuguese).
5. R. Kazhamiakin, M. Pistore, and L. Santuari. Analysis of communication models in web service compositions. In WWW '06: Proceedings of the 15th international conference on World. Wide Web, pages 267-276, New York, NY, USA, 2006. ACM Press.
6. M. Keen, J. Cavell, S. Hill, C. K. Kee, W. Neave, B. Rumph, and H. Tran. BPEL4WS Business Processes with Web Sphere Business Integration: Understanding, Modeling, Migrating. IBM, 1st. edition, 2004.
7. Z. Li, W. Sun, Z. B. Jiang, and X. Zhang. BPEL4WS unit testing: Framework and implementation. In IEEE International Conference on Web Services (ICWS'05), pages 103-110, Los Alamitos, CA, USA, 2005. IEEE Computer Society.
8. J. C. Maldonado, E. F. Barbosa, A. M. R. Vincenzi, M. E. Delamaro, S. R. S. Souza, and M. Jino. Introduction to software testing. Technical report, 2004. (in Portuguese).
9. P. Mayer and D. Lubke. Towards a BPEL unit testing framework. In TAV-WEB'06: Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications, pages 33-42, New York, NY, USA, 2006. ACM Press.
10. N. Milanovic and M. Malek. Current solutions for web service composition. IEEE Internet Computing, 8(6):51-59, 2004.
11. OASIS WSBPEL Technical Committee. Web services business process execution language (WSBPEL) v2.0, 2007. With associated web site http://docs.oasisopen. org/wsbpe1/2.0/, april 2008.
12. Oracle. Oracle BPEL process manager 2.0 - quick start tutorial, 2004. With associated web site http://www.oracle.com/technology/products/ias/bpel/pdf/ orabpel-QuickStart.pdf, april 2008.
13. C. Peltz. Web services orchestration and choreography. Computer, 36(10):46-52, 2003.
14. S. Rapps and E. J. Weyuker. Selecting software test data using data flow information. IEEE Transactions on Software Engineering, 11(4):367-375, Apr. 1985.
15. S. R. S. Souza, S. R. Vergilio, P. S. L. Souza, A. S. Simão, and A. C. Hausen. Structural testing criteria for messagepassing parallel programs. Concurrency and Computation: Practice and Experience, mar 2008.
16. S. R. Vergilio, S. R. S. Souza, and P. S. L. Souza. Coverage testing criteria for message-passing parallel programs. In LATW2005-6th IEEE Latin-American Test Workshop, pages 161-166, Salvador, Ba, 2005.
17. J. Yan, Z. Li, Y Yuan, W. Sun, and J. Zhang. BPEL4WS unit testing: Test case generation using a concurrent path analysis approach. In 17th International Symposium on Software Reliability Engineering (TSSRE'06), pages 75-84, Los Alamitos, CA, USA, 2006. IEEE Computer Society.
18. C.-S. D. Yang, A. L. Souter, and L. L. Pollock. All-du-path coverage for parallel programs. In ISSTA '98: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, pages 153-162, New York, NY, USA, 1998. ACM Press.
19. Y. Yuan, Z. Li, and W. Sun. A graph-search based approach to BPEL4WS test generation. In International Conference on Software Engineering Advances (ICSEA'06), pages 14-23, Los Alamitos, CA, USA, 2006. IEEE Computer Society.
20. H. Zhu, P. A. V. Hall, and J. H. R. May. Software unit test coverage and adequacy. ACM Computing Surveys (CSUR), 29(4):366-427, 1997.