A.3.2 Basic language elements

Table A.1: Basic language elements

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSyn_05_TopLevel_001	When the IUT loads a module containing some definitions before the module declaration then the module is rejected.	Clause 5	m

A.3.3 Identifiers and keywords

Table A.2: Identifiers and keywords

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_0501_Identifier_001	Cannot pass a charstring value to an integer variable.	Clause 5.1	m
2	NegSyn_0501_Identifier_001	When the IUT loads a module containing an	Clause 5.1	m
3	Syn_0501_Identifier_001	The IUT handle the identifiers case sensitively.	Clause 5.1	m

A.3.4 Scope rules

Table A.3: Scope rules

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_0502_Scope_001	The IUT correctly handles definitions of local scope	Clause 5.2	m
2	NegSem_0502_Scope_002	The IUT correctly handles definitions of local scope	Clause 5.2	m
3	NegSem_0502_Scope_003	The IUT correctly handles definitions of local scope	Clause 5.2	m
4	Sem_0502_Scope_001	The IUT handle scope hieararchy of component constants.	Clause 5.2	m
5	Sem_0502_Scope_002	The IUT handle scope hieararchy with component booleans.	Clause 5.2	m
6	Sem_0502_Scope_003	The IUT handles scope hierarchy via functions.	Clause 5.2	m
7	Sem_0502_Scope_004	The IUT correctly handles the scope of definitions made in the module part.	Clause 5.2	m
8	Sem_0502_Scope_008	The IUT correctly handles definitions of extended component scope	Clause 5.2	m
9	Syn_0502_Scope_001	The IUT supports all the nine scope units.	Clause 5.2	m

A.3.5 Scope of formal parameters

Table A.4: Scope of formal parameters

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_050201_Scope_of_parameters_001	The IUT correctly handles scope of formal function parameters	Clause 5.2.1	m

A.3.6 Uniqueness of identifiers

Table A.5: Uniqueness of identifiers

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_050202_Uniqueness_001	The IUT correctly handles the uniqueness of variable names in its scope	Clause 5.2.2	m
2	NegSem_050202_Uniqueness_004	The IUT correctly handles the uniqueness of variable names in its scope	Clause 5.2.2	m
3	NegSem_050202_Uniqueness_005	The IUT correctly handles the uniqueness of variable names in its scope	Clause 5.2.2	m
4	NegSem_050202_Uniqueness_006	The IUT correctly handles the uniqueness of variable names in its scope	Clause 5.2.2	m
5	NegSem_050202_Uniqueness_007	The IUT correctly handles the uniqueness of variable names in its scope	Clause 5.2.2	m
6	NegSem_050202_Uniqueness_008	The IUT correctly handles the uniqueness of variable names in its scope	Clause 5.2.2	m
7	NegSem_050202_Uniqueness_009	The IUT correctly handles the uniqueness of variable names in its scope	Clause 5.2.2	m
8	NegSem_050202_Uniqueness_010	The IUT correctly handles the uniqueness of variable names in its scope	Clause 5.2.2	m
9	NegSem_050202_Uniqueness_011	The IUT correctly handles the uniqueness of variable names in its scope	Clause 5.2.2	m
10	NegSem_050202_Uniqueness_012	The IUT correctly handles the uniqueness of variable names in its scope	Clause 5.2.2	m
11	Sem_050202_Uniqueness_001	The IUT correctly handles the uniqueness of variable names in its scope	Clause 5.2.2	m
12	Sem_050202_Uniqueness_002	The IUT correctly handles the uniqueness of variable names in its scope	Clause 5.2.2	m
13	Sem_050202_Uniqueness_003	The IUT correctly handles the uniqueness of variable names in its scope	Clause 5.2.2	m

A.3.7 Ordering of language elements

Table A.6: Ordering of language elements

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_0503_Ordering_001	Declarations are in the allowed ordering	Clause 5.3	m
2	NegSem_0503_Ordering_002	Declarations are in the allowed ordering	Clause 5.3	m
3	NegSem_0503_Ordering_003	Declarations are in the allowed ordering	Clause 5.3	m
4	Sem_0503_Ordering_001	Allowed orderings of declarations are supported	Clause 5.3	m
5	Sem_0503_Ordering_005	Allowed orderings of declarations are supported	Clause 5.3	m

A.3.8 Parameterization

Table A.7: Parameterization

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_0504_parametrization_incompatibility_001	The IUT correctly handles received testcase parametrization type incompatibility.	Clause 5.4	m
2	NegSyn_0504_forbidden_parametrization_001	The IUT rejects forbidden module parametrization types.	Clause 5.4	m
3	NegSyn_0504_forbidden_parametrization_002	The IUT rejects forbidden module parametrization types.	Clause 5.4	m

A.3.9 Formal parameters of kind value

Table A.8: Formal parameters of kind value

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_05040101_parameters_of_kind_value_001	The IUT correctly handles parametrization through the use of module parameters.	Clause 5.4.1.1	m

A.3.10 Formal parameters of kind template

Table A.9: Formal parameters of kind template

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_05040102_parameters_of_kind_template_001	The IUT correctly handles parametrization through the use of parameterized templates.	Clause 5.4.1.2	m
2	Sem_05040102_parameters_of_kind_template_002	The IUT correctly handles parametrization through the use of parameterized templates.	Clause 5.4.1.2	m

A.3.11 Formal parameters of kind timer

Table A.10: Formal parameters of kind timer

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_05040103_parameters_of_kind_timer_001	The IUT correctly handles parametrization through the use of timer parameters.	Clause 5.4.1.3	m

A.3.12 Formal parameters of kind port

Table A.11: Formal parameters of kind port

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_05040104_parameters_of_kind_port_001	The IUT accepts port parametrization types for functions.	Clause 5.4.1.4	m

A.3.13 Actual parameters

Table A.12: Actual parameters

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_050402_actual_parameters_001	The IUT accepts allowed assignments of actual parameters.	Clause 5.4.2	m
2	Sem_050402_actual_parameters_002	The IUT accepts nested assignment of actual parameters.	Clause 5.4.2	m

A.3.14 Cyclic definitions

Table A.13: Cyclic definitions

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_0505_cyclic_definitions_001	The IUT correctly handles recursive functions	Clause 5.5	m
2	Sem_0505_cyclic_definitions_002	The IUT correctly handles cyclic imports	Clause 5.5	m

A.3.15 Simple basic types and values

Table A.14: Simple basic types and values

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSyn_060100_SimpleBasicTypes_001	Assign float to integer values	Clause 6.1.0	m
2	NegSyn_060100_SimpleBasicTypes_002	Assign boolean to integer values	Clause 6.1.0	m
3	NegSyn_060100_SimpleBasicTypes_003	Assign integer to float values	Clause 6.1.0	m
4	NegSyn_060100_SimpleBasicTypes_004	Assign boolean to float values	Clause 6.1.0	m
5	NegSyn_060100_SimpleBasicTypes_005	Assign verdicttype to float values	Clause 6.1.0	m
6	NegSyn_060100_SimpleBasicTypes_006	Assign integer to verdicttype values	Clause 6.1.0	m
7	Sem_060100_SimpleBasicTypes_001	Assign and read integer values	Clause 6.1.0	m
8	Sem_060100_SimpleBasicTypes_002	Assign and read large integer values	Clause 6.1.0	m
9	Sem_060100_SimpleBasicTypes_003	Assign and read float values	Clause 6.1.0	m
10	Sem_060100_SimpleBasicTypes_004	Assign and read large float values	Clause 6.1.0	m
11	Sem_060100_SimpleBasicTypes_005	Assign and read verdicts	Clause 6.1.0	m
12	Syn_060100_SimpleBasicTypes_001	Assign different integer values	Clause 6.1.0	m
13	Syn_060100_SimpleBasicTypes_002	Assign large integer values	Clause 6.1.0	m
14	Syn_060100_SimpleBasicTypes_003	Assign different float values	Clause 6.1.0	m
15	Syn_060100_SimpleBasicTypes_004	Assign small and large float values	Clause 6.1.0	m
16	Syn_060100_SimpleBasicTypes_005	Accept float mantisa for float values	Clause 6.1.0	m
17	Syn_060100_SimpleBasicTypes_006	Accept all verdict values	Clause 6.1.0	m

A.3.16 Basic string types and values

Table A.15: Basic string types and values

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSyn_060101_TopLevel_001	Assign invalid bitstring value	Clause 6.1.1	m
2	NegSyn_060101_TopLevel_002	Assign string to bitstring values	Clause 6.1.1	m
3	NegSyn_060101_TopLevel_003	Assign octetstring to bitstring values	Clause 6.1.1	m
4	NegSyn_060101_TopLevel_004	Assign invalid hexstring value	Clause 6.1.1	m
5	NegSyn_060101_TopLevel_005	Assign string to hexstring values	Clause 6.1.1	m
6	NegSyn_060101_TopLevel_006	Assign octetstring to hexstring values	Clause 6.1.1	m
7	NegSyn_060101_TopLevel_007	Assign invalid hexstring value	Clause 6.1.1	m
8	NegSyn_060101_TopLevel_008	Assign string to octetstring values	Clause 6.1.1	m
9	NegSyn_060101_TopLevel_009	Assign hexstring to octetstring values	Clause 6.1.1	m
10	NegSyn_060101_TopLevel_010	Assign invalid hexstring value	Clause 6.1.1	m
11	Sem_060101_TopLevel_001	Assign and read bitstring	Clause 6.1.1	m
12	Sem_060101_TopLevel_002	Assign and read hexstring	Clause 6.1.1	m
13	Sem_060101_TopLevel_003	Assign and read octetstring	Clause 6.1.1	m
14	Sem_060101_TopLevel_004	Assign and read charstring	Clause 6.1.1	m
15	Sem_060101_TopLevel_005	Assign and read universal charstring	Clause 6.1.1	m
16	Sem_060101_TopLevel_006	Assign and read universal charstring	Clause 6.1.1	m
17	Syn_060101_TopLevel_001	Assign different bitstring values	Clause 6.1.1	m
18	Syn_060101_TopLevel_002	Assign different hexstring values	Clause 6.1.1	m
19	Syn_060101_TopLevel_003	Assign different octetstring values	Clause 6.1.1	m

A.3.17 Accessing individual string elements

Table A.16: Accessing individual string elements

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_06010101_AccessStringElements_001	Access bitstring elements	Clause 6.1.1.1	m
2	Sem_06010101_AccessStringElements_002	Access octetstring elements	Clause 6.1.1.1	m
3	Sem_06010101_AccessStringElements_003	Access hexstring elements	Clause 6.1.1.1	m
4	Sem_06010101_AccessStringElements_004	Access bitstring elements	Clause 6.1.1.1	m
5	Sem_06010101_AccessStringElements_005	Access hexstring elements	Clause 6.1.1.1	m
6	Sem_06010101_AccessStringElements_006	Access octetstring elements	Clause 6.1.1.1	m
7	Sem_06010101_AccessStringElements_007	Access charstring elements	Clause 6.1.1.1	m
8	Sem_06010101_AccessStringElements_008	Access charstring elements	Clause 6.1.1.1	m

A.3.18 Lists of values

Table A.17: Lists of values

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_06010201_ListOfValues_001	Assign values to restricted bitstring.	Clause 6.1.2.1	m
2	NegSem_06010201_ListOfValues_002	Assign values to restricted hexstring.	Clause 6.1.2.1	m
3	NegSem_06010201_ListOfValues_003	Assign values to restricted octetstring.	Clause 6.1.2.1	m
4	NegSem_06010201_ListOfValues_004	Assign values to restricted charstring.	Clause 6.1.2.1	m
5	NegSem_06010201_ListOfValues_005	Assign values to restricted integer.	Clause 6.1.2.1	m
6	NegSem_06010201_ListOfValues_006	Assign values to restricted float.	Clause 6.1.2.1	m
7	Sem_06010201_ListOfValues_001	Assign invalid values to restricted bitstring.	Clause 6.1.2.1	m

A.3.19 Lists of types

Table A.18: Lists of types

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_06010202_ListOfTypes_001	Assign invalid values to list of types restricted bitstring.	Clause 6.1.2.2	m
2	Sem_06010202_ListOfTypes_001	Assign values to list of types restricted bitstring.	Clause 6.1.2.2	m

A.3.20 Ranges

Table A.19: Ranges

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_06010203_Ranges_001	Assign invalid values to restricted integer.	Clause 6.1.2.3	m
2	NegSem_06010203_Ranges_002	Assign invalid values to restricted integer.	Clause 6.1.2.3	m
3	NegSem_06010203_Ranges_003	Assure that not_a_number is not allowed in float range subtyping.	Clause 6.1.2.3	m
4	NegSem_06010203_Ranges_004	Assign invalid values to restricted integer with exclusive bounds.	Clause 6.1.2.3	m
5	NegSem_06010203_Ranges_005	Assign invalid values to restricted integer with exclusive bounds.	Clause 6.1.2.3	m
6	NegSem_06010203_Ranges_006	Assign range to boolean not permitted.	Clause 6.1.2.3	m
7	NegSem_06010203_Ranges_007	Assign invalid value to range constrained charstring.	Clause 6.1.2.3	m
8	NegSem_06010203_Ranges_008	Assign invalid value to range constrained charstring.	Clause 6.1.2.3	m
9	NegSem_06010203_Ranges_009	Assign invalid value to range constrained charstring.	Clause 6.1.2.3	m
10	NegSem_06010203_Ranges_010	Assign invalid values to restricted float.	Clause 6.1.2.3	m
11	NegSem_06010203_Ranges_011	Assign invalid values to range restricted float.	Clause 6.1.2.3	m
12	NegSem_06010203_Ranges_012	Assign invalid values to range excluded restricted float.	Clause 6.1.2.3	m
13	NegSem_06010203_Ranges_013	Assign invalid value to range constrained universal charstring.	Clause 6.1.2.3	m
14	NegSem_06010203_Ranges_014	Assign invalid value to range constrained universal charstring with mixed bounds.	Clause 6.1.2.3	m
15	NegSem_06010203_Ranges_015	Assign invalid value to range constrained charstring.	Clause 6.1.2.3	m
16	NegSem_06010203_Ranges_016	Invalid value infinity for range constrained charstring.	Clause 6.1.2.3	m
17	NegSem_06010203_Ranges_017	Invalid value -infinity for range constrained charstring.	Clause 6.1.2.3	m
18	Sem_06010203_Ranges_001	Assign values to range restricted integer.	Clause 6.1.2.3	m
19	Sem_06010203_Ranges_002	Assign values to infinity range restricted integer.	Clause 6.1.2.3	m
20	Sem_06010203_Ranges_003	Assign values to range restricted integer with exclusive bounds.	Clause 6.1.2.3	m
21	Sem_06010203_Ranges_004	Assign values to range restricted cahrstring with inclusive bounds.	Clause 6.1.2.3	m
22	Sem_06010203_Ranges_005	Assign values to range restricted cahrstring with exclusive bounds.	Clause 6.1.2.3	m
23	Sem_06010203_Ranges_006	Assign values to range restricted cahrstring with mixed bounds.	Clause 6.1.2.3	m
24	Sem_06010203_Ranges_007	Assign values to range restricted universal charstring.	Clause 6.1.2.3	m
25	Sem_06010203_Ranges_008	Assign values to range restricted universal charstring with mixed bounds.	Clause 6.1.2.3	m

A.3.21 String length restrictions

Table A.20: String length restrictions

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_06010204_StringLenghtRestrict_001	Assign invalid values to length restricted bitstring.	Clause 6.1.2.4	m
2	NegSem_06010204_StringLenghtRestrict_002	Assign invalid values to length restricted bitstring.	Clause 6.1.2.4	m
3	Sem_06010204_StringLenghtRestrict_001	Assign values to list of types restricted bitstring.	Clause 6.1.2.4	m

A.3.22 Pattern subtyping of character string types

Table A.21: Pattern subtyping of character string types

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_06010205_StringPattern_001	Assign invalid values to pattern restricted character strings.	Clause 6.1.2.5	m
2	Sem_06010205_StringPattern_001	Assign values to pattern restricted character strings.	Clause 6.1.2.5	m
3	Sem_06010205_StringPattern_002	Assign values to pattern restricted character strings.	Clause 6.1.2.5	m

