Requirements
4
Test coverage
100.0%
Verified (tests passed)
100.0%
Uncovered
0
Failing
0
Unknown ids
0
Orphan tests
0
Coverage by level
| Level | Requirements | With test | Verified | Uncovered | With source trace | With parent |
|---|---|---|---|---|---|---|
| SWR | 4 | 3 | 3 | 0 | 4 | 0 |
Traceability matrix
| Requirement | Title | Traces up | Verif. | Tests | Implemented in | Status |
|---|---|---|---|---|---|---|
| SWR-1 docs/requirements/SWR.md:3 |
The ring buffer shall store up to `capacity` elements | — | test | RingBuffer.StoresCapacityElements test/ring_buffer_test.cpp:4✓ RingBuffer::StoresCapacityElements |
src/ring_buffer.hpp:5 RingBuffer |
verified |
| SWR-2 docs/requirements/SWR.md:4 |
Pushing into a full buffer shall fail and leave the buffer unchanged | — | test | RingBuffer.PushOnFullFails test/ring_buffer_test.cpp:10✓ RingBuffer::PushOnFullFails |
src/ring_buffer.hpp:5 RingBuffer |
verified |
| SWR-3 docs/requirements/SWR.md:5 |
Popping from an empty buffer shall fail | — | test | RingBuffer.PopOnEmptyFails test/ring_buffer_test.cpp:18✓ RingBuffer::PopOnEmptyFails |
src/ring_buffer.hpp:5 RingBuffer |
verified |
| SWR-4 docs/requirements/SWR.md:6 |
The buffer shall be lock-free for a single producer / single consumer | — | analysis | — | src/ring_buffer.hpp:5 RingBuffer |
n/a |