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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|