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