Choreography Scenario Based Web Service Conformance Testing

Web service is loose coupled, modularized applications, a new distributedcomputing paradigm based on XML, and a new network service, whose purpose is toprovide support for integrating network applications on different systems, hardwareplatforms and programming languages, in order to implement and publish easily. Withdevelopment and application of web service, people discover the real value of Webservices is to communicate among business partners by service composition. Webservices composition provides added value of service by composing basic Webservices, which may be owned by other organizations. Web service choreographyspecifies the interaction among multiple participants, aiming to achieve commonbusiness goals. An issue is to check for the conformance of the implementation withreference to the choreography specification. To achieve that, we seek to developsoftware tools and a methodology to enable conformance testing of choreography.In this paper, we reduce choreography scenario in order to obtain effective testingscenarios, which will greatly decrease the cost of testing. Concretely, based on XMLSchema type definition of a choreography scenario, we partition XML Schema typeinto subtypes, which will be transformed into the input model of combinatorial toolCascade for generating a set of combinations of variable values. The output ofCascade will be transformed to generate reduced scenarios for testing. Duringconformance testing with the choreography specification, it is important to generatetest data (i.e. XML instance) based on the choreography. We present a choreographyscenario-based approach for generating XML instances. With the help of thecombinatorial tool Cascade, type trees are transformed as a set of refined type trees,from which modified trees and datasets are then obtained. We also use Cascade toreduce the datasets, and combine the modified trees with reduced datasets forgenerating XML instances. We have built a prototype tool to support automatic testdata generation and we illustrate the process of generating XML instances via apurchase order choreography scenario example. At last, we designed experiment onour testing framework to show the feasibility of it.