• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Mémoire de Maîtrise
DOI
https://doi.org/10.11606/D.45.1997.tde-20210729-014246
Document
Auteur
Nom complet
Perry Roland James
Unité de l'USP
Domain de Connaissance
Date de Soutenance
Editeur
São Paulo, 1997
Directeur
Titre en portugais
A especificação formal e o teste de um protocolo de comunicação de grupo
Mots-clés en portugais
Redes De Computadores
Resumé en portugais
Um mecanismo de comunicação de grupo é um serviço útil para a implementaçào de sistemas distribuídos, mas poucos trabalhos se preocuparam em especificar formalmente os protocolos usados para sua implementação. Esta dissertação descreve o protocolo de comunicação de grupo que foi implementado e os métodos formais usados. Foi implementado um protocolo de difusão de mensagens (broadcast) atômico usando um protocolo de confirmação em duas fases (two-phase commit) que seja tolerante a falhas. Este sistema foi escrito na linguagem Concert/C por causa do seu apoio para a comunicação entre processo Unix. Inicialmente, foi desenvolvido uam especificação formal para o protocolo e mostrada a sua validade. Em seguida, casos teste para a implementação final foram gerados a partir da especificação. A implementação do protocolo foi testada usando o conjunto de testes criados para mostrar sua conformidade com a especificaçào original
Titre en anglais
not available
Resumé en anglais
A group communication mechanism is a useful service for implementing distributed systems, but little work has been done in formally specifying and testing the protocols used to implement such mechanisms. This work dissertation describes the group-communication protocol that was implemented and the formal methods used. A fault tolerant two-phase-commit atomic-broadcast was implemented. Concert/C was the chosen implementation language because of its communication support for Unix processes. First a formal specification for the protocol was developed, and its validity was established. Next, test cases for the final implementation were generated from the specification. The protocol implementation was tested using the already-created test suite to show its conformance to the original specification
 
AVERTISSEMENT - Regarde ce document est soumise à votre acceptation des conditions d'utilisation suivantes:
Ce document est uniquement à des fins privées pour la recherche et l'enseignement. Reproduction à des fins commerciales est interdite. Cette droits couvrent l'ensemble des données sur ce document ainsi que son contenu. Toute utilisation ou de copie de ce document, en totalité ou en partie, doit inclure le nom de l'auteur.
JamesPerryRoland.pdf (13.00 Mbytes)
Date de Publication
2021-07-29
 
AVERTISSEMENT: Apprenez ce que sont des œvres dérivées cliquant ici.
Tous droits de la thèse/dissertation appartiennent aux auteurs
CeTI-SC/STI
Bibliothèque Numérique de Thèses et Mémoires de l'USP. Copyright © 2001-2024. Tous droits réservés.