ETSI ES 202 784-2017 Methods for Testing and Specification (MTS) The Testing and Test Control Notation version 3 TTCN-3 Language Extensions Advanced Parameterization (V1 6 1).pdf

1、 ETSI ES 202 784 V1.6.1 (2017-04) Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; TTCN-3 Language Extensions: Advanced Parameterization ETSI STANDARD ETSI ETSI ES 202 784 V1.6.1 (2017-04) 2 Reference RES/MTS-202784 ed161AdvParam Keywords conformance, tes

2、ting, TTCN-3 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 downlo

3、aded from: 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

4、 or perceived 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

5、 to revision or change 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/Peop

6、le/CommiteeSupportStaff.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 w

7、ritten authorization 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. 3G

8、PPTM and LTE are Trade 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 202 784 V1.6.1 (2017-04) 3 Co

9、ntents Intellectual Property Rights 4g3Foreword . 4g3Modal verbs terminology 4g31 Scope 5g32 References 5g32.1 Normative references . 5g32.2 Informative references 6g33 Definitions and abbreviations . 6g33.1 Definitions 6g33.2 Abbreviations . 6g34 Package conformance and compatibility 7g35 Package c

10、oncepts for the core language . 7g35.1 Extension to ETSI ES 201 873-1, clause 4 (Introduction) . 7g35.2 Extension to ETSI ES 201 873-1, clause 5 (Basic language elements) 7g35.3 Extension to ETSI ES 201 873-1, clause 6 (Types and values) 11g35.4 Extension to ETSI ES 201 873-1, clause 8 (Modules) . 1

11、2g35.5 Extension to ETSI ES 201 873-1, annex A (BNF and static semantics) 12g36 Package semantics 14g36.0 General . 14g36.1 Extension to ETSI ES 201 873-4, clause 6 (Restrictions) 14g37 TRI and Extended TRI extensions for the package 14g37.1 Extension to ETSI ES 201 873-5 14g37.2 Extension to ETSI E

12、S 202 789, clause 7 (TRI extensions for the package) . 14g38 TCI extensions for the package 15g38.1 Extension to ETSI ES 201 873-6, clause 7 (TTCN 3 control interface and operations) 15g38.2 Extension to ETSI ES 201 873-6, clause 8 (Java language mapping) 17g38.3 Extension to ETSI ES 201 873-6, clau

13、se 9 (ANSI C language mapping) 18g38.4 Extension to ETSI ES 201 873-6, clause 10 (C+ language mapping) 19g38.5 Extension to ETSI ES 201 873-6, annex A (IDL Specification of TCI) 20g39 Package Extensions for the use of ASN.1 with TTCN-3 . 21g39.1 Extension to ETSI ES 201 873-7, clause 10 (Parameteriz

14、ation in ASN.1) 21g310 Documentation extensions for the package 25g310.1 Extension to ETSI ES 201 873-10, clause 6 (Tagged paragraphs) . 25g310.2 Extension to ETSI ES 201 873-10, annex A (where Tags can be used) . 25g3History 26g3ETSI ETSI ES 202 784 V1.6.1 (2017-04) 4 Intellectual Property Rights I

15、PRs 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: “Intellectual Property Rights (IPRs); Essential, or

16、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, including IPR searches, has been carried out by ETS

17、I. 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 ETSI Standard (ES) has been produced by ETSI Technical Committee Methods for

18、Testing and Specification (MTS). The use of underline (additional text) and strike through (deleted text) highlights the differences between base document and extended documents. The present document relates to the multi-part standard ETSI ES 201 873 covering the Testing and Test Control Notation ve

19、rsion 3, as identified below: Part 1: “TTCN-3 Core Language“; Part 4: “TTCN-3 Operational Semantics“; Part 5: “TTCN-3 Runtime Interface (TRI)“; Part 6: “TTCN-3 Control Interface (TCI)“; Part 7: “Using ASN.1 with TTCN-3“; Part 8: “The IDL to TTCN-3 Mapping“; Part 9: “Using XML schema with TTCN-3“; Pa

20、rt 10: “TTCN-3 Documentation Comment Specification“. 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 t

21、he expression of provisions). “must“ and “must not“ are NOT allowed in ETSI deliverables except when used in direct citation. ETSI ETSI ES 202 784 V1.6.1 (2017-04) 5 1 Scope The present document defines the Advanced Parameterization package of TTCN-3. TTCN-3 can be used for the specification of all

22、types of reactive system tests over a variety of communication ports. Typical areas of application are protocol testing (including mobile and Internet protocols), service testing (including supplementary services), module testing, testing of CORBA based platforms, APIs, etc. TTCN-3 is not restricted

23、 to conformance testing and can be used for many other kinds of testing including interoperability, robustness, regression, system and integration testing. The specification of test suites for physical layer protocols is outside the scope of the present document. TTCN-3 packages are intended to defi

24、ne additional TTCN-3 concepts, which are not mandatory as concepts in the TTCN-3 core language, but which are optional as part of a package which is suited for dedicated applications and/or usages of TTCN-3. This package defines: Value parameters of types. Type parameterization. While the design of

25、TTCN-3 package has taken into account the consistency of a combined usage of the core language with a number of packages, the concrete usages of and guidelines for this package in combination with other packages is outside the scope of the present document. 2 References 2.1 Normative references Refe

26、rences 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 d

