## A.2.1 Mapping XML Schemas

Test Purpose Id | TP_Neg_05_top_level_001
Reference | ES 201 873-9 [1], Clause 5
ICS | None
Dependencies | None
Summary | Verify that error is generated for missing XSD language tag in import clause
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

## A.2.2 Namespaces

Test Purpose Id | TP_Pos_050101_namespaces_001
Reference | ES 201 873-9 [1], Clause 5.1.1
ICS | None
Dependencies | None
Summary | Verify that schema with target namespace is correctly translated into single module
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050101_namespaces_002
Reference | ES 201 873-9 [1], Clause 5.1.1
ICS | None
Dependencies | None
Summary | Verify schema with no target namespace is correctly translated into single module
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050101_namespaces_003
Reference | ES 201 873-9 [1], Clause 5.1.1
ICS | None
Dependencies | None
Summary | Verify that two schemas with the same target namespace are correctly translated
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050101_namespaces_004
Reference | ES 201 873-9 [1], Clause 5.1.1
ICS | None
Dependencies | None
Summary | Verify that two schemas with no target namespace are correctly translated
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.3 Includes

Test Purpose Id | TP_Pos_050102_includes_001
Reference | ES 201 873-9 [1], Clause 5.1.2
ICS | None
Dependencies | None
Summary | Test inclusion of a schema with the same namespace
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050102_includes_002
Reference | ES 201 873-9 [1], Clause 5.1.2
ICS | None
Dependencies | None
Summary | Verify that included schema with no target namespace is transformed twice (inclusion)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050102_includes_003
Reference | ES 201 873-9 [1], Clause 5.1.2
ICS | None
Dependencies | None
Summary | Verify that included schema with no target namespace is transformed twice (no namespace)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.4 Imports

Test Purpose Id | TP_Pos_050103_imports_001
Reference | ES 201 873-9 [1], Clause 5.1.3
ICS | None
Dependencies | None
Summary | Verify that XSD import statement is handled correctly
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Neg_050103_imports_001
Reference | ES 201 873-9 [1], Clause 5.1.3
ICS | None
Dependencies | None
Summary | Verify that it is not allowed to import imports from XSD schemas
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

## A.2.5 Attributes of the XSD schema element

Test Purpose Id | TP_Pos_050104_attributes_of_the_xsd_schema_element_001
Reference | ES 201 873-9 [1], Clause 5.1.4
ICS | None
Dependencies | None
Summary | Verify that qualified default element form is correctly processed (no namespace prefix)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050104_attributes_of_the_xsd_schema_element_002
Reference | ES 201 873-9 [1], Clause 5.1.4
ICS | None
Dependencies | None
Summary | Verify that qualified default element form is correctly processed (namespace prefix used)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050104_attributes_of_the_xsd_schema_element_003
Reference | ES 201 873-9 [1], Clause 5.1.4
ICS | None
Dependencies | None
Summary | Verify that unqualified default element form is correctly processed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050104_attributes_of_the_xsd_schema_element_004
Reference | ES 201 873-9 [1], Clause 5.1.4
ICS | None
Dependencies | None
Summary | Verify that qualified default attribute form is correctly processed (no namespace prefix)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050104_attributes_of_the_xsd_schema_element_005
Reference | ES 201 873-9 [1], Clause 5.1.4
ICS | None
Dependencies | None
Summary | Verify that qualified default attribute form is correctly processed (namespace prefix used)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050104_attributes_of_the_xsd_schema_element_006
Reference | ES 201 873-9 [1], Clause 5.1.4
ICS | None
Dependencies | None
Summary | Verify that unqualified default attribute form is correctly processed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.6 Name conversion rules

Test Purpose Id | TP_Pos_050202_name_conversion_rules_001
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | Verify conversion of symbols into U+005f (low line)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050202_name_conversion_rules_002
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | Verify that non-ASCI letters are not present in transforming identifiers
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050202_name_conversion_rules_003
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | TODO: add description
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050202_name_conversion_rules_004
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | Verify that leading and trailing low lines are removed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050202_name_conversion_rules_005
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | Verify that type names are capitalized
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050202_name_conversion_rules_006
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | Verify that prefixing type names with "X" works correctly
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050202_name_conversion_rules_007
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | Verify that names of field of structure types are uncapitalized
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050202_name_conversion_rules_008
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | Verify that names of enumerated items are uncapitalized
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050202_name_conversion_rules_009
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | Verify that prefixing field names of structured types with "x" works correctly
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050202_name_conversion_rules_010
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | Verify that prefixing enumerated items with "x" works correctly
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050202_name_conversion_rules_011
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | Check transformation of empty type identifier into "X"
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050202_name_conversion_rules_012
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | Check transformation of empty structured field identifier into "x"
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050202_name_conversion_rules_013
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | Check transformation of empty enumerated value into "x"
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050202_name_conversion_rules_014
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | Verify that additional suffices are attached in case of name clashes between types
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050202_name_conversion_rules_015
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | Verify that suffix is attached in case of name clash between types and local module
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050202_name_conversion_rules_016
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | Verify that suffix is attached in case of name clash between types and imported module
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050202_name_conversion_rules_017
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | Verify that suffix is attached in case of name clash between field names
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050202_name_conversion_rules_018
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | Verify that suffix is attached in case of name clash between field name and keyword
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050202_name_conversion_rules_019
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | Verify that suffix is attached in case of name clash between field name and predefined function
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050202_name_conversion_rules_020
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | Verify that suffix is attached in case of name clash between enumerated items
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050202_name_conversion_rules_021
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | Verify that suffix is attached in case of name clash between enumerated item and keyword
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050202_name_conversion_rules_022
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | Verify that suffix is attached in case of name clash between enumerated item and predefined function
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050202_name_conversion_rules_023
Reference | ES 201 873-9 [1], Clause 5.2.2
ICS | None
Dependencies | None
Summary | Verify that name clash between module names is resolved using suffix
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.7 Order of the mapping

Test Purpose Id | TP_Pos_050203_order_of_the_mapping_001
Reference | ES 201 873-9 [1], Clause 5.2.3
ICS | None
Dependencies | None
Summary | Verify order of top-level schema components
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050203_order_of_the_mapping_002
Reference | ES 201 873-9 [1], Clause 5.2.3
ICS | None
Dependencies | None
Summary | Verify that alphabetical sorting is based on character ordinal numbers
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050203_order_of_the_mapping_003
Reference | ES 201 873-9 [1], Clause 5.2.3
ICS | None
Dependencies | None
Summary | Verify that alphabetical sorting is done only inside sets of items
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050203_order_of_the_mapping_004
Reference | ES 201 873-9 [1], Clause 5.2.3
ICS | None
Dependencies | None
Summary | Asure that namespaces are ordered lexically
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_050203_order_of_the_mapping_005
Reference | ES 201 873-9 [1], Clause 5.2.3
ICS | None
Dependencies | None
Summary | Asure that namespaces are ordered lexically
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.8 Built-in data types

Test Purpose Id | TP_Pos_06_top_level_001
Reference | ES 201 873-9 [1], Clause 6
ICS | None
Dependencies | None
Summary | Verify conversion of simpleType based on built-in XSD type
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.9 Length

Test Purpose Id | TP_Pos_060101_length_001
Reference | ES 201 873-9 [1], Clause 6.1.1
ICS | None
Dependencies | None
Summary | Verify that a length-restricted XSD type shall be mapped to a corresponding length restricted TTCN 3 type.
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060101_length_002
Reference | ES 201 873-9 [1], Clause 6.1.1
ICS | None
Dependencies | None
Summary | Verify that a length-restricted XSD type shall be mapped to a corresponding length restricted TTCN 3 type.
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Neg_060101_length_001
Reference | ES 201 873-9 [1], Clause 6.1.1
ICS | None
Dependencies | None
Summary | Verify that a length-restricted XSD type shall be mapped to a corresponding length restricted TTCN 3 type.
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

## A.2.10 Enumeration

