Table B.1: Test suite structure, positive tests
5 Basic language elements |
5.1 Identifiers and keywords |
Syn_0501_Identifier_001 |
5.2 Scope rules |
Sem_0502_Scope_001 |
|
Sem_0502_Scope_002 |
||
Sem_0502_Scope_003 |
||
Sem_0502_Scope_004 |
||
Sem_0502_Scope_008 |
||
Syn_0502_Scope_001 |
||
5.2.1 Scope of formal parameters |
Sem_050201_Scope_of_parameters_001 |
|
5.2.2 Uniqueness of identifiers |
Sem_050202_Uniqueness_001 |
|
Sem_050202_Uniqueness_002 |
||
Sem_050202_Uniqueness_003 |
||
5.3 Ordering of language elements |
Sem_0503_Ordering_001 |
|
Sem_0503_Ordering_005 |
||
5.4.1.1 Formal parameters of kind value |
Sem_05040101_parameters_of_kind_value_001 |
|
5.4.1.2 Formal parameters of kind template |
Sem_05040102_parameters_of_kind_template_001 |
|
Sem_05040102_parameters_of_kind_template_002 |
||
5.4.1.3 Formal parameters of kind timer |
Sem_05040103_parameters_of_kind_timer_001 |
|
5.4.1.4 Formal parameters of kind port |
Sem_05040104_parameters_of_kind_port_001 |
|
5.4.2 Actual parameters |
Sem_050402_actual_parameters_001 |
|
Sem_050402_actual_parameters_002 |
||
5.5 Cyclic definitions |
Sem_0505_cyclic_definitions_001 |
|
Sem_0505_cyclic_definitions_002 |
||
6 Types and values |
6.1.0 Simple basic types and values |
Sem_060100_SimpleBasicTypes_001 |
Sem_060100_SimpleBasicTypes_002 |
||
Sem_060100_SimpleBasicTypes_003 |
||
Sem_060100_SimpleBasicTypes_004 |
||
Sem_060100_SimpleBasicTypes_005 |
||
Syn_060100_SimpleBasicTypes_001 |
||
Syn_060100_SimpleBasicTypes_002 |
||
Syn_060100_SimpleBasicTypes_003 |
||
Syn_060100_SimpleBasicTypes_004 |
||
Syn_060100_SimpleBasicTypes_005 |
||
Syn_060100_SimpleBasicTypes_006 |
||
6.1.1 Basic string types and values |
Sem_060101_TopLevel_001 |
|
Sem_060101_TopLevel_002 |
||
Sem_060101_TopLevel_003 |
||
Sem_060101_TopLevel_004 |
||
Sem_060101_TopLevel_005 |
||
Sem_060101_TopLevel_006 |
||
Syn_060101_TopLevel_001 |
||
Syn_060101_TopLevel_002 |
||
Syn_060101_TopLevel_003 |
||
6.1.1.1 Accessing individual string elements |
Sem_06010101_AccessStringElements_001 |
|
Sem_06010101_AccessStringElements_002 |
||
Sem_06010101_AccessStringElements_003 |
||
Sem_06010101_AccessStringElements_004 |
||
Sem_06010101_AccessStringElements_005 |
||
Sem_06010101_AccessStringElements_006 |
||
Sem_06010101_AccessStringElements_007 |
||
Sem_06010101_AccessStringElements_008 |
||
6.1.2.1 Lists of values |
Sem_06010201_ListOfValues_001 |
|
6.1.2.2 Lists of types |
Sem_06010202_ListOfTypes_001 |
|
6.1.2.3 Ranges |
Sem_06010203_Ranges_001 |
|
Sem_06010203_Ranges_002 |
||
Sem_06010203_Ranges_003 |
||
Sem_06010203_Ranges_004 |
||
Sem_06010203_Ranges_005 |
||
Sem_06010203_Ranges_006 |
||
Sem_06010203_Ranges_007 |
||
Sem_06010203_Ranges_008 |
||
6.1.2.4 String length restrictions |
Sem_06010204_StringLenghtRestrict_001 |
|
6.1.2.5 Pattern subtyping of character string types |
Sem_06010205_StringPattern_001 |
|
Sem_06010205_StringPattern_002 |
||
6.1.2.6.1 Mixing patterns, lists and ranges |
Sem_0601020601_MixingSubtype_001 |
|
Sem_0601020601_MixingSubtype_002 |
||
6.1.2.6.2 Using length restriction with other constraints |
Sem_0601020602_StringMixing_001 |
|
Sem_0601020602_StringMixing_002 |
||
Sem_0601020602_StringMixing_003 |
||
Sem_0601020602_StringMixing_004 |
||
Sem_0601020602_StringMixing_005 |
||
Sem_0601020602_StringMixing_006 |
||
6.2 Structured types and values |
Syn_0602_TopLevel_001 |
|
Syn_0602_TopLevel_002 |
||
Syn_0602_TopLevel_003 |
||
Syn_0602_TopLevel_004 |
||
Syn_0602_TopLevel_005 |
||
6.2.1 Record type and values |
Syn_060201_RecordTypeValues_001 |
|
Syn_060201_RecordTypeValues_002 |
||
6.2.9 Communication port types |
Sem_060209_CommunicationPortTypes_001 |
|
Sem_060209_CommunicationPortTypes_002 |
||
Sem_060209_CommunicationPortTypes_003 |
||
Syn_060209_CommunicationPortTypes_001 |
||
Syn_060209_CommunicationPortTypes_002 |
||
Syn_060209_CommunicationPortTypes_003 |
||
Syn_060209_CommunicationPortTypes_004 |
||
Syn_060209_CommunicationPortTypes_005 |
||
Syn_060209_CommunicationPortTypes_006 |
||
Syn_060209_CommunicationPortTypes_007 |
||
6.2.12 Addressing entities inside the SUT |
Sem_060212_AddressingEntitiesInsideSut_001 |
|
Sem_060212_AddressingEntitiesInsideSut_002 |
||
6.3.1 Type compatibility of non-structured types |
Sem_060301_non_structured_types_001 |
|
Sem_060301_non_structured_types_002 |
||
6.3.2 Type compatibility of structured types |
Sem_060302_structured_types_001 |
|
Sem_060302_structured_types_003 |
||
Sem_060302_structured_types_004 |
||
Sem_060302_structured_types_005 |
||
6.3.3 Type compatibility of component types |
Sem_060303_component_types_001 |
|
Sem_060303_component_types_002 |
||
7 Expression |
7.1.1 Arithmetic operators |
Sem_070101_ArithmeticOperators_001 |
Sem_070101_ArithmeticOperators_002 |
||
Sem_070101_ArithmeticOperators_003 |
||
Sem_070101_ArithmeticOperators_004 |
||
Sem_070101_ArithmeticOperators_005 |
||
Sem_070101_ArithmeticOperators_006 |
||
Sem_070101_ArithmeticOperators_007 |
||
Sem_070101_ArithmeticOperators_008 |
||
Sem_070101_ArithmeticOperators_009 |
||
Sem_070101_ArithmeticOperators_010 |
||
Sem_070101_ArithmeticOperators_011 |
||
Sem_070101_ArithmeticOperators_012 |
||
Sem_070101_ArithmeticOperators_013 |
||
Sem_070101_ArithmeticOperators_014 |
||
Sem_070101_ArithmeticOperators_015 |
||
Sem_070101_ArithmeticOperators_016 |
||
Sem_070101_ArithmeticOperators_017 |
||
Sem_070101_ArithmeticOperators_018 |
||
Sem_070101_ArithmeticOperators_019 |
||
Sem_070101_ArithmeticOperators_020 |
||
Sem_070101_ArithmeticOperators_021 |
||
Sem_070101_ArithmeticOperators_022 |
||
Sem_070101_ArithmeticOperators_023 |
||
Syn_070101_ArithmeticOperators_001 |
||
Syn_070101_ArithmeticOperators_002 |
||
Syn_070101_ArithmeticOperators_003 |
||
Syn_070101_ArithmeticOperators_004 |
||
Syn_070101_ArithmeticOperators_005 |
||
Syn_070101_ArithmeticOperators_006 |
||
Syn_070101_ArithmeticOperators_007 |
||
Syn_070101_ArithmeticOperators_008 |
||
Syn_070101_ArithmeticOperators_009 |
||
Syn_070101_ArithmeticOperators_010 |
||
Syn_070101_ArithmeticOperators_011 |
||
Syn_070101_ArithmeticOperators_012 |
||
7.1.2 List operator |
Sem_070102_ListOperator_001 |
|
Sem_070102_ListOperator_002 |
||
Sem_070102_ListOperator_003 |
||
Sem_070102_ListOperator_004 |
||
Sem_070102_ListOperator_005 |
||
7.1.3 Relational operators |
Sem_070103_RelationalOperators_001 |
|
Sem_070103_RelationalOperators_002 |
||
Sem_070103_RelationalOperators_003 |
||
Sem_070103_RelationalOperators_004 |
||
Sem_070103_RelationalOperators_005 |
||
Sem_070103_RelationalOperators_006 |
||
Sem_070103_RelationalOperators_007 |
||
Sem_070103_RelationalOperators_008 |
||
Sem_070103_RelationalOperators_009 |
||
Sem_070103_RelationalOperators_010 |
||
Sem_070103_RelationalOperators_011 |
||
Sem_070103_RelationalOperators_012 |
||
Sem_070103_RelationalOperators_013 |
||
Sem_070103_RelationalOperators_014 |
||
Sem_070103_RelationalOperators_015 |
||
Sem_070103_RelationalOperators_016 |
||
Sem_070103_RelationalOperators_017 |
||
Sem_070103_RelationalOperators_018 |
||
Sem_070103_RelationalOperators_019 |
||
Sem_070103_RelationalOperators_020 |
||
Sem_070103_RelationalOperators_021 |
||
Sem_070103_RelationalOperators_022 |
||
Sem_070103_RelationalOperators_023 |
||
Sem_070103_RelationalOperators_024 |
||
7.1.4 Logical operators |
Sem_070104_LogicalOperators_001 |
|
Sem_070104_LogicalOperators_002 |
||
7.1.5 Bitwise operators |
Sem_070105_BitwiseOperators_001 |
|
Sem_070105_BitwiseOperators_002 |
||
7.1.6 Shift operators |
Sem_070106_ShiftOperators_001 |
|
Sem_070106_ShiftOperators_002 |
||
Sem_070106_ShiftOperators_003 |
||
Sem_070106_ShiftOperators_004 |
||
7.1.7 Rotate operators |
Sem_070107_RotateOperators_001 |
|
Sem_070107_RotateOperators_002 |
||
Sem_070107_RotateOperators_003 |
||
Sem_070107_RotateOperators_004 |
||
7.2 Field references and list elements |
Sem_0702_FieldReferencesAndListElements_001 |
|
Sem_0702_FieldReferencesAndListElements_002 |
||
8 Modules |
8.1 Definition of a module |
Syn_0801_DefinitionOfAModule_001 |
Syn_0801_DefinitionOfAModule_002 |
||
Syn_0801_DefinitionOfAModule_003 |
||
Syn_0801_DefinitionOfAModule_004 |
||
Syn_0801_DefinitionOfAModule_005 |
||
8.2 Module definitions part |
Syn_0802_ModuleDefinitionsPart_001 |
|
Syn_0802_ModuleDefinitionsPart_002 |
||
8.2.1 Module parameters |
Sem_080201_ModuleParameters_001 |
|
Syn_080201_ModuleParameters_001 |
||
Syn_080201_ModuleParameters_002 |
||
Syn_080201_ModuleParameters_003 |
||
8.2.2 Groups of definitions |
Syn_080202_GroupOfDefinitions_001 |
|
Syn_080202_GroupOfDefinitions_002 |
||
Syn_080202_GroupOfDefinitions_003 |
||
Syn_080202_GroupOfDefinitions_004 |
||
8.2.3.1 General format of import |
Syn_08020301_GeneralFormatOfImport_001 |
|
Syn_08020301_GeneralFormatOfImport_002 |
||
8.2.3.2 Importing single definitions |
Sem_08020302_ImportingSingleDefinitions_001 |
|
Sem_08020302_ImportingSingleDefinitions_002 |
||
8.2.3.3 Importing groups |
Sem_08020303_ImportingGroups_001 |
|
Sem_08020303_ImportingGroups_002 |
||
Sem_08020303_ImportingGroups_003 |
||
8.2.3.4 Importing definitions of the same kind |
Sem_08020301_GeneralFormatOfImport_001 |
|
Sem_08020301_GeneralFormatOfImport_002 |
||
Sem_08020304_ImportingDefinitionsOfTheSameKind_001 |
||
Sem_08020304_ImportingDefinitionsOfTheSameKind_002 |
||
Sem_08020304_ImportingDefinitionsOfTheSameKind_003 |
||
8.2.3.5 Importing all definitions of a module |
Sem_08020305_ImportingAllDefinitionsOfAModule_001 |
|
Sem_08020305_ImportingAllDefinitionsOfAModule_002 |
||
8.2.3.6 Import definitions from other TTCN-3 editions and from non-TTCN-3 modules |
Sem_08020306_ImportingDefinitionsFromOtherT3EditionsAndFromNonT3Modules_001 |
|
Syn_08020306_ImportingDefinitionsFromOtherT3EditionsAndFromNonT3Modules_001 |
||
Syn_08020306_ImportingDefinitionsFromOtherT3EditionsAndFromNonT3Modules_002 |
||
8.2.3.7 Importing of import statements from TTCN-3 modules |
Sem_08020307_ImportingOfImportStatementsFromT3Modules_001 |
|
8.2.4 Definition of friend modules |
Sem_080204_DefinitionOfFriendModules_001 |
|
8.2.5 Visibility of definitions |
Sem_080205_VisibilityOfDefinitions_001 |
|
Sem_080205_VisibilityOfDefinitions_002 |
||
Sem_080205_VisibilityOfDefinitions_003 |
||
Sem_080205_VisibilityOfDefinitions_004 |
||
Sem_080205_VisibilityOfDefinitions_005 |
||
8.3 Module control part |
Sem_0803_ModuleControlPart_001 |
|
Syn_0803_ModuleControlPart_001 |
||
Syn_0803_ModuleControlPart_002 |
||
Syn_0803_ModuleControlPart_003 |
||
10 Declaring constants |
Top level |
Sem_10_Constants_001 |
Sem_10_Constants_002 |
||
Syn_10_Constants_001 |
||
Syn_10_Constants_002 |
||
Syn_10_Constants_003 |
||
Syn_10_Constants_004 |
||
11 Declaring variables |
11.1 Value variables |
Sem_1101_ValueVars_001 |
Sem_1101_ValueVars_002 |
||
Sem_1101_ValueVars_003 |
||
Syn_1101_ValueVars_001 |
||
11.2 Template variables |
Sem_1102_TemplateVars_001 |
|
Syn_1102_TemplateVars_001 |
||
12 Declaring timers |
Top level |
Sem_12_toplevel_timer_001 |
Sem_12_toplevel_timer_002 |
||
Sem_12_toplevel_timer_003 |
||
Sem_12_toplevel_timer_004 |
||
Sem_12_toplevel_timer_005 |
||
Sem_12_toplevel_timer_006 |
||
Sem_12_toplevel_timer_007 |
||
Sem_12_toplevel_timer_008 |
||
Sem_12_toplevel_timer_009 |
||
Syn_12_toplevel_timer_001 |
||
Syn_12_toplevel_timer_002 |
||
Syn_12_toplevel_timer_003 |
||
Syn_12_toplevel_timer_004 |
||
Syn_12_toplevel_timer_005 |
||
Syn_12_toplevel_timer_006 |
||
Sem_13_declaring_msg_001 |
||
13 Declaring messages |
Top level |
Sem_13_toplevel_declaring_msg_various_types_001 |
Sem_13_toplevel_declaring_msg_various_types_002 |
||
Sem_13_toplevel_declaring_msg_various_types_003 |
||
Sem_13_toplevel_declaring_msg_various_types_004 |
||
Sem_13_toplevel_declaring_msg_various_types_005 |
||
Sem_13_toplevel_declaring_msg_various_types_006 |
||
Sem_13_toplevel_declaring_msg_various_types_007 |
||
Sem_13_toplevel_declaring_msg_various_types_008 |
||
Sem_13_toplevel_declaring_msg_various_types_009 |
||
Sem_13_toplevel_declaring_msg_various_types_010 |
||
Sem_13_toplevel_declaring_msg_various_types_011 |
||
Sem_13_toplevel_declaring_msg_various_types_012 |
||
Sem_13_toplevel_declaring_msg_various_types_013 |
||
Sem_13_toplevel_declaring_msg_various_types_014 |
||
15 Declaring templates |
Top level |
Syn_15_TopLevel_001 |
15.1 Declaring message templates |
Syn_1501_DeclaringMessageTemplates_001 |
|
Syn_1501_DeclaringMessageTemplates_002 |
||
Syn_1501_DeclaringMessageTemplates_003 |
||
Syn_1501_DeclaringMessageTemplates_004 |
||
Syn_1501_DeclaringMessageTemplates_005 |
||
Syn_1501_DeclaringMessageTemplates_006 |
||
15.2 Declaring signature templates |
Sem_1502_DeclaringSignatureTemplates_001 |
|
Sem_1502_DeclaringSignatureTemplates_002 |
||
Sem_1502_DeclaringSignatureTemplates_003 |
||
Syn_1502_DeclaringSignatureTemplates_001 |
||
Syn_1502_DeclaringSignatureTemplates_002 |
||
Syn_1502_DeclaringSignatureTemplates_003 |
||
Syn_1502_DeclaringSignatureTemplates_004 |
||
15.3 Global and local templates |
Sem_1503_GlobalAndLocalTemplates_001 |
|
Sem_1503_GlobalAndLocalTemplates_002 |
||
Sem_1503_GlobalAndLocalTemplates_003 |
||
Sem_1503_GlobalAndLocalTemplates_004 |
||
Sem_1503_GlobalAndLocalTemplates_005 |
||
Sem_1503_GlobalAndLocalTemplates_006 |
||
Syn_1503_GlobalAndLocalTemplates_001 |
||
Syn_1503_GlobalAndLocalTemplates_004 |
||
Syn_1503_GlobalAndLocalTemplates_005 |
||
Syn_1503_GlobalAndLocalTemplates_006 |
||
15.4 In-line templates |
Syn_1504_InlineTemplates_001 |
|
Syn_1504_InlineTemplates_002 |
||
Syn_1504_InlineTemplates_003 |
||
15.5 Modified templates |
Sem_1505_ModifiedTemplates_001 |
|
Sem_1505_ModifiedTemplates_002 |
||
Sem_1505_ModifiedTemplates_003 |
||
Sem_1505_ModifiedTemplates_004 |
||
Syn_1505_ModifiedTemplates_001 |
||
Syn_1505_ModifiedTemplates_002 |
||
Syn_1505_ModifiedTemplates_003 |
||
Syn_1505_ModifiedTemplates_004 |
||
15.6.2 Referencing record and set fields |
Sem_150602_ReferencingRecordAndSetFields_001 |
|
Sem_150602_ReferencingRecordAndSetFields_002 |
||
Sem_150602_ReferencingRecordAndSetFields_003 |
||
Sem_150602_ReferencingRecordAndSetFields_004 |
||
15.6.3 Referencing record of and set of elements |
Sem_150603_ReferencingRecordOfAndSetElements_001 |
|
Sem_150603_ReferencingRecordOfAndSetElements_002 |
||
Sem_150603_ReferencingRecordOfAndSetElements_003 |
||
Sem_150603_ReferencingRecordOfAndSetElements_004 |
||
Sem_150603_ReferencingRecordOfAndSetElements_005 |
||
15.8 Template restrictions |
Sem_1508_TemplateRestrictions_001 |
|
Sem_1508_TemplateRestrictions_002 |
||
Sem_1508_TemplateRestrictions_003 |
||
Sem_1508_TemplateRestrictions_004 |
||
Sem_1508_TemplateRestrictions_005 |
||
Sem_1508_TemplateRestrictions_006 |
||
Sem_1508_TemplateRestrictions_007 |
||
Sem_1508_TemplateRestrictions_008 |
||
Sem_1508_TemplateRestrictions_009 |
||
Sem_1508_TemplateRestrictions_010 |
||
Sem_1508_TemplateRestrictions_011 |
||
Sem_1508_TemplateRestrictions_012 |
||
Sem_1508_TemplateRestrictions_013 |
||
Sem_1508_TemplateRestrictions_014 |
||
Sem_1508_TemplateRestrictions_015 |
||
Syn_1508_TemplateRestrictions_001 |
||
Syn_1508_TemplateRestrictions_002 |
||
Syn_1508_TemplateRestrictions_003 |
||
Syn_1508_TemplateRestrictions_004 |
||
15.9 Match operation |
Sem_1509_MatchOperation_001 |
|
Sem_1509_MatchOperation_002 |
||
Sem_1509_MatchOperation_003 |
||
Sem_1509_MatchOperation_004 |
||
Sem_1509_MatchOperation_005 |
||
15.10 Valueof operation |
Sem_1510_ValueOfOperation_001 |
|
15.11 Concatenating templates of string and list types |
Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_001 |
|
Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_002 |
||
Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_003 |
||
Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_004 |
||
Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_005 |
||
Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_006 |
||
Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_007 |
||
Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_008 |
||
Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_009 |
||
Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_010 |
||
Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_011 |
||
16 Functions, altsteps and testcases |
16.1 Functions |
Sem_1601_toplevel_001 |
Sem_1601_toplevel_003 |
||
16.1.1 Invoking functions |
Sem_160101_invoking_functions_001 |
|
16.1.2 Predefined functions |
Sem_160102_predefined_functions_001 |
|
Sem_160102_predefined_functions_002 |
||
Sem_160102_predefined_functions_003 |
||
Sem_160102_predefined_functions_004 |
||
Sem_160102_predefined_functions_005 |
||
Sem_160102_predefined_functions_006 |
||
Sem_160102_predefined_functions_007 |
||
Sem_160102_predefined_functions_008 |
||
Sem_160102_predefined_functions_009 |
||
Sem_160102_predefined_functions_010 |
||
Sem_160102_predefined_functions_011 |
||
Sem_160102_predefined_functions_012 |
||
16.1.3 External functions |
Sem_160103_external_functions_001 |
|
Sem_160103_external_functions_002 |
||
16.2 Altsteps |
Sem_1602_toplevel_001 |
|
16.2.1 Invoking altsteps |
Sem_160201_invoking_altsteps_001 |
|
Sem_160201_invoking_altsteps_002 |
||
16.3 Test cases |
Syn_1603_testcases_001 |
|
19 Basic program statements |
19.1 Assignments |
Sem_1901_assignments_001 |
19.2 The if-else statement |
Sem_1902_if_else_statement_001 |
|
Sem_1902_if_else_statement_002 |
||
19.3 The select case statement |
Sem_1903_select_case_statement_001 |
|
Sem_1903_select_case_statement_002 |
||
Sem_1903_select_case_statement_003 |
||
Sem_1903_select_case_statement_004 |
||
19.4 The for statement |
Sem_1904_for_statement_001 |
|
Sem_1904_for_statement_002 |
||
Sem_1904_for_statement_003 |
||
19.5 The while statement |
Sem_1905_while_statement_001 |
|
Sem_1905_while_statement_002 |
||
Sem_1905_while_statement_003 |
||
19.6 The do-while statement |
Sem_1906_do_while_statement_001 |
|
Sem_1906_do_while_statement_002 |
||
Sem_1906_do_while_statement_003 |
||
19.7 The label statement |
Syn_1907_label_statement_001 |
|
19.8 The goto statement |
Sem_1908_goto_statement_001 |
|
Sem_1908_goto_statement_002 |
||
Sem_1908_goto_statement_003 |
||
19.9 The stop execution statement |
Sem_1909_stop_statement_001 |
|
Sem_1909_stop_statement_002 |
||
19.10 The return statement |
Sem_1910_return_statement_001 |
|
19.11 The log statement |
Sem_1911_log_statement_001 |
|
Sem_1911_log_statement_002 |
||
Sem_1911_log_statement_003 |
||
Sem_1911_log_statement_004 |
||
Sem_1911_log_statement_005 |
||
19.13 The continue statement |
Sem_1913_continue_statement_001 |
|
20 Statement and operations for alternative behaviours |
Top level |
Syn_20_TopLevel_001 |
Syn_20_TopLevel_002 |
||
Syn_20_TopLevel_003 |
||
Syn_20_TopLevel_004 |
||
Syn_20_TopLevel_005 |
||
20.2 The alt statement |
Sem_2002_TheAltStatement_001 |
|
Sem_2002_TheAltStatement_002 |
||
Sem_2002_TheAltStatement_003 |
||
Sem_2002_TheAltStatement_004 |
||
Sem_2002_TheAltStatement_005 |
||
Sem_2002_TheAltStatement_006 |
||
Sem_2002_TheAltStatement_007 |
||
Sem_2002_TheAltStatement_008 |
||
Sem_2002_TheAltStatement_009 |
||
Sem_2002_TheAltStatement_010 |
||
Sem_2002_TheAltStatement_011 |
||
20.3 The repeat statement |
Sem_2003_the_repeat_statement_001 |
|
20.4 The interleave statement |
Sem_2004_InterleaveStatement_001 |
|
Sem_2004_InterleaveStatement_002 |
||
Syn_2004_InterleaveStatement_001 |
||
21 Configuration operations |
21.3.1 The create operation |
Sem_210301_CreateOperation_001 |
Sem_210301_CreateOperation_002 |
||
Sem_210301_CreateOperation_003 |
||
Sem_210301_CreateOperation_004 |
||
Syn_210301_CreateOperation_001 |
||
22 Communication operations |
22.2.1 The send operation |
Sem_220201_SendOperation_001 |
Sem_220201_SendOperation_002 |
||
Sem_220201_SendOperation_003 |
||
Sem_220201_SendOperation_004 |
||
22.2.2 The receive operation |
Sem_220202_ReceiveOperation_001 |
|
Sem_220202_ReceiveOperation_002 |
||
Sem_220202_ReceiveOperation_003 |
||
Sem_220202_ReceiveOperation_004 |
||
Sem_220202_ReceiveOperation_005 |
||
22.2.3 The trigger operation |
Sem_220203_TriggerOperation_001 |
|
Sem_220203_TriggerOperation_002 |
||
Sem_220203_TriggerOperation_003 |
||
Sem_220203_TriggerOperation_004 |
||
Sem_220203_TriggerOperation_005 |
||
22.3.1 The call operation |
Sem_220301_CallOperation_001 |
|
Sem_220301_CallOperation_002 |
||
Sem_220301_CallOperation_003 |
||
Sem_220301_CallOperation_004 |
||
Sem_220301_CallOperation_005 |
||
Sem_220301_CallOperation_006 |
||
22.3.2 The getcall operation |
Sem_220302_GetcallOperation_001 |
|
Sem_220302_GetcallOperation_002 |
||
Sem_220302_GetcallOperation_003 |
||
Sem_220302_GetcallOperation_004 |
||
Sem_220302_GetcallOperation_005 |
||
22.3.3 The reply operation |
Sem_220303_ReplyOperation_001 |
|
Sem_220303_ReplyOperation_002 |
||
23 Timer operations |
Top level |
Sem_2302_timer_start_001 |
Sem_2302_timer_start_002 |
||
Sem_2302_timer_start_003 |
||
Sem_2302_timer_start_004 |
||
Syn_23_toplevel_001 |
||
Syn_23_toplevel_002 |
||
23.3 The stop timer operation |
Sem_2303_timer_stop_002 |
|
Sem_2303_timer_stop_003 |
||
Sem_2303_timer_stop_004 |
||
Syn_2303_timer_stop_006 |
||
Syn_2303_timer_stop_007 |
||
23.5 The running timer operation |
Sem_2305_timer_running_001 |
|
Sem_2305_timer_running_002 |
||
Sem_2305_timer_running_003 |
||
Sem_2305_timer_running_004 |
||
Syn_2306_timer_timeout_001 |
||
23.6 The timeout operation |
Sem_2306_timer_timeout_001 |
|
Sem_2306_timer_timeout_002 |
||
Sem_2306_timer_timeout_003 |
||
Sem_2306_timer_timeout_004 |
||
Sem_2306_timer_timeout_005 |
||
Sem_2306_timer_timeout_006 |
||
Sem_2306_timer_timeout_007 |
||
24 Test verdict operations |
Top level |
Sem_13_declaring_msg_002 |
Sem_13_declaring_msg_003 |
||
Sem_13_declaring_msg_004 |
||
Sem_13_declaring_msg_005 |
||
Sem_13_declaring_msg_006 |
||
Sem_13_declaring_msg_007 |
||
Sem_13_declaring_msg_008 |
||
Sem_13_declaring_msg_009 |
||
Sem_2402_setverdict_logging_001 |
||
Sem_2402_setverdict_params_001 |
||
Sem_2402_setverdict_params_002 |
||
Sem_2402_setverdict_params_003 |
||
Syn_24_toplevel_001 |
||
Syn_24_toplevel_002 |
||
Syn_24_toplevel_003 |
||
24.1 The verdict mechanism |
Sem_2401_GlobalVerdict_001 |
|
Sem_2401_GlobalVerdict_002 |
||
Sem_2401_GlobalVerdict_003 |
||
Sem_2401_GlobalVerdict_004 |
||
Sem_2401_GlobalVerdict_005 |
||
Sem_2401_GlobalVerdict_006 |
||
Sem_2401_GlobalVerdict_007 |
||
Sem_2401_GlobalVerdict_008 |
||
Sem_2401_GlobalVerdict_009 |
||
Sem_2401_GlobalVerdict_010 |
||
Sem_2401_GlobalVerdict_011 |
||
Sem_2401_GlobalVerdict_012 |
||
Sem_2401_InitiallyNone_001 |
||
Sem_2401_LocalVerdict_001 |
||
Sem_2401_LocalVerdict_002 |
||
Sem_2401_LocalVerdict_003 |
||
Sem_2401_LocalVerdict_004 |
||
Sem_2401_LocalVerdict_005 |
||
Sem_2401_LocalVerdict_006 |
||
Sem_2401_LocalVerdict_007 |
||
Sem_2401_LocalVerdict_008 |
||
Sem_2401_LocalVerdict_009 |
||
Sem_2401_LocalVerdict_010 |
||
Sem_2401_LocalVerdict_011 |
||
Sem_2401_LocalVerdict_012 |
||
Syn_2401_FiveValues_001 |
||
24.3 The getverdict mechanism |
Sem_2403_getverdict_001 |
|
Sem_2403_getverdict_002 |
||
Sem_2403_getverdict_003 |
||
Sem_2403_getverdict_004 |
||
Sem_2403_getverdict_005 |
||
26 Module control |
Top level |
Syn_26_ModuleControl_001 |
Syn_26_ModuleControl_002 |
||
Syn_26_ModuleControl_003 |
||
Syn_26_ModuleControl_004 |
||
Syn_26_ModuleControl_005 |
||
Syn_26_ModuleControl_006 |
||
Syn_26_ModuleControl_007 |
||
Syn_26_ModuleControl_008 |
||
Syn_26_ModuleControl_009 |
||
Syn_26_ModuleControl_010 |
||
Syn_26_ModuleControl_011 |
||
Syn_26_ModuleControl_012 |
||
Syn_26_ModuleControl_013 |
||
Syn_26_ModuleControl_014 |
||
Syn_26_ModuleControl_015 |
||
Syn_26_ModuleControl_016 |
||
Syn_26_ModuleControl_017 |
||
26.1 The execute statement |
Sem_2601_ExecuteStatement_001 |
|
Sem_2601_ExecuteStatement_002 |
||
Sem_2601_ExecuteStatement_003 |
||
Sem_2601_ExecuteStatement_004 |
||
Sem_2601_ExecuteStatement_005 |
||
Sem_2601_ExecuteStatement_006 |
||
Sem_2601_ExecuteStatement_007 |
||
Sem_2601_ExecuteStatement_008 |
||
Sem_2601_ExecuteStatement_009 |
||
26.2 The control part |
Sem_2602_TheControlPart_001 |
|
Sem_2602_TheControlPart_002 |
||
Sem_2602_TheControlPart_003 |
||
27 Specifying attributes |
27.1.1 Scope of attributes |
Syn_270101_ScopeOfAttributes_001 |
Syn_270101_ScopeOfAttributes_002 |
||
Syn_270101_ScopeOfAttributes_003 |
||
Syn_270101_ScopeOfAttributes_004 |
||
27.7 Optional attributes |
Sem_2707_OptionalAttributes_001 |
|
Sem_2707_OptionalAttributes_002 |
||
Sem_2707_OptionalAttributes_003 |
||
Sem_2707_OptionalAttributes_004 |
||
Sem_2707_OptionalAttributes_005 |
||
Sem_2707_OptionalAttributes_006 |
||
Sem_2707_OptionalAttributes_007 |
||
Syn_2707_OptionalAttributes_001 |
||
B Matching incoming values |
B.1.1 Matching specific values |
Sem_B0101_matching_specific_value_001 |
Sem_B0101_matching_specific_value_002 |
||
Sem_B0101_matching_specific_value_003 |
||
Sem_B0101_matching_specific_value_004 |
||
Sem_B0101_matching_specific_value_005 |
||
Sem_B0101_matching_specific_value_006 |
||
Sem_B0101_matching_specific_value_007 |
||
Sem_B0101_matching_specific_value_008 |
||
Sem_B0101_matching_specific_value_009 |
||
Sem_B0101_matching_specific_value_010 |
||
Sem_B0101_matching_specific_value_011 |
||
B.1.2.1 Value list |
Sem_B010201_value_list_001 |
|
B.1.2.2 Complemented value list |
Sem_B010202_complemented_value_list_001 |
|
Sem_B010202_complemented_value_list_002 |
||
Sem_B010202_complemented_value_list_003 |
||
Sem_B010202_complemented_value_list_004 |
||
Sem_B010202_complemented_value_list_005 |
||
Sem_B010202_complemented_value_list_006 |
||
B.1.2.3 Any value |
Sem_B010203_any_value_001 |
|
Sem_B010203_any_value_002 |
||
B.1.2.4 Any value or none |
Sem_B010204_any_value_or_none_001 |
|
B.1.2.5 Value range |
Sem_B010205_value_range_001 |
|
Sem_B010205_value_range_002 |
||
Sem_B010205_value_range_003 |
||
Sem_B010205_value_range_004 |
||
Sem_B010205_value_range_005 |
||
Sem_B010205_value_range_006 |
||
Sem_B010205_value_range_007 |
||
Sem_B010205_value_range_008 |
||
B.1.2.6 SuperSet |
Sem_B010206_superset_001 |
|
Sem_B010206_superset_002 |
||
Sem_B010206_superset_003 |
||
B.1.2.7 SubSet |
Sem_B010207_subset_001 |
|
Sem_B010207_subset_002 |
||
Sem_B010207_subset_003 |
||
B.1.3.1 Any element |
Sem_B010301_any_element_001 |
|
Sem_B010301_any_element_002 |
||
Sem_B010301_any_element_003 |
||
Sem_B010301_any_element_004 |
||
Sem_B010301_any_element_005 |
||
Sem_B010301_any_element_006 |
||
Sem_B010301_any_element_007 |
||
Sem_B010301_any_element_008 |
||
B.1.3.2 Any number of elements of no element |
Sem_B010302_any_number_of_elements_or_none_001 |
|
Sem_B010302_any_number_of_elements_or_none_002 |
||
Sem_B010302_any_number_of_elements_or_none_003 |
||
B.1.3.3 Permutation |
Sem_B010303_permutation_001 |
|
Sem_B010303_permutation_002 |
||
Sem_B010303_permutation_003 |
||
Sem_B010303_permutation_004 |
||
Sem_B010303_permutation_005 |
||
B.1.4.1 Length restrictions |
Sem_B010401_length_restrictions_001 |
|
Sem_B010401_length_restrictions_002 |
||
B.1.4.2 The ifpresent indicator |
Sem_B010402_ifPresent_indicator_001 |
|
Sem_B010402_ifPresent_indicator_002 |
||
B.1.5.1 Set expression |
Sem_B010501_set_expression_001 |
|
Sem_B010501_set_expression_002 |
||
Sem_B010501_set_expression_003 |
||
Sem_B010501_set_expression_004 |
||
Sem_B010501_set_expression_005 |
||
B.1.5.2 Reference expression |
Sem_B010502_reference_expression_009 |
|
B.1.5.3 Match expression n times |
Sem_B010503_match_n_times_001 |
|
Sem_B010503_match_n_times_002 |
||
Sem_B010503_match_n_times_003 |
||
Sem_B010503_match_n_times_004 |
||
Sem_B010503_match_n_times_005 |
||
B.1.5.4 Match a referenced character set |
Sem_B010504_match_referenced_characters_001 |
|
Sem_B010504_match_referenced_characters_002 |
||
Sem_B010504_match_referenced_characters_003 |
||
Sem_B010504_match_referenced_characters_004 |
||
Sem_B010504_match_referenced_characters_005 |
||
Sem_B010504_match_referenced_characters_006 |
||
Sem_B010504_match_referenced_characters_007 |
Table B.2: Test suite structure, negative tests
5 Basic language elements |
Top level |
NegSyn_05_TopLevel_001 |
5.1 Identifiers and keywords |
NegSem_0501_Identifier_001 |
|
NegSyn_0501_Identifier_001 |
||
5.2 Scope rules |
NegSem_0502_Scope_001 |
|
NegSem_0502_Scope_002 |
||
NegSem_0502_Scope_003 |
||
5.2.2 Uniqueness of identifiers |
NegSem_050202_Uniqueness_001 |
|
NegSem_050202_Uniqueness_004 |
||
NegSem_050202_Uniqueness_005 |
||
NegSem_050202_Uniqueness_006 |
||
NegSem_050202_Uniqueness_007 |
||
NegSem_050202_Uniqueness_008 |
||
NegSem_050202_Uniqueness_009 |
||
NegSem_050202_Uniqueness_010 |
||
NegSem_050202_Uniqueness_011 |
||
NegSem_050202_Uniqueness_012 |
||
5.3 Ordering of language elements |
NegSem_0503_Ordering_001 |
|
NegSem_0503_Ordering_002 |
||
NegSem_0503_Ordering_003 |
||
5.4 Parameterization |
NegSem_0504_parametrization_incompatibility_001 |
|
NegSyn_0504_forbidden_parametrization_001 |
||
NegSyn_0504_forbidden_parametrization_002 |
||
6 Types and values |
6.1.0 Simple basic types and values |
NegSyn_060100_SimpleBasicTypes_001 |
NegSyn_060100_SimpleBasicTypes_002 |
||
NegSyn_060100_SimpleBasicTypes_003 |
||
NegSyn_060100_SimpleBasicTypes_004 |
||
NegSyn_060100_SimpleBasicTypes_005 |
||
NegSyn_060100_SimpleBasicTypes_006 |
||
6.1.1 Basic string types and values |
NegSyn_060101_TopLevel_001 |
|
NegSyn_060101_TopLevel_002 |
||
NegSyn_060101_TopLevel_003 |
||
NegSyn_060101_TopLevel_004 |
||
NegSyn_060101_TopLevel_005 |
||
NegSyn_060101_TopLevel_006 |
||
NegSyn_060101_TopLevel_007 |
||
NegSyn_060101_TopLevel_008 |
||
NegSyn_060101_TopLevel_009 |
||
NegSyn_060101_TopLevel_010 |
||
6.1.2.1 Lists of values |
NegSem_06010201_ListOfValues_001 |
|
NegSem_06010201_ListOfValues_002 |
||
NegSem_06010201_ListOfValues_003 |
||
NegSem_06010201_ListOfValues_004 |
||
NegSem_06010201_ListOfValues_005 |
||
NegSem_06010201_ListOfValues_006 |
||
6.1.2.2 Lists of types |
NegSem_06010202_ListOfTypes_001 |
|
6.1.2.3 Ranges |
NegSem_06010203_Ranges_001 |
|
NegSem_06010203_Ranges_002 |
||
NegSem_06010203_Ranges_003 |
||
NegSem_06010203_Ranges_004 |
||
NegSem_06010203_Ranges_005 |
||
NegSem_06010203_Ranges_006 |
||
NegSem_06010203_Ranges_007 |
||
NegSem_06010203_Ranges_008 |
||
NegSem_06010203_Ranges_009 |
||
NegSem_06010203_Ranges_010 |
||
NegSem_06010203_Ranges_011 |
||
NegSem_06010203_Ranges_012 |
||
NegSem_06010203_Ranges_013 |
||
NegSem_06010203_Ranges_014 |
||
NegSem_06010203_Ranges_015 |
||
NegSem_06010203_Ranges_016 |
||
NegSem_06010203_Ranges_017 |
||
6.1.2.4 String length restrictions |
NegSem_06010204_StringLenghtRestrict_001 |
|
NegSem_06010204_StringLenghtRestrict_002 |
||
6.1.2.5 Pattern subtyping of character string types |
NegSem_06010205_StringPattern_001 |
|
6.1.2.6.1 Mixing patterns, lists and ranges |
NegSem_0601020601_MixingSubtype_001 |
|
NegSem_0601020601_MixingSubtype_002 |
||
6.1.2.6.2 Using length restriction with other constraints |
NegSem_0601020602_StringMixing_001 |
|
NegSem_0601020602_StringMixing_002 |
||
NegSem_0601020602_StringMixing_003 |
||
NegSem_0601020602_StringMixing_004 |
||
NegSem_0601020602_StringMixing_005 |
||
NegSem_0601020602_StringMixing_006 |
||
6.2 Structured types and values |
NegSyn_0602_TopLevel_001 |
|
NegSyn_0602_TopLevel_002 |
||
NegSyn_0602_TopLevel_003 |
||
NegSyn_0602_TopLevel_004 |
||
NegSyn_0602_TopLevel_005 |
||
6.2.12 Addressing entities inside the SUT |
NegSem_060212_AddressingEntitiesInsideSut_001 |
|
6.3.1 Type compatibility of non-structured types |
NegSem_060301_non_structured_types_001 |
|
NegSem_060301_non_structured_types_002 |
||
NegSem_060301_non_structured_types_003 |
||
NegSem_060301_non_structured_types_004 |
||
NegSem_060301_non_structured_types_005 |
||
NegSem_060301_non_structured_types_006 |
||
NegSem_060301_non_structured_types_007 |
||
NegSem_060301_non_structured_types_008 |
||
NegSem_060301_non_structured_types_009 |
||
NegSem_060301_non_structured_types_010 |
||
NegSem_060301_non_structured_types_011 |
||
NegSem_060301_non_structured_types_012 |
||
6.3.2 Type compatibility of structured types |
NegSem_060302_structured_types_002 |
|
NegSem_060302_structured_types_003 |
||
NegSem_060302_structured_types_004 |
||
NegSem_060302_structured_types_005 |
||
NegSem_060302_structured_types_006 |
||
NegSem_060302_structured_types_007 |
||
NegSem_060302_structured_types_008 |
||
NegSem_060302_structured_types_009 |
||
NegSem_060302_structured_types_010 |
||
NegSem_060302_structured_types_011 |
||
6.3.2.1 Type compatibility of enumerated types |
NegSem_060302_structured_types_001 |
|
6.3.3 Type compatibility of component types |
NegSem_060303_component_types_001 |
|
NegSem_060303_component_types_002 |
||
8 Modules |
8.1 Definition of a module |
NegSyn_0801_DefinitionOfAModule_001 |
8.2.3.1 General format of import |
NegSem_08020301_GeneralFormatOfImport_001 |
|
NegSem_08020301_GeneralFormatOfImport_002 |
||
8.2.3.3 Importing groups |
NegSem_08020303_ImportingGroups_001 |
|
8.2.3.4 Importing definitions of the same kind |
NegSem_08020301_GeneralFormatOfImport_003 |
|
NegSem_08020301_GeneralFormatOfImport_004 |
||
8.2.3.5 Importing all definitions of a module |
NegSem_08020305_ImportingAllDefinitionsOfAModule_001 |
|
8.2.3.6 Import definitions from other TTCN-3 editions and from non-TTCN-3 modules |
NegSem_08020306_ImportingDefinitionsFromOtherT3EditionsAndFromNonT3Modules_001 |
|
8.2.3.7 Importing of import statements from TTCN-3 modules |
NegSem_08020307_ImportingOfImportStatementsFromT3Modules_001 |
|
NegSem_08020307_ImportingOfImportStatementsFromT3Modules_002 |
||
8.2.3.8 Compatibility of language specifications of imports |
NegSem_08020308_ImportingOfImportStatementsFromT3Modules_001 |
|
8.2.4 Definition of friend modules |
NegSem_080204_DefinitionOfFriendModules_001 |
|
NegSem_080204_DefinitionOfFriendModules_002 |
||
8.2.5 Visibility of definitions |
NegSem_080205_VisibilityOfDefinitions_001 |
|
NegSem_080205_VisibilityOfDefinitions_002 |
||
NegSem_080205_VisibilityOfDefinitions_003 |
||
NegSem_080205_VisibilityOfDefinitions_004 |
||
NegSem_080205_VisibilityOfDefinitions_005 |
||
8.3 Module control part |
NegSyn_0803_ModuleControlPart_001 |
|
10 Declaring constants |
Top level |
NegSem_10_Constants_001 |
11 Declaring variables |
11.1 Value variables |
NegSem_1101_ValueVars_001 |
NegSyn_1101_ValueVars_001 |
||
11.2 Template variables |
NegSem_1102_TemplateVars_001 |
|
NegSyn_1102_TemplateVars_001 |
||
12 Declaring timers |
Top level |
NegSem_12_toplevel_timer_001 |
NegSem_12_toplevel_timer_002 |
||
NegSem_12_toplevel_timer_003 |
||
NegSem_12_toplevel_timer_004 |
||
NegSem_12_toplevel_timer_005 |
||
NegSem_12_toplevel_timer_006 |
||
NegSem_12_toplevel_timer_007 |
||
NegSem_12_toplevel_timer_008 |
||
NegSyn_12_toplevel_timer_001 |
||
NegSyn_12_toplevel_timer_002 |
||
NegSyn_12_toplevel_timer_003 |
||
NegSyn_12_toplevel_timer_005 |
||
NegSyn_12_toplevel_timer_006 |
||
NegSyn_12_toplevel_timer_007 |
||
15 Declaring templates |
Top level |
NegSem_15_TopLevel_001 |
15.5 Modified templates |
NegSem_1505_ModifiedTemplates_001 |
|
NegSem_1505_ModifiedTemplates_002 |
||
NegSem_1505_ModifiedTemplates_003 |
||
NegSem_1505_ModifiedTemplates_004 |
||
NegSem_1505_ModifiedTemplates_005 |
||
NegSem_1505_ModifiedTemplates_006 |
||
NegSem_1505_ModifiedTemplates_007 |
||
15.6.1 Referencing individual string elements |
NegSem_150601_ReferencingIndividualStringElements_001 |
|
15.6.2 Referencing record and set fields |
NegSem_150602_ReferencingRecordAndSetFields_001 |
|
NegSem_150602_ReferencingRecordAndSetFields_002 |
||
NegSem_150602_ReferencingRecordAndSetFields_003 |
||
NegSem_150602_ReferencingRecordAndSetFields_004 |
||
NegSem_150602_ReferencingRecordAndSetFields_005 |
||
15.6.3 Referencing record of and set of elements |
NegSem_150603_ReferencingRecordOfAndSetElements_001 |
|
NegSem_150603_ReferencingRecordOfAndSetElements_002 |
||
NegSem_150603_ReferencingRecordOfAndSetElements_003 |
||
NegSem_150603_ReferencingRecordOfAndSetElements_004 |
||
NegSem_150603_ReferencingRecordOfAndSetElements_005 |
||
NegSem_150603_ReferencingRecordOfAndSetElements_006 |
||
NegSem_150603_ReferencingRecordOfAndSetElements_007 |
||
NegSem_150603_ReferencingRecordOfAndSetElements_008 |
||
NegSem_150603_ReferencingRecordOfAndSetElements_009 |
||
15.8 Template restrictions |
NegSem_1508_TemplateRestrictions_001 |
|
NegSem_1508_TemplateRestrictions_002 |
||
NegSem_1508_TemplateRestrictions_003 |
||
NegSem_1508_TemplateRestrictions_004 |
||
NegSem_1508_TemplateRestrictions_005 |
||
NegSem_1508_TemplateRestrictions_006 |
||
NegSem_1508_TemplateRestrictions_007 |
||
NegSem_1508_TemplateRestrictions_008 |
||
NegSem_1508_TemplateRestrictions_009 |
||
NegSem_1508_TemplateRestrictions_010 |
||
NegSem_1508_TemplateRestrictions_011 |
||
NegSem_1508_TemplateRestrictions_012 |
||
NegSem_1508_TemplateRestrictions_013 |
||
NegSem_1508_TemplateRestrictions_014 |
||
NegSem_1508_TemplateRestrictions_015 |
||
NegSem_1508_TemplateRestrictions_016 |
||
NegSem_1508_TemplateRestrictions_017 |
||
NegSem_1508_TemplateRestrictions_018 |
||
NegSem_1508_TemplateRestrictions_019 |
||
NegSem_1508_TemplateRestrictions_020 |
||
NegSem_1508_TemplateRestrictions_021 |
||
NegSem_1508_TemplateRestrictions_022 |
||
NegSem_1508_TemplateRestrictions_023 |
||
NegSem_1508_TemplateRestrictions_024 |
||
NegSem_1508_TemplateRestrictions_025 |
||
NegSem_1508_TemplateRestrictions_026 |
||
15.9 Match operation |
NegSem_1509_MatchOperation_001 |
|
15.10 Valueof operation |
NegSem_1510_ValueOfOperation_001 |
|
NegSem_1510_ValueOfOperation_002 |
||
NegSem_1510_ValueOfOperation_003 |
||
NegSem_1510_ValueOfOperation_004 |
||
15.11 Concatenating templates of string and list types |
NegSem_1511_ConcatenatingTemplatesOfStringAndListTypes_001 |
|
NegSem_1511_ConcatenatingTemplatesOfStringAndListTypes_002 |
||
NegSem_1511_ConcatenatingTemplatesOfStringAndListTypes_003 |
||
NegSem_1511_ConcatenatingTemplatesOfStringAndListTypes_004 |
||
NegSem_1511_ConcatenatingTemplatesOfStringAndListTypes_005 |
||
16 Functions, altsteps and testcases |
16.1 Functions |
NegSem_1601_toplevel_001 |
NegSem_1601_toplevel_002 |
||
NegSem_1601_toplevel_003 |
||
NegSem_1601_toplevel_004 |
||
NegSem_1601_toplevel_005 |
||
16.1.2 Predefined functions |
NegSem_160102_predefined_functions_001 |
|
NegSem_160102_predefined_functions_002 |
||
NegSem_160102_predefined_functions_003 |
||
NegSem_160102_predefined_functions_004 |
||
NegSem_160102_predefined_functions_005 |
||
NegSem_160102_predefined_functions_006 |
||
NegSem_160102_predefined_functions_007 |
||
NegSem_160102_predefined_functions_008 |
||
NegSem_160102_predefined_functions_009 |
||
NegSem_160102_predefined_functions_010 |
||
NegSem_160102_predefined_functions_011 |
||
NegSem_160102_predefined_functions_014 |
||
NegSem_160102_predefined_functions_015 |
||
NegSem_160102_predefined_functions_016 |
||
NegSem_160102_predefined_functions_017 |
||
NegSem_160102_predefined_functions_018 |
||
NegSem_160102_predefined_functions_019 |
||
NegSem_160102_predefined_functions_020 |
||
NegSem_160102_predefined_functions_021 |
||
NegSem_160102_predefined_functions_022 |
||
NegSem_160102_predefined_functions_023 |
||
NegSem_160102_predefined_functions_024 |
||
NegSem_160102_predefined_functions_025 |
||
NegSem_160102_predefined_functions_026 |
||
NegSem_160102_predefined_functions_027 |
||
NegSem_160102_predefined_functions_028 |
||
NegSem_160102_predefined_functions_029 |
||
NegSem_160102_predefined_functions_030 |
||
NegSem_160102_predefined_functions_031 |
||
16.1.3 External functions |
NegSem_160103_external_functions_001 |
|
NegSem_160103_external_functions_002 |
||
NegSem_160103_external_functions_003 |
||
16.1.4 Invoking function from specific places |
NegSem_160104_invoking_functions_from_specific_places_001 |
|
NegSem_160104_invoking_functions_from_specific_places_002 |
||
NegSem_160104_invoking_functions_from_specific_places_003 |
||
NegSem_160104_invoking_functions_from_specific_places_004 |
||
16.2 Altsteps |
NegSem_1602_toplevel_001 |
|
NegSem_1602_toplevel_002 |
||
NegSem_1602_toplevel_003 |
||
NegSem_1602_toplevel_004 |
||
NegSem_1602_toplevel_005 |
||
NegSem_1602_toplevel_006 |
||
NegSyn_1602_toplevel_001 |
||
16.2.1 Invoking altsteps |
NegSem_160201_invoking_altsteps_001 |
|
16.3 Test cases |
NegSem_1603_testcases_001 |
|
NegSem_1603_testcases_002 |
||
19 Basic program statements |
19.1 Assignments |
NegSem_1901_assignments_001 |
NegSem_1901_assignments_002 |
||
NegSem_1901_assignments_003 |
||
NegSyn_1901_assignments_001 |
||
19.2 The if-else statement |
NegSyn_1902_if_else_statement_001 |
|
19.4 The for statement |
NegSem_1904_for_statement_001 |
|
19.5 The while statement |
NegSem_1905_while_statement_001 |
|
19.6 The do-while statement |
NegSem_1906_do_while_statement_001 |
|
19.7 The label statement |
NegSem_1907_label_statement_001 |
|
NegSyn_1907_label_statement_001 |
||
NegSyn_1907_label_statement_002 |
||
19.8 The goto statement |
NegSem_1908_goto_statement_001 |
|
NegSem_1908_goto_statement_002 |
||
NegSem_1908_goto_statement_003 |
||
19.10 The return statement |
NegSem_1910_return_statement_001 |
|
19.11 The log statement |
NegSem_1911_log_statement_001 |
|
20 Statement and operations for alternative behaviours |
20.3 The repeat statement |
NegSem_2003_the_repeat_statement_001 |
20.4 The interleave statement |
NegSem_2004_InterleaveStatement_001 |
|
NegSyn_2004_InterleaveStatement_001 |
||
NegSyn_2004_InterleaveStatement_002 |
||
21 Configuration operations |
21.3.1 The create operation |
NegSem_210301_CreateOperation_001 |
NegSem_210301_CreateOperation_002 |
||
NegSem_210301_CreateOperation_003 |
||
22 Communication operations |
22.2.1 The send operation |
NegSem_220201_SendOperation_001 |
NegSem_220201_SendOperation_002 |
||
NegSem_220201_SendOperation_003 |
||
NegSem_220201_SendOperation_004 |
||
22.2.2 The receive operation |
NegSem_220202_ReceiveOperation_001 |
|
22.2.3 The trigger operation |
NegSem_220203_TriggerOperation_001 |
|
22.3.1 The call operation |
NegSem_220301_CallOperation_001 |
|
NegSem_220301_CallOperation_002 |
||
22.3.2 The getcall operation |
NegSem_220302_GetcallOperation_001 |
|
NegSem_220302_GetcallOperation_002 |
||
NegSem_220302_GetcallOperation_003 |
||
22.3.3 The reply operation |
NegSem_220303_ReplyOperation_001 |
|
23 Timer operations |
Top level |
NegSem_2302_timer_start_001 |
NegSem_2302_timer_start_002 |
||
NegSem_2302_timer_start_003 |
||
NegSem_2302_timer_start_004 |
||
NegSyn_2302_timer_start_001 |
||
NegSyn_2302_timer_start_002 |
||
NegSyn_2302_timer_start_003 |
||
NegSyn_2302_timer_start_004 |
||
NegSyn_2302_timer_start_005 |
||
NegSyn_2302_timer_start_006 |
||
NegSyn_2302_timer_start_007 |
||
NegSyn_2302_timer_start_008 |
||
NegSyn_2302_timer_start_009 |
||
NegSyn_2302_timer_start_010 |
||
NegSyn_2302_timer_start_011 |
||
NegSyn_2302_timer_start_012 |
||
NegSyn_2302_timer_start_013 |
||
NegSem_23_toplevel_001 |
||
NegSem_23_toplevel_002 |
||
NegSyn_23_toplevel_001 |
||
NegSyn_23_toplevel_002 |
||
23.3 The stop timer operation |
NegSyn_2303_timer_stop_001 |
|
NegSyn_2303_timer_stop_002 |
||
NegSyn_2303_timer_stop_003 |
||
NegSyn_2303_timer_stop_004 |
||
NegSyn_2303_timer_stop_005 |
||
NegSyn_2303_timer_stop_006 |
||
23.5 The running timer operation |
NegSyn_2305_timer_running_001 |
|
NegSyn_2305_timer_running_002 |
||
NegSyn_2305_timer_running_003 |
||
NegSyn_2305_timer_running_004 |
||
NegSyn_2305_timer_running_005 |
||
NegSyn_2305_timer_running_006 |
||
23.6 The timeout operation |
NegSyn_2306_timer_timeout_001 |
|
NegSyn_2306_timer_timeout_002 |
||
NegSyn_2306_timer_timeout_003 |
||
NegSyn_2306_timer_timeout_004 |
||
NegSyn_2306_timer_timeout_005 |
||
NegSyn_2306_timer_timeout_006 |
||
NegSyn_2306_timer_timeout_007 |
||
24 Test verdict operations |
Top level |
NegSem_2402_setverdict_params_001 |
NegSem_2402_setverdict_params_002 |
||
NegSem_2402_setverdict_params_003 |
||
NegSem_2402_setverdict_params_004 |
||
NegSem_2402_setverdict_params_005 |
||
NegSem_24_toplevel_001 |
||
NegSem_24_toplevel_002 |
||
NegSem_24_toplevel_003 |
||
NegSem_24_toplevel_004 |
||
NegSem_24_toplevel_005 |
||
24.1 The verdict mechanism |
NegSem_2401_SetverdictError |
|
26 Module control |
26.1 The execute statement |
NegSem_2601_ExecuteStatement_001 |
NegSem_2601_ExecuteStatement_002 |
||
NegSem_2601_ExecuteStatement_003 |
||
NegSem_2601_ExecuteStatement_004 |
||
26.2 The control part |
NegSem_2602_TheControlPart_001 |
|
NegSem_2602_TheControlPart_002 |
||
NegSem_2602_TheControlPart_003 |
||
NegSem_2602_TheControlPart_004 |
||
NegSem_2602_TheControlPart_005 |
||
NegSem_2602_TheControlPart_006 |
||
NegSem_2602_TheControlPart_007 |
||
NegSem_2602_TheControlPart_008 |
||
NegSem_2602_TheControlPart_009 |
||
NegSem_2602_TheControlPart_010 |
||
NegSem_2602_TheControlPart_011 |
||
NegSem_2602_TheControlPart_012 |
||
NegSem_2602_TheControlPart_013 |
||
NegSem_2602_TheControlPart_014 |
||
NegSem_2602_TheControlPart_015 |
||
NegSem_2602_TheControlPart_016 |
||
NegSem_2602_TheControlPart_017 |
||
NegSem_2602_TheControlPart_018 |
||
NegSem_2602_TheControlPart_019 |
||
NegSem_2602_TheControlPart_020 |
||
NegSem_2602_TheControlPart_021 |
||
NegSem_2602_TheControlPart_022 |
||
NegSem_2602_TheControlPart_023 |
||
NegSem_2602_TheControlPart_024 |
||
NegSem_2602_TheControlPart_025 |
||
NegSem_2602_TheControlPart_026 |
||
NegSem_2602_TheControlPart_027 |
||
NegSem_2602_TheControlPart_028 |
||
NegSem_2602_TheControlPart_029 |
||
NegSem_2602_TheControlPart_030 |
||
NegSem_2602_TheControlPart_031 |
||
NegSem_2602_TheControlPart_032 |
||
NegSem_2602_TheControlPart_033 |
||
NegSem_2602_TheControlPart_034 |
||
NegSem_2602_TheControlPart_035 |
||
27 Specifying attributes |
27.7 Optional attributes |
NegSem_2707_OptionalAttributes_001 |
NegSem_2707_OptionalAttributes_002 |
||
NegSem_2707_OptionalAttributes_003 |
||
B Matching incoming values |
B.1.2.4 Any value or none |
NegSem_B010204_any_value_or_none_001 |
NegSem_B010204_any_value_or_none_002 |
||
B.1.2.5 Value range |
NegSem_B010205_value_range_001 |
|
NegSem_B010205_value_range_002 |
||
NegSem_B010205_value_range_003 |
||
B.1.2.6 SuperSet |
NegSem_B010206_superset_001 |
|
NegSem_B010206_superset_002 |
||
B.1.2.7 SubSet |
NegSem_B010207_subset_001 |
|
NegSem_B010207_subset_002 |
||
B.1.3.3 Permutation |
NegSem_B010303_permutation_001 |
|
B.1.4.1 Length restrictions |
NegSem_B010401_length_restrictions_001 |
|
NegSem_B010401_length_restrictions_002 |
||
NegSem_B010401_length_restrictions_003 |
||
NegSem_B010401_length_restrictions_004 |
||
B.1.4.2 The ifpresent indicator |
NegSem_B010402_ifPresent_indicator_001 |
|
B.1.5.1 Set expression |
NegSem_B010501_set_expression_001 |
|
B.1.5.4 Match a referenced character set |
NegSem_B010504_match_referenced_characters_001 |