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 54.5% 54.55% 6 11
Software Requirements 0.0% 0.00% 0 0
Code 0.0% 0.00% 0 10
System Test 28.6% 28.57% 8 28
Software Test 0.0% 0.00% 0 0

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/json/input_files.trlc
TRLC System_requirement_aspect json_req.Input_File
Source: lobster/tools/json/input_files.trlc:4
IF a list element given through the command line option "FILE_OR_DIR" is a file

(Note: Symbolic links shall be resolved.
The tool shall not differentiate between symbolic links and true paths.)
Justifications:
  • Initial_Condition
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
TRLC System_requirement_aspect json_req.Input_File_Valid_JSON
Source: lobster/tools/json/input_files.trlc:14
AND IF the file content is invalid JSON,
THEN the tool shall exit with a non-zero return code.
Issues:
  • missing reference to System Test
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
TRLC System_requirement_aspect json_req.Input_File_Input_Items
Source: lobster/tools/json/input_files.trlc:21
OTHERWISE the input data
SHALL be written in the LOBSTER interchange format
Issues:
  • missing reference to System Test
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
TRLC System_requirement_aspect json_req.Input_File_To_File
Source: lobster/tools/json/input_files.trlc:29
to the file given in the command line option "out",
IF that option is given AND is not an empty string;
Issues:
  • missing reference to System Test
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
TRLC System_requirement_aspect json_req.Input_File_To_Stdout
Source: lobster/tools/json/input_files.trlc:36
OTHERWISE to STDOUT.
Issues:
  • missing reference to System Test
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
TRLC System_requirement_aspect json_req.Input_File_Output_Error
Source: lobster/tools/json/input_files.trlc:42
IF the operating system fails to fully serialize the output to a file,
THEN the tool shall print an error message to STDERR and exit with a non-zero return code.
Issues:
  • missing reference to System Test
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
TRLC System_requirement json_req.Input_File_JSON_Extension
Source: lobster/tools/json/input_files.trlc:49
IF [[Input_File]]
AND IF the file extension is not "json" (case-insensitive),
THEN the tool shall print a warning.
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
lobster/tools/json/input_not_file_not_directory.trlc
TRLC System_requirement json_req.Input_Not_File_Not_Directory
Source: lobster/tools/json/input_not_file_not_directory.trlc:4
IF a list element given through the configuration file under "inputs" is not a file nor a directory,
THEN the tool shall exit with a non-zero return code.

Note: This could happen if a path does not exist.
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
lobster/tools/json/synthetic_name.trlc
TRLC System_requirement json_req.Name_Attribute_Given
Source: lobster/tools/json/synthetic_name.trlc:4
In addition to [[Parse_Input_File]],
IF the command line option "name-attribute" is given and not an empty string,
AND the input items contains that key
THEN the tool SHALL use the value of that key as tag in the serialized LOBSTER item.
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
TRLC System_requirement_aspect json_req.Name_Attribute_Given_Key_Missing
Source: lobster/tools/json/synthetic_name.trlc:13
OTHERWISE (if they key does not exist)
the tool SHALL print an error message.
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
TRLC System_requirement_aspect json_req.Name_Attribute_Missing
Source: lobster/tools/json/synthetic_name.trlc:20
OTHERWISE ("name-attribute" is not given or not an empty string), the tool
SHALL create a synthetic tag name based on the path of the JSON input file and an item counter.

Notes:
- "Synthetic" means that, the name does not need to be related to the data.
- The item counter does not need to be unique across input files,
but it shall be unique at least for each input file separately.
- No further specification is made about how to combine the path and the item counter.
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00

Software Requirements

No items recorded at this level.

Implementation

Code

lobster/tools/json/json.py
Python Constructor json.Malformed_Input.__init__
Source: lobster/tools/json/json.py:32
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Function json.get_item
Source: lobster/tools/json/json.py:38
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Function json.syn_test_name
Source: lobster/tools/json/json.py:64
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Constructor json.LOBSTER_Json.__init__
Source: lobster/tools/json/json.py:78
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Method json.LOBSTER_Json.get_config_keys_manual
Source: lobster/tools/json/json.py:93
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Method json.LOBSTER_Json.get_mandatory_parameters
Source: lobster/tools/json/json.py:109
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Method json.LOBSTER_Json.process_commandline_and_yaml_options
Source: lobster/tools/json/json.py:112
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Method json.LOBSTER_Json.process_tool_options
Source: lobster/tools/json/json.py:133
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Method json.LOBSTER_Json.process
Source: lobster/tools/json/json.py:142
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Function json.main
Source: lobster/tools/json/json.py:231
Issues:
  • unknown tracing target req json_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-json/lobsterjsontestrunner.py
