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

par Ismaïl Berrada

Thèse de doctorat en Informatique et mathématiques

Sous la direction de Richard Castanet.

Soutenue en 2005

à Bordeaux 1 .


  • Résumé

    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.

  • Titre traduit

    Modeling, analyzing and testing real-time communicanting systems : towards an open approach of testing


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. ( [x]-244 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 218-228. Annexes

Où se trouve cette thèse ?

  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Disponible pour le PEB
  • Cote : FTA 3103
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.