ETSI ES 202 786-2017 Methods for Testing and Specification (MTS) The Testing and Test Control Notation version 3 TTCN-3 Language Extensions Support of interfaces with continuous si.pdf

1、 ETSI ES 202 786 V1.4.1 (2017-05) Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; TTCN-3 Language Extensions: Support of interfaces with continuous signals ETSI STANDARD ETSI ETSI ES 202 786 V1.4.1 (2017-05) 2 Reference RES/MTS-202786 ed141ContSign Keywo

2、rds interface, testing, 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 docu

3、ment can be downloaded 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 ca

4、se of any existing 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 docum

5、ent may be subject 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:/po

6、rtal.etsi.org/People/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 modi

7、fied without the written 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

8、of its Members. 3GPPTM 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 786 V1.

9、4.1 (2017-05) 3 Contents Intellectual Property Rights 5g3Foreword . 5g3Modal 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 compatibil

10、ity 7g35 Package concepts for the core language . 8g35.0 General . 8g35.1 Time and Sampling 9g35.1.0 General 9g35.1.1 The now operator 9g35.1.2 Define the default step size for sampling 10g35.2 Data streams . 10g35.2.0 General 10g35.2.1 Data Streams: static perspective . 11g35.2.2 Data Streams: dyna

11、mic perspective 12g35.2.2.0 General 12g35.2.2.1 Defining stream port types 12g35.2.2.2 Declaration and instantiation of stream ports 13g35.2.2.3 The Connect and Map operations 14g35.2.3 Data stream access operations 15g35.2.3.0 General 15g35.2.3.1 The value operation . 15g35.2.3.2 The timestamp oper

12、ation . 16g35.2.3.3 The delta operation 16g35.2.4 Data stream navigation operations 17g35.2.4.0 General 17g35.2.4.1 The prev operation 17g35.2.4.2 The at operation 18g35.2.5 Data stream extraction and application operations . 19g35.2.5.0 General 19g35.2.5.1 The history operation 19g35.2.5.2 The valu

13、es operation . 20g35.2.5.3 The apply operation. 20g35.2.6 Port control operations 21g35.2.7 Stream ports in static configurations . 22g35.3 The assert statement . 22g35.4 Control structures for continuous and hybrid behaviour 23g35.4.0 General 23g35.4.1 Modes . 23g35.4.1.0 General 23g35.4.1.1 Defini

14、tion of the until block 25g35.4.1.1.0 General 25g35.4.1.1.1 Definition of transition guards and events . 25g35.4.1.1.2 Definition of follow up modes . 26g35.4.1.1.3 The repeat statement 27g35.4.1.1.4 The continue statement 27g35.4.1.2 Definition of invariant blocks . 27g35.4.1.3 Definition of the on

15、entry block . 28g3ETSI ETSI ES 202 786 V1.4.1 (2017-05) 4 5.4.1.4 Definition of the onexit block . 29g35.4.1.5 Local predicate symbols in the context of modes . 30g35.4.1.6 The duration operator 30g35.4.2 Atomic modes: the cont statement 31g35.4.3 Parallel mode composition: the par statement 32g35.4

16、.4 Sequential mode composition: the seq statement 33g35.4.5 Parameterizable modes . 34g35.4.5.0 General 34g35.4.5.1 Parameterizable mode definitions . 34g35.4.5.2 Mode types (optional) . 35g35.5 The wait statement 35g36 TRI extensions for the package 36g36.0 General . 36g36.1 Extensions to clause 5.

17、5 of ETSI ES 201 873-5: Communication interface operations . 36g36.2 Extensions to clause 5.6 of ETSI ES 201 873-5: Platform interface operations. 37g36.3 Extensions to clause 6.3.2 of ETSI ES 201 873-5: Structured type mapping . 40g36.3.1 TriConfigurationIdType 40g36.3.1.0 General 40g36.3.1.1 Metho

18、ds. 40g36.4 Extensions to clause 6.5.2.1 of ETSI ES 201 873-5: TriCommunicationSA . 40g36.5 Extensions to clause 6.5.3.1 of ETSI ES 201 873-5: TriPlatformPA . 40g36.6 Extensions to clause 6.5.3.2 of ETSI ES 201 873-5: TriPlatformTE . 41g36.7 Extensions to clause 7.2.1 of ETSI ES 201 873-5: Abstract

19、type mapping 41g36.8 Extensions to clause 7.2.4 of ETSI ES 201 873-5: TRI operation mapping . 42g36.9 Extensions to clause 8.5.2 of ETSI ES 201 873-5: Abstract data types . 42g36.9.1 TriConfigurationId 42g36.9.1.0 General 42g36.9.1.1 Methods. 42g36.10 Extensions to clause 8.6.1 of ETSI ES 201 873-5:

