Services Web : du test actif au test passif - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

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.
Fichier principal
Vignette du fichier
paper_30.pdf (216.8 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00587119 , version 1 (19-04-2011)

Identifiants

  • HAL Id : inria-00587119 , version 1

Citer

Tien-Dung Cao, Richard Castanet, Patrick Félix. Services Web : du test actif au test passif. CFIP 2011 - Colloque Francophone sur l Ingénierie des Protocoles, UTC, May 2011, Sainte Maxime, France. ⟨inria-00587119⟩

Collections

CNRS CFIP2011
190 Consultations
510 Téléchargements

Partager

Gmail Facebook X LinkedIn More