Test Purpose Id | TP_Pos_060105_enumeration_001
Reference | ES 201 873-9 [1], Clause 6.1.5
ICS | None
Dependencies | None
Summary | Verify mapping of simple type definition that is a restriction of
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060105_enumeration_002
Reference | ES 201 873-9 [1], Clause 6.1.5
ICS | None
Dependencies | None
Summary | Verify mapping of simple type definition that is a restriction of
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060105_enumeration_003
Reference | ES 201 873-9 [1], Clause 6.1.5
ICS | None
Dependencies | None
Summary | Verify mapping of simple type definition that is a restriction of
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060105_enumeration_004
Reference | ES 201 873-9 [1], Clause 6.1.5
ICS | None
Dependencies | None
Summary | Verify mapping of simple type definition that is a restriction of
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060105_enumeration_005
Reference | ES 201 873-9 [1], Clause 6.1.5
ICS | None
Dependencies | None
Summary | Verify mapping of simple type definition that is a restriction of another
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Neg_060105_enumeration_001
Reference | ES 201 873-9 [1], Clause 6.1.5
ICS | None
Dependencies | None
Summary | Verify if tool rejects validation in case of restricted value due xsd type declaration.
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_060105_enumeration_002
Reference | ES 201 873-9 [1], Clause 6.1.5
ICS | None
Dependencies | None
Summary | Verify if tool rejects validation in case of restricted enumerated value length due xsd type declaration.
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_060105_enumeration_003
Reference | ES 201 873-9 [1], Clause 6.1.5
ICS | None
Dependencies | None
Summary | Verify if tool rejects validation in case of restricted value due xsd type declaration.
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

## A.2.11 MinInclusive

Test Purpose Id | TP_Pos_060107_mininclusive_001
Reference | ES 201 873-9 [1], Clause 6.1.7
ICS | None
Dependencies | None
Summary | Verify mapping of an integer element with a minInclusive facet
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060107_mininclusive_002
Reference | ES 201 873-9 [1], Clause 6.1.7
ICS | None
Dependencies | None
Summary | Verify mapping of a float element with a numeric minInclusive value
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060107_mininclusive_003
Reference | ES 201 873-9 [1], Clause 6.1.7
ICS | None
Dependencies | None
Summary | Verify mapping of a float element with special minInclusive values
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060107_mininclusive_004
Reference | ES 201 873-9 [1], Clause 6.1.7
ICS | None
Dependencies | None
Summary | Verify mapping of a float element with special minInclusive values
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060107_mininclusive_005
Reference | ES 201 873-9 [1], Clause 6.1.7
ICS | None
Dependencies | None
Summary | Verify mapping of a float element with special minInclusive values
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.12 MaxInclusive

Test Purpose Id | TP_Pos_060108_maxinclusive_001
Reference | ES 201 873-9 [1], Clause 6.1.8
ICS | None
Dependencies | None
Summary | Verify mapping of elements of type integer with maxInclusive facet
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060108_maxinclusive_002
Reference | ES 201 873-9 [1], Clause 6.1.8
ICS | None
Dependencies | None
Summary | Verify mapping of a float type with a numeric maxInclusive facet
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060108_maxinclusive_003
Reference | ES 201 873-9 [1], Clause 6.1.8
ICS | None
Dependencies | None
Summary | Verify mapping of a float type with a numeric maxInclusive facet
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060108_maxinclusive_004
Reference | ES 201 873-9 [1], Clause 6.1.8
ICS | None
Dependencies | None
Summary | Verify mapping of a float type with a numeric maxInclusive facet
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.13 MinExclusive

Test Purpose Id | TP_Pos_060109_minexclusive_001
Reference | ES 201 873-9 [1], Clause 6.1.9
ICS | None
Dependencies | None
Summary | Verify if tool accepts values restricted by xsd type declaration.
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060109_minexclusive_002
Reference | ES 201 873-9 [1], Clause 6.1.9
ICS | None
Dependencies | None
Summary | Verify if tool accepts values restricted by xsd type declaration.
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Neg_060109_minexclusive_001
Reference | ES 201 873-9 [1], Clause 6.1.9
ICS | None
Dependencies | None
Summary | Verify if tool rejects validation in case of restricted value due xsd type declaration.
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_060109_minexclusive_002
Reference | ES 201 873-9 [1], Clause 6.1.9
ICS | None
Dependencies | None
Summary | Verify if tool rejects validation in case of restricted value due xsd type declaration.
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

## A.2.14 MaxExclusive

Test Purpose Id | TP_Pos_060110_maxexclusive_001
Reference | ES 201 873-9 [1], Clause 6.1.10
ICS | None
Dependencies | None
Summary | Verify mapping of a maxExclusive facet applied to a type, which is derivative of integer
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060110_maxexclusive_002
Reference | ES 201 873-9 [1], Clause 6.1.10
ICS | None
Dependencies | None
Summary | Verify mapping of a maxExclusive facet applied to the float type
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060110_maxexclusive_003
Reference | ES 201 873-9 [1], Clause 6.1.10
ICS | None
Dependencies | None
Summary | Verify mapping of a maxExclusive facet applied to the float type
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Neg_060110_maxexclusive_001
Reference | ES 201 873-9 [1], Clause 6.1.10
ICS | None
Dependencies | None
Summary | Verify that INF (negative infinity) or NaN (not-a-number), this type shall not be translated to TTCN-3
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

## A.2.15 Total digits

Test Purpose Id | TP_Pos_060111_total_digits_001
Reference | ES 201 873-9 [1], Clause 6.1.11
ICS | None
Dependencies | None
Summary | Check that totalDigits are converted to value boundaries
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060111_total_digits_002
Reference | ES 201 873-9 [1], Clause 6.1.11
ICS | None
Dependencies | None
Summary | Check that totalDigits are converted to value boundaries
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060111_total_digits_003
Reference | ES 201 873-9 [1], Clause 6.1.11
ICS | None
Dependencies | None
Summary | Check that totalDigits are converted to value boundaries
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060111_total_digits_004
Reference | ES 201 873-9 [1], Clause 6.1.11
ICS | None
Dependencies | None
Summary | Check that totalDigits are converted to value boundaries
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060111_total_digits_005
Reference | ES 201 873-9 [1], Clause 6.1.11
ICS | None
Dependencies | None
Summary | Check that totalDigits are converted to value boundaries
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Neg_060111_total_digits_001
Reference | ES 201 873-9 [1], Clause 6.1.11
ICS | None
Dependencies | None
Summary | Check that totalDigits are converted to value boundaries
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_060111_total_digits_002
Reference | ES 201 873-9 [1], Clause 6.1.11
ICS | None
Dependencies | None
Summary | Check that totalDigits are converted to value boundaries
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_060111_total_digits_003
Reference | ES 201 873-9 [1], Clause 6.1.11
ICS | None
Dependencies | None
Summary | Check that totalDigits are converted to value boundaries
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_060111_total_digits_004
Reference | ES 201 873-9 [1], Clause 6.1.11
ICS | None
Dependencies | None
Summary | Check that totalDigits are converted to value boundaries
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

## A.2.16 Fraction digits

Test Purpose Id | TP_Pos_060112_fraction_digits_001
Reference | ES 201 873-9 [1], Clause 6.1.12
ICS | None
Dependencies | None
Summary | TODO write purpose
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060112_fraction_digits_002
Reference | ES 201 873-9 [1], Clause 6.1.12
ICS | None
Dependencies | None
Summary | TODO write purpose
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.17 Not specifically mapped facets

Test Purpose Id | TP_Pos_060113_not_mapped_001
Reference | ES 201 873-9 [1], Clause 6.1.13
ICS | None
Dependencies | None
Summary | Handle not mapped facets to transparent
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.18 String

Test Purpose Id | TP_Pos_060201_string_001
Reference | ES 201 873-9 [1], Clause 6.2.1
ICS | None
Dependencies | None
Summary | Verify mapping of a string type
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.19 Name

Test Purpose Id | TP_Pos_060204_name_001
Reference | ES 201 873-9 [1], Clause 6.2.4
ICS | None
Dependencies | None
Summary | Verify mapping of a Name type
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.20 Any URI

Test Purpose Id | TP_Pos_060212_any_uri_001
Reference | ES 201 873-9 [1], Clause 6.2.12
ICS | None
Dependencies | None
Summary | Verify mapping of an anyURI type
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Neg_060212_any_uri_001
Reference | ES 201 873-9 [1], Clause 6.2.12
ICS | None
Dependencies | None
Summary | Verify mapping of an anyURI type
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_060212_any_uri_002
Reference | ES 201 873-9 [1], Clause 6.2.12
ICS | None
Dependencies | None
Summary | Verify mapping of an anyURI type
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

## A.2.21 Integer

Test Purpose Id | TP_Pos_060301_integer_001
Reference | ES 201 873-9 [1], Clause 6.3.1
ICS | None
Dependencies | None
Summary | Verify that the integer type shall be translated to TTCN-3 as a plain integer
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.22 Positive integer

Test Purpose Id | TP_Pos_060302_positive_integer_001
Reference | ES 201 873-9 [1], Clause 6.3.2
ICS | None
Dependencies | None
Summary | Verify that the integer type shall be translated to TTCN-3 as the range-restricted integer
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.23 Non-positive integer

