ETSI ES 201 873-4-2016 Methods for Testing and Specification (MTS) The Testing and Test Control Notation version 3 Part 4 TTCN-3 Operational Semantics (V4 5 1)《测试方法和规范(MTS) 第3版测试和测.pdf

1、 ETSI ES 201 873-4 V4.5.1 (2016-07) Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 4: TTCN-3 Operational Semantics ETSI STANDARD ETSI ETSI ES 201 873-4 V4.5.1 (2016-07)2 Reference RES/MTS-201873-4 T3 ed451 OS Keywords language, testing, TTCN ETSI 6

2、50 Route des Lucioles F-06921 Sophia Antipolis Cedex - FRANCE Tel.: +33 4 92 94 42 00 Fax: +33 4 93 65 47 16 Siret N 348 623 562 00017 - NAF 742 C Association but non lucratif enregistre la Sous-Prfecture de Grasse (06) N 7803/88 Important notice The present document can be downloaded from: http:/ww

3、w.etsi.org/standards-search The present document may be made available in electronic versions and/or in print. The content of any electronic and/or print versions of the present document shall not be modified without the prior written authorization of ETSI. In case of any existing or perceived diffe

4、rence in contents between such versions and/or in print, the only prevailing document is the print of the Portable Document Format (PDF) version kept on a specific network drive within ETSI Secretariat. Users of the present document should be aware that the document may be subject to revision or cha

5、nge of status. Information on the current status of this and other ETSI documents is available at https:/portal.etsi.org/TB/ETSIDeliverableStatus.aspx If you find errors in the present document, please send your comment to one of the following services: https:/portal.etsi.org/People/CommiteeSupportS

6、taff.aspx Copyright Notification No part may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying and microfilm except as authorized by written permission of ETSI. The content of the PDF version shall not be modified without the written authorizatio

7、n of ETSI. The copyright and the foregoing restriction extend to reproduction in all media. European Telecommunications Standards Institute 2016. All rights reserved. DECTTM, PLUGTESTSTM, UMTSTMand the ETSI logo are Trade Marks of ETSI registered for the benefit of its Members. 3GPPTM and LTE are Tr

8、ade Marks of ETSI registered for the benefit of its Members and of the 3GPP Organizational Partners. GSM and the GSM logo are Trade Marks registered and owned by the GSM Association. ETSI ETSI ES 201 873-4 V4.5.1 (2016-07)3 Contents Intellectual Property Rights 8g3Foreword . 8g3Modal verbs terminolo

9、gy 8g31 Scope 9g32 References 9g32.1 Normative references . 9g32.2 Informative references 9g33 Definitions and abbreviations . 9g33.1 Definitions 9g33.2 Abbreviations . 9g34 Introduction 10g35 Structure of the present document 10g36 Restrictions . 10g37 Replacement of short forms . 11g37.0 General .

10、 11g37.1 Order of replacement steps . 12g37.2 Replacement of global constants and module parameters 12g37.3 Embedding single receiving operations into alt statements 12g37.4 Embedding stand-alone altstep calls into alt statements . 13g37.5 Replacement of interleave statements 13g37.6 Replacement of

11、trigger operations 26g37.7 Replacement of select-case statements . 26g37.8 Replacement of simple break statements 28g37.9 Replacement of continue statements 28g37.10 Adding default parameters to disconnect and unmap operations without parameters 29g37.11 Adding default values of parameters 29g38 Flo

12、w graph semantics of TTCN-3 29g38.0 General . 29g38.1 Flow graphs 30g38.1.0 General 30g38.1.1 Flow graph frame 30g38.1.2 Flow graph nodes 30g38.1.2.0 General 30g38.1.2.1 Start nodes . 30g38.1.2.2 End nodes 30g38.1.2.3 Basic nodes . 30g38.1.2.4 Reference nodes 31g38.1.2.4.0 General 31g38.1.2.4.1 OR c

13、ombination of reference nodes 31g38.1.2.4.2 Multiple occurrences of reference nodes . 31g38.1.3 Flow lines . 32g38.1.4 Flow graph segments 33g38.1.5 Comments . 33g38.1.6 Handling of flow graph descriptions . 34g38.2 Flow graph representation of TTCN-3 behaviour 34g38.2.0 General 34g38.2.1 Flow graph

