Methods for Testing and Specification (MTS) - The Testing and Test Control Notation version 3 - Part 4: TTCN-3 Operational Semantics

The present document defines the operational semantics of TTCN-3. The present document is based on the TTCN-3
core language defined in ETSI ES 201 873-1 [1].

Metode za preskušanje in specificiranje (MTS) - 3. različica zapisa preskušanja in krmilnih preskusov - 4. del: Operativno pomenoslovje TTCN-3

Ta dokument določa operativno semantiko jezika TTCN-3. Ta dokument temelji na jedrnem jeziku TTCN-3 iz standarda ETSI ES 201 873-1 [1].

General Information

Status
Published
Publication Date
28-Aug-2016
Current Stage
6060 - National Implementation/Publication (Adopted Project)
Start Date
26-Aug-2016
Due Date
31-Oct-2016
Completion Date
29-Aug-2016

Buy Standard

Standard
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
English language
174 pages
sale 15% off
Preview
sale 15% off
Preview
Standard
ETSI ES 201 873-4 V4.5.1 (2016-05) - Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 4: TTCN-3 Operational Semantics
English language
173 pages
sale 15% off
Preview
sale 15% off
Preview
Standardization document
SIST ES 201 873-4 V4.5.1:2016
English language
174 pages
sale 10% off
Preview
sale 10% off
Preview

e-Library read for
1 day

Standards Content (sample)

ETSI ES 201 873-4 V4.5.1 (2016-07)
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.5.1 (2016-07)
Reference
RES/MTS-201873-4 T3 ed451 OS
Keywords
language, 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
The present document 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 case 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 document 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://portal.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 modified without the written authorization of ETSI.

The copyright and the foregoing restriction extend to reproduction in all media.
© European Telecommunications Standards Institute 2016.
All rights reserved.
TM TM TM

DECT , PLUGTESTS , UMTS and the ETSI logo are Trade Marks of ETSI registered for the benefit of its Members.

3GPP and LTE™ are Trade Marks of ETSI 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.5.1 (2016-07)
Contents

Intellectual Property Rights ................................................................................................................................ 8

Foreword ............................................................................................................................................................. 8

Modal verbs terminology .................................................................................................................................... 8

1 Scope ........................................................................................................................................................ 9

2 References ................................................................................................................................................ 9

2.1 Normative references ......................................................................................................................................... 9

2.2 Informative references ........................................................................................................................................ 9

3 Definitions and abbreviations ................................................................................................................... 9

3.1 Definitions .......................................................................................................................................................... 9

3.2 Abbreviations ..................................................................................................................................................... 9

4 Introduction ............................................................................................................................................ 10

5 Structure of the present document .......................................................................................................... 10

6 Restrictions ............................................................................................................................................. 10

7 Replacement of short forms ................................................................................................................... 11

7.0 General ............................................................................................................................................................. 11

7.1 Order of replacement steps ............................................................................................................................... 12

7.2 Replacement of global constants and module parameters ................................................................................ 12

7.3 Embedding single receiving operations into alt statements .............................................................................. 12

7.4 Embedding stand-alone altstep calls into alt statements ................................................................................... 13

7.5 Replacement of interleave statements .............................................................................................................. 13

7.6 Replacement of trigger operations .................................................................................................................... 26

7.7 Replacement of select-case statements ............................................................................................................. 26

7.8 Replacement of simple break statements .......................................................................................................... 28

7.9 Replacement of continue statements ................................................................................................................ 28

7.10 Adding default parameters to disconnect and unmap operations without parameters ...................................... 29

7.11 Adding default values of parameters ................................................................................................................ 29

8 Flow graph semantics of TTCN-3 .......................................................................................................... 29

8.0 General ............................................................................................................................................................. 29

8.1 Flow graphs ...................................................................................................................................................... 30

8.1.0 General ........................................................................................................................................................ 30

8.1.1 Flow graph frame ........................................................................................................................................ 30

8.1.2 Flow graph nodes ........................................................................................................................................ 30

8.1.2.0 General .................................................................................................................................................. 30

8.1.2.1 Start nodes ............................................................................................................................................. 30

8.1.2.2 End nodes .............................................................................................................................................. 30

8.1.2.3 Basic nodes ........................................................................................................................................... 30

8.1.2.4 Reference nodes .................................................................................................................................... 31

8.1.2.4.0 General ............................................................................................................................................ 31

8.1.2.4.1 OR combination of reference nodes ................................................................................................ 31

8.1.2.4.2 Multiple occurrences of reference nodes ......................................................................................... 31

8.1.3 Flow lines ................................................................................................................................................... 32

8.1.4 Flow graph segments .................................................................................................................................. 33

8.1.5 Comments ................................................................................................................................................... 33

8.1.6 Handling of flow graph descriptions ........................................................................................................... 34

