ETSI ES 201 873-1-2018 Methods for Testing and Specification (MTS) The Testing and Test Control Notation version 3 Part 1 TTCN-3 Core Language (V4 10 1).pdf

1、 ETSI ES 201 873-1 V4.10.1 (2018-05) Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language ETSI STANDARD ETSI ETSI ES 201 873-1 V4.10.1 (2018-05)2 Reference RES/MTS-201873-1v4A1 Keywords language, methodology, testing, TTCN-3 ETSI

2、650 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:/w

3、ww.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 diff

4、erence 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 ch

5、ange 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/CommiteeSupport

6、Staff.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 authorizati

7、on of ETSI. The copyright and the foregoing restriction extend to reproduction in all media. ETSI 2018. All rights reserved. DECTTM, PLUGTESTSTM, UMTSTMand the ETSI logo are trademarks of ETSI registered for the benefit of its Members. 3GPPTM and LTETMare trademarks of ETSI registered for the benefi

8、t of its Members and of the 3GPP Organizational Partners. oneM2M logo is protected for the benefit of its Members. GSMand the GSM logo are trademarks registered and owned by the GSM Association. ETSI ETSI ES 201 873-1 V4.10.1 (2018-05)3 Contents Intellectual Property Rights 13g3Foreword . 13g3Modal

9、verbs terminology 13g31 Scope 14g32 References 14g32.1 Normative references 14g32.2 Informative references . 15g33 Definitions and abbreviations . 16g33.1 Definitions . 16g33.2 Abbreviations 21g34 Introduction 22g34.0 General 22g34.1 The core language and presentation formats . 23g34.2 Unanimity of

10、the specification 24g34.3 Conformance . 24g35 Basic language elements 24g35.0 General 24g35.1 Identifiers and keywords . 25g35.2 Scope rules 26g35.2.0 General. 26g35.2.1 Scope of formal parameters . 28g35.2.2 Uniqueness of identifiers . 28g35.3 Ordering of language elements 29g35.4 Parameterization

11、29g35.4.0 General . 29g35.4.1 Formal parameters . 30g35.4.1.0 General . 30g35.4.1.1 Formal parameters of kind value 30g35.4.1.2 Formal parameters of kind template . 33g35.4.2 Actual parameters 35g35.5 Cyclic Definitions 40g36 Types and values 41g36.0 General 41g36.1 Basic types and values . 42g36.1.

12、0 Simple basic types and values 42g36.1.1 Basic string types and values . 43g36.1.1.0 General . 43g36.1.1.1 Accessing individual string elements . 45g36.1.2 Subtyping of basic types 46g36.1.2.0 General . 46g36.1.2.1 Lists of templates . 46g36.1.2.2 Lists of types 46g36.1.2.3 Ranges 47g36.1.2.4 Strin

13、g length restrictions 47g36.1.2.5 Pattern subtyping of character string types 48g36.1.2.6 Mixing subtyping mechanisms . 48g36.1.2.6.1 Mixing patterns, lists and ranges 48g36.1.2.6.2 Using length restriction with other constraints . 49g36.2 Structured types and values . 49g36.2.0 General . 49g36.2.1

14、Record type and values 51g36.2.1.0 General . 51g36.2.1.1 Referencing fields of a record type 53g3ETSI ETSI ES 201 873-1 V4.10.1 (2018-05)4 6.2.1.2 Optional elements in a record. 55g36.2.1.3 Nested type definitions for field types . 55g36.2.2 Set type and values 55g36.2.2.0 General . 55g36.2.2.1 Refe

15、rencing fields of a set type 56g36.2.2.2 Optional elements in a set 56g36.2.2.3 Nested type definition for field types . 56g36.2.3 Records and sets of single types 56g36.2.3.0 General . 56g36.2.3.1 Nested type definitions . 59g36.2.3.2 Referencing elements of record of and set of types . 59g36.2.4 E

