ITU-T Z 143 FRENCH-2006 Testing and Test Control Notation version 3 (TTCN-3) Operational semantics《测试和测试控制符号版本3(TTCN-3) 操作语义 17号研究组》.pdf

《ITU-T Z 143 FRENCH-2006 Testing and Test Control Notation version 3 (TTCN-3) Operational semantics《测试和测试控制符号版本3(TTCN-3) 操作语义 17号研究组》.pdf》由会员分享，可在线阅读，更多相关《ITU-T Z 143 FRENCH-2006 Testing and Test Control Notation version 3 (TTCN-3) Operational semantics《测试和测试控制符号版本3(TTCN-3) 操作语义 17号研究组》.pdf（130页珍藏版）》请在麦多课文档分享上搜索。

1、 Union internationale des tlcommunicationsUIT-T Z.143SECTEUR DE LA NORMALISATION DES TLCOMMUNICATIONS DE LUIT (03/2006) SRIE Z: LANGAGES ET ASPECTS GNRAUX LOGICIELS DES SYSTMES DE TLCOMMUNICATION Techniques de description formelle Notation de test et de commande de test Notation de test et de comman

2、de de test version 3 (TTCN-3): smantique oprationnelle Recommandation UIT-T Z.143 RECOMMANDATIONS UIT-T DE LA SRIE Z LANGAGES ET ASPECTS GNRAUX LOGICIELS DES SYSTMES DE TLCOMMUNICATION TECHNIQUES DE DESCRIPTION FORMELLE Langage de description et de spcification (SDL) Z.100Z.109 Application des techn

3、iques de description formelle Z.110Z.119 Diagrammes des squences de messages Z.120Z.129 Langage tendu de dfinition dobjets Z.130Z.139 Notation de test et de commande de test Z.140Z.149 Notation de prescriptions dutilisateur Z.150Z.159 LANGAGES DE PROGRAMMATION CHILL: le langage de haut niveau de lUI

4、T-T Z.200Z.209 LANGAGE HOMME-MACHINE Principes gnraux Z.300Z.309 Syntaxe de base et procdures de dialogue Z.310Z.319 LHM tendu pour terminaux crans de visualisation Z.320Z.329 Spcification de linterface homme-machine Z.330Z.349 Interfaces homme-machine orientes donnes Z.350Z.359 Interfaces homme-mac

5、hine pour la gestion des rseaux de tlcommunication Z.360Z.379 QUALIT Qualit des logiciels de tlcommunication Z.400Z.409 Aspects qualit des Recommandations relatives aux protocoles Z.450Z.459 MTHODES Mthodes de validation et dessai Z.500Z.519 INTERGICIELS Environnement de traitement rparti Z.600Z.609

6、 Pour plus de dtails, voir la Liste des Recommandations de lUIT-T. Rec. UIT-T Z.143 (03/2006) i Recommandation UIT-T Z.143 Notation de test et de commande de test version 3 (TTCN-3): smantique oprationnelle Rsum La prsente Recommandation dfinit la smantique oprationnelle de la notation de test et de

7、 commande de test version 3 (TTCN-3, testing and test control notation version 3). La smantique oprationnelle est ncessaire pour pouvoir interprter sans ambigut les spcifications en notation TTCN-3. La prsente Recommandation est fonde sur le langage noyau de la notation TTCN-3, qui est dfini dans la

8、 Rec. UIT-T Z.140. Source La Recommandation UIT-T Z.143 a t approuve le 16 mars 2006 par la Commission dtudes 17 (2005-2008) de lUIT-T selon la procdure dfinie dans la Recommandation UIT-T A.8. ii Rec. UIT-T Z.143 (03/2006) AVANT-PROPOS LUIT (Union internationale des tlcommunications) est une instit

9、ution spcialise des Nations Unies dans le domaine des tlcommunications. LUIT-T (Secteur de la normalisation des tlcommunications) est un organe 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 normal

