Doctorat
Equipe : Test Formel et Exploration de Systèmes
Test symbolique de services Web composites
Début le 01/12/2007
Direction : GAUDEL, Marie-Claude
[Pascal Poizat, Fatiha ZAIDI]
Ecole doctorale : Paris XI
Etablissement d'inscription : Université Paris-Saclay
Lieu de déroulement : LRI
Soutenue le 16/12/2011 devant le jury composé de :
Directeur:
* Marie-Claude Gaudel, Professeur - Université de Paris-Sud XI, France
Rapporteurs:
* Ana Rosa Cavalli, Professeur - IT/Télécom SudParis, France
* Manuel Nunez, Professeur - Université Complutense de Madrid, Espagne
Examinateurs:
* Mohand-Said Hacid, Porfesseur - Université Claude Bernard Lyon 1, France
* Philippe Dague, Professeur - Université de Paris-Sud XI, France
Activités de recherche :
- Test de Logiciels
Résumé :
Auteur: Lina Bentakouk
L’acceptation et l’utilisation des services Web en industrie se développent de par leur support au développement d’application distribuées comme compositions d’entités logicielles plus simples appelées services. En complément à la vérification, le test permet de vérifier la correction d’une implémentation binaire (code source non disponible) par rapport à une spécification. Dans cette thèse, nous proposons une approche boîte-noire du test de conformité de compositions de services centralisées (orchestrations). Par rapport à l’état de l’art, nous développons une approche symbolique de façon à éviter des problèmes d’explosion d’espace d’état dus à la large utilisation de données XML dans les services Web. Cette approche est basée sur des modèles symboliques (STS), l’exécution symbolique de ces modèles et l’utilisation d’un solveur SMT. De plus, nous proposons une approche de bout en bout, qui va de la spécification à l’aide d’un langage normalisé d’orchestration (ABPEL) et de la possible description d’objectifs de tests à la concrétisation et l’exécution en ligne de cas de tests symboliques. Un point important est notre transformation de modèle entre ABPEL et les STS qui prend en compte les spécifications sémantiques d’ABPEL. L’automatisation de notre approche est supportée par un ensemble d’outils que nous avons développés.