16、numerated type and values 60g36.2.5 Unions 61g36.2.5.0 General . 61g36.2.5.1 Referencing fields of a union type . 63g36.2.5.2 Option and union 64g36.2.5.3 Nested type definition for field types . 64g36.2.6 The anytype . 64g36.2.7 Arrays 65g36.2.8 The default type . 66g36.2.9 Communication port types

17、 . 67g36.2.10 Component types . 69g36.2.10.1 Component type definition . 69g36.2.10.2 Reuse of component types . 70g36.2.11 Component references . 72g36.2.12 Addressing entities inside the SUT 74g36.2.13 Subtyping of structured types 76g36.2.13.0 General . 76g36.2.13.1 Length subtyping of record ofs

18、 and set ofs 76g36.2.13.2 List subtyping of structured types and anytype 77g36.2.13.3 Subtyping of the iterated type of record ofs and set ofs . 79g36.2.13.4 Mixing subtyping mechanisms . 81g36.2.14 The timer type 81g36.3 Type compatibility 81g36.3.0 General . 81g36.3.1 Compatibility of non-structur

19、ed types . 81g36.3.2 Compatibility of structured types . 83g36.3.2.0 General . 83g36.3.2.1 Compatibility of enumerated types 83g36.3.2.2 Compatibility of record and record of types 83g36.3.2.3 Compatibility of set and set of types 85g36.3.2.4 Compatibility of union types 85g36.3.2.5 Compatibility of

20、 anytype types 86g36.3.2.6 Compatibility between sub-structures 87g36.3.3 Compatibility of component types . 87g36.3.4 Type compatibility of communication and connection operations 88g36.3.5 Type conversion . 88g36.3.6 Type compatibility of port types 89g36.3.7 Type compatibility of timer types 89g3

21、6.4 Type synonym . 89g37 Expressions . 89g37.0 General 89g37.1 Operators . 90g37.1.0 General. 90g37.1.1 Arithmetic operators 91g37.1.2 List operator . 92g37.1.3 Relational operators . 92g37.1.4 Logical operators . 95g37.1.5 Bitwise operators . 95g37.1.6 Shift operators 96g37.1.7 Rotate operators . 9

22、7g3ETSI ETSI ES 201 873-1 V4.10.1 (2018-05)5 7.2 Field references and list elements 98g37.3 Decoded field reference . 98g38 Modules 99g38.0 General 99g38.1 Definition of a module 99g38.2 Module definitions part . 100g38.2.0 General . 100g38.2.1 Module parameters 101g38.2.2 Groups of definitions . 10

23、2g38.2.3 Importing from modules 103g38.2.3.0 General . 103g38.2.3.1 General format of import . 103g38.2.3.2 Importing single definitions . 110g38.2.3.3 Importing groups 111g38.2.3.4 Importing definitions of the same kind 112g38.2.3.5 Importing all definitions of a module . 113g38.2.3.6 Import defini

24、tions from other TTCN-3 editions and from non-TTCN-3 modules . 113g38.2.3.7 Importing of import statements from TTCN-3 modules 115g38.2.3.8 Compatibility of language specifications in imports 116g38.2.4 Definition of friend modules 117g38.2.5 Visibility of definitions 117g38.3 Module control part .

25、119g39 Port types, component types and test configurations . 119g39.0 General 119g39.1 Communication ports 120g39.2 Test system interface . 122g310 Declaring constants 124g311 Declaring variables . 124g311.0 General 124g311.1 Value variables 125g311.2 Template variables 126g312 Declaring timers . 12

26、7g313 Declaring messages 128g314 Declaring procedure signatures 129g315 Declaring templates 130g315.0 General 130g315.1 Declaring message templates 131g315.2 Declaring signature templates . 132g315.3 Global and local templates 134g315.4 In-line Templates . 135g315.5 Modified templates 136g315.6 Refe

27、rencing elements of templates or template fields . 139g315.6.0 General . 139g315.6.1 Referencing individual string elements 139g315.6.2 Referencing record and set fields 140g315.6.3 Referencing record of and set of elements . 141g315.6.4 Referencing signature parameters 144g315.6.5 Referencing union

