ETSI TS 102 950-1-2016 Methods for Testing and Specification (MTS) TTCN-3 Conformance Test Suite Part 1 Implementation Conformance Statement (ICS) (V1 5 1)《测试和规范方法(MTS) 测试和测试控制记法-3.pdf

1、 ETSI TS 102 950-1 V1.5.1 (2016-02) Methods for Testing and Specification (MTS); TTCN-3 Conformance Test Suite; Part 1: Implementation Conformance Statement (ICS) TECHNICAL SPECIFICATION ETSI ETSI TS 102 950-1 V1.5.1 (2016-02)2 Reference RTS/MTS-102950-1ed151T3Conf Keywords conformance, ICS, testing

2、, TTCN ETSI 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 f

3、rom: http:/www.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 pe

4、rceived difference 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 re

5、vision or change of status. Information on the current status of this and other ETSI documents is available at http:/portal.etsi.org/tb/status/status.asp If you find errors in the present document, please send your comment to one of the following services: https:/portal.etsi.org/People/CommiteeSuppo

6、rtStaff.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 authoriza

7、tion 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

8、 Trade 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 TS 102 950-1 V1.5.1 (2016-02)3 Contents Intellectual Property Rights 7g3Foreword . 7g3Modal verbs termin

9、ology 7g31 Scope 8g32 References 8g32.1 Normative references . 8g32.2 Informative references 8g33 Definitions and abbreviations . 9g33.1 Definitions 9g33.2 Abbreviations . 9g34 Conformance requirement concerning ICS 10g3Annex A (normative): TTCN-3 conformance ICS pro forma 11g3A.1 Instructions for c

10、ompleting the ICS pro forma. 11g3A.1.1 Other information . 11g3A.1.2 Purposes and structure 11g3A.1.3 Conventions 11g3A.2 Identification of the implementation 12g3A.2.0 Identification overview . 12g3A.2.1 Date of the statement 12g3A.2.2 Implementation under Test (IUT) identification 12g3A.2.3 System

11、 under Test (SUT) identification . 12g3A.2.4 Product supplier 13g3A.2.5 Client 13g3A.2.6 ICS contact person 13g3A.3 ICS pro forma tables. 13g3A.3.1 Global statement of conformance . 13g3A.3.2 Basic language elements 13g3A.3.3 Identifiers and keywords 14g3A.3.4 Scope rules . 14g3A.3.5 Scope of formal

12、 parameters 14g3A.3.6 Uniqueness of identifiers 15g3A.3.7 Ordering of language elements . 15g3A.3.8 Parameterization . 16g3A.3.9 Formal parameters 16g3A.3.10 Formal parameters of kind value 18g3A.3.11 Formal parameters of kind template . 20g3A.3.12 Formal parameters of kind timer 23g3A.3.13 Formal p

13、arameters of kind port 24g3A.3.14 Actual parameters . 24g3A.3.15 Cyclic definitions . 40g3A.3.16 Simple basic types and values 40g3A.3.17 Basic string types and values 41g3A.3.18 Accessing individual string elements . 41g3A.3.19 Lists of values . 42g3A.3.20 Lists of types 42g3A.3.21 Ranges 43g3A.3.2

14、2 String length restrictions 44g3A.3.23 Pattern subtyping of character string types . 44g3A.3.24 Mixing patterns, lists and ranges 45g3A.3.25 Using length restriction with other constraints . 45g3A.3.26 Structured types and values 45g3A.3.27 Record type and values . 47g3ETSI ETSI TS 102 950-1 V1.5.1

15、 (2016-02)4 A.3.28 Referencing fields of a record type. 47g3A.3.29 Set type and values . 48g3A.3.30 Records and sets of single types . 48g3A.3.31 Referencing elements of record of and set of types 50g3A.3.32 Enumerated type and values . 51g3A.3.33 Unions 52g3A.3.34 Referencing fields of a union type

16、 53g3A.3.35 Option and union 53g3A.3.36 Arrays . 54g3A.3.37 The default type 56g3A.3.38 Communication port types . 56g3A.3.39 Component types 57g3A.3.40 Addressing entities inside the SUT 57g3A.3.41 Type compatibility of non-structured types 58g3A.3.42 Type compatibility of structured types . 59g3A.

17、3.43 Type compatibility of enumerated types 60g3A.3.44 Type compatibility of component types . 60g3A.3.45 Type compatibility of communication operations 60g3A.3.46 Expression 60g3A.3.47 Arithmetic operators . 61g3A.3.48 List operator . 64g3A.3.49 Relational operators 64g3A.3.50 Logical operators 66g

