Detection de proprietes instables dans les executions reparties, application a la mise au point des programmes repartis

par EDDY FROMENTIN

Thèse de doctorat en Informatique

Sous la direction de M. RAYNAL.

Soutenue en 1996

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Notre incapacite a prouver formellement la correction des programmes repartis rend incontournable les outils de validation de programmes repartis. Dans cette these, nous etudions le probleme de la detection de proprietes instables, les proprietes stables n'etant que de peu d'interet dans le contexte de la mise au point des programmes repartis. Nous definissons d'abord un cadre formel pour la specification et la detection de proprietes d'une execution repartie. Duquel cadre, nous nous servons pour construire et implementer des algorithmes de detection de proprietes comportementales sur les flots de controle. Il s'agit d'une instanciation du probleme de la reconnaissance d'un langage sur un graphe dirige acyclique etiquete. Nous montrons comment instancier notre algorithme generique afin de detecter des proprietes comportementales sur l'ensemble des flots de controle du graphe des etats locaux. Aussi, nous avons defini une logique qui permet de specifier et de detecter une large classe de proprietes comportementales. Une implementation des algorithmes elabores a ete realisee au sein du prototype de devermineur erebus et une etude comparative des resultats obtenus est donnee. Enfin, nous montrons comment specifier des proprietes comportementales sur l'ensemble des sequences d'etats globaux. Les comportements specifies et detectes sont alors les plus larges possibles mais ont un cout important. Nous etudions alors comment detecter des proprietes a moindre cout et notamment comment detecter des etats globaux qui soient atteints quelle que soit l'observation qu'il est possible de construire


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 140 P.
  • Annexes : 62 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1996/90
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.