Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Introduction 1.1 Revue gnrale
 

Summary: Chapitre 1
Introduction
1.1 Revue générale
Avec les changements rapides de notre société en une société d'informations, de plus
en plus de gens se fient sur la technologie de l'information pour vivre et pour travailler.
Ceci a entraîné, dans le passé récent, le développement des réseaux informatiques et donc
des protocoles de communication. Brièvement, un protocole de communication définit un
ensemble de règles avec lesquelles des ordinateurs hétérogènes (construits par différents
vendeurs) peuvent échanger de l'information afin de fournir des services de
communication aux usagers.
Avec le besoin croissant pour des applications ainsi que pour des réseaux plus fiables,
il y a une demande croissante pour des protocoles de communication qui peuvent être
utilisés, d'une manière fiable, pour l'échange de données entre les applications et les
éléments du réseau. A part la spécification et la normalisation de ces protocoles, le test de
conformité des implantations des protocoles par rapport aux spécifications constitue un
aspect très important de la garantie de la qualité. Ainsi, la vérification formelle et les
approches de test ont été développées en se basant sur les techniques de description
formelle TDFs. Plusieurs modèles ont été étudiés pour tester la conformité des protocoles
de communication. Le modèle le plus utilisé est le modèle de machine à états finis ou FSM
(Finite State Machine). Ce dernier a été initialement introduit pour la synthèse des circuits

  

Source: Aboulhamid, El Mostapha - Département d'Informatique et recherche opérationnelle, Université de Montréal

 

Collections: Engineering