EXEMPLE DE TEST AVEC TEST REAL TIME (2)


Voici le squelette généré et initialisé à partir du code précédent :

-- Tested service parameters declarations
#int test;
-- By function returned type declaration
#int ret_function;

TEST 1
FAMILY nominal
   ELEMENT
VAR global_variable,   init = 1, ev = init  
    Initialise la variable globale à 1 et spécifie que
    sa valeur à la fin de l'exécution (ev) ne doit pas être différente.

VAR test,              init = 1, ev = init
    Même chose que pour la variable précédente.

VAR ret_function,      init = 0, ev = 1
    Précise que la valeur attendue de retour du module pour
    ce cas de test doit être 1.
    !! La valeur réelle de retour est 2.


stub f (1) 1 
    Spécifie qu'il doit y avoir un appel au stub simulant
    un appel de f avec 1 comme paramètre.
    La valeur de retour du stub est fixée à 1.
 
#ret_function = function(test);
  END ELEMENT
END TEST
-- TEST 1