TABLE DES MATI�RES

�1���� Domaine d'application
�2���� R�f�rences
�3���� D�finitions et abr�viations
������� 3.1���� D�finitions
������� 3.2���� D�finitions extraites de la Rec. UIT-T X.290 et l'ISO/CEI 9646‑1
������� 3.3���� D�finitions extraites de la Rec. UIT-T X.292 et l'ISO/CEI 9646‑3
������� 3.4���� Abr�viations
�4���� Introduction
������� 4.1���� Le langage noyau et les formats de pr�sentation
�5���� El�ments linguistiques de base
������� 5.1���� D�finitions, instances et d�clarations
������� 5.2��� �Classement des �l�ments linguistiques
����������������� 5.2.1���� R�f�rences anticip�es
������� 5.3���� Param�trisation
����������������� 5.3.1���� Param�trisation par r�f�rence et par valeur
����������������� 5.3.2���� Listes de param�tres formels et de param�tres r�els
����������������� 5.3.3���� Liste vide de param�tres formels
����������������� 5.3.4���� Listes param�triques imbriqu�es
������� 5.4���� R�gles de port�e
����������������� 5.4.1���� Port�es et reprise d'identificateurs
����������������� 5.4.2���� Port�e des param�tres formels
������� 5.5���� Identificateurs et mots cl�s
�6���� Types et valeurs
������� 6.1���� Types et valeurs de base
����������������� 6.1.1���� Types et valeurs de cha�ne de base
����������������� 6.1.2���� Acc�s � des �l�ments individuels de cha�ne
������� 6.2���� Sous-types et valeurs d�finis par l'utilisateur
����������������� 6.2.1���� Liste de valeurs
����������������� 6.2.2���� Etendues
����������������� 6.2.3���� Restrictions de longueur de cha�ne
������� 6.3���� Types et valeurs structur�s
����������������� 6.3.1���� Types et valeurs d'enregistrement
����������������� 6.3.2���� Types et valeurs d'ensemble
����������������� 6.3.3���� Enregistrements et ensembles de types particuliers
����������������� 6.3.4���� Types et valeurs d'�num�ration
����������������� 6.3.5���� R�union logique d'ensembles
������� 6.4���� S�quences tabulaires
������� 6.5���� Types r�cursifs
������� 6.6���� Param�trisation des types
������� 6.7���� Compatibilit� des types
����������������� 6.7.1�� ��Conversion de type
�7���� Modules
������� 7.1���� Nommage des modules
������� 7.2���� Param�trisation des modules
����������������� 7.2.1���� Valeurs par d�faut des param�tres de module
������� 7.3���� Partie d�finitions d'un module
����������������� 7.3.1���� Groupes de d�finitions
������� 7.4���� Partie commande d'un module
������� 7.5���� Importation � partir de modules
����������������� 7.5.1���� R�gles d'utilisation de l'importation
����������������� 7.5.2���� Importation de d�finitions particuli�res
����������������� 7.5.3���� Importation de toutes les d�finitions d'un module
����������������� 7.5.4���� Importation de groupes
����������������� 7.5.5���� Importation de d�finitions de la m�me sorte
����������������� 7.5.6���� Importation r�cursive de d�finitions complexes
����������������� 7.5.7���� Traitement des collisions de noms lors d'une importation
����������������� 7.5.8���� Traitement des r�f�rences multiples � la m�me d�finition
����������������� 7.5.9���� Param�tres d'importation et de module
���������������� 7.5.10���� D�finitions import�es de modules non TTCN
�8���� Configurations d'essai
������� 8.1���� Mod�le de communication entre acc�s
������� 8.2���� Interface avec un syst�me de test abstrait
������� 8.3���� D�finition des types d'acc�s de communication
����������������� 8.3.1���� Acc�s mixtes
������� 8.4���� D�finition des types de composant
����������������� 8.4.1���� D�claration de variables et de temporisations locales dans un composant
����������������� 8.4.2���� D�finition de composants avec s�quences tabulaires d'acc�s
������� 8.5���� Adressage d'entit�s � l'int�rieur du syst�me SUT
������� 8.6���� R�f�rences de composant
������� 8.7���� D�finition de l'interface avec le syst�me de test
�9���� D�claration des constantes
10���� D�claration des variables
11���� D�claration des temporisations
������ 11.1���� Temporisations utilis�es comme param�tres
12���� D�claration des messages
������ 12.1���� Champs de message facultatifs
13���� D�claration des signatures de proc�dure
������ 13.1� ���Omission de param�tres r�els
������ 13.2���� Sp�cification des exceptions
14���� D�claration des mod�les
������ 14.1���� D�claration des mod�les de message
���������������� 14.1.1���� Mod�les d'envoi de messages
���������������� 14.1.2���� Mod�les de r�ception de messages
������ 14.2���� D�claration des mod�les de signature
���������������� 14.2.1���� Mod�les d'appel de proc�dure
���������������� 14.2.2���� Mod�les d'acceptation des appels de proc�dure
������ 14.3���� M�canismes d'appariement de mod�les
������ 14.4���� Param�trisation des mod�les
���������������� 14.4.1���� Param�trisation avec attributs d'appariement
������ 14.5���� Param�trisation des mod�les
������ 14.6���� Mod�les modifi�s
���������������� 14.6.1���� Param�trisation des mod�les modifi�s
���������������� 14.6.2���� Mod�les modifi�s en ligne
������ 14.7���� Modification des champs de mod�le
������ 14.8���� Op�ration d'appariement
������ 14.9���� Valeur d'op�ration
15���� Op�rateurs
������ 15.1���� Op�rateurs arithm�tiques
������ 15.2��� �Op�rateurs de cha�ne
������ 15.3���� Op�rateurs relationnels
������ 15.4���� Op�rateurs logiques
������ 15.5���� Op�rateurs binaires
������ 15.6���� Op�rateurs de d�calage
������ 15.7���� Op�rateurs de rotation
16���� Fonctions
������ 16.1���� Param�trisation des fonctions
������ 16.2���� Invocation des fonctions
������ 16.3���� Fonctions pr�d�finies
17���� Tests �l�mentaires
18���� Instructions et op�rations de programmation
19���� Instructions de programmation de base
������ 19.1���� Expressions
������� ���������19.1.1���� Expressions bool�ennes
������ 19.2���� Affectations
������ 19.3���� L'instruction Log
������ 19.4���� L'instruction Label
������ 19.5���� L'instruction Goto
������ 19.6���� L'instruction If-else
������ 19.7���� L'instruction For
������ 19.8���� L'instruction While
������ 19.9���� L'instruction Do-while
����� 19.10���� L'instruction d'arr�t d'ex�cution (Stop)
20���� Instructions de programmation comportementales
������ 20.1���� Comportement s�quentiel
������ 20.2���� Comportement � variantes
���������������� 20.2.1���� Ex�cution d'un comportement � variantes
���������������� 20.2.2���� S�lection/d�s�lection d'une variante
���������������� 20.2.3���� Branche "else" d'une alternative
���������������� 20.2.4���� D�claration de variantes nomm�es
���������������� 20.2.5���� Expansion de variantes au moyen de variantes nomm�es
���������������� 20.2.6���� Param�trisation de variantes nomm�es
���������������� 20.2.7���� L'instruction "Label" dans un comportement
���������������� 20.2.8���� L'instruction "Goto" dans un comportement
������ 20.3���� Comportement entrelac�
������ 20.4���� Comportement par d�faut
���������������� 20.4.1���� Les op�rations Activate et Deactivate
������ 20.5���� L'instruction Return
21���� Op�rations de configuration
���� ��21.1���� L'op�ration de cr�ation
������ 21.2���� Les op�rations de connexion et de mappage
���������������� 21.2.1���� Connexions coh�rentes
������ 21.4���� Les op�rations MTC, System et Self
������ 21.5���� L'op�ration de lancement de composant de test
������ 21.6���� L'op�ration d'arr�t de composant de test
������ 21.7���� L'op�ration d'ex�cution
������ 21.8���� L'op�ration de fin d'ex�cution
������ 21.9���� Utilisation de s�quences tabulaires de composants
����� 21.10���� Utilisation des mots cl�s Any et All avec des composants
22���� Op�rations de communication
������ 22.1���� Op�rations d'envoi
���������������� 22.1.1���� Format g�n�ral des op�rations d'envoi
���������������� 22.1.2���� L'op�ration d'envoi
��������������� 22.1.3����� L'op�ration d'appel
���������������� 22.1.4���� L'op�ration de r�ponse
���������������� 22.1.5���� L'op�ration de d�clenchement d'une exception
������ 22.2���� Op�rations de r�ception
���������������� 22.2.1���� Format g�n�ral des op�rations de r�ception
������ ����������22.2.2���� L'op�ration de r�ception
���������������� 22.2.3���� L'op�ration de d�clenchement
���������������� 22.2.4���� L'op�ration d'obtention d'appel
���������������� 22.2.5���� L'op�ration d'obtention de r�ponse
���������������� 22.2.6���� L'op�ration d'acquisition
���������������� 22.2.7���� L'op�ration de v�rification
������ 22.3���� Op�rations de commande des acc�s de communication
���������������� 22.3.1���� L'op�ration de lib�ration d'acc�s
���������������� 22.3.2���� L'op�ration d'ouverture d'acc�s
���������������� 22.3.3���� L'op�ration de fermeture d'acc�s
������ 22.4���� Utilisation des mots cl�s any et all avec les acc�s
23���� Op�rations de temporisation
������ 23.1���� L'op�ration d'armement de temporisateur
������ 23.2���� L'op�ration de d�sarmement de temporisateur
������ 23.3���� L'op�ration de lecture du temporisateur
������ 23.4���� L'op�ration d'ex�cution de temporisation
������ 23.5���� L'�v�nement de fin de temporisation
������ 23.6���� Utilisation des mots cl�s any et all avec les temporisateurs
24���� Op�ration de verdict de test
������ 24.1���� Verdict de test �l�mentaire
������ 24.2���� Valeurs de verdict et r�gles d'effacement par recouvrement
���������������� 24.2.1���� Verdict d'erreur
25���� Op�rations relatives au syst�me sous test (SUT)
26���� Partie commande d'un module
������ 26.1���� Ex�cution des tests �l�mentaires
������ 26.2���� Terminaison des tests �l�mentaires
������ 26.3���� Contr�le de l'ex�cution des tests �l�mentaires
������ 26.4���� S�lection de test �l�mentaire
������ 26.5���� Utilisation de temporisateurs dans les commandes
27���� Sp�cification des attributs
������ 27.1���� Attributs d'affichage
������ 27.2���� Codage des attributs
���������������� 27.2.1���� Codages invalides
������ 27.3���� Attributs d'extension
������ 27.4���� Port�e des attributs
������ 27.5���� R�gles d'effacement par recouvrement pour les attributs
������ 27.6���� Modification des attributs d'�l�ments linguistiques import�s
Annexe A - Formalisme BNF et s�mantique statique
������� A.1���� Formalisme BNF de la notation TTCN-3
����������������� A.1.1���� Conventions pour la description syntaxique
����������������� A.1.2���� Symboles du terminateur d'instruction
����������������� A.1.3���� Identificateurs
����������������� A.1.4���� Commentaires
����������������� A.1.5���� Symboles terminaux de la notation TTCN-3
����������������� A.1.6���� Productions BNF de la syntaxe de notation TTCN‑-3
Annexe B - S�mantique op�rationnelle
������� B.1���� Structure de cette annexe
������� B.2���� Remplacement des notations abr�g�es et des macro‑instructions
����������������� B.2.1���� Ordre des �tapes de remplacement
����������������� B.2.2���� Adjonction des op�rations d'arr�t et de retour aux descriptions comportementales
����������������� B.2.3���� Remplacement des constantes mondiales et des param�tres de module mondiaux
����������������� B.2.4���� Imbrication d'op�rations de r�ception dans des instructions d'alternative
����������������� B.2.5���� Expansion de macro‑instruction
����������������� B.2.6���� Remplacement de la cr�ation syntaxique d'entrelacement
����������������� B.2.7���� Expansions de comportement par d�faut
����������������� B.2.8���� Remplacement d'op�rations de d�clenchement
����������������� B.2.9���� Remplacement des mots cl�s any et all
������� B.3���� S�mantique des graphes orient�s de la notation TTCN‑3
����������������� B.3.1���� Graphes orient�s
����������������� B.3.2���� Repr�sentation par graphe orient� du comportement TTCN‑3
����������������� B.3.3���� D�finitions des �tats des modules TTCN‑3
����������������� B.3.4���� Messages, appels de proc�dure, r�ponses et exceptions
����������������� B.3.5���� Fichiers de communication pour fonctions et tests �l�mentaires
����������������� B.3.6���� La proc�dure d'�valuation pour un module de notation TTCN‑3
����������������� B.3.7���� D�finitions des segments de graphe orient� pour les cr�ations syntaxiques TTCN‑3
����������������� B.3.8���� Liste des composants s�mantiques op�rationnels
Annexe C - Appariement de valeurs entrantes
������� C.1���� M�canismes d'appariements de mod�les
����������������� C.1.1���� Valeurs de concordance sp�cifiques
����������������� C.1.2���� M�canismes d'appariement au lieu de valeurs
����������������� C.1.3���� Valeurs internes des m�canismes d'appariement
����������������� C.1.4���� Attributs d'appariement de valeurs
����������������� C.1.5���� S�quences de caract�res d'appariement
Annexe D - Fonctions de notation TTCN-3 pr�d�finies
������� D.1���� Fonctions de notation TTCN‑3 pr�d�finies
����������������� D.1.1���� Conversion d'entier en caract�re
����������������� D.1.2���� Conversion de caract�re en entier
����������������� D.1.3���� Conversion d'entier en caract�re universel
����������������� D.1.4���� Conversion de caract�re universel en entier
����������������� D.1.5���� Conversion de cha�ne binaire en entier
����������������� D.1.6���� Conversion de cha�ne hexad�cimale en entier
����������������� D.1.7���� Conversion de cha�ne d'octets en entier
����������������� D.1.8���� Conversion de cha�ne de caract�res en entier
����������������� D.1.9���� Conversion d'entier en cha�ne binaire
���������������� D.1.10���� Conversion d'entier en cha�ne hexad�cimale
���������������� D.1.11���� Conversion d'entier en cha�ne d'octets
���������������� D.1.12���� Conversion d'entier en cha�ne de caract�res
���������������� D.1.13���� Longueur d'un type de cha�ne
���������������� D.1.14���� Nombre d'�l�ments dans un type structur�
���������������� D.1.15���� La fonction de pr�sence (IsPresent)
������������ ����D.1.16���� La fonction de s�lection (IsChosen)
Annexe E - Utilisation d'autres types de donn�es en notation TTCN‑3
������� E.1���� Utilisation de la notation ASN.1 en notation TTCN‑3
����������������� E.1.1���� Equivalents de type ASN.1 et de type TTCN‑3
����������������� E.1.2���� Types et valeurs de donn�es ASN.1
����������������� E.1.3���� Param�trisation en notation ASN.1
����������������� E.1.4���� D�finition des types de message en notation ASN.1
����������������� E.1.5���� D�finition des mod�les de message ASN.1
����������������� E.1.6���� Informations de codage