L.O.B.S.T.E.R.

Lightweight Open BMW Software Traceability Evidence Report
!

Overview

Coverage

Category Ratio Coverage OK Items Total Items
Use Cases 0.0% 0.00% 0 6
Potential Errors 0.0% 0.00% 0 1
Test Specifications 0.0% 0.00% 0 0
System Requirements 0.0% 0.00% 0 10
Software Requirements 0.0% 0.00% 0 1
Code 2.2% 2.17% 1 46
System Tests 45.5% 45.45% 10 22
Software Tests 0.0% 0.00% 0 46

Tracing policy

LOBSTER Tracing Policy n_1cf7e301510c711b73d2b182b9dcf084 Use Cases n_8a4b9a55ec70e0ca32d3abcc64ac6879 Potential Errors n_1cf7e301510c711b73d2b182b9dcf084->n_8a4b9a55ec70e0ca32d3abcc64ac6879 n_419cfc02b324dc7d8faefa90ed608fb0 System Requirements n_1cf7e301510c711b73d2b182b9dcf084->n_419cfc02b324dc7d8faefa90ed608fb0 n_eeb09e7009c699f439a0daadf03458e7 Test Specifications n_8a4b9a55ec70e0ca32d3abcc64ac6879->n_eeb09e7009c699f439a0daadf03458e7 n_3f7ae1d4bec7e6d318ef39c7a7dcaa65 System Tests n_eeb09e7009c699f439a0daadf03458e7->n_3f7ae1d4bec7e6d318ef39c7a7dcaa65 n_9d273bd32c1fceb91b7d6a4d40e98bdd Software Requirements n_419cfc02b324dc7d8faefa90ed608fb0->n_9d273bd32c1fceb91b7d6a4d40e98bdd n_419cfc02b324dc7d8faefa90ed608fb0->n_3f7ae1d4bec7e6d318ef39c7a7dcaa65 n_ca0dbad92a874b2f69b549293387925e Code n_9d273bd32c1fceb91b7d6a4d40e98bdd->n_ca0dbad92a874b2f69b549293387925e n_c4738e043501e27ee3ef08d6a4883d27 Software Tests n_9d273bd32c1fceb91b7d6a4d40e98bdd->n_c4738e043501e27ee3ef08d6a4883d27

Filtering

Item Filters

Show Issues

Filter

Issues

Detailed report

Requirements and Specification

Use Cases

lobster/use_cases.trlc
TRLC Usecase UseCases.Trace_Requirements_to_Tests
As a requirements manager I want to have a report of traceability between
requirements (in codebeamer or TRLC) and tests (in C++ or JSON).
Traces to:
Issues:
  • missing reference to System Requirements
TRLC Usecase UseCases.List_Requirements_to_Tests
As a requirements manager I want the traceability report to show the list of
requirements (from codebeamer or TRLC) which are covered by tests (in C++ or JSON).
Traces to:
Issues:
  • missing reference to System Requirements
TRLC Usecase UseCases.List_Requirements_without_Tests
As a requirements manager I want the traceability report to show the list of
requirements (from codebeamer or TRLC) which are not covered by tests (in C++ or JSON).
Traces to:
Issues:
  • missing reference to System Requirements
TRLC Usecase UseCases.List_Tests_to_Requirements
As a requirements manager I want the traceability report to show the list of
tests (in C++ or JSON) covering requirements in (in codebeamer or TRLC).
Traces to:
Issues:
  • missing reference to System Requirements
TRLC Usecase UseCases.List_Tests_without_Requirements
As a requirements manager I want the traceability report to show the list of
tests (in C++ or JSON) which are not covering any requirement in (in codebeamer or TRLC).
Traces to:
Issues:
  • missing reference to System Requirements
