Services Web : du test actif au test passif

NouspresentonsdanscetarticledeuxapprochespoureffectuerdestestspourlesservicesWeb.Letest actif OnLine permet le test unitaire d'une orchestration de services web et est mis en oeuvre par l'outil WSOTF. Pour le test passif, la methodologie proposee peut etre utilisee soit pour verifier une trace (verification off- line), soit pour la verification d'execution (verification on-line) avec des contraintes de temps. Afin de realiser cela, nous utilisons dans un premier temps le langage Nomad pour definir les regles de verification. Puis, nous proposons un algorithme qui permet de verifier simultanement plusieurs instances de regles. En plus du cadre theorique, nous avons developpe un outil logiciel, appele RV4WS (Runtime Verification engine for Web Service), qui aide a l'automatisation de notre approche de test passif. L'algorithme presente dans cet article est mis en œuvre dans l'outil. Nous presentons aussi un mecanisme pour collecter les traces observees.