Towards Verification and Validation of Choreographies

Abstract : This technical report presents a study about software tools and approaches for testing web service compositions. Our goals consist on understanding the current scenario of Verification and Validation (V&V) activities (focusing on automated tests) in the SOA context. We also present a prototype we developed to illustrate different types of automated test case scripts for testing web service choreographies.
Type de document :
Rapport
[Research Report] 2011, pp.27
Domaine :
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00567394
Contributeur : Felipe Besson <>
Soumis le : lundi 21 février 2011 - 10:33:47
Dernière modification le : vendredi 16 septembre 2016 - 15:14:15
Document(s) archivé(s) le : mardi 6 novembre 2012 - 14:30:53

Fichier

tech-report-vv_2010_v1.2.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00567394, version 1

Collections

Citation

Felipe M. Besson, Pedro M.B. Leal, Fabio Kon. Towards Verification and Validation of Choreographies. [Research Report] 2011, pp.27. 〈inria-00567394〉

Partager

Métriques

Consultations de la notice

156

Téléchargements de fichiers

293