TRLC Usecase UseCases.Requirements_to_Test_Coverage
As a requirements manager I want the traceability report to show the fraction of
the number of requirements (in codebeamer or TRLC) which are covered by tests (in C++ or JSON)
divided by the total number of requirements.
The fraction shall be shown as percentage.
Traces to:
Issues:
  • missing reference to System Requirements

Potential Errors

lobster/tools/trlc/requirements/potential_errors.trlc
TRLC Potentialerror UseCases.Default_Path_Choice
If no input files are specified, the tool might inadvertently use the current
working directory (or any other default value for these configuration parameters)
as the location to search for input files.

Test Specifications

No items recorded at this level.

System Requirements

lobster/tools/trlc/requirements/input_files.trlc
TRLC System_requirement trlc_req.Input_List_Of_Files
IF the list elements given through the config option "inputs" are files with extension rsl and trlc,
THEN all files given in "inputs" parameter shall be consumed.
Issues:
  • missing up reference
  • missing reference to Software Requirements
TRLC System_requirement_aspect trlc_req.Duplicate_Input_List_Of_Files
IF the [[Input_List_Of_Files]] are files with duplicate definitions.
THEN "duplicate_definition" error must be produced.
Issues:
  • missing up reference
  • missing reference to Software Requirements
TRLC System_requirement_aspect trlc_req.Invalid_Inputs_List_Of_Files_Extensions
IF the [[Input_List_Of_Files]] are with invalid extensions OR neither a file nor a directory,
THEN tool shall raise an error.
Issues:
  • missing up reference
  • missing reference to Software Requirements
TRLC System_requirement trlc_req.Inputs_From_File
IF the element given through the config option "inputs_from_file" is a file,
THEN each line in that file shall be interpreted as a path AND shall be consumed.
Issues:
  • missing up reference
  • missing reference to Software Requirements
TRLC System_requirement_aspect trlc_req.Duplicate_Inputs_From_File
IF the [[Inputs_From_File]] has files that contain duplicate definitions,
THEN "duplicate_definition" error must be produced.
Issues:
  • missing up reference
  • missing reference to Software Requirements
TRLC System_requirement_aspect trlc_req.Invalid_Inputs_From_File_Extensions
IF the [[Inputs_From_File]] has files with invalid extensions OR neither a file nor a directory,
THEN tool shall raise an error.
Issues:
  • missing up reference
  • missing reference to Software Requirements
TRLC System_requirement trlc_req.Input_list_Of_File_And_Inputs_From_File
IF both the config options [[Input_List_Of_Files]] AND [[Inputs_From_File]] are provided,
THEN all files given in [[Input_List_Of_Files]] AND [[Inputs_From_File]] parameter shall be consumed.
Issues:
  • missing up reference
  • missing reference to Software Requirements
TRLC System_requirement_aspect trlc_req.Duplicate_Input_list_Of_File_And_Inputs_From_File
IF both the config options [[Input_List_Of_Files]] AND [[Inputs_From_File]] has duplicate definitions,
THEN "duplicate_definition" error must be produced.
Issues:
  • missing up reference
  • missing reference to Software Requirements
TRLC System_requirement_aspect trlc_req.No_Inputs_At_All
OTHERWISE, IF both the config options [[Input_List_Of_Files]] AND [[Inputs_From_File]] are not provided,
THEN no files shall be scanned and consumed.
Issues:
  • missing up reference
  • missing reference to Software Requirements
lobster/tools/trlc/requirements/requirements.trlc
TRLC System_requirement trlc_req.Output_File
If a output file is specified as command line argument, then the output must be written into that file.
Otherwise, the output shall be written to 'trlc.lobster'.
Traces to:
Issues:
  • missing up reference
  • missing reference to Software Requirements
  • missing reference to System Tests

Software Requirements

TRLC Software_requirement trlc_req.Args_From_File
If a command line argument is prefixed with '@', then the contents of that file
shall be included as arguments to the argument parser.
Issues:
  • missing up reference
  • missing reference to Code
  • missing reference to Software Tests

Implementation

Code

