ETSI ES 202 785-2017 Methods for Testing and Specification (MTS) The Testing and Test Control Notation version 3 TTCN-3 Language Extensions Behaviour Types (V1 5 1).pdf

1、 ETSI ES 202 785 V1.5.1 (2017-08) Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; TTCN-3 Language Extensions: Behaviour Types ETSI STANDARD ETSI ETSI ES 202 785 V1.5.1 (2017-08) 2 Reference RES/MTS-202785 ed151BehTypes Keywords conformance, testing, TTCN

2、-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 from:

3、 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 percei

4、ved 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 revisi

5、on 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/People/Commite

6、eSupportStaff.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 aut

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

8、 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 trademarks registered and owned by the GSM Association. ETSI ETSI ES 202 785 V1.5.1 (2017-08) 3 Contents Intellectual Property Rights 4g3Foreword . 4g3Mo

9、dal verbs terminology 5g31 Scope 6g32 References 6g32.1 Normative references . 6g32.2 Informative references 7g33 Definitions and abbreviations . 7g33.1 Definitions 7g33.2 Abbreviations . 7g34 Package conformance and compatibility 7g35 Package concepts for the core language . 8g35.1 Extension to ETS

10、I ES 201 873-1, clause 5 (Basic language elements) 8g35.2 Extension to ETSI ES 201 873-1, clause 6 (Types and values) 9g35.3 Extension to ETSI ES 201 873-1, clause 7 (Expressions) 14g35.4 Extension to ETSI ES 201 873-1, clause 8 (Modules) . 15g35.5 Extension to ETSI ES 201 873-1, clause 10 (Declarin

11、g constants) 15g35.6 Extension to ETSI ES 201 873-1, clause 11 (Declaring variables) 15g35.7 Extension to ETSI ES 201 873-1, clause 15 (Declaring templates) . 15g35.8 Extension to ETSI ES 201 873-1, clause 16 (Functions, altsteps and test cases) . 16g35.9 Extension to ETSI ES 201 873-1, clause 19 (B

12、asic program statements) 16g35.10 Extension to ETSI ES 201 873-1, clause 20 (Statements and operations for alternative behaviours) 17g35.11 Extension to ETSI ES 201 873-1, clause 21 (Configuration Operations) 17g35.12 Extension to ETSI ES 201 873-1, clause 26 (Module control) 18g35.13 Extension to E

13、TSI ES 201 873-1, annex A (BNF and static semantics) 19g35.13.0 New keywords and TTCN-3 syntax BNF productions . 19g35.13.1 Changes to ETSI ES 201 873-1, clause A.1.6 (TTCN-3 syntax BNF productions) . 19g36 Package semantics 20g36.1 Replacements . 20g36.2 Activate statement 20g36.3 Replacements in E

14、xecute statements operational semantics 21g36.3.0 Execute statement . 21g36.3.1 Flow graph segment . 22g36.4 Replacements in Function calls operational semantics 23g36.4.0 Function call . 23g36.4.1 Flow graph segment 25g36.4.2 Flow graph segment . 25g36.5 Start component operation 25g37 TRI extensio

15、ns for the package 28g38 TCI extensions for the package 28g38.1 Extensions to ETSI ES 201 873-6, clause 7 (TTCN-3 control interface and operations). 28g38.2 Extensions to ETSI ES 201 873-6, clause 8 (Java language mapping) 29g38.3 Extensions to ETSI ES 201 873-6, clause 9 (ANSI C language mapping) 3

16、0g38.4 Extensions to ETSI ES 201 873-6, clause 10 (C+ language mapping) 31g38.5 Extensions to ETSI ES 201 873-6, clause 11 (W3C XML mapping) 32g39 Extensions to TTCN-3 documentation comment specification for the package 42g39.1 Extensions to ETSI ES 201 873-10, annex A (Where Tags can be used) 42g3H

17、istory 44g3ETSI ETSI ES 202 785 V1.5.1 (2017-08) 4 Intellectual Property Rights Essential patents 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

18、-members, and 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 (https:/ipr.etsi.org/). Pur

19、suant to the 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 do

20、cument. Trademarks The present document may include trademarks and/or tradenames which are asserted and/or registered by their owners. ETSI claims no ownership of these except for any which are indicated as being the property of ETSI, and conveys no right to use or reproduce any trademark and/or tra

21、dename. Mention of those trademarks in the present document does not constitute an endorsement by ETSI of products, services or organizations associated with those trademarks. Foreword This ETSI Standard (ES) has been produced by ETSI Technical Committee Methods for Testing and Specification (MTS).

