Coverage — deterministic requirement → test matrix

Every requirement covered by ≥1 test = deterministic completeness.

Overall requirement coverage: COVERAGE COMPLETE — this completeness is a deterministic guarantee (green); test content/oracles are an LLM draft (yellow).

comms complete 9 req · 52 tests

RequirementAxis#TestsCovering test cases
REQ-COM-001Input Domain4TC-COM-001, TC-COM-002, TC-COM-003, TC-COM-004
REQ-COM-002Output Domain4TC-COM-005, TC-COM-006, TC-COM-007, TC-COM-051
REQ-COM-003Saturation / Clamping3TC-COM-008, TC-COM-009, TC-COM-010
REQ-COM-004Sign / Units4TC-COM-011, TC-COM-012, TC-COM-013, TC-COM-052
REQ-COM-005Fault / Error Reaction8TC-COM-014, TC-COM-015, TC-COM-016, TC-COM-017, TC-COM-018, TC-COM-019, TC-COM-044, TC-COM-045
REQ-COM-006Timing17TC-COM-020, TC-COM-021, TC-COM-022, TC-COM-023, TC-COM-024, TC-COM-025, TC-COM-026, TC-COM-027, TC-COM-044, TC-COM-045, TC-COM-046, TC-COM-047, TC-COM-048, TC-COM-049, TC-COM-050, TC-COM-051, TC-COM-052
REQ-COM-007Resource Limits3TC-COM-028, TC-COM-029, TC-COM-030
REQ-COM-008State8TC-COM-031, TC-COM-032, TC-COM-033, TC-COM-034, TC-COM-035, TC-COM-036, TC-COM-037, TC-COM-038
REQ-COM-009Concurrency5TC-COM-039, TC-COM-040, TC-COM-041, TC-COM-042, TC-COM-043
Integrity (deterministic): dangling refs: 0 · non-standard methods: 0 · undeclared stimuli: 0 · oracles not flagged: 0  |  method mix: BVA:24 · Decision:11 · EP:1 · Interface:5 · Scenario:3 · State:8

safety complete 9 req · 81 tests

RequirementAxis#TestsCovering test cases
REQ-SAF-001Input Domain9TC-SAF-001, TC-SAF-002, TC-SAF-003, TC-SAF-004, TC-SAF-005, TC-SAF-006, TC-SAF-007, TC-SAF-059, TC-SAF-076
REQ-SAF-002Output Domain15TC-SAF-008, TC-SAF-009, TC-SAF-010, TC-SAF-011, TC-SAF-012, TC-SAF-013, TC-SAF-014, TC-SAF-015, TC-SAF-056, TC-SAF-063, TC-SAF-064, TC-SAF-065, TC-SAF-072, TC-SAF-073, TC-SAF-074
REQ-SAF-003Saturation / Clamping6TC-SAF-016, TC-SAF-017, TC-SAF-018, TC-SAF-019, TC-SAF-061, TC-SAF-062
REQ-SAF-004Sign / Units6TC-SAF-020, TC-SAF-021, TC-SAF-022, TC-SAF-076, TC-SAF-077, TC-SAF-078
REQ-SAF-005Fault / Error Reaction14TC-SAF-023, TC-SAF-024, TC-SAF-025, TC-SAF-026, TC-SAF-027, TC-SAF-028, TC-SAF-029, TC-SAF-057, TC-SAF-058, TC-SAF-059, TC-SAF-066, TC-SAF-072, TC-SAF-073, TC-SAF-074
REQ-SAF-006Timing10TC-SAF-030, TC-SAF-031, TC-SAF-032, TC-SAF-033, TC-SAF-034, TC-SAF-035, TC-SAF-060, TC-SAF-068, TC-SAF-079, TC-SAF-080
REQ-SAF-007Resource Limits9TC-SAF-036, TC-SAF-037, TC-SAF-038, TC-SAF-039, TC-SAF-040, TC-SAF-069, TC-SAF-070, TC-SAF-071, TC-SAF-081
REQ-SAF-008State13TC-SAF-041, TC-SAF-042, TC-SAF-043, TC-SAF-044, TC-SAF-045, TC-SAF-046, TC-SAF-047, TC-SAF-048, TC-SAF-049, TC-SAF-050, TC-SAF-060, TC-SAF-067, TC-SAF-075
REQ-SAF-009Concurrency5TC-SAF-051, TC-SAF-052, TC-SAF-053, TC-SAF-054, TC-SAF-055
Integrity (deterministic): dangling refs: 0 · non-standard methods: 0 · undeclared stimuli: 179 · oracles not flagged: 0  |  method mix: BVA:22 · Decision:14 · EP:5 · Interface:16 · Scenario:10 · State:14