lobster/tools/trlc/conversion_rule.py
Python Constructor conversion_rule.ConversionRule.__init__
Issues:
  • missing up reference
Python Method conversion_rule.ConversionRule.__hash__
Issues:
  • missing up reference
Python Method conversion_rule.ConversionRule.type_name
Issues:
  • missing up reference
Python Method conversion_rule.ConversionRule.package_name
Issues:
  • missing up reference
Python Method conversion_rule.ConversionRule.applies_to_derived_types
Issues:
  • missing up reference
Python Method conversion_rule.ConversionRule.lobster_namespace
Issues:
  • missing up reference
Python Method conversion_rule.ConversionRule._as_string_list
Issues:
  • missing up reference
Python Method conversion_rule.ConversionRule._as_tag_list
Issues:
  • missing up reference
Python Method conversion_rule.ConversionRule.tags
Issues:
  • missing up reference
Python Method conversion_rule.ConversionRule.description_fields
Issues:
  • missing up reference
Python Method conversion_rule.ConversionRule.justification_up_fields
Issues:
  • missing up reference
Python Method conversion_rule.ConversionRule.justification_down_fields
Issues:
  • missing up reference
Python Method conversion_rule.ConversionRule.justification_global_fields
Issues:
  • missing up reference
lobster/tools/trlc/conversion_rule_lookup.py
Python Function conversion_rule_lookup.build_record_type_to_conversion_rule_lookup
Issues:
  • missing up reference
Python Function conversion_rule_lookup._propagate_rule_to_derived_types_recursively
Issues:
  • missing up reference
Python Function conversion_rule_lookup.get_record_types
Issues:
  • missing up reference
lobster/tools/trlc/converter.py
Python Constructor converter.Converter.__init__
Issues:
  • missing up reference
Python Method converter.Converter._build_orphan_rules_exception
Issues:
  • missing up reference
Python Method converter.Converter.generate_lobster_object
Issues:
  • missing up reference
Python Method converter.Converter._generate_text
Issues:
  • missing up reference
Python Method converter.Converter._tuple_value_as_string
Issues:
  • missing up reference
Python Method converter.Converter._get_description
Issues:
  • missing up reference
lobster/tools/trlc/errors.py
Python Constructor errors.RecordObjectComponentError.__init__
Issues:
  • missing up reference
Python Constructor errors.TupleError.__init__
Issues:
  • missing up reference
Python Method errors.TupleError.tuple_details
Issues:
  • missing up reference
Python Constructor errors.TupleComponentError.__init__
Issues:
  • missing up reference
Python Constructor errors.TupleToStringMissingError.__init__
Issues:
  • missing up reference
Python Constructor errors.TupleToStringFailedError.__init__
Issues:
  • missing up reference
lobster/tools/trlc/hierarchy_tree.py
Python Function hierarchy_tree.build_children_lookup
Issues:
  • missing up reference
lobster/tools/trlc/instruction.py
Python Function instruction.ConstantInstruction
Issues:
  • missing up reference
Python Function instruction.FieldInstruction
Issues:
  • missing up reference
lobster/tools/trlc/item_wrapper.py
Python Constructor item_wrapper.ItemWrapper.__init__
Issues:
  • missing up reference
Python Method item_wrapper.ItemWrapper.get_field
Issues:
  • missing up reference
Python Method item_wrapper.ItemWrapper.get_field_raw
Issues:
  • missing up reference
lobster/tools/trlc/lobster_trlc_config.py
Python Method lobster_trlc_config.LobsterTrlcConfig.from_dict
Issues:
  • missing up reference
Python Method lobster_trlc_config.LobsterTrlcConfig._validate_config
Issues:
  • missing up reference
Python Method lobster_trlc_config.LobsterTrlcConfig.from_file
Issues:
  • missing up reference
lobster/tools/trlc/text_generation.py
Python Function text_generation.parse_instructions
Issues:
  • missing up reference
