ITU-T X 292 FRENCH-2002 OSI conformance testing methodology and framework for protocol Recommendations for ITU-T applications C The Tree and Tabular Combined Notation (TTCN)《开放系统互连.pdf

《ITU-T X 292 FRENCH-2002 OSI conformance testing methodology and framework for protocol Recommendations for ITU-T applications C The Tree and Tabular Combined Notation (TTCN)《开放系统互连.pdf》由会员分享，可在线阅读，更多相关《ITU-T X 292 FRENCH-2002 OSI conformance testing methodology and framework for protocol Recommendations for ITU-T applications C The Tree and Tabular Combined Notation (TTCN)《开放系统互连.pdf（254页珍藏版）》请在麦多课文档分享上搜索。

1、 UNION INTERNATIONALE DES TLCOMMUNICATIONS UIT-T X.292SECTEUR DE LA NORMALISATION DES TLCOMMUNICATIONS DE LUIT (05/2002) SRIE X: RSEAUX DE DONNES ET COMMUNICATION ENTRE SYSTMES OUVERTS Interconnexion des systmes ouverts Tests de conformit Cadre et mthodologie des tests de conformit OSI pour les Reco

2、mmandations sur les protocoles pour les applications de lUIT-T Notation combine arborescente et tabulaire (TTCN) Recommandation UIT-T X.292 RECOMMANDATIONS UIT-T DE LA SRIE X RSEAUX DE DONNES ET COMMUNICATION ENTRE SYSTMES OUVERTS RSEAUX PUBLICS DE DONNES Services et fonctionnalits X.1X.19 Interface

3、s X.20X.49 Transmission, signalisation et commutation X.50X.89 Aspects rseau X.90X.149 Maintenance X.150X.179 Dispositions administratives X.180X.199 INTERCONNEXION DES SYSTMES OUVERTS Modle et notation X.200X.209 Dfinitions des services X.210X.219 Spcifications des protocoles en mode connexion X.22

4、0X.229 Spcifications des protocoles en mode sans connexion X.230X.239 Formulaires PICS X.240X.259 Identification des protocoles X.260X.269 Protocoles de scurit X.270X.279 Objets grs des couches X.280X.289 Tests de conformit X.290X.299 INTERFONCTIONNEMENT DES RSEAUX Gnralits X.300X.349 Systmes de tra

5、nsmission de donnes par satellite X.350X.369 Rseaux protocole Internet X.370X.399 SYSTMES DE MESSAGERIE X.400X.499 ANNUAIRE X.500X.599 RSEAUTAGE OSI ET ASPECTS SYSTMES Rseautage X.600X.629 Efficacit X.630X.639 Qualit de service X.640X.649 Dnomination, adressage et enregistrement X.650X.679 Notation

6、de syntaxe abstraite numro un (ASN.1) X.680X.699 GESTION OSI Cadre gnral et architecture de la gestion-systmes X.700X.709 Service et protocole de communication de gestion X.710X.719 Structure de linformation de gestion X.720X.729 Fonctions de gestion et fonctions ODMA X.730X.799 SCURIT X.800X.849 AP

7、PLICATIONS OSI Engagement, concomitance et rtablissement X.850X.859 Traitement transactionnel X.860X.879 Oprations distantes X.880X.899 TRAITEMENT RPARTI OUVERT X.900X.999 Pour plus de dtails, voir la Liste des Recommandations de lUIT-T. Rec. UIT-T X.292 (05/2002) i Recommandation UIT-T X.292 Cadre

8、et mthodologie des tests de conformit OSI pour les Recommandations sur les protocoles pour les applications de lUIT-T Notation combine arborescente et tabulaire (TTCN) Rsum La prsente Recommandation dfinit une notation informelle de tests, appele notation combine arborescente et tabulaire (TTCN, tre

9、e and tabular combined notation), destine tre utilise pour spcifier des suites de tests de conformit abstraites OSI. Cette notation est indpendante des mthodes de test, des couches et des protocoles et reflte la mthodologie de test abstraite dfinie dans les Recommandations UIT-T X.290 et X.291. La p

10、rsente dition, qui tient compte des corrections apportes aux erreurs signales, est lquivalent de la norme TR 101 666 de lETSI, galement connue en tant que notation TTCN2+. Source La Recommandation X.292 de lUIT-T, labore par la Commission dtudes 17 (2001-2004) de lUIT-T, a t approuve le 14 mai 2002,

