An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
Inorder traversal of a binary tree and its inversion
Formal development programs and proofs
Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria
ICSE '94 Proceedings of the 16th international conference on Software engineering
In black and white: an integrated approach to class-level testing of object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Further empirical studies of test effectiveness
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
A family of test adequacy criteria for database-driven applications
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
The Construction of Contextual Def-Use Associations for Object-Oriented Systems
IEEE Transactions on Software Engineering
Containment and equivalence for a fragment of XPath
Journal of the ACM (JACM)
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Model checking XML manipulating software
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
The complexity of XPath query evaluation and XML typing
Journal of the ACM (JACM)
BPEL4WS Unit Testing: Framework and Implementation
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Modelling and verification of BPEL business processes
MBD-MOMPES '06 Proceedings of the Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Publishing and composition of atomicity-equivalent services for B2B collaboration
Proceedings of the 28th international conference on Software engineering
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
Testing pervasive software in the presence of context inconsistency resolution services
Proceedings of the 30th international conference on Software engineering
Service-Oriented Architectures Testing: A Survey
Software Engineering
Test case prioritization for regression testing of service-oriented business applications
Proceedings of the 18th international conference on World wide web
Where to adapt dynamic service compositions
Proceedings of the 18th international conference on World wide web
Data flow testing of service choreography
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
XML-manipulating test case prioritization for XML-manipulating services
Journal of Systems and Software
Towards efficient measuring of web services API coverage
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems
Reducing complexity of data flow testing in the verification of a IEC-62304 flexible workflow system
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Enabling automated integration testing of cloud application services in virtualized environments
Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research
A priority-based transaction commit protocol for composite web services
Proceedings of the Fourth Asia-Pacific Symposium on Internetware
Bridging the gap between the total and additional test-case prioritization strategies
Proceedings of the 2013 International Conference on Software Engineering
Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs
International Journal of Web Services Research
Hi-index | 0.00 |
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.