## A.3.2 Mapping XML Schemas

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 |

## A.3.3 Namespaces

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 |

## A.3.4 Includes

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 |

## A.3.5 Imports

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 |

## A.3.6 Attributes of the XSD schema element

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 |

## A.3.7 Name conversion rules

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 |

## A.3.8 Order of the mapping

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 |
4 | Pos_050203_order_of_the_mapping_004 | Asure that namespaces are ordered lexically | Clause 5.2.3 | m |
5 | Pos_050203_order_of_the_mapping_005 | Asure that namespaces are ordered lexically | Clause 5.2.3 | m |

## A.3.9 Built-in data types

Table A.8: Built-in data types

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_06_top_level_001 | Verify conversion of simpleType based on built-in XSD type | Clause 6 | m |

## A.3.10 Length

Table A.9: 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 |

## A.3.11 Enumeration

Table A.10: Enumeration

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Neg_060105_enumeration_001 | Verify if tool rejects validation in case of restricted value due xsd type declaration. | Clause 6.1.5 | m |
2 | Neg_060105_enumeration_002 | Verify if tool rejects validation in case of restricted enumerated value length due xsd type declaration. | Clause 6.1.5 | m |
3 | Neg_060105_enumeration_003 | Verify if tool rejects validation in case of restricted value due xsd type declaration. | Clause 6.1.5 | m |
4 | Neg_060105_enumeration_004 | disallow enumeration values removed by restriction | Clause 6.1.5 | m |
5 | Pos_060105_enumeration_001 | Verify mapping of simple type definition that is a restriction of | Clause 6.1.5 | m |
6 | Pos_060105_enumeration_002 | Verify mapping of simple type definition that is a restriction of | Clause 6.1.5 | m |
7 | Pos_060105_enumeration_003 | Verify mapping of simple type definition that is a restriction of | Clause 6.1.5 | m |
8 | Pos_060105_enumeration_004 | Verify mapping of simple type definition that is a restriction of | Clause 6.1.5 | m |
9 | Pos_060105_enumeration_005 | Verify mapping of simple type definition that is a restriction of another | Clause 6.1.5 | m |
10 | Pos_060105_enumeration_006 | TODO write purpose | Clause 6.1.5 | m |

## A.3.12 MinInclusive

Table A.11: 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 |

## A.3.13 MaxInclusive

Table A.12: 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 |

## A.3.14 MinExclusive

Table A.13: MinExclusive

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Neg_060109_minexclusive_001 | Verify if tool rejects validation in case of restricted value due xsd type declaration. | Clause 6.1.9 | m |
2 | Neg_060109_minexclusive_002 | Verify if tool rejects validation in case of restricted value due xsd type declaration. | Clause 6.1.9 | m |
3 | Pos_060109_minexclusive_001 | Verify if tool accepts values restricted by xsd type declaration. | Clause 6.1.9 | m |
4 | Pos_060109_minexclusive_002 | Verify if tool accepts values restricted by xsd type declaration. | Clause 6.1.9 | m |

## A.3.15 MaxExclusive

Table A.14: 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 |

## A.3.16 Total digits

Table A.15: Total digits

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Neg_060111_total_digits_001 | Check that totalDigits are converted to value boundaries | Clause 6.1.11 | m |
2 | Neg_060111_total_digits_002 | Check that totalDigits are converted to value boundaries | Clause 6.1.11 | m |
3 | Neg_060111_total_digits_003 | Check that totalDigits are converted to value boundaries | Clause 6.1.11 | m |
4 | Neg_060111_total_digits_004 | Check that totalDigits are converted to value boundaries | Clause 6.1.11 | m |
5 | Pos_060111_total_digits_001 | Check that totalDigits are converted to value boundaries | Clause 6.1.11 | m |
6 | Pos_060111_total_digits_002 | Check that totalDigits are converted to value boundaries | Clause 6.1.11 | m |
7 | Pos_060111_total_digits_003 | Check that totalDigits are converted to value boundaries | Clause 6.1.11 | m |
8 | Pos_060111_total_digits_004 | Check that totalDigits are converted to value boundaries | Clause 6.1.11 | m |
9 | Pos_060111_total_digits_005 | Check that totalDigits are converted to value boundaries | Clause 6.1.11 | m |

## A.3.17 Fraction digits

Table A.16: Fraction digits

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_060112_fraction_digits_001 | TODO write purpose | Clause 6.1.12 | m |
2 | Pos_060112_fraction_digits_002 | TODO write purpose | Clause 6.1.12 | m |

## A.3.18 Not specifically mapped facets

Table A.17: Not specifically mapped facets

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_060113_not_mapped_001 | Handle not mapped facets to transparent | Clause 6.1.13 | m |

## A.3.19 String

Table A.18: 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 |

## A.3.20 Name

Table A.19: 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 |

## A.3.21 Any URI

Table A.20: Any URI

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Neg_060212_any_uri_001 | Verify mapping of an anyURI type | Clause 6.2.12 | m |
2 | Neg_060212_any_uri_002 | Verify mapping of an anyURI type | Clause 6.2.12 | m |
3 | Pos_060212_any_uri_001 | Verify mapping of an anyURI type | Clause 6.2.12 | m |

## A.3.22 Integer

Table A.21: 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 |

## A.3.23 Positive integer

Table A.22: 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 |

## A.3.24 Non-positive integer

Table A.23: 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 |

## A.3.25 Negative integer

Table A.24: 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 |

## A.3.26 Non-negative integer

Table A.25: 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 |

## A.3.27 Long

Table A.26: 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 |

## A.3.28 Unsigned long

Table A.27: 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 |

## A.3.29 Int

Table A.28: 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 |

## A.3.30 Unsigned int

Table A.29: 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 |

## A.3.31 Short

Table A.30: 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 |

## A.3.32 Unsigned Short

Table A.31: 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 |

## A.3.33 Byte

Table A.32: 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 |

## A.3.34 Unsigned byte

Table A.33: 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 |

## A.3.35 Decimal

Table A.34: 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 |

## A.3.36 Float

Table A.35: Float

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_060402_float_001 | Verify conversion of XSD float type | Clause 6.4.2 | m |

## A.3.37 Double

Table A.36: 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 |

## A.3.38 Date and time

Table A.37: 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 |

## A.3.39 Date

Table A.38: 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 |

## A.3.40 Gregorian year and month