Python Function text_generation.build_text_from_instructions
Issues:
  • missing up reference
lobster/tools/trlc/to_string_rules.py
Python Method to_string_rules.ToStringRules.from_dict
Issues:
  • missing up reference
Python Function to_string_rules.build_tuple_type_to_ruleset_map
Issues:
  • missing up reference
lobster/tools/trlc/trlc_tool.py
Python Constructor trlc_tool.LOBSTER_Trlc.__init__
Issues:
  • missing up reference
Python Method trlc_tool.LOBSTER_Trlc._run_impl
Issues:
  • missing up reference
Python Method trlc_tool.LOBSTER_Trlc._register_trlc_files
Issues:
  • missing up reference
Python Method trlc_tool.LOBSTER_Trlc._execute
Derived from:
Python Function trlc_tool.main
Issues:
  • missing up reference

Verification and Validation

System Tests

tests_system/lobster_trlc/lobster_trlc_test_runner.py
PyUnit Test lobster_trlc_test_runner.LobsterTrlcTestRunner.run_tool_test:98
Issues:
  • missing up reference
tests_system/lobster_trlc/test_conversion.py
PyUnit Test test_conversion.ConversionRuleTest.test_rule_propagation:17
Issues:
  • missing up reference
PyUnit Test test_conversion.ConversionRuleTest.test_to_string_rules:81
Issues:
  • missing up reference
tests_system/lobster_trlc/test_conversion_errors.py
PyUnit Test test_conversion_errors.ConversionRuleErrorTest.test_field_does_not_exist:7
Issues:
  • missing up reference
PyUnit Test test_conversion_errors.ConversionRuleErrorTest.test_to_string_missing:34
Issues:
  • missing up reference
PyUnit Test test_conversion_errors.ConversionRuleErrorTest.test_tuple_member_does_not_exist:68
Issues:
  • missing up reference
PyUnit Test test_conversion_errors.ConversionRuleErrorTest.test_too_many_conversion_rules:105
Issues:
  • missing up reference
tests_system/lobster_trlc/test_input_invalid_extensions.py
PyUnit Test test_input_invalid_extensions.TrlcInvalidExtensionsTest.test_invalid_extensions_inputs_files_list:14
Derived from:
PyUnit Test test_input_invalid_extensions.TrlcInvalidExtensionsTest.test_invalid_extensions_input_from_file:28
Derived from:
tests_system/lobster_trlc/test_input_list_of_files.py
PyUnit Test test_input_list_of_files.InputListOfFilesTest.test_input_files_list:13
Derived from:
PyUnit Test test_input_list_of_files.InputListOfFilesTest.test_duplicate_input_files_list:29
Derived from:
PyUnit Test test_input_list_of_files.CmdArgsInputTest.test_input_files_list:54
Issues:
  • missing up reference
tests_system/lobster_trlc/test_inputs_and_inputs_from_file.py
PyUnit Test test_inputs_and_inputs_from_file.InputFromFilesAndInputsTest.test_input_from_files_and_inputs_list:17
Derived from:
PyUnit Test test_inputs_and_inputs_from_file.InputFromFilesAndInputsTest.test_duplicate_contents_input_from_files_and_inputs_list:34
Derived from:
tests_system/lobster_trlc/test_inputs_from_directory.py
PyUnit Test test_inputs_from_directory.InputFromDirectory.test_input_from_directory:17
Issues:
  • missing up reference
tests_system/lobster_trlc/test_inputs_from_file.py
PyUnit Test test_inputs_from_file.InputFromFilesTest.test_input_from_files:14
Derived from:
PyUnit Test test_inputs_from_file.InputFromFilesTest.test_input_from_files_duplicate_contents:30
Derived from:
tests_system/lobster_trlc/test_inputs_zero.py
PyUnit Test test_inputs_zero.ZeroInputTest.test_rsl_input_only:14
Issues:
  • missing up reference
