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

Lightweight Open BMW Software Traceability Evidence Report
✔ !

Overview

Coverage

Category Ratio Coverage OK Items Total Items
System Requirements 90.0% 90.00% 9 10
Software Requirements 0.0% 0.00% 0 0
Code 6.2% 6.25% 1 16
System Test 90.0% 90.00% 9 10
Software Test 0.0% 0.00% 0 9

Tracing policy

LOBSTER Tracing Policy n_419cfc02b324dc7d8faefa90ed608fb0 System Requirements n_9339073f2b1d4621f57a8ee62d17fd72 System Test n_419cfc02b324dc7d8faefa90ed608fb0->n_9339073f2b1d4621f57a8ee62d17fd72 n_9d273bd32c1fceb91b7d6a4d40e98bdd Software Requirements n_ca0dbad92a874b2f69b549293387925e Code n_9d273bd32c1fceb91b7d6a4d40e98bdd->n_ca0dbad92a874b2f69b549293387925e n_bda6d4a6de3ca38ea829d2d19cbb418c Software Test n_9d273bd32c1fceb91b7d6a4d40e98bdd->n_bda6d4a6de3ca38ea829d2d19cbb418c

Filtering

Item Filters

Show Issues

Filter

Issues

Detailed report

Requirements and Specification

System Requirements

lobster/tools/trlc/input_files.trlc
TRLC System_requirement trlc_req.Input_List_Of_Files
Source: lobster/tools/trlc/input_files.trlc:4
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.
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
TRLC System_requirement_aspect trlc_req.Duplicate_Input_List_Of_Files
Source: lobster/tools/trlc/input_files.trlc:11
IF the [[Input_List_Of_Files]] are files with duplicate definitions.
THEN "duplicate_definition" error must be produced.
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
TRLC System_requirement_aspect trlc_req.Invalid_Inputs_List_Of_Files_Extensions
Source: lobster/tools/trlc/input_files.trlc:18
IF the [[Input_List_Of_Files]] are with invalid extensions,
THEN tool shall raise an error.
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
TRLC System_requirement trlc_req.Inputs_From_File
Source: lobster/tools/trlc/input_files.trlc:25
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.
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
TRLC System_requirement_aspect trlc_req.Duplicate_Inputs_From_File
Source: lobster/tools/trlc/input_files.trlc:32
IF the [[Inputs_From_File]] has files that contain duplicate definitions,
THEN "duplicate_definition" error must be produced.
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
TRLC System_requirement_aspect trlc_req.Invalid_Inputs_From_File_Extensions
Source: lobster/tools/trlc/input_files.trlc:39
IF the [[Inputs_From_File]] has files with invalid extensions,
THEN tool shall raise an error.
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
TRLC System_requirement trlc_req.Input_list_Of_File_And_Inputs_From_File
Source: lobster/tools/trlc/input_files.trlc:46
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.
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
TRLC System_requirement_aspect trlc_req.Duplicate_Input_list_Of_File_And_Inputs_From_File
Source: lobster/tools/trlc/input_files.trlc:53
IF both the config options [[Input_List_Of_Files]] AND [[Inputs_From_File]] has duplicate definitions,
THEN "duplicate_definition" error must be produced.
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
TRLC System_requirement_aspect trlc_req.No_Inputs_And_No_Inputs_From_File
Source: lobster/tools/trlc/input_files.trlc:61
OTHERWISE, IF both the config options [[Input_List_Of_Files]] AND [[Inputs_From_File]] are not provided,
THEN all .rsl and .trlc files in current directory shall be scanned recursively and consumed.
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
lobster/tools/trlc/requirements.trlc
TRLC System_requirement trlc_req.Output_File
Source: lobster/tools/trlc/requirements.trlc:4
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 reference to System Test
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00

Software Requirements

No items recorded at this level.

Implementation

Code

lobster/tools/trlc/trlc.py
Python Constructor trlc.Config_Parser.__init__
Source: lobster/tools/trlc/trlc.py:41
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Method trlc.Config_Parser.generate_lobster_object
Source: lobster/tools/trlc/trlc.py:67
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Method trlc.Config_Parser.generate_text
Source: lobster/tools/trlc/trlc.py:136
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Method trlc.Config_Parser.parse_config_file
Source: lobster/tools/trlc/trlc.py:173
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Method trlc.Config_Parser.build_config
Source: lobster/tools/trlc/trlc.py:194
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Method trlc.Config_Parser.parse_record_type
Source: lobster/tools/trlc/trlc.py:234
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Method trlc.Config_Parser.parse_text_generator
Source: lobster/tools/trlc/trlc.py:286
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Method trlc.Config_Parser.parse_tuple_type
Source: lobster/tools/trlc/trlc.py:328
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Method trlc.Config_Parser.parse_directive
Source: lobster/tools/trlc/trlc.py:351
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Constructor trlc.LOBSTER_Trlc.__init__
Source: lobster/tools/trlc/trlc.py:368
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Method trlc.LOBSTER_Trlc.get_config_keys_manual
Source: lobster/tools/trlc/trlc.py:383
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Method trlc.LOBSTER_Trlc.get_mandatory_parameters
Source: lobster/tools/trlc/trlc.py:393
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Method trlc.LOBSTER_Trlc.process_commandline_and_yaml_options
Source: lobster/tools/trlc/trlc.py:397
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Method trlc.LOBSTER_Trlc.process_tool_options
Source: lobster/tools/trlc/trlc.py:415
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Method trlc.LOBSTER_Trlc.execute
Source: lobster/tools/trlc/trlc.py:423
Derived from:
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Function trlc.main
Source: lobster/tools/trlc/trlc.py:491
Issues:
  • unknown tracing target req trlc_req.Dummy_Requirement
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00