A.3.23 Mixing patterns, lists and ranges

Table A.22: Mixing patterns, lists and ranges

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_0601020601_MixingSubtype_001	Assign invalid values to mixed restricted floats.	Clause 6.1.2.6.1	m
2	NegSem_0601020601_MixingSubtype_002	Assign invalid values to mixed restricted integers.	Clause 6.1.2.6.1	m
3	Sem_0601020601_MixingSubtype_001	Assign values to mixed restricted floats.	Clause 6.1.2.6.1	m
4	Sem_0601020601_MixingSubtype_002	Assign values to mixed restricted integers.	Clause 6.1.2.6.1	m

A.3.24 Using length restriction with other constraints

Table A.23: Using length restriction with other constraints

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_0601020602_StringMixing_001	Assign invalid values to mixed restricted character strings.	Clause 6.1.2.6.2	m
2	NegSem_0601020602_StringMixing_002	Assign invalid values to mixed restricted character strings.	Clause 6.1.2.6.2	m
3	NegSem_0601020602_StringMixing_003	Assign invalid values to mixed restricted character strings.	Clause 6.1.2.6.2	m
4	NegSem_0601020602_StringMixing_004	Assign invalid values to mixed restricted bit strings.	Clause 6.1.2.6.2	m
5	NegSem_0601020602_StringMixing_005	Assign invalid values to mixed restricted hex strings.	Clause 6.1.2.6.2	m
6	NegSem_0601020602_StringMixing_006	Assign invalid values to mixed restricted octet strings.	Clause 6.1.2.6.2	m
7	Sem_0601020602_StringMixing_001	Assign values to mixed restricted character strings.	Clause 6.1.2.6.2	m
8	Sem_0601020602_StringMixing_002	Assign values to mixed restricted character strings.	Clause 6.1.2.6.2	m
9	Sem_0601020602_StringMixing_003	Assign values to mixed restricted character strings.	Clause 6.1.2.6.2	m
10	Sem_0601020602_StringMixing_004	Assign values to mixed restricted bit strings.	Clause 6.1.2.6.2	m
11	Sem_0601020602_StringMixing_005	Assign values to mixed restricted hex strings.	Clause 6.1.2.6.2	m
12	Sem_0601020602_StringMixing_006	Assign values to mixed restricted octet strings.	Clause 6.1.2.6.2	m

A.3.25 Structured types and values

Table A.24: Structured types and values

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSyn_0602_TopLevel_001	Invalid recursive union type definition causing an error	Clause 6.2	m
2	NegSyn_0602_TopLevel_002	Invalid recursive record type definition causing an error	Clause 6.2	m
3	NegSyn_0602_TopLevel_003	Combined value list and assignment notation not allowed in the same (immediate) context.	Clause 6.2	m
4	NegSyn_0602_TopLevel_004	The omit keyword shall not be used for mandatory fields.	Clause 6.2	m
5	NegSyn_0602_TopLevel_005	The omit keyword shall not be used for mandatory fields.	Clause 6.2	m
6	Syn_0602_TopLevel_001	Valid recursive union type definition	Clause 6.2	m
7	Syn_0602_TopLevel_002	Valid recursive record type definition	Clause 6.2	m
8	Syn_0602_TopLevel_003	Valid recursive record type definition	Clause 6.2	m
9	Syn_0602_TopLevel_004	constant definition of a record type.	Clause 6.2	m
10	Syn_0602_TopLevel_005	Fields not mentioned are implicitly left unspecified.	Clause 6.2	m

A.3.26 Record type and values

Table A.25: Record type and values

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Syn_060201_RecordTypeValues_001	The element identifiers are local to the record and shall be unique within the record (but do not have to be globally unique).	Clause 6.2.1	m
2	Syn_060201_RecordTypeValues_002	The IUT correctly handles empty record definitions.	Clause 6.2.1	m

A.3.27 Communication port types

Table A.26: Communication port types

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_060209_CommunicationPortTypes_001	Map param statements are allowed in testcase block	Clause 6.2.9	m
2	Sem_060209_CommunicationPortTypes_002	Unmap param statements are allowed in testcase block	Clause 6.2.9	m
3	Sem_060209_CommunicationPortTypes_003	Map and unmap param and local port address are allowed in a testcase block	Clause 6.2.9	m
4	Syn_060209_CommunicationPortTypes_001	Message-based ports are accepted.	Clause 6.2.9	m
5	Syn_060209_CommunicationPortTypes_002	Message-based ports with address are accepted.	Clause 6.2.9	m
6	Syn_060209_CommunicationPortTypes_003	Message-based ports are accepted.	Clause 6.2.9	m
7	Syn_060209_CommunicationPortTypes_004	A address is allowed inside port definition	Clause 6.2.9	m
8	Syn_060209_CommunicationPortTypes_005	Map param is accepted by the port definition.	Clause 6.2.9	m
9	Syn_060209_CommunicationPortTypes_006	Unmap param is accepted by the port definition.	Clause 6.2.9	m
10	Syn_060209_CommunicationPortTypes_007	Complex port definition are accepted.	Clause 6.2.9	m

A.3.28 Addressing entities inside the SUT

Table A.27: Addressing entities inside the SUT

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_060212_AddressingEntitiesInsideSut_001	Ensure right type checking for address types in ports	Clause 6.2.12	m
2	Sem_060212_AddressingEntitiesInsideSut_001	Ensure null assignment is accepted for addresses	Clause 6.2.12	m
3	Sem_060212_AddressingEntitiesInsideSut_002	The right port address is used	Clause 6.2.12	m

A.3.29 Type compatibility of non-structured types

Table A.28: Type compatibility of non-structured types

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_060301_non_structured_types_001	The IUT correctly handles assignments from incompatible type ranges	Clause 6.3.1	m
2	NegSem_060301_non_structured_types_002	The IUT correctly handles assignments from incompatible type ranges	Clause 6.3.1	m
3	NegSem_060301_non_structured_types_003	The IUT correctly handles assignments from incompatible type ranges	Clause 6.3.1	m
4	NegSem_060301_non_structured_types_004	The IUT correctly handles assignments from incompatible type ranges	Clause 6.3.1	m
5	NegSem_060301_non_structured_types_005	The IUT correctly handles assignments from incompatible type ranges	Clause 6.3.1	m
6	NegSem_060301_non_structured_types_006	The IUT correctly handles assignments from incompatible type ranges	Clause 6.3.1	m
7	NegSem_060301_non_structured_types_007	The IUT correctly handles assignments from compatible size restrictions	Clause 6.3.1	m
8	NegSem_060301_non_structured_types_008	The IUT correctly handles assignments from compatible size restrictions	Clause 6.3.1	m
9	NegSem_060301_non_structured_types_009	The IUT correctly handles assignments from compatible size restrictions	Clause 6.3.1	m
10	NegSem_060301_non_structured_types_010	The IUT correctly handles assignments from compatible size restrictions	Clause 6.3.1	m
11	NegSem_060301_non_structured_types_011	The IUT correctly handles assignments from compatible size restrictions	Clause 6.3.1	m
12	NegSem_060301_non_structured_types_012	The IUT correctly handles assignments from compatible size restrictions	Clause 6.3.1	m
13	Sem_060301_non_structured_types_001	The IUT correctly handles assignments from compatible type ranges	Clause 6.3.1	m
14	Sem_060301_non_structured_types_002	The IUT correctly handles assignments from compatible size restrictions	Clause 6.3.1	m

A.3.30 Type compatibility of structured types

Table A.29: Type compatibility of structured types

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_060302_structured_types_002	The IUT rejects assignments from incompatible types or type ranges	Clause 6.3.2	m
2	NegSem_060302_structured_types_003	The IUT rejects assignments from incompatible types or type ranges	Clause 6.3.2	m
3	NegSem_060302_structured_types_004	The IUT rejects assignments from incompatible types or type ranges	Clause 6.3.2	m
4	NegSem_060302_structured_types_005	The IUT rejects assignments from incompatible types or type ranges	Clause 6.3.2	m
5	NegSem_060302_structured_types_006	The IUT rejects assignments from incompatible types or type ranges	Clause 6.3.2	m
6	NegSem_060302_structured_types_007	The IUT rejects assignments from incompatible types or type ranges	Clause 6.3.2	m
7	NegSem_060302_structured_types_008	The IUT rejects assignments from incompatible types or type ranges	Clause 6.3.2	m
8	NegSem_060302_structured_types_009	The IUT rejects assignments from incompatible types or type ranges	Clause 6.3.2	m
9	NegSem_060302_structured_types_010	The IUT rejects assignments from incompatible types or type ranges	Clause 6.3.2	m
10	NegSem_060302_structured_types_011	The IUT rejects assignments from structures having incompatible anytypes	Clause 6.3.2	m
11	Sem_060302_structured_types_001	The IUT correctly handles assignments from structures having compatible types and type ranges	Clause 6.3.2	m
12	Sem_060302_structured_types_003	The IUT correctly handles assignments from structures having compatible types and type ranges	Clause 6.3.2	m
13	Sem_060302_structured_types_004	The IUT correctly handles assignments from structures having compatible anytypes	Clause 6.3.2	m
14	Sem_060302_structured_types_005	The IUT correctly handles assignments from structures having compatible types and type ranges	Clause 6.3.2	m

A.3.31 Type compatibility of enumerated types

Table A.30: Type compatibility of enumerated types

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_060302_structured_types_001	Reject assignment of other enumerated types since they are only compatible to synonym types	Clause 6.3.2.1	m

A.3.32 Type compatibility of component types

Table A.31: Type compatibility of component types

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_060303_component_types_001	The IUT correctly handles component incompatibility due to differing list of constant definitions	Clause 6.3.3	m
2	NegSem_060303_component_types_002	The IUT correctly handles component incompatibility due to differing constant types having same name	Clause 6.3.3	m
3	Sem_060303_component_types_001	The IUT correctly handles assignments from structures having compatible components	Clause 6.3.3	m
4	Sem_060303_component_types_002	The IUT correctly handles assignments from structures having compatible components	Clause 6.3.3	m

A.3.33 Arithmetic operators

Table A.32: Arithmetic operators

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_070101_ArithmeticOperators_001	The addition of two integer variables is evaluated correctly.	Clause 7.1.1	m
2	Sem_070101_ArithmeticOperators_002	The addition of multiple integer variables is evaluated correctly.	Clause 7.1.1	m
3	Sem_070101_ArithmeticOperators_003	The addition of two integer variables is evaluated correctly when the expression contains a negative value.	Clause 7.1.1	m
4	Sem_070101_ArithmeticOperators_004	The substraction of two integer variables is evaluated correctly.	Clause 7.1.1	m
5	Sem_070101_ArithmeticOperators_005	The substraction of multiple integer variables is evaluated correctly.	Clause 7.1.1	m
6	Sem_070101_ArithmeticOperators_006	The multiplication of two integer variables is evaluated correctly.	Clause 7.1.1	m
7	Sem_070101_ArithmeticOperators_007	The multiplication of multiple integer variables is evaluated correctly.	Clause 7.1.1	m
8	Sem_070101_ArithmeticOperators_008	The division of two integer variables is evaluated correctly.	Clause 7.1.1	m
9	Sem_070101_ArithmeticOperators_009	The division of multiple integer variables is evaluated correctly.	Clause 7.1.1	m
10	Sem_070101_ArithmeticOperators_010	The application of the modulo operator on integer variables is evaluated correctly when the remainder is zero.	Clause 7.1.1	m
11	Sem_070101_ArithmeticOperators_011	The application of the modulo operator on integer variables is evaluated correctly when the integer value is smaller than the modulo value.	Clause 7.1.1	m
12	Sem_070101_ArithmeticOperators_012	The application of the modulo operator on integer variables is evaluated correctly when the integer value greater than the modulo value.	Clause 7.1.1	m
13	Sem_070101_ArithmeticOperators_013	The application of the modulo operator on integer variables is evaluated correctly when two consecutive modulo operators are applied.	Clause 7.1.1	m
14	Sem_070101_ArithmeticOperators_014	The application of the modulo operator on integer variables is evaluated correctly when the operand is a negative integer.	Clause 7.1.1	m
15	Sem_070101_ArithmeticOperators_015	The application of the remainder operator on integer variables is evaluated correctly when the operand is a negative integer.	Clause 7.1.1	m
16	Sem_070101_ArithmeticOperators_016	The application of the remainder operator on integer variables is evaluated correctly when the operand is a negative integer.	Clause 7.1.1	m
17	Sem_070101_ArithmeticOperators_017	The consecutive application of the remainder operator and the modulo operator on integer variables is evaluated correctly.	Clause 7.1.1	m
18	Sem_070101_ArithmeticOperators_018	Operator combinations and the modulo operator on integer variables is evaluated correctly.	Clause 7.1.1	m
19	Sem_070101_ArithmeticOperators_019	The addition operator works on float variables.	Clause 7.1.1	m
20	Sem_070101_ArithmeticOperators_020	The substraction operator works on float variables.	Clause 7.1.1	m
21	Sem_070101_ArithmeticOperators_021	The multiplication operator works on float variables.	Clause 7.1.1	m
22	Sem_070101_ArithmeticOperators_022	The division operator works on float variables.	Clause 7.1.1	m
23	Sem_070101_ArithmeticOperators_023	The combination of different operators works on float variables.	Clause 7.1.1	m
24	Syn_070101_ArithmeticOperators_001	The addition of two integers in a constant is accepted.	Clause 7.1.1	m
25	Syn_070101_ArithmeticOperators_002	The substraction of two integers in a constant is accepted.	Clause 7.1.1	m
26	Syn_070101_ArithmeticOperators_003	The multiplication of two integers in a constant is accepted.	Clause 7.1.1	m
27	Syn_070101_ArithmeticOperators_004	The division of two integers in a constant is accepted.	Clause 7.1.1	m
28	Syn_070101_ArithmeticOperators_005	The modulo operator on two integers is accepted.	Clause 7.1.1	m
29	Syn_070101_ArithmeticOperators_006	The remainder operator on two integers is accepted.	Clause 7.1.1	m
30	Syn_070101_ArithmeticOperators_007	Operator combinations on integers is accepted.	Clause 7.1.1	m
31	Syn_070101_ArithmeticOperators_008	The addition operator on float constants is accepted.	Clause 7.1.1	m
32	Syn_070101_ArithmeticOperators_009	The substraction operator on float constants is accepted.	Clause 7.1.1	m
33	Syn_070101_ArithmeticOperators_010	The multiplication operator on float constants is accepted.	Clause 7.1.1	m
34	Syn_070101_ArithmeticOperators_011	The division operator on float constants is accepted.	Clause 7.1.1	m
35	Syn_070101_ArithmeticOperators_012	A combination of operators on float constants is accepted.	Clause 7.1.1	m

A.3.34 List operator

Table A.33: List operator

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_070102_ListOperator_001	The list operator on bitstrings is evaluated correctly.	Clause 7.1.2	m
2	Sem_070102_ListOperator_002	The list operator on charstrings is evaluated correctly.	Clause 7.1.2	m
3	Sem_070102_ListOperator_003	The list operator on record of is evaluated correctly.	Clause 7.1.2	m
4	Sem_070102_ListOperator_004	The list operator on set of is evaluated correctly.	Clause 7.1.2	m
5	Sem_070102_ListOperator_005	The list operator on arrays is evaluated correctly.	Clause 7.1.2	m

A.3.35 Relational operators