10、isation des tlcommunications lchelle mondiale. LAssemble mondiale de normalisation des tlcommunications (AMNT), qui se runit tous les quatre ans, dtermine les thmes dtude traiter par les Commissions dtudes de lUIT-T, lesquelles laborent en retour des Recommandations sur ces thmes. Lapprobation des R

11、ecommandations par les Membres de lUIT-T seffectue selon la procdure dfinie dans la Rsolution 1 de lAMNT. Dans certains secteurs des technologies 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 pr

12、sente Recommandation, lexpression “Administration“ est utilise pour dsigner de faon abrge aussi bien une administration de tlcommunications quune exploitation reconnue. Le respect de cette Recommandation se fait titre volontaire. Cependant, il se peut que la Recommandation contienne certaines dispos

13、itions obligatoires (pour assurer, par exemple, linteroprabilit et lapplicabilit) et considre que la Recommandation est respecte lorsque toutes ces dispositions sont observes. Le futur dobligation et les autres moyens dexpression de lobligation comme le verbe “devoir“ ainsi que leurs formes ngatives

14、 servent noncer des prescriptions. Lutilisation de ces formes ne signifie pas quil est obligatoire de respecter la Recommandation. DROITS DE PROPRIT INTELLECTUELLE LUIT attire lattention sur la possibilit que lapplication ou la mise en uvre de la prsente Recommandation puisse donner lieu lutilisatio

15、n dun droit de proprit intellectuelle. LUIT ne prend pas position en ce qui concerne lexistence, la 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 dap

16、probation de la prsente Recommandation, lUIT navait pas t avise de lexistence dune proprit intellectuelle protge par des brevets acqurir pour mettre en uvre la prsente Recommandation. Toutefois, comme il ne sagit peut-tre pas des renseignements les plus rcents, il est vivement recommand aux dveloppe

17、urs de consulter la base de donnes des brevets du TSB sous http:/www.itu.int/ITU-T/ipr/. UIT 2007 Tous droits rservs. Aucune partie de cette publication ne peut tre reproduite, par quelque procd que ce soit, sans laccord crit pralable de lUIT. Rec. UIT-T Z.143 (03/2006) iii TABLE DES MATIRES Page 1

18、Domaine dapplication . 1 2 Rfrences 1 3 Dfinitions et abrviations 1 3.1 Dfinitions. 1 3.2 Abrviations 1 4 Introduction. 1 5 Structure de la prsente Recommandation . 2 6 Restrictions . 2 7 Remplacement des formes abrges . 2 7.1 Ordre des tapes de remplacement 3 7.2 Remplacement des constantes globale

19、s et des paramtres de module. 3 7.3 Imbrication des simples oprations de rception dans des instructions alt . 3 7.4 Imbrication des appels de variante autonomes dans des instructions alt 4 7.5 Remplacement des instructions interleave 4 7.6 Remplacement des oprations trigger 17 8 Smantique de la nota

20、tion TTCN-3 sur la base de graphes de flux 18 8.1 Graphes de flux 18 8.2 Reprsentation du comportement TTCN-3 sous forme de graphes de flux 23 8.3 Dfinition des tats concernant les modules TTCN-3 . 28 8.4 Messages, appels de procdure, rponses et exceptions. 37 8.5 Enregistrements dappel pour les fon

21、ctions, les variantes et les tests lmentaires. 39 8.6 Procdure dvaluation dun module TTCN-3 40 9 Segments de graphe de flux pour les constructions TTCN-3 41 9.1 Instruction action 42 9.2 Instruction activate 42 9.3 Instruction alt . 43 9.4 Appel de variante 49 9.5 Instruction assignment . 49 9.6 Opr

22、ation call. 49 9.7 Opration catch. 55 9.8 Opration check 55 9.9 Opration clear applicable aux ports . 59 9.10 Opration connect . 59 9.11 Dfinition dune constante. 60 9.12 Opration create 60 9.13 Instruction deactivate. 61 9.14 Opration disconnect . 63 9.15 Instruction do-while. 63 9.16 Opration done

