TABLE DES MATI�RES
1
Domaine d'application
2 R�f�rences
normatives
3 D�finitions et abr�viations
3.1
D�finitions
3.2
Abr�viations
4
Introduction
4.0
G�n�ralit�s
4.1 Langage
noyau et formats de pr�sentation
4.2 Unicit�
de la sp�cification
4.3
Conformit�
5 El�ments de langage
fondamentaux
5.0
G�n�ralit�s
5.1
S�quencement des �l�ments de langage
5.2
Param�trage
5.3 R�gles
de port�e
5.4
Identificateurs et mots cl�s
6 Types et valeurs
6.0
G�n�ralit�s
6.1 Types et
valeurs de base
6.2
Sous-typage de types de
base
6.3 Types et
valeurs structur�s
6.4 Le type
anytype
6.5
Matrices
6.6 Types
r�cursifs
6.7
Compatibilit� des types
7 Modules
7.0
G�n�ralit�s
7.1 Nommage
des modules
7.2
Param�tres de module
7.3 Partie
d'un module relative aux d�finitions
7.4 Partie
d'un module relative � la commande
7.5
Importation � partir de modules
8 Configurations de
test
8.0
G�n�ralit�s
8.1 Mod�le
de communication entre ports
8.2
Restrictions relatives aux
connexions
8.3 Interface
du syst�me de test
abstrait
8.4
D�finition des types de port de
communication
8.5
D�finition des types de composant
8.6
Adressage d'entit�s � l'int�rieur du syst�me
SUT
8.7 R�f�rences
de composant
8.8
D�finition de l'interface du syst�me de test
9 D�claration des
constantes
10 D�claration de variables
10.0
G�n�ralit�s
10.1 Variables de
valeur
10.2 Variables de
mod�le
11 D�claration des
temporisations
11.0
G�n�ralit�s
11.1
Temporisations utilis�es comme
param�tres
12 D�claration des
messages
Page
13 D�claration
des signatures de proc�dure
13.0 G�n�ralit�s
13.1 Signatures pour
communications bloquantes et non
bloquantes
13.2 Param�tres des signatures
de proc�dure
13.3 Proc�dures distantes
retournant une valeur
13.4 Sp�cification des
exceptions
14 D�claration des mod�les
14.0 G�n�ralit�s
14.1 D�claration
des mod�les de message
14.2 D�claration
des mod�les de signature
14.3 M�canismes
d'appariement de mod�les
14.4 Param�trage
de mod�les
14.5
Vide
14.6 Mod�les
modifi�s
14.7 Modification
des champs de mod�le
14.8 Op�ration
d'appariement
14.9 Op�ration de
valuation
15 Op�rateurs
15.0
G�n�ralit�s
15.1 Op�rateurs
arithm�tiques
15.2 Op�rateurs de
concat�nation
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 et variantes
16.1
Fonctions
16.2
Variantes
16.3 Fonctions et
variantes pour des types diff�rents de
composant
17 Tests
�l�mentaires
17.0
G�n�ralit�s
17.1 Param�trage de
tests �l�mentaires
18 Aper�u g�n�ral des instructions de programmation et
des op�rations
19 Expressions et instructions de programmation de
base
19.0
G�n�ralit�s
19.1
Expressions
19.2
Affectations
19.3 L'instruction
"Log"
19.4 L'instruction
"Label"
19.5 L'instruction
"Goto" (saut)
19.6 L'instruction
"If-else" (�chappement conditionnel)
19.7 L'instruction
for (pour)
19.8 L'instruction
"While" (tant que)
19.9 L'instruction
"Do-while" (ex�cution tant
que)
19.10 L'instruction
"Stop" (arr�t d'ex�cution)
19.11 L'instruction
"Select
Case"
20 Instructions de programmation comportementales
20.0
G�n�ralit�s
20.1 Comportement
� options
20.2 L'instruction
"Repeat" (r�p�tition)
20.3 Comportement
entrelac�
20.4 L'instruction
"Return" (retour)
21 Manipulation des valeurs par
d�faut
21.0
G�n�ralit�s
21.1 Le m�canisme
de comportement par
d�faut
21.2 R�f�rences de
valeurs par d�faut
21.3 L'op�ration
Activate (activation)
21.4 L'op�ration
Deactivate (d�sactivation)
22 Op�ration de
configuration
22.0
G�n�ralit�s
22.1 L'op�ration
"Create" (cr�ation)
22.2 Les
op�rations "Connect" (connexion) et "Map"
(mappage)
22.3 Les
op�rations "Disconnect" (d�connexion) et "Unmap"
(d�mappage)
22.4 Les
op�rations "MTC", "System" et "Self"
22.5 L'op�ration
"Start" (lancement de composant de
test)
22.6 L'op�ration
comportementale "Stop" (arr�t de composant de test)
22.7 L'op�ration
"Running" (ex�cution)
22.8 L'op�ration
"done" (fin d'ex�cution)
22.9 L'op�ration
"Kill" (suppression de composant de
test)
22.10 L'op�ration
"Alive" (sous tension)
22.11 Op�ration
"Killed" (supprim�)
22.12 Utilisation de
matrices de composants
22.13 R�sum� de
l'utilisation de "any" et "all" avec des
composants
23 Op�rations de
communication
23.0
G�n�ralit�s
23.1 Format
g�n�ral des op�rations de communication
23.2 Communication
en mode message
23.3 Communication
en mode proc�dure
23.4 L'op�ration
"Check" (v�rification)
23.5 Op�rations de
commande des ports de communication
23.6 Utilisation
de "any" et de "all" avec des
ports
24 Op�rations de
temporisation
24.0
G�n�ralit�s
24.1 L'op�ration
"Start timer" (lancement de
temporisation)
24.2 L'op�ration
"Stop timer" (arr�t de temporisateur)
24.3 L'op�ration
"Read timer" (lecture de
temporisation)
24.4 L'op�ration
"Running timer" (temporisation en
cours)
24.5 L'op�ration
"Timeout" (expiration de
temporisation)
24.6 R�sum� de
l'utilisation de "any" et de "all" avec des
temporisations
25 Op�rations de verdict de
test
25.0
G�n�ralit�s
25.1 Verdict de
test �l�mentaire
25.2 Valeurs de
verdict et r�gles de sur�criture
26 Actions externes
27 Partie d'un module relative � la
commande
27.0
G�n�ralit�s
27.1 Ex�cution de
tests �l�mentaires
27.2 Terminaison
de tests �l�mentaires
27.3 Contr�le de
l'ex�cution de tests
�l�mentaires
27.4 S�lection de tests
�l�mentaires
27.5 Utilisation
de temporisateurs dans les commandes
28 Sp�cification des attributs
28.0 G�n�ralit�s
28.1 Attributs
d'affichage
28.2 Codage de
valeurs
Page
28.3 Attributs
d'extension
28.4 Port�e des
attributs
28.5 R�gles
d'�crasement pour attributs
28.6 Modification
des attributs d'�l�ments de langage import�s
Annexe A � Formalisme BNF et s�mantique statique
A.1
Formalisme BNF de la notation TTCN-3
Annexe B � Appariement de valeurs
entrantes
B.1 M�canismes
d'appariement de mod�les
Annexe C � Fonctions de notation TTCN‑3
pr�d�finies
C.0 Proc�dures g�n�rales de
traitement d'exception
C.1 Conversion d'entier en
caract�re
C.2 Conversion de caract�re en
entier
C.3
Conversion d'entier en caract�re universel
C.4 Conversion de caract�re
universel en entier
C.5
Conversion de cha�ne binaire en
entier
C.6
Conversion de cha�ne hexad�cimale en
entier
C.7
Conversion de cha�ne d'octets en entier
C.8
Conversion de cha�ne de caract�res en
entier
C.9 Conversion d'entier en
cha�ne binaire
C.10 Conversion d'entier en cha�ne
hexad�cimale
C.11 Conversion d'entier en
cha�ne d'octets
C.12 Conversion d'entier en
cha�ne de
caract�res
C.13 Longueur de
type cha�ne
C.14 Nombre
d'�l�ments contenus dans une valeur structur�e
C.15 La fonction
"IsPresent"
C.16 La fonction
"IsChosen"
C.17 La fonction
"Regexp"
C.18 Conversion de cha�ne binaire en cha�ne de
caract�res
C.19 Conversion de cha�ne hexad�cimale en cha�ne de
caract�res
C.20 Conversion de cha�ne d'octets en cha�ne de
caract�res
C.21 Conversion de cha�ne de
caract�res en cha�ne d'octets
C.22 Conversion de cha�ne binaire en cha�ne
hexad�cimale
C.23 Conversion de cha�ne hexad�cimale en cha�ne
d'octets
C.24 Conversion de cha�ne binaire en cha�ne
d'octets
C.25 Conversion de cha�ne hexad�cimale en cha�ne
binaire
C.26 Conversion de cha�ne d'octets en cha�ne
hexad�cimale
C.27 Conversion de cha�ne d'octets en cha�ne
binaire
C.28 Conversion d'entier en nombre � virgule
flottante
C.29 Conversion de nombre � virgule flottante en
entier
C.30 La fonction de g�n�rateur de nombre
al�atoire
C.31 La fonction de
sous-cha�ne
C.32 Nombre
d'�l�ments dans un type structur�
C.33 Conversion de
cha�ne de caract�res en nombre � virgule flottante
C.34 La fonction
"Replace" (remplacement)
C.35 Conversion de
cha�ne d'octets en cha�ne de caract�res
C.36 Conversion de
cha�ne de caract�res en cha�ne d'octets
Annexe D (informative) � Vide
Annexe E (informative) � Biblioth�que de types
utiles
E.1 Limitations
E.2 Types utiles en notation TTCN-3
Annexe F (informative) � Op�rations sur des
objets actifs TTCN-3
F.1
G�n�ralit�s
F.2
Composants de
test
F.3
Temporisations
F.4
Ports
Annexe G (informative) � Caract�ristiques de langage
d�conseill�es
G.1
D�finition des param�tres de module fond�e sur des
groupes
G.2
Importation r�cursive
G.3
Utilisation du mot cl� all dans les d�finitions de type de
port
BIBLIOGRAPHIE