Table A.34: Relational operators

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_070103_RelationalOperators_001	The equals operator on integers is evaluated correctly.	Clause 7.1.3	m
2	Sem_070103_RelationalOperators_002	The equals operator on floats is evaluated correctly.	Clause 7.1.3	m
3	Sem_070103_RelationalOperators_003	The equals operator on enumerations is evaluated correctly.	Clause 7.1.3	m
4	Sem_070103_RelationalOperators_004	The less than operator on integers is evaluated correctly.	Clause 7.1.3	m
5	Sem_070103_RelationalOperators_005	The less than operator on floats is evaluated correctly.	Clause 7.1.3	m
6	Sem_070103_RelationalOperators_006	The less than operator on enumerations is evaluated correctly.	Clause 7.1.3	m
7	Sem_070103_RelationalOperators_007	The less than or equal to operator on integers is evaluated correctly with differing values.	Clause 7.1.3	m
8	Sem_070103_RelationalOperators_008	The less than or equal to operator on integers is evaluated correctly with equal values.	Clause 7.1.3	m
9	Sem_070103_RelationalOperators_009	The less than or equal to operator on floats is evaluated correctly with differing values.	Clause 7.1.3	m
10	Sem_070103_RelationalOperators_010	The less than or equal to operator on floats is evaluated correctly with equal values.	Clause 7.1.3	m
11	Sem_070103_RelationalOperators_011	The less than or equal to operator on enumerations is evaluated correctly with differing values.	Clause 7.1.3	m
12	Sem_070103_RelationalOperators_012	The less than or equal to operator on enumerations is evaluated correctly with equal values.	Clause 7.1.3	m
13	Sem_070103_RelationalOperators_013	The greater than operator on integers is evaluated correctly.	Clause 7.1.3	m
14	Sem_070103_RelationalOperators_014	The less than operator on floats is evaluated correctly.	Clause 7.1.3	m
15	Sem_070103_RelationalOperators_015	The less than operator on enumerations is evaluated correctly.	Clause 7.1.3	m
16	Sem_070103_RelationalOperators_016	The greater than or equal to operator on integers is evaluated correctly with differing values.	Clause 7.1.3	m
17	Sem_070103_RelationalOperators_017	The greater than or equal to operator on integers is evaluated correctly with equal values.	Clause 7.1.3	m
18	Sem_070103_RelationalOperators_018	The greater than or equal to operator on floats is evaluated correctly with differing values.	Clause 7.1.3	m
19	Sem_070103_RelationalOperators_019	The greater than or equal to operator on floats is evaluated correctly with equal values.	Clause 7.1.3	m
20	Sem_070103_RelationalOperators_020	The less than or equal to operator on enumerations is evaluated correctly with differing values.	Clause 7.1.3	m
21	Sem_070103_RelationalOperators_021	The greater than or equal to operator on enumerations is evaluated correctly with equal values.	Clause 7.1.3	m
22	Sem_070103_RelationalOperators_022	The not equals operator on integers is evaluated correctly.	Clause 7.1.3	m
23	Sem_070103_RelationalOperators_023	The not equals operator on floats is evaluated correctly.	Clause 7.1.3	m
24	Sem_070103_RelationalOperators_024	The not equals operator on enumerations is evaluated correctly.	Clause 7.1.3	m

A.3.36 Logical operators

Table A.35: Logical operators

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_070104_LogicalOperators_001	The boolean operator supports negation.	Clause 7.1.4	m
2	Sem_070104_LogicalOperators_002	The the and operator with true and false as operands work on boolean variables.	Clause 7.1.4	m

A.3.37 Bitwise operators

Table A.36: Bitwise operators

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_070105_BitwiseOperators_001	The bitwise negation operator works as expected.	Clause 7.1.5	m
2	Sem_070105_BitwiseOperators_002	The bitwise negation operator works as expected on hexstrings.	Clause 7.1.5	m

A.3.38 Shift operators

Table A.37: Shift operators

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_070106_ShiftOperators_001	The shift left operator works as expected on bitstrings.	Clause 7.1.6	m
2	Sem_070106_ShiftOperators_002	The shift left operator works as expected on hexstrings.	Clause 7.1.6	m
3	Sem_070106_ShiftOperators_003	The shift right operator works as expected on bitstrings.	Clause 7.1.6	m
4	Sem_070106_ShiftOperators_004	The shift right operator works as expected on hexstrings.	Clause 7.1.6	m

A.3.39 Rotate operators

Table A.38: Rotate operators

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_070107_RotateOperators_001	The rotate left operator works as expected on bitstrings.	Clause 7.1.7	m
2	Sem_070107_RotateOperators_002	The rotate left operator works as expected on hexstrings.	Clause 7.1.7	m
3	Sem_070107_RotateOperators_003	The rotate right operator works as expected on bitstrings.	Clause 7.1.7	m
4	Sem_070107_RotateOperators_004	The rotate right operator works as expected on hexstrings.	Clause 7.1.7	m

A.3.40 Field references and list elements

Table A.39: Field references and list elements

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_0702_FieldReferencesAndListElements_001	The IUT correctly handles field referencing	Clause 7.2	m
2	Sem_0702_FieldReferencesAndListElements_002	The IUT correctly handles field referencing	Clause 7.2	m

A.3.41 Definition of a module

Table A.40: Definition of a module

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSyn_0801_DefinitionOfAModule_001	A module definition with multiple language specifications is rejected.	Clause 8.1	m
2	Syn_0801_DefinitionOfAModule_001	A "plain" module definition is accepted.	Clause 8.1	m
3	Syn_0801_DefinitionOfAModule_002	A module definition with language specification is accepted.	Clause 8.1	m
4	Syn_0801_DefinitionOfAModule_003	A module definition with language and package is accepted.	Clause 8.1	m
5	Syn_0801_DefinitionOfAModule_004	A module definition with package and without language is accepted.	Clause 8.1	m
6	Syn_0801_DefinitionOfAModule_005	A module definition with ed4.3.1 language and package is accepted.	Clause 8.1	m

A.3.42 Module definitions part

Table A.41: Module definitions part

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Syn_0802_ModuleDefinitionsPart_001	A TypeDef module definition with public visibility is accepted.	Clause 8.2	m
2	Syn_0802_ModuleDefinitionsPart_002	A TypeDef module definition with private visibility is accepted.	Clause 8.2	m

A.3.43 Module parameters

Table A.42: Module parameters

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_080201_ModuleParameters_001	A reference to plain module parameter with a default value delivers the default value unless it is overwritten.	Clause 8.2.1	m
2	Syn_080201_ModuleParameters_001	Plain module parameters are accepted.	Clause 8.2.1	m
3	Syn_080201_ModuleParameters_002	Plain module parameters with default values are accepted.	Clause 8.2.1	m
4	Syn_080201_ModuleParameters_003	Plain module parameters with default values and visibility modifiers are accepted.	Clause 8.2.1	m

A.3.44 Groups of definitions

Table A.43: Groups of definitions

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Syn_080202_GroupOfDefinitions_001	A definition within a group is accepted.	Clause 8.2.2	m
2	Syn_080202_GroupOfDefinitions_002	A definition within a nested group is accepted.	Clause 8.2.2	m
3	Syn_080202_GroupOfDefinitions_003	A definition within a group with public visibility modifier is accepted.	Clause 8.2.2	m
4	Syn_080202_GroupOfDefinitions_004	A definition within a group with public visibility modifier and attributes is accepted.	Clause 8.2.2	m

A.3.45 General format of import

Table A.44: General format of import

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_08020301_GeneralFormatOfImport_001	Name handling of imported enumerations is properly handled	Clause 8.2.3.1	m
2	NegSem_08020301_GeneralFormatOfImport_002	Name handling of imported enumerations is properly handled	Clause 8.2.3.1	m
3	Syn_08020301_GeneralFormatOfImport_001	Import all is accepted.	Clause 8.2.3.1	m
4	Syn_08020301_GeneralFormatOfImport_002	Import of specific types is accepted.	Clause 8.2.3.1	m

A.3.46 Importing single definitions

Table A.45: Importing single definitions

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_08020302_ImportingSingleDefinitions_001	The value of an explicitly imported constant can be read and carries the same value.	Clause 8.2.3.2	m
2	Sem_08020302_ImportingSingleDefinitions_002	The value of an explicitly imported template can be read and carries the same value.	Clause 8.2.3.2	m

A.3.47 Importing groups

Table A.46: Importing groups

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_08020303_ImportingGroups_001	Constants listed as exceptions in imported groups are not accessible.	Clause 8.2.3.3	m
2	Sem_08020303_ImportingGroups_001	A const defined in a group can be accessed if the group is imported.	Clause 8.2.3.3	m
3	Sem_08020303_ImportingGroups_002	The IUT properly handles 'except' clause in group import definitions	Clause 8.2.3.3	m
4	Sem_08020303_ImportingGroups_003	but that it is in fact a shortcut notation for explicit imports.	Clause 8.2.3.3	m

A.3.48 Importing definitions of the same kind

Table A.47: Importing definitions of the same kind

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_08020301_GeneralFormatOfImport_003	Transitive import rules are properly handled	Clause 8.2.3.4	m
2	NegSem_08020301_GeneralFormatOfImport_004	Transitive import rules are properly handled	Clause 8.2.3.4	m
3	Sem_08020301_GeneralFormatOfImport_001	Transitive imports are properly handled	Clause 8.2.3.4	m
4	Sem_08020301_GeneralFormatOfImport_002	Enumerated type definitions are automatically imported when needed	Clause 8.2.3.4	m
5	Sem_08020304_ImportingDefinitionsOfTheSameKind_001	An import of all constants allows access to a sample constant.	Clause 8.2.3.4	m
6	Sem_08020304_ImportingDefinitionsOfTheSameKind_002	A previously valid const import is not removed by an import covering the same definition with an except.	Clause 8.2.3.4	m
7	Sem_08020304_ImportingDefinitionsOfTheSameKind_003	A previously valid const import is not removed by a second import statement excluding the same definition.	Clause 8.2.3.4	m

A.3.49 Importing all definitions of a module

Table A.48: Importing all definitions of a module

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_08020305_ImportingAllDefinitionsOfAModule_001	The constant is not visible after import with except.	Clause 8.2.3.5	m
2	Sem_08020305_ImportingAllDefinitionsOfAModule_001	The constant is be visible after multiple imports.	Clause 8.2.3.5	m
3	Sem_08020305_ImportingAllDefinitionsOfAModule_002	The constant is be visible after multiple imports.	Clause 8.2.3.5	m

A.3.50 Import definitions from other TTCN-3 editions and from non-TTCN-3 modules

Table A.49: Import definitions from other TTCN-3 editions and from non-TTCN-3 modules

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_08020306_ImportingDefinitionsFromOtherT3EditionsAndFromNonT3Modules_001	It is not possible to import from later language versions.	Clause 8.2.3.6	m
2	Sem_08020306_ImportingDefinitionsFromOtherT3EditionsAndFromNonT3Modules_001	It is possible to import from previous language versions.	Clause 8.2.3.6	m
3	Syn_08020306_ImportingDefinitionsFromOtherT3EditionsAndFromNonT3Modules_001	Imports work with language references when importing definitions of the same kinds (in this case constants) is accepted.	Clause 8.2.3.6	m
4	Syn_08020306_ImportingDefinitionsFromOtherT3EditionsAndFromNonT3Modules_002	Imports work with language references when importing all definitions of another module is accepted.	Clause 8.2.3.6	m

A.3.51 Importing of import statements from TTCN-3 modules

Table A.50: Importing of import statements from TTCN-3 modules

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_08020307_ImportingOfImportStatementsFromT3Modules_001	The import of import statements works for import all.	Clause 8.2.3.7	m
2	NegSem_08020307_ImportingOfImportStatementsFromT3Modules_002	The import of import statements works for import all.	Clause 8.2.3.7	m
3	Sem_08020307_ImportingOfImportStatementsFromT3Modules_001	The import of import statements works for import all.	Clause 8.2.3.7	m

A.3.52 Compatibility of language specifications of imports

Table A.51: Compatibility of language specifications of imports

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_08020308_ImportingOfImportStatementsFromT3Modules_001	Imports referring to future TTCN-3 versions are rejected.	Clause 8.2.3.8	m

A.3.53 Definition of friend modules

Table A.52: Definition of friend modules

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_080204_DefinitionOfFriendModules_001	Friend visibility works for a sample constant.	Clause 8.2.4	m
2	NegSem_080204_DefinitionOfFriendModules_002	Private definitions are not made visible by friend declarations (for a constant sample definition).	Clause 8.2.4	m
3	Sem_080204_DefinitionOfFriendModules_001	Friend visibility works for a sample constant.	Clause 8.2.4	m

A.3.54 Visibility of definitions

Table A.53: Visibility of definitions

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_080205_VisibilityOfDefinitions_001	Private definition (in this case a sample constant) is not visible using a normal import.	Clause 8.2.5	m
2	NegSem_080205_VisibilityOfDefinitions_002	Private definition (in this case a sample constant) is not visible using an import of a friend module.	Clause 8.2.5	m
3	NegSem_080205_VisibilityOfDefinitions_003	Friend definition (in this case a sample constant) is not visible using a group import of a non-friend module.	Clause 8.2.5	m
4	NegSem_080205_VisibilityOfDefinitions_004	Private definition (in this case a sample constant) is not visible using a group import of a non-friend module.	Clause 8.2.5	m
5	NegSem_080205_VisibilityOfDefinitions_005	Private definition (in this case a sample constant) is not visible using a group import of a friend module.	Clause 8.2.5	m
6	Sem_080205_VisibilityOfDefinitions_001	Explicitly defined public definitions (in this case a sample constant) are visible when imported.	Clause 8.2.5	m
7	Sem_080205_VisibilityOfDefinitions_002	Explicitly defined public definitions (in this case a sample constant) are visible when imported by a friend module.	Clause 8.2.5	m
8	Sem_080205_VisibilityOfDefinitions_003	Explicitly defined public definitions (in this case a sample constant) are visible when imported through a group.	Clause 8.2.5	m
9	Sem_080205_VisibilityOfDefinitions_004	Explicitly defined public definitions (in this case a sample constant) are visible when imported through a group of a friend module.	Clause 8.2.5	m
10	Sem_080205_VisibilityOfDefinitions_005	Friend definitions (in this case a sample constant) are visible when imported through a group of a friend module.	Clause 8.2.5	m

A.3.55 Module control part

Table A.54: Module control part

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSyn_0803_ModuleControlPart_001	There is not more than one control part.	Clause 8.3	m
2	Sem_0803_ModuleControlPart_001	The verdict returned from a test case to the control-part does not influence the execution of a second test case. The result of the last test case execution corresponds to the overall test verdict.	Clause 8.3	m
3	Syn_0803_ModuleControlPart_001	The module control is able to accept execute statements.	Clause 8.3	m
4	Syn_0803_ModuleControlPart_002	The module control part with a few commonly used stateents is accepted.	Clause 8.3	m
5	Syn_0803_ModuleControlPart_003	An empty control part is accepted.	Clause 8.3	m

A.3.56 Declaring constants

Table A.55: Declaring constants

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_10_Constants_001	Assign rnd to constant used in type, not allowed since constant expressions used in types have to be known at compile-time.	Clause 10	m
2	Sem_10_Constants_001	Assign and read constants	Clause 10	m
3	Sem_10_Constants_002	Assign and read constants values	Clause 10	m
4	Syn_10_Constants_001	Create constants	Clause 10	m
5	Syn_10_Constants_002	Assign default constants values	Clause 10	m
6	Syn_10_Constants_003	Assign component constants values	Clause 10	m
7	Syn_10_Constants_004	Define constants in different scopes	Clause 10	m

A.3.57 Value variables

Table A.56: Value variables

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_1101_ValueVars_001	Variables should be assigned only by values	Clause 11.1	m
2	NegSyn_1101_ValueVars_001	Define variables in module scope	Clause 11.1	m
3	Sem_1101_ValueVars_001	Define variables in different scopes	Clause 11.1	m
4	Sem_1101_ValueVars_002	Define variables in different scopes	Clause 11.1	m
5	Sem_1101_ValueVars_003	Read and write variables	Clause 11.1	m
6	Syn_1101_ValueVars_001	Define variables in different scopes	Clause 11.1	m

A.3.58 Template variables

Table A.57: Template variables

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_1102_TemplateVars_001	Template variables should be assigned with unitialized variables	Clause 11.2	m
2	NegSyn_1102_TemplateVars_001	Define template variables in module scope	Clause 11.2	m
3	Sem_1102_TemplateVars_001	Define variables in different scopes	Clause 11.2	m
4	Syn_1102_TemplateVars_001	Define template variables in different scopes	Clause 11.2	m

