Contribution a la validation des protocoles : test d'infinitude et verification a la volee

par Thierry Jéron

Thèse de doctorat en Informatique

Sous la direction de Michel Raynal.

Soutenue en 1991

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Le but de cette these est de fournir de nouvelles idees aux concepteurs d'outils de validation. Traitant du probleme indecidable de la finitude des graphes d'accessibilite de modeles de specification autorisant des files fifo, nous donnons une condition suffisante fondee sur une relation entre etats accessibles. Cette relation fournit un test pouvant s'appliquer a toutes les specifications du modele et meme aux programmes estelle. En depit de cette approche, nous ameliorons les resultats theoriques connus. Une des limitations principales des outils de validation est l'exposition du graphe d'etats. Mais certaines proprietes peuvent etre verifiees au cours d'un parcours du graphe d'accessibilite. Nous experimentons donc un parcours en profondeur avec remplacement aleatoire qui peut augmenter de facon significative la taille des graphes analysables. Nous discutons ensuite de l'utilisation du parcours avec remplacement pour la verification a la volee. Nous donnons en particulier un algorithme original et efficace permettant la verification d'une specification par un automate de buchi. Finalement, nous donnons quelques idees pour la construction d'un outil de validation incorporant le parcours avec remplacement


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol (171 p.)
  • Annexes : 85 REF

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : C-JER
  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1991/43
  • Bibliothèque : Ecole nationale supérieure de sciences appliquées et de technologie. Bibliothèque.
  • Disponible pour le PEB
  • Cote : C 3. JER.
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.