27、ocuments 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 docume

28、nts 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 ETSI ES 201 873-4: “Methods for Testing and Specification (MTS); The Testing and Test Co

29、ntrol Notation version 3; Part 4: TTCN-3 Operational Semantics“. 3 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)“. 4 ETSI ES 201 873-6: “Methods for Testing and Specification (MTS); The Testing

30、 and Test Control Notation version 3; Part 6: TTCN-3 Control Interface (TCI)“. 5 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“. 6 ETSI ES 201 873-10: “Methods for Testing and Specification (MTS); The

31、 Testing and Test Control Notation version 3; Part 10: TTCN-3 Documentation Comment Specification“. 7 ISO/IEC 9646-1: “Information technology - Open Systems Interconnection - Conformance testing methodology and framework; Part 1: General concepts“. ETSI ETSI ES 202 784 V1.6.1 (2017-04) 6 8 ETSI ES 2

32、01 873-8: “Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 8: The IDL to TTCN-3 Mapping“. 9 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“. 10 R

33、ecommendation ITU-T X.683: “Information technology - Abstract Syntax Notation One (ASN.1): Parameterization of ASN.1 specifications“. 11 ETSI ES 202 789: “Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; TTCN-3 Language Extensions: Extended TRI“. 2.2 Info

34、rmative 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 document (including any amendments

35、) 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 particular s

36、ubject area. Not applicable. 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, ETSI ES 201 873-4 2, ETSI ES 201 873-5 3, ETSI ES 201 873-6 4, ETSI ES 201 873-7 5, ETSI ES 201 873-10 6, ISO/IEC 9646-1 7 an

37、d the following apply: subtype compatibility: A type “A“ has a subtype compatibility to another type “B“ if all of the values of type A are type compatible with type “B“. NOTE: All subtypes defined via subtype definition are subtype compatible with their supertype. type parameterization: ability to

38、pass a type as an actual parameter into a parameterized object via a type parameter NOTE: This actual type parameter is added to the specification of that object and may complete it. 3.2 Abbreviations For the purposes of the present document, the abbreviations given in ETSI ES 201 873-1 1, ETSI ES 2

39、01 873-4 2, ETSI ES 201 873-5 3, ETSI ES 201 873-6 4, ETSI ES 201 873-7 5, ETSI ES 201 873-10 6 and ISO/IEC 9646-1 7 apply. ETSI ETSI ES 202 784 V1.6.1 (2017-04) 7 4 Package conformance and compatibility The package presented in the present document is identified by the package tag: “TTCN-3:2014 Adv

40、anced Parameterization“ - to be used with modules complying with the present document. NOTE: This version of the package only extends the previous versions, identified with the package tag “TTCN-3:2009 Advanced Parameterization“, with the option of parameterizing objects - in addition to types - als

41、o with signatures. For this reason, modules not containing a formal or actual parameter of the kind signature are compatible with both versions. For an implementation claiming to conform to this package version, all features specified in the present document shall be implemented consistently with th

42、e requirements given in the present document, in ETSI ES 201 873-1 1 and in ETSI ES 201 873-4 2. The package presented in the present document is compatible to: ETSI ES 201 873-1 1, version 4.5.1; ETSI ES 201 873-4 2, version 4.5.1; ETSI ES 201 873-5 3, version 4.5.1; ETSI ES 201 873-6 4, version 4.

43、5.1; ETSI ES 201 873-7 5, version 4.5.1; ETSI ES 201 873-8 8, version 4.5.1; ETSI ES 201 873-9 9, version 4.5.1; ETSI ES 201 873-10 6, version 4.5.1. If later versions of those parts are available and should be used instead, the compatibility to the package presented in the present document has to b

44、e checked individually. 5 Package concepts for the core language 5.1 Extension to ETSI ES 201 873-1, clause 4 (Introduction) The present package adds the following essential characteristic to TTCN-3: type parameterization. 5.2 Extension to ETSI ES 201 873-1, clause 5 (Basic language elements) Clause

45、 5.2.1 Scope of formal parameters Add the following text: Additionally, formal type parameters can be used as types of formal value parameters, return values, runs on and system clauses, where applicable. Clause 5.4 Parameterization Additionally, TTCN-3 supports type and signature parameterization.

46、ETSI ETSI ES 202 784 V1.6.1 (2017-04) 8 Replace table 2 “Overview of parameterizable TTCN-3 objects“ with the following table. Table 2: Overview of parameterizable TTCN-3 objects Keyword Allowed kind of Parameterization Allowed form of non-type Parameterization Allowed types in formal non-type param

47、eter lists module Value parameterization Static at start of run-time all basic types, all user-defined types and address type. type (notes 1 and 2) Value parameterization, type parameterization, signature parameterization Static at compile-time all basic types, all user-defined types and address typ

48、e. template Value and template parameterization, type parameterization Dynamic at run-time all basic types, all user-defined types, address type, template. function (note 1) Value, template, port and timer parameterization, type parameterization, signature parameterization Dynamic at run-time all ba

49、sic types, all user-defined types, address type, component type, port type, default, template and timer. altstep (note 1) Value, template, port and timer parameterization, type parameterization, signature parameterization Dynamic at run-time all basic types, all user-defined types, address type, component type, port type, default, template and timer. testcase (note 1) Value, template, port and timer parameterization, type parameterization, signature parameterization Dynamic at run-time all basic t