Test Purpose Id | TP_Pos_060303_non_positive_integer_001
Reference | ES 201 873-9 [1], Clause 6.3.3
ICS | None
Dependencies | None
Summary | Verify that the non positive integer type shall be translated to TTCN-3 as the range-restricted integer
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.24 Negative integer

Test Purpose Id | TP_Pos_060304_negative_integer_001
Reference | ES 201 873-9 [1], Clause 6.3.4
ICS | None
Dependencies | None
Summary | Verify that the negative integer type shall be translated to TTCN-3 as the range-restricted integer
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.25 Non-negative integer

Test Purpose Id | TP_Pos_060305_non_negative_integer_001
Reference | ES 201 873-9 [1], Clause 6.3.5
ICS | None
Dependencies | None
Summary | Verify that the non negative integer type shall be translated to TTCN-3 as the range-restricted integer
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.26 Long

Test Purpose Id | TP_Pos_060306_long_001
Reference | ES 201 873-9 [1], Clause 6.3.6
ICS | None
Dependencies | None
Summary | Verify that long type (64bit) shall be translated to TTCN-3 as a plain long long
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.27 Unsigned long

Test Purpose Id | TP_Pos_060307_unsigned_long_001
Reference | ES 201 873-9 [1], Clause 6.3.7
ICS | None
Dependencies | None
Summary | Verify that unsigned long type (64bit) shall be translated to TTCN-3 as a plain unsigned long long
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.28 Int

Test Purpose Id | TP_Pos_060308_int_001
Reference | ES 201 873-9 [1], Clause 6.3.8
ICS | None
Dependencies | None
Summary | 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])
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.29 Unsigned int

Test Purpose Id | TP_Pos_060309_unsigned_int_001
Reference | ES 201 873-9 [1], Clause 6.3.9
ICS | None
Dependencies | None
Summary | 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]
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.30 Short

Test Purpose Id | TP_Pos_060310_short_001
Reference | ES 201 873-9 [1], Clause 6.3.10
ICS | None
Dependencies | None
Summary | 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]
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.31 Unsigned Short

Test Purpose Id | TP_Pos_060311_unsigned_short_001
Reference | ES 201 873-9 [1], Clause 6.3.11
ICS | None
Dependencies | None
Summary | 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]
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.32 Byte

Test Purpose Id | TP_Pos_060312_byte_001
Reference | ES 201 873-9 [1], Clause 6.3.12
ICS | None
Dependencies | None
Summary | 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]
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.33 Unsigned byte

Test Purpose Id | TP_Pos_060313_unsigned_byte_001
Reference | ES 201 873-9 [1], Clause 6.3.13
ICS | None
Dependencies | None
Summary | 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]
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.34 Decimal

Test Purpose Id | TP_Pos_060401_decimal_001
Reference | ES 201 873-9 [1], Clause 6.4.1
ICS | None
Dependencies | None
Summary | Verify that decimal type shall be translated to TTCN-3 as a plain float
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.35 Float

Test Purpose Id | TP_Pos_060402_float_001
Reference | ES 201 873-9 [1], Clause 6.4.2
ICS | None
Dependencies | None
Summary | Verify conversion of XSD float type
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.36 Double

Test Purpose Id | TP_Pos_060403_double_001
Reference | ES 201 873-9 [1], Clause 6.4.3
ICS | None
Dependencies | None
Summary | 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]:
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.37 Date and time

Test Purpose Id | TP_Pos_060502_date_and_time_001
Reference | ES 201 873-9 [1], Clause 6.5.2
ICS | None
Dependencies | None
Summary | Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060502_date_and_time_002
Reference | ES 201 873-9 [1], Clause 6.5.2
ICS | None
Dependencies | None
Summary | Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060502_date_and_time_003
Reference | ES 201 873-9 [1], Clause 6.5.2
ICS | None
Dependencies | None
Summary | Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060502_date_and_time_004
Reference | ES 201 873-9 [1], Clause 6.5.2
ICS | None
Dependencies | None
Summary | Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Neg_060502_date_and_time_001
Reference | ES 201 873-9 [1], Clause 6.5.2
ICS | None
Dependencies | None
Summary | Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_060502_date_and_time_002
Reference | ES 201 873-9 [1], Clause 6.5.2
ICS | None
Dependencies | None
Summary | Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_060502_date_and_time_003
Reference | ES 201 873-9 [1], Clause 6.5.2
ICS | None
Dependencies | None
Summary | Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_060502_date_and_time_004
Reference | ES 201 873-9 [1], Clause 6.5.2
ICS | None
Dependencies | None
Summary | Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

## A.2.38 Date

Test Purpose Id | TP_Pos_060504_date_001
Reference | ES 201 873-9 [1], Clause 6.5.4
ICS | None
Dependencies | None
Summary | Verify that the date type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060504_date_002
Reference | ES 201 873-9 [1], Clause 6.5.4
ICS | None
Dependencies | None
Summary | Verify that the date type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060504_date_003
Reference | ES 201 873-9 [1], Clause 6.5.4
ICS | None
Dependencies | None
Summary | Verify that the date type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060504_date_004
Reference | ES 201 873-9 [1], Clause 6.5.4
ICS | None
Dependencies | None
Summary | Verify that the date type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Neg_060504_date_001
Reference | ES 201 873-9 [1], Clause 6.5.4
ICS | None
Dependencies | None
Summary | Verify that the date type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_060504_date_002
Reference | ES 201 873-9 [1], Clause 6.5.4
ICS | None
Dependencies | None
Summary | Verify that the date type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_060504_date_003
Reference | ES 201 873-9 [1], Clause 6.5.4
ICS | None
Dependencies | None
Summary | Verify that the date type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_060504_date_004
Reference | ES 201 873-9 [1], Clause 6.5.4
ICS | None
Dependencies | None
Summary | Verify that the date type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

## A.2.39 Gregorian year and month

Test Purpose Id | TP_Pos_060505_gregorian_year_and_month_001
Reference | ES 201 873-9 [1], Clause 6.5.5
ICS | None
Dependencies | None
Summary | Verify that the gYearMonth type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060505_gregorian_year_and_month_002
Reference | ES 201 873-9 [1], Clause 6.5.5
ICS | None
Dependencies | None
Summary | Verify that the gYearMonth type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Neg_060505_gregorian_year_and_month_001
Reference | ES 201 873-9 [1], Clause 6.5.5
ICS | None
Dependencies | None
Summary | Verify that the gYearMonth type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_060505_gregorian_year_and_month_002
Reference | ES 201 873-9 [1], Clause 6.5.5
ICS | None
Dependencies | None
Summary | Verify that the gYearMonth type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_060505_gregorian_year_and_month_003
Reference | ES 201 873-9 [1], Clause 6.5.5
ICS | None
Dependencies | None
Summary | Verify that the gYearMonth type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_060505_gregorian_year_and_month_004
Reference | ES 201 873-9 [1], Clause 6.5.5
ICS | None
Dependencies | None
Summary | Verify that the gYearMonth type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

## A.2.40 Gregorian year

Test Purpose Id | TP_Pos_060506_gregorian_year_001
Reference | ES 201 873-9 [1], Clause 6.5.6
ICS | None
Dependencies | None
Summary | Verify that the gYear type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060506_gregorian_year_002
Reference | ES 201 873-9 [1], Clause 6.5.6
ICS | None
Dependencies | None
Summary | Verify that the gYear type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060506_gregorian_year_003
Reference | ES 201 873-9 [1], Clause 6.5.6
ICS | None
Dependencies | None
Summary | Verify that the gYear allows positive years greater than 9999
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060506_gregorian_year_004
Reference | ES 201 873-9 [1], Clause 6.5.6
ICS | None
Dependencies | None
Summary | Verify that the gYear type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060506_gregorian_year_005
Reference | ES 201 873-9 [1], Clause 6.5.6
ICS | None
Dependencies | None
Summary | Verify that the gYear accepts negative years
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_060506_gregorian_year_006
Reference | ES 201 873-9 [1], Clause 6.5.6
ICS | None
Dependencies | None
Summary | Verify that the gYear alows negative year with more than 4 digits
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Neg_060506_gregorian_year_001
Reference | ES 201 873-9 [1], Clause 6.5.6
ICS | None
Dependencies | None
Summary | Verify that the gYear type shall be translated to TTCN-3 using the pattern-restricted charstring
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

## A.2.41 Boolean type

