Requirements
6
Test coverage
100.0%
Verified (tests passed)
66.7%
Uncovered
0
Failing
2
Unknown ids
0
Orphan tests
0
Coverage by level
| Level | Requirements | With test | Verified | Uncovered | With source trace | With parent |
|---|---|---|---|---|---|---|
| HLR | 3 | 3 | 2 | 0 | 0 | 0 |
| LLR | 3 | 3 | 2 | 0 | 3 | 3 |
Findings (2)
ERROR
TEST_FAILED HLR-2: 1 linked test(s) failed (test_frame_bad_crc_is_rejected) — docs/requirements/requirements.ymlERROR
TEST_FAILED LLR-12: 1 linked test(s) failed (test_frame_bad_crc_is_rejected) — docs/requirements/requirements.ymlTraceability matrix
| Requirement | Title | Traces up | Verif. | Tests | Implemented in | Status |
|---|---|---|---|---|---|---|
| HLR-1 docs/requirements/requirements.yml |
CRC-16 computation ↳ LLR-10 |
— | test | test_crc16_known_vector test/test_crc16.c:7✓ test/test_crc16.c::test_crc16_known_vector |
— | verified |
| HLR-2 docs/requirements/requirements.yml |
Frame validation ↳ LLR-12 |
— | test | test_frame_bad_crc_is_rejected test/test_frame.c:15✗ test/test_frame.c::test_frame_bad_crc_is_rejected Expected 2 Was 0 |
— | failing |
| HLR-3 docs/requirements/requirements.yml |
Zero-length frames ↳ LLR-11 |
— | test | test_frame_too_short_is_rejected test/test_frame.c:8✓ test/test_frame.c::test_frame_too_short_is_rejected |
— | verified |
| LLR-10 docs/requirements/requirements.yml |
CRC table-less implementation | HLR-1 |
test | test_crc16_known_vector test/test_crc16.c:7test_crc16_empty_buffer_is_seed test/test_crc16.c:14✓ test/test_crc16.c::test_crc16_known_vector ✓ test/test_crc16.c::test_crc16_empty_buffer_is_seed |
src/crc16.c:3 crc16_ccitt |
verified |
| LLR-11 docs/requirements/requirements.yml |
Frame length check | HLR-3 |
test | test_frame_too_short_is_rejected test/test_frame.c:8✓ test/test_frame.c::test_frame_too_short_is_rejected |
src/frame.c:4 frame_validate |
verified |
| LLR-12 docs/requirements/requirements.yml |
CRC mismatch | HLR-2 |
test | test_frame_bad_crc_is_rejected test/test_frame.c:15test_frame_good_crc_is_accepted test/test_frame.c:22✗ test/test_frame.c::test_frame_bad_crc_is_rejected Expected 2 Was 0 ✓ test/test_frame.c::test_frame_good_crc_is_accepted |
src/frame.c:4 frame_validate |
failing |