Identification de systèmes séquentiels structurés : Application à la validation du test

par Khalid El Maadani

Thèse de doctorat en Automatique. Informatique industrielle

Sous la direction de Jean-Claude Geffroy.

Soutenue en 1993

à Toulouse, INSA .


  • Pas de résumé disponible.


  • Résumé

    Le travail presente dans ce memoire s'inscrit dans le cadre de l'evaluation et de la validation du test des systemes sequentiels deterministes, au niveau comportemental. Le critere d'evaluation adopte est celui de l'identification. L'identification d'un systeme sequentiel est generalement un probleme d'inference d'automate, dans les domaines de la synthese de systemes sequentiels, de l'inference reguliere et de l'apprentissage sequentiel, et un probleme de generation de sequence, dans le domaine de la generation de test. L'evaluation d'une sequence de test par identification est traitee ici comme un probleme d'inference qui consiste a determiner l'ensemble des machines acceptant cette sequence mais qui sont incompatibles avec le modele dont elle est issue. Le nombre de machines distinctes obtenues donne une mesure relative de la couverture de la sequence par rapport au modele. Deux approches differentes de l'evaluation et de la validation du test des systemes sequentiels sont proposees. La premiere, dite boite noire, correspond au cas ou le systeme analyse est decrit par un modele fonctionnel (machine a etats finie). La seconde, dite boite grise s'adresse aux systemes decrits par un modele structuro-fonctionnel (ensemble de machines interconnectees); elle exploite la connaissance structurelle du systeme et permet une reduction de la complexite algorithmique globale du processus. Cette approche consiste a evaluer la sequence, successivement, par rapport a chaque machine du systeme, supposee inconnue au sein d'un environnement connu. Les contraintes de commandabilite et d'observabilite induites par l'environnement sur le comportement externe de la machine consideree doivent alors etre prises en compte. Un prototype informatique nomme ida a ete developpe en prolog sur station de travail sun4 pour valider ces approches

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : VIII-176 p

Où se trouve cette thèse ?

  • Bibliothèque : Institut national des sciences appliquées. Bibliothèque centrale.
  • Disponible pour le PEB
  • Cote : 1993/227/MAA
  • Bibliothèque :
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.