The Lightweight Open BMW Software Traceability Evidence Report allows you to demonstrate software traceability and requirements coverage, which is essential for meeting standards such as ISO 26262.
This repository contains the prototype for LOBSTER, which is a key ingredient to make TRCL more useful.
It has tools to extract tracing tags from a variety of sources combine them and produce a tracing report. The TRLC tracing report from the TRLC Project is a reasonable example of what is possible.
All tools can be installed separately from PyPI, but there is a
convenient meta-package bmw-lobster which installs everything.
$ pip3 install bmw-lobster
The following requirements frameworks are supported:
- TRLC (only some use cases supported right now)
- Codebeamer (only some use cases supported right now)
The following programming languages are supported:
- C/C++
- Python3
- SIMULINK and MATLAB using the 3rd-party tool MISS_HIT; supports both code and tests
The following verification and miscellaneous frameworks are supported:
- GoogleTest
- JSON useful if your test framework is encoded in JSON
- Writing configuration files for LOBSTER.
- It is easy to expand the languages and activities supported by LOBSTER by adding new tracing tools, as long as they create data in the common interchange format for LOBSTER.
(More to come...)
The individual packages that bmw-lobster depends on are:
bmw-lobster-corethe core API and various report generators. All other tools depend on this.bmw-lobster-tool-cpp(for C/C++ code)bmw-lobster-tool-cpptest(for C/C++ code)bmw-lobster-tool-gtest(for GoogleTest tests)bmw-lobster-tool-python(for Python3 code)bmw-lobster-tool-beamer(for requirements in Codebeamer)bmw-lobster-tool-json(for activities in JSON)miss_hit(for MATLAB/Octave code or Simulink models)
Here are the links to the individual html requirements coverage reports:
- Requirement Coverage Report TRLC
- Requirement Coverage Report Python
- Requirement Coverage Report Json
- Requirement Coverage Report Gtest
- Requirement Coverage Report Cpptest
- Requirement Coverage Report Cpp
- Requirement Coverage Report Core CI Report
- Requirement Coverage Report Core HTML Report
- Requirement Coverage Report Core Online Report
- Requirement Coverage Report Core Report
- Requirement Coverage Report Codebeamer
The following inputs are planned but not implemeted yet:
lobster-java: Java codelobster-kotlin: Kotlin codelobster-ada: Ada and SPARK code (via libadalang)lobster-latex: Requirements written in LaTeXlobster-markdown: Requirements written in Markdown
The copyright holder of LOBSTER is the Bayerische Motoren Werke Aktiengesellschaft (BMW AG), and LOBSTER is published under the GNU Affero General Public License, Version 3.