20、 TriCommunicationSA 43g36.11 Extensions to clause 8.6.3 of ETSI ES 201 873-5: TriPlatformPA 43g36.12 Extensions to clause 8.6.4 of ETSI ES 201 873-5: TriPlatformTE 43g36.13 Extensions to clause 9.4.2 of ETSI ES 201 873-5: Structured type mapping . 44g36.13.1 TriConfigurationIdType 44g36.13.1.0 Gener

21、al 44g36.13.1.1 Members . 44g36.14 Extensions to clause 9.5.2.1 of ETSI ES 201 873-5: ITriCommunicationSA 44g36.15 Extensions to clause 9.5.2.3 of ETSI ES 201 873-5: ITriPlatformPA 45g36.16 Extensions to clause 9.5.2.4 of ETSI ES 201 873-5: ITriPlatformTE 45g37 TCI extensions for the package 45g37.1

22、 Extensions to clause 7.3.3.2 of ETSI ES 201 873-6: TCI-CH provided 45g37.2 Extensions to clause 7.3.3.1 of ETSI ES 201 873-6: TCI-CH required . 46g37.3 Extensions to clause 8.5.3.1 of ETSI ES 201 873-6: TCI-CH provided 47g37.4 Extensions to clause 8.5.3.2 of ETSI ES 201 873-6: TCI-CH required . 47g

23、37.5 Extensions to clause 9.4.3.1 of ETSI ES 201 873-6: TCI-CH provided 47g37.6 Extensions to clause 9.4.3.2 of ETSI ES 201 873-6: TCI-CH required . 47g37.7 Extensions to clause 10.6.3.1 of ETSI ES 201 873-6: TciChRequired 47g37.8 Extensions to clause 10.6.3.2 of ETSI ES 201 873-6: TciChProvided . 4

24、8g37.9 Extensions to clause 12.5.3.1 of ETSI ES 201 873-6: TCI-CH provided. 48g37.10 Extensions to clause 12.5.3.2 of ETSI ES 201 873-6: TCI-CH required . 48g3Annex A (normative): BNF and static semantics 49g3A.1 New TTCN-3 terminals 49g3A.2 Changed BNF Rules . 49g3A.3 New BNF Rules . 50g3Annex B (i

25、nformative): Bibliography . 52g3History 53g3ETSI ETSI ES 202 786 V1.4.1 (2017-05) 5 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

26、members and non-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.

27、etsi.org/). Pursuant 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

28、 the present document. Foreword 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 pre

29、sent 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 4: “TTCN-3 Operational Semantics“; Part 5: “TTCN-3 Runtime Interface (TRI)“; Part 6: “TTCN-3 Control Interface (TCI)“;

30、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“. Modal verbs terminology In the present document “shall“, “shall not“, “should“, “should not“, “may“, “need not“, “will“, “will not“,

31、“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 786 V1.4.1 (2017-05) 6 1 Scope The present

32、document defines the “Continuous Signal support“ 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 (incl

33、uding 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 for physical layer

34、 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/or usages of TTCN-3.

35、 This package defines concepts for testing systems using continuous signals as opposed to discrete messages and the characterization of the progression of such signals by use of streams. For both the production as well as the evaluation of continuous signals the concept of mode is introduced. Also,

36、the signals can be processed as history-traces. Finally, basic mathematical functions that are useful for analyzing such traces are defined for TTCN-3. It is thus especially useful for testing systems which communicate with the physical world via sensors and actuators. While the design of TTCN-3 pac

37、kage 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 References are

38、 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 documents w

39、hich 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 documents are ne

40、cessary for the application of the present document. 1 ETSI ES 201 873-1 (V4.9.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 (V4.6.1): “Methods for Testing and Specification (MTS); The Testing and

41、 Test Control Notation version 3; Part 4: TTCN-3 Operational Semantics“. 3 ETSI ES 201 873-5 (V4.8.1): “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 (V4.9.1): “Methods for Testing and Specif

42、ication (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 framework; Part 1: General concepts“. 6 ETSI ES 202 785 (V1.3.1): “Methods for Testi

43、ng and Specification (MTS); The Testing and Test Control Notation version 3; TTCN-3 Language Extensions: Behaviour Types“. 7 ETSI ES 202 781 (V1.3.1): “Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; TTCN-3 Language Extensions: Configuration and Deployme

44、nt Support“. ETSI ETSI ES 202 786 V1.4.1 (2017-05) 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 cited version applies. For non-specific references, the latest

45、 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 documents are not necessary for the application of the present do

46、cument 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 201 873-8: “Methods for Testing and Specification (MTS); The T

47、esting 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“. i.4 ETSI ES 201 873-10: “Methods for Testing and Specification

48、(MTS); The Testing and Test Control Notation version 3; Part 10: TTCN-3 Documentation Comment Specification“. i.5 ETSI ES 202 784: “Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; TTCN-3 Language Extensions: Advanced Parameterization“. i.6 ETSI ES 202 78

49、2: “Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; TTCN-3 Language Extensions: TTCN-3 Performance and Real Time Testing“. 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 and ISO/IEC 9646-1 5 apply. 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 E