ETSI ES 202 784-2015 Methods for Testing and Specification (MTS) The Testing and Test Control Notation version 3 TTCN-3 Language Extensions Advanced Parameterization (V1 5 1)《测试方法和.pdf

1、 ETSI ES 202 784 V1.5.1 (2015-06) 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.5.1 (2015-06) 2 Reference RES/MTS-202784-ed151 Keywords conformance, testing, TT

2、CN-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 downloaded fro

3、m: 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 perc

4、eived 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 revi

5、sion 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/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. European Telecommunications Standards Institute 2015. 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 T

8、rade 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 202 784 V1.5.1 (2015-06) 3 Contents Intellectual Property Rights 4g3Foreword . 4g3Modal verbs terminolo

9、gy 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 6g35 Package concepts for the core language . 7g35.1 Extension to ETSI ES 201 873-1, cla

10、use 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) 10g35.4 Extension to ETSI ES 201 873-1, clause 8 (Modules) . 11g35.5 Extension to ETSI ES 201 873-1, annex A (BNF and static semantics)

11、11g36 Package semantics 12g36.0 General . 12g36.1 Extension to ETSI ES 201 873-4, clause 6 (Restrictions) 13g37 TRI extensions for the package 13g38 TCI extensions for the package 13g38.1 Extension to ETSI ES 201 873-6, clause 7 (TTCN 3 control interface and operations) 13g38.2 Extension to ETSI ES

12、201 873-6, clause 8 (Java language mapping) 14g38.3 Extension to ETSI ES 201 873-6, clause 9 (ANSI C language mapping) 14g38.4 Extension to ETSI ES 201 873-6, clause 10 (C+ language mapping) 15g38.5 Extension to ETSI ES 201 873-6, annex A (IDL Specification of TCI) 15g39 Package Extensions for the u

13、se of ASN.1 with TTCN-3 . 16g39.1 Extension to ETSI ES 201 873-7, clause 10 (Parameterization in ASN.1) 16g310 Documentation extensions for the package 17g310.1 Extension to ETSI ES 201 873-10, clause 6 (Tagged paragraphs) . 17g310.2 Extension to ETSI ES 201 873-10, annex A (where Tags can be used)

14、 18g3History 19g3ETSI ETSI ES 202 784 V1.5.1 (2015-06) 4 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, a

15、nd can be found in ETSI SR 000 314: “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 (http:/ipr.etsi.org). Pursuant to the

16、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 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. Forew

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

18、 multi-part standard ETSI ES 201 873 covering the Testing and Test Control Notation version 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 TT

19、CN-3“; Part 8: “The IDL to TTCN-3 Mapping“; Part 9: “Using XML schema with TTCN-3“; Part 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

20、 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 deliverables except when used in direct citation. ETSI ETSI ES 202 784 V1.5.1 (2015-06) 5 1 Scope The present document defines the Advance

21、d Parameterization package of TTCN-3. TTCN-3 can be used for the specification of all 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),

22、 module testing, testing of CORBA based platforms, APIs, etc. TTCN-3 is not restricted 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 protoc

23、ols is outside the scope of the present document. TTCN-3 packages are intended to define 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 p

24、ackage defines: Value parameters of types. Type parameterization. While the design of 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

25、 outside the scope 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-specific references, the late

26、st 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 at the time of publicat

27、ion, 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: “Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language“. 2 ETSI

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

29、RI)“. 4 ETSI ES 201 873-6: “Methods for Testing and Specification (MTS); The Testing 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 w

30、ith TTCN-3“. 6 ETSI ES 201 873-10: “Methods for Testing and Specification (MTS); The 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 frame

31、work; Part 1: General concepts“. 8 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“. ETSI ETSI ES 202 784 V1.5.1 (2015-06) 6 9 ETSI ES 201 873-9: “Methods for Testing and Specification (MTS); The Test

32、ing and Test Control Notation version 3; Part 9: Using XML schema with TTCN-3“. 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-spec

33、ific references, the latest version of the reference document (including any 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 app

34、lication 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 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

35、 3, ETSI ES 201 873-6 4, ETSI ES 201 873-7 5, ETSI ES 201 873-10 6, ISO/IEC 9646-1 7 and the following apply: type parameterization: ability to 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 o

36、bject 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 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 and ISO/IEC 9646-1 7 apply. 4 Package conformance and compat

37、ibility The package presented in the present document is identified by the package tag: “TTCN-3:2014 Advanced 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

38、2009 Advanced Parameterization“, with the option of parameterizing objects - in addition to types - also 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 p

39、ackage version, all features specified in the present document shall be implemented consistently with the 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;

40、 ETSI ES 201 873-4 2, version 4.4.1; ETSI ES 201 873-5 3, version 4.5.1; ETSI ES 201 873-6 4, version 4.5.1; ETSI ES 201 873-7 5, version 4.5.1; ETSI ETSI ES 202 784 V1.5.1 (2015-06) 7 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 lat

41、er versions of those parts are available and should be used instead, the compatibility to the package presented in the present document has to be 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 fo

42、llowing essential characteristic to TTCN-3: type parameterization. 5.2 Extension to ETSI ES 201 873-1, clause 5 (Basic language elements) Clause 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 value

43、s, runs on and system clauses, where applicable. Clause 5.4 Parameterization Additionally, TTCN-3 supports type and signature parameterization. Replace table 2 “Overview of parameterizable TTCN-3 objects“ with the following table. Table 2: Overview of parameterizable TTCN-3 objects Keyword Allowed k

44、ind of Parameterization Allowed form of non-type Parameterization Allowed types in formal non-type parameter 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, s

45、ignature parameterization Static at compile-time all basic types, all user-defined types and address type. 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

46、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. altstep (note 1) Value, template, port and timer parameterization, type parameterization, s

47、ignature 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 b

48、asic types and of all user-defined types, addresstype, template. signature Value and template parameterization, type parameterization Dynamic at run-time all basic types, all user-defined types and address type, component type. NOTE 1: Type and signature parameterization are always static at compile

49、time. NOTE 2: Only port and component types are parameterizable with signature formal parameters. ETSI ETSI ES 202 784 V1.5.1 (2015-06) 8 Clause 5.4.1 Formal parameters All types in TTCN-3 may be parameterized. Clause 5.4.1.1 Formal parameters of kind value In addition to the existing rules, TTCN-3 supports value parameterizations as follows: the value parameters of user-defined types shall be in parameters; the language element signature does not support static value parameterization. Modify the