Modélisation, analyse et test des systèmes communicants à contraintes temporelles : vers une approche ouverte du test

Abstract

Cette thèse de 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éel, embarqués et à base de composants. Dans un premier temps, nous introduisons le modèle CS comme une description des systèmes communicants. Le modèle CS est basé sur la séparation 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. Nous montrons aussi comment traiter le cas des systèmes asynchrones et tenir compte des latences du réseau. 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 systè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. Cette modélisation est basée sur les algorithmes génériques de génération et la définition d’un critère de couverture structurelle sous forme de coloriage (ordonné) de graphe. Comme conclusion de cette partie, nous introduisons la notion du test ouvert. Finalement, nous avons réalisé l’outil TGSE (Test Generation, Simulation and Emulation) développé dans le cadre du projet Calife et l’étude de cas CSMA/CD