Le moteur de recherche
des thèses françaises
'%3e%3cpath%20style='fill:%2300a0dc;fill-opacity:1;stroke:none;stroke-width:.144606;stroke-opacity:1;stop-color:%23000'%20d='M41.8%20100.088H52.28c.46%200%20.831.421.831.945v10.25c0%20.524-.37.946-.831.946H41.8c-.46%200-.831-.422-.831-.945v-10.251c0-.524.37-.945.831-.945z'/%3e%3cpath%20d='m47.072%20102.02-4.87%202.656%204.87%202.657%203.985-2.174v3.06h.885v-3.543m-7.969%201.851v1.771l3.1%201.691%203.098-1.691v-1.77l-3.099%201.69z'%20style='fill:%23fff;fill-opacity:1;stroke-width:.442726'/%3e%3ccircle%20style='fill:%23009f1d;fill-opacity:1;stroke:%23fff;stroke-width:.379704;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:%23000'%20cx='54.151'%20cy='101.224'%20r='3.451'/%3e%3cpath%20d='m55.669%2099.387.659.664-3.075%203.104-1.634-1.649.66-.663.974.979%202.416-2.435'%20style='fill:%23fff;fill-opacity:1;stroke:none;stroke-width:.30061;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1'/%3e%3c/g%3e%3c/svg%3e)
Test & validation de composants logiciels
| Auteur / Autrice : | Arnaud Bailly |
| Direction : | Mireille Clerbout, Isabelle Ryl |
| Type : | Thèse de doctorat |
| Discipline(s) : | Informatique |
| Date : | Soutenance en 2005 |
| Etablissement(s) : | Lille 1 |
Résumé
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.