A.3.59 Declaring timers

Table A.58: Declaring timers

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_12_toplevel_timer_001	Ensure timer can not be initialized with negative duration	Clause 12	m
2	NegSem_12_toplevel_timer_002	Ensure timer in array can not be initialized with negative duration	Clause 12	m
3	NegSem_12_toplevel_timer_003	Ensure uninitialized timer can't be started	Clause 12	m
4	NegSem_12_toplevel_timer_004	Ensure uninitialized timer in array can't be started	Clause 12	m
5	NegSem_12_toplevel_timer_005	Ensure uninitialized timer in array can't be started	Clause 12	m
6	NegSem_12_toplevel_timer_006	Ensure timer declaration syntax - reject single timer instance initialized with array	Clause 12	m
7	NegSem_12_toplevel_timer_007	Ensure timer declaration syntax -- reject array initialization with wrong number of initializers	Clause 12	m
8	NegSem_12_toplevel_timer_008	Ensure timer declaration syntax -- reject array of timers initizlized with a single float value	Clause 12	m
9	NegSyn_12_toplevel_timer_001	Ensure timer can`t be used in module control parts when declared in components	Clause 12	m
10	NegSyn_12_toplevel_timer_002	Ensure timer declaration syntax	Clause 12	m
11	NegSyn_12_toplevel_timer_003	Ensure timer declaration syntax	Clause 12	m
12	NegSyn_12_toplevel_timer_005	Ensure timer declaration syntax	Clause 12	m
13	NegSyn_12_toplevel_timer_006	Ensure timer array declaration syntax	Clause 12	m
14	NegSyn_12_toplevel_timer_007	Ensure timer array declaration syntax	Clause 12	m
15	Sem_12_toplevel_timer_001	Ensure timer can be declared in components	Clause 12	m
16	Sem_12_toplevel_timer_002	Ensure timer can be declared in module control parts	Clause 12	m
17	Sem_12_toplevel_timer_003	Ensure timer can be declared in altsteps	Clause 12	m
18	Sem_12_toplevel_timer_004	Ensure timer can be declared in functions	Clause 12	m
19	Sem_12_toplevel_timer_005	Ensure timer can be declared in test cases	Clause 12	m
20	Sem_12_toplevel_timer_006	Ensure timer`s elapsed time is plausible	Clause 12	m
21	Sem_12_toplevel_timer_007	Ensure timer can be declared in components but used in test cases	Clause 12	m
22	Sem_12_toplevel_timer_008	Ensure timer can be declared in components but used in functions	Clause 12	m
23	Sem_12_toplevel_timer_009	Ensure timer can be declared in components but used in altsteps	Clause 12	m
24	Syn_12_toplevel_timer_001	Ensure non-initialized timer declaration syntax	Clause 12	m
25	Syn_12_toplevel_timer_002	Ensure timer array declaration syntax	Clause 12	m
26	Syn_12_toplevel_timer_003	Ensure definition of a list of timers is allowed as a single declaration	Clause 12	m
27	Syn_12_toplevel_timer_004	Ensure timer array initialization syntax	Clause 12	m
28	Syn_12_toplevel_timer_005	Ensure timer declaration with expression	Clause 12	m
29	Syn_12_toplevel_timer_006	Ensure timer declaration with expression	Clause 12	m
30	Sem_13_declaring_msg_001	Ensure received messages can be a combination of value and matching mechanism	Clause 12	m

A.3.60 Declaring messages

Table A.59: Declaring messages

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_13_toplevel_declaring_msg_various_types_001	Port with type anytype can send and receive messages of any basic or structured type: 'record' type.	Clause 13	m
2	Sem_13_toplevel_declaring_msg_various_types_002	Port with type anytype can send and receive messages of any basic or structured type: 'record of' type.	Clause 13	m
3	Sem_13_toplevel_declaring_msg_various_types_003	Port with type anytype can send and receive messages of any basic or structured type: 'enum' type.	Clause 13	m
4	Sem_13_toplevel_declaring_msg_various_types_004	Port with type anytype can send and receive messages of any basic or structured type: 'set' type.	Clause 13	m
5	Sem_13_toplevel_declaring_msg_various_types_005	Port with type anytype can send and receive messages of any basic or structured type: 'union' type.	Clause 13	m
6	Sem_13_toplevel_declaring_msg_various_types_006	Port with type anytype can send and receive messages of any basic or structured type: 'bitstring' type.	Clause 13	m
7	Sem_13_toplevel_declaring_msg_various_types_007	Port with type anytype can send and receive messages of any basic or structured type: 'boolean' type.	Clause 13	m
8	Sem_13_toplevel_declaring_msg_various_types_008	Port with type anytype can send and receive messages of any basic or structured type: 'charstring' type.	Clause 13	m
9	Sem_13_toplevel_declaring_msg_various_types_009	Port with type anytype can send and receive messages of any basic or structured type: 'float' type.	Clause 13	m
10	Sem_13_toplevel_declaring_msg_various_types_010	Port with type anytype can send and receive messages of any basic or structured type: 'hexstring' type.	Clause 13	m
11	Sem_13_toplevel_declaring_msg_various_types_011	Port with type anytype can send and receive messages of any basic or structured type: 'integer' type.	Clause 13	m
12	Sem_13_toplevel_declaring_msg_various_types_012	Port with type anytype can send and receive messages of any basic or structured type: 'octetstring' type.	Clause 13	m
13	Sem_13_toplevel_declaring_msg_various_types_013	Port with type anytype can send and receive messages of any basic or structured type: 'universal charstring' type.	Clause 13	m
14	Sem_13_toplevel_declaring_msg_various_types_014	Port with type anytype can send and receive messages of any basic or structured type: 'verdicttype' type.	Clause 13	m

A.3.61 Declaring templates

Table A.60: Declaring templates

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_15_TopLevel_001	A template formed from a union is rejected when the union somehow contains a default type field.	Clause 15	m
2	Syn_15_TopLevel_001	A simple template with a single charstring field is accepted.	Clause 15	m

A.3.62 Declaring message templates

Table A.61: Declaring message templates

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Syn_1501_DeclaringMessageTemplates_001	A simple record-based message template can be defined.	Clause 15.1	m
2	Syn_1501_DeclaringMessageTemplates_002	A simple record-based message template with a wildcard ? is accepted.	Clause 15.1	m
3	Syn_1501_DeclaringMessageTemplates_003	A simple record-based message template can be defined with a pattern in a charstring field.	Clause 15.1	m
4	Syn_1501_DeclaringMessageTemplates_004	A primitive type template can be defined with a ? wildcard.	Clause 15.1	m
5	Syn_1501_DeclaringMessageTemplates_005	A primitive type template can be defined with a one-of notation.	Clause 15.1	m
6	Syn_1501_DeclaringMessageTemplates_006	All port operations are accepted.	Clause 15.1	m

A.3.63 Declaring signature templates

Table A.62: Declaring signature templates

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_1502_DeclaringSignatureTemplates_001	Test in-line templates for accepting procedure replies.	Clause 15.2	m
2	Sem_1502_DeclaringSignatureTemplates_002	Test in-line templates for accepting procedure replies.	Clause 15.2	m
3	Sem_1502_DeclaringSignatureTemplates_003	Test in-line templates for accepting procedure replies.	Clause 15.2	m
4	Syn_1502_DeclaringSignatureTemplates_001	Signature templates with explicit values are accepted.	Clause 15.2	m
5	Syn_1502_DeclaringSignatureTemplates_002	Signature templates with wildcards are accepted.	Clause 15.2	m
6	Syn_1502_DeclaringSignatureTemplates_003	The basic operations call and getreply are accepted.	Clause 15.2	m
7	Syn_1502_DeclaringSignatureTemplates_004	The raise and catch operations are accepted.	Clause 15.2	m

A.3.64 Global and local templates

Table A.63: Global and local templates

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_1503_GlobalAndLocalTemplates_001	A template values can be accessed with the dot notation as expected.	Clause 15.3	m
2	Sem_1503_GlobalAndLocalTemplates_002	A template actual parameter is passed through correctly.	Clause 15.3	m
3	Sem_1503_GlobalAndLocalTemplates_003	A send operation with actual parameters of a global parameterized template is accepted.	Clause 15.3	m
4	Sem_1503_GlobalAndLocalTemplates_004	A parameterized local template in a test case is accepted.	Clause 15.3	m
5	Sem_1503_GlobalAndLocalTemplates_005	A send operation with actual parameters of a global parameterized template is accepted with the actual parameter being a template parameter.	Clause 15.3	m
6	Sem_1503_GlobalAndLocalTemplates_006	A send operation with actual parameters of a global parameterized template is accepted with the actual parameter being an inline template.	Clause 15.3	m
7	Syn_1503_GlobalAndLocalTemplates_001	A global parameterized template is accepted.	Clause 15.3	m
8	Syn_1503_GlobalAndLocalTemplates_004	A parameterized local template in the control part is accepted.	Clause 15.3	m
9	Syn_1503_GlobalAndLocalTemplates_005	A parameterized local template in a function is accepted.	Clause 15.3	m
10	Syn_1503_GlobalAndLocalTemplates_006	A parameterized local template in an altstep is accepted.	Clause 15.3	m

A.3.65 In-line templates

Table A.64: In-line templates

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Syn_1504_InlineTemplates_001	Inline templates are accepted.	Clause 15.4	m
2	Syn_1504_InlineTemplates_002	Modified parameterized inline templates are accepted.	Clause 15.4	m
3	Syn_1504_InlineTemplates_003	Modified plain inline templates are accepted.	Clause 15.4	m

A.3.66 Modified templates

Table A.65: Modified templates

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_1505_ModifiedTemplates_001	A modified template does not refer to itself.	Clause 15.5	m
2	NegSem_1505_ModifiedTemplates_002	A modified template does not omit possible parameters of the base template.	Clause 15.5	m
3	NegSem_1505_ModifiedTemplates_003	A modified template does not omit possible parameters introduced in any modification step.	Clause 15.5	m
4	NegSem_1505_ModifiedTemplates_004	Parameter names in modified templates are the same.	Clause 15.5	m
5	NegSem_1505_ModifiedTemplates_005	The dash in default parameter values of a modified templates is only accepted when the base template actually has a default value.	Clause 15.5	m
6	NegSem_1505_ModifiedTemplates_006	The same parameter name is used when modifying the base template.	Clause 15.5	m
7	NegSem_1505_ModifiedTemplates_007	The same parameter type is used when modifying the base template.	Clause 15.5	m
8	Sem_1505_ModifiedTemplates_001	The values of plain modified template definitions are as expected.	Clause 15.5	m
9	Sem_1505_ModifiedTemplates_002	A modified template of a record of type using index notation access works as expected.	Clause 15.5	m
10	Sem_1505_ModifiedTemplates_003	Default values in formal parameters of modified templates are working as expected.	Clause 15.5	m
11	Sem_1505_ModifiedTemplates_004	Default values in formal parameters of modified templates are working as expected when the modified template uses the dash for the default value.	Clause 15.5	m
12	Syn_1505_ModifiedTemplates_001	Plain modified template definitions are accepted.	Clause 15.5	m
13	Syn_1505_ModifiedTemplates_002	A modified template does not omit possible parameters introduced in any modification step.	Clause 15.5	m
14	Syn_1505_ModifiedTemplates_003	The default values in formal parameters of modified templates are accepted.	Clause 15.5	m
15	Syn_1505_ModifiedTemplates_004	Dash as default parameter values are accepted.	Clause 15.5	m

A.3.67 Referencing individual string elements

Table A.66: Referencing individual string elements

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_150601_ReferencingIndividualStringElements_001	The referencing of individual string elements inside templates or template fields is forbidden.	Clause 15.6.1	m

A.3.68 Referencing record and set fields

Table A.67: Referencing record and set fields

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_150602_ReferencingRecordAndSetFields_001	Fields with omit values on the right-hand side of an assignment are rejected.	Clause 15.6.2	m
2	NegSem_150602_ReferencingRecordAndSetFields_002	Fields with * values on the right-hand side of an assignment are rejected	Clause 15.6.2	m
3	NegSem_150602_ReferencingRecordAndSetFields_003	Value lists on the right-hand side of an assignment are not acceped.	Clause 15.6.2	m
4	NegSem_150602_ReferencingRecordAndSetFields_004	Complement lists on the right-hand side of an assignment are not acceped.	Clause 15.6.2	m
5	NegSem_150602_ReferencingRecordAndSetFields_005	Referencing a template field with the ifpresent attribute causes a rejection.	Clause 15.6.2	m
6	Sem_150602_ReferencingRecordAndSetFields_001	? shall be returned for mandatory subfields and * shall be returned for optional subfields.	Clause 15.6.2	m
7	Sem_150602_ReferencingRecordAndSetFields_002	The recurisve anyvalue expansion is performed correctly when new values are assigned.	Clause 15.6.2	m
8	Sem_150602_ReferencingRecordAndSetFields_003	? shall be returned for mandatory subfields and * shall be returned for optional subfields.	Clause 15.6.2	m
9	Sem_150602_ReferencingRecordAndSetFields_004	? shall be returned for mandatory subfields and * shall be returned for optional subfields.	Clause 15.6.2	m

A.3.69 Referencing record of and set of elements

Table A.68: Referencing record of and set of elements

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_150603_ReferencingRecordOfAndSetElements_001	Referencing an element within a value list causes an error in the context of record of.	Clause 15.6.3	m
2	NegSem_150603_ReferencingRecordOfAndSetElements_002	Access to unitialized fields in the context of record of is rejected.	Clause 15.6.3	m
3	NegSem_150603_ReferencingRecordOfAndSetElements_003	Anyvalueornone fields in the context of record of is rejected.	Clause 15.6.3	m
4	NegSem_150603_ReferencingRecordOfAndSetElements_004	Complement value lists in the context of record of are rejected.	Clause 15.6.3	m
5	NegSem_150603_ReferencingRecordOfAndSetElements_005	Subset in the context of record of are rejected.	Clause 15.6.3	m
6	NegSem_150603_ReferencingRecordOfAndSetElements_006	Superset in the context of record of are rejected.	Clause 15.6.3	m
7	NegSem_150603_ReferencingRecordOfAndSetElements_007	Access into permutation in record of templates is forbidden.	Clause 15.6.3	m
8	NegSem_150603_ReferencingRecordOfAndSetElements_008	Access to record of indexes is forbidden when a previous index entry is a permutation with a *.	Clause 15.6.3	m
9	NegSem_150603_ReferencingRecordOfAndSetElements_009	Access to ifpresent fields is not allowed.	Clause 15.6.3	m
10	Sem_150603_ReferencingRecordOfAndSetElements_001	Assignment of an anyvalue on the right hand side yields an anyvalue in the context of record of.	Clause 15.6.3	m
11	Sem_150603_ReferencingRecordOfAndSetElements_002	Assignment to a anyvalue in the context of record of is handled correctly.	Clause 15.6.3	m
12	Sem_150603_ReferencingRecordOfAndSetElements_003	Assignment to a anyvalue in the context of record of is handled correctly in two subsequent assignments.	Clause 15.6.3	m
13	Sem_150603_ReferencingRecordOfAndSetElements_004	Assignment to a anyvalue in the context of record of is handled correctly when the first element is changed.	Clause 15.6.3	m
14	Sem_150603_ReferencingRecordOfAndSetElements_005	Access outside permutation fields is allowed and works as expected.	Clause 15.6.3	m

A.3.70 Template restrictions