11、 selon la procdure dfinie dans la Rsolution 1 de lAMNT. ii Rec. UIT-T X.292 (05/2002) AVANT-PROPOS LUIT (Union internationale des tlcommunications) est une institution spcialise des Nations Unies dans le domaine des tlcommunications. LUIT-T (Secteur de la normalisation des tlcommunications) est un o

12、rgane permanent de lUIT. Il est charg de ltude des questions techniques, dexploitation et de tarification, et met ce sujet des Recommandations en vue de la normalisation des tlcommunications lchelle mondiale. LAssemble mondiale de normalisation des tlcommunications (AMNT), qui se runit tous les quat

13、re ans, dtermine les thmes dtude traiter par les Commissions dtudes de lUIT-T, lesquelles laborent en retour des Recommandations sur ces thmes. Lapprobation des Recommandations par les Membres de lUIT-T seffectue selon la procdure dfinie dans la Rsolution 1 de lAMNT. Dans certains secteurs des techn

14、ologies de linformation qui correspondent la sphre de comptence de lUIT-T, les normes ncessaires se prparent en collaboration avec lISO et la CEI. NOTE Dans la prsente Recommandation, lexpression “Administration“ est utilise pour dsigner de faon abrge aussi bien une administration de tlcommunication

15、s quune exploitation reconnue. DROITS DE PROPRIT INTELLECTUELLE LUIT attire lattention sur la possibilit que lapplication ou la mise en uvre de la prsente Recommandation puisse donner lieu lutilisation dun droit de proprit intellectuelle. LUIT ne prend pas position en ce qui concerne lexistence, la

16、validit ou lapplicabilit des droits de proprit intellectuelle, quils soient revendiqus par un Membre de lUIT ou par une tierce partie trangre la procdure dlaboration des Recommandations. A la date dapprobation de la prsente Recommandation, lUIT navait pas t avise de lexistence dune proprit intellect

17、uelle protge par des brevets acqurir pour mettre en uvre la prsente Recommandation. Toutefois, comme il ne sagit peut-tre pas de renseignements les plus rcents, il est vivement recommand aux responsables de la mise en uvre de consulter la base de donnes des brevets du TSB. UIT 2003 Tous droits rserv

18、s. Aucune partie de cette publication ne peut tre reproduite, par quelque procd que ce soit, sans laccord crit pralable de lUIT. Rec. UIT-T X.292 (05/2002) iii TABLE DES MATIRES Page 1 Domaine dapplication 1 2 Rfrences normatives 2 2.1 Recommandations | Normes internationales identiques 2 2.2 Recomm

19、andations | Normes internationales apparies, quivalentes par leur contenu technique 3 2.3 Rfrences additionnelles 3 3 Dfinitions 3 3.1 Termes de base tirs de la Rec. UIT-T X.290 . 3 3.2 Termes tirs de la Rec. UIT-T X.200 5 3.3 Terme tir de la Rec. UIT-T X.210. 5 3.4 Termes tirs de la Rec. UIT-T X.68

20、0 5 3.5 Terme tir de la Rec. UIT-T X.690. 5 3.6 Termes spcifiques la notation TTCN 5 4 Abrviations . 9 4.1 Abrviations dfinies dans la Rec. UIT-T X.290 9 4.2 Abrviations dfinies dans la Rec. UIT-T X.291 10 4.3 Autres abrviations 10 5 Formes syntaxiques de la notation TTCN 11 6 Conformit . 11 7 Conve

21、ntions 12 7.1 Introduction. 12 7.2 Mtanotation syntaxique . 12 7.3 Formulaires tabulaires en notation TTCN.GR 12 7.3.1 Introduction. 12 7.3.2 Tables dobjets TTCN simples 13 7.3.3 Tables dobjets TTCN multiples 14 7.3.4 Autres tables compactes 14 7.3.5 Spcification des formulaires 14 7.4 Texte libre e

22、t texte libre born 15 8 Concomitance en notation TTCN. 15 8.1 Composantes de test 15 8.2 Configurations des composantes de test 15 9 Structure des suites de tests TTCN. 16 9.1 Introduction. 16 9.2 Rfrences de groupe de tests . 17 9.3 Rfrences de groupe de modules de test 17 9.4 Rfrences de groupe de

23、 comportements par dfaut. 17 9.5 Parties composantes dune suite de tests TTCN 17 10 Aperu gnral de la suite de tests 18 10.1 Introduction. 18 10.2 Index de la suite de tests 18 10.3 Structure de la suite de tests 19 10.4 Index des tests lmentaires 20 10.5 Index des modules de test 21 10.6 Index des

