Commit 5abb5f01 authored by stancakapost's avatar stancakapost
Browse files

test case validation

parent be9b16f0

.settings/com.testingtech.ttworkbench.core.prefs

+9 −3
Original line number Diff line number Diff line 
#Mon Oct 04 16:43:01 CEST 2010

#Thu Oct 07 13:51:40 CEST 2010

eclipse.preferences.version=1

keep_migrated_project_properties=true

reporting=2

standard-compliance=error

standard-compliance=warning

tt3-plugins-path=

ttcn3-version=7

ttcn3.continue_on_fail=true

ttcn3.gen_debug_code_record_init=false

ttcn3.generate_mlf=false

ttcn3.java_compile_all_at_once=true

ttcn3.main_module=

ttcn3.mlf_class=com.testingtech.ttcn.tri.PluginTestAdapter

ttcn3.mlf_class_builtin=com.testingtech.ttcn.tri.PluginTestAdapter

ttcn3.mlf_jar=

ttcn3.mlf_radiobutton=1

ttcn3.mlf_ta_config=taconfig.xml

ttcn3.output_folder=//PROJECT_NAME//ttcn3build

ttcn3.output_same_as_src=false

ttcn3.source_folders=//PROJECT_NAME//12_timers\n//PROJECT_NAME//24_test_verdict_operations\n//PROJECT_NAME//05_basic_language_elements\n//PROJECT_NAME//21_configuration_operations\n//PROJECT_NAME//22_communication_operations\n//PROJECT_NAME//07_expressions\n//PROJECT_NAME//08_modules\n//PROJECT_NAME//25_external_actions\n//PROJECT_NAME//16_functions_altsteps_testcases\n//PROJECT_NAME//19_basic_program_statements\n//PROJECT_NAME//27_specifying_attributes\n//PROJECT_NAME//11_variables\n//PROJECT_NAME//18_overview_program_statements_and_operations\n//PROJECT_NAME//09_test_configurations\n//PROJECT_NAME//26_module_control\n//PROJECT_NAME//06_types_and_values\n//PROJECT_NAME//23_timer_operations\n//PROJECT_NAME//14_procedure_signatures\n//PROJECT_NAME//15_templates\n//PROJECT_NAME//13_messages\n//PROJECT_NAME//20_statement_and_operations_for_alt\n//PROJECT_NAME//10_constants\n//PROJECT_NAME//17_void\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values/06010101_accessing_individual_string_elements\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060100_simple_basic_types_and_values\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values\n//PROJECT_NAME//06_types_and_values/0603_type_compatibility\n//PROJECT_NAME//06_types_and_values/0604_type_synonym\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010201_lists_of_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010202_lists_of_types\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010203_ranges\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010204_string_length_restrictions\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010205_pattern_subtyping_of_character_string_types\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010206_mixing_subtyping_mechanisms\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010206_mixing_subtyping_mechanisms/0601020601_mixing_patterns_lists_and_ranges\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010206_mixing_subtyping_mechanisms/0601020601_using_length_restriction_with_other_constraints\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values/060101_toplevel