Table A.69: Template restrictions

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_1508_TemplateRestrictions_001	Template(omit) is rejected with anyvalue(?).	Clause 15.8	m
2	NegSem_1508_TemplateRestrictions_002	Template(omit) is rejected with setof template.	Clause 15.8	m
3	NegSem_1508_TemplateRestrictions_003	Template(omit) is rejected with anyvalueornone(*).	Clause 15.8	m
4	NegSem_1508_TemplateRestrictions_004	Template(omit) is rejected with value ranges.	Clause 15.8	m
5	NegSem_1508_TemplateRestrictions_005	Template(omit) is rejected with supersets.	Clause 15.8	m
6	NegSem_1508_TemplateRestrictions_006	Template(omit) is rejected with subsets.	Clause 15.8	m
7	NegSem_1508_TemplateRestrictions_007	Template(omit) is rejected with patterns.	Clause 15.8	m
8	NegSem_1508_TemplateRestrictions_008	Template(omit) is rejected with anyelement inside values.	Clause 15.8	m
9	NegSem_1508_TemplateRestrictions_009	Template(omit) is rejected with anyelemenornone inside values.	Clause 15.8	m
10	NegSem_1508_TemplateRestrictions_010	Template(omit) is rejected with permutation inside values.	Clause 15.8	m
11	NegSem_1508_TemplateRestrictions_011	Template(omit) is rejected with length restrictions.	Clause 15.8	m
12	NegSem_1508_TemplateRestrictions_012	Template(omit) is rejected with length restrictions.	Clause 15.8	m
13	NegSem_1508_TemplateRestrictions_013	Template(omit) is rejected with length restrictions.	Clause 15.8	m
14	NegSem_1508_TemplateRestrictions_014	Template(value) is rejected with anyvalue(?).	Clause 15.8	m
15	NegSem_1508_TemplateRestrictions_015	Template(value) is rejected with valuelist.	Clause 15.8	m
16	NegSem_1508_TemplateRestrictions_016	Template(value) is rejected with anyvalueornone(*).	Clause 15.8	m
17	NegSem_1508_TemplateRestrictions_017	Template(value) is rejected with value ranges.	Clause 15.8	m
18	NegSem_1508_TemplateRestrictions_018	Template(value) is rejected with supersets.	Clause 15.8	m
19	NegSem_1508_TemplateRestrictions_019	Template(value) is rejected with supersets.	Clause 15.8	m
20	NegSem_1508_TemplateRestrictions_020	Template(value) is rejected with patterns.	Clause 15.8	m
21	NegSem_1508_TemplateRestrictions_021	Template(value) is rejected with anyelement inside values.	Clause 15.8	m
22	NegSem_1508_TemplateRestrictions_022	Template(value) is rejected with permutation inside values.	Clause 15.8	m
23	NegSem_1508_TemplateRestrictions_023	Template(value) is rejected with length restrictions.	Clause 15.8	m
24	NegSem_1508_TemplateRestrictions_024	Template(value) is rejected with length restrictions.	Clause 15.8	m
25	NegSem_1508_TemplateRestrictions_025	Template(present) refuses omitvalue as a whole.	Clause 15.8	m
26	NegSem_1508_TemplateRestrictions_026	Template(value) refuses omit as a whole.	Clause 15.8	m
27	Sem_1508_TemplateRestrictions_001	A value can be assigned to a template(omit) variable.	Clause 15.8	m
28	Sem_1508_TemplateRestrictions_002	A template(omit) can be assigned to a template(omit) variable.	Clause 15.8	m
29	Sem_1508_TemplateRestrictions_003	A templat(value) can be assigned to a template(omit) variable.	Clause 15.8	m
30	Sem_1508_TemplateRestrictions_004	A value can be assigned to a template(value) variable.	Clause 15.8	m
31	Sem_1508_TemplateRestrictions_005	A template(value) can be assigned to a template(value) variable.	Clause 15.8	m
32	Sem_1508_TemplateRestrictions_006	A value can be assigned to a template(present) variable.	Clause 15.8	m
33	Sem_1508_TemplateRestrictions_007	A template(omit) can be assigned to a template(present) variable.	Clause 15.8	m
34	Sem_1508_TemplateRestrictions_008	A template(value) can be assigned to a template(present) variable.	Clause 15.8	m
35	Sem_1508_TemplateRestrictions_009	A template(present) can be assigned to a template(present) variable.	Clause 15.8	m
36	Sem_1508_TemplateRestrictions_010	A value can be assigned to a template variable.	Clause 15.8	m
37	Sem_1508_TemplateRestrictions_011	A template(omit) can be assigned to a template variable.	Clause 15.8	m
38	Sem_1508_TemplateRestrictions_012	A template(value) can be assigned to a template variable.	Clause 15.8	m
39	Sem_1508_TemplateRestrictions_013	A template(present) can be assigned to a template variable.	Clause 15.8	m
40	Sem_1508_TemplateRestrictions_014	A template can be assigned to a template variable.	Clause 15.8	m
41	Sem_1508_TemplateRestrictions_015	A base template can be modified without restrictions.	Clause 15.8	m
42	Syn_1508_TemplateRestrictions_001	Template(omit) is accepted with value omitvalue.	Clause 15.8	m
43	Syn_1508_TemplateRestrictions_002	Template(omit) is accepted with a concrete value.	Clause 15.8	m
44	Syn_1508_TemplateRestrictions_003	Template(value) is accepted with a concrete value.	Clause 15.8	m
45	Syn_1508_TemplateRestrictions_004	Template(present) is accepted with a concrete value.	Clause 15.8	m

A.3.71 Match operation

Table A.70: Match operation

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_1509_MatchOperation_001	The match operation refuses two templates as actual parameters.	Clause 15.9	m
2	Sem_1509_MatchOperation_001	The match operation works as expected on a template with range restriction when the tested value is inside the range.	Clause 15.9	m
3	Sem_1509_MatchOperation_002	The match operation works as expected on a template with range restriction when the tested value is outside the range.	Clause 15.9	m
4	Sem_1509_MatchOperation_003	The match operation works correctly on records in the positive case.	Clause 15.9	m
5	Sem_1509_MatchOperation_004	The match operation works correctly on records in the negative case.	Clause 15.9	m
6	Sem_1509_MatchOperation_005	The match operation works correctly if the types are incompatible.	Clause 15.9	m

A.3.72 Valueof operation

Table A.71: Valueof operation

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_1510_ValueOfOperation_001	The valueof function works correctly on omit.	Clause 15.10	m
2	NegSem_1510_ValueOfOperation_002	The valueof function works correctly on templates with wildcards.	Clause 15.10	m
3	NegSem_1510_ValueOfOperation_003	The valueof function works correctly on regular value templates.	Clause 15.10	m
4	NegSem_1510_ValueOfOperation_004	The valueof function works correctly on range templates.	Clause 15.10	m
5	Sem_1510_ValueOfOperation_001	The valueof operation works as expected for fully initialized templates.	Clause 15.10	m

A.3.73 Concatenating templates of string and list types

Table A.72: Concatenating templates of string and list types

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_1511_ConcatenatingTemplatesOfStringAndListTypes_001	Concatenation of octetstring types yields an even number of digits.	Clause 15.11	m
2	NegSem_1511_ConcatenatingTemplatesOfStringAndListTypes_002	Concatenation of strings types yields an error if specified ranges are not fixed length.	Clause 15.11	m
3	NegSem_1511_ConcatenatingTemplatesOfStringAndListTypes_003	A simple concatenation of non-wildcard octetstring must not yield in a non-even number of hexadecimals.	Clause 15.11	m
4	NegSem_1511_ConcatenatingTemplatesOfStringAndListTypes_004	The inline template definitions are correctly concatenated.	Clause 15.11	m
5	NegSem_1511_ConcatenatingTemplatesOfStringAndListTypes_005	The inline template definitions are correctly concatenated.	Clause 15.11	m
6	Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_001	Concatenation of charstring types works as expected (variant 1).	Clause 15.11	m
7	Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_002	Concatenation of octetstring types works as expected (variant 2).	Clause 15.11	m
8	Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_003	Concatenation of bitstring types works as expected.	Clause 15.11	m
9	Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_004	Concatenation of octetstring types works as expected (variant 1).	Clause 15.11	m
10	Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_005	Concatenation of octetstring types works as expected (variant 2).	Clause 15.11	m
11	Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_006	A concatenation of charstrings with a fixed length AnyValueOrNone be matched.	Clause 15.11	m
12	Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_007	Concatenations of record of charstrings are accepted.	Clause 15.11	m
13	Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_008	Concatenations of record of charstrings work when parameterized.	Clause 15.11	m
14	Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_009	Concatenations of set of integers are accepted.	Clause 15.11	m
15	Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_010	The inline template definitions are correctly concatenated.	Clause 15.11	m
16	Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_011	Concatenation of octetstring types works as expected (matching patterns in quotation).	Clause 15.11	m

A.3.74 Functions

Table A.73: Functions

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_1601_toplevel_001	The IUT correctly handles function definitions	Clause 16.1	m
2	NegSem_1601_toplevel_002	The IUT correctly handles function definitions	Clause 16.1	m
3	NegSem_1601_toplevel_003	The IUT correctly handles function definitions	Clause 16.1	m
4	NegSem_1601_toplevel_004	The IUT correctly handles function definitions	Clause 16.1	m
5	NegSem_1601_toplevel_005	The IUT correctly handles function definitions	Clause 16.1	m
6	Sem_1601_toplevel_001	The IUT correctly handles function definitions	Clause 16.1	m
7	Sem_1601_toplevel_003	The IUT correctly handles function definitions	Clause 16.1	m

A.3.75 Invoking functions

Table A.74: Invoking functions

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_160101_invoking_functions_001	The IUT correctly handles function invocations	Clause 16.1.1	m

A.3.76 Predefined functions

Table A.75: Predefined functions

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_160102_predefined_functions_001	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
2	NegSem_160102_predefined_functions_002	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
3	NegSem_160102_predefined_functions_003	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
4	NegSem_160102_predefined_functions_004	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
5	NegSem_160102_predefined_functions_005	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
6	NegSem_160102_predefined_functions_006	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
7	NegSem_160102_predefined_functions_007	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
8	NegSem_160102_predefined_functions_008	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
9	NegSem_160102_predefined_functions_009	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
10	NegSem_160102_predefined_functions_010	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
11	NegSem_160102_predefined_functions_011	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
12	NegSem_160102_predefined_functions_014	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
13	NegSem_160102_predefined_functions_015	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
14	NegSem_160102_predefined_functions_016	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
15	NegSem_160102_predefined_functions_017	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
16	NegSem_160102_predefined_functions_018	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
17	NegSem_160102_predefined_functions_019	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
18	NegSem_160102_predefined_functions_020	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C.33)	Clause 16.1.2	m
19	NegSem_160102_predefined_functions_021	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
20	NegSem_160102_predefined_functions_022	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
21	NegSem_160102_predefined_functions_023	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
22	NegSem_160102_predefined_functions_024	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
23	NegSem_160102_predefined_functions_025	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
24	NegSem_160102_predefined_functions_026	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
25	NegSem_160102_predefined_functions_027	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
26	NegSem_160102_predefined_functions_028	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
27	NegSem_160102_predefined_functions_029	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
28	NegSem_160102_predefined_functions_030	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
29	NegSem_160102_predefined_functions_031	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
30	Sem_160102_predefined_functions_001	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
31	Sem_160102_predefined_functions_002	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
32	Sem_160102_predefined_functions_003	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
33	Sem_160102_predefined_functions_004	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
34	Sem_160102_predefined_functions_005	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
35	Sem_160102_predefined_functions_006	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
36	Sem_160102_predefined_functions_007	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
37	Sem_160102_predefined_functions_008	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
38	Sem_160102_predefined_functions_009	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
39	Sem_160102_predefined_functions_010	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
40	Sem_160102_predefined_functions_011	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m
41	Sem_160102_predefined_functions_012	The IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)	Clause 16.1.2	m

A.3.77 External functions

Table A.76: External functions

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_160103_external_functions_001	The IUT recognizes external functions	Clause 16.1.3	m
2	NegSem_160103_external_functions_002	Port parameters cannot be passed to external functions as inout parameters	Clause 16.1.3	m
3	NegSem_160103_external_functions_003	Timer parameters cannot be passed to external functions as inout parameters	Clause 16.1.3	m
4	Sem_160103_external_functions_001	The IUT recognizes external functions	Clause 16.1.3	m
5	Sem_160103_external_functions_002	The IUT recognizes external functions	Clause 16.1.3	m

A.3.78 Invoking function from specific places

Table A.77: Invoking function from specific places

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_160104_invoking_functions_from_specific_places_001	The IUT recognizes restrictions described in section 16.1.4. STF409 assumes that the list given in section 16.1.4 describes mandatory restrictions	Clause 16.1.4	m
2	NegSem_160104_invoking_functions_from_specific_places_002	The IUT recognizes restrictions described in section 16.1.4. STF409 assumes that the list given in section 16.1.4 describes mandatory restrictions	Clause 16.1.4	m
3	NegSem_160104_invoking_functions_from_specific_places_003	The IUT recognizes restrictions described in section 16.1.4. STF409 assumes that the list given in section 16.1.4 describes mandatory restrictions	Clause 16.1.4	m
4	NegSem_160104_invoking_functions_from_specific_places_004	The IUT recognizes restrictions described in section 16.1.4. STF409 assumes that the list given in section 16.1.4 describes mandatory restrictions	Clause 16.1.4	m

A.3.79 Altsteps

Table A.78: Altsteps

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_1602_toplevel_001	The IUT recognizes altstep definitions and correctly evaluates them	Clause 16.2	m
2	NegSem_1602_toplevel_002	The IUT recognizes altstep definitions and correctly evaluates them	Clause 16.2	m
3	NegSem_1602_toplevel_003	The IUT recognizes altstep definitions and correctly evaluates them	Clause 16.2	m
4	NegSem_1602_toplevel_004	The IUT recognizes altstep definitions and correctly evaluates them	Clause 16.2	m
5	NegSem_1602_toplevel_005	The IUT recognizes altstep definitions and correctly evaluates them	Clause 16.2	m
6	NegSem_1602_toplevel_006	The IUT recognizes altstep definitions and correctly evaluates them	Clause 16.2	m
7	NegSyn_1602_toplevel_001	The IUT recognizes altstep definitions and correctly evaluates them	Clause 16.2	m
8	Sem_1602_toplevel_001	The IUT recognizes altstep definitions and correctly evaluates them	Clause 16.2	m

A.3.80 Invoking altsteps

Table A.79: Invoking altsteps

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_160201_invoking_altsteps_001	The IUT recognizes altstep definitions and correctly evaluates them	Clause 16.2.1	m
2	Sem_160201_invoking_altsteps_001	The IUT recognizes altstep definitions and correctly evaluates them	Clause 16.2.1	m
3	Sem_160201_invoking_altsteps_002	The IUT recognizes altstep definitions and correctly evaluates them	Clause 16.2.1	m

A.3.81 Test cases

Table A.80: Test cases

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_1603_testcases_001	The IUT properly evaluates invocation of testcases	Clause 16.3	m
2	NegSem_1603_testcases_002	The IUT properly evaluates invocation of testcases	Clause 16.3	m
3	Syn_1603_testcases_001	The IUT properly evaluates invocation of testcases with system clause	Clause 16.3	m

A.3.82 Assignments

Table A.81: Assignments

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_1901_assignments_001	The IUT properly evaluates assignment statements	Clause 19.1	m
2	NegSem_1901_assignments_002	The IUT properly evaluates assignment statements	Clause 19.1	m
3	NegSem_1901_assignments_003	The IUT properly evaluates assignment statements	Clause 19.1	m
4	NegSyn_1901_assignments_001	The IUT properly evaluates assignment statements	Clause 19.1	m
5	Sem_1901_assignments_001	The IUT properly evaluates assignment statements	Clause 19.1	m

A.3.83 The if-else statement

Table A.82: The if-else statement

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSyn_1902_if_else_statement_001	If statement requires curly brackets for the body	Clause 19.2	m
2	Sem_1902_if_else_statement_001	The IUT properly evaluates if-else statements	Clause 19.2	m
3	Sem_1902_if_else_statement_002	The IUT properly evaluates if-else statements	Clause 19.2	m

A.3.84 The select case statement

Table A.83: The select case statement

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_1903_select_case_statement_001	The IUT properly evaluates select-case statements	Clause 19.3	m
2	Sem_1903_select_case_statement_002	The IUT properly evaluates select-case statements	Clause 19.3	m
3	Sem_1903_select_case_statement_003	The IUT properly evaluates select-case statements	Clause 19.3	m
4	Sem_1903_select_case_statement_004	The IUT properly evaluates select-case statements	Clause 19.3	m