Test Purpose Id | TP_Pos_0607_boolean_type_001
Reference | ES 201 873-9 [1], Clause 6.7
ICS | None
Dependencies | None
Summary | Verify that the XSD boolean type shall be mapped to the TTCN-3 boolean type
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_0607_boolean_type_002
Reference | ES 201 873-9 [1], Clause 6.7
ICS | None
Dependencies | None
Summary | Verify that the XSD boolean type shall be mapped to the TTCN-3 boolean type
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.42 AnyType and anySimpleType types

Test Purpose Id | TP_Pos_0608_anytype_and_anysimpletype_types_001
Reference | ES 201 873-9 [1], Clause 6.8
ICS | None
Dependencies | None
Summary | Verify conversion of anySimpleType
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_0608_anytype_and_anysimpletype_types_002
Reference | ES 201 873-9 [1], Clause 6.8
ICS | None
Dependencies | None
Summary | Verify conversion of anyType
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.43 Id

Test Purpose Id | TP_Pos_070101_id_001
Reference | ES 201 873-9 [1], Clause 7.1.1
ICS | None
Dependencies | None
Summary | Verify conversion of id attribute of global element
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070101_id_002
Reference | ES 201 873-9 [1], Clause 7.1.1
ICS | None
Dependencies | None
Summary | verify conversion of id attribute of local element
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070101_id_001
Reference | ES 201 873-9 [1], Clause 7.1.1
ICS | None
Dependencies | None
Summary | Verify conversion of id attribute of global element
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070101_id_002
Reference | ES 201 873-9 [1], Clause 7.1.1
ICS | None
Dependencies | None
Summary | verify conversion of id attribute of local element
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.44 MinOccurs and maxOccurs

Test Purpose Id | TP_Pos_070104_minoccurs_and_maxoccurs_001
Reference | ES 201 873-9 [1], Clause 7.1.4
ICS | None
Dependencies | None
Summary | Optional field defined by minOccurs has to be mapped as optional in TTCN-3
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070104_minoccurs_and_maxoccurs_002
Reference | ES 201 873-9 [1], Clause 7.1.4
ICS | None
Dependencies | None
Summary | Optional field defined by minOccurs has to exist in TTCN-3 and match the value
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070104_minoccurs_and_maxoccurs_003
Reference | ES 201 873-9 [1], Clause 7.1.4
ICS | None
Dependencies | None
Summary | a list with minOccurs 0 should allow zero elements
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070104_minoccurs_and_maxoccurs_004
Reference | ES 201 873-9 [1], Clause 7.1.4
ICS | None
Dependencies | None
Summary | A restricted length list (0, unbounded) should allow elements
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070104_minoccurs_and_maxoccurs_005
Reference | ES 201 873-9 [1], Clause 7.1.4
ICS | None
Dependencies | None
Summary | A restricted length list [5, 10] should allow 5 elements
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070104_minoccurs_and_maxoccurs_006
Reference | ES 201 873-9 [1], Clause 7.1.4
ICS | None
Dependencies | None
Summary | A restricted length list [5, 10] should allow 10 elements
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070104_minoccurs_and_maxoccurs_007
Reference | ES 201 873-9 [1], Clause 7.1.4
ICS | None
Dependencies | None
Summary | A restricted length list [5, 10] should allow 7 elements
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070104_minoccurs_and_maxoccurs_001
Reference | ES 201 873-9 [1], Clause 7.1.4
ICS | None
Dependencies | None
Summary | Optional field defined by minOccurs has to be mapped as optional in TTCN-3
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070104_minoccurs_and_maxoccurs_002
Reference | ES 201 873-9 [1], Clause 7.1.4
ICS | None
Dependencies | None
Summary | Optional field defined by minOccurs has to exist in TTCN-3 and match the value
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070104_minoccurs_and_maxoccurs_003
Reference | ES 201 873-9 [1], Clause 7.1.4
ICS | None
Dependencies | None
Summary | a list with minOccurs 0 should allow zero elements
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070104_minoccurs_and_maxoccurs_004
Reference | ES 201 873-9 [1], Clause 7.1.4
ICS | None
Dependencies | None
Summary | A restricted length list (0, unbounded) should allow elements
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070104_minoccurs_and_maxoccurs_005
Reference | ES 201 873-9 [1], Clause 7.1.4
ICS | None
Dependencies | None
Summary | A restricted length list [5, 10] should allow 5 elements
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070104_minoccurs_and_maxoccurs_006
Reference | ES 201 873-9 [1], Clause 7.1.4
ICS | None
Dependencies | None
Summary | A restricted length list [5, 10] should allow 10 elements
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070104_minoccurs_and_maxoccurs_007
Reference | ES 201 873-9 [1], Clause 7.1.4
ICS | None
Dependencies | None
Summary | A restricted length list [5, 10] should allow 7 elements
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Neg_070104_minoccurs_and_maxoccurs_001
Reference | ES 201 873-9 [1], Clause 7.1.4
ICS | None
Dependencies | None
Summary | a list with minOccurs 0 should not be mapped optional in TTCN-3
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_070104_minoccurs_and_maxoccurs_002
Reference | ES 201 873-9 [1], Clause 7.1.4
ICS | None
Dependencies | None
Summary | A restricted length list [5, 10] should not allow less than 5 elements
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_070104_minoccurs_and_maxoccurs_003
Reference | ES 201 873-9 [1], Clause 7.1.4
ICS | None
Dependencies | None
Summary | A restricted length list [5, 10] should not allow more than 10 elements
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_070104_minoccurs_and_maxoccurs_001
Reference | ES 201 873-9 [1], Clause 7.1.4
ICS | None
Dependencies | None
Summary | a list with minOccurs 0 should not be mapped optional in TTCN-3
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_070104_minoccurs_and_maxoccurs_002
Reference | ES 201 873-9 [1], Clause 7.1.4
ICS | None
Dependencies | None
Summary | A restricted length list [5, 10] should not allow less than 5 elements
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_070104_minoccurs_and_maxoccurs_003
Reference | ES 201 873-9 [1], Clause 7.1.4
ICS | None
Dependencies | None
Summary | A restricted length list [5, 10] should not allow more than 10 elements
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

## A.2.45 Default and Fixed

Test Purpose Id | TP_Pos_070105_default_and_fixed_001
Reference | ES 201 873-9 [1], Clause 7.1.5
ICS | None
Dependencies | None
Summary | Verify conversion of fixed attribute
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070105_default_and_fixed_002
Reference | ES 201 873-9 [1], Clause 7.1.5
ICS | None
Dependencies | None
Summary | Verify conversion of default attribute
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070105_default_and_fixed_003
Reference | ES 201 873-9 [1], Clause 7.1.5
ICS | None
Dependencies | None
Summary | Verify that default value is automatically assigned to empty element by decoder
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070105_default_and_fixed_004
Reference | ES 201 873-9 [1], Clause 7.1.5
ICS | None
Dependencies | None
Summary | Verify that fixed value is automatically assigned to empty element by decoder
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070105_default_and_fixed_001
Reference | ES 201 873-9 [1], Clause 7.1.5
ICS | None
Dependencies | None
Summary | Verify conversion of fixed attribute
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070105_default_and_fixed_002
Reference | ES 201 873-9 [1], Clause 7.1.5
ICS | None
Dependencies | None
Summary | Verify conversion of default attribute
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070105_default_and_fixed_003
Reference | ES 201 873-9 [1], Clause 7.1.5
ICS | None
Dependencies | None
Summary | Verify that default value is automatically assigned to empty element by decoder
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070105_default_and_fixed_004
Reference | ES 201 873-9 [1], Clause 7.1.5
ICS | None
Dependencies | None
Summary | Verify that fixed value is automatically assigned to empty element by decoder
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Neg_070105_default_and_fixed_001
Reference | ES 201 873-9 [1], Clause 7.1.5
ICS | None
Dependencies | None
Summary | Verify constraint of type based on XSD definition with fixed attribute
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_070105_default_and_fixed_001
Reference | ES 201 873-9 [1], Clause 7.1.5
ICS | None
Dependencies | None
Summary | Verify constraint of type based on XSD definition with fixed attribute
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

## A.2.46 Form

