Services Web : du test actif au test passif - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

Services Web : du test actif au test passif

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00587119 , version 1

Cite

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
191 View
513 Download

Share

Gmail Facebook X LinkedIn More