A.3.85 The for statement

Table A.84: The for statement

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_1904_for_statement_001	The IUT properly evaluates for statements	Clause 19.4	m
2	Sem_1904_for_statement_001	The IUT properly evaluates for statements	Clause 19.4	m
3	Sem_1904_for_statement_002	The IUT properly evaluates for statements	Clause 19.4	m
4	Sem_1904_for_statement_003	The IUT properly evaluates for statements	Clause 19.4	m

A.3.86 The while statement

Table A.85: The while statement

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_1905_while_statement_001	The IUT properly evaluates while statements	Clause 19.5	m
2	Sem_1905_while_statement_001	The IUT properly evaluates while statements	Clause 19.5	m
3	Sem_1905_while_statement_002	The IUT properly evaluates while statements	Clause 19.5	m
4	Sem_1905_while_statement_003	The IUT properly evaluates while statements	Clause 19.5	m

A.3.87 The do-while statement

Table A.86: The do-while statement

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_1906_do_while_statement_001	The IUT properly evaluates do-while statements	Clause 19.6	m
2	Sem_1906_do_while_statement_001	The IUT properly evaluates do-while statements	Clause 19.6	m
3	Sem_1906_do_while_statement_002	The IUT properly evaluates do-while statements	Clause 19.6	m
4	Sem_1906_do_while_statement_003	The IUT properly evaluates do-while statements	Clause 19.6	m

A.3.88 The label statement

Table A.87: The label statement

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_1907_label_statement_001	The IUT correctly handles label naming uniqueness.	Clause 19.7	m
2	NegSyn_1907_label_statement_001	The IUT correctly handles label syntax.	Clause 19.7	m
3	NegSyn_1907_label_statement_002	The IUT correctly handles label syntax.	Clause 19.7	m
4	Syn_1907_label_statement_001	The IUT correctly handles label syntax.	Clause 19.7	m

A.3.89 The goto statement

Table A.88: The goto statement

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_1908_goto_statement_001	The IUT correctly handles goto statements.	Clause 19.8	m
2	NegSem_1908_goto_statement_002	The IUT correctly handles goto statements.	Clause 19.8	m
3	NegSem_1908_goto_statement_003	The IUT correctly handles goto statements.	Clause 19.8	m
4	Sem_1908_goto_statement_001	The IUT correctly handles goto statements.	Clause 19.8	m
5	Sem_1908_goto_statement_002	The IUT correctly handles goto statements.	Clause 19.8	m
6	Sem_1908_goto_statement_003	The IUT correctly handles goto statements.	Clause 19.8	m

A.3.90 The stop execution statement

Table A.89: The stop execution statement

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_1909_stop_statement_001	The IUT correctly handles stop statements.	Clause 19.9	m
2	Sem_1909_stop_statement_002	The IUT correctly handles stop statements.	Clause 19.9	m

A.3.91 The return statement

Table A.90: The return statement

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_1910_return_statement_001	The IUT correctly handles return statements.	Clause 19.10	m
2	Sem_1910_return_statement_001	The IUT correctly handles return statements.	Clause 19.10	m

A.3.92 The log statement

Table A.91: The log statement

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_1911_log_statement_001	The IUT properly evaluates log statements	Clause 19.11	m
2	Sem_1911_log_statement_001	The IUT properly evaluates log statements	Clause 19.11	m
3	Sem_1911_log_statement_002	The IUT properly evaluates log statements	Clause 19.11	m
4	Sem_1911_log_statement_003	The IUT properly evaluates log statements	Clause 19.11	m
5	Sem_1911_log_statement_004	The IUT properly evaluates log statements	Clause 19.11	m
6	Sem_1911_log_statement_005	The IUT properly evaluates log statements	Clause 19.11	m

A.3.93 The continue statement

Table A.92: The continue statement

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_1913_continue_statement_001	The IUT properly evaluates continue statements	Clause 19.13	m

A.3.94 Statement and operations for alternative behaviours

Table A.93: Statement and operations for alternative behaviours

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Syn_20_TopLevel_001	Alt-statements are accepted.	Clause 20	m
2	Syn_20_TopLevel_002	Repeat in an alt-statement is accepted.	Clause 20	m
3	Syn_20_TopLevel_003	The interleave-statement is accepted.	Clause 20	m
4	Syn_20_TopLevel_004	Defaults and the activate statement is accepted.	Clause 20	m
5	Syn_20_TopLevel_005	Defaults and the activate statement is accepted.	Clause 20	m

A.3.95 The alt statement

Table A.94: The alt statement

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_2002_TheAltStatement_001	The alt-statement works as expected (loopback case).	Clause 20.2	m
2	Sem_2002_TheAltStatement_002	The alt-statement with a guard works as expected (loopback case).	Clause 20.2	m
3	Sem_2002_TheAltStatement_003	The alt-statement processes the alternatives in order (loopback case).	Clause 20.2	m
4	Sem_2002_TheAltStatement_004	Activated defaults are processed in the reverse order (loopback case).	Clause 20.2	m
5	Sem_2002_TheAltStatement_005	The else branch is executed when nothing else matched (loopback case).	Clause 20.2	m
6	Sem_2002_TheAltStatement_006	An altstep invocation works as expected (loopback case).	Clause 20.2	m
7	Sem_2002_TheAltStatement_007	An altstep invocation works as expected and that the optional statement block is executed after the altstep staatement block (loopback case).	Clause 20.2	m
8	Sem_2002_TheAltStatement_008	The done-block in an alt-statement is triggered as expected (loopback case).	Clause 20.2	m
9	Sem_2002_TheAltStatement_009	The killed-block in an alt-statement is triggered as expected when the component is killed (loopback case).	Clause 20.2	m
10	Sem_2002_TheAltStatement_010	The timeout branch is taken as expected (loopback case).	Clause 20.2	m
11	Sem_2002_TheAltStatement_011	The behavior continues after the alt-statement (loopback case).	Clause 20.2	m

A.3.96 The repeat statement

Table A.95: The repeat statement

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_2003_the_repeat_statement_001	The IUT correctly processes repeat statements	Clause 20.3	m
2	Sem_2003_the_repeat_statement_001	The IUT correctly processes repeat statements	Clause 20.3	m

A.3.97 The interleave statement

Table A.96: The interleave statement

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_2004_InterleaveStatement_001	Validate that interleave statements are properly handled.	Clause 20.4	m
2	NegSyn_2004_InterleaveStatement_001	Validate that interleave statements are properly handled.	Clause 20.4	m
3	NegSyn_2004_InterleaveStatement_002	Validate that interleave statements are properly handled.	Clause 20.4	m
4	Sem_2004_InterleaveStatement_001	Validate that interleave statements are properly handled.	Clause 20.4	m
5	Sem_2004_InterleaveStatement_002	Validate that interleave statements are properly handled.	Clause 20.4	m
6	Syn_2004_InterleaveStatement_001	Validate that interleave statements are properly handled.	Clause 20.4	m

A.3.98 The create operation

Table A.97: The create operation

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_210301_CreateOperation_001	Named components on hosts are accepted	Clause 21.3.1	m
2	NegSem_210301_CreateOperation_002	Named components on hosts are accepted	Clause 21.3.1	m
3	NegSem_210301_CreateOperation_003	Named components on hosts are accepted	Clause 21.3.1	m
4	Sem_210301_CreateOperation_001	Unnamed components can be created	Clause 21.3.1	m
5	Sem_210301_CreateOperation_002	Named components can be created	Clause 21.3.1	m
6	Sem_210301_CreateOperation_003	Unnamed alive components on hosts can be created	Clause 21.3.1	m
7	Sem_210301_CreateOperation_004	Named alive components can be created	Clause 21.3.1	m
8	Syn_210301_CreateOperation_001	Named components on hosts are accepted	Clause 21.3.1	m

A.3.99 The send operation

Table A.98: The send operation

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_220201_SendOperation_001	The IUT correctly handles message sending operations	Clause 22.2.1	m
2	NegSem_220201_SendOperation_002	The IUT correctly handles message sending operations	Clause 22.2.1	m
3	NegSem_220201_SendOperation_003	The IUT correctly handles message sending operations	Clause 22.2.1	m
4	NegSem_220201_SendOperation_004	The IUT correctly handles message sending operations	Clause 22.2.1	m
5	Sem_220201_SendOperation_001	The IUT correctly handles message sending operations	Clause 22.2.1	m
6	Sem_220201_SendOperation_002	The IUT correctly handles message sending operations	Clause 22.2.1	m
7	Sem_220201_SendOperation_003	The IUT correctly handles message sending operations	Clause 22.2.1	m
8	Sem_220201_SendOperation_004	The IUT correctly handles message sending operations	Clause 22.2.1	m

A.3.100 The receive operation

Table A.99: The receive operation

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_220202_ReceiveOperation_001	The IUT correctly handles message receiving operations	Clause 22.2.2	m
2	Sem_220202_ReceiveOperation_001	The IUT correctly handles message receiving operations	Clause 22.2.2	m
3	Sem_220202_ReceiveOperation_002	The IUT correctly handles message receiving operations	Clause 22.2.2	m
4	Sem_220202_ReceiveOperation_003	The IUT correctly handles message receiving operations	Clause 22.2.2	m
5	Sem_220202_ReceiveOperation_004	The IUT correctly handles message receiving operations	Clause 22.2.2	m
6	Sem_220202_ReceiveOperation_005	The IUT correctly handles message receiving operations	Clause 22.2.2	m

A.3.101 The trigger operation

Table A.100: The trigger operation

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_220203_TriggerOperation_001	The IUT correctly handles message trigger operations	Clause 22.2.3	m
2	Sem_220203_TriggerOperation_001	The IUT correctly handles message trigger operations	Clause 22.2.3	m
3	Sem_220203_TriggerOperation_002	The IUT correctly handles message trigger operations	Clause 22.2.3	m
4	Sem_220203_TriggerOperation_003	The IUT correctly handles message trigger operations	Clause 22.2.3	m
5	Sem_220203_TriggerOperation_004	The IUT correctly handles message trigger operations	Clause 22.2.3	m
6	Sem_220203_TriggerOperation_005	The IUT correctly handles message trigger operations	Clause 22.2.3	m

A.3.102 The call operation

Table A.101: The call operation

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_220301_CallOperation_001	The IUT correctly handles procedure call operations	Clause 22.3.1	m
2	NegSem_220301_CallOperation_002	The IUT correctly procedure calls	Clause 22.3.1	m
3	Sem_220301_CallOperation_001	The IUT correctly handles procedure call operations	Clause 22.3.1	m
4	Sem_220301_CallOperation_002	The IUT correctly handles procedure call operations	Clause 22.3.1	m
5	Sem_220301_CallOperation_003	The IUT correctly handles non-blocking procedure call	Clause 22.3.1	m
6	Sem_220301_CallOperation_004	The IUT correctly handles multiple client calls to the same server	Clause 22.3.1	m
7	Sem_220301_CallOperation_005	The IUT correctly handles broadcast/multicast procedure call	Clause 22.3.1	m
8	Sem_220301_CallOperation_006	The IUT correctly handles broadcast/multicast procedure call	Clause 22.3.1	m

A.3.103 The getcall operation

Table A.102: The getcall operation

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_220302_GetcallOperation_001	Getcall operations are only used on procedure based ports	Clause 22.3.2	m
2	NegSem_220302_GetcallOperation_002	Getcall operation does not allow value assignment	Clause 22.3.2	m
3	NegSem_220302_GetcallOperation_003	Getcall for any call does not allow param assignment	Clause 22.3.2	m
4	Sem_220302_GetcallOperation_001	Getcall operations remove only matching procedure from the queue	Clause 22.3.2	m
5	Sem_220302_GetcallOperation_002	Getcall operations remove the matching procedure from the queue	Clause 22.3.2	m
6	Sem_220302_GetcallOperation_003	The getcall operation can be correctly restricted to a certain client	Clause 22.3.2	m
7	Sem_220302_GetcallOperation_004	The getcall operation can be correctly restricted to a certain client	Clause 22.3.2	m
8	Sem_220302_GetcallOperation_005	Getcall operations work with any port attribute	Clause 22.3.2	m

A.3.104 The reply operation

Table A.103: The reply operation

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_220303_ReplyOperation_001	Reply operations are only used on procedure based ports	Clause 22.3.3	m
2	Sem_220303_ReplyOperation_001	The IUT correctly handles reply to multiple clients on the same server	Clause 22.3.3	m
3	Sem_220303_ReplyOperation_002	The IUT correctly handles reply to multiple clients on the same server	Clause 22.3.3	m

A.3.105 Timer operations

Table A.104: Timer operations

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_2302_timer_start_001	Ensure infinity is not allowed	Clause 23	m
2	NegSem_2302_timer_start_002	Ensure not_a_number is not allowed	Clause 23	m
3	NegSem_2302_timer_start_003	Ensure negative value is not allowed	Clause 23	m
4	NegSem_2302_timer_start_004	Ensure negative infinity is not allowed	Clause 23	m
5	NegSyn_2302_timer_start_001	Ensure timer start syntax	Clause 23	m
6	NegSyn_2302_timer_start_002	Ensure timer start syntax	Clause 23	m
7	NegSyn_2302_timer_start_003	Ensure timer start syntax	Clause 23	m
8	NegSyn_2302_timer_start_004	Ensure timer start syntax	Clause 23	m
9	NegSyn_2302_timer_start_005	Ensure timer start syntax	Clause 23	m
10	NegSyn_2302_timer_start_006	Ensure timer start syntax	Clause 23	m
11	NegSyn_2302_timer_start_007	Ensure timer start syntax	Clause 23	m
12	NegSyn_2302_timer_start_008	Ensure timer start syntax	Clause 23	m
13	NegSyn_2302_timer_start_009	Ensure timer start syntax	Clause 23	m
14	NegSyn_2302_timer_start_010	Ensure timer start syntax	Clause 23	m
15	NegSyn_2302_timer_start_011	Ensure timer start syntax	Clause 23	m
16	NegSyn_2302_timer_start_012	Ensure timer start syntax	Clause 23	m
17	NegSyn_2302_timer_start_013	Ensure timer start syntax	Clause 23	m
18	Sem_2302_timer_start_001	Ensure timer runs from zero to stated value	Clause 23	m
19	Sem_2302_timer_start_002	Ensure timer can be restarted	Clause 23	m
20	Sem_2302_timer_start_003	Ensure timer default value can be modified by start value	Clause 23	m
21	Sem_2302_timer_start_004	Ensure timer with value 0.0 expires immediately	Clause 23	m
22	NegSem_23_toplevel_001	Ensure timer operations are not allowed outside of module control, test case, function, altstep	Clause 23	m
23	NegSem_23_toplevel_002	Ensure timer operations are not allowed outside of module control, test case, function, altstep	Clause 23	m
24	NegSyn_23_toplevel_001	Ensure timer operations are not allowed outside of module control, test case, function, altstep	Clause 23	m
25	NegSyn_23_toplevel_002	Ensure timer operations are not allowed outside of module control, test case, function, altstep	Clause 23	m
26	Syn_23_toplevel_001	Ensure timer allowed in module control, test case, function, altstep	Clause 23	m
27	Syn_23_toplevel_002	Ensure timer allowed in module control, test case, function, altstep	Clause 23	m

A.3.106 The stop timer operation

Table A.105: The stop timer operation

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSyn_2303_timer_stop_001	Ensure timer stop syntax	Clause 23.3	m
2	NegSyn_2303_timer_stop_002	Ensure timer stop syntax	Clause 23.3	m
3	NegSyn_2303_timer_stop_003	Ensure all timer stop syntax	Clause 23.3	m
4	NegSyn_2303_timer_stop_004	Ensure all timer stop syntax	Clause 23.3	m
5	NegSyn_2303_timer_stop_005	Ensure all timer stop syntax	Clause 23.3	m
6	NegSyn_2303_timer_stop_006	Ensure all timer stop syntax	Clause 23.3	m
7	Sem_2303_timer_stop_002	Ensure timer stop sets elapsed time to zero	Clause 23.3	m
8	Sem_2303_timer_stop_003	Ensure timer all timer identifier	Clause 23.3	m
9	Sem_2303_timer_stop_004	Ensure can be stopped after timeout	Clause 23.3	m
10	Syn_2303_timer_stop_006	Ensure timer stop syntax	Clause 23.3	m
11	Syn_2303_timer_stop_007	Ensure all timer stop syntax	Clause 23.3	m