PyUnit Test test_inputs_zero.ZeroInputTest.test_no_inputs_at_all:32
Derived from:
PyUnit Test test_inputs_zero.ZeroInputTest.test_orphan_conversion_rules:51
Derived from:
tests_system/lobster_trlc/test_invalid_config.py
PyUnit Test test_invalid_config.InvalidConfigTest.test_nonconformant_yaml:13
Issues:
  • missing up reference
tests_system/lobster_trlc/test_output_correctness.py
PyUnit Test test_output_correctness.OutputCorrectnessTest.test_output_correctness:13
Issues:
  • missing up reference

Software Tests

tests_unit/lobster_trlc/test_build_text_from_instructions.py
PyUnit Test test_build_text_from_instructions.TextBuildingTest.test_build_text_from_instructions:23
Issues:
  • missing up reference
PyUnit Test test_build_text_from_instructions.TextBuildingTest.test_build_text_with_missing_field:41
Issues:
  • missing up reference
PyUnit Test test_build_text_from_instructions.TextBuildingTest.test_build_text_with_empty_instructions:52
Issues:
  • missing up reference
PyUnit Test test_build_text_from_instructions.TextBuildingTest.test_invalid_instruction_type:58
Issues:
  • missing up reference
PyUnit Test test_build_text_from_instructions.TextBuildingTest.test_empty_tuple_data:68
Issues:
  • missing up reference
tests_unit/lobster_trlc/test_conversion_rules.py
PyUnit Test test_conversion_rules.ConversionRulesTest.test_empty_conversion_rule_lookup:40
Issues:
  • missing up reference
PyUnit Test test_conversion_rules.ConversionRulesTest.test_one_conversion_rule_for_all:53
Issues:
  • missing up reference
PyUnit Test test_conversion_rules.ConversionRulesTest.test_many_propagating_conversion_rules:78
Issues:
  • missing up reference
PyUnit Test test_conversion_rules.ConversionRulesTest.test_no_propagation:143
Issues:
  • missing up reference
PyUnit Test test_conversion_rules.ConversionRulesTest.test_record_type_child_lookup:166
Issues:
  • missing up reference
tests_unit/lobster_trlc/test_conversion_rules_order.py
PyUnit Test test_conversion_rules_order.RuleOrderTest.test_order:32
Issues:
  • missing up reference
PyUnit Test test_conversion_rules_order.RuleOrderTest.test_get_record_types:100
Issues:
  • missing up reference
tests_unit/lobster_trlc/test_converter.py
PyUnit Test test_converter.GenerateLobsterObjectTest.test_empty_rules:30
Issues:
  • missing up reference
PyUnit Test test_converter.GenerateLobsterObjectTest.test_one_simple_rule:41
Issues:
  • missing up reference
PyUnit Test test_converter.GenerateLobsterObjectTest.test_description_field_missing:75
Issues:
  • missing up reference
PyUnit Test test_converter.GenerateLobsterObjectTest.test_optional_field_missing:101
Issues:
  • missing up reference
PyUnit Test test_converter.GenerateLobsterObjectTest.test_many_description_fields:123
Issues:
  • missing up reference
PyUnit Test test_converter.GenerateLobsterObjectTest.test_tag_field_missing:145
Issues:
  • missing up reference
PyUnit Test test_converter.GenerateLobsterObjectTest.test_empty_reference_tag_field:167
Issues:
  • missing up reference
PyUnit Test test_converter.GenerateLobsterObjectTest.test_reference_tag_field:185
Issues:
  • missing up reference
PyUnit Test test_converter.GenerateLobsterObjectTest.test_text_tag_field:217
Issues:
  • missing up reference
PyUnit Test test_converter.GenerateLobsterObjectTest.test_tuple_tag_field:246
Issues:
  • missing up reference
PyUnit Test test_converter.GenerateLobsterObjectTest.test_tuple_tag_field_without_to_string:293
Issues:
  • missing up reference