8.2 Flow graph representation of TTCN-3 behaviour ............................................................................................ 34

8.2.0 General ........................................................................................................................................................ 34

8.2.1 Flow graph construction procedure ............................................................................................................ 34

8.2.2 Flow graph representation of module control ............................................................................................. 35

8.2.3 Flow graph representation of test cases ...................................................................................................... 36

8.2.4 Flow graph representation of functions ...................................................................................................... 36

8.2.5 Flow graph representation of altsteps ......................................................................................................... 37

8.2.6 Flow graph representation of component type definitions .......................................................................... 38

ETSI
---------------------- Page: 3 ----------------------
4 ETSI ES 201 873-4 V4.5.1 (2016-07)

8.2.7 Retrieval of start nodes of flow graphs ....................................................................................................... 39

8.3 State definitions for TTCN-3 modules ............................................................................................................. 39

8.3.0 General ........................................................................................................................................................ 39

8.3.1 Module state................................................................................................................................................ 40

8.3.1.0 General .................................................................................................................................................. 40

8.3.1.1 Accessing the module state ................................................................................................................... 40

8.3.1a Configuration state ...................................................................................................................................... 40

8.3.1a.0 Genral .................................................................................................................................................... 40

8.3.1a.1 Accessing the configuration state .......................................................................................................... 40

8.3.2 Entity states ................................................................................................................................................. 41

8.3.2.0 General .................................................................................................................................................. 41

8.3.2.1 Accessing entity states .......................................................................................................................... 43

8.3.2.2 Data state and variable binding ............................................................................................................. 44

8.3.2.3 Accessing data states ............................................................................................................................. 45

8.3.2.4 Timer state and timer binding ............................................................................................................... 45

8.3.2.5 Accessing timer states ........................................................................................................................... 46

8.3.2.6 Port references and port binding ........................................................................................................... 47

8.3.2.7 Accessing port references ..................................................................................................................... 48

8.3.3 Port states .................................................................................................................................................... 48

8.3.3.0 General .................................................................................................................................................. 48

8.3.3.1 Handling of connections among ports ................................................................................................... 49

8.3.3.2 Handling of port states .......................................................................................................................... 49

8.3.3a Component verdict states ............................................................................................................................ 50

8.3.4 General functions for the handling of module states .................................................................................. 50

8.4 Messages, procedure calls, replies and exceptions ........................................................................................... 51

8.4.0 General ........................................................................................................................................................ 51

8.4.1 Messages ..................................................................................................................................................... 51

8.4.2 Procedure calls and replies ......................................................................................................................... 51

8.4.3 Exceptions................................................................................................................................................... 52

8.4.4 Construction of messages, procedure calls, replies and exceptions ............................................................ 52

8.4.5 Matching of messages, procedure calls, replies and exceptions ................................................................. 52

8.4.6 Retrieval of information from received items ............................................................................................. 53

8.5 Call records for functions, altsteps and test cases ............................................................................................. 53

8.5.0 General ........................................................................................................................................................ 53

8.5.1 Handling of call records .............................................................................................................................. 53

8.6 The evaluation procedure for a TTCN-3 module ............................................................................................. 54

8.6.1 Evaluation phases ....................................................................................................................................... 54

8.6.1.0 General .................................................................................................................................................. 54

8.6.1.1 Phase I: Initialization............................................................................................................................. 54

8.6.1.2 Phase II: Update .................................................................................................................................... 55

8.6.1.3 Phase III: Selection ............................................................................................................................... 55

8.6.1.4 Phase IV: Execution .............................................................................................................................. 55

8.6.2 Global functions .......................................................................................................................................... 56

9 Flow graph segments for TTCN-3 constructs ........................................................................................ 56

9.0 General ............................................................................................................................................................. 56

9.1 Action statement ............................................................................................................................................... 56

9.2 Activate statement ............................................................................................................................................ 57

9.2a Alive component operation .............................................................................................................................. 58

9.2a.0 General ........................................................................................................................................................ 58

9.2a.1 Flow graph segment ...................................................................................................... 60

9.2a.2 Flow graph segment .................................................................................................... 61

9.3 Alt statement .................................................................................................................................................... 61

9.3.0 General ........................................................................................................................................................ 61

9.3.1 Flow graph segment ........................................................................................................ 63

9.3.2 Flow graph segment ................................................................................................... 64

9.3.3 Flow graph segment ................................................................................................. 65

9.3.4 Flow graph segment ............................................................................................................ 66

9.3.5 Flow graph segment ................................................................................................... 67

9.4 Altstep call........................................................................................................................................................ 68

9.5 Assignment statement ....................................................................................................................................... 68

9.5a Break statements in altsteps.............................................................................................................................. 68

