An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
TACCLE: a methodology for object-oriented software testing at the class and cluster levels
ACM Transactions on Software Engineering and Methodology (TOSEM)
Detecting implied scenarios in message sequence chart specifications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Negative scenarios for implied scenario elicitation
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of 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
BPEL4WS Unit Testing: Framework and Implementation
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Process modeling in Web applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Compatibility and Regression Testing of COTS-Component-Based Software
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Model checking service compositions under resource constraints
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Detection and resolution of atomicity violation in service composition
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Data flow testing of service-oriented workflow applications
Proceedings of the 30th international conference on Software engineering
Test case prioritization for regression testing of service-oriented business applications
Proceedings of the 18th international conference on World wide web
Automatically testing web services choreography with assertions
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
XML-manipulating test case prioritization for XML-manipulating services
Journal of Systems and Software
Testing web service's compositions following TASSA methodology
Proceedings of the 14th International Conference on Computer Systems and Technologies
Hi-index | 0.00 |
Service computing has increasingly been adopted by the industry, developing business applications by means of orchestration and choreography. Choreography specifies how services collaborate with one another by defining, say, the message exchange, rather than via the process flow as in the case of orchestration. Messages sent from one service to another may require the use of different XPaths to manipulate or extract message contents. Mismatches in XML manipulations through XPaths (such as to relate incoming and outgoing messages in choreography specifications) may result in failures. In this paper, we propose to associate XPath Rewriting Graphs (XRGs), a structure that relates XPath and XML schema, with actions of choreography applications that are skeletally modeled as labeled transition systems. We develop the notion of XRG patterns to capture how different XRGs are related even though they may refer to different XML schemas or their tags. By applying XRG patterns, we successfully identify new data flow associations in choreography applications and develop new data flow testing criteria. Finally, we report an empirical case study that evaluates our techniques. The result shows our techniques are promising in detecting failures in choreography applications.