24、comportements par dfaut. 22 10.7 Table dexportation des suites de tests. 23 10.8 Partie importation 24 10.8.1 Introduction. 24 10.8.2 Table dimportation . 24 11 Partie dclarative 25 11.1 Introduction. 25 11.2 Types TTCN . 26 11.2.1 Introduction. 26 iv Rec. UIT-T X.292 (05/2002) Page 11.2.2 Types TTC

25、N prdfinis. 26 11.2.3 Dfinitions des types de suites de tests . 28 11.3 Oprateurs et oprations en notation TTCN 33 11.3.1 Introduction. 33 11.3.2 Oprateurs en notation TTCN. 33 11.3.3 Oprations prdfinies 34 11.3.4 Dfinitions des oprations des suites de tests et descriptions 36 11.4 Dclarations des p

26、aramtres de suites de tests 41 11.5 Dfinition des expressions de slection de tests lmentaires. 42 11.6 Dclaration des constantes de suites de tests. 43 11.7 Dclarations des constantes de suites de tests par rfrence . 44 11.8 Variables TTCN 44 11.8.1 Dclaration des variables de suites de tests. 44 11

27、.8.2 Liaison des variables de suites de tests . 45 11.8.3 Dclarations des variables de test lmentaire 45 11.8.4 Liaison des variables de test lmentaire 46 11.9 Dclaration des types de point PCO 46 11.10 Dclaration de points PCO 47 11.11 Dclarations des points de coordination (CP) . 49 11.12 Dclarati

28、ons des temporisateurs 50 11.13 Dclaration des composantes de test et des configurations. 51 11.13.1 Composantes de test 51 11.13.2 Dclarations des configurations de composantes de test. 52 11.14 Dfinition des types de primitives ASP 54 11.14.1 Introduction. 54 11.14.2 Dfinition des types de primiti

29、ves ASP laide de tables . 54 11.14.3 Utilisation de types structurs dans les dfinitions de types des primitives ASP 55 11.14.4 Dfinitions de types de primitives ASP laide de la notation ASN.1 56 11.14.5 Dfinitions par rfrence de types de primitives ASP en notation ASN.1 56 11.15 Dfinition des types

30、dunit PDU 57 11.15.1 Introduction. 57 11.15.2 Dfinition des types dunits PDU laide de tables . 57 11.15.3 Utilisation de types structurs dans les dfinitions dunits PDU . 59 11.15.4 Dfinition de types dunits PDU laide de la notation ASN.1 . 59 11.15.5 Dfinitions par rfrence de types dunits PDU en not

31、ation ASN.1 61 11.16 Informations de codage de suite de tests. 62 11.16.1 Dfinitions de codage 62 11.16.2 Variations de codage. 63 11.16.3 Dfinitions de codage de champ non valides 64 11.16.4 Application des rgles de codage 65 11.17 Dfinitions de types de messages de coordination (CM) 67 11.17.1 Int

32、roduction. 67 11.17.2 Dfinitions de types de messages CM laide des tables 67 11.17.3 Dfinitions de type de message CM laide de la notation ASN.1. 68 11.18 Spcifications de longueur des chanes. 68 11.19 Dfinition de primitives ASP, dunits PDU et de messages CM pour les vnements SEND (envoi) 69 11.20

33、Dfinition de primitives ASP, dunits PDU et de messages CM pour les vnements RECEIVE (rception) . 70 11.21 Dfinitions des alias (pseudonymes). 70 11.21.1 Introduction. 70 11.21.2 Dveloppement des alias. 70 12 Partie contraintes 71 12.1 Introduction. 71 12.2 Principes gnraux 71 12.3 Paramtrage des con

34、traintes 72 12.4 Chanage des contraintes. 72 12.5 Contraintes relatives aux vnements SEND (envoi) 73 Rec. UIT-T X.292 (05/2002) v Page 12.6 Contraintes relatives aux vnements RECEIVE (rception) . 73 12.6.1 Valeurs de concordance 73 12.6.2 Mcanismes de concordance. 73 12.6.3 Spcificateurs de valeurs.

35、 74 12.6.4 Spcificateurs de substitution 75 12.6.5 Spcificateurs dappartenance . 77 12.6.6 Attributs de valeurs . 78 13 Spcification des contraintes laide de tables. 79 13.1 Introduction. 79 13.2 Dclarations de contraintes de type structur 79 13.3 Dclaration des contraintes de primitive ASP. 81 13.4

36、 Dclarations des contraintes dunit PDU . 81 13.5 Paramtrage des contraintes 83 13.6 Contraintes de base et contraintes modifies. 83 13.7 Listes de paramtres formels dans les contraintes modifies 84 13.8 Dclaration des contraintes des messages CM 84 14 Spcification des contraintes en notation ASN.1 8

