Thèse soutenue

Génération des cas de tests symboliques pour tester des orchestrateurs en contexte
FR  |  
EN
Accès à la thèse
Auteur / Autrice : José Pablo Escobedo Del Cid
Direction : Ana CavalliPascale Le Gall
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance le 25/11/2010
Etablissement(s) : Evry, Institut national des télécommunications
Ecole(s) doctorale(s) : École doctorale Sciences et Ingénierie (Evry ; 2008-2015)
Partenaire(s) de recherche : Université : Université d'Évry-Val-d'Essonne (1991-....)
Laboratoire : Département Logiciels et Réseaux - Services répartis- Architectures- MOdélisation- Validation- Administration des Réseaux

Mots clés

FR  |  
EN

Mots clés contrôlés

Résumé

FR  |  
EN

Les services Web sont des logiciels qui offrent des fonctionnalités à des autres machines à travers l'Interent. Les services Web sont basés sur l'Architecture Orientée Services (SOA, pour son nom en anglais). Ils peuvent être invoqués en utilisant des standards pour le Web (normalement, SOAP, UDDI, XML, HTTP, WSDL). Dan les dernières années, l'utilisation des services Web s'est incrémentée à cause de la flexibilité qu'ils offrent, ainsi comme de l’intégration des systèmes hétérogènes. En plus, SOA ajoute de la valeur dans le sens où les services peuvent être réutilisés et partagés; cela fait les systèmes plus flexibles et adaptables en cas où il y a des changements dans les processus de l’entreprise, et améliore l'intégration des systèmes. Aussi, des nouvelles façons d'utiliser les services Web se sont développées, en combinant pour créer des services plus complets et complexes. Le processus de réutiliser les services Web pour créer des nouveaux s'appelle composition des services Web, et son but principal est de permettre la réutilisation des fonctionnalités proposées par les services Web. C'est pour cette raison que l'architecture SOA a été bien acceptée par les entreprises partout dans le monde: elle aide à réduire le coût et le temps qu'il faut pour créer des solutions, et c'est la composition des services Web qu'on étudie dans cette thèse. Plus spécifiquement, on veut assurer leur correct comportement en utilisant des techniques du test pour détecter des possibles erreurs.