ttcn3.source_folders=//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060207_arrays\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060210_component_types\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010205_pattern_subtyping_of_character_string_types\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060204_enumerated_type_and_values\n//PROJECT_NAME//15_templates/1507_template_matching_mechanisms/150704_special_symbols_which_describe_attributes_of_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms/0601020602_using_length_restriction_with_other_constraints\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010201_lists_of_values\n//PROJECT_NAME//15_templates/1506_referencing_elements_of_templates_or_template_fields/150602_referencing_record_and_set_fields\n//PROJECT_NAME//15_templates/15_toplevel\n//PROJECT_NAME//07_expressions\n//PROJECT_NAME//05_basic_language_elements/0501_identifiers_and_keywords\n//PROJECT_NAME//05_basic_language_elements/0504_parametrization/050402_actual_parameters\n//PROJECT_NAME//07_expressions/0701_operators/070102_list_operator\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010204_string_length_restrictions\n//PROJECT_NAME//06_types_and_values/0604_type_synonym\n//PROJECT_NAME//16_functions_altsteps_testcases\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060201_record_and_type_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms/0601020601_mixing_patterns_lists_and_ranges\n//PROJECT_NAME//27_specifying_attributes\n//PROJECT_NAME//05_basic_language_elements/0502_scope_rules\n//PROJECT_NAME//07_expressions/0701_operators\n//PROJECT_NAME//08_modules/0802_module_definitions_part\n//PROJECT_NAME//05_basic_language_elements/0502_scope_rules/050202_Uniqueness_of_identifiers\n//PROJECT_NAME//07_expressions/0702_field_references_and_list_elements\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060210_component_types/06021002_reuse_component_type\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/0602_toplevel\n//PROJECT_NAME//26_module_control\n//PROJECT_NAME//05_basic_language_elements/0502_scope_rules/0502_toplevel\n//PROJECT_NAME//06_types_and_values\n//PROJECT_NAME//07_expressions/07_toplevel\n//PROJECT_NAME//23_timer_operations\n//PROJECT_NAME//15_templates/1503_global_and_local_templates\n//PROJECT_NAME//C_predefined_functions\n//PROJECT_NAME//05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040101_parameters_of_kind_value\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values/06010101_accessing_individual_string_elements\n//PROJECT_NAME//17_void\n//PROJECT_NAME//10_constants\n//PROJECT_NAME//15_templates/1505_modified_templates\n//PROJECT_NAME//15_templates/1510_valueof_operation\n//PROJECT_NAME//05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040104_parameters_of_kind_port\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080203_importing_from_modules/08020303_importing_groups\n//PROJECT_NAME//21_configuration_operations\n//PROJECT_NAME//15_templates/1506_referencing_elements_of_templates_or_template_fields\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080205_visibility_of_definitions\n//PROJECT_NAME//D_preprocessing_macros\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080203_importing_from_modules/08020304_importing_definitions_of_the_same_kind\n//PROJECT_NAME//15_templates/1506_referencing_elements_of_templates_or_template_fields/150603_referencing_record_of_and_set_elements\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080203_importing_from_modules/08020306_importing_definitions_from_other_t3_editions_and_non_t3_modules\n//PROJECT_NAME//07_expressions/0701_operators/070104_logical_operators\n//PROJECT_NAME//11_variables\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060208_default_type\n//PROJECT_NAME//05_basic_language_elements/0504_parametrization/050401_formal_parameters\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080204_definition_of_friend_modules\n//PROJECT_NAME//15_templates/1507_template_matching_mechanisms\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060100_simple_basic_types_and_values\n//PROJECT_NAME//09_test_configurations\n//PROJECT_NAME//05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040103_parameters_of_kind_timer\n//PROJECT_NAME//15_templates/1501_declaring_message_templates\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010203_ranges\n//PROJECT_NAME//08_modules/0802_module_definitions_part/0802_toplevel\n//PROJECT_NAME//08_modules/0803_module_control_part\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060213_subtyping_of_structured_types\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080203_importing_from_modules/08020307_importing_of_import_statements_from_t3_modules\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060203_records_and_sets_of_single_types\n//PROJECT_NAME//15_templates\n//PROJECT_NAME//24_test_verdict_operations\n//PROJECT_NAME//05_basic_language_elements/0504_parametrization\n//PROJECT_NAME//07_expressions/0701_operators/070101_arithmetic_operators\n//PROJECT_NAME//15_templates/1509_match_operation\n//PROJECT_NAME//15_templates/1507_template_matching_mechanisms/150701_specific_values\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080203_importing_from_modules/08020301_general_format_of_import\n//PROJECT_NAME//07_expressions/0701_operators/070107_rotate_operators\n//PROJECT_NAME//05_basic_language_elements/05_toplevel\n//PROJECT_NAME//25_external_actions\n//PROJECT_NAME//15_templates/1506_referencing_elements_of_templates_or_template_fields/150601_referencing_individual_string_elements\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060212_addressing_entities_inside_sut\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080201_module_parameters\n//PROJECT_NAME//18_overview_program_statements_and_operations\n//PROJECT_NAME//15_templates/1504_inline_templates\n//PROJECT_NAME//11_variables/1101_value_variables\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060211_component_references\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080202_groups_of_definitions\n//PROJECT_NAME//05_basic_language_elements/0505_cyclic_definitions\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080203_importing_from_modules/08020305_importing_all_definitions_of_a_module\n//PROJECT_NAME//E_library_of_useful_types\n//PROJECT_NAME//15_templates/1507_template_matching_mechanisms/150703_special_symbols_that_can_be_used_inside_values\n//PROJECT_NAME//14_procedure_signatures\n//PROJECT_NAME//06_types_and_values/0603_type_compatibility/060301_non-structured_types\n//PROJECT_NAME//B_matching_incoming_values\n//PROJECT_NAME//20_statement_and_operations_for_alt\n//PROJECT_NAME//13_messages\n//PROJECT_NAME//05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040102_parameters_of_kind_template\n//PROJECT_NAME//07_expressions/0701_operators/070105_bitwise_operators\n//PROJECT_NAME//12_timers\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060206_anytype\n//PROJECT_NAME//05_basic_language_elements\n//PROJECT_NAME//06_types_and_values/0603_type_compatibility\n//PROJECT_NAME//15_templates/1507_template_matching_mechanisms/1507_toplevel\n//PROJECT_NAME//11_variables/1102_template_variables\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values\n//PROJECT_NAME//15_templates/1502_declaring_signature_templates\n//PROJECT_NAME//22_communication_operations\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010202_lists_of_types\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060205_unions\n//PROJECT_NAME//05_basic_language_elements/0502_scope_rules/050201_Scope_of_parameters\n//PROJECT_NAME//08_modules/08_toplevel\n//PROJECT_NAME//08_modules\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060202_set_type_and_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values/060101_toplevel\n//PROJECT_NAME//07_expressions/0701_operators/070106_shift_operators\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080203_importing_from_modules\n//PROJECT_NAME//19_basic_program_statements\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060210_component_types/06021001_component_type_definition\n//PROJECT_NAME//07_expressions/0701_operators/070103_relational_operators\n//PROJECT_NAME//05_basic_language_elements/0503_ordering_of_declarations\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080203_importing_from_modules/08020308_compatibility_of_language_specifications_in_imports\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms\n//PROJECT_NAME//15_templates/1508_template_restrictions\n//PROJECT_NAME//15_templates/1507_template_matching_mechanisms/150702_special_symbols_that_can_be_used_instead_of_values\n//PROJECT_NAME//05_basic_language_elements/0504_parametrization/0504_toplevel\n//PROJECT_NAME//15_templates/1511_concatenating_templates_of_string_and_list_types\n//PROJECT_NAME//08_modules/0801_definition_of_a_module\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060209_comm_port_types\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080203_importing_from_modules/08020302_importing_single_definitions

