Zhou, L, Xu, L, Xu, B and Yang, H (2015) 'Generating test cases for composite web services by parsing XML documents and solving constraints.' In: Ahamed, S.I, Chang, C.K, Chu, W, Crnkovic, I, Hsiung, P-A, Huang, G and Yang, J, eds. Proceedings: 2015 IEEE 39th Annual Computer Software and Applications Conference Workshops. IEEE Computer Society, Los Alamitos, pp. 304-309. ISBN 9781467365642

Official URL: https://doi.org/10.1109/COMPSAC.2015.51


Web services are widely used nowadays for their interoperability and reusability. Since Web services only provide interface information for users and source codes are encapsulated, generating test cases for Web services in the view of users has more challenges than traditional software. We develop a constraint-solver based method to generate test cases for composite Web services. The technique first parses the related files, such as XSD (XML Schema Definition), WSDL (Web Service Description Language) and BPEL (Business Process Executing Language) scripts to obtain the constraints for variable types, in-out relations, conditions and orders. Then, by using the Z3-str solver, test cases are generated according to different testing coverage criterions. Our evaluation results indicate that our method is effective to generate test cases for Web services with high coverage and low redundancy.

Item Type: Book Chapter or Section

ISSN 0730-3157

Keywords: Web services, XML, Encoding, Testing, Business, Redundancy
Divisions: College of Liberal Arts
Date Deposited: 21 Mar 2017 17:36
Last Modified: 21 Mar 2017 17:36
Request a change to this item or report an issue Request a change to this item or report an issue
Update item (repository staff only) Update item (repository staff only)