ETSI
---------------------- Page: 4 ----------------------
5 ETSI ES 201 873-4 V4.5.1 (2016-07)

9.6 Call operation ................................................................................................................................................... 69

9.6.0 General ........................................................................................................................................................ 69

9.6.1 Flow graph segment ...................................................................................... 71

9.6.1a Flow graph segment ............................................................................. 71

9.6.2 Flow graph segment ........................................................................................ 73

9.6.3 Flow graph segment ......................................................................................... 73

9.6.4 Flow graph segment .............................................................................................. 74

9.6.5 Flow graph segment ................................................................................................. 75

9.6.6 Flow graph segment ........................................................................................ 76

9.7 Catch operation ................................................................................................................................................ 76

9.8 Check operation ................................................................................................................................................ 77

9.8.0 General ........................................................................................................................................................ 77

9.8.1 Flow graph segment ................................................................................................. 78

9.8.2 Flow graph segment ............................................................................................ 79

9.8a Checkstate port operation ................................................................................................................................. 80

9.8a.0 General ........................................................................................................................................................ 80

9.8a.1 Flow graph segment ................................................................................................... 81

9.8a.2 Flow graph segment ........................................................................................... 81

9.9 Clear port operation .......................................................................................................................................... 83

9.10 Connect operation............................................................................................................................................. 83

9.11 Constant definition ........................................................................................................................................... 84

9.12 Create operation ............................................................................................................................................... 85

9.13 Deactivate statement ......................................................................................................................................... 86

9.13.0 General ........................................................................................................................................................ 86

9.13.1 Flow graph segment ........................................................................................... 87

9.13.2 Flow graph segment ........................................................................................... 87

9.14 Disconnect operation ........................................................................................................................................ 88

9.14.0 General ........................................................................................................................................................ 88

9.14.1 Flow graph segment ........................................................................................ 88

9.14.2 Flow graph segment ........................................................................................................ 90

9.14.3 Flow graph segment ................................................................................................... 91

9.14.4 Flow graph segment ...................................................................................................... 92

9.14.5 Flow graph segment ....................................................................................... 92

9.15 Do-while statement........................................................................................................................................... 93

9.16 Done component operation............................................................................................................................... 94

9.16.0 General ........................................................................................................................................................ 94

9.16.1 Flow graph segment ................................................................................................... 96

9.17 Execute statement ............................................................................................................................................. 96

9.17.0 General ........................................................................................................................................................ 96

9.17.1 Flow graph segment ....................................................................................... 97

9.17.2 Flow graph segment ..................................................................................................... 98

9.17.3 Flow graph segment ........................................................................................................ 99

9.18 Expression ........................................................................................................................................................ 99

9.18.0 General ........................................................................................................................................................ 99

9.18.1 Flow graph segment ............................................................................................................... 100

9.18.2 Flow graph segment ............................................................................................................. 100

9.18.3 Flow graph segment ......................................................................................................... 101

9.18.4 Flow graph segment ....................................................................................................... 101

9.19 Flow graph segment ............................................................................................ 102

9.20 Flow graph segment ............................................................................................... 102

9.20a Flow graph segment ............................................................................................ 103

9.20b Flow graph segment ....................................................................................... 103

9.21 Flow graph segment ................................................................................................... 104

9.22 Flow graph segment ........................................................................................................ 104

9.23 For statement .................................................................................................................................................. 105

9.24 Function call ................................................................................................................................................... 106

9.24.0 General ...................................................................................................................................................... 106

9.24.1 Flow graph segment ........................................................................................... 108

9.24.2 Flow graph segment ................................................................................................... 108

9.24.3 Flow graph se
...

Final draft ETSI ES 201 873-4 V4.5.1 (2016-05)
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 Final draft ETSI ES 201 873-4 V4.5.1 (2016-05)
Reference
RES/MTS-201873-4 T3 ed451 OS
Keywords
language, 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
The present document 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 case 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 document 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://portal.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 modified without the written authorization of ETSI.

The copyright and the foregoing restriction extend to reproduction in all media.
© European Telecommunications Standards Institute 2016.
All rights reserved.
TM TM TM

DECT , PLUGTESTS , UMTS and the ETSI logo are Trade Marks of ETSI registered for the benefit of its Members.

3GPP and LTE™ are Trade Marks of ETSI 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 Final draft ETSI ES 201 873-4 V4.5.1 (2016-05)
Contents

Intellectual Property Rights ................................................................................................................................ 8

Foreword ............................................................................................................................................................. 8

Modal verbs terminology .................................................................................................................................... 8

1 Scope ........................................................................................................................................................ 9

2 References ................................................................................................................................................ 9

2.1 Normative references ......................................................................................................................................... 9

2.2 Informative references ........................................................................................................................................ 9

3 Definitions and abbreviations ................................................................................................................... 9