A.3.107 The running timer operation

Table A.106: The running timer operation

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSyn_2305_timer_running_001	Ensure timer running syntax	Clause 23.5	m
2	NegSyn_2305_timer_running_002	Ensure timer running syntax	Clause 23.5	m
3	NegSyn_2305_timer_running_003	Ensure timer running syntax	Clause 23.5	m
4	NegSyn_2305_timer_running_004	Ensure timer running syntax	Clause 23.5	m
5	NegSyn_2305_timer_running_005	Ensure timer running syntax	Clause 23.5	m
6	NegSyn_2305_timer_running_006	Ensure timer running syntax: disallow all timer.running	Clause 23.5	m
7	Sem_2305_timer_running_001	Ensure timer running any timer identifier works	Clause 23.5	m
8	Sem_2305_timer_running_002	Ensure timer running operation works	Clause 23.5	m
9	Sem_2305_timer_running_003	Ensure timer running operation works	Clause 23.5	m
10	Sem_2305_timer_running_004	Ensure timer running operation works	Clause 23.5	m
11	Syn_2306_timer_timeout_001	Ensure timer runnig syntax	Clause 23.5	m

A.3.108 The timeout operation

Table A.107: The timeout operation

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSyn_2306_timer_timeout_001	Ensure timer timeout syntax	Clause 23.6	m
2	NegSyn_2306_timer_timeout_002	Ensure timer timeout can`t be used in boolean expressions	Clause 23.6	m
3	NegSyn_2306_timer_timeout_003	Ensure timer timeout syntax	Clause 23.6	m
4	NegSyn_2306_timer_timeout_004	Ensure timer timeout syntax	Clause 23.6	m
5	NegSyn_2306_timer_timeout_005	Ensure timer timeout syntax	Clause 23.6	m
6	NegSyn_2306_timer_timeout_006	Ensure timer timeout syntax	Clause 23.6	m
7	NegSyn_2306_timer_timeout_007	Ensure timer timeout syntax	Clause 23.6	m
8	Sem_2306_timer_timeout_001	Ensure timer timeout operations: non-started timer does not timeout	Clause 23.6	m
9	Sem_2306_timer_timeout_002	Ensure timer timeout operations: timed-out timer does not timeout until restarted	Clause 23.6	m
10	Sem_2306_timer_timeout_003	Ensure timer timeout happen in order from the shortest to the longest	Clause 23.6	m
11	Sem_2306_timer_timeout_004	Ensure any timer.timeout operation	Clause 23.6	m
12	Sem_2306_timer_timeout_005	Ensure any timer.timeout operation for timeouts that are not in scope	Clause 23.6	m
13	Sem_2306_timer_timeout_006	Ensure any timer.timeout operation handles timeout of any timer in the component, not only visible from a function or altstep	Clause 23.6	m
14	Sem_2306_timer_timeout_007	Ensure timer timeout happen in order from the shortest to the longest	Clause 23.6	m

A.3.109 Test verdict operations

Table A.108: Test verdict operations

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_13_declaring_msg_002	Ensure received messages can`t be matched with wrong template	Clause 24	m
2	Sem_13_declaring_msg_003	Ensure instances of messages can be declared by in-line templates	Clause 24	m
3	Sem_13_declaring_msg_004	Ensure instances of messages can be declared by global templates	Clause 24	m
4	Sem_13_declaring_msg_005	Ensure instances of messages can be declared and passed via template variables	Clause 24	m
5	Sem_13_declaring_msg_006	Ensure instances of messages can be declared and passed via inline template	Clause 24	m
6	Sem_13_declaring_msg_007	Ensure instances of messages can be declared and passed via parameter	Clause 24	m
7	Sem_13_declaring_msg_008	Ensure instances of messages can be declared and passed via template parameter	Clause 24	m
8	Sem_13_declaring_msg_009	Ensure instances of messages can be declared and passed via template parameter	Clause 24	m
9	NegSem_2402_setverdict_params_001	Ensure setverdict accepts parameters of verdicttype only	Clause 24	m
10	NegSem_2402_setverdict_params_002	Ensure setverdict accepts parameters of verdicttype only	Clause 24	m
11	NegSem_2402_setverdict_params_003	Ensure setverdict accepts values of verdicttype only	Clause 24	m
12	NegSem_2402_setverdict_params_004	Ensure setverdict accepts values only as the parameter	Clause 24	m
13	NegSem_2402_setverdict_params_005	Ensure setverdict accepts values only as the parameter	Clause 24	m
14	Sem_2402_setverdict_logging_001	Ensure logging constraints	Clause 24	m
15	Sem_2402_setverdict_params_001	Ensure setverdict accepts values only as the parameter	Clause 24	m
16	Sem_2402_setverdict_params_002	Ensure setverdict accepts values only as the parameter	Clause 24	m
17	Sem_2402_setverdict_params_003	Ensure logging contraints	Clause 24	m
18	NegSem_24_toplevel_001	Ensure getverdict is not allowed in constant initialization in control part	Clause 24	m
19	NegSem_24_toplevel_002	Ensure getverdict is not allowed in parameter initialization in control part.	Clause 24	m
20	NegSem_24_toplevel_003	Ensure getverdict is not allowed in variable definition in control part.	Clause 24	m
21	NegSem_24_toplevel_004	Ensure setverdict is not allowed in part whithin compound statement.	Clause 24	m
22	NegSem_24_toplevel_005	Ensure setverdict is not allowed in control part at the top level.	Clause 24	m
23	Syn_24_toplevel_001	Ensure setverdict and getverdict are allowed in functions	Clause 24	m
24	Syn_24_toplevel_002	Ensure setverdict and getverdict are allowed in test cases	Clause 24	m
25	Syn_24_toplevel_003	Ensure setverdict and getverdict are allowed in atsteps	Clause 24	m

A.3.110 The verdict mechanism

Table A.109: The verdict mechanism

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_2401_SetverdictError	Setverdict can't set error verdict	Clause 24.1	m
2	Sem_2401_GlobalVerdict_001	Ensure overwriting rules for global verdict: pass can overwrite none.	Clause 24.1	m
3	Sem_2401_GlobalVerdict_002	Ensure overwriting rules for global verdict: inconc can overwrite none.	Clause 24.1	m
4	Sem_2401_GlobalVerdict_003	Ensure overwriting rules for global verdict: fail can overwrite none.	Clause 24.1	m
5	Sem_2401_GlobalVerdict_004	Ensure overwriting rules for global verdict: none can't overwrite pass.	Clause 24.1	m
6	Sem_2401_GlobalVerdict_005	Ensure overwriting rules for global verdict: inconc can overwrite pass.	Clause 24.1	m
7	Sem_2401_GlobalVerdict_006	Ensure overwriting rules for global verdict: fail can overwrite pass.	Clause 24.1	m
8	Sem_2401_GlobalVerdict_007	Ensure overwriting rules for global verdict: none can't overwrite inconc.	Clause 24.1	m
9	Sem_2401_GlobalVerdict_008	Ensure overwriting rules for global verdict: pass can't overwrite inconc.	Clause 24.1	m
10	Sem_2401_GlobalVerdict_009	Ensure overwriting rules for global verdict: fail can overwrite inconc.	Clause 24.1	m
11	Sem_2401_GlobalVerdict_010	Ensure overwriting rules for global verdict: none can't overwrite fail.	Clause 24.1	m
12	Sem_2401_GlobalVerdict_011	Ensure overwriting rules for global verdict: pass can't overwrite fail.	Clause 24.1	m
13	Sem_2401_GlobalVerdict_012	Ensure overwriting rules for global verdict: inconc can't overwrite fail.	Clause 24.1	m
14	Sem_2401_InitiallyNone_001	Local verdicts initializes with none	Clause 24.1	m
15	Sem_2401_LocalVerdict_001	Ensure overwriting rules for local verdict: pass can overwrite none.	Clause 24.1	m
16	Sem_2401_LocalVerdict_002	Ensure overwriting rules for local verdict: inconc can overwrite none.	Clause 24.1	m
17	Sem_2401_LocalVerdict_003	Ensure overwriting rules for local verdict: fail can overwrite none.	Clause 24.1	m
18	Sem_2401_LocalVerdict_004	Ensure overwriting rules for local verdict: none can't overwrite pass.	Clause 24.1	m
19	Sem_2401_LocalVerdict_005	Ensure overwriting rules for local verdict: inconc can overwrite pass.	Clause 24.1	m
20	Sem_2401_LocalVerdict_006	Ensure overwriting rules for local verdict: fail can overwrite pass.	Clause 24.1	m
21	Sem_2401_LocalVerdict_007	Ensure overwriting rules for local verdict: none can't overwrite inconc.	Clause 24.1	m
22	Sem_2401_LocalVerdict_008	Ensure overwriting rules for local verdict: pass can't overwrite inconc.	Clause 24.1	m
23	Sem_2401_LocalVerdict_009	Ensure overwriting rules for local verdict: fail can overwrite inconc.	Clause 24.1	m
24	Sem_2401_LocalVerdict_010	Ensure overwriting rules for local verdict: none can't overwrite fail.	Clause 24.1	m
25	Sem_2401_LocalVerdict_011	Ensure overwriting rules for local verdict: pass can't overwrite fail.	Clause 24.1	m
26	Sem_2401_LocalVerdict_012	Ensure overwriting rules for local verdict: inconc can't overwrite fail.	Clause 24.1	m
27	Syn_2401_FiveValues_001	There are five values of verdicttype	Clause 24.1	m

A.3.111 The getverdict mechanism

Table A.110: The getverdict mechanism

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_2403_getverdict_001	Ensure getverdict returns the actual verdict none	Clause 24.3	m
2	Sem_2403_getverdict_002	Ensure getverdict returns the actual verdict inconc	Clause 24.3	m
3	Sem_2403_getverdict_003	Ensure getverdict returns the actual verdict pass	Clause 24.3	m
4	Sem_2403_getverdict_004	Ensure getverdict returns the actual verdict fail	Clause 24.3	m
5	Sem_2403_getverdict_005	Ensure getverdict none for uninitialized verdict	Clause 24.3	m

A.3.112 Module control

Table A.111: Module control

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Syn_26_ModuleControl_001	Assignments in the control part are accepted.	Clause 26	m
2	Syn_26_ModuleControl_002	If-else constructs in the control part are accepted.	Clause 26	m
3	Syn_26_ModuleControl_003	Select-case constructs in the control part are accepted.	Clause 26	m
4	Syn_26_ModuleControl_004	For loop constructs in the control part are accepted.	Clause 26	m
5	Syn_26_ModuleControl_005	While loop constructs in the control part are accepted.	Clause 26	m
6	Syn_26_ModuleControl_006	Label and goto constructs in the control part are accepted.	Clause 26	m
7	Syn_26_ModuleControl_007	The stop construct in the control part is accepted.	Clause 26	m
8	Syn_26_ModuleControl_008	The break construct in the control part is accepted.	Clause 26	m
9	Syn_26_ModuleControl_009	The continue construct in the control part is accepted.	Clause 26	m
10	Syn_26_ModuleControl_010	The continue construct in the control part is accepted.	Clause 26	m
11	Syn_26_ModuleControl_011	The alt/timeout construct in the control part is accepted.	Clause 26	m
12	Syn_26_ModuleControl_012	The repeat construct in the control part is accepted.	Clause 26	m
13	Syn_26_ModuleControl_013	The interleave construct in the control part is accepted.	Clause 26	m
14	Syn_26_ModuleControl_014	Activate/deactivate/default constructs in the control part are accepted.	Clause 26	m
15	Syn_26_ModuleControl_015	Start/stop/read/running timer constructs in the control part are accepted.	Clause 26	m
16	Syn_26_ModuleControl_016	The action construct in the control part is accepted.	Clause 26	m
17	Syn_26_ModuleControl_017	The execute construct in the control part is accepted.	Clause 26	m

A.3.113 The execute statement

Table A.112: The execute statement

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_2601_ExecuteStatement_001	Non-float timeout parameters in the execute statement are rejected (in this case int).	Clause 26.1	m
2	NegSem_2601_ExecuteStatement_002	Non-float timeout parameters in the execute statement are rejected (in this case charstring).	Clause 26.1	m
3	NegSem_2601_ExecuteStatement_003	Host id can be only charstring.	Clause 26.1	m
4	NegSem_2601_ExecuteStatement_004	Execution t	Clause 26.1	m
5	Sem_2601_ExecuteStatement_001	Parameters are passed correctly into the test case.	Clause 26.1	m
6	Sem_2601_ExecuteStatement_002	Multiple parameters of different types are passed correctly into the test case.	Clause 26.1	m
7	Sem_2601_ExecuteStatement_003	The timeout specified with the execute statement is respected.	Clause 26.1	m
8	Sem_2601_ExecuteStatement_004	The verdict none works correctly.	Clause 26.1	m
9	Sem_2601_ExecuteStatement_005	The verdict pass works correctly.	Clause 26.1	m
10	Sem_2601_ExecuteStatement_006	The verdict inconc works correctly.	Clause 26.1	m
11	Sem_2601_ExecuteStatement_007	The timeout specified with the execute statement is respected.	Clause 26.1	m
12	Sem_2601_ExecuteStatement_008	The user error sets the verdict error correctly.	Clause 26.1	m
13	Sem_2601_ExecuteStatement_009	Host id restriction is correctly handled.	Clause 26.1	m

A.3.114 The control part

Table A.113: The control part

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_2602_TheControlPart_001	Setverdict statements are not allowed in the control part.	Clause 26.2	m
2	NegSem_2602_TheControlPart_002	The create component is not allowed in the control part.	Clause 26.2	m
3	NegSem_2602_TheControlPart_003	The create alive component is not allowed in the control part.	Clause 26.2	m
4	NegSem_2602_TheControlPart_004	The start statement is not allowed in the control part.	Clause 26.2	m
5	NegSem_2602_TheControlPart_005	The stop statement is not allowed in the control part.	Clause 26.2	m
6	NegSem_2602_TheControlPart_006	The kill statement is not allowed in the control part.	Clause 26.2	m
7	NegSem_2602_TheControlPart_007	The alive operation is not allowed in the control part.	Clause 26.2	m
8	NegSem_2602_TheControlPart_008	The running operation is not allowed in the control part.	Clause 26.2	m
9	NegSem_2602_TheControlPart_009	The done operation is not allowed in the control part.	Clause 26.2	m
10	NegSem_2602_TheControlPart_010	The killed operation is not allowed in the control part.	Clause 26.2	m
11	NegSem_2602_TheControlPart_011	The connect statements are not allowed in the control part.	Clause 26.2	m
12	NegSem_2602_TheControlPart_012	The disconnect statements are not allowed in the control part.	Clause 26.2	m
13	NegSem_2602_TheControlPart_013	The map statements are not allowed in the control part.	Clause 26.2	m
14	NegSem_2602_TheControlPart_014	The unmap statements are not allowed in the control part.	Clause 26.2	m
15	NegSem_2602_TheControlPart_015	The send statements are not allowed in the control part.	Clause 26.2	m
16	NegSem_2602_TheControlPart_016	The receive statements are not allowed in the control part.	Clause 26.2	m
17	NegSem_2602_TheControlPart_017	The call statements are not allowed in the control part.	Clause 26.2	m
18	NegSem_2602_TheControlPart_018	The reply statements are not allowed in the control part.	Clause 26.2	m
19	NegSem_2602_TheControlPart_019	The raise statements are not allowed in the control part.	Clause 26.2	m
20	NegSem_2602_TheControlPart_020	The trigger statements are not allowed in the control part.	Clause 26.2	m
21	NegSem_2602_TheControlPart_021	The getcall statements are not allowed in the control part.	Clause 26.2	m
22	NegSem_2602_TheControlPart_022	The getreply statements are not allowed in the control part.	Clause 26.2	m
23	NegSem_2602_TheControlPart_023	The catch statements are not allowed in the control part.	Clause 26.2	m
24	NegSem_2602_TheControlPart_024	The check statements are not allowed in the control part.	Clause 26.2	m
25	NegSem_2602_TheControlPart_025	The clear statements are not allowed in the control part.	Clause 26.2	m
26	NegSem_2602_TheControlPart_026	The start statements on ports are not allowed in the control part.	Clause 26.2	m
27	NegSem_2602_TheControlPart_027	The stop statements on ports are not allowed in the control part.	Clause 26.2	m
28	NegSem_2602_TheControlPart_028	The halt statements are not allowed in the control part.	Clause 26.2	m
29	NegSem_2602_TheControlPart_029	Alternative behaviours are only used to control timer behavior in the control part.	Clause 26.2	m
30	NegSem_2602_TheControlPart_030	Getverdict statements are not allowed in the control part.	Clause 26.2	m
31	NegSem_2602_TheControlPart_031	Execute statements are not executed from test cases.	Clause 26.2	m
32	NegSem_2602_TheControlPart_032	The create alive named component is not allowed in the control part.	Clause 26.2	m
33	NegSem_2602_TheControlPart_033	The create named component is not allowed in the control part.	Clause 26.2	m
34	NegSem_2602_TheControlPart_034	The create named component on host is not allowed in the control part.	Clause 26.2	m
35	NegSem_2602_TheControlPart_035	Alternative behaviours are only used to control timer behavior in the control part.	Clause 26.2	m
36	Sem_2602_TheControlPart_001	The selection/deselection of test cases using boolean conditions works as expected.	Clause 26.2	m
37	Sem_2602_TheControlPart_002	The execution of test cases works from within a function.	Clause 26.2	m
38	Sem_2602_TheControlPart_003	The selection of test cases can be achieven based on resulting verdict types.	Clause 26.2	m