Table A.39: 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 |

## A.3.41 Gregorian year

Table A.40: 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 allows positive years greater than 9999 | 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 accepts negative years | Clause 6.5.6 | m |
7 | Pos_060506_gregorian_year_006 | Verify that the gYear alows negative year with more than 4 digits | Clause 6.5.6 | m |

## A.3.42 Boolean type

Table A.41: 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 |

## A.3.43 AnyType and anySimpleType types

Table A.42: AnyType and anySimpleType types

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_0608_anytype_and_anysimpletype_types_001 | Verify conversion of anySimpleType | Clause 6.8 | m |
2 | Pos_0608_anytype_and_anysimpletype_types_002 | Verify conversion of anyType | Clause 6.8 | m |

## A.3.44 Id

Table A.43: Id

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_070101_id_001 | Verify conversion of id attribute of global element | Clause 7.1.1 | m |
2 | Pos_070101_id_002 | verify conversion of id attribute of local element | Clause 7.1.1 | m |
3 | Pos_070101_id_001 | Verify conversion of id attribute of global element | Clause 7.1.1 | m |
4 | Pos_070101_id_002 | verify conversion of id attribute of local element | Clause 7.1.1 | m |

## A.3.45 MinOccurs and maxOccurs

Table A.44: MinOccurs and maxOccurs

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Neg_070104_minoccurs_and_maxoccurs_001 | a list with minOccurs 0 should not be mapped optional in TTCN-3 | Clause 7.1.4 | m |
2 | Neg_070104_minoccurs_and_maxoccurs_002 | A restricted length list [5, 10] should not allow less than 5 elements | Clause 7.1.4 | m |
3 | Neg_070104_minoccurs_and_maxoccurs_003 | A restricted length list [5, 10] should not allow more than 10 elements | Clause 7.1.4 | m |
4 | Pos_070104_minoccurs_and_maxoccurs_001 | Optional field defined by minOccurs has to be mapped as optional in TTCN-3 | Clause 7.1.4 | m |
5 | Pos_070104_minoccurs_and_maxoccurs_002 | Optional field defined by minOccurs has to exist in TTCN-3 and match the value | Clause 7.1.4 | m |
6 | Pos_070104_minoccurs_and_maxoccurs_003 | a list with minOccurs 0 should allow zero elements | Clause 7.1.4 | m |
7 | Pos_070104_minoccurs_and_maxoccurs_004 | A restricted length list (0, unbounded) should allow elements | Clause 7.1.4 | m |
8 | Pos_070104_minoccurs_and_maxoccurs_005 | A restricted length list [5, 10] should allow 5 elements | Clause 7.1.4 | m |
9 | Pos_070104_minoccurs_and_maxoccurs_006 | A restricted length list [5, 10] should allow 10 elements | Clause 7.1.4 | m |
10 | Pos_070104_minoccurs_and_maxoccurs_007 | A restricted length list [5, 10] should allow 7 elements | Clause 7.1.4 | m |
11 | Neg_070104_minoccurs_and_maxoccurs_001 | a list with minOccurs 0 should not be mapped optional in TTCN-3 | Clause 7.1.4 | m |
12 | Neg_070104_minoccurs_and_maxoccurs_002 | A restricted length list [5, 10] should not allow less than 5 elements | Clause 7.1.4 | m |
13 | Neg_070104_minoccurs_and_maxoccurs_003 | A restricted length list [5, 10] should not allow more than 10 elements | Clause 7.1.4 | m |
14 | Pos_070104_minoccurs_and_maxoccurs_001 | Optional field defined by minOccurs has to be mapped as optional in TTCN-3 | Clause 7.1.4 | m |
15 | Pos_070104_minoccurs_and_maxoccurs_002 | Optional field defined by minOccurs has to exist in TTCN-3 and match the value | Clause 7.1.4 | m |
16 | Pos_070104_minoccurs_and_maxoccurs_003 | a list with minOccurs 0 should allow zero elements | Clause 7.1.4 | m |
17 | Pos_070104_minoccurs_and_maxoccurs_004 | A restricted length list (0, unbounded) should allow elements | Clause 7.1.4 | m |
18 | Pos_070104_minoccurs_and_maxoccurs_005 | A restricted length list [5, 10] should allow 5 elements | Clause 7.1.4 | m |
19 | Pos_070104_minoccurs_and_maxoccurs_006 | A restricted length list [5, 10] should allow 10 elements | Clause 7.1.4 | m |
20 | Pos_070104_minoccurs_and_maxoccurs_007 | A restricted length list [5, 10] should allow 7 elements | Clause 7.1.4 | m |

## A.3.46 Default and Fixed

Table A.45: Default and Fixed

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Neg_070105_default_and_fixed_001 | Verify constraint of type based on XSD definition with fixed attribute | Clause 7.1.5 | m |
2 | Pos_070105_default_and_fixed_001 | Verify conversion of fixed attribute | Clause 7.1.5 | m |
3 | Pos_070105_default_and_fixed_002 | Verify conversion of default attribute | Clause 7.1.5 | m |
4 | Pos_070105_default_and_fixed_003 | Verify that default value is automatically assigned to empty element by decoder | Clause 7.1.5 | m |
5 | Pos_070105_default_and_fixed_004 | Verify that fixed value is automatically assigned to empty element by decoder | Clause 7.1.5 | m |
6 | Neg_070105_default_and_fixed_001 | Verify constraint of type based on XSD definition with fixed attribute | Clause 7.1.5 | m |
7 | Pos_070105_default_and_fixed_001 | Verify conversion of fixed attribute | Clause 7.1.5 | m |
8 | Pos_070105_default_and_fixed_002 | Verify conversion of default attribute | Clause 7.1.5 | m |
9 | Pos_070105_default_and_fixed_003 | Verify that default value is automatically assigned to empty element by decoder | Clause 7.1.5 | m |
10 | Pos_070105_default_and_fixed_004 | Verify that fixed value is automatically assigned to empty element by decoder | Clause 7.1.5 | m |

## A.3.47 Form