3.1 Definitions .......................................................................................................................................................... 9

3.2 Abbreviations ..................................................................................................................................................... 9

4 Introduction ............................................................................................................................................ 10

5 Structure of the present document .......................................................................................................... 10

6 Restrictions ............................................................................................................................................. 10

7 Replacement of short forms ................................................................................................................... 11

7.0 General ............................................................................................................................................................. 11

7.1 Order of replacement steps ............................................................................................................................... 12

7.2 Replacement of global constants and module parameters ................................................................................ 12

7.3 Embedding single receiving operations into alt statements .............................................................................. 12

7.4 Embedding stand-alone altstep calls into alt statements ................................................................................... 13

7.5 Replacement of interleave statements .............................................................................................................. 13

7.6 Replacement of trigger operations .................................................................................................................... 26

7.7 Replacement of select-case statements ............................................................................................................. 26

7.8 Replacement of simple break statements .......................................................................................................... 28

7.9 Replacement of continue statements ................................................................................................................ 28

7.10 Adding default parameters to disconnect and unmap operations without parameters ...................................... 29

7.11 Adding default values of parameters ................................................................................................................ 29

8 Flow graph semantics of TTCN-3 .......................................................................................................... 29

8.0 General ............................................................................................................................................................. 29

8.1 Flow graphs ...................................................................................................................................................... 30

8.1.0 General ........................................................................................................................................................ 30

8.1.1 Flow graph frame ........................................................................................................................................ 30

8.1.2 Flow graph nodes ........................................................................................................................................ 30

8.1.2.0 General .................................................................................................................................................. 30

8.1.2.1 Start nodes ............................................................................................................................................. 30

8.1.2.2 End nodes .............................................................................................................................................. 30

8.1.2.3 Basic nodes ........................................................................................................................................... 30

8.1.2.4 Reference nodes .................................................................................................................................... 31

8.1.2.4.0 General ............................................................................................................................................ 31

8.1.2.4.1 OR combination of reference nodes ................................................................................................ 31

8.1.2.4.2 Multiple occurrences of reference nodes ......................................................................................... 31

8.1.3 Flow lines ................................................................................................................................................... 32

8.1.4 Flow graph segments .................................................................................................................................. 33

8.1.5 Comments ................................................................................................................................................... 33

8.1.6 Handling of flow graph descriptions ........................................................................................................... 34

8.2 Flow graph representation of TTCN-3 behaviour ............................................................................................ 34

8.2.0 General ........................................................................................................................................................ 34

8.2.1 Flow graph construction procedure ............................................................................................................ 34

8.2.2 Flow graph representation of module control ............................................................................................. 35

8.2.3 Flow graph representation of test cases ...................................................................................................... 36

8.2.4 Flow graph representation of functions ...................................................................................................... 36

8.2.5 Flow graph representation of altsteps ......................................................................................................... 37

8.2.6 Flow graph representation of component type definitions .......................................................................... 38

ETSI
---------------------- Page: 3 ----------------------
4 Final draft ETSI ES 201 873-4 V4.5.1 (2016-05)

8.2.7 Retrieval of start nodes of flow graphs ....................................................................................................... 39

8.3 State definitions for TTCN-3 modules ............................................................................................................. 39

8.3.0 General ........................................................................................................................................................ 39

8.3.1 Module state................................................................................................................................................ 39

8.3.1.0 General .................................................................................................................................................. 39

8.3.1.1 Accessing the module state ................................................................................................................... 40

8.3.1a Configuration state ...................................................................................................................................... 40

8.3.1a.0 Genral .................................................................................................................................................... 40

8.3.1a.1 Accessing the configuration state .......................................................................................................... 40

8.3.2 Entity states ................................................................................................................................................. 41

8.3.2.0 General .................................................................................................................................................. 41

8.3.2.1 Accessing entity states .......................................................................................................................... 42

8.3.2.2 Data state and variable binding ............................................................................................................. 44

8.3.2.3 Accessing data states ............................................................................................................................. 44

8.3.2.4 Timer state and timer binding ............................................................................................................... 45

8.3.2.5 Accessing timer states ........................................................................................................................... 46

8.3.2.6 Port references and port binding ........................................................................................................... 47

8.3.2.7 Accessing port references ..................................................................................................................... 48

8.3.3 Port states .................................................................................................................................................... 48

8.3.3.0 General .................................................................................................................................................. 48

8.3.3.1 Handling of connections among ports ................................................................................................... 49

8.3.3.2 Handling of port states .......................................................................................................................... 49

8.3.3a Component verdict states ............................................................................................................................ 50

8.3.4 General functions for the handling of module states .................................................................................. 50

8.4 Messages, procedure calls, replies and exceptions ........................................................................................... 51

8.4.0 General ........................................................................................................................................................ 51

