Generating test cases for composite web services by parsing XML documents and solving constraints

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

Abstract

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
Note:	ISSN 0730-3157
Keywords:	Web services, XML, Encoding, Testing, Business, Redundancy
Divisions:	Bath School of Design
Date Deposited:	21 Mar 2017 17:36
Last Modified:	05 Jan 2022 16:07
URI / Page ID:	https://researchspace.bathspa.ac.uk/id/eprint/9443

	Request a change to this item or report an issue
	Update item (repository staff only)