research-article

Data flow testing of service-oriented workflow applications

Authors:

T.H. TseAuthors Info & Claims

ICSE '08: Proceedings of the 30th international conference on Software engineering

Pages 371 - 380

https://doi.org/10.1145/1368088.1368139

Published: 10 May 2008 Publication History

Abstract

WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from the XML messages received, resulting in erroneous results in the integrated process. Surprisingly, although XPath plays a key role in workflow integration, inadequate researches have been conducted to address the important issues in software testing. This paper tackles the problem. It also demonstrates a novel transformation strategy to construct artifacts. We use the mathematical definitions of XPath constructs as rewriting rules, and propose a data structure called XPath Rewriting Graph (XRG), which not only models how an XPath is conceptually rewritten but also tracks individual rewritings progressively. We treat the mathematical variables in the applied rewriting rules as if they were program variables, and use them to analyze how information may be rewritten in an XPath conceptually. We thus develop an algorithm to construct XRGs and a novel family of data flow testing criteria to test WS-BPEL applications. Experiment results show that our testing approach is promising.

References

[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 BPEL4WS 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.

Digital Library

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

Digital Library

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

Digital Library

[8]

P.G. Frankl and E. Weyuker. An applicable family of data flow testing criteria. IEEE TSE, 14 (10): 1483--1498, 1988.

Digital Library

[9]

P.G. Frankl and O. Iakounenko. Further empirical studies of test effectiveness. In Proceedings of SIGSOFT '98/FSE-6, pages 153--162. 1998.

Digital Library

[10]

X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In Proceedings of WWW 2004, pages 621--630. 2004.

Digital Library

[11]

X. Fu, T. Bultan, and J. Su. Model checking XML manipulating software. In Proceedings of ISSTA 2004, pages 252--262. 2004.

Digital Library

[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-MaTe 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.

Digital Library

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

Digital Library

[15]

M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria. In Proceedings of ICSE '94, pages 191--200. 1994.

Digital Library

[16]

C. Innocenti. SOA and the importance of XQuery. 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.

Digital Library

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

Digital Library

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

Digital Library

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

Digital Library

[21]

G. Miklau and D. Suciu. Containment and equivalence for a fragment of XPath. JACM, 51 (1): 2--45, 2004.

Digital Library

[22]

M. Mongiello and D. Castelluccia. Modelling and verification of BPEL business processes. In Proceedings of MBD-MOMPES 2006, pages 144--148. 2006.

Digital Library

[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 defuse associations for object-oriented systems. IEEE TSE, 29 (11): 1005--1018, 2003.

Digital Library

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

Digital Library

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

Digital Library

Cited By

Song WZhang CJacobsen H(2021)An Empirical Study on Data Flow Bugs in Business ProcessesIEEE Transactions on Cloud Computing10.1109/TCC.2018.28442479:1(88-101)Online publication date: 1-Jan-2021
https://doi.org/10.1109/TCC.2018.2844247
Jonathan Lim AThenuardi DSoewito BAntonyova A(2020)Survey on Quality Assurance Testing on Service Oriented Architecture2020 International Conference on Information Management and Technology (ICIMTech)10.1109/ICIMTech50083.2020.9211258(443-447)Online publication date: Aug-2020
https://doi.org/10.1109/ICIMTech50083.2020.9211258
Wang HYang MJiang LXing JYang QYan F(2020)Test Case Prioritization for Service-Oriented Workflow Applications: A Perspective of Modification Impact AnalysisIEEE Access10.1109/ACCESS.2020.29985458(101260-101273)Online publication date: 2020
https://doi.org/10.1109/ACCESS.2020.2998545
Show More Cited By

Index Terms

Data flow testing of service-oriented workflow applications
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Reusability
        Software product lines
    2. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Recommendations

Intelligent database for the SOA using BPEL
ICCCS '11: Proceedings of the 2011 International Conference on Communication, Computing & Security

Service Oriented Architecture (SOA) reuses services to automate a business process using a standard interface and message structure. Standards include the Web Service Description Language (WSDL) file for service interface definition and XML Schema ...
SPath: a path language for XML schema
WWW '07: Proceedings of the 16th international conference on World Wide Web

XML is increasingly being used as a typed data format, and therefore it becomes more important to gain access to the type system; very often this is an XML Schema. The XML Schema Path Language (SPath) presented in this paper provides access to XML ...
The essence of XML

The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization of XML Schema. A formal semantics based on these ideas is part of the official XQuery and XPath ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ICSE '08: Proceedings of the 30th international conference on Software engineering

May 2008

558 pages

ISBN:9781605580791

DOI:10.1145/1368088

General Chair:
Wilhelm Schäfer
University of Paderborn
,
Program Chairs:
Matthew B. Dwyer
University of Nebraska
,
Volker Gruhn
University of Leipzig

Copyright © 2008 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 10 May 2008

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICSE '08

Sponsor:

ICSE '08: International Conference on Software Engineering

May 10 - 18, 2008

Leipzig, Germany

Acceptance Rates

ICSE '08 Paper Acceptance Rate 56 of 370 submissions, 15%;

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

66
Total Citations
View Citations
1,115
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)0

Reflects downloads up to 18 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Song WZhang CJacobsen H(2021)An Empirical Study on Data Flow Bugs in Business ProcessesIEEE Transactions on Cloud Computing10.1109/TCC.2018.28442479:1(88-101)Online publication date: 1-Jan-2021
https://doi.org/10.1109/TCC.2018.2844247
Jonathan Lim AThenuardi DSoewito BAntonyova A(2020)Survey on Quality Assurance Testing on Service Oriented Architecture2020 International Conference on Information Management and Technology (ICIMTech)10.1109/ICIMTech50083.2020.9211258(443-447)Online publication date: Aug-2020
https://doi.org/10.1109/ICIMTech50083.2020.9211258
Wang HYang MJiang LXing JYang QYan F(2020)Test Case Prioritization for Service-Oriented Workflow Applications: A Perspective of Modification Impact AnalysisIEEE Access10.1109/ACCESS.2020.29985458(101260-101273)Online publication date: 2020
https://doi.org/10.1109/ACCESS.2020.2998545
Zhang HXia HLin XYu LFang XChen XZhu H(2020)Test Case Generation of Composite Web Services Based on Semantic Matching and Condition RecognitionWeb Information Systems and Applications10.1007/978-3-030-60029-7_3(27-35)Online publication date: 23-Sep-2020
https://dl.acm.org/doi/10.1007/978-3-030-60029-7_3
Song WMa XJacobsen H(2019)Instance Migration Validity for Dynamic Evolution of Data-Aware ProcessesIEEE Transactions on Software Engineering10.1109/TSE.2018.280292545:8(782-801)Online publication date: 1-Aug-2019
https://doi.org/10.1109/TSE.2018.2802925
Du ZMiao H(2019)Research Review on Web Service Composition TestingStructured Object-Oriented Formal Language and Method10.1007/978-3-030-13651-2_3(39-51)Online publication date: 9-Feb-2019
https://doi.org/10.1007/978-3-030-13651-2_3
Reyes RDieste OFonseca EJuristo NChaudron MCrnkovic IChechik MHarman M(2018)Statistical errors in software engineering experimentsProceedings of the 40th International Conference on Software Engineering10.1145/3180155.3180161(1195-1206)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3180155.3180161
Su TWu KMiao WPu GHe JChen YSu Z(2017)A Survey on Data-Flow TestingACM Computing Surveys10.1145/302026650:1(1-35)Online publication date: 10-Mar-2017
https://dl.acm.org/doi/10.1145/3020266
Wang HXing JYang QWang PZhang XHan D(2017)Optimal control based regression test selection for service-oriented workflow applicationsJournal of Systems and Software10.1016/j.jss.2016.06.065124:C(274-288)Online publication date: 1-Feb-2017
https://dl.acm.org/doi/10.1016/j.jss.2016.06.065
Lu YLou YCheng SZhang LHao DZhou YZhang LDillon LVisser WWilliams L(2016)How does regression test prioritization perform in real-world software evolution?Proceedings of the 38th International Conference on Software Engineering10.1145/2884781.2884874(535-546)Online publication date: 14-May-2016
https://dl.acm.org/doi/10.1145/2884781.2884874
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten