ITU-T Z 164-2017 Testing and Test Control Notation version 3 TTCN-3 operational semantics (Study Group 17).pdf

《ITU-T Z 164-2017 Testing and Test Control Notation version 3 TTCN-3 operational semantics (Study Group 17).pdf》由会员分享，可在线阅读，更多相关《ITU-T Z 164-2017 Testing and Test Control Notation version 3 TTCN-3 operational semantics (Study Group 17).pdf（8页珍藏版）》请在麦多课文档分享上搜索。

1、 I n t e r n a t i o n a l T e l e c o m m u n i c a t i o n U n i o n ITU-T Z.164 TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU (10/2017) SERIES Z: LANGUAGES AND GENERAL SOFTWARE ASPECTS FOR TELECOMMUNICATION SYSTEMS Formal description techniques (FDT) Testing and Test Control Notation (TTCN) Tes

2、ting and Test Control Notation version 3: TTCN-3 operational semantics Recommendation ITU-T Z.164 ITU-T Z-SERIES RECOMMENDATIONS LANGUAGES AND GENERAL SOFTWARE ASPECTS FOR TELECOMMUNICATION SYSTEMS FORMAL DESCRIPTION TECHNIQUES (FDT) Specification and Description Language (SDL) Z.100Z.109 Applicatio

3、n of formal description techniques Z.110Z.119 Message Sequence Chart (MSC) Z.120Z.129 User Requirements Notation (URN) Z.150Z.159 Testing and Test Control Notation (TTCN) Z.160Z.179 PROGRAMMING LANGUAGES CHILL: The ITU-T high level language Z.200Z.209 MAN-MACHINE LANGUAGE General principles Z.300Z.3

4、09 Basic syntax and dialogue procedures Z.310Z.319 Extended MML for visual display terminals Z.320Z.329 Specification of the man-machine interface Z.330Z.349 Data-oriented human-machine interfaces Z.350Z.359 Human-machine interfaces for the management of telecommunications networks Z.360Z.379 QUALIT

5、Y Quality of telecommunication software Z.400Z.409 Quality aspects of protocol-related Recommendations Z.450Z.459 METHODS Methods for validation and testing Z.500Z.519 MIDDLEWARE Processing environment architectures Z.600Z.609 For further details, please refer to the list of ITU-T Recommendations. R

6、ec. ITU-T Z.164 (10/2017) i Recommendation ITU-T Z.164 Testing and Test Control Notation version 3: TTCN-3 operational semantics Summary Recommendation ITU-T Z.164 defines the operational semantics of Testing and Test Control Notation 3 (TTCN-3). The operational semantics are necessary to unambiguou

7、sly interpret the specifications made with TTCN-3. This Recommendation is based on the TTCN-3 core language defined in Recommendation ITU-T Z.161. This revision of the Recommendation contains amendments, clarifications, corrigenda and editorial corrections. This Recommendation is technically aligned

8、 with ETSI ES 201 873-4 V4.6.1 (2017-05). History Edition Recommendation Approval Study Group Unique ID* 1.0 ITU-T Z.143 2006-03-16 17 11.1002/1000/8643 2.0 ITU-T Z.164 2007-11-13 17 11.1002/1000/9280 3.0 ITU-T Z.164 2011-03-16 17 11.1002/1000/11066 4.0 ITU-T Z.164 2012-05-29 17 11.1002/1000/11599 5

9、.0 ITU-T Z.164 2016-10-14 17 11.1002/1000/13045 6.0 ITU-T Z.164 2017-10-14 17 11.1002/1000/13375 Keywords Control notation, interoperability testing, protocols, protocol testing, service testing, testing, tools, TTCN-3. _ * To access the Recommendation, type the URL http:/handle.itu.int/ in the addr

10、ess field of your web browser, followed by the Recommendations unique ID. For example, http:/handle.itu.int/11.1002/1000/11830-en. ii Rec. ITU-T Z.164 (10/2017) FOREWORD The International Telecommunication Union (ITU) is the United Nations specialized agency in the field of telecommunications, infor

11、mation and communication technologies (ICTs). The ITU Telecommunication Standardization Sector (ITU-T) is a permanent organ of ITU. ITU-T is responsible for studying technical, operating and tariff questions and issuing Recommendations on them with a view to standardizing telecommunications on a wor