28、 alternatives 145g315.7 Template matching mechanisms . 146g315.7.0 General . 146g315.7.1 Specific values . 147g315.7.2 Special symbols that can be used instead of values . 148g315.7.3 Special symbols that can be used inside values . 149g315.7.4 Special symbols which describe attributes of values . 1

29、49g315.8 Template Restrictions 150g315.9 Match Operation 152g3ETSI ETSI ES 201 873-1 V4.10.1 (2018-05)6 15.10 Valueof Operation . 154g315.11 Concatenating templates of string and list types . 154g316 Functions, altsteps and testcases 157g316.0 General 157g316.1 Functions . 157g316.1.0 General . 157g

30、316.1.1 Invoking functions . 160g316.1.2 Predefined functions 161g316.1.3 External functions 163g316.1.4 Invoking functions from specific places 164g316.2 Altsteps 165g316.2.0 General . 165g316.2.1 Invoking altsteps 166g316.3 Test cases. 168g317 Void 169g318 Overview of program statements and operat

31、ions . 169g319 Basic program statements . 171g319.0 General 171g319.1 Assignments 172g319.2 The If-else statement . 174g319.3 The Select statements 174g319.3.1 The Select case statement 174g319.3.2 The Select union statement 175g319.4 The For statement 176g319.5 The While statement 177g319.6 The Do-

32、while statement 177g319.7 The Label statement 178g319.8 The Goto statement . 178g319.9 The Stop execution statement 179g319.10 The Return statement . 180g319.11 The Log statement . 181g319.12 The Break statement 182g319.13 The Continue statement . 183g319.14 Statement block . 184g320 Statement and o

33、perations for alternative behaviours 184g320.0 General 184g320.1 The snapshot mechanism . 185g320.2 The Alt statement 185g320.3 The Repeat statement 189g320.4 The Interleave statement . 190g320.5 Default Handling . 192g320.5.0 General . 192g320.5.1 The default mechanism 193g320.5.2 The Activate oper

34、ation . 193g320.5.3 The Deactivate operation . 194g321 Configuration Operations . 195g321.0 General 195g321.1 Connection Operations 196g321.1.0 General . 196g321.1.1 The Connect and Map operations 197g321.1.2 The Disconnect and Unmap operations . 199g321.2 Test case operations. 201g321.2.0 General .

35、 201g321.2.1 Test case stop operation . 201g321.3 Test Component Operations 201g321.3.0 General . 201g321.3.1 The Create operation 201g321.3.2 The Start test component operation . 203g3ETSI ETSI ES 201 873-1 V4.10.1 (2018-05)7 21.3.3 The Stop test behaviour operation . 204g321.3.4 The Kill test comp

36、onent operation . 205g321.3.5 The Alive operation . 206g321.3.6 The Running operation 207g321.3.7 The Done operation . 208g321.3.8 The Killed operation 210g321.3.9 Summary of the use of any and all with components 212g322 Communication operations. 212g322.0 General 212g322.1 The communication mechan

37、isms 213g322.1.0 General . 213g322.1.1 Principles of message-based communication. 213g322.1.2 Principles of procedure-based communication 214g322.1.3 Principles of unicast, multicast and broadcast communication 214g322.1.4 General format of communication operations . 215g322.1.4.0 General . 215g322.

38、1.4.1 General format of the sending operations 215g322.1.4.2 General format of the receiving operations 216g322.2 Message-based communication . 217g322.2.0 General . 217g322.2.1 The Send operation 217g322.2.2 The Receive operation . 218g322.2.3 The Trigger operation 222g322.3 Procedure-based communi

39、cation . 225g322.3.0 General . 225g322.3.1 The Call operation . 225g322.3.2 The Getcall operation. 229g322.3.3 The Reply operation. 232g322.3.4 The Getreply operation 233g322.3.5 The Raise operation . 236g322.3.6 The Catch operation . 237g322.4 The Check operation . 240g322.5 Controlling communicati

