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



Q1 : cf poly8 (SDL, Maag), slide 4

Les FDTs (aussi appelé langage de spécifications) :

* Précisent les propriétés fonctionnelles d'un système en fonction de son environnement

* Sont conçus pour décrire les systèmes distribués composés par des processus qui sont 
  exécutés en parallèle, se synchronisent et communiquent par messages



Q2 : cf poly1 (intro, Cavalli), slides 9 et 10 (?)



Q3 : 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



Q4 : cf poly1 (intro, Cavalli), slide 22

* test unitaire
* test d'integration
* test d'interoperabilité
* test de conformité



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

* erreur de sortie
* erreur de trasfert
* erreur mixte



Q8 : cf poly3, slide 37 (page 19)



Q13 :

* Y n'est pas accepté comme input, c'est une variable, elle doit être portée par un signal (de la forme TOTO(Y))

* pareil pour X en output (?)
 
* TOTO seul n'est pas accepté comme output, il doit porter une variable.