Verification and Validation

System Test

tests-system/lobster-trlc/lobster_trlc_test_runner.py
PyUnit Test lobster_trlc_test_runner.LobsterTrlcTestRunner.run_tool_test:95
Source: tests-system/lobster-trlc/lobster_trlc_test_runner.py:95
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
tests-system/lobster-trlc/test_input_invalid_extensions.py
PyUnit Test test_input_invalid_extensions.TrlcInvalidExtensionsTest.test_invalid_extensions_inputs_files_list:12
Source: tests-system/lobster-trlc/test_input_invalid_extensions.py:12
Derived from:
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_input_invalid_extensions.TrlcInvalidExtensionsTest.test_invalid_extensions_input_from_file:33
Source: tests-system/lobster-trlc/test_input_invalid_extensions.py:33
Derived from:
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
tests-system/lobster-trlc/test_input_list_of_files.py
PyUnit Test test_input_list_of_files.InputListOfFilesTest.test_input_files_list:14
Source: tests-system/lobster-trlc/test_input_list_of_files.py:14
Derived from:
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_input_list_of_files.InputListOfFilesTest.test_duplicate_input_files_list:27
Source: tests-system/lobster-trlc/test_input_list_of_files.py:27
Derived from:
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
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:14
Source: tests-system/lobster-trlc/test_inputs_and_inputs_from_file.py:14
Derived from:
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_inputs_and_inputs_from_file.InputFromFilesAndInputsTest.test_duplicate_contents_input_from_files_and_inputs_list:30
Source: tests-system/lobster-trlc/test_inputs_and_inputs_from_file.py:30
Derived from:
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
tests-system/lobster-trlc/test_inputs_from_file.py
PyUnit Test test_inputs_from_file.InputFromFilesTest.test_input_from_files:12
Source: tests-system/lobster-trlc/test_inputs_from_file.py:12
Derived from:
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_inputs_from_file.InputFromFilesTest.test_input_from_files_duplicate_contents:28
Source: tests-system/lobster-trlc/test_inputs_from_file.py:28
Derived from:
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
tests-system/lobster-trlc/test_inputs_from_working_directory.py
PyUnit Test test_inputs_from_working_directory.InputFromWorkingDirectory.test_input_from_working_directory:12
Source: tests-system/lobster-trlc/test_inputs_from_working_directory.py:12
Derived from:
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00

Software Test

tests-unit/lobster-trlc/test_trlc.py
PyUnit Test test_trlc.LobsterTrlcTests.test_generate_lobster_object_trace_false:27
Source: tests-unit/lobster-trlc/test_trlc.py:27
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_trlc.LobsterTrlcTests.test_generate_lobster_object_trace_true_single_description:36
Source: tests-unit/lobster-trlc/test_trlc.py:36
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_trlc.LobsterTrlcTests.test_generate_lobster_object_trace_true_multiple_description:68
Source: tests-unit/lobster-trlc/test_trlc.py:68
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_trlc.LobsterTrlcTests.test_generate_lobster_object_trace_true_with_tag_field:106
Source: tests-unit/lobster-trlc/test_trlc.py:106
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_trlc.LobsterTrlcTests.test_generate_lobster_object_trace_true_with_just_up_field:138
Source: tests-unit/lobster-trlc/test_trlc.py:138
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_trlc.LobsterTrlcTests.test_generate_text_with_undefined_tuple_type:167
Source: tests-unit/lobster-trlc/test_trlc.py:167
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_trlc.LobsterTrlcTests.test_generate_text_with_non_tuple_type:178
Source: tests-unit/lobster-trlc/test_trlc.py:178
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_trlc.LobsterTrlcTests.test_generate_text_with_valid_tuple_type:184
Source: tests-unit/lobster-trlc/test_trlc.py:184
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_trlc.LobsterTrlcTests.test_generate_text_with_invalid_tuple_type:198
Source: tests-unit/lobster-trlc/test_trlc.py:198
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00