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


A.2.8 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.9 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.10 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.11 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.12 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.13 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.14 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.15 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.16 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.17 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.18 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.19 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.20 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.21 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.22 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.23 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.24 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.25 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.26 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.27 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.28 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.29 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.30 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.31 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.32 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 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


A.2.33 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.34 Id

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


A.2.35 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