Table A.46: Form

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_070106_form_001 | Verify that unqualified attribute form is correctly converted (unqualified attributeFormDefault) | Clause 7.1.6 | m |
2 | Pos_070106_form_002 | Verify that unqualified attribute form is correctly converted (qualified attributeFormDefault) | Clause 7.1.6 | m |
3 | Pos_070106_form_003 | Verify that qualified attribute form is correctly converted (unqualified attributeFormDefault) | Clause 7.1.6 | m |
4 | Pos_070106_form_004 | Verify that qualified attribute form is correctly converted (qualified attributeFormDefault) | Clause 7.1.6 | m |
5 | Pos_070106_form_005 | Verify that unqualified element form is correctly converted (unqualified elementFormDefault) | Clause 7.1.6 | m |
6 | Pos_070106_form_006 | Verify that unqualified element form is correctly converted (qualified elementFormDefault) | Clause 7.1.6 | m |
7 | Pos_070106_form_007 | Verify that qualified element form is correctly converted (unqualified elementFormDefault) | Clause 7.1.6 | m |
8 | Pos_070106_form_008 | Verify that qualified element form is correctly converted (qualified elementFormDefault) | Clause 7.1.6 | m |
9 | Neg_070106_form_001 | check correct namespace prefix encoding for elementFormDefault | Clause 7.1.6 | m |
10 | Neg_070106_form_002 | check correct namespace prefix encoding for elementFormDefault | Clause 7.1.6 | m |
11 | Neg_070106_form_003 | check correct namespace prefix encoding for attributeFormDefault | Clause 7.1.6 | m |
12 | Neg_070106_form_004 | check correct namespace prefix encoding for attributeFormDefault | Clause 7.1.6 | m |
13 | Pos_070106_form_001 | Verify that unqualified attribute form is correctly converted (unqualified attributeFormDefault) | Clause 7.1.6 | m |
14 | Pos_070106_form_002 | Verify that unqualified attribute form is correctly converted (qualified attributeFormDefault) | Clause 7.1.6 | m |
15 | Pos_070106_form_003 | Verify that qualified attribute form is correctly converted (unqualified attributeFormDefault) | Clause 7.1.6 | m |
16 | Pos_070106_form_004 | Verify that qualified attribute form is correctly converted (qualified attributeFormDefault) | Clause 7.1.6 | m |
17 | Pos_070106_form_005 | Verify that unqualified element form is correctly converted (unqualified elementFormDefault) | Clause 7.1.6 | m |
18 | Pos_070106_form_006 | Verify that unqualified element form is correctly converted (qualified elementFormDefault) | Clause 7.1.6 | m |
19 | Pos_070106_form_007 | Verify that qualified element form is correctly converted (unqualified elementFormDefault) | Clause 7.1.6 | m |
20 | Pos_070106_form_008 | Verify that qualified element form is correctly converted (qualified elementFormDefault) | Clause 7.1.6 | m |
21 | Pos_070106_form_009 | check correct namespace prefix encoding for elementFormDefault | Clause 7.1.6 | m |
22 | Pos_070106_form_010 | check correct namespace prefix encoding for elementFormDefault | Clause 7.1.6 | m |
23 | Pos_070106_form_011 | check correct namespace prefix encoding for attributeFormDefault | Clause 7.1.6 | m |
24 | Pos_070106_form_012 | check correct namespace prefix encoding for attributeFormDefault | Clause 7.1.6 | m |

## A.3.48 Type

Table A.47: Type

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_070107_type_001 | Verify conversion of type attribute referencing global simpleType | Clause 7.1.7 | m |
2 | Pos_070107_type_002 | Verify conversion of type attribute referencing global complexType | Clause 7.1.7 | m |
3 | Pos_070107_type_003 | Verify conversion of type attribute referencing built-in type | Clause 7.1.7 | m |
4 | Pos_070107_type_001 | Verify conversion of type attribute referencing global simpleType | Clause 7.1.7 | m |
5 | Pos_070107_type_002 | Verify conversion of type attribute referencing global complexType | Clause 7.1.7 | m |
6 | Pos_070107_type_003 | Verify conversion of type attribute referencing built-in type | Clause 7.1.7 | m |

## A.3.49 Use

Table A.48: Use

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Neg_070112_use_001 | Verify that attribute with required use cannot be omitted | Clause 7.1.12 | m |
2 | Pos_070112_use_001 | Verify that attribute with required use is correctly converted | Clause 7.1.12 | m |
3 | Pos_070112_use_002 | Verify that attribute with optional use is correctly converted | Clause 7.1.12 | m |
4 | Pos_070112_use_003 | Verify that attribute with prohibited use is not converted | Clause 7.1.12 | m |
5 | Neg_070112_use_001 | Verify that attribute with required use cannot be omitted | Clause 7.1.12 | m |
6 | Pos_070112_use_001 | Verify that attribute with required use is correctly converted | Clause 7.1.12 | m |
7 | Pos_070112_use_002 | Verify that attribute with optional use is correctly converted | Clause 7.1.12 | m |
8 | Pos_070112_use_003 | Verify that attribute with prohibited use is not converted | Clause 7.1.12 | m |

## A.3.50 Final

Table A.49: Final

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_070114_final_001 | Verify conversion of elements with final attribute | Clause 7.1.14 | m |
2 | Pos_070114_final_001 | Verify conversion of elements with final attribute | Clause 7.1.14 | m |

## A.3.51 Element component

Table A.50: Element component

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_0703_element_component_001 | Verify conversion of global element of simple type | Clause 7.3 | m |
2 | Pos_0703_element_component_002 | Verify conversion of global element of user defined type | Clause 7.3 | m |
3 | Pos_0703_element_component_003 | Verify conversion of global element of locally defined complex type | Clause 7.3 | m |
4 | Pos_0703_element_component_004 | Verify conversion of local elements defined by reference with different namespace | Clause 7.3 | m |

## A.3.52 Attribute element definitions

Table A.51: Attribute element definitions

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_070401_attribute_element_definitions_001 | Verify mapping of a globally deﬁned attribute | Clause 7.4.1 | m |
2 | Pos_070401_attribute_element_definitions_001 | Verify mapping of a globally deﬁned attribute | Clause 7.4.1 | m |

## A.3.53 Attribute group definitions

Table A.52: Attribute group definitions

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_070402_attribute_group_definitions_001 | Verify mapping of a globally deﬁned attribute group | Clause 7.4.2 | m |
2 | Pos_070402_attribute_group_definitions_001 | Verify mapping of a globally deﬁned attribute group | Clause 7.4.2 | m |

## A.3.54 Derivation by restriction

