Now showing documents 1-2 of 2

    • Génération de séquences de tests de protocole à partir d'un réseau de Petri

      Moussallem, Issam (Université de Sherbrooke, 1993)
      Dans le cadre de ce mémoire, nous présenterons une approche basée sur l'analyse d'accessibilité pour dériver des séquences de tests à partir des spécifications décrites par des réseaux de Petri. Nous présenterons aussi un ...
    • Testabilité de la spécification du protocole XTP

      Moreau, Anne (Université de Sherbrooke, 1991)
      Dans le domaine des télécommunications, il existe un modèle de référence, le modèle "OSI" (Open System lnterconnection) de l'ISO, divisé en sept couches. Pour vérifier la conformité d'une couche (d'un protocole) au modèle, ...