SIST ES 203 119-1 V1.4.1:2019
(Main)Methods for Testing and Specification (MTS) - The Test Description Language (TDL) - Part 1: Abstract Syntax and Associated Semantics
Methods for Testing and Specification (MTS) - The Test Description Language (TDL) - Part 1: Abstract Syntax and Associated Semantics
The present document specifies the abstract syntax of the Test Description Language (TDL) in the form of a
meta-model based on the OMG® Meta Object Facility™ (MOF) [1]. It also specifies the semantics of the individual
elements of the TDL meta-model. The intended use of the present document is to serve as the basis for the development
of TDL concrete syntaxes aimed at TDL users and to enable TDL tools such as documentation generators, specification
analysers and code generators.
The specification of concrete syntaxes for TDL is outside the scope of the present document. However, for illustrative
purposes, an example of a possible textual syntax together with its application on some existing ETSI test descriptions
are provided.
NOTE: OMG®, UML®, OCL™ and UTP™ are the trademarks of OMG (Object Management Group). This
information is given for the convenience of users of the present document and does not constitute an
endorsement by ETSI of the products named.
Metode za preskušanje in specificiranje (MTS) - Jezik za opis preskusa (TDL) - 1. del: Abstraktna skladnja in pripadajoče pomenoslovje
Ta dokument določa abstraktno skladnjo jezika za opis preskusa (TDL) v obliki metamodela, ki temelji na konceptu OMG® Meta Object Facility™ (MOF) [1]. Določa tudi pomenoslovje posameznih elementov metamodela TDL. Namen tega dokumenta je, da se uporablja kot osnova za razvoj konkretne skladnje TDL za uporabnike jezika TDL, ter omogoča uporabo orodij TDL, kot so generatorji dokumentacije, analizatorji specifikacij in generatorji kode.
Določanje konkretne skladnje za TDL ne spada na področje uporabe tega dokumenta. Vendar je zaradi boljše nazornosti v dokument vključen primer možne besedilne skladnje skupaj z njeno uporabo v nekaterih obstoječih opisih preskusov ETSI.
OPOMBA: OMG®, UML®, OCL™ in UTP™ so blagovne znamke skupine OMG (Object Management Group). Te informacije so navedene za boljše razumevanje standarda s strani uporabnikov in ne pomenijo, da ETSI podpira imenovane izdelke.
General Information
Buy Standard
Standards Content (Sample)
ETSI ES 203 119-1 V1.4.1 (2018-05)
ETSI STANDARD
Methods for Testing and Specification (MTS);
The Test Description Language (TDL);
Part 1: Abstract Syntax and Associated Semantics
�
---------------------- Page: 1 ----------------------
2 ETSI ES 203 119-1 V1.4.1 (2018-05)
Reference
RES/MTS-203119-1v1.4.1
Keywords
language, MBT, methodology, model, testing,
TSS&TP, TTCN-3, UML
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.
© ETSI 2018.
All rights reserved.
TM TM TM
DECT , PLUGTESTS , UMTS and the ETSI logo are trademarks of ETSI registered for the benefit of its Members.
TM TM
3GPP and LTE are trademarks of ETSI registered for the benefit of its Members and
of the 3GPP Organizational Partners.
oneM2M logo is protected for the benefit of its Members.
®
GSM and the GSM logo are trademarks registered and owned by the GSM Association.
ETSI
---------------------- Page: 2 ----------------------
3 ETSI ES 203 119-1 V1.4.1 (2018-05)
Contents
Intellectual Property Rights . 7
Foreword . 7
Modal verbs terminology . 7
1 Scope . 8
2 References . 8
2.1 Normative references . 8
2.2 Informative references . 9
3 Definitions and abbreviations . 9
3.1 Definitions . 9
3.2 Abbreviations . 10
4 Basic Principles . 10
4.1 What is TDL? . 10
4.2 Design Considerations . 11
4.3 Principal Design Approach. 12
4.4 Document Structure . 13
4.5 Notational Conventions . 14
4.6 OCL Constraints Requirements . 14
4.7 Conformance . 14
5 Foundation . 15
5.1 Overview . 15
5.2 Abstract Syntax and Classifier Description . 15
5.2.1 Element . 15
5.2.2 NamedElement . 16
5.2.3 PackageableElement . 16
5.2.4 Package . 17
5.2.5 ElementImport . 17
5.2.6 Comment . 18
5.2.7 Annotation . 19
5.2.8 AnnotationType . 20
5.2.9 TestObjective . 20
6 Data . 20
6.1 Overview . 20
6.2 Data Definition - Abstract Syntax and Classifier Description . 21
6.2.1 DataResourceMapping . 21
6.2.2 MappableDataElement . 22
6.2.3 DataElementMapping . 22
6.2.4 ParameterMapping . 23
6.2.5 DataType . 24
6.2.6 DataInstance . 24
6.2.7 SimpleDataType . 25
6.2.8 SimpleDataInstance . 25
6.2.9 StructuredDataType . 26
6.2.10 Member . 26
6.2.11 StructuredDataInstance . 27
6.2.12 MemberAssignment . 28
6.2.13 CollectionDataType . 29
6.2.14 CollectionDataInstance . 29
6.2.15 ProcedureSignature . 30
6.2.16 ProcedureParameter . 30
6.2.17 ParameterKind . 31
6.2.18 Parameter . 32
6.2.19 FormalParameter . 32
6.2.20 Variable . 32
ETSI
---------------------- Page: 3 ----------------------
4 ETSI ES 203 119-1 V1.4.1 (2018-05)
6.2.21 Action . 33
6.2.22 Function . 33
6.2.23 UnassignedMemberTreatment . 33
6.2.24 PredefinedFunction . 34
6.3 Data Use - Abstract Syntax and Classifier Description . 35
6.3.1 DataUse . 35
6.3.2 ParameterBinding . 36
6.3.3 MemberReference . 37
6.3.4 StaticDataUse . 38
6.3.5 DataInstanceUse . 38
6.3.6 SpecialValueUse . 39
6.3.7 AnyValue . 40
6.3.8 AnyValueOrOmit . 40
6.3.9 OmitValue. 40
6.3.10 DynamicDataUse . 41
6.3.11 FunctionCall . 42
6.3.12 FormalParameterUse . 42
6.3.13 VariableUse . 42
6.3.14 PredefinedFunctionCall . 43
7 Time . 44
7.1 Overview . 44
7.2 Abstract Syntax and Classifier Description . 44
7.2.1 Time . 44
7.2.2 TimeLabel . 45
7.2.3 TimeLabelUse . 45
7.2.4 TimeLabelUseKind . 46
7.2.5 TimeConstraint . 46
7.2.6 TimeOperation . 49
7.2.7 Wait . 50
7.2.8 Quiescence . 50
7.2.9 Timer . 52
7.2.10 TimerOperation . 52
7.2.11 TimerStart . 52
7.2.12 TimerStop . 53
7.2.13 TimeOut . 53
8 Test Configuration . 54
8.1 Overview . 54
8.2 Abstract Syntax and Classifier Description . 54
8.2.1 GateType . 54
8.2.2 GateTypeKind . 55
8.2.3 GateInstance . 55
8.2.4 ComponentType . 56
8.2.5 ComponentInstance . 56
8.2.6 ComponentInstanceRole . 57
8.2.7 GateReference . 57
8.2.8 Connection . 58
8.2.9 TestConfiguration . 59
9 Test Behaviour . 60
9.1 Overview . 60
9.2 Test Description - Abstract Syntax and Classifier Description . 60
9.2.1 TestDescription . 60
9.2.2 BehaviourDescription . 61
9.3 Combined Behaviour - Abstract Syntax and Classifier Description . 62
9.3.1 Behaviour . 62
9.3.2 Block . 63
9.3.3 LocalExpression . 64
9.3.4 CombinedBehaviour . 65
9.3.5 SingleCombinedBehaviour . 65
9.3.6 CompoundBehaviour . 66
9.3.7 BoundedLoopBehaviour . 66
ETSI
---------------------- Page: 4 ----------------------
5 ETSI ES 203 119-1 V1.4.1 (2018-05)
9.3.8 UnboundedLoopBehaviour . 67
9.3.9 OptionalBehaviour . 67
9.3.10 MultipleCombinedBehaviour . 69
9.3.11 AlternativeBehaviour . 69
9.3.12 ConditionalBehaviour . 72
9.3.13 ParallelBehaviour . 72
9.3.14 ExceptionalBehaviour . 73
9.3.15 DefaultBehaviour . 76
9.3.16 InterruptBehaviour . 76
9.3.17 PeriodicBehaviour . 77
9.4 Atomic Behaviour - Abstract Syntax and Classifier Description . 78
9.4.1 AtomicBehaviour . 78
9.4.2 Break . 79
9.4.3 Stop . 79
9.4.4 VerdictAssignment . 80
9.4.5 Assertion . 80
9.4.6 Interaction . 81
9.4.7 Message . 83
9.4.8 ProcedureCall . 84
9.4.9 Target . 87
9.4.10 ValueAssignment . 88
9.4.11 TestDescriptionReference . 89
9.4.12 ComponentInstanceBinding . 91
9.4.13 ActionBehaviour . 92
9.4.14 ActionReference . 93
9.4.15 InlineAction . 94
9.4.16 Assignment . 94
10 Predefined TDL Model Instances . 95
10.1 Overview . 95
10.2 Predefined Instances of the 'SimpleDataType' Element . 95
10.2.1 Boolean . 95
10.2.2 Integer . 95
10.2.3 String . 95
10.2.4 Verdict . 95
10.3 Predefined Instances of 'SimpleDataInstance' Element . 96
10.3.1 true . 96
10.3.2 false . 96
10.3.3 pass . 96
10.3.4 fail . 96
10.3.5 inconclusive . 96
10.4 Predefined Instances of 'Time' Element . 96
10.4.1 Second . 96
10.5 Predefined Instances of the 'PredefinedFunction' Element . 96
10.5.1 Overview . 96
10.5.2 Functions of Return Type 'Boolean' . 97
10.5.3 Functions of Return Type 'Integer' . 97
10.5.4 Functions of Return Type of Instance of 'Time' . 98
Annex A (informative): Technical Representation of the TDL Meta-Model . 99
Annex B (informative): Examples of a TDL Concrete Syntax . 100
B.1 Introduction . 100
B.2 A 3GPP Conformance Example in Textual Syntax . 100
B.3 An IMS Interoperability Example in Textual Syntax . 102
B.4 An Example Demonstrating TDL Data Concepts . 104
B.5 TDL Textual Syntax Reference . 106
B.5.1 Conventions for the TDLan Syntax Definition .
...
Final draft ETSI ES 203 119-1 V1.4.1 (2018-03)
ETSI STANDARD
Methods for Testing and Specification (MTS);
The Test Description Language (TDL);
Part 1: Abstract Syntax and Associated Semantics
�
---------------------- Page: 1 ----------------------
2 Final draft ETSI ES 203 119-1 V1.4.1 (2018-03)
Reference
RES/MTS-203119-1v1.4.1
Keywords
language, MBT, methodology, model, testing,
TSS&TP, TTCN-3, UML
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.
© ETSI 2018.
All rights reserved.
TM TM TM
DECT , PLUGTESTS , UMTS and the ETSI logo are trademarks of ETSI registered for the benefit of its Members.
TM TM
3GPP and LTE are trademarks of ETSI registered for the benefit of its Members and
of the 3GPP Organizational Partners.
oneM2M logo is protected for the benefit of its Members.
®
GSM and the GSM logo are trademarks registered and owned by the GSM Association.
ETSI
---------------------- Page: 2 ----------------------
3 Final draft ETSI ES 203 119-1 V1.4.1 (2018-03)
Contents
Intellectual Property Rights . 7
Foreword . 7
Modal verbs terminology . 7
1 Scope . 8
2 References . 8
2.1 Normative references . 8
2.2 Informative references . 9
3 Definitions and abbreviations . 9
3.1 Definitions . 9
3.2 Abbreviations . 10
4 Basic Principles . 10
4.1 What is TDL? . 10
4.2 Design Considerations . 11
4.3 Principal Design Approach. 12
4.4 Document Structure . 13
4.5 Notational Conventions . 14
4.6 OCL Constraints Requirements . 14
4.7 Conformance . 14
5 Foundation . 15
5.1 Overview . 15
5.2 Abstract Syntax and Classifier Description . 15
5.2.1 Element . 15
5.2.2 NamedElement . 16
5.2.3 PackageableElement . 16
5.2.4 Package . 17
5.2.5 ElementImport . 17
5.2.6 Comment . 18
5.2.7 Annotation . 19
5.2.8 AnnotationType . 20
5.2.9 TestObjective . 20
6 Data . 20
6.1 Overview . 20
6.2 Data Definition - Abstract Syntax and Classifier Description . 21
6.2.1 DataResourceMapping . 21
6.2.2 MappableDataElement . 22
6.2.3 DataElementMapping . 22
6.2.4 ParameterMapping . 23
6.2.5 DataType . 24
6.2.6 DataInstance . 24
6.2.7 SimpleDataType . 25
6.2.8 SimpleDataInstance . 25
6.2.9 StructuredDataType . 26
6.2.10 Member . 26
6.2.11 StructuredDataInstance . 27
6.2.12 MemberAssignment . 28
6.2.13 CollectionDataType . 29
6.2.14 CollectionDataInstance . 29
6.2.15 ProcedureSignature . 30
6.2.16 ProcedureParameter . 30
6.2.17 ParameterKind . 31
6.2.18 Parameter . 32
6.2.19 FormalParameter . 32
ETSI
---------------------- Page: 3 ----------------------
4 Final draft ETSI ES 203 119-1 V1.4.1 (2018-03)
6.2.20 Variable . 32
6.2.21 Action . 33
6.2.22 Function . 33
6.2.23 UnassignedMemberTreatment . 33
6.2.24 PredefinedFunction . 34
6.3 Data Use - Abstract Syntax and Classifier Description . 35
6.3.1 DataUse . 35
6.3.2 ParameterBinding . 36
6.3.3 MemberReference . 37
6.3.4 StaticDataUse . 38
6.3.5 DataInstanceUse . 38
6.3.6 SpecialValueUse . 39
6.3.7 AnyValue . 40
6.3.8 AnyValueOrOmit . 40
6.3.9 OmitValue. 40
6.3.10 DynamicDataUse . 41
6.3.11 FunctionCall . 42
6.3.12 FormalParameterUse . 42
6.3.13 VariableUse . 42
6.3.14 PredefinedFunctionCall . 43
7 Time . 44
7.1 Overview . 44
7.2 Abstract Syntax and Classifier Description . 44
7.2.1 Time . 44
7.2.2 TimeLabel . 45
7.2.3 TimeLabelUse . 45
7.2.4 TimeLabelUseKind . 46
7.2.5 TimeConstraint . 46
7.2.6 TimeOperation . 49
7.2.7 Wait . 50
7.2.8 Quiescence . 50
7.2.9 Timer . 52
7.2.10 TimerOperation . 52
7.2.11 TimerStart . 52
7.2.12 TimerStop . 53
7.2.13 TimeOut . 53
8 Test Configuration . 54
8.1 Overview . 54
8.2 Abstract Syntax and Classifier Description . 54
8.2.1 GateType . 54
8.2.2 GateTypeKind . 55
8.2.3 GateInstance . 55
8.2.4 ComponentType . 56
8.2.5 ComponentInstance . 56
8.2.6 ComponentInstanceRole . 57
8.2.7 GateReference . 57
8.2.8 Connection . 58
8.2.9 TestConfiguration . 59
9 Test Behaviour . 60
9.1 Overview . 60
9.2 Test Description - Abstract Syntax and Classifier Description . 61
9.2.1 TestDescription . 61
9.2.2 BehaviourDescription . 62
9.3 Combined Behaviour - Abstract Syntax and Classifier Description . 63
9.3.1 Behaviour . 63
9.3.2 Block . 64
9.3.3 LocalExpression . 65
9.3.4 CombinedBehaviour . 66
9.3.5 SingleCombinedBehaviour . 66
9.3.6 CompoundBehaviour . 67
ETSI
---------------------- Page: 4 ----------------------
5 Final draft ETSI ES 203 119-1 V1.4.1 (2018-03)
9.3.7 BoundedLoopBehaviour . 67
9.3.8 UnboundedLoopBehaviour . 68
9.3.9 OptionalBehaviour . 68
9.3.10 MultipleCombinedBehaviour . 70
9.3.11 AlternativeBehaviour . 70
9.3.12 ConditionalBehaviour . 73
9.3.13 ParallelBehaviour . 73
9.3.14 ExceptionalBehaviour . 74
9.3.15 DefaultBehaviour . 77
9.3.16 InterruptBehaviour . 77
9.3.17 PeriodicBehaviour . 78
9.4 Atomic Behaviour - Abstract Syntax and Classifier Description . 79
9.4.1 AtomicBehaviour . 79
9.4.2 Break . 80
9.4.3 Stop . 80
9.4.4 VerdictAssignment . 81
9.4.5 Assertion . 81
9.4.6 Interaction . 82
9.4.7 Message . 84
9.4.8 ProcedureCall . 85
9.4.9 Target . 88
9.4.10 ValueAssignment . 89
9.4.11 TestDescriptionReference . 90
9.4.12 ComponentInstanceBinding . 92
9.4.13 ActionBehaviour . 93
9.4.14 ActionReference . 94
9.4.15 InlineAction . 95
9.4.16 Assignment . 95
10 Predefined TDL Model Instances . 96
10.1 Overview . 96
10.2 Predefined Instances of the 'SimpleDataType' Element . 96
10.2.1 Boolean . 96
10.2.2 Integer . 96
10.2.3 String . 96
10.2.4 Verdict . 96
10.3 Predefined Instances of 'SimpleDataInstance' Element . 97
10.3.1 true . 97
10.3.2 false . 97
10.3.3 pass . 97
10.3.4 fail . 97
10.3.5 inconclusive . 97
10.4 Predefined Instances of 'Time' Element . 97
10.4.1 Second . 97
10.5 Predefined Instances of the 'PredefinedFunction' Element . 97
10.5.1 Overview . 97
10.5.2 Functions of Return Type 'Boolean' . 98
10.5.3 Functions of Return Type 'Integer' . 98
10.5.4 Functions of Return Type of Instance of 'Time' . 99
Annex A (informative): Technical Representation of the TDL Meta-Model . 100
Annex B (informative): Examples of a TDL Concrete Syntax . 101
B.1 Introduction . 101
B.2 A 3GPP Conformance Example in Textual Syntax . 101
B.3 An IMS Interoperability Example in Textual Syntax . 103
B.4 An Example Demonstrating TDL Data Concepts . 105
B.5 TDL Textual Syntax Reference . 10
...
SLOVENSKI STANDARD
SIST ES 203 119-1 V1.4.1:2019
01-januar-2019
0HWRGH]DSUHVNXãDQMHLQVSHFLILFLUDQMH 076 -H]LN]DRSLVSUHVNXVD 7'/
GHO $EVWUDNWQDVNODGQMDLQSULSDGDMRþHSRPHQRVORYMH
Methods for Testing and Specification (MTS) - The Test Description Language (TDL) -
Part 1: Abstract Syntax and Associated Semantics
Ta slovenski standard je istoveten z: ETSI ES 203 119-1 V1.4.1 (2018-05)
ICS:
35.060 Jeziki, ki se uporabljajo v Languages used in
informacijski tehniki in information technology
tehnologiji
SIST ES 203 119-1 V1.4.1:2019 en
2003-01.Slovenski inštitut za standardizacijo. Razmnoževanje celote ali delov tega standarda ni dovoljeno.
---------------------- Page: 1 ----------------------
SIST ES 203 119-1 V1.4.1:2019
---------------------- Page: 2 ----------------------
SIST ES 203 119-1 V1.4.1:2019
ETSI ES 203 119-1 V1.4.1 (2018-05)
ETSI STANDARD
Methods for Testing and Specification (MTS);
The Test Description Language (TDL);
Part 1: Abstract Syntax and Associated Semantics
�
---------------------- Page: 3 ----------------------
SIST ES 203 119-1 V1.4.1:2019
2 ETSI ES 203 119-1 V1.4.1 (2018-05)
Reference
RES/MTS-203119-1v1.4.1
Keywords
language, MBT, methodology, model, testing,
TSS&TP, TTCN-3, UML
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.
© ETSI 2018.
All rights reserved.
TM TM TM
DECT , PLUGTESTS , UMTS and the ETSI logo are trademarks of ETSI registered for the benefit of its Members.
TM TM
3GPP and LTE are trademarks of ETSI registered for the benefit of its Members and
of the 3GPP Organizational Partners.
oneM2M logo is protected for the benefit of its Members.
®
GSM and the GSM logo are trademarks registered and owned by the GSM Association.
ETSI
---------------------- Page: 4 ----------------------
SIST ES 203 119-1 V1.4.1:2019
3 ETSI ES 203 119-1 V1.4.1 (2018-05)
Contents
Intellectual Property Rights . 7
Foreword . 7
Modal verbs terminology . 7
1 Scope . 8
2 References . 8
2.1 Normative references . 8
2.2 Informative references . 9
3 Definitions and abbreviations . 9
3.1 Definitions . 9
3.2 Abbreviations . 10
4 Basic Principles . 10
4.1 What is TDL? . 10
4.2 Design Considerations . 11
4.3 Principal Design Approach. 12
4.4 Document Structure . 13
4.5 Notational Conventions . 14
4.6 OCL Constraints Requirements . 14
4.7 Conformance . 14
5 Foundation . 15
5.1 Overview . 15
5.2 Abstract Syntax and Classifier Description . 15
5.2.1 Element . 15
5.2.2 NamedElement . 16
5.2.3 PackageableElement . 16
5.2.4 Package . 17
5.2.5 ElementImport . 17
5.2.6 Comment . 18
5.2.7 Annotation . 19
5.2.8 AnnotationType . 20
5.2.9 TestObjective . 20
6 Data . 20
6.1 Overview . 20
6.2 Data Definition - Abstract Syntax and Classifier Description . 21
6.2.1 DataResourceMapping . 21
6.2.2 MappableDataElement . 22
6.2.3 DataElementMapping . 22
6.2.4 ParameterMapping . 23
6.2.5 DataType . 24
6.2.6 DataInstance . 24
6.2.7 SimpleDataType . 25
6.2.8 SimpleDataInstance . 25
6.2.9 StructuredDataType . 26
6.2.10 Member . 26
6.2.11 StructuredDataInstance . 27
6.2.12 MemberAssignment . 28
6.2.13 CollectionDataType . 29
6.2.14 CollectionDataInstance . 29
6.2.15 ProcedureSignature . 30
6.2.16 ProcedureParameter . 30
6.2.17 ParameterKind . 31
6.2.18 Parameter . 32
6.2.19 FormalParameter . 32
6.2.20 Variable . 32
ETSI
---------------------- Page: 5 ----------------------
SIST ES 203 119-1 V1.4.1:2019
4 ETSI ES 203 119-1 V1.4.1 (2018-05)
6.2.21 Action . 33
6.2.22 Function . 33
6.2.23 UnassignedMemberTreatment . 33
6.2.24 PredefinedFunction . 34
6.3 Data Use - Abstract Syntax and Classifier Description . 35
6.3.1 DataUse . 35
6.3.2 ParameterBinding . 36
6.3.3 MemberReference . 37
6.3.4 StaticDataUse . 38
6.3.5 DataInstanceUse . 38
6.3.6 SpecialValueUse . 39
6.3.7 AnyValue . 40
6.3.8 AnyValueOrOmit . 40
6.3.9 OmitValue. 40
6.3.10 DynamicDataUse . 41
6.3.11 FunctionCall . 42
6.3.12 FormalParameterUse . 42
6.3.13 VariableUse . 42
6.3.14 PredefinedFunctionCall . 43
7 Time . 44
7.1 Overview . 44
7.2 Abstract Syntax and Classifier Description . 44
7.2.1 Time . 44
7.2.2 TimeLabel . 45
7.2.3 TimeLabelUse . 45
7.2.4 TimeLabelUseKind . 46
7.2.5 TimeConstraint . 46
7.2.6 TimeOperation . 49
7.2.7 Wait . 50
7.2.8 Quiescence . 50
7.2.9 Timer . 52
7.2.10 TimerOperation . 52
7.2.11 TimerStart . 52
7.2.12 TimerStop . 53
7.2.13 TimeOut . 53
8 Test Configuration . 54
8.1 Overview . 54
8.2 Abstract Syntax and Classifier Description . 54
8.2.1 GateType . 54
8.2.2 GateTypeKind . 55
8.2.3 GateInstance . 55
8.2.4 ComponentType . 56
8.2.5 ComponentInstance . 56
8.2.6 ComponentInstanceRole . 57
8.2.7 GateReference . 57
8.2.8 Connection . 58
8.2.9 TestConfiguration . 59
9 Test Behaviour . 60
9.1 Overview . 60
9.2 Test Description - Abstract Syntax and Classifier Description . 60
9.2.1 TestDescription . 60
9.2.2 BehaviourDescription . 61
9.3 Combined Behaviour - Abstract Syntax and Classifier Description . 62
9.3.1 Behaviour . 62
9.3.2 Block . 63
9.3.3 LocalExpression . 64
9.3.4 CombinedBehaviour . 65
9.3.5 SingleCombinedBehaviour . 65
9.3.6 CompoundBehaviour . 66
9.3.7 BoundedLoopBehaviour . 66
ETSI
---------------------- Page: 6 ----------------------
SIST ES 203 119-1 V1.4.1:2019
5 ETSI ES 203 119-1 V1.4.1 (2018-05)
9.3.8 UnboundedLoopBehaviour . 67
9.3.9 OptionalBehaviour . 67
9.3.10 MultipleCombinedBehaviour . 69
9.3.11 AlternativeBehaviour . 69
9.3.12 ConditionalBehaviour . 72
9.3.13 ParallelBehaviour . 72
9.3.14 ExceptionalBehaviour . 73
9.3.15 DefaultBehaviour . 76
9.3.16 InterruptBehaviour . 76
9.3.17 PeriodicBehaviour . 77
9.4 Atomic Behaviour - Abstract Syntax and Classifier Description . 78
9.4.1 AtomicBehaviour . 78
9.4.2 Break . 79
9.4.3 Stop . 79
9.4.4 VerdictAssignment . 80
9.4.5 Assertion . 80
9.4.6 Interaction . 81
9.4.7 Message . 83
9.4.8 ProcedureCall . 84
9.4.9 Target . 87
9.4.10 ValueAssignment . 88
9.4.11 TestDescriptionReference . 89
9.4.12 ComponentInstanceBinding . 91
9.4.13 ActionBehaviour . 92
9.4.14 ActionReference . 93
9.4.15 InlineAction . 94
9.4.16 Assignment . 94
10 Predefined TDL Model Instances . 95
10.1 Overview . 95
10.2 Predefined Instances of the 'SimpleDataType' Element . 95
10.2.1 Boolean . 95
10.2.2 Integer . 95
10.2.3 String . 95
10.2.4 Verdict . 95
10.3 Predefined Instances of 'SimpleDataInstance' Element . 96
10.3.1 true . 96
10.3.2 false . 96
10.3.3 pass . 96
10.3.4 fail . 96
10.3.5 inconclusive . 96
10.4 Predefined Instances of 'Time' Element . 96
10.4.1 Second . 96
10.5 Predefined Instances of the 'PredefinedFunction' Element . 96
10.5.1 Overview . 96
10.5.2 Functions of Return Type 'Boolean' . 97
10.5.3 Functions of Return Type 'Integer' . 97
10.5.4 Functions of Return Type of Instance of 'Time' . 98
Annex A (informat
...
Questions, Comments and Discussion
Ask us and Technical Secretary will try to provide an answer. You can facilitate discussion about the standard in here.