Table A.53: Derivation by restriction

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_070501_derivation_by_restriction_001 | Verify that it is possible to convert anonymous | Clause 7.5.1 | m |

## A.3.55 Derivation by list

Table A.54: Derivation by list

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Neg_070502_derivation_by_list_001 | Verify length constraint imposed on type derived by list | Clause 7.5.2 | m |
2 | Neg_070502_derivation_by_list_002 | Verify constraint imposed on inner type defined inside XSD list | Clause 7.5.2 | m |
3 | Pos_070502_derivation_by_list_001 | Verify that derivation by list is converted to record of | Clause 7.5.2 | m |
4 | Pos_070502_derivation_by_list_002 | Verify mapping of facets connected applied to derivation by list | Clause 7.5.2 | m |
5 | Pos_070502_derivation_by_list_003 | Verify conversion of facets defined inside XSD list | Clause 7.5.2 | m |
6 | Pos_070502_derivation_by_list_004 | Verify transformation of derivation by list with enumerated facets inside | Clause 7.5.2 | m |
7 | Pos_070502_derivation_by_list_005 | Verify transformation of list containing union content | Clause 7.5.2 | m |

## A.3.56 Derivation by union

Table A.55: Derivation by union

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_070503_derivation_by_union_001 | Verify transformation of union with memberTypes attribute | Clause 7.5.3 | m |
2 | Pos_070503_derivation_by_union_002 | Verify transformation of union with unnamed member types | Clause 7.5.3 | m |
3 | Pos_070503_derivation_by_union_003 | Verify transformation of union with memberTypes attribute and unnamed member types | Clause 7.5.3 | m |
4 | Pos_070503_derivation_by_union_004 | Verify transformation of union with memberTypes attribute and unnamed enumeration | Clause 7.5.3 | m |
5 | Pos_070503_derivation_by_union_005 | Verify transformation of union content containing enumeration facets | Clause 7.5.3 | m |
6 | Pos_070503_derivation_by_union_006 | Verify transformation of union containing list content | Clause 7.5.3 | m |

## A.3.57 Extending simple content

Table A.56: 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 |

## A.3.58 Restricting simple content

Table A.57: Restricting simple content

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Neg_07060102_restricting_simple_content_001 | Verify restriction of a base type | Clause 7.6.1.2 | m |
2 | Pos_07060102_restricting_simple_content_001 | Verify restriction of a base type | Clause 7.6.1.2 | m |

## A.3.59 Complex content derived by extension

Table A.58: Complex content derived by extension

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_07060201_derived_by_extension_001 | Verify mapping of complex type where both the base and the | Clause 7.6.2.1 | m |
2 | Pos_07060201_derived_by_extension_002 | Verify mapping of complex type where both the base and the | Clause 7.6.2.1 | m |
3 | Pos_07060201_derived_by_extension_003 | Verify mapping of complex type where both the base and the | Clause 7.6.2.1 | m |
4 | Pos_07060201_derived_by_extension_004 | Verify mapping of complex type where both the base and the | Clause 7.6.2.1 | m |
5 | Pos_07060201_derived_by_extension_005 | Verify mapping of complex type where both the base and the | Clause 7.6.2.1 | m |
6 | Pos_07060201_derived_by_extension_006 | Verify mapping of complex type where both the base and | Clause 7.6.2.1 | m |
7 | Pos_07060201_derived_by_extension_007 | Verify mapping of complex type where extension of a sequence | Clause 7.6.2.1 | m |
8 | Pos_07060201_derived_by_extension_008 | Verify mapping of complex type: | Clause 7.6.2.1 | m |
9 | Pos_07060201_derived_by_extension_009 | Verify mapping of complex type: | Clause 7.6.2.1 | m |

## A.3.60 Complex content derived by restriction

Table A.59: Complex content derived by restriction

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_07060202_derived_by_restriction_001 | Verify mapping of complex content derived by restriction: | Clause 7.6.2.2 | m |

## A.3.61 Referencing group components

Table A.60: Referencing group components

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_070603_referencing_group_components_001 | Verify conversion of group reference occurring as child of complex type (sequence, one occurrence) | Clause 7.6.3 | m |
2 | Pos_070603_referencing_group_components_002 | Verify conversion of group reference occurring inside sequence | Clause 7.6.3 | m |
3 | Pos_070603_referencing_group_components_003 | Verify conversion of group reference occurring as child of complex type (sequence, optional occurrence) | Clause 7.6.3 | m |
4 | Pos_070603_referencing_group_components_004 | Verify conversion of group reference occurring as child of complex type (sequence, 0..N) | Clause 7.6.3 | m |
5 | Pos_070603_referencing_group_components_005 | Verify conversion of group reference occurring as child of complex type (all, one occurrence) | Clause 7.6.3 | m |
6 | Pos_070603_referencing_group_components_006 | Verify conversion of group reference occurring as child of complex type (all, 0..1) | Clause 7.6.3 | m |
7 | Pos_070603_referencing_group_components_007 | Verify conversion of group reference occurring as child of complex type (choice, one occurrence) | Clause 7.6.3 | m |
8 | Pos_070603_referencing_group_components_008 | Verify conversion of group reference occurring as child of complex type (choice, 0..1) | Clause 7.6.3 | m |
9 | Pos_070603_referencing_group_components_009 | Verify conversion of group reference occurring as child of complex type (choice, 0..N) | Clause 7.6.3 | m |
10 | Pos_070603_referencing_group_components_010 | Verify conversion of group reference occurring inside choice | Clause 7.6.3 | m |

## A.3.62 All content

Table A.61: All content

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_070604_all_content_001 | Verify conversion of all content containing mandatory fields | Clause 7.6.4 | m |
2 | Pos_070604_all_content_002 | Verify conversion of all content with minOccurs="0" | Clause 7.6.4 | m |
3 | Pos_070604_all_content_003 | Verify transformation of elements with minOccurs attribute occuring inside all content | Clause 7.6.4 | m |
4 | Pos_070604_all_content_004 | Verify transformation of all content containing attributes | Clause 7.6.4 | m |

## A.3.63 Choice content

Table A.62: Choice content

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_070605_top_level_001 | Verify that choice content with minOccurs different than 1 is correctly transformed | Clause 7.6.5 | m |
2 | Pos_070605_top_level_002 | Verify that choice content with maxOccurs larger than 1 is correctly transformed | Clause 7.6.5 | m |