Test Purpose Id | TP_Pos_070106_form_001
Reference | ES 201 873-9 [1], Clause 7.1.6
ICS | None
Dependencies | None
Summary | Verify that unqualified attribute form is correctly converted (unqualified attributeFormDefault)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070106_form_002
Reference | ES 201 873-9 [1], Clause 7.1.6
ICS | None
Dependencies | None
Summary | Verify that unqualified attribute form is correctly converted (qualified attributeFormDefault)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070106_form_003
Reference | ES 201 873-9 [1], Clause 7.1.6
ICS | None
Dependencies | None
Summary | Verify that qualified attribute form is correctly converted (unqualified attributeFormDefault)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070106_form_004
Reference | ES 201 873-9 [1], Clause 7.1.6
ICS | None
Dependencies | None
Summary | Verify that qualified attribute form is correctly converted (qualified attributeFormDefault)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070106_form_005
Reference | ES 201 873-9 [1], Clause 7.1.6
ICS | None
Dependencies | None
Summary | Verify that unqualified element form is correctly converted (unqualified elementFormDefault)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070106_form_006
Reference | ES 201 873-9 [1], Clause 7.1.6
ICS | None
Dependencies | None
Summary | Verify that unqualified element form is correctly converted (qualified elementFormDefault)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070106_form_007
Reference | ES 201 873-9 [1], Clause 7.1.6
ICS | None
Dependencies | None
Summary | Verify that qualified element form is correctly converted (unqualified elementFormDefault)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070106_form_008
Reference | ES 201 873-9 [1], Clause 7.1.6
ICS | None
Dependencies | None
Summary | Verify that qualified element form is correctly converted (qualified elementFormDefault)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070106_form_001
Reference | ES 201 873-9 [1], Clause 7.1.6
ICS | None
Dependencies | None
Summary | Verify that unqualified attribute form is correctly converted (unqualified attributeFormDefault)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070106_form_002
Reference | ES 201 873-9 [1], Clause 7.1.6
ICS | None
Dependencies | None
Summary | Verify that unqualified attribute form is correctly converted (qualified attributeFormDefault)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070106_form_003
Reference | ES 201 873-9 [1], Clause 7.1.6
ICS | None
Dependencies | None
Summary | Verify that qualified attribute form is correctly converted (unqualified attributeFormDefault)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070106_form_004
Reference | ES 201 873-9 [1], Clause 7.1.6
ICS | None
Dependencies | None
Summary | Verify that qualified attribute form is correctly converted (qualified attributeFormDefault)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070106_form_005
Reference | ES 201 873-9 [1], Clause 7.1.6
ICS | None
Dependencies | None
Summary | Verify that unqualified element form is correctly converted (unqualified elementFormDefault)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070106_form_006
Reference | ES 201 873-9 [1], Clause 7.1.6
ICS | None
Dependencies | None
Summary | Verify that unqualified element form is correctly converted (qualified elementFormDefault)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070106_form_007
Reference | ES 201 873-9 [1], Clause 7.1.6
ICS | None
Dependencies | None
Summary | Verify that qualified element form is correctly converted (unqualified elementFormDefault)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070106_form_008
Reference | ES 201 873-9 [1], Clause 7.1.6
ICS | None
Dependencies | None
Summary | Verify that qualified element form is correctly converted (qualified elementFormDefault)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.47 Type

Test Purpose Id | TP_Pos_070107_type_001
Reference | ES 201 873-9 [1], Clause 7.1.7
ICS | None
Dependencies | None
Summary | Verify conversion of type attribute referencing global simpleType
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070107_type_002
Reference | ES 201 873-9 [1], Clause 7.1.7
ICS | None
Dependencies | None
Summary | Verify conversion of type attribute referencing global complexType
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070107_type_003
Reference | ES 201 873-9 [1], Clause 7.1.7
ICS | None
Dependencies | None
Summary | Verify conversion of type attribute referencing built-in type
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070107_type_001
Reference | ES 201 873-9 [1], Clause 7.1.7
ICS | None
Dependencies | None
Summary | Verify conversion of type attribute referencing global simpleType
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070107_type_002
Reference | ES 201 873-9 [1], Clause 7.1.7
ICS | None
Dependencies | None
Summary | Verify conversion of type attribute referencing global complexType
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070107_type_003
Reference | ES 201 873-9 [1], Clause 7.1.7
ICS | None
Dependencies | None
Summary | Verify conversion of type attribute referencing built-in type
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.48 Use

Test Purpose Id | TP_Pos_070112_use_001
Reference | ES 201 873-9 [1], Clause 7.1.12
ICS | None
Dependencies | None
Summary | Verify that attribute with required use is correctly converted
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070112_use_002
Reference | ES 201 873-9 [1], Clause 7.1.12
ICS | None
Dependencies | None
Summary | Verify that attribute with optional use is correctly converted
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070112_use_003
Reference | ES 201 873-9 [1], Clause 7.1.12
ICS | None
Dependencies | None
Summary | Verify that attribute with prohibited use is not converted
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070112_use_001
Reference | ES 201 873-9 [1], Clause 7.1.12
ICS | None
Dependencies | None
Summary | Verify that attribute with required use is correctly converted
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070112_use_002
Reference | ES 201 873-9 [1], Clause 7.1.12
ICS | None
Dependencies | None
Summary | Verify that attribute with optional use is correctly converted
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070112_use_003
Reference | ES 201 873-9 [1], Clause 7.1.12
ICS | None
Dependencies | None
Summary | Verify that attribute with prohibited use is not converted
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Neg_070112_use_001
Reference | ES 201 873-9 [1], Clause 7.1.12
ICS | None
Dependencies | None
Summary | Verify that attribute with required use cannot be omitted
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_070112_use_001
Reference | ES 201 873-9 [1], Clause 7.1.12
ICS | None
Dependencies | None
Summary | Verify that attribute with required use cannot be omitted
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

## A.2.49 Final

Test Purpose Id | TP_Pos_070114_final_001
Reference | ES 201 873-9 [1], Clause 7.1.14
ICS | None
Dependencies | None
Summary | Verify conversion of elements with final attribute
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070114_final_001
Reference | ES 201 873-9 [1], Clause 7.1.14
ICS | None
Dependencies | None
Summary | Verify conversion of elements with final attribute
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.50 Element component

Test Purpose Id | TP_Pos_0703_element_component_001
Reference | ES 201 873-9 [1], Clause 7.3
ICS | None
Dependencies | None
Summary | Verify conversion of global element of simple type
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_0703_element_component_002
Reference | ES 201 873-9 [1], Clause 7.3
ICS | None
Dependencies | None
Summary | Verify conversion of global element of user defined type
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_0703_element_component_003
Reference | ES 201 873-9 [1], Clause 7.3
ICS | None
Dependencies | None
Summary | Verify conversion of global element of locally defined complex type
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_0703_element_component_004
Reference | ES 201 873-9 [1], Clause 7.3
ICS | None
Dependencies | None
Summary | Verify conversion of local elements defined by reference with different namespace
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.51 Attribute element definitions

Test Purpose Id | TP_Pos_070401_attribute_element_definitions_001
Reference | ES 201 873-9 [1], Clause 7.4.1
ICS | None
Dependencies | None
Summary | Verify mapping of a globally deﬁned attribute
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070401_attribute_element_definitions_001
Reference | ES 201 873-9 [1], Clause 7.4.1
ICS | None
Dependencies | None
Summary | Verify mapping of a globally deﬁned attribute
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.52 Attribute group definitions

Test Purpose Id | TP_Pos_070402_attribute_group_definitions_001
Reference | ES 201 873-9 [1], Clause 7.4.2
ICS | None
Dependencies | None
Summary | Verify mapping of a globally deﬁned attribute group
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070402_attribute_group_definitions_001
Reference | ES 201 873-9 [1], Clause 7.4.2
ICS | None
Dependencies | None
Summary | Verify mapping of a globally deﬁned attribute group
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.53 Derivation by restriction

Test Purpose Id | TP_Pos_070501_derivation_by_restriction_001
Reference | ES 201 873-9 [1], Clause 7.5.1
ICS | None
Dependencies | None
Summary | Verify that it is possible to convert anonymous
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.54 Derivation by list

Test Purpose Id | TP_Pos_070502_derivation_by_list_001
Reference | ES 201 873-9 [1], Clause 7.5.2
ICS | None
Dependencies | None
Summary | Verify that derivation by list is converted to record of
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070502_derivation_by_list_002
Reference | ES 201 873-9 [1], Clause 7.5.2
ICS | None
Dependencies | None
Summary | Verify mapping of facets connected applied to derivation by list
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070502_derivation_by_list_003
Reference | ES 201 873-9 [1], Clause 7.5.2
ICS | None
Dependencies | None
Summary | Verify conversion of facets defined inside XSD list
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070502_derivation_by_list_004
Reference | ES 201 873-9 [1], Clause 7.5.2
ICS | None
Dependencies | None
Summary | Verify transformation of derivation by list with enumerated facets inside
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070502_derivation_by_list_005
Reference | ES 201 873-9 [1], Clause 7.5.2
ICS | None
Dependencies | None
Summary | Verify transformation of list containing union content
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Neg_070502_derivation_by_list_001
Reference | ES 201 873-9 [1], Clause 7.5.2
ICS | None
Dependencies | None
Summary | Verify length constraint imposed on type derived by list
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_070502_derivation_by_list_002
Reference | ES 201 873-9 [1], Clause 7.5.2
ICS | None
Dependencies | None
Summary | Verify constraint imposed on inner type defined inside XSD list
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