23、 applicable aux composants 64 9.17 Instruction execute 65 9.18 Expression. 68 9.18b Segment de graphe de flux 70 9.19 Segment de graphe de flux 70 9.20 Segment de graphe de flux 71 9.21 Segment de graphe de flux . 71 9.22 Segment de graphe de flux 72 9.23 Instruction for. 73 9.24 Appel de fonction 7

24、4 9.25 Opration getcall. 78 9.26 Opration getreply. 78 9.27 Opration getverdict 79 9.28 Instruction goto. 79 iv Rec. UIT-T Z.143 (03/2006) Page 9.29 Instruction if-else 80 9.30 Instruction label 80 9.31 Instruction log 81 9.32 Opration map 81 9.33 Opration mtc. 82 9.34 Dclaration de port 82 9.35 Opr

25、ation raise . 83 9.36 Opration read applicable aux temporisations . 85 9.37 Opration receive 86 9.38 Instruction repeat 89 9.39 Opration reply. 89 9.40 Instruction return 91 9.41 Opration running applicable aux composants 93 9.42 Opration running applicable aux temporisations. 96 9.43 Opration self.

26、 97 9.44 Opration send . 98 9.45 Opration setverdict. 100 9.46 Opration start applicable aux composants . 101 9.47 Opration start applicable aux ports 103 9.48 Opration start applicable aux temporisations . 103 9.49 Opration stop applicable aux composants . 105 9.50 Instruction stop applicable lexcu

27、tion. 109 9.51 Opration stop applicable aux ports 110 9.52 Opration stop applicable aux temporisations . 111 9.53 Opration system 111 9.54 Dclaration dune temporisation . 112 9.55 Opration timeout applicable aux temporisations. 113 9.56 Opration unmap 114 9.57 Dclaration dune variable. 115 9.58 Inst

28、ruction while . 116 10 Listes des composantes de la smantique oprationnelle. 117 10.1 Fonctions et tats 117 10.2 Mots cls spciaux 119 10.3 Graphes de flux des descriptions de comportement TTCN-3 120 10.4 Segments de graphe de flux. 120 Rec. UIT-T Z.143 (03/2006) 1 Recommandation UIT-T Z.143 Notation

29、 de test et de commande de test version 3 (TTCN-3): smantique oprationnelle 1 Domaine dapplication La prsente Recommandation dfinit la smantique oprationnelle de la notation TTCN-3. Elle est fonde sur le langage noyau de la notation TTCN-3, qui est dfini dans la Rec. UIT-T Z.140 1. 2 Rfrences Les Re

30、commandations UIT-T et autres rfrences suivantes contiennent des dispositions qui, par suite de la rfrence qui y est faite, constituent des dispositions de la prsente Recommandation. Au moment de la publication, les ditions indiques taient en vigueur. Les Recommandations et autres rfrences tant suje

31、ttes rvision, les utilisateurs de la prsente Recommandation sont invits rechercher la possibilit dappliquer les ditions les plus rcentes des Recommandations et autres rfrences numres ci-dessous. Une liste des Recommandations UIT-T en vigueur est publie priodiquement. La rfrence un document figurant

32、dans la prsente Recommandation ne donne pas ce document en tant que tel le statut de Recommandation. 1 Recommandation UIT-T Z.140 (2006), Notation de test et de commande de test version 3 (TTCN-3): langage noyau. 3 Dfinitions et abrviations 3.1 Dfinitions Dans la prsente Recommandation, les termes e

33、t dfinitions figurant dans la Rec. UIT-T Z.140 1 sappliquent. 3.2 Abrviations La prsente Recommandation utilise les abrviations suivantes: ASN.1 notation de syntaxe abstraite numro un (abstract syntax notation one) BNF formalisme de Backus-Naur (Backus-Naur form) IDL langage de description dinterfac

34、e (interface description language) MTC composant de test principal (master test component) SUT systme sous test (system under test) TTCN notation de test et de commande de test (testing and test control notation) 4 Introduction Le prsent paragraphe dfinit la signification du comportement TTCN-3 de m