## A.3.64 Choice with nested elements

Table A.63: Choice with nested elements

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_07060501_choice_with_nested_elements_001 | Verify that choice content with nested elements is correctly transformed | Clause 7.6.5.1 | m |
2 | Pos_07060501_choice_with_nested_elements_001 | Verify that choice content with nested elements is correctly transformed | Clause 7.6.5.1 | m |

## A.3.65 Choice with nested group

Table A.64: Choice with nested group

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_07060502_choice_with_nested_group_001 | Verify that choice content with nested group is correctly transformed | Clause 7.6.5.2 | m |
2 | Pos_07060502_choice_with_nested_group_001 | Verify that choice content with nested group is correctly transformed | Clause 7.6.5.2 | m |

## A.3.66 Choice with nested choice

Table A.65: Choice with nested choice

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_07060503_choice_with_nested_choice_001 | Verify that choice content with nested choice is correctly transformed | Clause 7.6.5.3 | m |
2 | Pos_07060503_choice_with_nested_choice_001 | Verify that choice content with nested choice is correctly transformed | Clause 7.6.5.3 | m |

## A.3.67 Choice with nested sequence

Table A.66: Choice with nested sequence

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_07060504_choice_with_nested_sequence_001 | Verify that choice content with nested sequence is correctly transformed | Clause 7.6.5.4 | m |
2 | Pos_07060504_choice_with_nested_sequence_002 | Verify that choice content with multiple nested sequences is correctly transformed | Clause 7.6.5.4 | m |
3 | Pos_07060504_choice_with_nested_sequence_001 | Verify that choice content with nested sequence is correctly transformed | Clause 7.6.5.4 | m |
4 | Pos_07060504_choice_with_nested_sequence_002 | Verify that choice content with multiple nested sequences is correctly transformed | Clause 7.6.5.4 | m |

## A.3.68 Choice with nested any

Table A.67: Choice with nested any

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_07060505_choice_with_nested_any_001 | Verify that choice content with nested any is correctly transformed | Clause 7.6.5.5 | m |
2 | Pos_07060505_choice_with_nested_any_001 | Verify that choice content with nested any is correctly transformed | Clause 7.6.5.5 | m |

## A.3.69 Sequence with nested element content

Table A.68: Sequence with nested element content

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_07060601_sequence_with_nested_element_001 | Verify that sequence content with nested elements is correctly transformed | Clause 7.6.6.1 | m |
2 | Pos_07060601_sequence_with_nested_element_001 | Verify that sequence content with nested elements is correctly transformed | Clause 7.6.6.1 | m |

## A.3.70 Sequence with nested group content

Table A.69: Sequence with nested group content

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_07060602_sequence_with_nested_group_001 | Verify that sequence content with group reference is correctly transformed | Clause 7.6.6.2 | m |
2 | Pos_07060602_sequence_with_nested_group_001 | Verify that sequence content with group reference is correctly transformed | Clause 7.6.6.2 | m |

## A.3.71 Sequence with nested choice content

Table A.70: Sequence with nested choice content

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_07060603_sequence_with_nested_choice_001 | Verify that sequence content with nested choice is correctly transformed | Clause 7.6.6.3 | m |
2 | Pos_07060603_sequence_with_nested_choice_001 | Verify that sequence content with nested choice is correctly transformed | Clause 7.6.6.3 | m |

## A.3.72 Sequence with nested sequence content

Table A.71: Sequence with nested sequence content

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_07060604_sequence_with_nested_sequence_001 | Verify that sequence content with sequence is correctly transformed | Clause 7.6.6.4 | m |
2 | Pos_07060604_sequence_with_nested_sequence_002 | Verify that sequence content with various nested particles is correctly transformed | Clause 7.6.6.4 | m |
3 | Pos_07060604_sequence_with_nested_sequence_001 | Verify that sequence content with sequence is correctly transformed | Clause 7.6.6.4 | m |
4 | Pos_07060604_sequence_with_nested_sequence_002 | Verify that sequence content with various nested particles is correctly transformed | Clause 7.6.6.4 | m |

## A.3.73 Sequence with nested any content

Table A.72: Sequence with nested any content

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_07060605_sequence_with_nested_any_content_001 | Verify that sequence content with nested any content is correctly transformed | Clause 7.6.6.5 | m |
2 | Pos_07060605_sequence_with_nested_any_content_001 | Verify that sequence content with nested any content is correctly transformed | Clause 7.6.6.5 | m |

## A.3.74 Effect of the minOccurs and maxOccurs attributes on the mapping

Table A.73: Effect of the minOccurs and maxOccurs attributes on the mapping

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_07060606_effect_of_minoccurs_and_maxoccurs_001 | Verify that sequences with minOccurs=0 are correctly converted to optional fields | Clause 7.6.6.6 | m |
2 | Pos_07060606_effect_of_minoccurs_and_maxoccurs_002 | Verify that nested sequences are correctly converted to optional fields | Clause 7.6.6.6 | m |
3 | Pos_07060606_effect_of_minoccurs_and_maxoccurs_003 | Verify that sequences with minOccurs=unbounded are correctly converted to record of fields | Clause 7.6.6.6 | m |
4 | Pos_07060606_effect_of_minoccurs_and_maxoccurs_004 | Verify that nested sequences are correctly converted to record of fields | Clause 7.6.6.6 | m |
5 | Pos_07060606_effect_of_minoccurs_and_maxoccurs_001 | Verify that sequences with minOccurs=0 are correctly converted to optional fields | Clause 7.6.6.6 | m |
6 | Pos_07060606_effect_of_minoccurs_and_maxoccurs_002 | Verify that nested sequences are correctly converted to optional fields | Clause 7.6.6.6 | m |
7 | Pos_07060606_effect_of_minoccurs_and_maxoccurs_003 | Verify that sequences with minOccurs=unbounded are correctly converted to record of fields | Clause 7.6.6.6 | m |
8 | Pos_07060606_effect_of_minoccurs_and_maxoccurs_004 | Verify that nested sequences are correctly converted to record of fields | Clause 7.6.6.6 | m |

## A.3.75 Attribute definitions, attribute and attributeGroup references