18、3A.3.51 Bitwise operators 66g3A.3.52 Shift operators 67g3A.3.53 Rotate operators 67g3A.3.54 Field references and list elements . 67g3A.3.55 Definition of a module . 68g3A.3.56 Module definitions part 68g3A.3.57 Module parameters . 68g3A.3.58 Groups of definitions 69g3A.3.59 General format of import

19、69g3A.3.60 Importing single definitions . 72g3A.3.61 Importing groups 72g3A.3.62 Importing definitions of the same kind. 72g3A.3.63 Importing all definitions of a module . 73g3A.3.64 Import definitions from other TTCN-3 editions and from non-TTCN-3 modules . 73g3A.3.65 Importing of import statements

20、 from TTCN-3 modules 73g3A.3.66 Compatibility of language specifications of imports 73g3A.3.67 Definition of friend modules 74g3A.3.68 Visibility of definitions 74g3A.3.69 Module control part 75g3A.3.70 Port types, component types and test configurations 75g3A.3.71 Communication ports . 76g3A.3.72 D

21、eclaring constants 76g3A.3.73 Value variables . 77g3A.3.74 Template variables . 77g3A.3.75 Declaring timers . 78g3A.3.76 Declaring messages 79g3A.3.77 Declaring procedure signatures 80g3A.3.78 Declaring templates 80g3A.3.79 Declaring message templates . 80g3A.3.80 Declaring signature templates 81g3A

22、.3.81 Global and local templates . 81g3A.3.82 In-line templates . 82g3A.3.83 Modified templates . 82g3A.3.84 Referencing individual string elements 83g3A.3.85 Referencing record and set fields . 84g3A.3.86 Referencing record of and set of elements . 84g3A.3.87 Referencing signature parameters 85g3A.

23、3.88 Referencing union alternatives . 85g3A.3.89 Template restrictions 86g3ETSI ETSI TS 102 950-1 V1.5.1 (2016-02)5 A.3.90 Match operation 89g3A.3.91 Valueof operation . 90g3A.3.92 Concatenating templates of string and list types 90g3A.3.93 Functions 91g3A.3.94 Invoking functions 91g3A.3.95 Predefin

24、ed functions . 92g3A.3.96 External functions. 97g3A.3.97 Invoking function from specific places 97g3A.3.98 Altsteps . 98g3A.3.99 Invoking altsteps 98g3A.3.100 Test cases 99g3A.3.101 Assignments . 99g3A.3.102 The if-else statement 99g3A.3.103 The Select statements . 100g3A.3.104 The select union stat

25、ement . 100g3A.3.105 The for statement 101g3A.3.106 The while statement 101g3A.3.107 The do-while statement 101g3A.3.108 The label statement . 101g3A.3.109 The goto statement . 102g3A.3.110 The stop execution statement . 102g3A.3.111 The return statement . 102g3A.3.112 The log statement . 102g3A.3.1

26、13 The continue statement . 103g3A.3.114 Statement and operations for alternative behaviours 103g3A.3.115 The alt statement 103g3A.3.116 The repeat statement . 104g3A.3.117 The interleave statement . 104g3A.3.118 The default mechanism 105g3A.3.119 The activate operation 106g3A.3.120 Connection opera

27、tions 106g3A.3.121 The connect and map operations 107g3A.3.122 The disconnect and unmap operations 108g3A.3.123 Test case operations 109g3A.3.124 The create operation . 109g3A.3.125 The start test component operation . 110g3A.3.126 The stop test behaviour operation . 111g3A.3.127 The kill test compo

28、nent operation 111g3A.3.128 The alive operation . 112g3A.3.129 The running operation 113g3A.3.130 The done operation . 114g3A.3.131 The killed operation 115g3A.3.132 The send operation . 117g3A.3.133 The receive operation . 117g3A.3.134 The trigger operation 119g3A.3.135 The call operation . 121g3A.

29、3.136 The getcall operation 122g3A.3.137 The reply operation 123g3A.3.138 The getreply operation 124g3A.3.139 The raise operation . 126g3A.3.140 The catch operation 126g3A.3.141 The check operation . 128g3A.3.142 Timer operations 134g3A.3.143 The stop timer operation . 135g3A.3.144 The running timer

