Principles of Program Analysis
Principles of Program Analysis
Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging and More
DART: directed automated random testing
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
CUTE: a concolic unit testing engine for C
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
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
Model-Based Analysis of Obligations in Web Service Choreography
AICT-ICIW '06 Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
WS-CDL+ for web service collaboration
Information Systems Frontiers
The Validation and Verification of WSCDL
APSEC '07 Proceedings of the 14th Asia-Pacific Software Engineering Conference
Static Check of WS-CDL Documents
SOSE '08 Proceedings of the 2008 IEEE International Symposium on Service-Oriented System Engineering
A Denotational Model for Web Services Choreography
ICDCIT '08 Proceedings of the 5th International Conference on Distributed Computing and Internet Technology
Automatic Test Case Generation for Interacting Services
Service-Oriented Computing --- ICSOC 2008 Workshops
WS-TAXI: A WSDL-based Testing Tool for Web Services
ICST '09 Proceedings of the 2009 International Conference on Software Testing Verification and Validation
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
Web services choreography validation
Service Oriented Computing and Applications
Towards automated testing of web service choreographies
Proceedings of the 6th International Workshop on Automation of Software Test
Passive conformance testing of service choreographies
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Security Testing Methodology for Vulnerabilities Detection of XSS in Web Services and WS-Security
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Web Service Choreography Description Language gives a global view on the collaborations among a collection of services involving multiple participants or organizations. Since WS-CDL is aimed at a design specification for service composition, there are few approaches to be proposed to test WS-CDL programs. In this paper, we present an approach to testing WS-CDL programs automatically. The dynamic symbolic execution technique is applied to generate test inputs and assertions are treated as the test oracles. Moreover, a simulation engine for WS-CDL is used to perform the execution of WS-CDL programs during the process of symbolic execution. At the end of each execution, the path conditions collected by symbolic execution are put into a SMT solver to generate new input data that will guide the next simulation. Meanwhile, the SMT solver is applied to decide whether the assertion predicates can be satisfied under current path conditions for all test data which improves the quality of testing further.