• Langue : Français
• Discipline : Informatique
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/2005

Résumé en langue originale

Les producteurs de logiciels et plus particulièrement les prestataires de services doivent faire face aux exigences de plus en plus fortes des utilisateurs pour obtenir des logiciels de meilleure qualité qui remplissent un nombre de fonctions de plus en plus grande, à un coût réduit. Cette thèse se propose de contribuer à la résolution de cette équation en soulignant l'importance de structurer les applications dans une architecture à base de composants et d'industrialiser le processus de développement. Pour ce faire, nous proposons un modèle de composants permettant l'expression de contrats comportementaux, modèle doté d'une sémantique formelle sous la forme de langages de traces liés à une catégorie particulière d'automates, intitulé FIDL. Ce modèle nous permet de définir des outils théoriquement bien fondés pour la validation et la vérification de composants concrets. En particulier, nous détaillons la mise en oeuvre d'une méthode de test de conformité compositionnelle pour la validation de composants.