Table A.1: Mapping XML Schemas
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Neg_05_top_level_001 |
Verify that error is generated for missing XSD language tag in import clause |
Clause 5 |
m |
|
Table A.2: Namespaces
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_050101_namespaces_001 |
Verify that schema with target namespace is correctly translated into single module |
Clause 5.1.1 |
m |
|
|
2 |
Pos_050101_namespaces_002 |
Verify schema with no target namespace is correctly translated into single module |
Clause 5.1.1 |
m |
|
|
3 |
Pos_050101_namespaces_003 |
Verify that two schemas with the same target namespace are correctly translated |
Clause 5.1.1 |
m |
|
|
4 |
Pos_050101_namespaces_004 |
Verify that two schemas with no target namespace are correctly translated |
Clause 5.1.1 |
m |
|
Table A.3: Includes
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_050102_includes_001 |
Test inclusion of a schema with the same namespace |
Clause 5.1.2 |
m |
|
|
2 |
Pos_050102_includes_002 |
Verify that included schema with no target namespace is transformed twice (inclusion) |
Clause 5.1.2 |
m |
|
|
3 |
Pos_050102_includes_003 |
Verify that included schema with no target namespace is transformed twice (no namespace) |
Clause 5.1.2 |
m |
|
Table A.4: Imports
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Neg_050103_imports_001 |
Verify that it is not allowed to import imports from XSD schemas |
Clause 5.1.3 |
m |
|
|
2 |
Pos_050103_imports_001 |
Verify that XSD import statement is handled correctly |
Clause 5.1.3 |
m |
|
Table A.5: Attributes of the XSD schema element
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_050104_attributes_of_the_xsd_schema_element_001 |
Verify that qualified default element form is correctly processed (no namespace prefix) |
Clause 5.1.4 |
m |
|
|
2 |
Pos_050104_attributes_of_the_xsd_schema_element_002 |
Verify that qualified default element form is correctly processed (namespace prefix used) |
Clause 5.1.4 |
m |
|
|
3 |
Pos_050104_attributes_of_the_xsd_schema_element_003 |
Verify that unqualified default element form is correctly processed |
Clause 5.1.4 |
m |
|
|
4 |
Pos_050104_attributes_of_the_xsd_schema_element_004 |
Verify that qualified default attribute form is correctly processed (no namespace prefix) |
Clause 5.1.4 |
m |
|
|
5 |
Pos_050104_attributes_of_the_xsd_schema_element_005 |
Verify that qualified default attribute form is correctly processed (namespace prefix used) |
Clause 5.1.4 |
m |
|
|
6 |
Pos_050104_attributes_of_the_xsd_schema_element_006 |
Verify that unqualified default attribute form is correctly processed |
Clause 5.1.4 |
m |
|
Table A.6: Name conversion rules
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_050202_name_conversion_rules_001 |
Verify conversion of symbols into U+005f (low line) |
Clause 5.2.2 |
m |
|
|
2 |
Pos_050202_name_conversion_rules_002 |
Verify that non-ASCI letters are not present in transforming identifiers |
Clause 5.2.2 |
m |
|
|
3 |
Pos_050202_name_conversion_rules_003 |
TODO: add description |
Clause 5.2.2 |
m |
|
|
4 |
Pos_050202_name_conversion_rules_004 |
Verify that leading and trailing low lines are removed |
Clause 5.2.2 |
m |
|
|
5 |
Pos_050202_name_conversion_rules_005 |
Verify that type names are capitalized |
Clause 5.2.2 |
m |
|
|
6 |
Pos_050202_name_conversion_rules_006 |
Verify that prefixing type names with "X" works correctly |
Clause 5.2.2 |
m |
|
|
7 |
Pos_050202_name_conversion_rules_007 |
Verify that names of field of structure types are uncapitalized |
Clause 5.2.2 |
m |
|
|
8 |
Pos_050202_name_conversion_rules_008 |
Verify that names of enumerated items are uncapitalized |
Clause 5.2.2 |
m |
|
|
9 |
Pos_050202_name_conversion_rules_009 |
Verify that prefixing field names of structured types with "x" works correctly |
Clause 5.2.2 |
m |
|
|
10 |
Pos_050202_name_conversion_rules_010 |
Verify that prefixing enumerated items with "x" works correctly |
Clause 5.2.2 |
m |
|
|
11 |
Pos_050202_name_conversion_rules_011 |
Check transformation of empty type identifier into "X" |
Clause 5.2.2 |
m |
|
|
12 |
Pos_050202_name_conversion_rules_012 |
Check transformation of empty structured field identifier into "x" |
Clause 5.2.2 |
m |
|
|
13 |
Pos_050202_name_conversion_rules_013 |
Check transformation of empty enumerated value into "x" |
Clause 5.2.2 |
m |
|
|
14 |
Pos_050202_name_conversion_rules_014 |
Verify that additional suffices are attached in case of name clashes between types |
Clause 5.2.2 |
m |
|
|
15 |
Pos_050202_name_conversion_rules_015 |
Verify that suffix is attached in case of name clash between types and local module |
Clause 5.2.2 |
m |
|
|
16 |
Pos_050202_name_conversion_rules_016 |
Verify that suffix is attached in case of name clash between types and imported module |
Clause 5.2.2 |
m |
|
|
17 |
Pos_050202_name_conversion_rules_017 |
Verify that suffix is attached in case of name clash between field names |
Clause 5.2.2 |
m |
|
|
18 |
Pos_050202_name_conversion_rules_018 |
Verify that suffix is attached in case of name clash between field name and keyword |
Clause 5.2.2 |
m |
|
|
19 |
Pos_050202_name_conversion_rules_019 |
Verify that suffix is attached in case of name clash between field name and predefined function |
Clause 5.2.2 |
m |
|
|
20 |
Pos_050202_name_conversion_rules_020 |
Verify that suffix is attached in case of name clash between enumerated items |
Clause 5.2.2 |
m |
|
|
21 |
Pos_050202_name_conversion_rules_021 |
Verify that suffix is attached in case of name clash between enumerated item and keyword |
Clause 5.2.2 |
m |
|
|
22 |
Pos_050202_name_conversion_rules_022 |
Verify that suffix is attached in case of name clash between enumerated item and predefined function |
Clause 5.2.2 |
m |
|
|
23 |
Pos_050202_name_conversion_rules_023 |
Verify that name clash between module names is resolved using suffix |
Clause 5.2.2 |
m |
|
Table A.7: Order of the mapping
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_050203_order_of_the_mapping_001 |
Verify order of top-level schema components |
Clause 5.2.3 |
m |
|
|
2 |
Pos_050203_order_of_the_mapping_002 |
Verify that alphabetical sorting is based on character ordinal numbers |
Clause 5.2.3 |
m |
|
|
3 |
Pos_050203_order_of_the_mapping_003 |
Verify that alphabetical sorting is done only inside sets of items |
Clause 5.2.3 |
m |
|
Table A.8: Length
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Neg_060101_length_001 |
Verify that a length-restricted XSD type shall be mapped to a corresponding length restricted TTCN 3 type. |
Clause 6.1.1 |
m |
|
|
2 |
Pos_060101_length_001 |
Verify that a length-restricted XSD type shall be mapped to a corresponding length restricted TTCN 3 type. |
Clause 6.1.1 |
m |
|
|
3 |
Pos_060101_length_002 |
Verify that a length-restricted XSD type shall be mapped to a corresponding length restricted TTCN 3 type. |
Clause 6.1.1 |
m |
|
Table A.9: MinInclusive
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_060107_mininclusive_001 |
Verify mapping of an integer element with a minInclusive facet |
Clause 6.1.7 |
m |
|
|
2 |
Pos_060107_mininclusive_002 |
Verify mapping of a float element with a numeric minInclusive value |
Clause 6.1.7 |
m |
|
|
3 |
Pos_060107_mininclusive_003 |
Verify mapping of a float element with special minInclusive values |
Clause 6.1.7 |
m |
|
|
4 |
Pos_060107_mininclusive_004 |
Verify mapping of a float element with special minInclusive values |
Clause 6.1.7 |
m |
|
|
5 |
Pos_060107_mininclusive_005 |
Verify mapping of a float element with special minInclusive values |
Clause 6.1.7 |
m |
|
Table A.10: MaxInclusive
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_060108_maxinclusive_001 |
Verify mapping of elements of type integer with maxInclusive facet |
Clause 6.1.8 |
m |
|
|
2 |
Pos_060108_maxinclusive_002 |
Verify mapping of a float type with a numeric maxInclusive facet |
Clause 6.1.8 |
m |
|
|
3 |
Pos_060108_maxinclusive_003 |
Verify mapping of a float type with a numeric maxInclusive facet |
Clause 6.1.8 |
m |
|
|
4 |
Pos_060108_maxinclusive_004 |
Verify mapping of a float type with a numeric maxInclusive facet |
Clause 6.1.8 |
m |
|
Table A.11: MaxExclusive
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Neg_060110_maxexclusive_001 |
Verify that INF (negative infinity) or NaN (not-a-number), this type shall not be translated to TTCN-3 |
Clause 6.1.10 |
m |
|
|
2 |
Pos_060110_maxexclusive_001 |
Verify mapping of a maxExclusive facet applied to a type, which is derivative of integer |
Clause 6.1.10 |
m |
|
|
3 |
Pos_060110_maxexclusive_002 |
Verify mapping of a maxExclusive facet applied to the float type |
Clause 6.1.10 |
m |
|
|
4 |
Pos_060110_maxexclusive_003 |
Verify mapping of a maxExclusive facet applied to the float type |
Clause 6.1.10 |
m |
|
Table A.12: String
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_060201_string_001 |
Verify mapping of a string type |
Clause 6.2.1 |
m |
|
Table A.13: Name
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_060204_name_001 |
Verify mapping of a Name type |
Clause 6.2.4 |
m |
|
Table A.14: Integer
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_060301_integer_001 |
Verify that the integer type shall be translated to TTCN-3 as a plain integer |
Clause 6.3.1 |
m |
|
Table A.15: Positive integer
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_060302_positive_integer_001 |
Verify that the integer type shall be translated to TTCN-3 as the range-restricted integer |
Clause 6.3.2 |
m |
|
Table A.16: Non-positive integer
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_060303_non_positive_integer_001 |
Verify that the non positive integer type shall be translated to TTCN-3 as the range-restricted integer |
Clause 6.3.3 |
m |
|
Table A.17: Negative integer
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_060304_negative_integer_001 |
Verify that the negative integer type shall be translated to TTCN-3 as the range-restricted integer |
Clause 6.3.4 |
m |
|
Table A.18: Non-negative integer
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_060305_non_negative_integer_001 |
Verify that the non negative integer type shall be translated to TTCN-3 as the range-restricted integer |
Clause 6.3.5 |
m |
|
Table A.19: Long
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_060306_long_001 |
Verify that long type (64bit) shall be translated to TTCN-3 as a plain long long |
Clause 6.3.6 |
m |
|
Table A.20: Unsigned long
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_060307_unsigned_long_001 |
Verify that unsigned long type (64bit) shall be translated to TTCN-3 as a plain unsigned long long |
Clause 6.3.7 |
m |
|
Table A.21: Int
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_060308_int_001 |
Verify that int type (32bit) shall be translated to TTCN-3 as a plain long as defined in clause D.2.1.2 of ES 201 873 1 [1]) |
Clause 6.3.8 |
m |
|
Table A.22: Unsigned int
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_060309_unsigned_int_001 |
Verify that unsigned int type (32bit) shall be translated to TTCN-3 as a plain unsignedlong as defined in clause D.2.1.2 of ES 201 873 1 [1] |
Clause 6.3.9 |
m |
|
Table A.23: Short
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_060310_short_001 |
Verify that short type (16bit) shall be translated to TTCN-3 as a plain short as defined in clause D.2.1.1 of ES 201 873 1 [1] |
Clause 6.3.10 |
m |
|
Table A.24: Unsigned Short
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_060311_unsigned_short_001 |
Verify that unsigned short type (16bit) shall be translated to TTCN-3 as a plain unsigned short as defined in clause D.2.1.1 of ES 201 873 1 [1] |
Clause 6.3.11 |
m |
|
Table A.25: Byte
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_060312_byte_001 |
Verify that byte type (8bit) shall be translated to TTCN-3 as a plain byte as defined in clause D.2.1.0 of ES 201 873 1 [1] |
Clause 6.3.12 |
m |
|
Table A.26: Unsigned byte
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_060313_unsigned_byte_001 |
Verify that unsigned byte type (8bit) shall be translated to TTCN-3 as a plain unsigned byte as defined in clause D.2.1.0 of ES 201 873 1 [1] |
Clause 6.3.13 |
m |
|
Table A.27: Decimal
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_060401_decimal_001 |
Verify that decimal type shall be translated to TTCN-3 as a plain float |
Clause 6.4.1 |
m |
|
Table A.28: Double
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_060403_double_001 |
Verify that double type shall be translated to TTCN-3 as an IEEE754double as defined in clause D.2.1.4 of ES 201 873 1 [1]: |
Clause 6.4.3 |
m |
|
Table A.29: Date and time
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Neg_060502_date_and_time_001 |
Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.2 |
m |
|
|
2 |
Neg_060502_date_and_time_002 |
Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.2 |
m |
|
|
3 |
Neg_060502_date_and_time_003 |
Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.2 |
m |
|
|
4 |
Neg_060502_date_and_time_004 |
Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.2 |
m |
|
|
5 |
Pos_060502_date_and_time_001 |
Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.2 |
m |
|
|
6 |
Pos_060502_date_and_time_002 |
Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.2 |
m |
|
|
7 |
Pos_060502_date_and_time_003 |
Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.2 |
m |
|
|
8 |
Pos_060502_date_and_time_004 |
Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.2 |
m |
|
Table A.30: Date
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Neg_060504_date_001 |
Verify that the date type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.4 |
m |
|
|
2 |
Neg_060504_date_002 |
Verify that the date type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.4 |
m |
|
|
3 |
Neg_060504_date_003 |
Verify that the date type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.4 |
m |
|
|
4 |
Neg_060504_date_004 |
Verify that the date type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.4 |
m |
|
|
5 |
Pos_060504_date_001 |
Verify that the date type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.4 |
m |
|
|
6 |
Pos_060504_date_002 |
Verify that the date type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.4 |
m |
|
|
7 |
Pos_060504_date_003 |
Verify that the date type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.4 |
m |
|
|
8 |
Pos_060504_date_004 |
Verify that the date type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.4 |
m |
|
Table A.31: Gregorian year and month
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Neg_060505_gregorian_year_and_month_001 |
Verify that the gYearMonth type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.5 |
m |
|
|
2 |
Neg_060505_gregorian_year_and_month_002 |
Verify that the gYearMonth type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.5 |
m |
|
|
3 |
Neg_060505_gregorian_year_and_month_003 |
Verify that the gYearMonth type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.5 |
m |
|
|
4 |
Neg_060505_gregorian_year_and_month_004 |
Verify that the gYearMonth type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.5 |
m |
|
|
5 |
Pos_060505_gregorian_year_and_month_001 |
Verify that the gYearMonth type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.5 |
m |
|
|
6 |
Pos_060505_gregorian_year_and_month_002 |
Verify that the gYearMonth type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.5 |
m |
|
Table A.32: Gregorian year
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Neg_060506_gregorian_year_001 |
Verify that the gYear type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.6 |
m |
|
|
2 |
Pos_060506_gregorian_year_001 |
Verify that the gYear type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.6 |
m |
|
|
3 |
Pos_060506_gregorian_year_002 |
Verify that the gYear type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.6 |
m |
|
|
4 |
Pos_060506_gregorian_year_003 |
Verify that the gYear type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.6 |
m |
|
|
5 |
Pos_060506_gregorian_year_004 |
Verify that the gYear type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.6 |
m |
|
|
6 |
Pos_060506_gregorian_year_005 |
Verify that the gYear type shall be translated to TTCN-3 using the pattern-restricted charstring |
Clause 6.5.6 |
m |
|
Table A.33: Boolean type
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_0607_boolean_type_001 |
Verify that the XSD boolean type shall be mapped to the TTCN-3 boolean type |
Clause 6.7 |
m |
|
|
2 |
Pos_0607_boolean_type_002 |
Verify that the XSD boolean type shall be mapped to the TTCN-3 boolean type |
Clause 6.7 |
m |
|
Table A.34: Id
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_070101_id_001 |
__purpose__ |
Clause 7.1.1 |
m |
|
Table A.35: Extending simple content
|
Item |
TC/TP reference |
purpose |
Reference in ES 201 873-1 |
Status |
Support |
|
1 |
Pos_07060101_extending_simple_content_001 |
Verify extension of a built-in type by adding an attribute |
Clause 7.6.1.1 |
m |
|