INGENIERIE DES PROTOCOLES
EXAM 2010-2011
Eléments de corrections
version 0.4



Q1 : cf poly1 (intro, Cavalli), slide 25

* Qu’est-ce que la verification?
Vérifier que la spécification du système est correcte et ne contient pas d’erreur

* Qu’est-ce que le test?
Evaluer que l’implantation du système possède les propriétés attendues et ne contient pas des erreurs
(aussi évaluer l’interoperabilité avec d’autres implantations ou d’autres composants)

(idem Question 3 de l'exam 2009-2010)



Q5 : cf poly4 (méthodes de tests), slide 52

* erreur de sortie
* erreur de trasfert
* erreur mixte

(idem Question 5 de l'exam 2009-2010)



Q7 :

* EX P ("il existe un chemin où on a P à la prochaine étape") : OUI
exemple : n'importe quel chemin commençant par 1->2...

* AG P ("sur tous les chemins on a P à toutes les étapes") : NON
contre-exemple : n'importe quel chemin passant par 4 (1->4... par exemple)

* EP U Q ("il existe un chemin où on a toujours des P jusqu'à avoir un Q") : OUI
exemple : 1->4...

* AF Q ("sur tous les chemins on a Q à une étape") : NON
contre-exemple : 1-> 2->3-> 2->3-> 2->3-> 2->3-> ... ("2->3->" à l'infini, ça ne passe jamais par 4, et donc jamais par Q)