1、 ETSI ES 201 873-4 V4.6.1 (2017-05) 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.6.1 (2017-05)2 Reference RES/MTS-201873-4 T3 ed461 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 2017. 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. oneM2M logo is protected for the benefit of its Members GSM and the GSM logo are Trade Marks registered and owned by the GSM Association. ETSI ETSI ES 201 873-4 V4.6.1 (2017-05)3 Contents Intellectua
9、l Property Rights 8g3Foreword . 8g3Modal verbs terminology 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 Restriction
10、s . 10g37 Replacement of short forms . 11g37.0 General . 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 Repl
11、acement of interleave statements 13g37.6 Replacement of 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 parameter
12、s 29g37.11 Adding default values of parameters 29g38 Flow graph semantics of TTCN-3 30g38.0 General . 30g38.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 31g38.1.2.3 Basic nodes . 31g38.1.2.4
13、Reference nodes 31g38.1.2.4.0 General 31g38.1.2.4.1 OR combination of reference nodes 31g38.1.2.4.2 Multiple occurrences of reference nodes . 32g38.1.3 Flow lines . 32g38.1.4 Flow graph segments 33g38.1.5 Comments . 34g38.1.6 Handling of flow graph descriptions . 34g38.2 Flow graph representation of
14、 TTCN-3 behaviour 35g38.2.0 General 35g38.2.1 Flow graph construction procedure 35g38.2.2 Flow graph representation of module control . 36g38.2.3 Flow graph representation of test cases 36g38.2.4 Flow graph representation of functions 37g38.2.5 Flow graph representation of altsteps . 38g38.2.6 Flow
15、graph representation of component type definitions 39g3ETSI ETSI ES 201 873-4 V4.6.1 (2017-05)4 8.2.7 Retrieval of start nodes of flow graphs . 40g38.3 State definitions for TTCN-3 modules . 40g38.3.0 General 40g38.3.1 Module state 41g38.3.1.0 General 41g38.3.1.1 Accessing the module state . 41g38.3
16、.1a Configuration state 41g38.3.1a.0 Genral 41g38.3.1a.1 Accessing the configuration state 41g38.3.2 Entity states . 42g38.3.2.0 General 42g38.3.2.1 Accessing entity states 44g38.3.2.2 Data state and variable binding . 45g38.3.2.3 Accessing data states . 46g38.3.2.4 Timer state and timer binding . 4
17、6g38.3.2.5 Accessing timer states . 47g38.3.2.6 Port references and port binding . 48g38.3.2.7 Accessing port references . 49g38.3.3 Port states 49g38.3.3.0 General 49g38.3.3.1 Handling of connections among ports . 50g38.3.3.2 Handling of port states 50g38.3.3a Component verdict states 51g38.3.4 Gen
18、eral functions for the handling of module states 51g38.4 Messages, procedure calls, replies and exceptions . 52g38.4.0 General 52g38.4.1 Messages. 52g38.4.2 Procedure calls and replies . 52g38.4.3 Exceptions. 53g38.4.4 Construction of messages, procedure calls, replies and exceptions 53g38.4.5 Match
19、ing of messages, procedure calls, replies and exceptions . 53g38.4.6 Retrieval of information from received items . 54g38.5 Call records for functions, altsteps and test cases . 54g38.5.0 General 54g38.5.1 Handling of call records 54g38.6 The evaluation procedure for a TTCN-3 module . 55g38.6.1 Eval
20、uation phases . 55g38.6.1.0 General 55g38.6.1.1 Phase I: Initialization. 55g38.6.1.2 Phase II: Update 56g38.6.1.3 Phase III: Selection . 56g38.6.1.4 Phase IV: Execution 56g38.6.2 Global functions 57g39 Flow graph segments for TTCN-3 constructs 57g39.0 General . 57g39.1 Action statement . 57g39.2 Act
21、ivate statement 58g39.2a Alive component operation 59g39.2a.0 General 59g39.2a.1 Flow graph segment 61g39.2a.2 Flow graph segment 62g39.3 Alt statement 62g39.3.0 General 62g39.3.1 Flow graph segment 64g39.3.2 Flow graph segment . 65g39.3.3 Flow graph segment . 66g39.3.4 Flow graph segment 67g39.3.5
22、Flow graph segment . 68g39.4 Altstep call 69g39.5 Assignment statement . 69g39.5a Break statements in altsteps 69g3ETSI ETSI ES 201 873-4 V4.6.1 (2017-05)5 9.6 Call operation . 70g39.6.0 General 70g39.6.1 Flow graph segment 72g39.6.1a Flow graph segment . 72g39.6.2 Flow graph segment 74g39.6.3 Flow
23、graph segment . 74g39.6.4 Flow graph segment 75g39.6.5 Flow graph segment . 76g39.6.6 Flow graph segment 77g39.7 Catch operation 77g39.8 Check operation 78g39.8.0 General 78g39.8.1 Flow graph segment . 79g39.8.2 Flow graph segment 80g39.8a Checkstate port operation . 81g39.8a.0 General 81g39.8a.1 Fl
24、ow graph segment . 82g39.8a.2 Flow graph segment . 82g39.9 Clear port operation 84g39.10 Connect operation. 84g39.11 Constant definition . 85g39.12 Create operation . 86g39.13 Deactivate statement . 87g39.13.0 General 87g39.13.1 Flow graph segment . 88g39.13.2 Flow graph segment . 88g39.14 Disconnec
25、t operation 89g39.14.0 General 89g39.14.1 Flow graph segment 89g39.14.2 Flow graph segment 91g39.14.3 Flow graph segment . 92g39.14.4 Flow graph segment 93g39.14.5 Flow graph segment . 93g39.15 Do-while statement. 94g39.16 Done component operation. 95g39.16.0 General 95g39.16.1 Flow graph segment .
26、97g39.17 Execute statement . 97g39.17.0 General 97g39.17.1 Flow graph segment . 98g39.17.2 Flow graph segment . 99g39.17.3 Flow graph segment 100g39.18 Expression 100g39.18.0 General 100g39.18.1 Flow graph segment . 101g39.18.2 Flow graph segment . 101g39.18.3 Flow graph segment . 102g39.18.4 Flow g
27、raph segment . 102g39.19 Flow graph segment 103g39.20 Flow graph segment . 103g39.20a Flow graph segment 104g39.20b Flow graph segment . 104g39.21 Flow graph segment . 105g39.22 Flow graph segment 105g39.23 For statement 106g39.24 Function call . 107g39.24.0 General 107g39.24.1 Flow graph segment .
28、109g39.24.2 Flow graph segment . 109g39.24.3 Flow graph segment 110g39.24.3a Flow graph segment 110g39.24.4 Flow graph segment 111g3ETSI ETSI ES 201 873-4 V4.6.1 (2017-05)6 9.24.5 Flow graph segment . 112g39.25 Getcall operation 112g39.26 Getreply operation 112g39.27 Getverdict operation . 113g39.28
29、 Goto statement 113g39.28a Halt port operation 114g39.29 If-else statement . 114g39.29a Kill component operation . 115g39.29a.0 General 115g39.29a.1 Flow graph segment 117g39.29a.2 Flow graph segment 118g39.29a.3 Flow graph segment 119g39.29b Kill execution statement . 119g39.29b.0 General 119g39.29
30、b.1 Flow graph segment 120g39.29c Killed component operation . 121g39.30 Label statement 123g39.31 Log statement . 123g39.32 Map operation 124g39.33 Mtc operation . 124g39.34 Port declaration 125g39.35 Raise operation . 125g39.35.0 General 125g39.35.1 Flow graph segment 126g39.35.1a Flow graph segme
31、nt . 126g39.35.2 Flow graph segment 128g39.36 Read timer operation 128g39.37 Receive operation . 129g39.37.0 General 129g39.37.1 Flow graph segment . 130g39.37.2 Flow graph segment 132g39.37.3 Flow graph segment 133g39.38 Repeat statement 133g39.39 Reply operation 134g39.39.0 General 134g39.39.1 Flo
32、w graph segment . 135g39.39.1a Flow graph segment 135g39.39.2 Flow graph segment . 137g39.40 Return statement . 137g39.40.0 General 137g39.40.1 Flow graph segment . 139g39.40.2 Flow graph segment . 140g39.41 Running component operation . 141g39.41.0 General 141g39.41.1 Flow graph segment 142g39.41.2
33、 Flow graph segment . 143g39.42 Running timer operation . 144g39.43 Self operation . 145g39.44 Send operation 145g39.44.0 General 145g39.44.1 Flow graph segment 146g39.44.1a Flow graph segment . 146g39.44.2 Flow graph segment 148g39.45 Setverdict operation 148g39.46 Start component operation 149g39.
34、47 Start port operation . 151g39.48 Start timer operation . 151g39.48.0 General 151g39.48.1 Flow graph segment 152g39.48.2 Flow graph segment 153g39.49 Stop component operation 153g39.49.0 General 153g3ETSI ETSI ES 201 873-4 V4.6.1 (2017-05)7 9.49.1 Void 155g39.49.2 Flow graph segment 155g39.49.3 Fl
35、ow graph segment 156g39.50 Stop execution statement 157g39.51 Stop port operation . 158g39.52 Stop timer operation . 159g39.53 System operation 159g39.53a Test case stop operation . 160g39.54 Timer declaration . 160g39.54.0 General 160g39.54.1 Flow graph segment 161g39.54.2 Flow graph segment 161g39
36、.55 Timeout timer operation . 162g39.56 Unmap operation 163g39.56.0 General 163g39.56.1 Flow graph segment 165g39.56.2 Flow graph segment . 166g39.56.3 Flow graph segment 167g39.57 Variable declaration . 167g39.57.0 General 167g39.57.1 Flow graph segment 168g39.57.2 Flow graph segment 169g39.58 Whil
37、e statement 169g310 Lists of operational semantic components . 170g310.1 Functions and states 170g310.2 Special keywords 171g310.3 Flow graphs of TTCN-3 behaviour descriptions 172g310.4 Flow graph segments 172g3History 175g3ETSI ETSI ES 201 873-4 V4.6.1 (2017-05)8 Intellectual Property Rights IPRs e
38、ssential or potentially essential to the present document may 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 poten
39、tially Essential, IPRs notified to ETSI in respect of ETSI 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
40、 guarantee can be given as to the existence of other IPRs not 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 Testi
41、ng and Specification (MTS). The present document is part 4 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 meanin
42、g is described in clauses 7 and 8. Modal verbs terminology 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 p
43、rovisions). “must“ and “must not“ are NOT allowed in ETSI deliverables except when used in direct citation. ETSI ETSI ES 201 873-4 V4.6.1 (2017-05)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
44、201 873-1 1. 2 References 2.1 Normative references References 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 do
45、cument (including any amendments) applies. Referenced documents 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 t
46、heir long term validity. The following referenced documents 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 Referen
47、ces 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. NOTE: While any
48、 hyperlinks included in this clause were valid at the time 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 applicabl
49、e. 3 Definitions and abbreviations 3.1 Definitions For the 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.6.1 (2017-05)10 4 Introduction This clause defines the meaning of TTCN-3 behaviour in an intuitive and unambiguous manner. The operational semantics