30、 operation . 135g3A.3.145 The timeout operation 136g3A.3.146 Test verdict operations . 136g3A.3.147 The verdict mechanism 137g3A.3.148 The getverdict mechanism 138g3A.3.149 Module control . 139g3A.3.150 The execute statement 139g3A.3.151 The control part 140g3ETSI ETSI TS 102 950-1 V1.5.1 (2016-02)6

31、 A.3.152 Scope of attributes 141g3A.3.153 Optional attributes 142g3A.3.154 Matching specific values 142g3A.3.155 Value list 143g3A.3.156 Complemented value list 143g3A.3.157 Any value . 143g3A.3.158 Any value or none 144g3A.3.159 Value range 144g3A.3.160 SuperSet . 145g3A.3.161 SubSet 146g3A.3.162 O

32、mitting optional fields 146g3A.3.163 Any element . 147g3A.3.164 Any number of elements of no element 147g3A.3.165 Permutation 148g3A.3.166 Length restrictions 148g3A.3.167 The ifpresent indicator 149g3A.3.168 Matching character pattern . 149g3A.3.169 Set expression . 149g3A.3.170 Reference expressio

33、n 150g3A.3.171 Match expression n times . 150g3A.3.172 Match a referenced character set 151g3A.3.173 Type compatibility rules for patterns 151g3A.3.174 Case insensitive pattern matching 151g3A.3.175 Preprocessing macros . 152g3A.4 Additional information for ICS 152g3History 153g3ETSI ETSI TS 102 950

34、-1 V1.5.1 (2016-02)7 Intellectual Property Rights IPRs essential 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: “

35、Intellectual Property Rights (IPRs); Essential, or potentially 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,

36、including IPR searches, has been carried out by ETSI. No 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 Technical Specification (T

37、S) has been produced by ETSI Technical Committee Methods for Testing and Specification (MTS). The present document is part 1 of a multi-part deliverable covering a TTCN-3 conformance test suite, as identified below: Part 1: “Implementation Conformance Statement (ICS)“; Part 2: “Test Suite Structure

38、and Test Purposes (TSS Part 3: “Abstract Test Suite (ATS) and Implementation eXtra Information for Testing (IXIT)“. 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 describ

39、ed 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 deliverables except when used in direct citation. ETSI ETSI TS 102 950-1 V1.5.1 (2016-02)8 1 Scope The present document provides the Implementation Conformance S

40、tatement (ICS) pro forma for the conformance test suite for TTCN-3 as defined in ETSI ES 201 873-1 1 in compliance with the relevant guidance given in the pro forma for TTCN-3 reference test suite ETSI TS 102 995 i.9. In the present document only the core language features, specified in ETSI ES 201

41、873-1 1 have been considered but not the tool implementation (see i.1 and i.2), language mapping (see i.3, i.4 and i.5) and language extension (see e.g. i.6, i.7 and i.8) aspects. The supplier of an implementation which is claimed to conform to ETSI ES 201 873-1 1 is required to complete a copy of t

42、he ICS pro forma provided in the annex A of the present document. 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-specifi

43、c references, the latest version of the reference document (including any amendments) applies. Referenced documents which are not found to be publicly available in the expected location might be found at http:/docbox.etsi.org/Reference. NOTE: While any hyperlinks included in this clause were valid a

44、t the time of publication, ETSI cannot guarantee their long term validity. The following referenced documents are necessary for the application of the present document. 1 ETSI ES 201 873-1 (V4.7.1): “Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1

45、: TTCN-3 Core Language“. 2 ISO/IEC 9646-7 (1994): “Conformance testing methodology and framework - Part 7: Implementation Conformance Statement“. 3 ISO/IEC 9646-1 (1992): “Information Technology - Open Systems Interconnection - Conformance Testing Methodology and Framework - Part 1: General concepts

46、“. 2.2 Informative 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 reference document (including any

47、amendments) applies. 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 are not necessary for the application of the present document but they assist the user with regard to a pa

48、rticular subject area. i.1 ETSI ES 201 873-5: “Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 5: TTCN-3 Runtime Interface (TRI)“. i.2 ETSI ES 201 873-6: “Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3;

49、Part 6: TTCN-3 Control Interface (TCI)“. i.3 ETSI ES 201 873-7: “Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 7: Using ASN.1 with TTCN-3“. i.4 ETSI ES 201 873-8: “Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 8: The IDL to TTCN-3 Mapping“. i.5 ETSI ES 201 873-9: “Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 9: Using XML schema with TTCN-3“. ETSI ETSI TS 102 950-1 V1.5.1 (2016-02