Table A.74: Attribute definitions, attribute and attributeGroup references

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_070607_attribute_definitions_attribute_and_attributegroup_references_001 | Verify referencing an attributeGroup in a complexType | Clause 7.6.7 | m |
2 | Pos_070607_attribute_definitions_attribute_and_attributegroup_references_002 | Verify mapping of a local attributes, attribute references and attribute group references without a target namespace | Clause 7.6.7 | m |
3 | Pos_070607_attribute_definitions_attribute_and_attributegroup_references_003 | Verify mapping of a local attributes, attribute references and attribute group references with a target namespace | Clause 7.6.7 | m |

## A.3.76 Mixed content

Table A.75: Mixed content

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_070608_mixed_content_001 | Verify transformation of complex type with sequence constructor and mixed content type | Clause 7.6.8 | m |
2 | Pos_070608_mixed_content_002 | Verify transformation of omplex type definition with sequence constructor of multiple occurrences and mixed content type | Clause 7.6.8 | m |
3 | Pos_070608_mixed_content_003 | Verify transformation of complex type definition with all constructor and mixed content type | Clause 7.6.8 | m |
4 | Pos_070608_mixed_content_004 | Verify transformation of complex type definition with all constructor, optional elements and mixed content type | Clause 7.6.8 | m |
5 | Pos_070608_mixed_content_005 | Verify transformation of complex type definition with all constructor, optional elements and mixed content type | Clause 7.6.8 | m |

## A.3.77 The any element

Table A.76: The any element

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_070701_the_any_element_001 | Verify conversion of the any element without namespace attribute | Clause 7.7.1 | m |
2 | Pos_070701_the_any_element_002 | Verify conversion of the any element with ##any namespace | Clause 7.7.1 | m |
3 | Pos_070701_the_any_element_003 | Verify conversion of the any element with ##local namespace | Clause 7.7.1 | m |
4 | Pos_070701_the_any_element_004 | Verify conversion of the any element with ##other namespace | Clause 7.7.1 | m |
5 | Pos_070701_the_any_element_005 | Verify conversion of the any element with ##targetNamespace namespace | Clause 7.7.1 | m |
6 | Pos_070701_the_any_element_006 | Verify conversion of the any element with URL as namespace into record of | Clause 7.7.1 | m |

## A.3.78 The anyAttribute element

Table A.77: The anyAttribute element

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_070702_the_anyattribute_element_001 | Verify conversion of anyAttribute element | Clause 7.7.2 | m |
2 | Pos_070702_the_anyattribute_element_002 | Verify that anyAttribute is converted into optional field | Clause 7.7.2 | m |
3 | Pos_070702_the_anyattribute_element_003 | Verify that the naming rules apply to converted anyAttribute field | Clause 7.7.2 | m |
4 | Pos_070702_the_anyattribute_element_004 | Verify that conversion of anyAttribute present both in extended type and extension base | Clause 7.7.2 | m |
5 | Pos_070702_the_anyattribute_element_005 | Verify that converted anyAttribute field is in correct place | Clause 7.7.2 | m |

## A.3.79 Annotation

Table A.78: Annotation

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_0708_annotation_001 | Verify that XSD annotation can be processed | Clause 7.8 | m |

## A.3.80 Group components

Table A.79: Group components

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_0709_group_components_001 | Verify conversion of group definition with sequence compositor | Clause 7.9 | m |
2 | Pos_0709_group_components_002 | Verify transformation of group definition with sequence compositor | Clause 7.9 | m |
3 | Pos_0709_group_components_003 | Verify conversion of group definition with all compositor | Clause 7.9 | m |

## A.3.81 Identity-constraint definition schema components

Table A.80: Identity-constraint definition schema components

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_0710_identity_constraint_definition_schema_components_001 | Verify that unique elements (and nested selector and field) are ignored during conversion | Clause 7.10 | m |
2 | Pos_0710_identity_constraint_definition_schema_components_002 | Verify that key elements (and nested selector and field) are ignored during conversion | Clause 7.10 | m |
3 | Pos_0710_identity_constraint_definition_schema_components_003 | Verify that keyRef elements (and nested selector and field) are ignored during conversion | Clause 7.10 | m |
4 | Pos_0710_identity_constraint_definition_schema_components_001 | Verify that unique elements (and nested selector and field) are ignored during conversion | Clause 7.10 | m |
5 | Pos_0710_identity_constraint_definition_schema_components_002 | Verify that key elements (and nested selector and field) are ignored during conversion | Clause 7.10 | m |
6 | Pos_0710_identity_constraint_definition_schema_components_003 | Verify that keyRef elements (and nested selector and field) are ignored during conversion | Clause 7.10 | m |

## A.3.82 Head elements of substitution groups

Table A.81: Head elements of substitution groups

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Pos_080101_head_elements_of_substitution_groups_001 | Generic substitution group example | Clause 8.1.1 | m |
2 | Pos_080101_head_elements_of_substitution_groups_002 | Show effect of the block and abstract attributes on element substitution | Clause 8.1.1 | m |
3 | Pos_080101_head_elements_of_substitution_groups_003 | Blocking substitution | Clause 8.1.1 | m |

## A.3.83 Annex A (normative): TTCN-3 module XSD

Table A.82: Annex A (normative): TTCN-3 module XSD

