Data flow testing of service-oriented workflow applications

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2008, Pages 371-380

  Mei, Lijun ^a   Chan, W K ^b   Tse, T H ^a  

^a UNIVERSITY OF HONG KONG   (Hong Kong)

^b CITY UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

Rewriting rules; Service orientation; SOA; Testing; Workflow testing; WS BPEL; XML; XML document model; XPath

Indexed keywords

APPLICATIONS; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA STRUCTURES; FOURIER TRANSFORMS; MANAGEMENT; MARKUP LANGUAGES; SOFTWARE ENGINEERING; WEB SERVICES; XML; SOFTWARE TESTING;

REWRITING RULES; SERVICE-ORIENTATION; SOA; TESTING; WORKFLOW TESTING; WS-BPEL; XML DOCUMENT MODEL; XPATH;

SOFTWARE TESTING; XML;

REWRITING RULES; SOA; WORKFLOW TESTING; WS-BPEL; XPATH SERVICE-ORIENTATION;

EID: 57349166517     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1368088.1368139     Document Type: Conference Paper

References (29)

1. C. Barreto et al., Eds. Web Services Business Process Execution Language Version 2.0: Primer. OASIS, 2007. Available at http://docs.oasis- open.Org/wsBPEL/2.0/wsBPEL-v2.0.html.
2. B. Benatallah, R.M. Dijkman, M. Dumas, and Z. Maamar. Service composition: concepts, techniques, tools and trends. In Service-Oriented Software Engineering: Challenges and Practices, pages 48-66. Idea Group Publishing, 2005.
3. A. Berglund et al., Eds. XML Path Language (XPath) 2.0: W3C Recommendation. World Wide Web Consortium, 2007. Available at http://www.w3c.org/TR/xpath20/.
4. BPWS4J: a Platform for Creating and Executing BPEL4 WS Processes, Version 2.1. IBM, 2004. Available at http://www.alphaworks.ibm.com/tech/bpws4j.
5. M. Broy, I.H. Krüger, and M. Meisinger. A formal model of services. ACM TOSEM, 16(1): Article No. 5, 2007.
6. H.Y. Chen, T.H. Tse, F.T. Chan, and T.Y. Chen. In black and white: an integrated approach to class-level testing of object-oriented programs. ACM TOSEM, 7 (3): 250-295, 1998.
7. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based verification of web service compositions. In Proceedings of ASE 2003, pages 152-161. 2003.
8. P.G. Frankl and E. Weyuker. An applicable family of data flow testing criteria. IEEE TSE, 14(10): 1483-1498, 1988.
9. P.G. Frankl and O. Iakounenko. Further empirical studies of test effectiveness. In Proceedings of SIGSOFT '98/FSE-6, pages 153-162. 1998.
10. X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In Proceedings of WWW 2004, pages 621-630. 2004.
11. X. Fu, T. Bultan, and J. Su. Model checking XML manipulating software. In Proceedings of ISSTA 2004, pages 252-262. 2004.
12. J. García-Fanjul, J. Tuya, and C. de la Riva. Generating test cases specifications for BPEL compositions of web services using SPIN. In Proceedings of WS-Ma Te 2006, pages 83-94. 2006.
13. G. Gottlob, C. Koch, R. Pichler, and L. Segoufin. The complexity of XPath query evaluation and XML typing. JACM, 52 (2): 284-335, 2005.
14. D. Gries and J.L. van de Snepscheut. Inorder traversal of a binary tree and its inversion. In Formal Development Programs and Proofs, pages 37-42. Addison Wesley, 1989.
15. M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. Experiments on the effectiveness of dataflow- and control flow-based test adequacy criteria. In Proceedings of ICSE '94, pages 191-200. 1994.
16. C. Innocenti. SOA and the importance of X Query. SOA Magazine Issue X, September 2007.
17. G.M. Kapfhammer, and M.L. Soffa. A family of test adequacy criteria for database-driven applications. In Proceedings of ESEC 2003/FSE-11, pages 98-107. 2003.
18. Z. Li, W. Sun, Z. Jiang, and X. Zhang. BPEL4WS unit testing: framework and implementation. In Proceedings of ICWS 2005, pages 103-110. 2005.
19. H. Lu, W.K. Chan, and T.H. Tse. Testing pervasive software in the presence of context inconsistency resolution services. In Proceedings of ICSE 2008. 2008.
20. H. Lu, W.K. Chan, and T.H. Tse. Testing context-aware middleware-centric programs: a data flow approach and an RFID-based experimentation. In Proceedings of SIGSOFT 2006/FSE-14, pages 242-252. 2006.
21. G. Miklau and D. Suciu. Containment and equivalence for a fragment of XPath. JACM, 51(1): 2-45, 2004.
22. M. Mongiello and D. Castelluccia. Modelling and verification of BPEL business processes. In Proceedings of' MBD-MOMPES 2006, pages 144-148. 2006.
23. D. Olteanu, T. Furche, and F. Bry. Evaluating complex queries against XML streams with polynomial combined complexity. In Key Technologies for Data Management, volume 3112 of LNCS, pages 31-44. 2004.
24. Oracle BPEL Process Manager. Oracle Technology Network. Available at http://www.oracle.com/technology/products/ias/bpel/.
25. K. Schmidt and C. Stahl. A Petri net semantic for BPEL4WS: validation and application. In Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets, pages 1-6. 2004.
26. A.L. Souter and L.L. Pollock. The construction of contextual def-use associations for object-oriented systems. IEEE TSE, 29 (11): 1005-1018, 2003.
27. Web Services Invocation Framework: DSL Provider Sample Application. Apache Software Foundation. Available at http://svn.apache.org/ viewvc/webservices/wsif/trunk/java/samples/ dslprovider/README.html?view=co.
28. J. Yan, Z. Li, Y. Yuan, W. Sun, and J. Zhang. BPEL4WS unit testing: test case generation using a concurrent path analysis approach. In Proceedings of ISSRE 2006, pages 75-84. 2006.
29. C. Ye, S.C. Cheung and W.K. Chan. Publishing and composition of atomicity-equivalent services for B2B collaboration. In Proceedings of ICSE 2006, pages 351-360. 2006.