Validation des services web à l’aide de la génération automatique de tests
1. Validation des services web à l’aide de la génération automatique de tests Vincent Pretre 18 mars 2009 Jury : INP/Esisar, Grenoble Rapporteur Ioannis Parissis UHA, Mulhouse Examinateur Pierre-Alain Muller LIFC, Besançon Examinateur Jean-Christophe Lapayre LIFC, Besançon Encadrant Christophe Lang LIFC, Besançon Encadrant Fabrice Bouquet IRIT, Toulouse Rapporteur Philippe Balbiani
2.
3.
4. La qualité pour les services web Introduction aux services web Fournisseur Client Service web XML 1 – Conception 2 – Développement 3 – Déploiement 6 – 4 - Déclaration W eb S ervice D escription L anguage S imple O bject A ccess P rotocol U niversal D escription, D iscovery and I ntegration Composition 5 – Recherche Internet Utilisation 4 – recherche
5.
6. Qualité des services web Facteurs de qualité Utilisation Consommation Robustesse Temps de réponse Accessibilité Sécurité des données Qualité des résultats Relations Réseau Déploiement Conception et développement
7.
8. Qualité des services web Couverture de la solution Utilisation Consommation Robustesse Temps de réponse Accessibilité Sécurité des données Qualité des résultats Relations Réseau Déploiement Conception et développement
9.
10.
11.
12.
13.
14.
15.
16. iTaC-QoS Présentation de la méthode A Model based Validation Framework for Web Services (V. Pretre, F. Bouquet, C. Lang - STV 2007) 1 – Conception, création, déploiement 2 – Enregistrement 3 – Génération des tests 4 – Exécution des tests 5 – Recherche 6 – Utilisation Fournisseur Client 7 – Envoi des notes 8 – Utilisation et modélisation 6 – Recherche 5 – Calcul des notes 3 – Extraction des relations 4 – Fusion et traitements du modèle 5 – Génération des tests 6 – Réification 7 - Exécution 8 – Calcul des notes 10 – Envoi des notes 9 – Recherche 11 – Utilisation Comment modéliser efficacement un WS ? Comment extraire les relations du modèle ? Comment gérer la composition de WS ? Comment réifier automatiquement les tests ? Comment évaluer la qualité d’un WS ? Comment obtenir des notes faciles à comprendre ? Modélisation Découverte des relations Fusion des modèles Génération des tests Réification Exécution Evaluation Comment exécuter les tests ? Comment générer les tests ? TD
17.
18.
19.
20.
21.
22.
23.
24. iTaC-QoS Réification des tests - Verdicts possibles Modélisation – Découverte des relations – Fusion des modèles – Génération des tests – Réification – Exécution - Evaluation Échec critique Résultat Erreur Échec Résultat différent de « r » Résultat « r » Échec bénin Erreur Résultat Échec bénin Erreur différente de « e » Erreur « e » Réussite partielle Sous-ensemble de « r » Résultat « r » Réussite Erreur « e » Erreur « e » Réussite Résultat « r » Résultat « r » Classification Résultat obtenu Résultat attendu
25.
26.
27.
28. iTaC-QoS Evaluation des WS - Présentation aux utilisateurs Using Common Criteria to Assess Quality of Web Services V. Pretre, F. Bouquet, C. Lang - WebTest, 2009 Modélisation – Découverte des relations – Fusion des modèles – Génération des tests – Réification – Exécution - Evaluation Note unitaire Note de relation
29.
30. Conclusion et travaux futurs Synthèse 1 – Conception, création, déploiement et modélisation 2 - Enregistrement Client 3 – Extraction des relations 4 – Fusion et traitements du modèle 5 – Génération des tests 6 – Réification 7 - Exécution 8 – Calcul des notes 10 – Envoi des notes 9 – Recherche 11 - Utilisation Comment modéliser un service web ? Comment extraire les relations du modèle ? Comment gérer les compositions ? Comment réifier automatiquement les tests ? Comment exécuter les tests ? Comment évaluer un service web ? Comment fournir des notes simples à comprendre ? TD