PyUnit Test lobsterjsontestrunner.LobsterJsonTestRunner.run_tool_test:87
Source: tests-system/lobster-json/lobsterjsontestrunner.py:87
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
tests-system/lobster-json/test_directories.py
PyUnit Test test_directories.InputDirectoryJsonTest.test_missing_directory:13
Source: tests-system/lobster-json/test_directories.py:13
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_directories.InputDirectoryJsonTest.test_empty_directory:27
Source: tests-system/lobster-json/test_directories.py:27
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_directories.InputDirectoryJsonTest.test_consumes_files_in_specified_directory:44
Source: tests-system/lobster-json/test_directories.py:44
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
tests-system/lobster-json/test_input_not_file_not_directory.py
PyUnit Test test_input_not_file_not_directory.InputNotFileNotDirectoryTest.test_nothing_exists:29
Source: tests-system/lobster-json/test_input_not_file_not_directory.py:29
Derived from:
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_input_not_file_not_directory.InputNotFileNotDirectoryTest.test_one_file_exists:39
Source: tests-system/lobster-json/test_input_not_file_not_directory.py:39
Derived from:
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
tests-system/lobster-json/test_inputs_and_inputs_from_file.py
PyUnit Test test_inputs_and_inputs_from_file.InputsAndInputsFromFileParameterTest.test_inputs:17
Source: tests-system/lobster-json/test_inputs_and_inputs_from_file.py:17
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_inputs_and_inputs_from_file.InputsAndInputsFromFileParameterTest.test_inputs_from_file:36
Source: tests-system/lobster-json/test_inputs_and_inputs_from_file.py:36
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_inputs_and_inputs_from_file.InputsAndInputsFromFileParameterTest.test_consume_files_from_cwd:51
Source: tests-system/lobster-json/test_inputs_and_inputs_from_file.py:51
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_inputs_and_inputs_from_file.InputsAndInputsFromFileParameterTest.test_consume_files_and_nested_directory_from_cwd:68
Source: tests-system/lobster-json/test_inputs_and_inputs_from_file.py:68
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
tests-system/lobster-json/test_json_extension.py
PyUnit Test test_json_extension.JsonExtensionTest.test_single_non_json_extensions:12
Source: tests-system/lobster-json/test_json_extension.py:12
Derived from:
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_json_extension.JsonExtensionTest.test_mixed_extensions:29
Source: tests-system/lobster-json/test_json_extension.py:29
Derived from:
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_json_extension.JsonExtensionTest.test_invalid_json_content:47
Source: tests-system/lobster-json/test_json_extension.py:47
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_json_extension.JsonExtensionTest.test_inputs_and_inputs_from_files_with_mixed_extension:57
Source: tests-system/lobster-json/test_json_extension.py:57
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
tests-system/lobster-json/test_justification_attribute.py
PyUnit Test test_justification_attribute.JsonJustificationAttributeTest.test_justification_attribute_given:12
Source: tests-system/lobster-json/test_justification_attribute.py:12
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_justification_attribute.JsonJustificationAttributeTest.test_justification_attribute_given_but_key_missing:28
Source: tests-system/lobster-json/test_justification_attribute.py:28
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_justification_attribute.JsonJustificationAttributeTest.test_justification_attribute_not_given:45
Source: tests-system/lobster-json/test_justification_attribute.py:45
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
tests-system/lobster-json/test_multiple_files.py
PyUnit Test test_multiple_files.JsonMultipleFilesTest.test_multiple_input_files_specified_in_config:13
Source: tests-system/lobster-json/test_multiple_files.py:13
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_multiple_files.JsonMultipleFilesTest.test_directory_with_empty_invalid_file:43
Source: tests-system/lobster-json/test_multiple_files.py:43
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_multiple_files.JsonMultipleFilesTest.test_inputs_from_file_specified_in_config:62
Source: tests-system/lobster-json/test_multiple_files.py:62
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_multiple_files.JsonMultipleFilesTest.test_inputs_and_inputs_from_file_With_extra_valid_files:90
Source: tests-system/lobster-json/test_multiple_files.py:90
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
tests-system/lobster-json/test_name_attribute.py
PyUnit Test test_name_attribute.JsonExtensionTest.test_attribute_given:14
Source: tests-system/lobster-json/test_name_attribute.py:14
Derived from:
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_name_attribute.JsonExtensionTest.test_attribute_given_but_key_missing:29
Source: tests-system/lobster-json/test_name_attribute.py:29
Derived from:
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_name_attribute.JsonExtensionTest.test_name_attribute_missing_flat_input:46
Source: tests-system/lobster-json/test_name_attribute.py:46
Derived from:
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_name_attribute.JsonExtensionTest.test_name_attribute_missing_nested_input:60
Source: tests-system/lobster-json/test_name_attribute.py:60
Derived from:
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
tests-system/lobster-json/test_tag_attribute.py
PyUnit Test test_tag_attribute.JsonTagAttributeTest.test_tag_attribute_given:11
Source: tests-system/lobster-json/test_tag_attribute.py:11
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_tag_attribute.JsonTagAttributeTest.test_tag_attribute_given_but_key_missing:26
Source: tests-system/lobster-json/test_tag_attribute.py:26
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
PyUnit Test test_tag_attribute.JsonTagAttributeTest.test_tag_attribute_missing:40
Source: tests-system/lobster-json/test_tag_attribute.py:40
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00

Software Test

No items recorded at this level.