eclipse-score / eclipse-score/time

Add RecordProperty test traceability: score/time_daemon unit tests

Open
#91 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
C++
Stars
2
Forks
12
Avg merge
3d 10h
Merged PRs (30d)
24

Description

> [!IMPORTANT]
> Link the implementing PR to this issue by including `Closes #91` in the PR description or commit message.

### What

Add `RecordProperty` traceability metadata to all unit tests in `score/time_daemon/` so each test is linked to the requirement it verifies.

Each test fixture must carry in `SetUp()`:
- `RecordProperty("TestType", "requirements-based")`
- `RecordProperty("DerivationTechnique", "requirements-analysis")`

Each individual test must carry:
- `RecordProperty("Description", "Given ... When ... Then ...")`
- `RecordProperty("FullyVerifies", "comp_req__time_daemon__")` or `RecordProperty("PartiallyVerifies", "comp_req__time_daemon__")`

### Acceptance Criteria

- [ ] All `cc_test` targets under `//score/time_daemon/...` carry the four required properties
- [ ] `comp_req` UIDs referenced are valid `comp_req__time_daemon__*` identifiers
- [ ] `bazel run //:docs` shows no broken traceability links for `score/time_daemon`

### References

- [S-CORE Verification](https://eclipse-score.github.io/process_description/main/process_areas/verification/)

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.