## A.2.55 Derivation by union

Test Purpose Id | TP_Pos_070503_derivation_by_union_001
Reference | ES 201 873-9 [1], Clause 7.5.3
ICS | None
Dependencies | None
Summary | Verify transformation of union with memberTypes attribute
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070503_derivation_by_union_002
Reference | ES 201 873-9 [1], Clause 7.5.3
ICS | None
Dependencies | None
Summary | Verify transformation of union with unnamed member types
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070503_derivation_by_union_003
Reference | ES 201 873-9 [1], Clause 7.5.3
ICS | None
Dependencies | None
Summary | Verify transformation of union with memberTypes attribute and unnamed member types
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070503_derivation_by_union_004
Reference | ES 201 873-9 [1], Clause 7.5.3
ICS | None
Dependencies | None
Summary | Verify transformation of union with memberTypes attribute and unnamed enumeration
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070503_derivation_by_union_005
Reference | ES 201 873-9 [1], Clause 7.5.3
ICS | None
Dependencies | None
Summary | Verify transformation of union content containing enumeration facets
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070503_derivation_by_union_006
Reference | ES 201 873-9 [1], Clause 7.5.3
ICS | None
Dependencies | None
Summary | Verify transformation of union containing list content
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.56 Extending simple content

Test Purpose Id | TP_Pos_07060101_extending_simple_content_001
Reference | ES 201 873-9 [1], Clause 7.6.1.1
ICS | None
Dependencies | None
Summary | Verify extension of a built-in type by adding an attribute
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.57 Restricting simple content

Test Purpose Id | TP_Pos_07060102_restricting_simple_content_001
Reference | ES 201 873-9 [1], Clause 7.6.1.2
ICS | None
Dependencies | None
Summary | Verify restriction of a base type
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Neg_07060102_restricting_simple_content_001
Reference | ES 201 873-9 [1], Clause 7.6.1.2
ICS | None
Dependencies | None
Summary | Verify restriction of a base type
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

## A.2.58 Complex content derived by extension

Test Purpose Id | TP_Pos_07060201_derived_by_extension_001
Reference | ES 201 873-9 [1], Clause 7.6.2.1
ICS | None
Dependencies | None
Summary | Verify mapping of complex type where both the base and the
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060201_derived_by_extension_002
Reference | ES 201 873-9 [1], Clause 7.6.2.1
ICS | None
Dependencies | None
Summary | Verify mapping of complex type where both the base and the
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060201_derived_by_extension_003
Reference | ES 201 873-9 [1], Clause 7.6.2.1
ICS | None
Dependencies | None
Summary | Verify mapping of complex type where both the base and the
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060201_derived_by_extension_004
Reference | ES 201 873-9 [1], Clause 7.6.2.1
ICS | None
Dependencies | None
Summary | Verify mapping of complex type where both the base and the
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060201_derived_by_extension_005
Reference | ES 201 873-9 [1], Clause 7.6.2.1
ICS | None
Dependencies | None
Summary | Verify mapping of complex type where both the base and the
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060201_derived_by_extension_006
Reference | ES 201 873-9 [1], Clause 7.6.2.1
ICS | None
Dependencies | None
Summary | Verify mapping of complex type where both the base and
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060201_derived_by_extension_007
Reference | ES 201 873-9 [1], Clause 7.6.2.1
ICS | None
Dependencies | None
Summary | Verify mapping of complex type where extension of a sequence
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060201_derived_by_extension_008
Reference | ES 201 873-9 [1], Clause 7.6.2.1
ICS | None
Dependencies | None
Summary | Verify mapping of complex type:
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060201_derived_by_extension_009
Reference | ES 201 873-9 [1], Clause 7.6.2.1
ICS | None
Dependencies | None
Summary | Verify mapping of complex type:
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.59 Complex content derived by restriction

Test Purpose Id | TP_Pos_07060202_derived_by_restriction_001
Reference | ES 201 873-9 [1], Clause 7.6.2.2
ICS | None
Dependencies | None
Summary | Verify mapping of complex content derived by restriction:
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.60 Referencing group components

Test Purpose Id | TP_Pos_070603_referencing_group_components_001
Reference | ES 201 873-9 [1], Clause 7.6.3
ICS | None
Dependencies | None
Summary | Verify conversion of group reference occurring as child of complex type (sequence, one occurrence)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070603_referencing_group_components_002
Reference | ES 201 873-9 [1], Clause 7.6.3
ICS | None
Dependencies | None
Summary | Verify conversion of group reference occurring inside sequence
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070603_referencing_group_components_003
Reference | ES 201 873-9 [1], Clause 7.6.3
ICS | None
Dependencies | None
Summary | Verify conversion of group reference occurring as child of complex type (sequence, optional occurrence)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070603_referencing_group_components_004
Reference | ES 201 873-9 [1], Clause 7.6.3
ICS | None
Dependencies | None
Summary | Verify conversion of group reference occurring as child of complex type (sequence, 0..N)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070603_referencing_group_components_005
Reference | ES 201 873-9 [1], Clause 7.6.3
ICS | None
Dependencies | None
Summary | Verify conversion of group reference occurring as child of complex type (all, one occurrence)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070603_referencing_group_components_006
Reference | ES 201 873-9 [1], Clause 7.6.3
ICS | None
Dependencies | None
Summary | Verify conversion of group reference occurring as child of complex type (all, 0..1)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070603_referencing_group_components_007
Reference | ES 201 873-9 [1], Clause 7.6.3
ICS | None
Dependencies | None
Summary | Verify conversion of group reference occurring as child of complex type (choice, one occurrence)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070603_referencing_group_components_008
Reference | ES 201 873-9 [1], Clause 7.6.3
ICS | None
Dependencies | None
Summary | Verify conversion of group reference occurring as child of complex type (choice, 0..1)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070603_referencing_group_components_009
Reference | ES 201 873-9 [1], Clause 7.6.3
ICS | None
Dependencies | None
Summary | Verify conversion of group reference occurring as child of complex type (choice, 0..N)
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070603_referencing_group_components_010
Reference | ES 201 873-9 [1], Clause 7.6.3
ICS | None
Dependencies | None
Summary | Verify conversion of group reference occurring inside choice
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.61 All content

Test Purpose Id | TP_Pos_070604_all_content_001
Reference | ES 201 873-9 [1], Clause 7.6.4
ICS | None
Dependencies | None
Summary | Verify conversion of all content containing mandatory fields
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070604_all_content_002
Reference | ES 201 873-9 [1], Clause 7.6.4
ICS | None
Dependencies | None
Summary | Verify conversion of all content with minOccurs="0"
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070604_all_content_003
Reference | ES 201 873-9 [1], Clause 7.6.4
ICS | None
Dependencies | None
Summary | Verify transformation of elements with minOccurs attribute occuring inside all content
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070604_all_content_004
Reference | ES 201 873-9 [1], Clause 7.6.4
ICS | None
Dependencies | None
Summary | Verify transformation of all content containing attributes
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.62 Choice content

Test Purpose Id | TP_Pos_070605_top_level_001
Reference | ES 201 873-9 [1], Clause 7.6.5
ICS | None
Dependencies | None
Summary | Verify that choice content with minOccurs different than 1 is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070605_top_level_002
Reference | ES 201 873-9 [1], Clause 7.6.5
ICS | None
Dependencies | None
Summary | Verify that choice content with maxOccurs larger than 1 is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.63 Choice with nested elements

Test Purpose Id | TP_Pos_07060501_choice_with_nested_elements_001
Reference | ES 201 873-9 [1], Clause 7.6.5.1
ICS | None
Dependencies | None
Summary | Verify that choice content with nested elements is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060501_choice_with_nested_elements_001
Reference | ES 201 873-9 [1], Clause 7.6.5.1
ICS | None
Dependencies | None
Summary | Verify that choice content with nested elements is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.64 Choice with nested group

