Adjust LOBSTER tracing policy (#194)

Adjust tracing policy to reflect requirement levels and measure the
coverage
The requirements-to-test coverage per system requirements and per unit
requirements is done separately

Introduced new levels in the tracing policy:

- system requirement
- system test
- software requirement
- software test
- code

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) lobster/tools/requirements.rsl \
-	--config-file=lobster/tools/lobster-trlc.conf \
-	--out requirements.lobster
+	--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 -,/,$*))

lobster/tools/lobster-trlc-software.conf

@@ -0,0 +1,3 @@
+req.Software_Requirement {
+  description = description
+}

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";
 }