QoS testing and symbolic techniques for composite web service

Quality of Service (QoS) plays an important role for the success of Web services. Both service clients and providers need techniques and methods to evaluate the quality of services. This paper presents a novel approach in the QoS testing of Web service composition. Our method aims to automatically test QoS of Web services in different scenarios of use in the composition. We use symbolic system as a specification to allow the tester to differentiate operations behaviours. Then we prepare a set of test cases per operation, by injecting specific values and we reconstruct the final traces with the observed reactions to conclude their conformance against the IUT using the ioco relation.