supervision complete 9 req · 53 tests

RequirementAxis#TestsCovering test cases
REQ-SUP-001Input Domain12TC-SUP-001, TC-SUP-002, TC-SUP-003, TC-SUP-004, TC-SUP-005, TC-SUP-006, TC-SUP-007, TC-SUP-008, TC-SUP-009, TC-SUP-010, TC-SUP-011, TC-SUP-012
REQ-SUP-002Output Domain7TC-SUP-013, TC-SUP-014, TC-SUP-015, TC-SUP-016, TC-SUP-017, TC-SUP-018, TC-SUP-019
REQ-SUP-003Saturation / Clamping2TC-SUP-020, TC-SUP-021
REQ-SUP-004Sign / Units4TC-SUP-022, TC-SUP-023, TC-SUP-024, TC-SUP-025
REQ-SUP-005Fault / Error Reaction5TC-SUP-026, TC-SUP-027, TC-SUP-028, TC-SUP-029, TC-SUP-030
REQ-SUP-006Timing5TC-SUP-031, TC-SUP-032, TC-SUP-033, TC-SUP-034, TC-SUP-035
REQ-SUP-007Resource Limits4TC-SUP-036, TC-SUP-037, TC-SUP-038, TC-SUP-039
REQ-SUP-008State6TC-SUP-040, TC-SUP-041, TC-SUP-042, TC-SUP-043, TC-SUP-044, TC-SUP-045
REQ-SUP-009Concurrency8TC-SUP-046, TC-SUP-047, TC-SUP-048, TC-SUP-049, TC-SUP-050, TC-SUP-051, TC-SUP-052, TC-SUP-053
Integrity (deterministic): dangling refs: 0 · non-standard methods: 0 · undeclared stimuli: 0 · oracles not flagged: 0  |  method mix: BVA:20 · Decision:11 · EP:13 · Interface:1 · Scenario:1 · State:7

command complete 9 req · 59 tests

RequirementAxis#TestsCovering test cases
REQ-COM-001Input Domain11TC-COM-001, TC-COM-002, TC-COM-003, TC-COM-004, TC-COM-005, TC-COM-006, TC-COM-007, TC-COM-008, TC-COM-009, TC-COM-010, TC-COM-057
REQ-COM-002Output Domain3TC-COM-011, TC-COM-012, TC-COM-013
REQ-COM-003Saturation / Clamping10TC-COM-014, TC-COM-015, TC-COM-016, TC-COM-017, TC-COM-018, TC-COM-019, TC-COM-020, TC-COM-021, TC-COM-056, TC-COM-059
REQ-COM-004Sign / Units9TC-COM-022, TC-COM-023, TC-COM-024, TC-COM-025, TC-COM-026, TC-COM-027, TC-COM-028, TC-COM-029, TC-COM-059
REQ-COM-005Fault / Error Reaction9TC-COM-030, TC-COM-031, TC-COM-032, TC-COM-033, TC-COM-034, TC-COM-035, TC-COM-036, TC-COM-057, TC-COM-058
REQ-COM-006Timing4TC-COM-037, TC-COM-038, TC-COM-039, TC-COM-040
REQ-COM-007Resource Limits3TC-COM-041, TC-COM-042, TC-COM-043
REQ-COM-008State7TC-COM-044, TC-COM-045, TC-COM-046, TC-COM-047, TC-COM-048, TC-COM-049, TC-COM-058
REQ-COM-009Concurrency6TC-COM-050, TC-COM-051, TC-COM-052, TC-COM-053, TC-COM-054, TC-COM-055
Integrity (deterministic): dangling refs: 0 · non-standard methods: 3 · undeclared stimuli: 126 · oracles not flagged: 0  |  method mix: BVA:20 · Concurrency:3 · Decision:9 · EP:10 · Interface:4 · Scenario:7 · State:6

actuation complete 9 req · 56 tests