22、The present document relates to the 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 2: “TTCN-3 Tabular presentation Format (TFT)“; Part 3: “TTCN-3 Graphical presentation Format (GFT)“; Part 4: “TT

23、CN-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“; Part 10: “TTCN-3 Documentation Comment Specification“; Part 11: “Using JSON

24、 with TTCN-3“; Part 12: “Using WSDL with TTCN-3“. NOTE: Part 2 of the multi-part deliverable ETSI TS 201 873 is in status “historical“ and is not maintained. ETSI ETSI ES 202 785 V1.5.1 (2017-08) 5 Modal verbs terminology In the present document “shall“, “shall not“, “should“, “should not“, “may“, “

25、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 provisions). “must“ and “must not“ are NOT allowed in ETSI deliverables except when used in direct citation. ETSI ETSI ES 202 785 V1.5.1 (

26、2017-08) 6 1 Scope The present document defines the Behaviour Types 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), se

27、rvice testing (including supplementary services), module testing, testing of 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

28、 for physical layer protocols 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/o

29、r usages of TTCN-3. This package defines types for behaviour definitions in TTCN-3. 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

30、 other packages is 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 re

31、ferences, the latest version of the referenced document (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

32、 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: “Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 C

33、ore Language“. 2 ETSI 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

34、 Runtime Interface (TRI)“. 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 ISO/IEC 9646-1: “Information technology - Open Systems Interconnection - Conformance testing methodology and frame

35、work; Part 1: General concepts“. 6 ETSI ES 202 784: “Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; TTCN-3 Language Extensions: Advanced Parameterization“. 7 ETSI ES 201 873-10: “Methods for Testing and Specification (MTS); The Testing and Test Control

36、Notation version 3; Part 10: TTCN-3 Documentation Comment Specification“. ETSI ETSI ES 202 785 V1.5.1 (2017-08) 7 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 c

37、ited version applies. For non-specific references, the latest version of the referenced 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 docu

38、ments are not necessary for the application of the present document but they assist the user with regard to a particular subject area. i.1 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.2 ETSI ES 2

39、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“. i.3 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“. 3

40、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, ISO/IEC 9646-1 5 and the following apply: behaviour definition: definition of an altstep, fun

41、ction, or testcase that can be called explicitly NOTE: A control part is not considered a behaviour definition, because it cannot be called explicitly. behaviour type: type of behaviour definitions NOTE: Behaviour types are of kind altstep, function, or testcase. 3.2 Abbreviations For the purposes o

42、f 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 and ISO/IEC 9646-1 5 apply. 4 Package conformance and compatibility The package presented in the present document is identified by the package tag: “TTCN-3:2009 Behav

43、iour Types“ - to be used with modules complying with the present document For an implementation claiming to conform to this package version, all features specified in the present document shall be implemented consistently with the requirements given in the present document and in ETSI ES 201 873-1 1

44、 and ETSI ES 201 873-4 2. All features marked AdvancedParameterization have to be implemented only in case that this package is used together with the Advanced Parameterization package 6. The package presented in the present document is compatible with: ETSI ES 201 873-1 1 (V4.5.1). ETSI ES 201 873-

45、4 2 (V4.4.1). ETSI ES 201 873-5 3 (V4.5.1). ETSI ETSI ES 202 785 V1.5.1 (2017-08) 8 ETSI ES 201 873-6 4 (V4.5.1). ETSI ES 201 873-7 i.1 (V4.5.1). ETSI ES 201 873-8 i.2 (V4.5.1). ETSI ES 201 873-9 i.3 (V4.5.1). ETSI ES 201 873-10 7 (V4.5.1). If later versions of those parts are available and should b

46、e used instead, the compatibility to the package presented in the present document has to be checked individually. The package presented in the present document is also compatible with: ETSI ES 202 784 6 Package Advanced Parameterization (V1.3.1); and can be used together with this package. If later

47、 versions of those packages 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 5 (Basic language elements) Clause 5.4 Paramete

48、rization Values of behaviour types can be passed as parameters as indicated in table 2. Table 2: Overview of parameterizable TTCN-3 objects Keyword Allowed kind of Parameterization Allowed form of Parameterization Allowed types in formal parameter lists module Value parameterization Static at start

49、of run-time all basic types, all user-defined types and address type. type (see note) Value parameterization Static at compile-time all basic types, all user-defined types and address type. template Value and template parameterization Dynamic at run-time all basic types, all user-defined types, address type, template, and behaviour types. function Value, template, port and timer parameterization Dynamic at run-time all basic types, all user-defined types, address type, component type, po