35、anire intuitive et non ambigu. La smantique oprationnelle nest pas cense tre formelle, do la capacit trs limite de raliser des preuves mathmatiques sur la base de cette smantique. Cette smantique oprationnelle donne une vue de lexcution dun module TTCN sur la base dtats. On dfinit diffrents types dt

36、at et on dcrit la signification des diffrentes constructions TTCN-3 1) en utilisant des informations dtat pour dfinir les conditions pralables lexcution dune construction; 2) en dfinissant la manire dont lexcution dune construction fera passer un autre tat. La smantique oprationnelle est restreinte

37、la signification du comportement TTCN-3, autrement dit les fonctions, les variantes, les tests lmentaires, la commande de module et les constructions de langage pour la dfinition dun comportement de test, par exemple les oprations send et receive, les instructions if-else ou while. Pour expliquer la

38、 signification de certaines constructions TTCN-3, on les remplace par dautres constructions de langage. Par exemple, linstruction interleave, qui correspond la forme abrge dune srie dinstructions alt imbriques, est remplace par cette srie lorsquil sagit dexpliquer sa signification. 2 Rec. UIT-T Z.14

39、3 (03/2006) Dans la plupart des cas, la dfinition de la smantique dun langage est fonde sur une arborescence de la syntaxe abstraite du code qui doit tre dcrit. Cette smantique ne repose pas sur une arborescence de la syntaxe abstraite mais sur une reprsentation graphique des descriptions de comport

40、ement TTCN-3 sous la forme de graphes de flux. Un graphe de flux dcrit le flux de commande dune fonction, dune variante, dun test lmentaire ou de la commande de module. Le mappage des descriptions de comportement TTCN-3 vers des graphes de flux est immdiat. NOTE Le mappage des instructions TTCN-3 ve

41、rs des graphes de flux est une tape non formelle et nest pas dfini au moyen des rgles BNF nonces dans la Rec. UIT-T Z.140 1. En effet, les rgles BNF ne sont pas optimales pour un mappage intuitif car plusieurs rgles de smantique statique sont codes sous forme de rgles BNF afin de pouvoir procder des

42、 contrles de la smantique statique pendant la vrification de la syntaxe. 5 Structure de la prsente Recommandation La prsente Recommandation comporte quatre parties: 1) la premire partie (voir 6) dcrit les restrictions de la smantique oprationnelle, autrement dit les questions relatives la smantique

43、qui ne sont pas traites dans la prsente Recommandation; 2) la deuxime partie (voir 7) dfinit la signification des notations abrges et des macronotations TTCN-3 en les remplaant par dautres constructions de langage TTCN-3. La ralisation de ces remplacements dans un module TTCN-3 peut tre considre com

44、me une tape de prtraitement avant que le module puisse tre interprt conformment la description de la smantique oprationnelle qui suit; 3) la troisime partie (voir 8) dcrit la smantique oprationnelle de la notation TTCN-3 au moyen de linterprtation de graphes de flux et de la modification dtats; 4) l

45、a quatrime partie (voir 9) spcifie le mappage des diffrentes instructions TTCN-3 vers des segments de graphe de flux, qui constituent les lments de base des graphes de flux reprsentant les fonctions, les variantes, les tests lmentaires et la commande de module. 6 Restrictions La smantique oprationne

46、lle porte uniquement sur les aspects de la notation TTCN-3 lis au comportement, autrement dit elle dcrit la signification des instructions et des oprations. Aucune smantique nest dfinie: a) pour les aspects de la notation TTCN-3 lis aux donnes (par exemple le codage, le dcodage et lutilisation des d

47、onnes importes partir de spcifications non TTCN-3). b) pour le mcanisme de regroupement. En ce qui concerne le regroupement, qui se rapporte la partie dfinitions dun module TTCN-3, il ny a pas daspects lis au comportement. c) pour linstruction import. Limportation de dfinitions doit se faire dans la partie dfinitions dun module TTCN-3. La smantique oprationnelle traite les dfinitions importes comme si elles taient dfinies dans le module dimportation. d) pour le paramtrage des ports. 7 Remplacement des formes abrges Les formes abrges doivent tre dveloppes sous la forme des dfinitions compltes