Item | TC/TP reference | purpose | Reference in ES 201 873-1 | Status | Support
1 | Neg_A_ttcn3_module_xsd_001 | Ensure the builtin XSD type AnySimpleType allows only valid values | Clause A | m |
2 | Neg_A_ttcn3_module_xsd_002 | Ensure the builtin XSD type AnyType allows only valid values | Clause A | m |
3 | Neg_A_ttcn3_module_xsd_003 | Ensure the builtin XSD type String allows only valid values | Clause A | m |
4 | Neg_A_ttcn3_module_xsd_004 | Ensure the builtin XSD type NormalizedString allows only valid values | Clause A | m |
5 | Neg_A_ttcn3_module_xsd_005 | Ensure the builtin XSD type Token allows only valid values | Clause A | m |
6 | Neg_A_ttcn3_module_xsd_006 | Ensure the builtin XSD type Name allows only valid values | Clause A | m |
7 | Neg_A_ttcn3_module_xsd_007 | Ensure the builtin XSD type NMTOKEN allows only valid values | Clause A | m |
8 | Neg_A_ttcn3_module_xsd_008 | Ensure the builtin XSD type NCName allows only valid values | Clause A | m |
9 | Neg_A_ttcn3_module_xsd_009 | Ensure the builtin XSD type ID allows only valid values | Clause A | m |
10 | Neg_A_ttcn3_module_xsd_010 | Ensure the builtin XSD type IDREF allows only valid values | Clause A | m |
11 | Neg_A_ttcn3_module_xsd_011 | Ensure the builtin XSD type ENTITY allows only valid values | Clause A | m |
12 | Neg_A_ttcn3_module_xsd_012 | Ensure the builtin XSD type HexBinary allows only valid values | Clause A | m |
13 | Neg_A_ttcn3_module_xsd_013 | Ensure the builtin XSD type Base64Binary allows only valid values | Clause A | m |
14 | Neg_A_ttcn3_module_xsd_014 | Ensure the builtin XSD type AnyURI allows only valid values | Clause A | m |
15 | Neg_A_ttcn3_module_xsd_015 | Ensure the builtin XSD type Language allows only valid values | Clause A | m |
16 | Neg_A_ttcn3_module_xsd_016 | Ensure the builtin XSD type Integer allows only valid values | Clause A | m |
17 | Neg_A_ttcn3_module_xsd_017 | Ensure the builtin XSD type PositiveInteger allows only valid values | Clause A | m |
18 | Neg_A_ttcn3_module_xsd_018 | Ensure the builtin XSD type NonPositiveInteger allows only valid values | Clause A | m |
19 | Neg_A_ttcn3_module_xsd_019 | Ensure the builtin XSD type NegativeInteger allows only valid values | Clause A | m |
20 | Neg_A_ttcn3_module_xsd_020 | Ensure the builtin XSD type NonNegativeInteger allows only valid values | Clause A | m |
21 | Neg_A_ttcn3_module_xsd_021 | Ensure the builtin XSD type Long allows only valid values | Clause A | m |
22 | Neg_A_ttcn3_module_xsd_022 | Ensure the builtin XSD type UnsignedLong allows only valid values | Clause A | m |
23 | Neg_A_ttcn3_module_xsd_023 | Ensure the builtin XSD type Int allows only valid values | Clause A | m |
24 | Neg_A_ttcn3_module_xsd_024 | Ensure the builtin XSD type UnsignedInt allows only valid values | Clause A | m |
25 | Neg_A_ttcn3_module_xsd_025 | Ensure the builtin XSD type Short allows only valid values | Clause A | m |
26 | Neg_A_ttcn3_module_xsd_026 | Ensure the builtin XSD type UnsignedShort allows only valid values | Clause A | m |
27 | Neg_A_ttcn3_module_xsd_027 | Ensure the builtin XSD type Byte allows only valid values | Clause A | m |
28 | Neg_A_ttcn3_module_xsd_028 | Ensure the builtin XSD type UnsignedByte allows only valid values | Clause A | m |
29 | Neg_A_ttcn3_module_xsd_029 | Ensure the builtin XSD type Decimal allows only valid values | Clause A | m |
30 | Neg_A_ttcn3_module_xsd_030 | Ensure the builtin XSD type Float allows only valid values | Clause A | m |
31 | Neg_A_ttcn3_module_xsd_031 | Ensure the builtin XSD type Double allows only valid values | Clause A | m |
32 | Neg_A_ttcn3_module_xsd_032 | Ensure the builtin XSD type Duration allows only valid values | Clause A | m |
33 | Neg_A_ttcn3_module_xsd_033 | Ensure the builtin XSD type DateTime allows only valid values | Clause A | m |
34 | Neg_A_ttcn3_module_xsd_034 | Ensure the builtin XSD type Time allows only valid values | Clause A | m |
35 | Neg_A_ttcn3_module_xsd_035 | Ensure the builtin XSD type Date allows only valid values | Clause A | m |
36 | Neg_A_ttcn3_module_xsd_036 | Ensure the builtin XSD type GYearMonth allows only valid values | Clause A | m |
37 | Neg_A_ttcn3_module_xsd_037 | Ensure the builtin XSD type GYear allows only valid values | Clause A | m |
38 | Neg_A_ttcn3_module_xsd_038 | Ensure the builtin XSD type GMonthDay allows only valid values | Clause A | m |
39 | Neg_A_ttcn3_module_xsd_039 | Ensure the builtin XSD type GDay allows only valid values | Clause A | m |
40 | Neg_A_ttcn3_module_xsd_040 | Ensure the builtin XSD type GMonth allows only valid values | Clause A | m |
41 | Neg_A_ttcn3_module_xsd_041 | Ensure the builtin XSD type NMTOKENS allows only valid values | Clause A | m |
42 | Neg_A_ttcn3_module_xsd_042 | Ensure the builtin XSD type IDREFS allows only valid values | Clause A | m |
43 | Neg_A_ttcn3_module_xsd_043 | Ensure the builtin XSD type ENTITIES allows only valid values | Clause A | m |
44 | Neg_A_ttcn3_module_xsd_044 | Ensure the builtin XSD type QName allows only valid values | Clause A | m |
45 | Neg_A_ttcn3_module_xsd_045 | Ensure the builtin XSD type Boolean allows only valid values | Clause A | m |
46 | Neg_A_ttcn3_module_xsd_046 | Ensure the builtin XSD type XMLCompatibleString allows only valid values | Clause A | m |
47 | Neg_A_ttcn3_module_xsd_047 | Ensure the builtin XSD type XMLStringWithNoWhitespace allows only valid values | Clause A | m |
48 | Neg_A_ttcn3_module_xsd_048 | Ensure the builtin XSD type XMLStringWithNoCRLFHT allows only valid values | Clause A | m |
49 | Pos_A_ttcn3_module_xsd_001 | Ensure the module XSD is available and contains the builtin XSD type AnySimpleType | Clause A | m |
50 | Pos_A_ttcn3_module_xsd_002 | Ensure the module XSD is available and contains the builtin XSD type AnyType | Clause A | m |
51 | Pos_A_ttcn3_module_xsd_003 | Ensure the module XSD is available and contains the builtin XSD type String | Clause A | m |
52 | Pos_A_ttcn3_module_xsd_004 | Ensure the module XSD is available and contains the builtin XSD type NormalizedString | Clause A | m |
53 | Pos_A_ttcn3_module_xsd_005 | Ensure the module XSD is available and contains the builtin XSD type Token | Clause A | m |
54 | Pos_A_ttcn3_module_xsd_006 | Ensure the module XSD is available and contains the builtin XSD type Name | Clause A | m |
55 | Pos_A_ttcn3_module_xsd_007 | Ensure the module XSD is available and contains the builtin XSD type NMTOKEN | Clause A | m |
56 | Pos_A_ttcn3_module_xsd_008 | Ensure the module XSD is available and contains the builtin XSD type NCName | Clause A | m |
57 | Pos_A_ttcn3_module_xsd_009 | Ensure the module XSD is available and contains the builtin XSD type ID | Clause A | m |
58 | Pos_A_ttcn3_module_xsd_010 | Ensure the module XSD is available and contains the builtin XSD type IDREF | Clause A | m |
59 | Pos_A_ttcn3_module_xsd_011 | Ensure the module XSD is available and contains the builtin XSD type ENTITY | Clause A | m |
60 | Pos_A_ttcn3_module_xsd_012 | Ensure the module XSD is available and contains the builtin XSD type HexBinary | Clause A | m |
61 | Pos_A_ttcn3_module_xsd_013 | Ensure the module XSD is available and contains the builtin XSD type Base64Binary | Clause A | m |
62 | Pos_A_ttcn3_module_xsd_014 | Ensure the module XSD is available and contains the builtin XSD type AnyURI | Clause A | m |
63 | Pos_A_ttcn3_module_xsd_015 | Ensure the module XSD is available and contains the builtin XSD type Language | Clause A | m |
64 | Pos_A_ttcn3_module_xsd_016 | Ensure the module XSD is available and contains the builtin XSD type Integer | Clause A | m |
65 | Pos_A_ttcn3_module_xsd_017 | Ensure the module XSD is available and contains the builtin XSD type PositiveInteger | Clause A | m |
66 | Pos_A_ttcn3_module_xsd_018 | Ensure the module XSD is available and contains the builtin XSD type NonPositiveInteger | Clause A | m |
67 | Pos_A_ttcn3_module_xsd_019 | Ensure the module XSD is available and contains the builtin XSD type NegativeInteger | Clause A | m |
68 | Pos_A_ttcn3_module_xsd_020 | Ensure the module XSD is available and contains the builtin XSD type NonNegativeInteger | Clause A | m |
69 | Pos_A_ttcn3_module_xsd_021 | Ensure the module XSD is available and contains the builtin XSD type Long | Clause A | m |
70 | Pos_A_ttcn3_module_xsd_022 | Ensure the module XSD is available and contains the builtin XSD type UnsignedLong | Clause A | m |
71 | Pos_A_ttcn3_module_xsd_023 | Ensure the module XSD is available and contains the builtin XSD type Int | Clause A | m |
72 | Pos_A_ttcn3_module_xsd_024 | Ensure the module XSD is available and contains the builtin XSD type UnsignedInt | Clause A | m |
73 | Pos_A_ttcn3_module_xsd_025 | Ensure the module XSD is available and contains the builtin XSD type Short | Clause A | m |
74 | Pos_A_ttcn3_module_xsd_026 | Ensure the module XSD is available and contains the builtin XSD type UnsignedShort | Clause A | m |
75 | Pos_A_ttcn3_module_xsd_027 | Ensure the module XSD is available and contains the builtin XSD type Byte | Clause A | m |
76 | Pos_A_ttcn3_module_xsd_028 | Ensure the module XSD is available and contains the builtin XSD type UnsignedByte | Clause A | m |
77 | Pos_A_ttcn3_module_xsd_029 | Ensure the module XSD is available and contains the builtin XSD type Decimal | Clause A | m |
78 | Pos_A_ttcn3_module_xsd_030 | Ensure the module XSD is available and contains the builtin XSD type Float | Clause A | m |
79 | Pos_A_ttcn3_module_xsd_031 | Ensure the module XSD is available and contains the builtin XSD type Double | Clause A | m |
80 | Pos_A_ttcn3_module_xsd_032 | Ensure the module XSD is available and contains the builtin XSD type Duration | Clause A | m |
81 | Pos_A_ttcn3_module_xsd_033 | Ensure the module XSD is available and contains the builtin XSD type DateTime | Clause A | m |
82 | Pos_A_ttcn3_module_xsd_034 | Ensure the module XSD is available and contains the builtin XSD type Time | Clause A | m |
83 | Pos_A_ttcn3_module_xsd_035 | Ensure the module XSD is available and contains the builtin XSD type Date | Clause A | m |
84 | Pos_A_ttcn3_module_xsd_036 | Ensure the module XSD is available and contains the builtin XSD type GYearMonth | Clause A | m |
85 | Pos_A_ttcn3_module_xsd_037 | Ensure the module XSD is available and contains the builtin XSD type GYear | Clause A | m |
86 | Pos_A_ttcn3_module_xsd_038 | Ensure the module XSD is available and contains the builtin XSD type GMonthDay | Clause A | m |
87 | Pos_A_ttcn3_module_xsd_039 | Ensure the module XSD is available and contains the builtin XSD type GDay | Clause A | m |
88 | Pos_A_ttcn3_module_xsd_040 | Ensure the module XSD is available and contains the builtin XSD type GMonth | Clause A | m |
89 | Pos_A_ttcn3_module_xsd_041 | Ensure the module XSD is available and contains the builtin XSD type NMTOKENS | Clause A | m |
90 | Pos_A_ttcn3_module_xsd_042 | Ensure the module XSD is available and contains the builtin XSD type IDREFS | Clause A | m |
91 | Pos_A_ttcn3_module_xsd_043 | Ensure the module XSD is available and contains the builtin XSD type ENTITIES | Clause A | m |
92 | Pos_A_ttcn3_module_xsd_044 | Ensure the module XSD is available and contains the builtin XSD type QName | Clause A | m |
93 | Pos_A_ttcn3_module_xsd_045 | Ensure the module XSD is available and contains the builtin XSD type Boolean | Clause A | m |
94 | Pos_A_ttcn3_module_xsd_046 | Ensure the module XSD is available and contains the builtin XSD type XMLCompatibleString | Clause A | m |
95 | Pos_A_ttcn3_module_xsd_047 | Ensure the module XSD is available and contains the builtin XSD type XMLStringWithNoWhitespace | Clause A | m |
96 | Pos_A_ttcn3_module_xsd_048 | Ensure the module XSD is available and contains the builtin XSD type XMLStringWithNoCRLFHT | Clause A | m |