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 0.0% 0.00% 0 0
Software Requirements 0.0% 0.00% 0 2
Code 20.0% 20.00% 1 5
System Test 0.0% 0.00% 0 0
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

No items recorded at this level.

Software Requirements

lobster/tools/cpp/requirements.trlc
TRLC Software_requirement cpp_req.Dummy_Requirement
Source: lobster/tools/cpp/requirements.trlc:4
This is not really a requirement. It will be used only to generate a minimal tracing report for each tool.
It can be deleted as soon as all the tools get their real requirements.
Traces to:
Issues:
  • missing reference to Software Test
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
TRLC Software_requirement cpp_req.Dummy_Requirement_Unit_Test
Source: lobster/tools/cpp/requirements.trlc:11
This is not really a requirement. It will be used only to generate a minimal tracing report for each tool.
It can be deleted as soon as all the tools get their real requirements.
Issues:
  • missing reference to Code
  • missing reference to Software Test
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00

Implementation

Code

lobster/tools/cpp/cpp.py
Python Function cpp.extract_clang_finding_name
Source: lobster/tools/cpp/cpp.py:55
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Function cpp.main
Source: lobster/tools/cpp/cpp.py:63
Derived from:
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
lobster/tools/cpp/tag_location_generator.py
Python Constructor tag_location_generator.TagLocationGenerator.__init__
Source: lobster/tools/cpp/tag_location_generator.py:13
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Method tag_location_generator.TagLocationGenerator.get_tag
Source: lobster/tools/cpp/tag_location_generator.py:16
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00
Python Method tag_location_generator.TagLocationGenerator.get_location
Source: lobster/tools/cpp/tag_location_generator.py:25
Issues:
  • missing up reference
Build Reference: 1083b4e668b60a00d05d8ab710726d39582d7caf | Timestamp: 2025-06-26 14:53:54+00:00

Verification and Validation

System Test

No items recorded at this level.

Software Test

No items recorded at this level.