Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download

https://hal.inria.fr/inria-00587119
Contributor : Emmanuel Nataf <>
Submitted on : Tuesday, April 19, 2011 - 2:52:58 PM
Last modification on : Thursday, January 11, 2018 - 6:20:17 AM

File

paper_30.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00587119, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

339

Files downloads

674