8.4.1 Messages ..................................................................................................................................................... 51

8.4.2 Procedure calls and replies ......................................................................................................................... 51

8.4.3 Exceptions................................................................................................................................................... 52

8.4.4 Construction of messages, procedure calls, replies and exceptions ............................................................ 52

8.4.5 Matching of messages, procedure calls, replies and exceptions ................................................................. 52

8.4.6 Retrieval of information from received items ............................................................................................. 53

8.5 Call records for functions, altsteps and test cases ............................................................................................. 53

8.5.0 General ........................................................................................................................................................ 53

8.5.1 Handling of call records .............................................................................................................................. 53

8.6 The evaluation procedure for a TTCN-3 module ............................................................................................. 54

8.6.1 Evaluation phases ....................................................................................................................................... 54

8.6.1.0 General .................................................................................................................................................. 54

8.6.1.1 Phase I: Initialization............................................................................................................................. 54

8.6.1.2 Phase II: Update .................................................................................................................................... 55

8.6.1.3 Phase III: Selection ............................................................................................................................... 55

8.6.1.4 Phase IV: Execution .............................................................................................................................. 55

8.6.2 Global functions .......................................................................................................................................... 55

9 Flow graph segments for TTCN-3 constructs ........................................................................................ 56

9.0 General ............................................................................................................................................................. 56

9.1 Action statement ............................................................................................................................................... 56

9.2 Activate statement ............................................................................................................................................ 57

9.2a Alive component operation .............................................................................................................................. 58

9.2a.0 General ........................................................................................................................................................ 58

9.2a.1 Flow graph segment ...................................................................................................... 59

9.2a.2 Flow graph segment .................................................................................................... 60

9.3 Alt statement .................................................................................................................................................... 60

9.3.0 General ........................................................................................................................................................ 60

9.3.1 Flow graph segment ........................................................................................................ 62

9.3.2 Flow graph segment ................................................................................................... 63

9.3.3 Flow graph segment ................................................................................................. 64

9.3.4 Flow graph segment ............................................................................................................ 65

9.3.5 Flow graph segment ................................................................................................... 66

9.4 Altstep call........................................................................................................................................................ 67

9.5 Assignment statement ....................................................................................................................................... 67

9.5a Break statements in altsteps.............................................................................................................................. 67

ETSI
---------------------- Page: 4 ----------------------
5 Final draft ETSI ES 201 873-4 V4.5.1 (2016-05)

9.6 Call operation ................................................................................................................................................... 68

9.6.0 General ........................................................................................................................................................ 68

9.6.1 Flow graph segment ...................................................................................... 70

9.6.1a Flow graph segment ............................................................................. 70

9.6.2 Flow graph segment ........................................................................................ 72

9.6.3 Flow graph segment ......................................................................................... 72

9.6.4 Flow graph segment .............................................................................................. 73

9.6.5 Flow graph segment ................................................................................................. 74

9.6.6 Flow graph segment ........................................................................................ 75

9.7 Catch operation ................................................................................................................................................ 75

9.8 Check operation ................................................................................................................................................ 76

9.8.0 General ........................................................................................................................................................ 76

9.8.1 Flow graph segment ................................................................................................. 77

9.8.2 Flow graph segment ............................................................................................ 78

9.8a Checkstate port operation ................................................................................................................................. 79

9.8a.0 General ........................................................................................................................................................ 79

9.8a.1 Flow graph segment ................................................................................................... 80

9.8a.2 Flow graph segment ........................................................................................... 80

9.9 Clear port operation .......................................................................................................................................... 82

9.10 Connect operation............................................................................................................................................. 82

9.11 Constant definition ........................................................................................................................................... 83

9.12 Create operation ............................................................................................................................................... 84

9.13 Deactivate statement ......................................................................................................................................... 85

9.13.0 General ........................................................................................................................................................ 85

9.13.1 Flow graph segment ........................................................................................... 86

9.13.2 Flow graph segment ........................................................................................... 86

9.14 Disconnect operation ........................................................................................................................................ 87

9.14.0 General ........................................................................................................................................................ 87

9.14.1 Flow graph segment ........................................................................................ 87

9.14.2 Flow graph segment ........................................................................................................ 89

9.14.3 Flow graph segment ................................................................................................... 90

9.14.4 Flow graph segment ...................................................................................................... 91

9.14.5 Flow graph segment ....................................................................................... 91

9.15 Do-while statement........................................................................................................................................... 92

9.16 Done component operation............................................................................................................................... 93

9.16.0 General ........................................................................................................................................................ 93

9.16.1 Flow graph segment ................................................................................................... 95

9.17 Execute statement ............................................................................................................................................. 95

9.17.0 General ........................................................................................................................................................ 95

9.17.1 Flow graph segment ....................................................................................... 96

