Skip to content

Commit 9510698

Browse files
mugdhadhole1phiwuu
andauthored
Usecase tracing policy for lobster-online-report (#494)
- Add online_report to TOOLS list in tracing.sh - Create TRLC configuration files for online report traceability: - online_report.potential-errors.lobster-trlc.yaml - online_report.test-specifications.lobster-trlc.yaml - online_report.system-requirements.lobster-trlc.yaml - online_report.software-requirements.lobster-trlc.yaml - Skip core-online-report in Makefile tracing target (handled by tracing.sh) - Enable usecase tracing for online report tool Co-authored-by: Philipp Wullstein-Kammler <philipp.wullstein-kammler@bmw.de>
1 parent 58598d9 commit 9510698

6 files changed

+55
-2
lines changed

Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -190,7 +190,7 @@ tracing:
190190
@for tool in $(TOOL_FOLDERS); do \
191191
echo "Processing tool: $$tool"; \
192192
case $$tool in \
193-
codebeamer|cpptest|trlc|json|pkg|core-report|core-html_report) \
193+
codebeamer|cpptest|trlc|json|pkg|core-report|core-html_report|core-online-report) \
194194
echo "Skipping tool: $$tool (handled by tracing.sh script)"; \
195195
;; \
196196
*) \
Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
inputs:
2+
- "lobster/requirements.rsl"
3+
- "lobster/use_cases.trlc"
4+
- "lobster/tools/core/online_report"
5+
conversion-rules:
6+
- package: req
7+
record-type: PotentialError
8+
namespace: req
9+
description-fields:
10+
- description
11+
tags:
12+
- affects
Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
inputs:
2+
- "lobster/requirements.rsl"
3+
- "lobster/use_cases.trlc"
4+
- "lobster/tools/core/online_report"
5+
conversion-rules:
6+
- package: req
7+
record-type: Software_Requirement
8+
namespace: req
9+
description-fields:
10+
- description
11+
tags:
12+
- derived_from
Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
inputs:
2+
- "lobster/requirements.rsl"
3+
- "lobster/use_cases.trlc"
4+
- "lobster/tools/core/online_report"
5+
conversion-rules:
6+
- package: req
7+
record-type: System_Requirement
8+
namespace: req
9+
description-fields:
10+
- description
11+
- package: req
12+
record-type: System_Requirement_Aspect
13+
namespace: req
14+
description-fields:
15+
- description
16+
justification-down-fields:
17+
- not_tested_reason
Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
inputs:
2+
- "lobster/requirements.rsl"
3+
- "lobster/use_cases.trlc"
4+
- "lobster/tools/core/online_report"
5+
conversion-rules:
6+
- package: req
7+
record-type: TestSpecification
8+
namespace: req
9+
description-fields:
10+
- description
11+
tags:
12+
- verifies

tracing/tracing.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
mkdir -p tracing_out
55
mkdir -p docs
66

7-
TOOLS=("codebeamer" "cpptest" "trlc" "json" "pkg" "report" "html_report")
7+
TOOLS=("codebeamer" "cpptest" "trlc" "json" "pkg" "report" "html_report" "online_report")
88

99
# Process each tool
1010
for tool in "${TOOLS[@]}"; do

0 commit comments

Comments
 (0)