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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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_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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 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_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 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_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 |
|
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 |
|
Test Purpose Id |
TP_Pos_070101_id_001 |
Reference |
ES 201 873-9 [1], Clause 7.1.1 |
ICS |
None |
Dependencies |
None |
Summary |
__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_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 |
|