9.17.2 Flow graph segment ..................................................................................................... 97

9.17.3 Flow graph segment ........................................................................................................ 98

9.18 Expression ........................................................................................................................................................ 98

9.18.0 General ........................................................................................................................................................ 98

9.18.1 Flow graph segment ................................................................................................................. 99

9.18.2 Flow graph segment ............................................................................................................... 99

9.18.3 Flow graph segment ......................................................................................................... 100

9.18.4 Flow graph segment ....................................................................................................... 100

9.19 Flow graph segment ............................................................................................ 101

9.20 Flow graph segment ............................................................................................... 101

9.20a Flow graph segment ............................................................................................ 102

9.20b Flow graph segment ....................................................................................... 102

9.21 Flow graph segment ................................................................................................... 102

9.22 Flow graph segment ........................................................................................................ 103

9.23 For statement .................................................................................................................................................. 104

9.24 Function call ................................................................................................................................................... 105

9.24.0 General ...................................................................................................................................................... 105

9.24.1 Flow graph segment ........................................................................................... 107

9.24.2 Flow graph segment ...........................................................

...

SLOVENSKI STANDARD
SIST ES 201 873-4 V4.5.1:2016
01-oktober-2016

0HWRGH]DSUHVNXãDQMHLQVSHFLILFLUDQMH 076 UD]OLþLFD]DSLVDSUHVNXãDQMDLQ

NUPLOQLKSUHVNXVRYGHO2SHUDWLYQRSRPHQRVORYMH77&1

Methods for Testing and Specification (MTS) - The Testing and Test Control Notation

version 3 - Part 4: TTCN-3 Operational Semantics
Ta slovenski standard je istoveten z: ETSI ES 201 873-4 V4.5.1 (2016-07)
ICS:
33.040.01 Telekomunikacijski sistemi Telecommunication systems
na splošno in general
SIST ES 201 873-4 V4.5.1:2016 en

2003-01.Slovenski inštitut za standardizacijo. Razmnoževanje celote ali delov tega standarda ni dovoljeno.

---------------------- Page: 1 ----------------------
SIST ES 201 873-4 V4.5.1:2016
---------------------- Page: 2 ----------------------
SIST ES 201 873-4 V4.5.1:2016
ETSI ES 201 873-4 V4.5.1 (2016-07)
ETSI STANDARD
Methods for Testing and Specification (MTS);
The Testing and Test Control Notation version 3;
Part 4: TTCN-3 Operational Semantics
---------------------- Page: 3 ----------------------
SIST ES 201 873-4 V4.5.1:2016
2 ETSI ES 201 873-4 V4.5.1 (2016-07)
Reference
RES/MTS-201873-4 T3 ed451 OS
Keywords
language, 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
The present document 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 case 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 document 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://portal.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 modified without the written authorization of ETSI.

The copyright and the foregoing restriction extend to reproduction in all media.
© European Telecommunications Standards Institute 2016.
All rights reserved.
TM TM TM

DECT , PLUGTESTS , UMTS and the ETSI logo are Trade Marks of ETSI registered for the benefit of its Members.

3GPP and LTE™ are Trade Marks of ETSI 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: 4 ----------------------
SIST ES 201 873-4 V4.5.1:2016
3 ETSI ES 201 873-4 V4.5.1 (2016-07)
Contents

Intellectual Property Rights ................................................................................................................................ 8

Foreword ............................................................................................................................................................. 8

Modal verbs terminology .................................................................................................................................... 8

1 Scope ........................................................................................................................................................ 9

2 References ................................................................................................................................................ 9

2.1 Normative references ......................................................................................................................................... 9

2.2 Informative references ........................................................................................................................................ 9

3 Definitions and abbreviations ................................................................................................................... 9

3.1 Definitions .......................................................................................................................................................... 9

3.2 Abbreviations ..................................................................................................................................................... 9

4 Introduction ............................................................................................................................................ 10

5 Structure of the present document .......................................................................................................... 10

6 Restrictions ............................................................................................................................................. 10

7 Replacement of short forms ................................................................................................................... 11

7.0 General ............................................................................................................................................................. 11

7.1 Order of replacement steps ............................................................................................................................... 12

7.2 Replacement of global constants and module parameters ................................................................................ 12

7.3 Embedding single receiving operations into alt statements .............................................................................. 12

7.4 Embedding stand-alone altstep calls into alt statements ................................................................................... 13

7.5 Replacement of interleave statements .............................................................................................................. 13

7.6 Replacement of trigger operations .................................................................................................................... 26

7.7 Replacement of select-case statements ............................................................................................................. 26

7.8 Replacement of simple break statements .......................................................................................................... 28

7.9 Replacement of continue statements ................................................................................................................ 28