14、 construction procedure 34g38.2.2 Flow graph representation of module control . 35g38.2.3 Flow graph representation of test cases 36g38.2.4 Flow graph representation of functions 36g38.2.5 Flow graph representation of altsteps . 37g38.2.6 Flow graph representation of component type definitions 38g3E

15、TSI ETSI ES 201 873-4 V4.5.1 (2016-07)4 8.2.7 Retrieval of start nodes of flow graphs . 39g38.3 State definitions for TTCN-3 modules . 39g38.3.0 General 39g38.3.1 Module state 40g38.3.1.0 General 40g38.3.1.1 Accessing the module state . 40g38.3.1a Configuration state 40g38.3.1a.0 Genral 40g38.3.1a.1

16、 Accessing the configuration state 40g38.3.2 Entity states . 41g38.3.2.0 General 41g38.3.2.1 Accessing entity states 43g38.3.2.2 Data state and variable binding . 44g38.3.2.3 Accessing data states . 45g38.3.2.4 Timer state and timer binding . 45g38.3.2.5 Accessing timer states . 46g38.3.2.6 Port ref

17、erences and port binding . 47g38.3.2.7 Accessing port references . 48g38.3.3 Port states 48g38.3.3.0 General 48g38.3.3.1 Handling of connections among ports . 49g38.3.3.2 Handling of port states 49g38.3.3a Component verdict states 50g38.3.4 General functions for the handling of module states 50g38.4

18、 Messages, procedure calls, replies and exceptions . 51g38.4.0 General 51g38.4.1 Messages. 51g38.4.2 Procedure calls and replies . 51g38.4.3 Exceptions. 52g38.4.4 Construction of messages, procedure calls, replies and exceptions 52g38.4.5 Matching of messages, procedure calls, replies and exceptions

19、 . 52g38.4.6 Retrieval of information from received items . 53g38.5 Call records for functions, altsteps and test cases . 53g38.5.0 General 53g38.5.1 Handling of call records 53g38.6 The evaluation procedure for a TTCN-3 module . 54g38.6.1 Evaluation phases . 54g38.6.1.0 General 54g38.6.1.1 Phase I:

20、 Initialization. 54g38.6.1.2 Phase II: Update 55g38.6.1.3 Phase III: Selection . 55g38.6.1.4 Phase IV: Execution 55g38.6.2 Global functions 56g39 Flow graph segments for TTCN-3 constructs 56g39.0 General . 56g39.1 Action statement . 56g39.2 Activate statement 57g39.2a Alive component operation 58g39

21、.2a.0 General 58g39.2a.1 Flow graph segment 60g39.2a.2 Flow graph segment 61g39.3 Alt statement 61g39.3.0 General 61g39.3.1 Flow graph segment 63g39.3.2 Flow graph segment . 64g39.3.3 Flow graph segment . 65g39.3.4 Flow graph segment 66g39.3.5 Flow graph segment . 67g39.4 Altstep call 68g39.5 Assign

22、ment statement . 68g39.5a Break statements in altsteps 68g3ETSI ETSI ES 201 873-4 V4.5.1 (2016-07)5 9.6 Call operation . 69g39.6.0 General 69g39.6.1 Flow graph segment 71g39.6.1a Flow graph segment . 71g39.6.2 Flow graph segment 73g39.6.3 Flow graph segment . 73g39.6.4 Flow graph segment 74g39.6.5 F

23、low graph segment . 75g39.6.6 Flow graph segment 76g39.7 Catch operation 76g39.8 Check operation 77g39.8.0 General 77g39.8.1 Flow graph segment . 78g39.8.2 Flow graph segment 79g39.8a Checkstate port operation . 80g39.8a.0 General 80g39.8a.1 Flow graph segment . 81g39.8a.2 Flow graph segment . 81g39

24、.9 Clear port operation 83g39.10 Connect operation. 83g39.11 Constant definition . 84g39.12 Create operation . 85g39.13 Deactivate statement . 86g39.13.0 General 86g39.13.1 Flow graph segment . 87g39.13.2 Flow graph segment . 87g39.14 Disconnect operation 88g39.14.0 General 88g39.14.1 Flow graph seg

