SlideShare ist ein Scribd-Unternehmen logo
1 von 39
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

Weitere ähnliche Inhalte

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

Azure Services Platform
Azure Services PlatformAzure Services Platform
Azure Services Platform
Gregory Renard
 
SharePoint 2010 & Team Foundation Server
SharePoint 2010 & Team Foundation ServerSharePoint 2010 & Team Foundation Server
SharePoint 2010 & Team Foundation Server
Philippe Sentenac
 
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
 
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
CERTyou Formation
 
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
 

Ähnlich wie 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)
 
[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
 
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
 
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 ...
 

Kürzlich hochgeladen

Copie de Engineering Software Marketing Plan by Slidesgo.pptx.pptx
Copie de Engineering Software Marketing Plan by Slidesgo.pptx.pptxCopie de Engineering Software Marketing Plan by Slidesgo.pptx.pptx
Copie de Engineering Software Marketing Plan by Slidesgo.pptx.pptx
ikospam0
 
L'ÉVOLUTION DE L'ÉDUCATION AU BRÉSIL À TRAVERS L'HISTOIRE ET LES EXIGENCES DE...
L'ÉVOLUTION DE L'ÉDUCATION AU BRÉSIL À TRAVERS L'HISTOIRE ET LES EXIGENCES DE...L'ÉVOLUTION DE L'ÉDUCATION AU BRÉSIL À TRAVERS L'HISTOIRE ET LES EXIGENCES DE...
L'ÉVOLUTION DE L'ÉDUCATION AU BRÉSIL À TRAVERS L'HISTOIRE ET LES EXIGENCES DE...
Faga1939
 
Bilan énergétique des chambres froides.pdf
Bilan énergétique des chambres froides.pdfBilan énergétique des chambres froides.pdf
Bilan énergétique des chambres froides.pdf
AmgdoulHatim
 
Cours Préparation à l’ISO 27001 version 2022.pdf
Cours Préparation à l’ISO 27001 version 2022.pdfCours Préparation à l’ISO 27001 version 2022.pdf
Cours Préparation à l’ISO 27001 version 2022.pdf
ssuserc72852
 

Kürzlich hochgeladen (18)

Computer Parts in French - Les parties de l'ordinateur.pptx
Computer Parts in French - Les parties de l'ordinateur.pptxComputer Parts in French - Les parties de l'ordinateur.pptx
Computer Parts in French - Les parties de l'ordinateur.pptx
 
Cours ofppt du Trade-Marketing-Présentation.pdf
Cours ofppt du Trade-Marketing-Présentation.pdfCours ofppt du Trade-Marketing-Présentation.pdf
Cours ofppt du Trade-Marketing-Présentation.pdf
 
La nouvelle femme . pptx Film français
La   nouvelle   femme  . pptx  Film françaisLa   nouvelle   femme  . pptx  Film français
La nouvelle femme . pptx Film français
 
Copie de Engineering Software Marketing Plan by Slidesgo.pptx.pptx
Copie de Engineering Software Marketing Plan by Slidesgo.pptx.pptxCopie de Engineering Software Marketing Plan by Slidesgo.pptx.pptx
Copie de Engineering Software Marketing Plan by Slidesgo.pptx.pptx
 
Formation qhse - GIASE saqit_105135.pptx
Formation qhse - GIASE saqit_105135.pptxFormation qhse - GIASE saqit_105135.pptx
Formation qhse - GIASE saqit_105135.pptx
 
L application de la physique classique dans le golf.pptx
L application de la physique classique dans le golf.pptxL application de la physique classique dans le golf.pptx
L application de la physique classique dans le golf.pptx
 
L'ÉVOLUTION DE L'ÉDUCATION AU BRÉSIL À TRAVERS L'HISTOIRE ET LES EXIGENCES DE...
L'ÉVOLUTION DE L'ÉDUCATION AU BRÉSIL À TRAVERS L'HISTOIRE ET LES EXIGENCES DE...L'ÉVOLUTION DE L'ÉDUCATION AU BRÉSIL À TRAVERS L'HISTOIRE ET LES EXIGENCES DE...
L'ÉVOLUTION DE L'ÉDUCATION AU BRÉSIL À TRAVERS L'HISTOIRE ET LES EXIGENCES DE...
 
Bilan énergétique des chambres froides.pdf
Bilan énergétique des chambres froides.pdfBilan énergétique des chambres froides.pdf
Bilan énergétique des chambres froides.pdf
 
Formation échiquéenne jwhyCHESS, parallèle avec la planification de projet
Formation échiquéenne jwhyCHESS, parallèle avec la planification de projetFormation échiquéenne jwhyCHESS, parallèle avec la planification de projet
Formation échiquéenne jwhyCHESS, parallèle avec la planification de projet
 
Les roches magmatique géodynamique interne.pptx
Les roches magmatique géodynamique interne.pptxLes roches magmatique géodynamique interne.pptx
Les roches magmatique géodynamique interne.pptx
 
COURS SVT 3 EME ANNEE COLLEGE 2EME SEM.pdf
COURS SVT 3 EME ANNEE COLLEGE 2EME SEM.pdfCOURS SVT 3 EME ANNEE COLLEGE 2EME SEM.pdf
COURS SVT 3 EME ANNEE COLLEGE 2EME SEM.pdf
 
Boléro. pptx Film français réalisé par une femme.
Boléro.  pptx   Film   français   réalisé  par une  femme.Boléro.  pptx   Film   français   réalisé  par une  femme.
Boléro. pptx Film français réalisé par une femme.
 
Cours Préparation à l’ISO 27001 version 2022.pdf
Cours Préparation à l’ISO 27001 version 2022.pdfCours Préparation à l’ISO 27001 version 2022.pdf
Cours Préparation à l’ISO 27001 version 2022.pdf
 
Conférence Sommet de la formation 2024 : Développer des compétences pour la m...
Conférence Sommet de la formation 2024 : Développer des compétences pour la m...Conférence Sommet de la formation 2024 : Développer des compétences pour la m...
Conférence Sommet de la formation 2024 : Développer des compétences pour la m...
 
Sidonie au Japon . pptx Un film français
Sidonie    au   Japon  .  pptx  Un film françaisSidonie    au   Japon  .  pptx  Un film français
Sidonie au Japon . pptx Un film français
 
Apolonia, Apolonia.pptx Film documentaire
Apolonia, Apolonia.pptx         Film documentaireApolonia, Apolonia.pptx         Film documentaire
Apolonia, Apolonia.pptx Film documentaire
 
GIÁO ÁN DẠY THÊM (KẾ HOẠCH BÀI DẠY BUỔI 2) - TIẾNG ANH 6, 7 GLOBAL SUCCESS (2...
GIÁO ÁN DẠY THÊM (KẾ HOẠCH BÀI DẠY BUỔI 2) - TIẾNG ANH 6, 7 GLOBAL SUCCESS (2...GIÁO ÁN DẠY THÊM (KẾ HOẠCH BÀI DẠY BUỔI 2) - TIẾNG ANH 6, 7 GLOBAL SUCCESS (2...
GIÁO ÁN DẠY THÊM (KẾ HOẠCH BÀI DẠY BUỔI 2) - TIẾNG ANH 6, 7 GLOBAL SUCCESS (2...
 
Chapitre 2 du cours de JavaScript. Bon Cours
Chapitre 2 du cours de JavaScript. Bon CoursChapitre 2 du cours de JavaScript. Bon Cours
Chapitre 2 du cours de JavaScript. Bon Cours
 

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.