RequirementAxis#TestsCovering test cases
REQ-ACT-001Input Domain6TC-ACT-001, TC-ACT-002, TC-ACT-003, TC-ACT-004, TC-ACT-005, TC-ACT-006
REQ-ACT-002Output Domain7TC-ACT-007, TC-ACT-008, TC-ACT-009, TC-ACT-010, TC-ACT-011, TC-ACT-012, TC-ACT-045
REQ-ACT-003Saturation / Clamping8TC-ACT-011, TC-ACT-012, TC-ACT-013, TC-ACT-014, TC-ACT-045, TC-ACT-046, TC-ACT-047, TC-ACT-056
REQ-ACT-004Sign / Units6TC-ACT-015, TC-ACT-016, TC-ACT-017, TC-ACT-018, TC-ACT-048, TC-ACT-049
REQ-ACT-005Fault / Error Reaction12TC-ACT-019, TC-ACT-020, TC-ACT-021, TC-ACT-022, TC-ACT-023, TC-ACT-024, TC-ACT-025, TC-ACT-050, TC-ACT-051, TC-ACT-052, TC-ACT-053, TC-ACT-054
REQ-ACT-006Timing2TC-ACT-026, TC-ACT-027
REQ-ACT-007Resource Limits1TC-ACT-028
REQ-ACT-008State15TC-ACT-029, TC-ACT-030, TC-ACT-031, TC-ACT-032, TC-ACT-033, TC-ACT-034, TC-ACT-035, TC-ACT-036, TC-ACT-037, TC-ACT-038, TC-ACT-039, TC-ACT-040, TC-ACT-041, TC-ACT-052, TC-ACT-055
REQ-ACT-009Concurrency3TC-ACT-042, TC-ACT-043, TC-ACT-044
Integrity (deterministic): dangling refs: 0 · non-standard methods: 0 · undeclared stimuli: 0 · oracles not flagged: 0  |  method mix: BVA:18 · Decision:9 · EP:9 · Interface:4 · Scenario:6 · State:10

localization complete 9 req · 76 tests

RequirementAxis#TestsCovering test cases
REQ-LOC-001Input Domain6TC-LOC-001, TC-LOC-002, TC-LOC-003, TC-LOC-004, TC-LOC-005, TC-LOC-060
REQ-LOC-002Output Domain10TC-LOC-006, TC-LOC-007, TC-LOC-008, TC-LOC-009, TC-LOC-010, TC-LOC-011, TC-LOC-012, TC-LOC-013, TC-LOC-061, TC-LOC-062
REQ-LOC-003Saturation / Clamping8TC-LOC-014, TC-LOC-015, TC-LOC-016, TC-LOC-017, TC-LOC-018, TC-LOC-019, TC-LOC-057, TC-LOC-070
REQ-LOC-004Sign / Units9TC-LOC-020, TC-LOC-021, TC-LOC-022, TC-LOC-023, TC-LOC-024, TC-LOC-056, TC-LOC-058, TC-LOC-071, TC-LOC-072
REQ-LOC-005Fault / Error Reaction13TC-LOC-025, TC-LOC-026, TC-LOC-027, TC-LOC-028, TC-LOC-029, TC-LOC-030, TC-LOC-055, TC-LOC-057, TC-LOC-063, TC-LOC-064, TC-LOC-065, TC-LOC-073, TC-LOC-074
REQ-LOC-006Timing13TC-LOC-031, TC-LOC-032, TC-LOC-033, TC-LOC-034, TC-LOC-035, TC-LOC-036, TC-LOC-037, TC-LOC-038, TC-LOC-055, TC-LOC-058, TC-LOC-066, TC-LOC-067, TC-LOC-075
REQ-LOC-007Resource Limits6TC-LOC-039, TC-LOC-040, TC-LOC-041, TC-LOC-042, TC-LOC-059, TC-LOC-076
REQ-LOC-008State10TC-LOC-043, TC-LOC-044, TC-LOC-045, TC-LOC-046, TC-LOC-047, TC-LOC-048, TC-LOC-049, TC-LOC-056, TC-LOC-068, TC-LOC-069
REQ-LOC-009Concurrency6TC-LOC-050, TC-LOC-051, TC-LOC-052, TC-LOC-053, TC-LOC-054, TC-LOC-059
Integrity (deterministic): dangling refs: 0 · non-standard methods: 0 · undeclared stimuli: 0 · oracles not flagged: 0  |  method mix: BVA:28 · Decision:19 · EP:1 · Interface:16 · Scenario:5 · State:7

motion_control complete 9 req · 56 tests

