ITU-T Z 164-2016 Testing and Test Control Notation version 3 TTCN-3 operational semantics《测试和测试控制符号版本3：TTCN-3操作语义学(研究组17)》.pdf

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/2016) 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/2016) 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.5.1 (2016). 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.0

9、ITU-T Z.164 2016-10-14 17 11.1002/1000/13045 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 address field of your web browser, followed by the Recom

10、mendations unique ID. For example, http:/handle.itu.int/11.1002/1000/11830-en. ii Rec. ITU-T Z.164 (10/2016) FOREWORD The International Telecommunication Union (ITU) is the United Nations specialized agency in the field of telecommunications, information and communication technologies (ICTs). The IT

11、U 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 worldwide basis. The World Telecommunication Standardiz

12、ation 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 WTSA Resolution 1. In some areas of information tech

13、nology 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 administration and a recognized operating agency. Complia

14、nce 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 provisions are met. The words “shall“ or some other obli

15、gatory 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 to the possibility that the practice or implementatio

16、n 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 outside of the Recommendation development process. As of

17、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 latest information and are therefore strongly urged to

18、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/2016) 1 Recommendation ITU-T Z.164 Testing and Test Control Notatio

19、n 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, constitute provisions of this Recommendation. At the time

20、 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 Recommendations and other references listed below. A l

21、ist 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(2016), Testing and Test Control Notation version 3: TTCN

22、-3 core language. ETSI ES 201 873-4 V4.5.1 ETSI ES 201 873-4 V4.5.1 (2016-07), 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 elsewhere None. 3.2 Terms defined in this Recommendation

23、None. 4 Abbreviations and acronyms None. 5 Conventions None. 6 Endorsement ETSI ES 201 873-4 V4.5.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 Organization of the work of ITU-T Series D General tarif

24、f principles Series E Overall network operation, telephone service, service operation and human factors Series F Non-telephone telecommunication services Series G Transmission systems and media, digital systems and networks Series H Audiovisual and multimedia systems Series I Integrated services dig

25、ital network Series J Cable networks and transmission of television, sound programme and other multimedia signals Series K Protection against interference Series L Environment and ICTs, climate change, e-waste, energy efficiency; construction, installation and protection of cables and other elements

26、 of outside plant Series M Telecommunication management, including TMN and network maintenance Series N Maintenance: international sound programme and television transmission circuits Series O Specifications of measuring equipment Series P Terminals and subjective and objective assessment methods Se

27、ries Q Switching and signalling Series R Telegraph transmission Series S Telegraph services terminal equipment Series 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 and next-generation networks, Internet of Things and smart cities Series Z Languages and general software aspects for telecommunication systems