PyUnit Test test_converter.GenerateLobsterObjectTest.test_tuple_tag_with_failing_instructions:348
Issues:
  • missing up reference
PyUnit Test test_converter.GenerateLobsterObjectTest.test_tuple_tag_with_failing_and_succeeding_instructions:359
Issues:
  • missing up reference
PyUnit Test test_converter.GenerateLobsterObjectTest.test_justification_fields:385
Issues:
  • missing up reference
tests_unit/lobster_trlc/test_converter_generate_text.py
PyUnit Test test_converter_generate_text.GenerateTextEmptyRulesTest.test_generate_text_from_string_array_field:26
Issues:
  • missing up reference
PyUnit Test test_converter_generate_text.GenerateTextEmptyRulesTest.test_generate_text_from_string_field:57
Issues:
  • missing up reference
PyUnit Test test_converter_generate_text.GenerateTextEmptyRulesTest.test_generate_text_from_empty_tuple_field:72
Issues:
  • missing up reference
PyUnit Test test_converter_generate_text.GenerateTextEmptyRulesTest.test_generate_text_from_tuple_field_missing_tostring:87
Issues:
  • missing up reference
PyUnit Test test_converter_generate_text.GenerateTextGivenRulesTest.test_generate_text_from_tuple_field:134
Issues:
  • missing up reference
tests_unit/lobster_trlc/test_converter_optional_field.py
PyUnit Test test_converter_optional_field.OptionalFieldTest.test_optional_field_to_string:10
Issues:
  • missing up reference
tests_unit/lobster_trlc/test_errors.py
PyUnit Test test_errors.ErrorTest.test_error_constructors:22
Issues:
  • missing up reference
tests_unit/lobster_trlc/test_file_collector.py
PyUnit Test test_file_collector.FileCollectorTest.test_extension_validation:8
Issues:
  • missing up reference
PyUnit Test test_file_collector.FileCollectorTest.test_add_files:15
Issues:
  • missing up reference
tests_unit/lobster_trlc/test_item_wrapper.py
PyUnit Test test_item_wrapper.ItemWrapperTest.test_get_field_existing:7
Issues:
  • missing up reference
PyUnit Test test_item_wrapper.ItemWrapperTest.test_get_field_non_existing:24
Issues:
  • missing up reference
tests_unit/lobster_trlc/test_parse_instructions.py
PyUnit Test test_parse_instructions.InstructionParsingTest.test_parse_text_generator:7
Issues:
  • missing up reference
PyUnit Test test_parse_instructions.InstructionParsingTest.test_parse_text_generator_with_no_fields:23
Issues:
  • missing up reference
PyUnit Test test_parse_instructions.InstructionParsingTest.test_parse_text_generator_only_fields:29
Issues:
  • missing up reference
tests_unit/lobster_trlc/test_parse_string_instructions.py
PyUnit Test test_parse_string_instructions.InstructionParsingTest.test_parse_text_generator:10
Issues:
  • missing up reference
PyUnit Test test_parse_string_instructions.InstructionParsingTest.test_parse_text_generator_with_no_fields:26
Issues:
  • missing up reference
PyUnit Test test_parse_string_instructions.InstructionParsingTest.test_parse_text_generator_only_fields:32
Issues:
  • missing up reference
tests_unit/lobster_trlc/test_to_string_rules.py
PyUnit Test test_to_string_rules.ToStringRulesTest.test_field_is_tuple_type:14
Issues:
  • missing up reference
PyUnit Test test_to_string_rules.ToStringRulesTest.test_field_is_tuple_array_type:93
Issues:
  • missing up reference
tests_unit/lobster_trlc/test_to_string_rules_mapping.py
PyUnit Test test_to_string_rules_mapping.BuildMapTest.test_build_map:16
Issues:
  • missing up reference

LOBSTER Version: 0.14.4-dev