7.10 Adding default parameters to disconnect and unmap operations without parameters ...................................... 29

7.11 Adding default values of parameters ................................................................................................................ 29

8 Flow graph semantics of TTCN-3 .......................................................................................................... 29

8.0 General ............................................................................................................................................................. 29

8.1 Flow graphs ...................................................................................................................................................... 30

8.1.0 General ........................................................................................................................................................ 30

8.1.1 Flow graph frame ........................................................................................................................................ 30

8.1.2 Flow graph nodes ........................................................................................................................................ 30

8.1.2.0 General .................................................................................................................................................. 30

8.1.2.1 Start nodes ............................................................................................................................................. 30

8.1.2.2 End nodes .............................................................................................................................................. 30

8.1.2.3 Basic nodes ........................................................................................................................................... 30

8.1.2.4 Reference nodes .................................................................................................................................... 31

8.1.2.4.0 General ............................................................................................................................................ 31

8.1.2.4.1 OR combination of reference nodes ................................................................................................ 31

8.1.2.4.2 Multiple occurrences of reference nodes ......................................................................................... 31

8.1.3 Flow lines ................................................................................................................................................... 32

8.1.4 Flow graph segments .................................................................................................................................. 33

8.1.5 Comments ................................................................................................................................................... 33

8.1.6 Handling of flow graph descriptions ........................................................................................................... 34

8.2 Flow graph representation of TTCN-3 behaviour ............................................................................................ 34

8.2.0 General ........................................................................................................................................................ 34

8.2.1 Flow graph construction procedure ............................................................................................................ 34

8.2.2 Flow graph representation of module control ............................................................................................. 35

8.2.3 Flow graph representation of test cases ...................................................................................................... 36

8.2.4 Flow graph representation of functions ...................................................................................................... 36

8.2.5 Flow graph representation of altsteps ......................................................................................................... 37

8.2.6 Flow graph representation of component type definitions .......................................................................... 38

ETSI
---------------------- Page: 5 ----------------------
SIST ES 201 873-4 V4.5.1:2016
4 ETSI ES 201 873-4 V4.5.1 (2016-07)

8.2.7 Retrieval of start nodes of flow graphs ....................................................................................................... 39

8.3 State definitions for TTCN-3 modules ............................................................................................................. 39

8.3.0 General ........................................................................................................................................................ 39

8.3.1 Module state................................................................................................................................................ 40

8.3.1.0 General .................................................................................................................................................. 40

8.3.1.1 Accessing the module state ................................................................................................................... 40

8.3.1a Configuration state ...................................................................................................................................... 40

8.3.1a.0 Genral .................................................................................................................................................... 40

8.3.1a.1 Accessing the configuration state .......................................................................................................... 40

8.3.2 Entity states ................................................................................................................................................. 41

8.3.2.0 General .................................................................................................................................................. 41

8.3.2.1 Accessing entity states .......................................................................................................................... 43

8.3.2.2 Data state and variable binding ............................................................................................................. 44

8.3.2.3 Accessing data states ............................................................................................................................. 45

8.3.2.4 Timer state and timer binding ............................................................................................................... 45

8.3.2.5 Accessing timer states ........................................................................................................................... 46

8.3.2.6 Port references and port binding ........................................................................................................... 47

8.3.2.7 Accessing port references ..................................................................................................................... 48

8.3.3 Port states .................................................................................................................................................... 48

8.3.3.0 General .................................................................................................................................................. 48

8.3.3.1 Handling of connections among ports ................................................................................................... 49

8.3.3.2 Handling of port states .......................................................................................................................... 49

8.3.3a Component verdict states ............................................................................................................................ 50

8.3.4 General functions for the handling of module states .................................................................................. 50

8.4 Messages, procedure calls, replies and exceptions ........................................................................................... 51

8.4.0 General ........................................................................................................................................................ 51

8.4.1 Messages ..................................................................................................................................................... 51

8.4.2 Procedure calls and replies ......................................................................................................................... 51

8.4.3 Exceptions................................................................................................................................................... 52

8.4.4 Construction of messages, procedure calls, replies and exceptions ............................................................ 52

8.4.5 Matching of messages, procedure calls, replies and exceptions ................................................................. 52

8.4.6 Retrieval of information from received items ............................................................................................. 53

8.5 Call records for functions, altsteps and test cases ............................................................................................. 53

8.5.0 General ........................................................................................................................................................ 53

8.5.1 Handling of call records .............................................................................................................................. 53

8.6 The evaluation procedure for a TTCN-3 module ............................................................................................. 54

8.6.1 Evaluation phases ....................................................................................................................................... 54

8.6.1.0 General .................................................................................................................................................. 54

8.6.1.1 Phase I: Initialization............................................................................................................................. 54

8.6.1.2 Phase II: Update .................................................................................................................................... 55

