Services Web : du test actif au test passif
Résumé
NousprésentonsdanscetarticledeuxapprochespoureffectuerdestestspourlesservicesWeb.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 méthodologie proposée peut être utilisée soit pour vérifier une trace (vérification off- line), soit pour la vérification d'exécution (vérification on-line) avec des contraintes de temps. Afin de réaliser cela, nous utilisons dans un premier temps le langage Nomad pour définir les règles de vérification. Puis, nous proposons un algorithme qui permet de vérifier simultanément plusieurs instances de règles. En plus du cadre théorique, nous avons développé un outil logiciel, appelé RV4WS (Runtime Verification engine for Web Service), qui aide à l'automatisation de notre approche de test passif. L'algorithme présenté dans cet article est mis en œuvre dans l'outil. Nous présentons aussi un mécanisme pour collecter les traces observées.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...