1、 ETSI ES 201 873-2 V3.2.1 (2007-02)ETSI Standard Methods for Testing and Specification (MTS);The Testing and Test Control Notation version 3;Part 2: TTCN-3 Tabular presentation Format (TFT)ETSI ETSI ES 201 873-2 V3.2.1 (2007-02) 2 Reference RES/MTS-00090-22 ttcn3 tft Keywords methodology, MTS, testi
2、ng, TFT, TTCN 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 Individual copies of the present
3、document can be downloaded from: http:/www.etsi.org The present document may be made available in more than one electronic version or in print. In any case of existing or perceived difference in contents between such versions, the reference version is the Portable Document Format (PDF). In case of d
4、ispute, the reference shall be the printing on ETSI printers of the 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 revision or change of status. Information on the current status of this and othe
5、r 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: http:/portal.etsi.org/chaircor/ETSI_support.asp Copyright Notification No part may be reproduced except as authorized by
6、written permission. The copyright and the foregoing restriction extend to reproduction in all media. European Telecommunications Standards Institute 2007. All rights reserved. DECTTM, PLUGTESTSTM and UMTSTM are Trade Marks of ETSI registered for the benefit of its Members. TIPHONTMand the TIPHON log
7、o are Trade Marks currently being registered by ETSI for the benefit of its Members. 3GPPTM is a Trade Mark of ETSI registered for the benefit of its Members and of the 3GPP Organizational Partners. ETSI ETSI ES 201 873-2 V3.2.1 (2007-02) 3 Contents Intellectual Property Rights4 Foreword.4 1 Scope 5
8、 2 References 5 3 Abbreviations .5 4 Introduction 6 5 Conventions7 5.1 Syntactic metanotation .7 5.2 Specification text7 5.3 Proformas .7 5.4 Core language.7 5.5 General Mapping Rules8 6 Proformas .8 6.1 Test Suite Control.8 6.1.1 Mapping9 6.2 Test Suite Parameters .10 6.2.1 Mapping10 6.3 Module Imp
9、orts 11 6.3.1 Mapping11 6.4 Simple Types12 6.4.1 Mapping12 6.5 Structured Types 13 6.5.1 Mapping13 6.6 SequenceOf Types14 6.6.1 Mapping15 6.7 Enumerated Type .15 6.7.1 Mapping16 6.8 Port Types 17 6.8.1 Mapping17 6.9 Component Types.18 6.9.1 Mapping18 6.10 Constants 19 6.10.1 Mapping19 6.11 Signature
10、.20 6.11.1 Mapping20 6.12 Simple Templates.21 6.12.1 Mapping21 6.13 Structured Template .22 6.13.1 Mapping22 6.14 Function23 6.14.1 Mapping24 6.15 Altstep 25 6.15.1 Mapping25 6.16 Testcase 27 6.16.1 Mapping27 7 BNF productions 29 History 32 ETSI ETSI ES 201 873-2 V3.2.1 (2007-02) 4 Intellectual Prop
11、erty 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, and can be found in ETSI SR 000 314: “Intellectual Property Rights (IPRs); E
12、ssential, 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:/webapp.etsi.org/IPR/home.asp). Pursuant to the ETSI IPR Policy, no investigation, including IPR searches,
13、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. Foreword This ETSI Standard (ES) has been produced by ETSI Techn
14、ical Committee Methods for Testing and Specification (MTS). The present document is part 2 of a multi-part deliverable. Full details of the entire series can be found in part 1 1. ETSI ETSI ES 201 873-2 V3.2.1 (2007-02) 5 1 Scope The present document defines the tabular presentation format of TTCN V
15、ersion 3 (or TTCN-3). The present document is based on the TTCN-3 core language defined in ES 201 873-1 1. The specification of other formats is outside the scope of the present document. 2 References The following documents contain provisions which, through reference in this text, constitute provis
16、ions of the present document. References are either specific (identified by date of publication and/or edition number or version number) or non-specific. For a specific reference, subsequent revisions do not apply. For a non-specific reference, the latest version applies. Referenced documents which
17、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 publication ETSI cannot guarantee their long term validity. 1 ETSI ES 201 873-1: “Methods for Testing and Sp
18、ecification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core 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 Abbreviations For the purposes of the presen
19、t document, the following abbreviations apply: ASN.1 Abstract Syntax Notation One ATS Abstract Test Suite BNF Backus-Nauer FormMTC Master Test Component PICS Protocol Implementation Conformance Statement PIXIT Protocol Implementation eXtra Information for Testing TFT Tabular presentation Format for
20、TTCN-3 TTCN Testing and Test Control Notation ETSI ETSI ES 201 873-2 V3.2.1 (2007-02) 6 4 Introduction The Tabular presentation Format for TTCN-3 (TFT) is a graphical format that is similar in appearance and functionality to earlier versions of TTCN, which are conformance testing oriented. The core
21、language of TTCN-3 is defined in ES 201 873-1 1 and provides a full text-based syntax, static semantics as well as defining the use of the language with ASN.1. The operational semantics are defined in ES 201 873-4 2. The tabular format provides an alternative way of displaying the core language as w
22、ell as emphasizing those aspects that are particular to the requirements of a standardized conformance test suite. Text Format The shaded boxes are not defined in this document TTCN-3 Core Language Presentation formatnTTCN-3 User ASN.1 Types b) syntax mappings; c) additional static semantics; d) ope
23、rational semantic restrictions; e) display and other attributes. Together these characteristics form the tabular presentation format. ETSI ETSI ES 201 873-2 V3.2.1 (2007-02) 7 5 Conventions This clause defines the conventions, which have been used when defining the TTCN proformas and the TTCN core l
24、anguage grammar. 5.1 Syntactic metanotation Table 1 defines the metanotation used to specify the extended BNF grammar for TTCN (henceforth called BNF). Table 1: The TTCN.MP Syntactic Metanotation := is defined to be abc xyz abc followed by xyz | alternative abc 0 or 1 instances of abc abc 0 or more
25、instances of abc abc+ 1 or more instances of abc ( . ) textual grouping abc the non-terminal symbol abc abc a terminal symbol abc “abc“ a terminal symbol abc The BNF productions are defined in annex A of ES 201 873-1 1. 5.2 Specification text a) Bold text shall be used for references to proforma fie
26、lds. b) Italics text shall be used for references to the TTCN-3 core language BNF productions. c) Bold courier new text shall be used for core language keywords. 5.3 Proformas a) Bold text shall appear verbatim in each actual table in a TTCN-3 module. b) Italics text shall not appear verbatim in a T
27、TCN-3 module. This font is used to indicate that actual text shall be substituted for the italicized symbol. Syntax requirements for the actual text can be found either following the definition of the proforma or in the TTCN-3 core language BNF. Square brackets before and after the Italics text indi
28、cates that inclusion of the text into the given field of the proforma is optional. 5.4 Core language a) Bold text of characters in quotes (e.g. ) is used for reserved keywords and terminals in the core language. b) Italics text shall not appear verbatim in a TTCN-3 module. This font is used to indic
29、ate that actual text shall be substituted for the italicized symbol. Syntax requirements for the actual text can be found either following the definition of the proforma or in the TTCN-3 core language BNF. c) The “.“ notation is a place holder for any arbitrary contents that is not explicitly shown.
30、 ETSI ETSI ES 201 873-2 V3.2.1 (2007-02) 8 5.5 General Mapping Rules The mapping between the tabular presentation format and the TTCN-3 core language consists of a set of transformations. For every syntactical element within each proforma there is an associated transformation. The transformations ma
31、ke it also possible to transform any core language module into a tabular representation. These transformations fall into two classes. The first class directly converts between a tabular element and a core language construct with the same meaning. The second class converts between a tabular element a
32、nd an associated core language construct, which has no meaning at the core language level. A typical example for the first class of transformations would be an identifier field. This field can be directly transformed from tabular to the core language and retains its meaning i.e. identifying same lan
33、guage element. The second class of transformations is typically some form of comment or directive as to how a language element should be displayed in the presentation format. These elements have no direct meaning in the core language and are expressed using the WithStatement. The syntax and semantic
34、s specified in the present document are specific to the ETSI tabular presentation format. In order to unambiguously identify within the core language which presentation format is being used the following special display statement shall be specified as the first display statement associated with the
35、TTCN-3 core language module: 1: 2: 3: 4: 5: 6: 7: module TTCN3ModuleId “ . “ with “ display “ “presentation format“ “:=“ “ETSI Tabular version“ MajorVersion “.“ MinorVersion “ “;“ . “ NOTE: All With Statements associated with a given proforma should be grouped together in a contiguous list. The Grou
36、p fields in the proformas are never translated into WithStatements but are derived from the actual group structure of the module specification. 6 Proformas 6.1 Test Suite Control Test Suite Control Module Name TTCN3ModuleId Version TabFreeText Date TabFreeText Base Standard Ref TabFreeText Test Stan
37、dard Ref TabFreeText PICS Ref TabFreeText PIXIT Ref TabFreeText Test Method(s) TabFreeText Encoding TabFreeText Comments TabFreeText Local Def Name Type Initial Value Comments VarConstOrTimerIdentifier . ConstTypeOrTimer. Expression . TabFreeText . Behaviour ModuleControlBody Detailed Comments TabFr
38、eeText Figure 2: Test Suite Control Proforma ETSI ETSI ES 201 873-2 V3.2.1 (2007-02) 9 6.1.1 Mapping The Test Suite Control proforma is translated into three parts. The first part consists of the header fields and the Detailed Comments field, which are converted to display attributes within the With
39、Statement associated with the overall TTCN-3 module. The Module Name field is mapped to the module identifier. The second part consists of local constants, variables and timers defined in the control part. These definitions can occur anywhere in the control part of the core language, but for the pro
40、forma they are separated from the rest of the module control body and displayed in a separate table. The order of the definitions shall be preserved, since the definitions can depend on each other. The Type column shall be set to the keyword timer for all timers and to the constant type preceded by
41、the keyword const for all constants. The Comments fields of the local definitions table are converted to display attributes within the WithStatement associated with the control part of the TTCN-3 core language module. The third part is the control part of the TTCN-3 core language module minus the lo
42、cal constants, variables and timers. 1: 2: 3: 4: 5: 6: 7: 8: 9: 10: 11: 12: 13: module TTCN3ModuleId “ control “ var Type VarIdentifier “:=“ Expression “;“ timer TimerIdentifier “:=“ Expression “;“ const Type ConstIdentifier “:=“ ConstantExpression; ModuleControlBody “ with “ VarConstOrTimerComments
43、Attribute “ “ with “ ModuleAttributes EncodeAttribute; “ EXAMPLE: Test Suite Control Module Name Example1 Version 1.01 Date 19 July 2001 Base Standards Ref ITU-T Recommendation Q.123 Test Standards Ref ITU-T Recommendation Q.123.1 PICS Ref ITU-T Recommendation Q.123.2, Annex A PIXIT Ref ITU-T Recomm
44、endation Q.123.2, Annex B Test Method(s) local Encoding BER Comments ATS written by STF 133 Local Def Name Type Initial Value Comments PI const float 3.14 the ratio x float PI * 2 double PI t1 timer 15 a 15 second timer Behaviour /* group1/ */ /* group1_1/ */ execute(test1); execute(test2); /* group
45、1_2/ */ execute(test3); execute(test4); /* group2/ */ execute(test5); Detailed Comments detailed comments ETSI ETSI ES 201 873-2 V3.2.1 (2007-02) 10Maps to: 1: 2: 3: 4: 5: 6: 7: 8: 9: 10: 11: 12: 13: 14: 15: 16: 17: 18: 19: 20: 21: 22: 23: 24: 25: 26: 27: 28: 29: 30: 31: 32: 33: module Example1 cont
46、rol const float PI := 3.14; var float x := PI * 2; timer t1 := 15; /* group1/ */ /* group1_1/ */ execute(test1(); execute(test2(); /* group1_2/ */ execute(test3(); execute(test4(); /* group2/ */ execute(test5(); with display (PI) “comments := the ratio“; display (x) “comments := double PI“; display
47、(t1) “comments := a 15 second timer“; with display “presentation format := ETSI Tabular version 1.0“; display “module version := 1.01“; display “module date := 19 July 2001“; display “module base standards ref := ITU-T Recommendation Q.123“; display “module test standards ref := ITU-T Recommendation
48、 Q.123“; display “module pics ref := ITU-T Recommendation Q.123, Annex A“; display “module pixit ref := ITU-T Recommendation Q.123, Annex A“; display “module test method := local“; display “module comments := ATS written by STF 133“; display “module detailed comments := detailed comments“; encode “B
49、ER“; 6.2 Test Suite Parameters Test Suite Parameters Name Type Initial Value PICS/PIXIT Ref Comments . ModuleParIdentifier . . ModuleParType . . ConstantExpression. . TabFreeText . . TabFreeText. Detailed Comments TabFreeText Figure 3: Test Suite Parameters Proforma 6.2.1 Mapping All entries in the Test Suite Parameters proforma are mapped to the ModuleParLists in ModuleParameterDefs of the associated TTCN-3 module. If there is more than one ModuleParam
