|
ETSI Standard
Methods for Testing and Specification (MTS);
The Testing and Test Control Notation version 3;
Part 4: TTCN-3 Operational Semantics
---------------------- Page: 1 ----------------------
2 ETSI ES 201 873-4 V4.1.1 (2009-06)
Reference
RES/MTS-00107-4 T3 ed411 OS
Keywords
interoperability, methodology, MTS, testing,
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 enregistrée à la
Sous-Préfecture de Grasse (06) N° 7803/88
Important notice
Individual copies of the present 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 dispute, 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 other 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 written permission.
The copyright and the foregoing restriction extend to reproduction in all media.
© European Telecommunications Standards Institute 2009.
All rights reserved.
TM TM TM TM
DECT , PLUGTESTS , UMTS , TIPHON , the TIPHON logo and the ETSI logo are Trade Marks of ETSI registered
for the benefit of its Members.
TM
3GPP is a Trade Mark of ETSI registered for the benefit of its Members and of the 3GPP Organizational Partners.
LTE™ is a Trade Mark of ETSI currently being registered
for the benefit of its Members and of the 3GPP Organizational Partners.
GSM and the GSM logo are Trade Marks registered and owned by the GSM Association.
ETSI
---------------------- Page: 2 ----------------------
3 ETSI ES 201 873-4 V4.1.1 (2009-06)
Contents
Intellectual Property Rights.7
Foreword.7
1 Scope.8
2 References.8
2.1 Normative references.8
2.2 Informative references.8
3 Definitions and abbreviations.8
3.1 Definitions.8
3.2 Abbreviations.9
4 Introduction .9
5 Structure of the present document.9
6 Restrictions.10
7 Replacement of short forms .10
7.1 Order of replacement steps.11
7.2 Replacement of global constants and module parameters .11
7.3 Embedding single receiving operations into alt statements.11
7.4 Embedding stand-alone altstep calls into alt statements.12
7.5 Replacement of interleave statements .12
7.6 Replacement of trigger operations.25
7.7 Replacement of select-case statements.25
7.8 Replacement of simple break statements.27
7.9 Replacement of continue statements .27
7.10 Adding default parameters to disconnect and unmap operations without parameters.28
7.11 Adding default values of parameters .28
8 Flow graph semantics of TTCN-3.28
8.1 Flow graphs.29
8.1.1 Flow graph frame.29
8.1.2 Flow graph nodes.29
8.1.2.1 Start nodes.29
8.1.2.2 End nodes.29
8.1.2.3 Basic nodes.29
8.1.2.4 Reference nodes.30
8.1.2.4.1 OR combination of reference nodes .30
8.1.2.4.2 Multiple occurrences of reference nodes.30
8.1.3 Flow lines.31
8.1.4 Flow graph segments.31
8.1.5 Comments.32
8.1.6 Handling of flow graph descriptions.33
8.2 Flow graph representation of TTCN-3 behaviour .33
8.2.1 Flow graph construction procedure .33
8.2.2 Flow graph representation of module control .34
8.2.3 Flow graph representation of test cases .35
8.2.4 Flow graph representation of functions .35
8.2.5 Flow graph representation of altsteps .36
8.2.6 Flow graph representation of component type definitions.37
8.2.7 Retrieval of start nodes of flow graphs .38
8.3 State definitions for TTCN-3 modules .38
8.3.1 Module state.38
8.3.1.1 Accessing the module state .39
8.3.2 Entity states.40
8.3.2.1 Accessing entity states .41
ETSI
---------------------- Page: 3 ----------------------
4 ETSI ES 201 873-4 V4.1.1 (2009-06)
8.3.2.2 Data state and variable binding .43
8.3.2.3 Accessing data states.43
8.3.2.4 Timer state and timer binding .44
8.3.2.5 Accessing timer states .45
8.3.2.6 Port references and port binding .46
8.3.2.7 Accessing port references .47
8.3.3 Port states.47
8.3.3.1 Handling of connections among ports.48
8.3.3.2 Handling of port states .48
8.3.4 General functions for the handling of module states .49
8.4 Messages, procedure calls, replies and exceptions.50
8.4.1 Messages.50
8.4.2 Procedure calls and replies .50
8.4.3 Exceptions.51
8.4.4 Construction of messages, procedure calls, replies and exceptions .51
8.4.5 Matching of messages, procedure calls, replies and exceptions .51
8.4.6 Retrieval of information from received items.52
8.5 Call records for functions, altsteps and test cases.52
8.5.1 Handling of call records.52
8.6 The evaluation procedure for a TTCN-3 module .53
8.6.1 Evaluation phases.53
8.6.1.1 Phase I: Initialization.53
8.6.1.2 Phase II: Update.54
8.6.1.3 Phase III: Selection .54
8.6.1.4 Phase IV: Execution.54
8.6.2 Global functions.54
9 Flow graph segments for TTCN-3 constructs .55
9.1 Action statement.55
9.2 Activate statement .56
9.2a Alive component operation .56
9.2a.1 Flow graph segment .58
9.2a.2 Flow graph segment .59
9.3 Alt statement.59
9.3.1 Flow graph segment .61
9.3.2 Flow graph segment .62
9.3.3 Flow graph segment .63
9.3.4 Flow graph segment .64
9.3.5 Flow graph segment .65
9.4 Altstep call.66
9.5 Assignment statement.66
9.5a Break statements in altsteps.66
9.6 Call operation.67
9.6.1 Flow graph segment .69
9.6.1a Flow graph segment .69
9.6.2 Flow graph segment .71
9.6.3 Flow graph segment .71
9.6.4 Flow graph segment .72
9.6.5 Flow graph segment .73
9.6.6 Flow graph segment .74
9.7 Catch operation.74
9.8 Check operation.75
9.8.1 Flow graph segment .76
9.8.2 Flow graph segment .77
9.9 Clear port operation.78
9.10 Connect operation.78
9.11 Constant definition.79
9.12 Create operation.80
9.13 Deactivate statement.81
9.13.1 Flow graph segment .82
9.13.2 Flow graph segment .82
9.14 Disconnect operation.83
ETSI
---------------------- Page: 4 ----------------------
5 ETSI ES 201 873-4 V4.1.1 (2009-06)
9.14.1 Flow graph segment .83
9.14.2 Flow graph segment .85
9.14.3 Flow graph segment .86
9.14.4 Flow graph segment .87
9.14.5 Flow graph segment .87
9.15 Do-while statement.88
9.16 Done component operation.89
9.17 Execute statement.91
9.17.1 Flow graph segment .92
9.17.2 Flow graph segment .93
9.17.3 Flow graph segment .94
9.18 Expression .94
9.18.1 Flow graph segment .95
9.18.2 Flow graph segment .95
9.18.3 Flow graph segment .96
9.18.4 Flow graph segment .96
9.19 Flow graph segment .97
9.20 Flow graph segment .97
9.20a Flow graph segment .98
9.20b Flow graph segment .98
9.21 Flow graph segment .99
9.22 Flow graph segment .99
9.23 For statement.100
9.24 Function call.101
9.24.1 Flow graph segment .103
9.24.2 Flow graph segment .103
9.24.3 Flow graph segment .104
9.24.3a Flow graph segment .104
9.24.4 Flow graph segment .105
9.24.5 Flow graph segment .106
9.25 Getcall operation.106
9.26 Getreply operation.106
9.27 Getverdict operation.107
9.28 Goto statement.107
9.28a Halt port operation.108
9.29 If-else statement.108
9.29a Kill component operation.109
9.29a.1 Flow graph segment .111
9.29a.2 Flow graph segment .112
9.29a.3 Flow graph segment .113
9.29b Kill execution statement.113
9.29b.1 Flow graph segment .114
9.29c Killed component operation .115
9.30 Label statement.116
9.31 Log statement.116
9.32 Map operation.117
9.33 Mtc operation.117
9.34 Port declaration.118
9.35 Raise operation.118
9.35.1 Flow graph segment .119
9.35.1a Flow graph segment .119
9.35.2 Flow graph segment .121
9.36 Read timer operation .122
9.37 Receive operation.123
9.37.1 Flow graph segment .124
9.37.2 Flow graph segment .125
9.37.3 Flow graph segment .126
9.38 Repeat statement.126
9.39 Reply operation.127
9.39.1 Flow graph segment .128
9.39.1a Flow graph segment .128
9.39.2 Flow graph segment .130
ETSI
---------------------- Page: 5 ----------------------
6 ETSI ES 201 873-4 V4.1.1 (2009-06)
9.40 Return statement.130
9.40.1 Flow graph segment .132
...