Assistance au test de modèles à composants et services