Test Purpose Id | TP_Pos_07060502_choice_with_nested_group_001
Reference | ES 201 873-9 [1], Clause 7.6.5.2
ICS | None
Dependencies | None
Summary | Verify that choice content with nested group is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060502_choice_with_nested_group_001
Reference | ES 201 873-9 [1], Clause 7.6.5.2
ICS | None
Dependencies | None
Summary | Verify that choice content with nested group is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.65 Choice with nested choice

Test Purpose Id | TP_Pos_07060503_choice_with_nested_choice_001
Reference | ES 201 873-9 [1], Clause 7.6.5.3
ICS | None
Dependencies | None
Summary | Verify that choice content with nested choice is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060503_choice_with_nested_choice_001
Reference | ES 201 873-9 [1], Clause 7.6.5.3
ICS | None
Dependencies | None
Summary | Verify that choice content with nested choice is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.66 Choice with nested sequence

Test Purpose Id | TP_Pos_07060504_choice_with_nested_sequence_001
Reference | ES 201 873-9 [1], Clause 7.6.5.4
ICS | None
Dependencies | None
Summary | Verify that choice content with nested sequence is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060504_choice_with_nested_sequence_002
Reference | ES 201 873-9 [1], Clause 7.6.5.4
ICS | None
Dependencies | None
Summary | Verify that choice content with multiple nested sequences is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060504_choice_with_nested_sequence_001
Reference | ES 201 873-9 [1], Clause 7.6.5.4
ICS | None
Dependencies | None
Summary | Verify that choice content with nested sequence is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060504_choice_with_nested_sequence_002
Reference | ES 201 873-9 [1], Clause 7.6.5.4
ICS | None
Dependencies | None
Summary | Verify that choice content with multiple nested sequences is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.67 Choice with nested any

Test Purpose Id | TP_Pos_07060505_choice_with_nested_any_001
Reference | ES 201 873-9 [1], Clause 7.6.5.5
ICS | None
Dependencies | None
Summary | Verify that choice content with nested any is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060505_choice_with_nested_any_001
Reference | ES 201 873-9 [1], Clause 7.6.5.5
ICS | None
Dependencies | None
Summary | Verify that choice content with nested any is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.68 Sequence with nested element content

Test Purpose Id | TP_Pos_07060601_sequence_with_nested_element_001
Reference | ES 201 873-9 [1], Clause 7.6.6.1
ICS | None
Dependencies | None
Summary | Verify that sequence content with nested elements is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060601_sequence_with_nested_element_001
Reference | ES 201 873-9 [1], Clause 7.6.6.1
ICS | None
Dependencies | None
Summary | Verify that sequence content with nested elements is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.69 Sequence with nested group content

Test Purpose Id | TP_Pos_07060602_sequence_with_nested_group_001
Reference | ES 201 873-9 [1], Clause 7.6.6.2
ICS | None
Dependencies | None
Summary | Verify that sequence content with group reference is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060602_sequence_with_nested_group_001
Reference | ES 201 873-9 [1], Clause 7.6.6.2
ICS | None
Dependencies | None
Summary | Verify that sequence content with group reference is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.70 Sequence with nested choice content

Test Purpose Id | TP_Pos_07060603_sequence_with_nested_choice_001
Reference | ES 201 873-9 [1], Clause 7.6.6.3
ICS | None
Dependencies | None
Summary | Verify that sequence content with nested choice is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060603_sequence_with_nested_choice_001
Reference | ES 201 873-9 [1], Clause 7.6.6.3
ICS | None
Dependencies | None
Summary | Verify that sequence content with nested choice is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.71 Sequence with nested sequence content

Test Purpose Id | TP_Pos_07060604_sequence_with_nested_sequence_001
Reference | ES 201 873-9 [1], Clause 7.6.6.4
ICS | None
Dependencies | None
Summary | Verify that sequence content with sequence is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060604_sequence_with_nested_sequence_002
Reference | ES 201 873-9 [1], Clause 7.6.6.4
ICS | None
Dependencies | None
Summary | Verify that sequence content with various nested particles is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060604_sequence_with_nested_sequence_001
Reference | ES 201 873-9 [1], Clause 7.6.6.4
ICS | None
Dependencies | None
Summary | Verify that sequence content with sequence is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060604_sequence_with_nested_sequence_002
Reference | ES 201 873-9 [1], Clause 7.6.6.4
ICS | None
Dependencies | None
Summary | Verify that sequence content with various nested particles is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.72 Sequence with nested any content

Test Purpose Id | TP_Pos_07060605_sequence_with_nested_any_content_001
Reference | ES 201 873-9 [1], Clause 7.6.6.5
ICS | None
Dependencies | None
Summary | Verify that sequence content with nested any content is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060605_sequence_with_nested_any_content_001
Reference | ES 201 873-9 [1], Clause 7.6.6.5
ICS | None
Dependencies | None
Summary | Verify that sequence content with nested any content is correctly transformed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

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

Test Purpose Id | TP_Pos_07060606_effect_of_minoccurs_and_maxoccurs_001
Reference | ES 201 873-9 [1], Clause 7.6.6.6
ICS | None
Dependencies | None
Summary | Verify that sequences with minOccurs=0 are correctly converted to optional fields
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060606_effect_of_minoccurs_and_maxoccurs_002
Reference | ES 201 873-9 [1], Clause 7.6.6.6
ICS | None
Dependencies | None
Summary | Verify that nested sequences are correctly converted to optional fields
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060606_effect_of_minoccurs_and_maxoccurs_003
Reference | ES 201 873-9 [1], Clause 7.6.6.6
ICS | None
Dependencies | None
Summary | Verify that sequences with minOccurs=unbounded are correctly converted to record of fields
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060606_effect_of_minoccurs_and_maxoccurs_004
Reference | ES 201 873-9 [1], Clause 7.6.6.6
ICS | None
Dependencies | None
Summary | Verify that nested sequences are correctly converted to record of fields
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060606_effect_of_minoccurs_and_maxoccurs_001
Reference | ES 201 873-9 [1], Clause 7.6.6.6
ICS | None
Dependencies | None
Summary | Verify that sequences with minOccurs=0 are correctly converted to optional fields
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060606_effect_of_minoccurs_and_maxoccurs_002
Reference | ES 201 873-9 [1], Clause 7.6.6.6
ICS | None
Dependencies | None
Summary | Verify that nested sequences are correctly converted to optional fields
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060606_effect_of_minoccurs_and_maxoccurs_003
Reference | ES 201 873-9 [1], Clause 7.6.6.6
ICS | None
Dependencies | None
Summary | Verify that sequences with minOccurs=unbounded are correctly converted to record of fields
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_07060606_effect_of_minoccurs_and_maxoccurs_004
Reference | ES 201 873-9 [1], Clause 7.6.6.6
ICS | None
Dependencies | None
Summary | Verify that nested sequences are correctly converted to record of fields
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

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

Test Purpose Id | TP_Pos_070607_attribute_definitions_attribute_and_attributegroup_references_001
Reference | ES 201 873-9 [1], Clause 7.6.7
ICS | None
Dependencies | None
Summary | Verify referencing an attributeGroup in a complexType
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070607_attribute_definitions_attribute_and_attributegroup_references_002
Reference | ES 201 873-9 [1], Clause 7.6.7
ICS | None
Dependencies | None
Summary | Verify mapping of a local attributes, attribute references and attribute group references without a target namespace
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070607_attribute_definitions_attribute_and_attributegroup_references_003
Reference | ES 201 873-9 [1], Clause 7.6.7
ICS | None
Dependencies | None
Summary | Verify mapping of a local attributes, attribute references and attribute group references with a target namespace
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.75 Mixed content

Test Purpose Id | TP_Pos_070608_mixed_content_001
Reference | ES 201 873-9 [1], Clause 7.6.8
ICS | None
Dependencies | None
Summary | Verify transformation of complex type with sequence constructor and mixed content type
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070608_mixed_content_002
Reference | ES 201 873-9 [1], Clause 7.6.8
ICS | None
Dependencies | None
Summary | Verify transformation of omplex type definition with sequence constructor of multiple occurrences and mixed content type
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070608_mixed_content_003
Reference | ES 201 873-9 [1], Clause 7.6.8
ICS | None
Dependencies | None
Summary | Verify transformation of complex type definition with all constructor and mixed content type
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070608_mixed_content_004
Reference | ES 201 873-9 [1], Clause 7.6.8
ICS | None
Dependencies | None
Summary | Verify transformation of complex type definition with all constructor, optional elements and mixed content type
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070608_mixed_content_005
Reference | ES 201 873-9 [1], Clause 7.6.8
ICS | None
Dependencies | None
Summary | Verify transformation of complex type definition with all constructor, optional elements and mixed content type
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.76 The any element