ttcn3.use_bigint=true

ttcn3.use_destination_path_for_ttcn3view=true

05_basic_language_elements/0502_scope_rules/050202_Uniqueness_of_identifiers/NegSem_050202_Uniqueness_002.ttcn

+2 −1
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 409

 ** @version  $Rev$

 ** @version  $Rev: 20 $

 ** @purpose  1:5.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope

 ** @verdict  pass reject

 ***************************************************/
@@ -15,6 +15,7 @@ module NegSem_050202_Uniqueness_002 { 


	testcase TC_NegSem_050202_Uniqueness_002() runs on GeneralComp {

		f_funcScope();

		setverdict(pass);

	}

	control {

		execute(TC_NegSem_050202_Uniqueness_002());

05_basic_language_elements/0502_scope_rules/050202_Uniqueness_of_identifiers/NegSem_050202_Uniqueness_003.ttcn

+2 −1
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 409

 ** @version  $Rev$

 ** @version  $Rev: 20 $

 ** @purpose  1:5.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope

 ** @verdict  pass reject

 ***************************************************/
@@ -15,6 +15,7 @@ module NegSem_050202_Uniqueness_003 { 
	testcase TC_NegSem_050202_Uniqueness_003() runs on GeneralComp {

		const integer cl_int := 0;

		f_funcScope();

		setverdict(pass);

	}

	control {

		execute(TC_NegSem_050202_Uniqueness_003());

05_basic_language_elements/0503_ordering_of_declarations/Sem_0503_Ordering_003.ttcn

+1 −0
Original line number Diff line number Diff line
@@ -24,6 +24,7 @@ testcase TC_Sem_0503_Ordering_003() runs on GeneralComp { 
     var integer v_statement_2 := 0;  //late declaration



    }

    setverdict(pass);

}



control {

05_basic_language_elements/0503_ordering_of_declarations/Sem_0503_Ordering_004.ttcn

+1 −0
Original line number Diff line number Diff line
@@ -25,6 +25,7 @@ testcase TC_Sem_0503_Ordering_004() runs on GeneralComp { 
     }



    }

    setverdict(pass);

}



control {