SlideShare une entreprise Scribd logo
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
Sommaire ,[object Object],[object Object],[object Object],[object Object]
Sommaire La qualité pour les services web ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
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
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],La qualité pour les services web Six critères de qualité ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],movieDatabase.byActor(‘Michel Audiard’)  -> [‘Faut pas prendre les enfant du bon Dieu pour des canards sauvages’, ‘Elle boit pas, elle fume pas, elle drague pas … mais elle cause’, ‘Comment réussir … quand on est con et pleurnichard’, ‘C’est jeune et ça sait tout!’, ‘Tendre poulet’] Nom, prénom, adresse, numéro sécurité sociale, téléphone … Brouillon de messages, recherche effectuée, image … FPR  (Privacy),  FDP  (Data privacy) FTA  (Access) movieDatabase.details(112)  -> {‘Les tontons flingueurs’, 1963, ‘Lautner’} FRU  (Ressource Utilisation) FPT  (Protection) Assemblage pano Attente bus 10 sec 2 min 10 sec 5 min
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
Qualité des services web Problématique traitée ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
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
Sommaire Assurer la qualité des services web ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Assurer la qualité des services web Modélisation ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Interface Comportement Composition WSDL WSDL-S OWL-S BPEL A comparative study of meta-model integration and interoperability in UML and Web Services  (A. Staikopoulos et B. Bordard, 2005) Modeling semantic Web Services: a case study  (C.J. Acuna et E. Marcos, 2006) génération WSDL et OWL-S grâce à UML Modeling crosscutting services with UML sequence diagrams  (M. Deubler, 2005) MDA applied: from sequence diagrams to Web Services choreography  (B. Bauer et J.P. Müller, 2004) Towards using UML 2 form modelling Web Service collaboration  (G. Kramler et al. 2005) génération BPEL depuis UML UML-based service discovery framework  (A. Zisman et G. Spanoudakis, 2006) remplacement WSDL par UML dans UDDI Representing Web Services with UML  (E. Marcos et al. 2003) génération WSDL grâce à UML Automatic generation of service ontology from UML diagrams for semantic Web Services  (J.H. Yang et I.J. Chung, 2006) génération OWL-S depuis UML Model-driven design and development of semantic Web Service applications  (M. Brambilla et al. 2007) génération WSMO depuis BPMN & WebML
Assurer la qualité des services web Validation ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Assurer la qualité des services web Evaluation ,[object Object],[object Object],[object Object],Fournisseur Client Service web 1 – Conception, création et déploiement 2 - Enregistrement 3 - Recherche 4 - Utilise 2 -  Soumission 3 – Génération  des tests 4 – Exécution des tests 5 - Recherche 6 - Utilisation
Assurer la qualité des services web Bilan ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Sommaire iTaC-QoS – une plateforme de validation des services web ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
iTaC-QoS Présentation de l’exemple ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],register login logout writeDraft readDraft publish
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
iTaC-QoS Modélisation des services ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Modélisation  – Découverte des relations – Fusion des modèles – Génération des tests – Réification – Exécution - Evaluation  Structure données & interface Evolution temporelle Données Comportements Impossibilité de partager les tests et le modèle A subset of precise UML for model based testing  (F. Bouquet, C. Grandpierre, B. Legeard, F. Peureux, N. Vacelet et M. Utting
iTaC-QoS Découverte des relations ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Modélisation  –  Découverte des relations  – Fusion des modèles – Génération des tests – Réification – Exécution - Evaluation  User Blog register login User Blog login logout /* Composition du service « Captcha » */ self .captchaMsg.key = 123  and self .captchaRes =  self .captcha.generateCaptcha( self.captchaMsg)
iTaC-QoS Fusion de modèles ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Automating UML Models Merge for Web Services Testing  V. Pretre, F. Bouquet, C. Lang -   iiWAS, 2008  V. Pretre, A. de Kermadec, F. Bouquet, C. Lang, F. Dadeau –   IJWGS, 2009 (extended version) Modélisation  – Découverte des relations –  Fusion des modèles  – Génération des tests – Réification – Exécution - Evaluation
iTaC-QoS Couverture et stratégies de test ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Modélisation  – Découverte des relations – Fusion des modèles –  Génération des tests  – Réification – Exécution - Evaluation  Publication réussie d’un message L’utilisateur numéro 1 est identifié sur le système Un identifiant de session lui est affectée L’opération  login  retourne {0, « Ok »} Le message 1 passe à l’état publié L’opération  publish  retourne {0, « Ok »} blogInstance1.currentUser = userInstance1 userInstance1.session = sessionInstance2 loginMsgInstance.res = 0 loginMsgInstance.msg = str::ok postInstance1.status = str::published publishMsgInstance.res = 0 publishMsgInstance.msg = str::ok login(‘user1’, ‘pwd1’) publish(‘user1’, ‘ssId2’, 1) self .user->exists(u|u.login = pPublishMsg.login  and  u.session.id = pPublishMsg.sessionId) self .post->exists(p| p.id = pPublish M sg.id  and  p.user.login = pPublishMsg.login) self .post->exists(p|p.id = pPublishMsg.id  and  p.status = draft)
iTaC-QoS Réification des tests ,[object Object],[object Object],[object Object],[object Object],[object Object],Modélisation  – Découverte des relations – Fusion des modèles – Génération des tests –  Réification  – Exécution - Evaluation  Service sous test Bibliothèque de connexion WSDL Tests java Export TD Banc de test Couche d’adaptation wsdl2xmi iTaC-QoS
iTaC-QoS Réification des tests – réorganisation des scripts de test ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Modélisation  – Découverte des relations – Fusion des modèles – Génération des tests –  Réification  – Exécution - Evaluation  readDraft.setLogin(« user2 ») readDraft.setSessionId(« ssId3 ») login.setPassword(« pwd2 ») login.setLogin(« user2 ») loginResponse =   blog.login(login) readDraftResponse =   blog.readDraft(readDraft) readDraft.setLogin(« user2 ») login.setPassword(« pwd2 ») login.setLogin(« user2 ») loginResponse =   blog.login(login) readDraft.setSessionId(« ssId3 ») readDraftResponse =   blog.readDraft(readDraft) readDraft.setLogin(« user2 ») login.setPassword(« pwd2 ») login.setLogin(« user2 ») loginResponse =   blog.login(login) readDraft.setSessionId( loginResponse.getSessionId()) readDraftResponse =   blog.readDraft(readDraft) Exemple de test de l’opération readDraft loginResponse resCode msg sessionId readDraftMsg login sessionId draftId [producedBy]login[sessionId] [uncomputable]
iTaC-QoS Réification des tests – Calcul du verdict ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Modélisation  – Découverte des relations – Fusion des modèles – Génération des tests –  Réification  – Exécution - Evaluation
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
iTaC-QoS Exécution des tests ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Modélisation  – Découverte des relations – Fusion des modèles – Génération des tests – Réification –  Exécution  - Evaluation  État initial État post-test État cible login(…) (préambule) writeDraft(…) (corps) writeDraft(…) logout(…) (postambule)
iTaC-QoS  Evaluation des services web ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Modélisation  – Découverte des relations – Fusion des modèles – Génération des tests – Réification – Exécution -  Evaluation   Critères Communs
iTaC-QoS Evaluation des WS - Classification des tests ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Modélisation  – Découverte des relations – Fusion des modèles – Génération des tests – Réification – Exécution -  Evaluation   /* Teste si l’utilisateur est identifié */ if  (…)  then /* Teste si le message existe */ if  (…)  then /* Teste que l’utilisateur est propriétaire */ if  (…)  then … self.res.content = self.blogpost.content  and self.res.resCode = 0  and self.res.resCode.errorChannel = « ok » /*@REQ: READ_OK_1, READ_FCT_1 @*/ else self.res.resCode = -1  and self.res.errorChannel = « Access denied » /*@REQ: READ_ERR_1, READ_FPR_1, READ_FDP_1 @*/ endif and  … Post-condition de l’opération readDraft
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
Sommaire Conclusion et travaux futurs ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
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
Conclusion et travaux futurs Synthèse ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Conclusion et travaux futurs Travaux futurs ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],1 – Création et modélisation UML + WSDL UML + WSDL-S UML + OWL-S 2 - Enregistrement 3 - Recherche 4 - Filtre 5 - Sélection WSDL-S / OWL-S UML Tests 1 – Générer des tests 2 – Animer et évaluer la couverture 1 - Transformation 2 - Bisimulation
Questions ,[object Object]
Web services certification UML models used - OCL code ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Pre-condition : self.mission.status = waitingValidation and self.mission.employee <> self.user Post-condition : if   pAnswer  then self.mission.status = validated else self.mission.status = refused endif if then if then result  = ok   else result  =  autoValidation   endif   else result  =  unvalidableMission endif
Questions Exécution des tests ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],register login logout writeDraft readDraft publish test13 test10 test2 test3 test4 test5 test6 test7 test8 test1 test11 test12
Questions Fusion modèles – diagrammes d‘états-transitions ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],serviceStarted statusUpdated userLoggedIn login() logout() updateStatus() <serviceStarted, , login,  serviceWaiting> <serviceWaiting, , updateStatus,  serviceWaiting> <serviceWaiting, , logout, serviceStarted > if  (( self .state = States::serviceStarted)  then …  /*  Post-condition originale */ if  ( self .state = States::serviceStarted)  then self .state = States::serviceWaiting endif endif serviceWaiting States serviceStarted serviceWaiting
Questions Fusion modèles – diagramme de classes ,[object Object],[object Object],[object Object],[object Object],[object Object],OnlineStore register() login() search() logout() ParcelService login() getPrice() logout() ParcelServiceLoginMsg login password ParcelService login() getPrice() logout() ParcelServiceLoginMsg login password 1 2 User id login password User id login password
Questions Fusion modèles – OCL ,[object Object],[object Object],[object Object],[object Object],self .a = param1  and self .b = param2  and if  ( self .a >  self .b)  then result  =  self .a else result  =  self .b endif if  ( self .ws2.operation(self.y,  self .x) > 1)  then self . ws2 .a = param1  and self . ws2 .b = param2  and if  ( self . ws2 .a >  self . ws2 .b)  then result  =  self . ws2 .a else result  =  self . ws2 .b endif self .ws2.a =  self.y   and self .ws2.b =  self.x   and if  ( self .ws2.a >  self .ws2.b)  then result  =  self .ws2.a else result  =  self .ws2.b endif self .ws2.a =  self .y  and self .ws2.b =  self .x  and if  ( self .ws2.a >  self .ws2.b)  then result  =  self .ws2.a else result  =  self .ws2.b endif self .ws2.a =  self .y  and self .ws2.b =  self .x  and if  ( self .ws2.a >  self .ws2.b)  then self.tmp  =  self .ws2.a else self.tmp  =  self .ws2.b endif if  ( self.tmp  > 1)  then
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Questions Fusion modèles – diagramme de classes lr1::ParcelServiceLoginResponse lr1::ParcelServiceLoginResponse ol1::OnlineStore ps1::ParcelService ps1::ParcelService

Contenu connexe

Similaire à Validation des services web à l’aide de la génération automatique de tests

Azure Services Platform
Azure Services PlatformAzure Services Platform
Azure Services PlatformGregory Renard
 
Introduction a la SOA
Introduction a la SOAIntroduction a la SOA
Introduction a la SOA
Tugdual Grall
 
De A à Z : Choisir une architecture pour sa solution applicative
De A à Z : Choisir une architecture pour sa solution applicativeDe A à Z : Choisir une architecture pour sa solution applicative
De A à Z : Choisir une architecture pour sa solution applicative
Microsoft
 
SharePoint 2010 & Team Foundation Server
SharePoint 2010 & Team Foundation ServerSharePoint 2010 & Team Foundation Server
SharePoint 2010 & Team Foundation ServerPhilippe Sentenac
 
Framework .net overview
Framework .net overviewFramework .net overview
Framework .net overview
MarweN Boughattas
 
Xdt Tests Driven Architecture Process V1.0
Xdt Tests Driven Architecture Process V1.0Xdt Tests Driven Architecture Process V1.0
Xdt Tests Driven Architecture Process V1.0
guestee837a
 
Decouverte2014-2015.pptx
Decouverte2014-2015.pptxDecouverte2014-2015.pptx
Decouverte2014-2015.pptx
RihabBENLAMINE
 
20130113 04 - Tests d'integration et virtualisation - La vision IBM
20130113 04 - Tests d'integration et virtualisation - La vision IBM20130113 04 - Tests d'integration et virtualisation - La vision IBM
20130113 04 - Tests d'integration et virtualisation - La vision IBM
LeClubQualiteLogicielle
 
Scom et orchestrator main dans la main (ser214)
Scom et orchestrator main dans la main (ser214)Scom et orchestrator main dans la main (ser214)
Scom et orchestrator main dans la main (ser214)Jean-François BERENGUER
 
Quoi de neuf dans ASP.NET 4.5
Quoi de neuf dans ASP.NET 4.5Quoi de neuf dans ASP.NET 4.5
Quoi de neuf dans ASP.NET 4.5
Microsoft
 
[TechDays 2012] : Quoi de neuf dans ASP.NET 4.5
[TechDays 2012] : Quoi de neuf dans ASP.NET 4.5[TechDays 2012] : Quoi de neuf dans ASP.NET 4.5
[TechDays 2012] : Quoi de neuf dans ASP.NET 4.5
Mohamed Nemili
 
Industrialiser le développement avec silverlight 4 et wcf ria services
Industrialiser le développement avec silverlight 4 et wcf ria servicesIndustrialiser le développement avec silverlight 4 et wcf ria services
Industrialiser le développement avec silverlight 4 et wcf ria services
Arnaud Auroux
 
Cns 205-formation-citrix-netscaler-10-essentials-and-networking
Cns 205-formation-citrix-netscaler-10-essentials-and-networkingCns 205-formation-citrix-netscaler-10-essentials-and-networking
Cns 205-formation-citrix-netscaler-10-essentials-and-networkingCERTyou Formation
 
Implémentation de la QoS au sein d'un IP/MPLS - Présentation
Implémentation de la QoS au sein d'un IP/MPLS - PrésentationImplémentation de la QoS au sein d'un IP/MPLS - Présentation
Implémentation de la QoS au sein d'un IP/MPLS - Présentation
Rihab Chebbah
 
La gouvernance, ou comment rapprocher les équipes de développement et d'infra...
La gouvernance, ou comment rapprocher les équipes de développement et d'infra...La gouvernance, ou comment rapprocher les équipes de développement et d'infra...
La gouvernance, ou comment rapprocher les équipes de développement et d'infra...PimpMySharePoint
 
Le Cloud Privé, de la théorie à la réalité avec Microsoft Private Cloud
Le Cloud Privé, de la théorie à la réalité avec Microsoft Private CloudLe Cloud Privé, de la théorie à la réalité avec Microsoft Private Cloud
Le Cloud Privé, de la théorie à la réalité avec Microsoft Private Cloud
Microsoft Technet France
 
Alphorm.com Formation Informatica PowerCenter : Administration
Alphorm.com Formation Informatica PowerCenter : AdministrationAlphorm.com Formation Informatica PowerCenter : Administration
Alphorm.com Formation Informatica PowerCenter : Administration
Alphorm
 
System Center Operations Manager et la supervision des applications (.Net et ...
System Center Operations Manager et la supervision des applications (.Net et ...System Center Operations Manager et la supervision des applications (.Net et ...
System Center Operations Manager et la supervision des applications (.Net et ...
Microsoft Technet France
 

Similaire à Validation des services web à l’aide de la génération automatique de tests (20)

Azure Services Platform
Azure Services PlatformAzure Services Platform
Azure Services Platform
 
Introduction a la SOA
Introduction a la SOAIntroduction a la SOA
Introduction a la SOA
 
De A à Z : Choisir une architecture pour sa solution applicative
De A à Z : Choisir une architecture pour sa solution applicativeDe A à Z : Choisir une architecture pour sa solution applicative
De A à Z : Choisir une architecture pour sa solution applicative
 
SharePoint 2010 & Team Foundation Server
SharePoint 2010 & Team Foundation ServerSharePoint 2010 & Team Foundation Server
SharePoint 2010 & Team Foundation Server
 
CV.Ahmed-HZAMI_QA
CV.Ahmed-HZAMI_QACV.Ahmed-HZAMI_QA
CV.Ahmed-HZAMI_QA
 
Framework .net overview
Framework .net overviewFramework .net overview
Framework .net overview
 
Xdt Tests Driven Architecture Process V1.0
Xdt Tests Driven Architecture Process V1.0Xdt Tests Driven Architecture Process V1.0
Xdt Tests Driven Architecture Process V1.0
 
Azure Mesh Et Surface
Azure Mesh Et SurfaceAzure Mesh Et Surface
Azure Mesh Et Surface
 
Decouverte2014-2015.pptx
Decouverte2014-2015.pptxDecouverte2014-2015.pptx
Decouverte2014-2015.pptx
 
20130113 04 - Tests d'integration et virtualisation - La vision IBM
20130113 04 - Tests d'integration et virtualisation - La vision IBM20130113 04 - Tests d'integration et virtualisation - La vision IBM
20130113 04 - Tests d'integration et virtualisation - La vision IBM
 
Scom et orchestrator main dans la main (ser214)
Scom et orchestrator main dans la main (ser214)Scom et orchestrator main dans la main (ser214)
Scom et orchestrator main dans la main (ser214)
 
Quoi de neuf dans ASP.NET 4.5
Quoi de neuf dans ASP.NET 4.5Quoi de neuf dans ASP.NET 4.5
Quoi de neuf dans ASP.NET 4.5
 
[TechDays 2012] : Quoi de neuf dans ASP.NET 4.5
[TechDays 2012] : Quoi de neuf dans ASP.NET 4.5[TechDays 2012] : Quoi de neuf dans ASP.NET 4.5
[TechDays 2012] : Quoi de neuf dans ASP.NET 4.5
 
Industrialiser le développement avec silverlight 4 et wcf ria services
Industrialiser le développement avec silverlight 4 et wcf ria servicesIndustrialiser le développement avec silverlight 4 et wcf ria services
Industrialiser le développement avec silverlight 4 et wcf ria services
 
Cns 205-formation-citrix-netscaler-10-essentials-and-networking
Cns 205-formation-citrix-netscaler-10-essentials-and-networkingCns 205-formation-citrix-netscaler-10-essentials-and-networking
Cns 205-formation-citrix-netscaler-10-essentials-and-networking
 
Implémentation de la QoS au sein d'un IP/MPLS - Présentation
Implémentation de la QoS au sein d'un IP/MPLS - PrésentationImplémentation de la QoS au sein d'un IP/MPLS - Présentation
Implémentation de la QoS au sein d'un IP/MPLS - Présentation
 
La gouvernance, ou comment rapprocher les équipes de développement et d'infra...
La gouvernance, ou comment rapprocher les équipes de développement et d'infra...La gouvernance, ou comment rapprocher les équipes de développement et d'infra...
La gouvernance, ou comment rapprocher les équipes de développement et d'infra...
 
Le Cloud Privé, de la théorie à la réalité avec Microsoft Private Cloud
Le Cloud Privé, de la théorie à la réalité avec Microsoft Private CloudLe Cloud Privé, de la théorie à la réalité avec Microsoft Private Cloud
Le Cloud Privé, de la théorie à la réalité avec Microsoft Private Cloud
 
Alphorm.com Formation Informatica PowerCenter : Administration
Alphorm.com Formation Informatica PowerCenter : AdministrationAlphorm.com Formation Informatica PowerCenter : Administration
Alphorm.com Formation Informatica PowerCenter : Administration
 
System Center Operations Manager et la supervision des applications (.Net et ...
System Center Operations Manager et la supervision des applications (.Net et ...System Center Operations Manager et la supervision des applications (.Net et ...
System Center Operations Manager et la supervision des applications (.Net et ...
 

Dernier

Iris et les hommes.pptx
Iris      et         les      hommes.pptxIris      et         les      hommes.pptx
Iris et les hommes.pptx
Txaruka
 
Evaluación docentes "Un cielo, dos países: El camino de los descubrimientos"
Evaluación docentes "Un cielo, dos países: El camino de los descubrimientos"Evaluación docentes "Un cielo, dos países: El camino de los descubrimientos"
Evaluación docentes "Un cielo, dos países: El camino de los descubrimientos"
IES Turina/Rodrigo/Itaca/Palomeras
 
M2i Webinar - « Participation Financière Obligatoire » et CPF : une opportuni...
M2i Webinar - « Participation Financière Obligatoire » et CPF : une opportuni...M2i Webinar - « Participation Financière Obligatoire » et CPF : une opportuni...
M2i Webinar - « Participation Financière Obligatoire » et CPF : une opportuni...
M2i Formation
 
Cours de conjugaison des verbes du premier, deuxième et troisième groupe
Cours de conjugaison des verbes du premier, deuxième et troisième groupeCours de conjugaison des verbes du premier, deuxième et troisième groupe
Cours de conjugaison des verbes du premier, deuxième et troisième groupe
Yuma91
 
Système de gestion des fichiers de amine
Système de gestion des fichiers de amineSystème de gestion des fichiers de amine
Système de gestion des fichiers de amine
sewawillis
 
Burkina Faso library newsletter May 2024
Burkina Faso library newsletter May 2024Burkina Faso library newsletter May 2024
Burkina Faso library newsletter May 2024
Friends of African Village Libraries
 
Conseils pour Les Jeunes | Conseils de La Vie| Conseil de La Jeunesse
Conseils pour Les Jeunes | Conseils de La Vie| Conseil de La JeunesseConseils pour Les Jeunes | Conseils de La Vie| Conseil de La Jeunesse
Conseils pour Les Jeunes | Conseils de La Vie| Conseil de La Jeunesse
Oscar Smith
 
Mémoire de licence en finance comptabilité et audit
Mémoire de licence en finance comptabilité et auditMémoire de licence en finance comptabilité et audit
Mémoire de licence en finance comptabilité et audit
MelDjobo
 
Iris van Herpen. pptx
Iris            van        Herpen.     pptxIris            van        Herpen.     pptx
Iris van Herpen. pptx
Txaruka
 
Impact des Critères Environnementaux, Sociaux et de Gouvernance (ESG) sur les...
Impact des Critères Environnementaux, Sociaux et de Gouvernance (ESG) sur les...Impact des Critères Environnementaux, Sociaux et de Gouvernance (ESG) sur les...
Impact des Critères Environnementaux, Sociaux et de Gouvernance (ESG) sur les...
mrelmejri
 
Formation Intelligence Artificielle pour dirigeants- IT6-DIGITALIX 24_opt OK_...
Formation Intelligence Artificielle pour dirigeants- IT6-DIGITALIX 24_opt OK_...Formation Intelligence Artificielle pour dirigeants- IT6-DIGITALIX 24_opt OK_...
Formation Intelligence Artificielle pour dirigeants- IT6-DIGITALIX 24_opt OK_...
cristionobedi
 
SYLLABUS DU COURS MARKETING DTS 1-2.pdf
SYLLABUS DU COURS  MARKETING DTS 1-2.pdfSYLLABUS DU COURS  MARKETING DTS 1-2.pdf
SYLLABUS DU COURS MARKETING DTS 1-2.pdf
Moukagni Evrard
 
Edito-B1-francais Manuel to learning.pdf
Edito-B1-francais Manuel to learning.pdfEdito-B1-francais Manuel to learning.pdf
Edito-B1-francais Manuel to learning.pdf
WarlockeTamagafk
 

Dernier (13)

Iris et les hommes.pptx
Iris      et         les      hommes.pptxIris      et         les      hommes.pptx
Iris et les hommes.pptx
 
Evaluación docentes "Un cielo, dos países: El camino de los descubrimientos"
Evaluación docentes "Un cielo, dos países: El camino de los descubrimientos"Evaluación docentes "Un cielo, dos países: El camino de los descubrimientos"
Evaluación docentes "Un cielo, dos países: El camino de los descubrimientos"
 
M2i Webinar - « Participation Financière Obligatoire » et CPF : une opportuni...
M2i Webinar - « Participation Financière Obligatoire » et CPF : une opportuni...M2i Webinar - « Participation Financière Obligatoire » et CPF : une opportuni...
M2i Webinar - « Participation Financière Obligatoire » et CPF : une opportuni...
 
Cours de conjugaison des verbes du premier, deuxième et troisième groupe
Cours de conjugaison des verbes du premier, deuxième et troisième groupeCours de conjugaison des verbes du premier, deuxième et troisième groupe
Cours de conjugaison des verbes du premier, deuxième et troisième groupe
 
Système de gestion des fichiers de amine
Système de gestion des fichiers de amineSystème de gestion des fichiers de amine
Système de gestion des fichiers de amine
 
Burkina Faso library newsletter May 2024
Burkina Faso library newsletter May 2024Burkina Faso library newsletter May 2024
Burkina Faso library newsletter May 2024
 
Conseils pour Les Jeunes | Conseils de La Vie| Conseil de La Jeunesse
Conseils pour Les Jeunes | Conseils de La Vie| Conseil de La JeunesseConseils pour Les Jeunes | Conseils de La Vie| Conseil de La Jeunesse
Conseils pour Les Jeunes | Conseils de La Vie| Conseil de La Jeunesse
 
Mémoire de licence en finance comptabilité et audit
Mémoire de licence en finance comptabilité et auditMémoire de licence en finance comptabilité et audit
Mémoire de licence en finance comptabilité et audit
 
Iris van Herpen. pptx
Iris            van        Herpen.     pptxIris            van        Herpen.     pptx
Iris van Herpen. pptx
 
Impact des Critères Environnementaux, Sociaux et de Gouvernance (ESG) sur les...
Impact des Critères Environnementaux, Sociaux et de Gouvernance (ESG) sur les...Impact des Critères Environnementaux, Sociaux et de Gouvernance (ESG) sur les...
Impact des Critères Environnementaux, Sociaux et de Gouvernance (ESG) sur les...
 
Formation Intelligence Artificielle pour dirigeants- IT6-DIGITALIX 24_opt OK_...
Formation Intelligence Artificielle pour dirigeants- IT6-DIGITALIX 24_opt OK_...Formation Intelligence Artificielle pour dirigeants- IT6-DIGITALIX 24_opt OK_...
Formation Intelligence Artificielle pour dirigeants- IT6-DIGITALIX 24_opt OK_...
 
SYLLABUS DU COURS MARKETING DTS 1-2.pdf
SYLLABUS DU COURS  MARKETING DTS 1-2.pdfSYLLABUS DU COURS  MARKETING DTS 1-2.pdf
SYLLABUS DU COURS MARKETING DTS 1-2.pdf
 
Edito-B1-francais Manuel to learning.pdf
Edito-B1-francais Manuel to learning.pdfEdito-B1-francais Manuel to learning.pdf
Edito-B1-francais Manuel to learning.pdf
 

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
  • 31.
  • 32.
  • 33.
  • 34.
  • 35.
  • 36.
  • 37.
  • 38.
  • 39.