The Web Services and service-based systems gained extreme popularity in the recent years. While various testing frameworks exist for web services, they mostly cover unit testing and do not take into account the complete architecture built with service compositions. In our research we start from a high level system model expressed with SOA Logical Architecture UML2 Profile, from which we generate BPEL orchestration. Then formal testing techniques for a black box approach and several tools are used to check the conformance and the robustness of this orchestration. In this paper, we overview methods and tools being developed in the frame of the French national research project WebMov1. Finally, we present the case studies being executed and preliminary lessons learnt.