RequirementAxis#TestsCovering test cases
REQ-MOT-001Input Domain12TC-MOT-001, TC-MOT-002, TC-MOT-003, TC-MOT-004, TC-MOT-005, TC-MOT-006, TC-MOT-007, TC-MOT-008, TC-MOT-053, TC-MOT-054, TC-MOT-055, TC-MOT-056
REQ-MOT-002Output Domain13TC-MOT-009, TC-MOT-010, TC-MOT-011, TC-MOT-012, TC-MOT-013, TC-MOT-014, TC-MOT-015, TC-MOT-016, TC-MOT-052, TC-MOT-053, TC-MOT-054, TC-MOT-055, TC-MOT-056
REQ-MOT-003Saturation / Clamping6TC-MOT-017, TC-MOT-018, TC-MOT-019, TC-MOT-020, TC-MOT-021, TC-MOT-052
REQ-MOT-004Sign / Units7TC-MOT-022, TC-MOT-023, TC-MOT-024, TC-MOT-025, TC-MOT-026, TC-MOT-027, TC-MOT-028
REQ-MOT-005Fault / Error Reaction5TC-MOT-029, TC-MOT-030, TC-MOT-031, TC-MOT-032, TC-MOT-033
REQ-MOT-006Timing5TC-MOT-021, TC-MOT-034, TC-MOT-035, TC-MOT-036, TC-MOT-037
REQ-MOT-007Resource Limits5TC-MOT-038, TC-MOT-039, TC-MOT-040, TC-MOT-041, TC-MOT-042
REQ-MOT-008State4TC-MOT-043, TC-MOT-044, TC-MOT-045, TC-MOT-046
REQ-MOT-009Concurrency5TC-MOT-047, TC-MOT-048, TC-MOT-049, TC-MOT-050, TC-MOT-051
Integrity (deterministic): dangling refs: 0 · non-standard methods: 0 · undeclared stimuli: 0 · oracles not flagged: 0  |  method mix: BVA:26 · Decision:5 · EP:10 · Interface:4 · Scenario:2 · State:9

perception complete 9 req · 70 tests

RequirementAxis#TestsCovering test cases
REQ-PER-001Input Domain10TC-PER-001, TC-PER-002, TC-PER-003, TC-PER-004, TC-PER-005, TC-PER-006, TC-PER-007, TC-PER-052, TC-PER-065, TC-PER-066
REQ-PER-002Output Domain13TC-PER-008, TC-PER-009, TC-PER-010, TC-PER-011, TC-PER-012, TC-PER-013, TC-PER-014, TC-PER-015, TC-PER-054, TC-PER-055, TC-PER-063, TC-PER-068, TC-PER-069
REQ-PER-003Saturation / Clamping7TC-PER-016, TC-PER-017, TC-PER-018, TC-PER-019, TC-PER-020, TC-PER-021, TC-PER-070
REQ-PER-004Sign / Units11TC-PER-022, TC-PER-023, TC-PER-024, TC-PER-025, TC-PER-026, TC-PER-027, TC-PER-028, TC-PER-054, TC-PER-055, TC-PER-061, TC-PER-062
REQ-PER-005Fault / Error Reaction8TC-PER-029, TC-PER-030, TC-PER-031, TC-PER-032, TC-PER-033, TC-PER-053, TC-PER-058, TC-PER-064
REQ-PER-006Timing13TC-PER-034, TC-PER-035, TC-PER-036, TC-PER-037, TC-PER-038, TC-PER-052, TC-PER-053, TC-PER-056, TC-PER-057, TC-PER-058, TC-PER-065, TC-PER-066, TC-PER-067
REQ-PER-007Resource Limits7TC-PER-039, TC-PER-040, TC-PER-041, TC-PER-042, TC-PER-059, TC-PER-060, TC-PER-068
REQ-PER-008State9TC-PER-043, TC-PER-044, TC-PER-045, TC-PER-046, TC-PER-053, TC-PER-056, TC-PER-057, TC-PER-063, TC-PER-064
REQ-PER-009Concurrency5TC-PER-047, TC-PER-048, TC-PER-049, TC-PER-050, TC-PER-051
Integrity (deterministic): dangling refs: 0 · non-standard methods: 0 · undeclared stimuli: 0 · oracles not flagged: 0  |  method mix: BVA:27 · Decision:15 · EP:12 · Interface:5 · Scenario:3 · State:8

power_management complete 9 req · 66 tests