8.6.1.3 Phase III: Selection ............................................................................................................................... 55

8.6.1.4 Phase IV: Execution .............................................................................................................................. 55

8.6.2 Global functions .......................................................................................................................................... 56

9 Flow graph segments for TTCN-3 constructs ........................................................................................ 56

9.0 General ............................................................................................................................................................. 56

9.1 Action statement ............................................................................................................................................... 56

9.2 Activate statement ............................................................................................................................................ 57

9.2a Alive component operation .............................................................................................................................. 58

9.2a.0 General ........................................................................................................................................................ 58

9.2a.1 Flow graph segment ...................................................................................................... 60

9.2a.2 Flow graph segment .................................................................................................... 61

9.3 Alt statement .................................................................................................................................................... 61

9.3.0 General ........................................................................................................................................................ 61

9.3.1 Flow graph segment ........................................................................................................ 63

9.3.2 Flow graph segment ................................................................................................... 64

9.3.3 Flow graph segment ................................................................................................. 65

9.3.4 Flow graph segment ............................................................................................................ 66

9.3.5 Flow graph segment ................................................................................................... 67

9.4 Altstep call........................................................................................................................................................ 68

9.5 Assignment statement ....................................................................................................................................... 68

9.5a Break statements in altsteps.............................................................................................................................. 68

ETSI
---------------------- Page: 6 ----------------------
SIST ES 201 873-4 V4.5.1:2016
5 ETSI ES 201 873-4 V4.5.1 (2016-07)

9.6 Call operation ................................................................................................................................................... 69

9.6.0 General ........................................................................................................................................................ 69

9.6.1 Flow graph segment ...................................................................................... 71

9.6.1a Flow graph segment ............................................................................. 71

9.6.2 Flow graph segment ........................................................................................ 73

9.6.3 Flow graph segment ......................................................................................... 73

9.6.4 Flow graph segment .............................................................................................. 74

9.6.5 Flow graph segment ................................................................................................. 75

9.6.6 Flow graph segment ........................................................................................ 76

9.7 Catch operation ................................................................................................................................................ 76

9.8 Check operation ................................................................................................................................................ 77

9.8.0 General ........................................................................................................................................................ 77

9.8.1 Flow graph segment ................................................................................................. 78

9.8.2 Flow graph segment ............................................................................................ 79

9.8a Checkstate port operation ................................................................................................................................. 80

9.8a.0 General ........................................................................................................................................................ 80

9.8a.1 Flow graph segment ................................................................................................... 81

9.8a.2 Flow graph segment ........................................................................................... 81

9.9 Clear port operation .......................................................................................................................................... 83

9.10 Connect operation............................................................................................................................................. 83

9.11 Constant definition ........................................................................................................................................... 84

9.12 Create operation ............................................................................................................................................... 85

9.13 Deactivate statement ......................................................................................................................................... 86

9.13.0 General ........................................................................................................................................................ 86

9.13.1 Flow graph segment ........................................................................................... 87

9.13.2 Flow graph segment ........................................................................................... 87

9.14 Disconnect operation ........................................................................................................................................ 88

9.14.0 General ........................................................................................................................................................ 88

9.14.1 Flow graph segment ........................................................................................ 88

9.14.2 Flow graph segment ........................................................................................................ 90

9.14.3 Flow graph segment ................................................................................................... 91

9.14.4 Flow graph segment ...................................................................................................... 92

9.14.5 Flow graph segment ....................................................................................... 92

9.15 Do-while statement........................................................................................................................................... 93

9.16 Done component operation............................................................................................................................... 94

9.16.0 General ........................................................................................................................................................ 94

9.16.1 Flow graph segment ................................................................................................... 96

9.17 Execute statement ............................................................................................................................................. 96

9.17.0 General ........................................................................................................................................................ 96

9.17.1 Flow graph segment ....................................................................................... 97

9.17.2 Flow graph segment ..................................................................................................... 98

9.17.3 Flow graph segment ........................................................................................................ 99

9.18 Expression ........................................................................................................................................................ 99

9.18.0 General ........................................................................................................................................................ 99

9.18.1 Flow graph segment ............................................................................................................... 100

9.18.2 Flow graph segment ............................................................................................................. 100

9.18.3 Flow graph segment ......................................................................................................... 101

9.18.4 Flow graph segment ....................................................................................................... 101

9.19 Flow graph segment ............................................................................................ 102

9.20 Flow graph segment ............................................................................................... 102

9.20a Flow graph segment ............................................................................................ 103

9.20b Flow graph segment ....................................................................................... 103

9.21 Flow graph segment ................................................................................................... 104

9.22 Flow graph segm
...

Questions, Comments and Discussion

Ask us and Technical Secretary will try to provide an answer. You can facilitate discussion about the standard in here.