25、ment 88g39.14.2 Flow graph segment 90g39.14.3 Flow graph segment . 91g39.14.4 Flow graph segment 92g39.14.5 Flow graph segment . 92g39.15 Do-while statement. 93g39.16 Done component operation. 94g39.16.0 General 94g39.16.1 Flow graph segment . 96g39.17 Execute statement . 96g39.17.0 General 96g39.17

26、.1 Flow graph segment . 97g39.17.2 Flow graph segment . 98g39.17.3 Flow graph segment 99g39.18 Expression 99g39.18.0 General 99g39.18.1 Flow graph segment . 100g39.18.2 Flow graph segment . 100g39.18.3 Flow graph segment . 101g39.18.4 Flow graph segment . 101g39.19 Flow graph segment 102g39.20 Flow

27、graph segment . 102g39.20a Flow graph segment 103g39.20b Flow graph segment . 103g39.21 Flow graph segment . 104g39.22 Flow graph segment 104g39.23 For statement 105g39.24 Function call . 106g39.24.0 General 106g39.24.1 Flow graph segment . 108g39.24.2 Flow graph segment . 108g39.24.3 Flow graph seg

28、ment 109g39.24.3a Flow graph segment 109g39.24.4 Flow graph segment 110g3ETSI ETSI ES 201 873-4 V4.5.1 (2016-07)6 9.24.5 Flow graph segment . 110g39.25 Getcall operation 111g39.26 Getreply operation 111g39.27 Getverdict operation . 112g39.28 Goto statement 112g39.28a Halt port operation 113g39.29 If

29、-else statement . 113g39.29a Kill component operation . 114g39.29a.0 General 114g39.29a.1 Flow graph segment 116g39.29a.2 Flow graph segment 117g39.29a.3 Flow graph segment 118g39.29b Kill execution statement . 118g39.29b.0 General 118g39.29b.1 Flow graph segment 119g39.29c Killed component operatio

30、n . 120g39.30 Label statement 122g39.31 Log statement . 122g39.32 Map operation 123g39.33 Mtc operation . 123g39.34 Port declaration 124g39.35 Raise operation . 124g39.35.0 General 124g39.35.1 Flow graph segment 125g39.35.1a Flow graph segment . 125g39.35.2 Flow graph segment 127g39.36 Read timer op

31、eration 127g39.37 Receive operation . 128g39.37.0 General 128g39.37.1 Flow graph segment . 129g39.37.2 Flow graph segment 131g39.37.3 Flow graph segment 132g39.38 Repeat statement 132g39.39 Reply operation 133g39.39.0 General 133g39.39.1 Flow graph segment . 134g39.39.1a Flow graph segment 134g39.39

32、.2 Flow graph segment . 136g39.40 Return statement . 136g39.40.0 General 136g39.40.1 Flow graph segment . 138g39.40.2 Flow graph segment . 139g39.41 Running component operation . 140g39.41.0 General 140g39.41.1 Flow graph segment 141g39.41.2 Flow graph segment . 142g39.42 Running timer operation . 1

33、43g39.43 Self operation . 144g39.44 Send operation 144g39.44.0 General 144g39.44.1 Flow graph segment 145g39.44.1a Flow graph segment . 145g39.44.2 Flow graph segment 147g39.45 Setverdict operation 147g39.46 Start component operation 148g39.47 Start port operation . 150g39.48 Start timer operation .

34、 150g39.48.0 General 150g39.48.1 Flow graph segment 151g39.48.2 Flow graph segment 152g39.49 Stop component operation 152g39.49.0 General 152g3ETSI ETSI ES 201 873-4 V4.5.1 (2016-07)7 9.49.1 Void 154g39.49.2 Flow graph segment 154g39.49.3 Flow graph segment 155g39.50 Stop execution statement 156g39.

35、51 Stop port operation . 157g39.52 Stop timer operation . 158g39.53 System operation 158g39.53a Test case stop operation . 159g39.54 Timer declaration . 159g39.54.0 General 159g39.54.1 Flow graph segment 160g39.54.2 Flow graph segment 160g39.55 Timeout timer operation . 161g39.56 Unmap operation 162

