Abstract FR:

Cette thèse se positionne dans le cadre de la modélisation, l'analyse et le test des systèmes communicants, plus particulièrement les systèmes temps-réels, embarqués et à base de composants. Dans un premier temps, nous introduisons le modèle CS comme une description des systèmescommunicants. Le modèle CS est basé sur la sépération entre la description des entités d'un système communicant et la description des communications et du partage des ressources entre ces dernières. Dans une seconde partie, nous abordons l'analyse des systèmes temporisés, en particulier, l'extraction des diagnostics temporisés pour un chemin symbolique. Nous montrons aussi comment extraire des valuations dites de bornes à partir d'un polyèdre représenté par matrice de bornes (DBM). Dans une troisième partie, nous considérons la génération automatique des tests temporisés. Nous introduisons un cadre formel, comportant une définition de la notion de conformité pour les sytèmes temporisés et une approche de génération automatique des tests de conformité. Dans une quatrième partie, nous proposons une modélisation uniforme des différents types, approches et architecture de test. Comme conclusion de cette partie, nous introduisons la notion du test ouvert.