A.3.115 Scope of attributes

Table A.114: Scope of attributes

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Syn_270101_ScopeOfAttributes_001	Attributes for language elements are accepted.	Clause 27.1.1	m
2	Syn_270101_ScopeOfAttributes_002	Attributes for language elements are accepted.	Clause 27.1.1	m
3	Syn_270101_ScopeOfAttributes_003	Attributes for individual fields are accepted.	Clause 27.1.1	m
4	Syn_270101_ScopeOfAttributes_004	Attributes for individual fields are accepted.	Clause 27.1.1	m

A.3.116 Optional attributes

Table A.115: Optional attributes

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_2707_OptionalAttributes_001	The IUT correctly handles attribute definitions and their scoping rules	Clause 27.7	m
2	NegSem_2707_OptionalAttributes_002	The IUT correctly handles attribute definitions and their scoping rules	Clause 27.7	m
3	NegSem_2707_OptionalAttributes_003	The IUT correctly handles attribute definitions and their scoping rules	Clause 27.7	m
4	Sem_2707_OptionalAttributes_001	The IUT correctly handles attribute definitions and their scoping rules	Clause 27.7	m
5	Sem_2707_OptionalAttributes_002	The IUT correctly handles attribute definitions and their scoping rules	Clause 27.7	m
6	Sem_2707_OptionalAttributes_003	The IUT correctly handles attribute definitions and their scoping rules	Clause 27.7	m
7	Sem_2707_OptionalAttributes_004	The IUT correctly handles attribute definitions and their scoping rules	Clause 27.7	m
8	Sem_2707_OptionalAttributes_005	The IUT correctly handles attribute definitions and their scoping rules	Clause 27.7	m
9	Sem_2707_OptionalAttributes_006	The IUT correctly handles attribute definitions and their scoping rules	Clause 27.7	m
10	Sem_2707_OptionalAttributes_007	The IUT correctly handles attribute definitions and their scoping rules	Clause 27.7	m
11	Syn_2707_OptionalAttributes_001	The IUT correctly handles attribute definitions and their scoping rules	Clause 27.7	m

A.3.117 Matching specific values

Table A.116: Matching specific values

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_B0101_matching_specific_value_001	The IUT correctly handles template matching of specific values	Clause B.1.1	m
2	Sem_B0101_matching_specific_value_002	The IUT correctly handles template matching of specific values	Clause B.1.1	m
3	Sem_B0101_matching_specific_value_003	The IUT correctly handles template matching of specific values	Clause B.1.1	m
4	Sem_B0101_matching_specific_value_004	The IUT correctly handles template matching of specific values	Clause B.1.1	m
5	Sem_B0101_matching_specific_value_005	The IUT correctly handles template matching of specific values	Clause B.1.1	m
6	Sem_B0101_matching_specific_value_006	The IUT correctly handles template matching of specific values	Clause B.1.1	m
7	Sem_B0101_matching_specific_value_007	The IUT correctly handles template matching of specific values	Clause B.1.1	m
8	Sem_B0101_matching_specific_value_008	The IUT correctly handles template matching of specific values	Clause B.1.1	m
9	Sem_B0101_matching_specific_value_009	The IUT correctly handles template matching of specific values	Clause B.1.1	m
10	Sem_B0101_matching_specific_value_010	The IUT correctly handles template matching of specific values	Clause B.1.1	m
11	Sem_B0101_matching_specific_value_011	The IUT correctly handles template matching of specific values	Clause B.1.1	m

A.3.118 Value list

Table A.117: Value list

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_B010201_value_list_001	The IUT correctly handles template matching of listed multiple values	Clause B.1.2.1	m

A.3.119 Complemented value list

Table A.118: Complemented value list

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_B010202_complemented_value_list_001	The IUT correctly handles template matching of complemented value listing	Clause B.1.2.2	m
2	Sem_B010202_complemented_value_list_002	The IUT correctly handles template matching of complemented value listing	Clause B.1.2.2	m
3	Sem_B010202_complemented_value_list_003	The IUT correctly handles template matching of complemented value listing	Clause B.1.2.2	m
4	Sem_B010202_complemented_value_list_004	The IUT correctly handles template matching of complemented value listing	Clause B.1.2.2	m
5	Sem_B010202_complemented_value_list_005	The IUT correctly handles template matching of complemented value listing	Clause B.1.2.2	m
6	Sem_B010202_complemented_value_list_006	The IUT correctly handles template matching of complemented value listing	Clause B.1.2.2	m

A.3.120 Any value

Table A.119: Any value

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_B010203_any_value_001	The IUT correctly handles template matching of ? values	Clause B.1.2.3	m
2	Sem_B010203_any_value_002	The IUT correctly handles template matching of ? values	Clause B.1.2.3	m

A.3.121 Any value or none

Table A.120: Any value or none

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_B010204_any_value_or_none_001	The IUT correctly handles template matching of * values	Clause B.1.2.4	m
2	NegSem_B010204_any_value_or_none_002	The IUT correctly handles template matching of * values	Clause B.1.2.4	m
3	Sem_B010204_any_value_or_none_001	The IUT correctly handles template matching of * values	Clause B.1.2.4	m

A.3.122 Value range

Table A.121: Value range

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_B010205_value_range_001	The IUT correctly handles template matching of value range definitions	Clause B.1.2.5	m
2	NegSem_B010205_value_range_002	The IUT correctly handles template matching of value range definitions	Clause B.1.2.5	m
3	NegSem_B010205_value_range_003	The IUT correctly handles template matching of value range definitions	Clause B.1.2.5	m
4	Sem_B010205_value_range_001	The IUT correctly handles template matching of value range definitions	Clause B.1.2.5	m
5	Sem_B010205_value_range_002	The IUT correctly handles template matching of value range definitions	Clause B.1.2.5	m
6	Sem_B010205_value_range_003	The IUT correctly handles template matching of value range definitions	Clause B.1.2.5	m
7	Sem_B010205_value_range_004	The IUT correctly handles template matching of value range definitions	Clause B.1.2.5	m
8	Sem_B010205_value_range_005	The IUT correctly handles template matching of value range definitions	Clause B.1.2.5	m
9	Sem_B010205_value_range_006	The IUT correctly handles template matching of value range definitions	Clause B.1.2.5	m
10	Sem_B010205_value_range_007	The IUT correctly handles template matching of value range definitions	Clause B.1.2.5	m
11	Sem_B010205_value_range_008	The IUT correctly handles template matching of value range definitions	Clause B.1.2.5	m

A.3.123 SuperSet

Table A.122: SuperSet

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_B010206_superset_001	The IUT correctly handles template matching of superset definitions	Clause B.1.2.6	m
2	NegSem_B010206_superset_002	The IUT correctly handles template matching of superset definitions	Clause B.1.2.6	m
3	Sem_B010206_superset_001	The IUT correctly handles template matching of superset definitions	Clause B.1.2.6	m
4	Sem_B010206_superset_002	The IUT correctly handles template matching of superset definitions	Clause B.1.2.6	m
5	Sem_B010206_superset_003	The IUT correctly handles template matching of superset definitions	Clause B.1.2.6	m

A.3.124 SubSet

Table A.123: SubSet

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_B010207_subset_001	The IUT correctly handles template matching of superset definitions	Clause B.1.2.7	m
2	NegSem_B010207_subset_002	The IUT correctly handles template matching of superset definitions	Clause B.1.2.7	m
3	Sem_B010207_subset_001	The IUT correctly handles template matching of superset definitions	Clause B.1.2.7	m
4	Sem_B010207_subset_002	The IUT correctly handles template matching of superset definitions	Clause B.1.2.7	m
5	Sem_B010207_subset_003	The IUT correctly handles template matching of superset definitions	Clause B.1.2.7	m

A.3.125 Any element

Table A.124: Any element

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_B010301_any_element_001	The IUT correctly handles template matching of ? symbols in value elements	Clause B.1.3.1	m
2	Sem_B010301_any_element_002	The IUT correctly handles template matching of ? symbols in value elements	Clause B.1.3.1	m
3	Sem_B010301_any_element_003	The IUT correctly handles template matching of ? symbols in value elements	Clause B.1.3.1	m
4	Sem_B010301_any_element_004	The IUT correctly handles template matching of ? symbols in value elements	Clause B.1.3.1	m
5	Sem_B010301_any_element_005	The IUT correctly handles template matching of ? symbols in value elements	Clause B.1.3.1	m
6	Sem_B010301_any_element_006	The IUT correctly handles template matching of ? symbols in value elements	Clause B.1.3.1	m
7	Sem_B010301_any_element_007	The IUT correctly handles template matching of ? symbols in value elements	Clause B.1.3.1	m
8	Sem_B010301_any_element_008	The IUT correctly handles template matching of ? symbols in value elements	Clause B.1.3.1	m

A.3.126 Any number of elements of no element

Table A.125: Any number of elements of no element

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_B010302_any_number_of_elements_or_none_001	The IUT correctly handles template matching of * symbols in value elements	Clause B.1.3.2	m
2	Sem_B010302_any_number_of_elements_or_none_002	The IUT correctly handles template matching of * symbols in value elements	Clause B.1.3.2	m
3	Sem_B010302_any_number_of_elements_or_none_003	The IUT correctly handles template matching of * symbols in value elements	Clause B.1.3.2	m

A.3.127 Permutation

Table A.126: Permutation

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_B010303_permutation_001	The IUT correctly handles template matching of ? symbols in value elements	Clause B.1.3.3	m
2	Sem_B010303_permutation_001	The IUT correctly handles template matching of ? symbols in value elements	Clause B.1.3.3	m
3	Sem_B010303_permutation_002	The IUT correctly handles template matching of ? symbols in value elements	Clause B.1.3.3	m
4	Sem_B010303_permutation_003	The IUT correctly handles template matching of ? symbols in value elements	Clause B.1.3.3	m
5	Sem_B010303_permutation_004	The IUT correctly handles template matching of ? symbols in value elements	Clause B.1.3.3	m
6	Sem_B010303_permutation_005	The IUT correctly handles template matching of ? symbols in value elements	Clause B.1.3.3	m

A.3.128 Length restrictions

Table A.127: Length restrictions

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_B010401_length_restrictions_001	The IUT correctly handles template matching of value length definitions	Clause B.1.4.1	m
2	NegSem_B010401_length_restrictions_002	The IUT correctly handles template matching of value length definitions	Clause B.1.4.1	m
3	NegSem_B010401_length_restrictions_003	The IUT correctly handles template matching of value length definitions	Clause B.1.4.1	m
4	NegSem_B010401_length_restrictions_004	The IUT correctly handles template matching of value length definitions	Clause B.1.4.1	m
5	Sem_B010401_length_restrictions_001	The IUT correctly handles template matching of value length definitions	Clause B.1.4.1	m
6	Sem_B010401_length_restrictions_002	The IUT correctly handles template matching of value length definitions	Clause B.1.4.1	m

A.3.129 The ifpresent indicator

Table A.128: The ifpresent indicator

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_B010402_ifPresent_indicator_001	The IUT correctly handles template matching of ifpresent indicators	Clause B.1.4.2	m
2	Sem_B010402_ifPresent_indicator_001	The IUT correctly handles template matching of ifpresent indicators	Clause B.1.4.2	m
3	Sem_B010402_ifPresent_indicator_002	The IUT correctly handles template matching of ifpresent indicators	Clause B.1.4.2	m

A.3.130 Set expression

Table A.129: Set expression

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_B010501_set_expression_001	The IUT correctly handles template matching of character pattern set expressions	Clause B.1.5.1	m
2	Sem_B010501_set_expression_001	The IUT correctly handles template matching of character pattern set expressions	Clause B.1.5.1	m
3	Sem_B010501_set_expression_002	The IUT correctly handles template matching of character pattern set expressions	Clause B.1.5.1	m
4	Sem_B010501_set_expression_003	The IUT correctly handles template matching of character pattern set expressions	Clause B.1.5.1	m
5	Sem_B010501_set_expression_004	The IUT correctly handles template matching of character pattern set expressions	Clause B.1.5.1	m
6	Sem_B010501_set_expression_005	The IUT correctly handles template matching of character pattern set expressions	Clause B.1.5.1	m

A.3.131 Reference expression

Table A.130: Reference expression

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_B010502_reference_expression_009	The IUT correctly handles template matching of character pattern reference expressions	Clause B.1.5.2	m

A.3.132 Match expression n times

Table A.131: Match expression n times

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	Sem_B010503_match_n_times_001	The IUT correctly handles template matching of character pattern expression multiplicity	Clause B.1.5.3	m
2	Sem_B010503_match_n_times_002	The IUT correctly handles template matching of character pattern expression multiplicity	Clause B.1.5.3	m
3	Sem_B010503_match_n_times_003	The IUT correctly handles template matching of character pattern expression multiplicity	Clause B.1.5.3	m
4	Sem_B010503_match_n_times_004	The IUT correctly handles template matching of character pattern expression multiplicity	Clause B.1.5.3	m
5	Sem_B010503_match_n_times_005	The IUT correctly handles template matching of character pattern expression multiplicity	Clause B.1.5.3	m

A.3.133 Match a referenced character set

Table A.132: Match a referenced character set

Item	TC/TP reference	purpose	Reference in ES 201 873-1	Status	Support
1	NegSem_B010504_match_referenced_characters_001	The IUT correctly handles template matching of character pattern reference characters	Clause B.1.5.4	m
2	Sem_B010504_match_referenced_characters_001	The IUT correctly handles template matching of character pattern reference characters	Clause B.1.5.4	m
3	Sem_B010504_match_referenced_characters_002	The IUT correctly handles template matching of character pattern reference characters	Clause B.1.5.4	m
4	Sem_B010504_match_referenced_characters_003	The IUT correctly handles template matching of character pattern reference characters	Clause B.1.5.4	m
5	Sem_B010504_match_referenced_characters_004	The IUT correctly handles template matching of character pattern reference characters	Clause B.1.5.4	m
6	Sem_B010504_match_referenced_characters_005	The IUT correctly handles template matching of character pattern reference characters	Clause B.1.5.4	m
7	Sem_B010504_match_referenced_characters_006	The IUT correctly handles template matching of character pattern reference characters	Clause B.1.5.4	m
8	Sem_B010504_match_referenced_characters_007	The IUT correctly handles template matching of character pattern reference characters	Clause B.1.5.4	m