36、g39.56.0 General 162g39.56.1 Flow graph segment 164g39.56.2 Flow graph segment . 165g39.56.3 Flow graph segment 166g39.57 Variable declaration . 166g39.57.0 General 166g39.57.1 Flow graph segment 167g39.57.2 Flow graph segment 167g39.58 While statement 168g310 Lists of operational semantic component

37、s . 168g310.1 Functions and states 168g310.2 Special keywords 170g310.3 Flow graphs of TTCN-3 behaviour descriptions 170g310.4 Flow graph segments 171g3History 174g3ETSI ETSI ES 201 873-4 V4.5.1 (2016-07)8 Intellectual Property Rights IPRs essential or potentially essential to the present document m

38、ay have been declared to ETSI. The information pertaining to these essential IPRs, if any, is publicly available for ETSI members and non-members, and can be found in ETSI SR 000 314: “Intellectual Property Rights (IPRs); Essential, or potentially Essential, IPRs notified to ETSI in respect of ETSI

39、standards“, which is available from the ETSI Secretariat. Latest updates are available on the ETSI Web server (https:/ipr.etsi.org/). Pursuant to the ETSI IPR Policy, no investigation, including IPR searches, has been carried out by ETSI. No guarantee can be given as to the existence of other IPRs n

40、ot referenced in ETSI SR 000 314 (or the updates on the ETSI Web server) which are, or may be, or may become, essential to the present document. Foreword This ETSI Standard (ES) has been produced by ETSI Technical Committee Methods for Testing and Specification (MTS). The present document is part 4

41、of a multi-part deliverable. Full details of the entire series can be found in part 1 1. NOTE: All formatting in the present document has been done intentionally. Underlined words denote special elements of the formal semantics. Their meaning is described in clauses 7 and 8. Modal verbs terminology

42、In the present document “shall“, “shall not“, “should“, “should not“, “may“, “need not“, “will“, “will not“, “can“ and “cannot“ are to be interpreted as described in clause 3.2 of the ETSI Drafting Rules (Verbal forms for the expression of provisions). “must“ and “must not“ are NOT allowed in ETSI d

43、eliverables except when used in direct citation. ETSI ETSI ES 201 873-4 V4.5.1 (2016-07)9 1 Scope The present document defines the operational semantics of TTCN-3. The present document is based on the TTCN-3 core language defined in ETSI ES 201 873-1 1. 2 References 2.1 Normative references Referenc

44、es are either specific (identified by date of publication and/or edition number or version number) or non-specific. For specific references, only the cited version applies. For non-specific references, the latest version of the referenced document (including any amendments) applies. Referenced docum

45、ents which are not found to be publicly available in the expected location might be found at https:/docbox.etsi.org/Reference/. NOTE: While any hyperlinks included in this clause were valid at the time of publication, ETSI cannot guarantee their long term validity. The following referenced documents

46、 are necessary for the application of the present document. 1 ETSI ES 201 873-1: “Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language“. 2.2 Informative references References are either specific (identified by date of publication

47、and/or edition number or version number) or non-specific. For specific references, only the cited version applies. For non-specific references, the latest version of the referenced document (including any amendments) applies. NOTE: While any hyperlinks included in this clause were valid at the time

48、of publication, ETSI cannot guarantee their long term validity. The following referenced documents are not necessary for the application of the present document but they assist the user with regard to a particular subject area. Not applicable. 3 Definitions and abbreviations 3.1 Definitions For the

49、purposes of the present document, the terms and definitions given in ETSI ES 201 873-1 1 apply. 3.2 Abbreviations For the purposes of the present document, the following abbreviations apply: BNF Backus-Nauer Form MTC Master Test Component SUT System Under Test TTCN Testing and Test Control Notation ETSI ETSI ES 201 873-4 V4.5.1 (2016-07)10 4 Introduction This clause defines the meaning of TTCN-3 behaviour in an intuitive and unambiguous manner. The operational semantics is not meant to be formal and therefore the ability to per