1 Domaine
d'application
2 Références
normatives
2.1 Recommandations | Normes
internationales identiques
2.2 Recommandations | Normes
internationales appariées, équivalentes par leur contenu technique
2.3 Références additionnelles
3 Définitions
3.1 Termes de base tirés de
la Rec. UIT-T X.290
3.2 Termes tirés de la Rec.
UIT-T X.200
3.3 Terme tiré de la Rec.
UIT-T X.210
3.4 Termes tirés de la Rec.
UIT-T X.680
3.5 Terme tiré de la Rec.
UIT-T X.690
3.6 Termes spécifiques à la
notation TTCN
4 Abréviations
4.1 Abréviations définies
dans la Rec. UIT-T X.290
4.2 Abréviations définies
dans la Rec. UIT-T X.291
4.3 Autres abréviations
5 Formes
syntaxiques de la notation TTCN
6 Conformité
7 Conventions
7.1 Introduction
7.2 Métanotation syntaxique
7.3 Formulaires tabulaires
en notation TTCN.GR
7.3.1 Introduction
7.3.2 Tables d'objets TTCN simples
7.3.3 Tables d'objets TTCN multiples
7.3.4 Autres tables compactes
7.3.5
Spécification des
formulaires
7.4 Texte libre et texte
libre borné
8 Concomitance en
notation TTCN
8.1 Composantes de test
8.2 Configurations des
composantes de test
9 Structure des
suites de tests TTCN
9.1 Introduction
9.2 Références de groupe de
tests
9.3 Références de groupe de
modules de test
9.4 Références de groupe de
comportements par défaut
9.5 Parties composantes
d'une suite de tests TTCN
10 Aperçu général de
la suite de tests
10.1 Introduction
10.2 Index de la suite de
tests
10.3 Structure de la suite de
tests
10.4 Index des tests
élémentaires
10.5 Index des modules de
test
10.6 Index des comportements
par défaut
10.7 Table d'exportation des
suites de tests
10.8 Partie importation
10.8.1 Introduction
10.8.2 Table d'importation
11 Partie déclarative
11.1 Introduction
11.2 Types TTCN
11.2.1 Introduction
11.2.2 Types TTCN prédéfinis
11.2.3 Définitions des types de suites de tests
11.3 Opérateurs et opérations
en notation TTCN
11.3.1 Introduction
11.3.2 Opérateurs en notation TTCN
11.3.3 Opérations prédéfinies
11.3.4 Définitions des opérations des suites de tests et
descriptions
11.4 Déclarations des
paramètres de suites de tests
11.5 Définition des
expressions de sélection de tests élémentaires
11.6 Déclaration des
constantes de suites de tests
11.7 Déclarations des
constantes de suites de tests par référence
11.8 Variables TTCN
11.8.1 Déclaration des variables de suites de tests
11.8.2 Liaison des variables de suites de tests
11.8.3 Déclarations des variables de test élémentaire
11.8.4 Liaison des variables de test élémentaire
11.9 Déclaration des types de
point PCO
11.10 Déclaration de points
PCO
11.11 Déclarations des points
de coordination (CP)
11.12 Déclarations des
temporisateurs
11.13 Déclaration des
composantes de test et des configurations
11.13.1 Composantes de test
11.13.2 Déclarations des configurations de composantes de
test
11.14 Définition des types de
primitives ASP
11.14.1 Introduction
11.14.2 Définition des types de primitives ASP à l'aide de
tables
11.14.3 Utilisation de types structurés dans les définitions
de types des primitives ASP
11.14.4 Définitions de types de primitives ASP à l'aide de
la notation ASN.1
11.14.5 Définitions par référence de types de primitives
ASP en notation ASN.1
11.15 Définition des types
d'unité PDU
11.15.1 Introduction
11.15.2 Définition des types d'unités PDU à l'aide de
tables
11.15.3 Utilisation de types structurés dans les
définitions d'unités PDU
11.15.4 Définition de
types d'unités PDU à l'aide de la notation ASN.1
11.15.5 Définitions par référence de types d'unités PDU en
notation ASN.1
11.16 Informations de codage
de suite de tests
11.16.1
Définitions de
codage
11.16.2 Variations de codage
11.16.3 Définitions de codage de champ non valides
11.16.4 Application des règles de codage
11.17 Définitions de types de
messages de coordination (CM)
11.17.1 Introduction
11.17.2 Définitions de types de messages CM à l'aide des
tables
11.17.3 Définitions de type de message CM à l'aide de la
notation ASN.1
11.18 Spécifications de
longueur des chaînes
11.19 Définition de primitives
ASP, d'unités PDU et de messages CM pour les événements SEND (envoi)
11.20 Définition de primitives
ASP, d'unités PDU et de messages CM pour les événements RECEIVE (réception)
11.21 Définitions des alias
(pseudonymes)
11.21.1 Introduction
11.21.2 Développement des alias
12 Partie contraintes
12.1 Introduction
12.2 Principes généraux
12.3
Paramétrage des contraintes
12.4 Chaînage des contraintes
12.5 Contraintes relatives
aux événements SEND (envoi)
12.6 Contraintes relatives
aux événements RECEIVE (réception)
12.6.1 Valeurs de concordance
12.6.2 Mécanismes de concordance
12.6.3 Spécificateurs de valeurs
12.6.4 Spécificateurs de substitution
12.6.5 Spécificateurs d'appartenance
12.6.6
Attributs de
valeurs
13 Spécification des contraintes à l'aide de tables
13.1 Introduction
13.2 Déclarations de
contraintes de type structuré
13.3 Déclaration des
contraintes de primitive ASP
13.4 Déclarations des
contraintes d'unité PDU
13.5 Paramétrage des
contraintes
13.6 Contraintes de base et
contraintes modifiées
13.7 Listes de paramètres
formels dans les contraintes modifiées
13.8 Déclaration des contraintes
des messages CM
14 Spécification des contraintes en notation ASN.1
14.1 Introduction
14.2 Déclarations des
contraintes des types en notation ASN.1
14.3 Déclarations de
contraintes de primitive ASP en notation ASN.1
14.4 Déclarations de
contraintes d'unités PDU en notation ASN.1
14.5 Paramétrage des
contraintes ASN.1
14.6 Contraintes ASN.1
modifiées
14.7 Listes des paramètres
formels dans des contraintes en notation ASN.1 modifiées
14.8 Noms des paramètres de
primitive ASP et des champs d'unité PDU dans les contraintes ASN.1
14.9 Déclarations de
contrainte de messages CM en notation ASN.1
15 La partie dynamique
15.1 Introduction
15.2 Comportement dynamique de test élémentaire
15.2.1 Spécification de la table de comportement
dynamique d'un test élémentaire
15.2.2 Formulaire de comportement dynamique de tests
élémentaires
15.2.3 Structure du
comportement d'un test élémentaire
15.2.4 Description du comportement d'un test élémentaire
concomitant
15.2.5 Numérotation et suite des lignes
15.3 Comportement dynamique des
modules de test
15.3.1 Spécification des tables de comportement dynamique
des modules de test
15.3.2 Formulaire de comportement dynamique d'un module
de test
15.4 Comportement dynamique
par défaut
15.4.1 Comportement par
défaut
15.4.2 Spécification des tables de comportement dynamique
par défaut
15.4.3 Formulaire de comportement dynamique par défaut
15.5 Description de comportement
15.6 Notation arborescente
15.7 Noms des arbres et
listes de paramètres
15.7.1 Introduction
15.7.2 Arbres paramétrés
15.8 Déclarations TTCN
15.9 Evénements de test TTCN
15.9.1 Evénements d'envoi et de réception
15.9.2 Evénements de réception
15.9.3 Evénements d'envoi
15.9.4 Durée de vie des événements
15.9.5 Exécution de l'arbre comportemental
15.9.6 Evénement IMPLICIT SEND (envoi implicite)
15.9.7 Evénement OTHERWISE (sinon)
15.9.8 Evénement OTHERWISE et notation TTCN concomitante
15.9.9 Evénement TIMEOUT (fin de temporisation)
15.9.10 Evénements et constructions en notation TTCN
concomitante
15.10 Expressions
15.10.1 Introduction
15.10.2 Références à des objets de données définis en
notation ASN.1
15.10.3 Références à des objets de données définis à
l'aide de tables
15.10.4 Affectations
15.10.5 Qualificateurs
15.10.6 Lignes d'événement comportant des affectations et
des qualificateurs
15.11 Pseudo-événements
15.12 Gestion des
temporisateurs
15.12.1 Introduction
15.12.2 Opération de déclenchement START
15.12.3 Opération CANCEL
(annulation)
15.12.4 Opération READTIMER (lecture de temporisateur)
15.13 Construction ATTACH
(rattachement)
15.13.1 Introduction
15.13.2 Visibilité des arbres après rattachement
15.13.3 Règles de base du rattachement des arbres
15.13.4 Signification du rattachement d'arbre
15.13.5 Transfert de contraintes paramétrées
15.13.6
Rattachement
récursif d'arbre
15.13.7 Rattachement d'arbre et comportements par défaut
15.14 Etiquettes et
construction GOTO (saut)
15.15 Construction REPEAT
(répétition)
15.16 Référence aux
contraintes
15.16.1 Objectif de la colonne référence aux contraintes
15.16.2 Transfert de paramètres dans des références à des
contraintes
15.16.3 Contraintes, qualificateurs et affectations
15.17 Verdicts
15.17.1 Introduction
15.17.2 Résultats préliminaires
15.17.3 Verdict final
15.17.4 Verdicts et déclaration OTHERWISE (sinon)
15.17.5 Affectation de verdict en notation TTCN
concomitante
15.18 Signification des
comportements par défaut
15.18.1 Introduction
15.18.2 Références aux comportements par défaut
15.18.3 Déclaration RETURN
15.18.4 Déclaration
ACTIVATE
15.18.5 Comportements par défaut et rattachement d'arbre
15.18.6 Rattachements d'arbre, comportements par défaut,
opérations Activate et Return
15.18.7 Comportements par
défaut et opération CREATE
15.18.8 Comportements par défaut et messages CM
16 Suite de page
Annexe A – Syntaxe et
sémantique statique de la notation TTCN
A.1 Introduction
A.2 Conventions appliquées à
la description de la syntaxe
A.2.1 Métanotation syntaxique
A.2.2 Définitions de la syntaxe de la notation TTCN.MP
A.3 Productions syntaxiques
en notation TTCN.MP dans la forme BNF
A.3.1 Spécification de
notation TTCN
A.3.2 Module TTCN
A.3.3 Suite de tests
A.4 Spécifications générales
de la sémantique statique
A.4.1 Introduction
A.4.2 Unicité des
identificateurs
A.5 Différences entre la
notation TTCN.GR et la notation TTCN.MP
A.5.1 Différences syntaxiques
A.5.2 Eléments additionnels de sémantique statique en
notation TTCN.MP
A.6 Liste des numéros de
production dans la forme BNF
Annexe B – Sémantique
opératoire de la notation TTCN
B.1 Introduction
B.2 Priorité
B.3 Traitement des erreurs
de test élémentaire
B.4
Conversion d'une suite de tests modulaire en une suite de tests développée
équivalente
B.5 Sémantique opératoire de
la notation TTCN
B.5.1 Introduction
B.5.2 Notation en pseudo-code
B.5.3 Exécution d'une
suite de tests
B.5.4 Exécution d'un test élémentaire
B.5.5 Développement d'un ensemble d'options
B.5.6 Evaluation d'une ligne d'événement
B.5.7 Fonctions
appliquées aux événements TTCN
B.5.8 Exécution de l'événement SEND
B.5.9 Exécution de l'événement RECEIVE
B.5.10 Exécution de l'événement OTHERWISE
B.5.11 Exécution de l'événement TIMEOUT
B.5.12 Exécution de l'événement DONE
B.5.13 Exécution de l'événement IMPLICIT SEND
B.5.14 Exécution d'un pseudo-event
B.5.15 Exécution des expressions BOOLEAN
(booléennes)
B.5.16 Exécution des ASSIGNMENTS (affectation)
B.5.17 Exécution des opérations TIMER
B.5.18 Fonctions appliquées aux constructions TTCN
B.5.19
Exécution de la
construction ACTIVATE
B.5.20 Exécution de la construction CREATE
B.5.21 Exécution de la construction GOTO
B.5.22 Exécution de la construction RETURN
B.5.23
Verdict
B.5.24 Journal de conformité (log)
B.5.25 Fonctions et procédures de traitement d'arbre
B.5.26 Fonctions diverses utilisées par le pseudo-code
Annexe C – Modules TTCN
C.1
Introduction
C.2 Partie aperçu général du
module TTCN
C.2.1 Introduction
C.2.2 Table d'exportation de module TTCN
C.2.3 Structure du
module TTCN
C.2.4 Index des tests élémentaires
C.2.5 Index des modules de test
C.2.6 Index des comportements par défaut
C.3 Partie importation
C.3.1 Introduction
C.3.2 Objets externes
C.3.3 Table d'importation
Annexe D – Index de suite
de tests
Annexe E – Formulaires compacts
E.1 Introduction
E.2 Formulaires compacts
pour les contraintes
E.2.1 Spécifications
E.2.2 Formulaires
compacts pour les contraintes des primitives ASP
E.2.3 Formulaires compacts pour les contraintes d'unité
PDU
E.2.4 Formulaires compacts utilisés pour les contraintes
de type structuré
E.2.5 Formulaires compacts pour les contraintes ASN.1
Page
E.3 Formulaire compact pour
les tests élémentaires
E.3.1 Spécifications
E.3.2 Formulaire compact pour les comportements
dynamiques de tests élémentaires
Annexe F – Exemples
F.1 Exemples de contraintes
sous forme tabulaire
F.1.1 Définitions de primitive ASP et d'unité PDU
F.1.2 Contraintes de primitive ASP/d'unité PDU
F.2 Exemples de contraintes
ASN.1
F.2.1 Définitions de primitive ASP et d'unité PDU
F.2.2 Contraintes de primitive ASP/d'unité PDU en
notation ASN.1
F.2.3 Autres exemples
de contraintes en notation ASN.1
F.3 Contraintes de base et
contraintes modifiées
F.4 Définitions de type
utilisant des macroinstructions
F.5 Utilisation de REPEAT
(répétition)
F.6 Opérations de suite de
tests
F.7 Exemple d'une
description générale de suite de tests
F.8 Exemple de test
élémentaire présenté en notation TTCN.MP
F.9 Utilisation de
références à des composantes pour l'affectation de valeurs de champ dans des
contraintes
F.10 Test multiparti
F.11 Multiplexage/démultiplexage
F.12 Eclatement et
recombinaison
F.13 Tests élémentaires
multiprotocolaires
F.14 Exemple de notation TTCN
modulaire
Annexe G – Guide
stylistique
G.1 Introduction
G.2 Structure du test
élémentaire
G.3 Utilisation de la
notation TTCN dans différentes méthodes de test abstraites
G.3.1 Introduction
G.3.2 Notation TTCN et
méthode de test monocouche locale (LS)
G.3.3 Notation TTCN et méthode de test monocouche
répartie (DS)
G.3.4 Notation TTCN et méthode de test monocouche
coordonnée (CS)
G.3.5 Notation TTCN et
méthode de test monocouche répartie (RS)
G.4 Utilisation des
comportements par défaut
G.5 Limitation du temps
d'exécution d'un test élémentaire
G.6 Types structurés
G.7 Abréviations
G.8 Descriptions de tests
G.9 Affectations relatives
aux événements SEND
G.10 Points PCO multiservices
Annexe H – Index
H.1 Introduction
H.2 Index