Skip to content

concurrency: clean up test-to-requirement traceability #551

Description

@4og

Apply the test-to-requirement traceability clean-up described in #522 to the Concurrency component (score/concurrency/).

Replace legacy SCR-* Verifies links with mandated FullyVerifies or PartiallyVerifies links to current comp_req__concurrency__... needs, together with TestType, DerivationTechnique, and self-contained Description metadata. Review every C++ gtest against the requirements and test behavior in both directions. Do not assign artificial test coverage to requirements that are verifiable only by inspection.

Requirement relocation from Memory

AtomicIndirector and its mock interface moved from score/memory/shared to score/concurrency in July 2026. The old Memory targets are deprecated forwarding shims only.

comp_req__memory__atomic_ops must not be linked to the relocated AtomicIndirector tests: it claims lock-free operations on shared-memory data for inter-process communication, while AtomicIndirector is a static-dispatch seam around std::atomic that enables testing of atomic-dependent code.

As part of this task, determine the appropriate Concurrency requirement allocation for AtomicIndirector.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    Projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions