Adjust LOBSTER tracing policy

Adjust tracing policy to reflect requirement levels and messure the coverage
bmw-software-engineering · Feb 4, 2025 · 59e102e · 59e102e
1 parent a1d43cc
commit 59e102e
Show file tree

Hide file tree

Showing 12 changed files with 36 additions and 401 deletions.
diff --git a/Makefile b/Makefile
@@ -135,18 +135,25 @@ tracing-%: report.lobster-%
 report.lobster-%: lobster/tools/lobster.conf \
 				  code.lobster-% \
 				  unit-tests.lobster-% \
-				  requirements.lobster-% \
+				  system_requirements.lobster-% \
+				  software_requirements.lobster-% \
 				  system-tests.lobster-%
 	lobster-report \
 		--lobster-config=lobster/tools/lobster.conf \
 		--out=report.lobster
 	lobster-online-report report.lobster
 
-requirements.lobster-%: lobster/tools/requirements.rsl
+system_requirements.lobster-%: lobster/tools/requirements.rsl
 	$(eval TOOL_PATH := $(subst -,/,$*))   
-	lobster-trlc lobster/tools/$(TOOL_PATH)/requirements.trlc lobster/tools/requirements.rsl \
-	--config-file=lobster/tools/lobster-trlc.conf \
-	--out requirements.lobster
+	lobster-trlc lobster/tools/$(TOOL_PATH) lobster/tools/requirements.rsl \
+	--config-file=lobster/tools/lobster-trlc-system.conf \
+	--out system_requirements.lobster
+
+software_requirements.lobster-%: lobster/tools/requirements.rsl
+	$(eval TOOL_PATH := $(subst -,/,$*))   
+	lobster-trlc lobster/tools/$(TOOL_PATH) lobster/tools/requirements.rsl \
+	--config-file=lobster/tools/lobster-trlc-software.conf \
+	--out software_requirements.lobster
 
 code.lobster-%:
 	$(eval TOOL_PATH := $(subst -,/,$*))

diff --git a/lobster/tools/lobster-trlc-software.conf b/lobster/tools/lobster-trlc-software.conf
@@ -0,0 +1,3 @@
+req.Software_Requirement {
+  description = description
+}
diff --git a/lobster/tools/lobster-trlc.conf → lobster/tools/lobster-trlc-system.conf b/lobster/tools/lobster-trlc.conf → lobster/tools/lobster-trlc-system.conf
diff --git a/lobster/tools/lobster.conf b/lobster/tools/lobster.conf
@@ -1,14 +1,23 @@
-requirements "Specification" {
-  source: "requirements.lobster";
+requirements "System Requirement" {
+  source: "system_requirements.lobster";
+}
+
+requirements "Software Requirement" {
+  source: "software_requirements.lobster";
+  trace to: "System Requirement";
 }
 
 implementation "Code" {
   source: "code.lobster";
-  trace to: "Specification";
+  trace to: "Software Requirement";
 }
 
-activity "Test" {
+activity "System Test" {
   source: "system-tests.lobster";
+  trace to: "System Requirement";
+}
+
+activity "Software Test" {
   source: "unit-tests.lobster";
-  trace to: "Specification";
+  trace to: "Software Requirement";
 }
diff --git a/...r-core/ci_report/rbt-output-file/.gitkeep → ...obster-ci-report/rbt-output-file/.gitkeep b/...r-core/ci_report/rbt-output-file/.gitkeep → ...obster-ci-report/rbt-output-file/.gitkeep