RequirementAxis#TestsCovering test cases
REQ-PWR-001Input Domain4TC-PWR-001, TC-PWR-002, TC-PWR-003, TC-PWR-004
REQ-PWR-002Output Domain5TC-PWR-005, TC-PWR-006, TC-PWR-007, TC-PWR-008, TC-PWR-009
REQ-PWR-003Saturation / Clamping2TC-PWR-010, TC-PWR-011
REQ-PWR-004Sign / Units3TC-PWR-012, TC-PWR-013, TC-PWR-060
REQ-PWR-005Fault / Error Reaction29TC-PWR-014, TC-PWR-015, TC-PWR-016, TC-PWR-017, TC-PWR-018, TC-PWR-019, TC-PWR-020, TC-PWR-021, TC-PWR-022, TC-PWR-023, TC-PWR-024, TC-PWR-025, TC-PWR-026, TC-PWR-027, TC-PWR-047, TC-PWR-048, TC-PWR-049, TC-PWR-050, TC-PWR-051, TC-PWR-052, TC-PWR-053, TC-PWR-054, TC-PWR-055, TC-PWR-056, TC-PWR-057, TC-PWR-061, TC-PWR-062, TC-PWR-063, TC-PWR-064
REQ-PWR-006Timing7TC-PWR-028, TC-PWR-029, TC-PWR-030, TC-PWR-031, TC-PWR-032, TC-PWR-058, TC-PWR-059
REQ-PWR-007Resource Limits3TC-PWR-033, TC-PWR-034, TC-PWR-035
REQ-PWR-008State10TC-PWR-036, TC-PWR-037, TC-PWR-038, TC-PWR-039, TC-PWR-040, TC-PWR-041, TC-PWR-042, TC-PWR-043, TC-PWR-065, TC-PWR-066
REQ-PWR-009Concurrency3TC-PWR-044, TC-PWR-045, TC-PWR-046
Integrity (deterministic): dangling refs: 0 · non-standard methods: 0 · undeclared stimuli: 0 · oracles not flagged: 0  |  method mix: BVA:27 · Decision:15 · EP:7 · Interface:5 · Scenario:5 · State:7

cyclic_scheduler complete 9 req · 75 tests

RequirementAxis#TestsCovering test cases
REQ-CYC-001Input Domain16TC-CYC-001, TC-CYC-002, TC-CYC-003, TC-CYC-004, TC-CYC-005, TC-CYC-006, TC-CYC-007, TC-CYC-008, TC-CYC-009, TC-CYC-010, TC-CYC-011, TC-CYC-012, TC-CYC-059, TC-CYC-064, TC-CYC-068, TC-CYC-074
REQ-CYC-002Output Domain8TC-CYC-013, TC-CYC-014, TC-CYC-015, TC-CYC-016, TC-CYC-056, TC-CYC-060, TC-CYC-067, TC-CYC-075
REQ-CYC-003Saturation / Clamping4TC-CYC-017, TC-CYC-018, TC-CYC-019, TC-CYC-020
REQ-CYC-004Sign / Units7TC-CYC-021, TC-CYC-022, TC-CYC-023, TC-CYC-024, TC-CYC-065, TC-CYC-070, TC-CYC-075
REQ-CYC-005Fault / Error Reaction5TC-CYC-025, TC-CYC-026, TC-CYC-027, TC-CYC-028, TC-CYC-029
REQ-CYC-006Timing13TC-CYC-030, TC-CYC-031, TC-CYC-032, TC-CYC-033, TC-CYC-034, TC-CYC-035, TC-CYC-036, TC-CYC-057, TC-CYC-058, TC-CYC-059, TC-CYC-060, TC-CYC-066, TC-CYC-069
REQ-CYC-007Resource Limits12TC-CYC-037, TC-CYC-038, TC-CYC-039, TC-CYC-040, TC-CYC-041, TC-CYC-042, TC-CYC-043, TC-CYC-061, TC-CYC-062, TC-CYC-063, TC-CYC-072, TC-CYC-073
REQ-CYC-008State6TC-CYC-044, TC-CYC-045, TC-CYC-046, TC-CYC-047, TC-CYC-048, TC-CYC-049
REQ-CYC-009Concurrency7TC-CYC-050, TC-CYC-051, TC-CYC-052, TC-CYC-053, TC-CYC-054, TC-CYC-055, TC-CYC-071
Integrity (deterministic): dangling refs: 0 · non-standard methods: 3 · undeclared stimuli: 228 · oracles not flagged: 0  |  method mix: BVA:24 · Concurrency:3 · Decision:24 · EP:10 · Interface:4 · Scenario:4 · State:6