37、4 14.1 Introduction. 84 14.2 Dclarations des contraintes des types en notation ASN.1 . 85 14.3 Dclarations de contraintes de primitive ASP en notation ASN.1 86 14.4 Dclarations de contraintes dunits PDU en notation ASN.1. 86 14.5 Paramtrage des contraintes ASN.1 87 14.6 Contraintes ASN.1 modifies 87

38、 14.7 Listes des paramtres formels dans des contraintes en notation ASN.1 modifies . 88 14.8 Noms des paramtres de primitive ASP et des champs dunit PDU dans les contraintes ASN.1 88 14.9 Dclarations de contrainte de messages CM en notation ASN.1 89 15 La partie dynamique. 89 15.1 Introduction. 89 1

39、5.2 Comportement dynamique de test lmentaire . 89 15.2.1 Spcification de la table de comportement dynamique dun test lmentaire . 89 15.2.2 Formulaire de comportement dynamique de tests lmentaires 90 15.2.3 Structure du comportement dun test lmentaire . 90 15.2.4 Description du comportement dun test

40、lmentaire concomitant. 91 15.2.5 Numrotation et suite des lignes . 91 15.3 Comportement dynamique des modules de test 92 15.3.1 Spcification des tables de comportement dynamique des modules de test 92 15.3.2 Formulaire de comportement dynamique dun module de test 93 15.4 Comportement dynamique par d

41、faut . 93 15.4.1 Comportement par dfaut 93 15.4.2 Spcification des tables de comportement dynamique par dfaut. 93 15.4.3 Formulaire de comportement dynamique par dfaut. 94 15.5 Description de comportement . 94 15.6 Notation arborescente 94 15.7 Noms des arbres et listes de paramtres 95 15.7.1 Introd

42、uction. 95 15.7.2 Arbres paramtrs . 95 15.8 Dclarations TTCN . 96 15.9 Evnements de test TTCN. 96 15.9.1 Evnements denvoi et de rception 96 15.9.2 Evnements de rception. 96 15.9.3 Evnements denvoi. 97 15.9.4 Dure de vie des vnements 97 15.9.5 Excution de larbre comportemental 98 15.9.6 Evnement IMPL

43、ICIT SEND (envoi implicite) 100 15.9.7 Evnement OTHERWISE (sinon) 101 15.9.8 Evnement OTHERWISE et notation TTCN concomitante . 102 15.9.9 Evnement TIMEOUT (fin de temporisation) 102 vi Rec. UIT-T X.292 (05/2002) Page 15.9.10 Evnements et constructions en notation TTCN concomitante. 102 15.10 Expres

44、sions . 103 15.10.1 Introduction. 103 15.10.2 Rfrences des objets de donnes dfinis en notation ASN.1 103 15.10.3 Rfrences des objets de donnes dfinis laide de tables 106 15.10.4 Affectations. 106 15.10.5 Qualificateurs 107 15.10.6 Lignes dvnement comportant des affectations et des qualificateurs . 1

45、07 15.11 Pseudo-vnements. 108 15.12 Gestion des temporisateurs 108 15.12.1 Introduction. 108 15.12.2 Opration de dclenchement START . 109 15.12.3 Opration CANCEL (annulation) . 109 15.12.4 Opration READTIMER (lecture de temporisateur) 109 15.13 Construction ATTACH (rattachement). 110 15.13.1 Introdu

46、ction. 110 15.13.2 Visibilit des arbres aprs rattachement 110 15.13.3 Rgles de base du rattachement des arbres . 110 15.13.4 Signification du rattachement darbre 111 15.13.5 Transfert de contraintes paramtres. 113 15.13.6 Rattachement rcursif darbre 113 15.13.7 Rattachement darbre et comportements p

47、ar dfaut. 114 15.14 Etiquettes et construction GOTO (saut) 114 15.15 Construction REPEAT (rptition) . 115 15.16 Rfrence aux contraintes . 116 15.16.1 Objectif de la colonne rfrence aux contraintes 116 15.16.2 Transfert de paramtres dans des rfrences des contraintes . 116 15.16.3 Contraintes, qualifi

48、cateurs et affectations . 117 15.17 Verdicts 117 15.17.1 Introduction. 117 15.17.2 Rsultats prliminaires 117 15.17.3 Verdict final 118 15.17.4 Verdicts et dclaration OTHERWISE (sinon) 118 15.17.5 Affectation de verdict en notation TTCN concomitante . 119 15.18 Signification des comportements par dfaut . 1