Thermostat — Software Requirements Traceability

Generated 2026-09-22 20:47 UTC · commit cfd4bb7 · reqcov 0.2.0
Requirements
8
Test coverage
83.3%
Verified (tests passed)
83.3%
Uncovered
1
Failing
0
Unknown ids
0
Orphan tests
1

Coverage by level

LevelRequirementsWith testVerifiedUncoveredWith source traceWith parent
SRS 5 3 3 1 4 4
SYS 3 2 2 0 0 0

Findings (4)

ERROR COVERAGE test coverage of requirements 83.3% is below the required 100.0%
WARNING UNCOVERED SRS-13 has no linked test — docs/requirements/SRS.md:19
WARNING DERIVED SRS-14 has no parent requirement (derived?) — docs/requirements/SRS.md:24
INFO ORPHAN_TEST test examples.pytest-project.tests.test_controller::test_default_setpoint is not linked to any requirement

Traceability matrix

RequirementTitleTraces upVerif.TestsImplemented inStatus
SRS-10
docs/requirements/SRS.md:3
 Hysteresis control SYS-1 test
test_hysteresis_turns_on_below_band tests/test_controller.py:6
test_hysteresis_turns_off_above_band tests/test_controller.py:12
✓ examples.pytest-project.tests.test_controller::test_hysteresis_turns_on_below_band
✓ examples.pytest-project.tests.test_controller::test_hysteresis_turns_off_above_band
src/thermostat/__init__.py:22 update
 verified
SRS-11
docs/requirements/SRS.md:8
 Over-temperature cut-off SYS-2 test
test_overtemp_cutoff tests/test_controller.py:19
✓ examples.pytest-project.tests.test_controller::test_overtemp_cutoff
src/thermostat/__init__.py:22 update
 verified
SRS-12
docs/requirements/SRS.md:14
 Setpoint validation SYS-3 test
test_setpoint_validation tests/test_controller.py:27
✓ examples.pytest-project.tests.test_controller::test_setpoint_validation[5.0-True]
✓ examples.pytest-project.tests.test_controller::test_setpoint_validation[30.0-True]
✓ examples.pytest-project.tests.test_controller::test_setpoint_validation[4.9-False]
✓ examples.pytest-project.tests.test_controller::test_setpoint_validation[30.1-False]
src/thermostat/__init__.py:15 set_setpoint
 verified
SRS-13
docs/requirements/SRS.md:19
 Sensor fault handling SYS-2 test —
src/thermostat/__init__.py:22 update
 uncovered
SRS-14
docs/requirements/SRS.md:24
 Logging format — inspection — — n/a
SYS-1
docs/requirements/SYS.md:3
 Temperature regulation
↳ SRS-10
 — demonstration — — n/a
SYS-2
docs/requirements/SYS.md:7
 Safety cut-off
↳ SRS-11, SRS-13
 — test
test_overtemp_cutoff tests/test_controller.py:19
✓ examples.pytest-project.tests.test_controller::test_overtemp_cutoff
 — verified
SYS-3
docs/requirements/SYS.md:11
 Setpoint range
↳ SRS-12
 — test
test_setpoint_validation tests/test_controller.py:27
✓ examples.pytest-project.tests.test_controller::test_setpoint_validation[5.0-True]
✓ examples.pytest-project.tests.test_controller::test_setpoint_validation[30.0-True]
✓ examples.pytest-project.tests.test_controller::test_setpoint_validation[4.9-False]
✓ examples.pytest-project.tests.test_controller::test_setpoint_validation[30.1-False]
 — verified

Tests not linked to any requirement (1)

TestResult
examples.pytest-project.tests.test_controller::test_default_setpointpassed