Test Purpose Id | TP_Pos_070701_the_any_element_001
Reference | ES 201 873-9 [1], Clause 7.7.1
ICS | None
Dependencies | None
Summary | Verify conversion of the any element without namespace attribute
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070701_the_any_element_002
Reference | ES 201 873-9 [1], Clause 7.7.1
ICS | None
Dependencies | None
Summary | Verify conversion of the any element with ##any namespace
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070701_the_any_element_003
Reference | ES 201 873-9 [1], Clause 7.7.1
ICS | None
Dependencies | None
Summary | Verify conversion of the any element with ##local namespace
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070701_the_any_element_004
Reference | ES 201 873-9 [1], Clause 7.7.1
ICS | None
Dependencies | None
Summary | Verify conversion of the any element with ##other namespace
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070701_the_any_element_005
Reference | ES 201 873-9 [1], Clause 7.7.1
ICS | None
Dependencies | None
Summary | Verify conversion of the any element with ##targetNamespace namespace
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070701_the_any_element_006
Reference | ES 201 873-9 [1], Clause 7.7.1
ICS | None
Dependencies | None
Summary | Verify conversion of the any element with URL as namespace into record of
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.77 The anyAttribute element

Test Purpose Id | TP_Pos_070702_the_anyattribute_element_001
Reference | ES 201 873-9 [1], Clause 7.7.2
ICS | None
Dependencies | None
Summary | Verify conversion of anyAttribute element
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070702_the_anyattribute_element_002
Reference | ES 201 873-9 [1], Clause 7.7.2
ICS | None
Dependencies | None
Summary | Verify that anyAttribute is converted into optional field
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070702_the_anyattribute_element_003
Reference | ES 201 873-9 [1], Clause 7.7.2
ICS | None
Dependencies | None
Summary | Verify that the naming rules apply to converted anyAttribute field
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070702_the_anyattribute_element_004
Reference | ES 201 873-9 [1], Clause 7.7.2
ICS | None
Dependencies | None
Summary | Verify that conversion of anyAttribute present both in extended type and extension base
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_070702_the_anyattribute_element_005
Reference | ES 201 873-9 [1], Clause 7.7.2
ICS | None
Dependencies | None
Summary | Verify that converted anyAttribute field is in correct place
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.78 Annotation

Test Purpose Id | TP_Pos_0708_annotation_001
Reference | ES 201 873-9 [1], Clause 7.8
ICS | None
Dependencies | None
Summary | Verify that XSD annotation can be processed
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.79 Group components

Test Purpose Id | TP_Pos_0709_group_components_001
Reference | ES 201 873-9 [1], Clause 7.9
ICS | None
Dependencies | None
Summary | Verify conversion of group definition with sequence compositor
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_0709_group_components_002
Reference | ES 201 873-9 [1], Clause 7.9
ICS | None
Dependencies | None
Summary | Verify transformation of group definition with sequence compositor
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_0709_group_components_003
Reference | ES 201 873-9 [1], Clause 7.9
ICS | None
Dependencies | None
Summary | Verify conversion of group definition with all compositor
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.80 Identity-constraint definition schema components

Test Purpose Id | TP_Pos_0710_identity_constraint_definition_schema_components_001
Reference | ES 201 873-9 [1], Clause 7.10
ICS | None
Dependencies | None
Summary | Verify that unique elements (and nested selector and field) are ignored during conversion
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_0710_identity_constraint_definition_schema_components_002
Reference | ES 201 873-9 [1], Clause 7.10
ICS | None
Dependencies | None
Summary | Verify that key elements (and nested selector and field) are ignored during conversion
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_0710_identity_constraint_definition_schema_components_003
Reference | ES 201 873-9 [1], Clause 7.10
ICS | None
Dependencies | None
Summary | Verify that keyRef elements (and nested selector and field) are ignored during conversion
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_0710_identity_constraint_definition_schema_components_001
Reference | ES 201 873-9 [1], Clause 7.10
ICS | None
Dependencies | None
Summary | Verify that unique elements (and nested selector and field) are ignored during conversion
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_0710_identity_constraint_definition_schema_components_002
Reference | ES 201 873-9 [1], Clause 7.10
ICS | None
Dependencies | None
Summary | Verify that key elements (and nested selector and field) are ignored during conversion
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_0710_identity_constraint_definition_schema_components_003
Reference | ES 201 873-9 [1], Clause 7.10
ICS | None
Dependencies | None
Summary | Verify that keyRef elements (and nested selector and field) are ignored during conversion
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

## A.2.81 Head elements of substitution groups

Test Purpose Id | TP_Pos_080101_head_elements_of_substitution_groups_001
Reference | ES 201 873-9 [1], Clause 8.1.1
ICS | None
Dependencies | None
Summary | Generic substitution group example
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_080101_head_elements_of_substitution_groups_002
Reference | ES 201 873-9 [1], Clause 8.1.1
ICS | None
Dependencies | None
Summary | Show effect of the block and abstract attributes on element substitution
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_080101_head_elements_of_substitution_groups_003
Reference | ES 201 873-9 [1], Clause 8.1.1
ICS | None
Dependencies | None
Summary | Blocking substitution
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

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

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_001
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type AnySimpleType
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_002
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type AnyType
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_003
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type String
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_004
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type NormalizedString
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_005
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type Token
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_006
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type Name
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_007
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type NMTOKEN
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_008
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type NCName
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_009
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type ID
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_010
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type IDREF
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_011
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type ENTITY
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_012
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type HexBinary
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_013
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type Base64Binary
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_014
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type AnyURI
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_015
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type Language
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_016
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type Integer
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_017
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type PositiveInteger
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_018
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type NonPositiveInteger
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_019
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type NegativeInteger
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_020
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type NonNegativeInteger
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_021
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type Long
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_022
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type UnsignedLong
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_023
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type Int
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_024
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type UnsignedInt
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_025
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type Short
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_026
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type UnsignedShort
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_027
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type Byte
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_028
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type UnsignedByte
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_029
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type Decimal
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_030
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type Float
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_031
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type Double
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_032
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type Duration
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_033
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type DateTime
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_034
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type Time
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_035
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type Date
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_036
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type GYearMonth
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_037
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type GYear
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_038
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type GMonthDay
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_039
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type GDay
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_040
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type GMonth
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_041
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type NMTOKENS
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_042
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type IDREFS
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_043
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type ENTITIES
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_044
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type QName
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_045
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type Boolean
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_046
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type XMLCompatibleString
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_047
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type XMLStringWithNoWhitespace
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Pos_A_ttcn3_module_xsd_048
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the module XSD is available and contains the builtin XSD type XMLStringWithNoCRLFHT
Expected Output | The TTCN-3 module shall be accepted by the tool and all test cases have to produce the verdict pass after execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_001
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type AnySimpleType allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_002
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type AnyType allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_003
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type String allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_004
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type NormalizedString allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_005
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type Token allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_006
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type Name allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_007
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type NMTOKEN allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_008
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type NCName allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_009
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type ID allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_010
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type IDREF allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_011
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type ENTITY allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_012
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type HexBinary allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_013
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type Base64Binary allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_014
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type AnyURI allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_015
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type Language allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_016
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type Integer allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_017
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type PositiveInteger allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_018
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type NonPositiveInteger allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_019
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type NegativeInteger allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_020
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type NonNegativeInteger allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_021
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type Long allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_022
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type UnsignedLong allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_023
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type Int allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_024
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type UnsignedInt allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_025
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type Short allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_026
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type UnsignedShort allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_027
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type Byte allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_028
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type UnsignedByte allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_029
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type Decimal allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_030
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type Float allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_031
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type Double allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_032
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type Duration allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_033
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type DateTime allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_034
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type Time allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_035
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type Date allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_036
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type GYearMonth allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_037
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type GYear allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_038
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type GMonthDay allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_039
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type GDay allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_040
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type GMonth allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_041
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type NMTOKENS allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_042
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type IDREFS allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_043
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type ENTITIES allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_044
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type QName allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_045
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type Boolean allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_046
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type XMLCompatibleString allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_047
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type XMLStringWithNoWhitespace allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |

Test Purpose Id | TP_Neg_A_ttcn3_module_xsd_048
Reference | ES 201 873-9 [1], Clause A
ICS | None
Dependencies | None
Summary | Ensure the builtin XSD type XMLStringWithNoCRLFHT allows only valid values
Expected Output | The TTCN-3 module shall be rejected by the validator or after/during execution.
Notes |