40、on ports 243g322.5.0 General . 243g322.5.1 The Clear port operation 243g322.5.2 The Start port operation . 243g322.5.3 The Stop port operation . 244g322.5.4 The Halt port operation 244g322.5.5 The Checkstate port operation . 245g322.6 Use of any and all with ports . 247g323 Timer operations 247g323.

41、0 General 247g323.1 The timer mechanism 247g323.2 The Start timer operation . 248g323.3 The Stop timer operation . 248g323.4 The Read timer operation 249g323.5 The Running timer operation. 249g323.6 The Timeout operation 250g323.7 Summary of use of any and all with timers . 251g324 Test verdict oper

42、ations . 252g324.0 General 252g324.1 The Verdict mechanism . 252g324.2 The Setverdict operation . 253g324.3 The Getverdict operation . 254g325 External actions 254g326 Module control . 255g326.0 General 255g326.1 The Execute statement . 255g326.2 The Control part 257g3ETSI ETSI ES 201 873-1 V4.10.1

43、(2018-05)8 27 Specifying attributes . 259g327.0 General 259g327.1 The Attribute mechanism 259g327.1.0 General . 259g327.1.1 Scope of attributes . 260g327.1.2 Overwriting rules for attributes 261g327.1.2.0 General . 261g327.1.2.1 Additional default overwriting rules for variant attributes . 263g327.1

44、.2.2 Overwriting rules for multiple encoding 264g327.1.3 Changing attributes of imported language elements 264g327.2 The With statement . 265g327.3 Display attributes . 266g327.4 Encoding attributes 266g327.5 Variant attributes . 268g327.6 Extension attributes . 270g327.7 Optional attributes . 270g3

45、27.8 Retrieving attribute values . 272g327.9 Dynamic configuration of encoding used by ports 273g3Annex A (normative): BNF and static semantics 275g3A.1 TTCN-3 BNF . 275g3A.1.0 General 275g3A.1.1 Conventions for the syntax description . 275g3A.1.2 Statement terminator symbols . 275g3A.1.3 Identifier

46、s 275g3A.1.4 Comments 276g3A.1.5 TTCN-3 terminals . 276g3A.1.5.0 General . 276g3A.1.5.1 Use of whitespaces and newlines . 278g3A.1.6 TTCN-3 syntax BNF productions . 279g3A.1.6.0 TTCN-3 module . 279g3A.1.6.1 Module definitions part 279g3A.1.6.1.0 General . 279g3A.1.6.1.1 Typedef definitions 279g3A.1.

47、6.1.2 Constant definitions . 281g3A.1.6.1.3 Template definitions. 281g3A.1.6.1.4 Function definitions . 283g3A.1.6.1.5 Signature definitions 284g3A.1.6.1.6 Testcase definitions 284g3A.1.6.1.7 Altstep definitions 284g3A.1.6.1.8 Import definitions . 284g3A.1.6.1.9 Group definitions . 285g3A.1.6.1.10 E

48、xternal function definitions 285g3A.1.6.1.11 External constant definitions 285g3A.1.6.1.12 Module parameter definitions 285g3A.1.6.1.13 Friend module definitions 286g3A.1.6.2 Control part 286g3A.1.6.3 Local definitions 286g3A.1.6.3.1 Variable instantiation . 286g3A.1.6.3.2 Timer instantiation . 286g

49、3A.1.6.4 Operations 286g3A.1.6.4.1 Component operations . 286g3A.1.6.4.2 Port operations . 287g3A.1.6.4.3 Timer operations 289g3A.1.6.4.4 Testcase operation 289g3A.1.6.5 Type . 289g3A.1.6.6 Value 290g3A.1.6.7 Parameterization 291g3A.1.6.8 Statements 291g3A.1.6.8.1 With statement . 291g3A.1.6.8.2 Behaviour statements . 292g3ETSI ETSI ES 201 873-1 V4.10.1 (2018-05)9 A.1.6.8.3 Basic statements . 293g3A.1.6.9 Miscellaneous productions 295g3Annex B (normative): Matching values . 296g3B.1 Template matching mechanisms 296g3B.1.0 General 296g3B.1.1 Matching specific values . 296g3B.1.2