Slicing web service-based software

IEEE International Conference on Service-Oriented Computing and Applications, SOCA' 09

Volumn , Issue , 2009, Pages 91-98

  Mao, Chengying ^a  

^a JIANGXI UNIVERSITY OF FINANCE AND ECONOMICS   (China)

Author keywords

BPDG; BPEL; Dependence analysis; ECFG; Slicing algorithm; Web services

Indexed keywords

BPEL; CONTROL FLOW GRAPHS; DEPENDENCE ANALYSIS; IN-DEPTH ANALYSIS; NEW MECHANISMS; PROGRAM DEPENDENCE GRAPH; REAL-WORLD; SLICING ALGORITHMS; STATIC SLICING; WEB SERVICE APPLICATIONS; WEB SERVICE COMPOSITION;

WEB SERVICES;

EID: 77950289863     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SOCA.2009.5410460     Document Type: Conference Paper

References (23)

1. G. Canfora and M. D. Penta, "Service-Oriented Architectures Testing: A Survey", Proc. of ISSSE 2006-2008, LNCS 5413, 2009, pp. 78-105.
2. OASIS WSBPEL Technical Committee, Web Services Business Process Execution Language Version 2.0, available at http://docs.oasis-open.org/wsbpel/2.0/ wsbpelv2.0.pdf
3. J. Hou, B. Xu, L. Xu, D. Wang, and J. Xu, "A Testing Method for Web Services Composition Based on Data-Flow", Wuhan University Journal of Natural Sciences, 2008, Vol.13, No.4, pp. 455-460.
4. F. Tip, "A Survey of Program Slicing Techniques", Programming Languages, 1995, Vol.3, No.3, pp. 121-189.
5. C. Bartolini, A. Bertolino, E. Marchetti, and I. Parissis, "Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples", Architecting Dependable Systems V, LNCS 5135, 2008, pp.298-325.
6. R. Hamadi and B benatallah, "A Petri Net-based Model for Web Service Composition", Proc. of the 14th Australasian Database Conference (ADC'03), Adelaide, Australia, 2003, pp.191-200.
7. S. A. White, Introduction to BPMN, available at http://www.bpmn.org/ Documents/Introduction to BPMN.pdf
8. M. B. Juric, "A Hands-on Introduction to BPEL", available at http://www.oracle.com/technology/pub/articles/matjaz-bpel1.html
9. J. Ferrante, K. J. Ottenstein, and J. D. Warren, "The Program Dependence Graph and Its Use in Optimization", ACM Transactions on Programming Languages and Systems, 1987, Vol.9, No.3, pp. 319-349.
10. K. J. Ottenstein, "Data-Flow Graphs as an Intermediate Program", Ph.D. Dissertation, Computer Sciences Department, Purdue University, Lafayette, IN, Aug. 1978.
11. B. Xu, J. Qian, X. Zhang, Z. Wu, and L. Chen, "A Brief Survey of Program Slicing", ACM SIGSOFT Software Engineering Notes, 2005, Vol.30, No.2, pp.1-36.
12. M. Weiser, "Program Slicing", IEEE Transactions on Software Engineering, 1984, Vol.10, No.4, pp.352-357.
13. B. Korel and J. Laski, "Dynamic Slicing of Computer Programs", Journal of Systems and Software, 1990, Vol.13, pp.187-195.
14. S. Horwitz, T. Reps, and D. Binkley, "Interprocedural Slicing using Dependence Graphs", ACM Transactions on Programming Language and Systems, 1990, Vol.12, No.1, pp.26-61.
15. D. Beckett, RDF/XML Syntax Specification (Revised), W3C Recommendation, February 2004.
16. L. Li, W. Chou, and W. Guo, "Control Flow Analysis and Coverage Driven Testing for Web Services", Proc. of 2008 IEEE Int'l Conf. on Web Services (ICWS'08), Beijing, China, 2008, pp.473-480.
17. C.-H. Liu, S.-L. Chen, and X.-Y. Li, "A WS-BPEL Based Structural Testing Approach for Web Service Compositions". Proc. of the 4th IEEE Int'l Symp. on Service-Oriented System Engineering (SOSE'08), Jhongli, Taiwan, 2008, pp.135-141.
18. X. Fu, T. Bultan, and J. Su, "Analysis of Interacting BPEL Web Services", Proc. of the 13th Int'l Conf. on World Wide Web, New York, USA, 2004, pp.621-630.
19. C. Keum, S. Kang, I. Ko, J. Baik, and Y.-I. Choi, "Generating Test Cases for Web Services Using Extended Finite State Machine", Proc. of TestCom 2006, LNCS 3964, 2006, pp.103-117.
20. J. Yan, Z. Li, Y. Yuan, W. Sun, and J. Zhang, "BPEL4WS Unit Testing: Test Case Generation using a Concurrent Path Analysis Approach", Proc. of the 17th Int'l Symp. on Soft. Reliability Eng. (ISSRE'06), Raleigh, NC, USA, 2006, pp.75-84.
21. K. Y. Choy, T. Ishio, M. Matsushita, and et al., "Data Dependency based Test Case Generation for BPEL Unit Testing", Technical Report 2008-SE-159, 2008, pp.163-170.
22. L. Mei, W. K. Chan, and T. H. Tse, "Data Flow Testing of Service-oriented Workflow Applications", Proc. of the 30th Int'l Conf. on Software Engineering (ICSE'08), Leipzig, Germany, 2008, pp.371-380.
23. C.-H. Liu and S.-L. Chen, "Data Flow Analysis and Testing for Web Service Compositions Based on WS-BPEL", Proc. of the 21st Int'l Conf. on Software Engineering & Knowledge Engineering (SEKE'09), Boston, USA, 2009, pp.306-311.