@inproceedings{8f246b24bfb448aca611315e13f39660,
title = "Automatically testing web services choreography with assertions",
abstract = "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.",
keywords = "Automatic Testing, Choreography, Symbolic Execution, WS-CDL, Web Services",
author = "Lei Zhou and Jing Ping and Hao Xiao and Zheng Wang and Geguang Pu and Zuohua Ding",
year = "2010",
doi = "10.1007/978-3-642-16901-4\_11",
language = "英语",
isbn = "3642169007",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "138--154",
booktitle = "Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Proceedings",
note = "12th International Conference on Formal Engineering Methods, ICFEM 2010 ; Conference date: 17-11-2010 Through 19-11-2010",
}