Modelling and testing of service compositions in partially open environments.
Sébastien Salva · Studia informatica universalis · 2012
Usually, Web service compositions are tested by assuming that these ones are executed inside an open environment where all the messages exchanged between the services participating to the composition are observable. Nevertheless, when services are deployed in partially open environments e.g., Clouds, this assumption cannot be sustained. This paper proposes a method to check whether a service composition is conforming to its specification Studia Informatica Universalis., pages 155 a 185 156 Studia Informatica Universalis. according to the ioco test relation, by considering that the internal messages exchanged between the services are hidden but that we can invoke each service directly (or an exact copy). Specifications are modelled with Symbolic Transition Systems (STS) that we specialize in Web services with some annotations and functions. Our approach consists in decomposing an existing test case set according to the operation interleaving that we formalize with a factor denoted the dependency degree. Then, while executing the new test case set, we recover fragments of traces (observable reactions) that are reassembled. With the final traces, we are able to check whether the implemented composition is ioco-conforming to its specification. We illustrate our approach with an example derived from the application of Electronic Health Record externalization for both patients and practitioners, currently in development by the Orange Business