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.
Type de document :
Communication dans un congrès
CFIP 2011 - Colloque Francophone sur l Ingénierie des Protocoles, May 2011, Sainte Maxime, France. 2011
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00587119
Contributeur : Emmanuel Nataf <>
Soumis le : mardi 19 avril 2011 - 14:52:58
Dernière modification le : jeudi 11 janvier 2018 - 06:20:17

Fichier

paper_30.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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, May 2011, Sainte Maxime, France. 2011. 〈inria-00587119〉

Partager

Métriques

Consultations de la notice

297

Téléchargements de fichiers

429