Robustness Testing of Web Services Composition

We propose in this paper, a robustness testing method of composite Web services. Our method aims to automatically test operations robustness which are provided by the involved Web services in the composition. Symbolic specification, used as a composition model is first translated into a symbolic execution tree that characterizes the execution paths followed during the symbolic execution. Then, from this symbolic execution tree a set of sub-trees per operation are generated. These ones allow the tester to differentiate operations behaviours and prepare a set of test cases for each operation. Generated sub-specifications are completed using robustness rules, then specific values are injected into the test cases to test their conformance against the IUT.