12、ldwide basis. The World Telecommunication Standardization Assembly (WTSA), which meets every four years, establishes the topics for study by the ITU-T study groups which, in turn, produce Recommendations on these topics. The approval of ITU-T Recommendations is covered by the procedure laid down in

13、WTSA Resolution 1. In some areas of information technology which fall within ITU-Ts purview, the necessary standards are prepared on a collaborative basis with ISO and IEC. NOTE In this Recommendation, the expression “Administration“ is used for conciseness to indicate both a telecommunication admin

14、istration and a recognized operating agency. Compliance with this Recommendation is voluntary. However, the Recommendation may contain certain mandatory provisions (to ensure, e.g., interoperability or applicability) and compliance with the Recommendation is achieved when all of these mandatory prov

15、isions are met. The words “shall“ or some other obligatory language such as “must“ and the negative equivalents are used to express requirements. The use of such words does not suggest that compliance with the Recommendation is required of any party. INTELLECTUAL PROPERTY RIGHTSITU draws attention t

16、o the possibility that the practice or implementation of this Recommendation may involve the use of a claimed Intellectual Property Right. ITU takes no position concerning the evidence, validity or applicability of claimed Intellectual Property Rights, whether asserted by ITU members or others outsi

17、de of the Recommendation development process. As of the date of approval of this Recommendation, ITU had not received notice of intellectual property, protected by patents, which may be required to implement this Recommendation. However, implementers are cautioned that this may not represent the lat

18、est information and are therefore strongly urged to consult the TSB patent database at http:/www.itu.int/ITU-T/ipr/. ITU 2017 All rights reserved. No part of this publication may be reproduced, by any means whatsoever, without the prior written permission of ITU. Rec. ITU-T Z.164 (10/2017) 1 Recomme

19、ndation ITU-T Z.164 Testing and Test Control Notation version 3: TTCN-3 operational semantics 1 Scope This Recommendation defines the operational semantics of TTCN-3. 2 References The following ITU-T Recommendations and other references contain provisions which, through reference in this text, const

20、itute provisions of this Recommendation. At the time of publication, the editions indicated were valid. All Recommendations and other references are subject to revision; users of this Recommendation are therefore encouraged to investigate the possibility of applying the most recent edition of the Re

21、commendations and other references listed below. A list of the currently valid ITU-T Recommendations is regularly published. The reference to a document within this Recommendation does not give it, as a stand-alone document, the status of a Recommendation. ITU-T Z.161 Recommendation ITU-T Z.161 (201

22、7), Testing and Test Control Notation version 3: TTCN-3 core language. ETSI ES 201 873-4 V4.6.1 ETSI ES 201 873-4 V4.6.1 (2017-05), Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 4: TTCN-3 Operational Semantics. 3 Definitions 3.1 Terms defined else

23、where None. 3.2 Terms defined in this Recommendation None. 4 Abbreviations and acronyms None. 5 Conventions None. 6 Endorsement ETSI ES 201 873-4 V4.6.1 was approved by ITU-T as the basis for Recommendation ITU-T Z.164. Printed in Switzerland Geneva, 2017 SERIES OF ITU-T RECOMMENDATIONS Series A Org

24、anization of the work of ITU-T Series D Tariff and accounting principles and international telecommunication/ICT economic and policy issues Series E Overall network operation, telephone service, service operation and human factors Series F Non-telephone telecommunication services Series G Transmissi

25、on systems and media, digital systems and networks Series H Audiovisual and multimedia systems Series I Integrated services digital network Series J Cable networks and transmission of television, sound programme and other multimedia signals Series K Protection against interference Series L Environme

26、nt and ICTs, climate change, e-waste, energy efficiency; construction, installation and protection of cables and other elements of outside plant Series M Telecommunication management, including TMN and network maintenance Series N Maintenance: international sound programme and television transmissio

27、n circuits Series O Specifications of measuring equipment Series P Telephone transmission quality, telephone installations, local line networks Series Q Switching and signalling, and associated measurements and tests Series R Telegraph transmission Series S Telegraph services terminal equipment Seri

28、es T Terminals for telematic services Series U Telegraph switching Series V Data communication over the telephone network Series X Data networks, open system communications and security Series Y Global information infrastructure, Internet protocol aspects, next-generation networks, Internet of Things and smart cities Series Z Languages and general software aspects for telecommunication systems