← graphcode-Demo
Testmatrix (VCRM)
Nachweisverfahren je Anforderung und Ergebnisstand je Test — durchweg offen.
Aus dem Modell generiert — Snapshot vom 22.08.2026, graphcode 0.17.0. Modellsprache ist Englisch.
GENERATED from
docs/graph/graphcodedemo.graph.json(SSOT). REQ × TEST Coverage, 64 REQ rows. Deterministisch generiert.
| REQ | verify-Kante | Lauf-Ergebnis | verifying TEST(s) |
|---|---|---|---|
REQ-acknowledgement-attributable | ✓ | ⚠ nie gelaufen | TEST-acknowledgement-immutable |
REQ-alarm-latency | ✓ | ⚠ nie gelaufen | TEST-alarm-latency |
REQ-anti-trap-protection | ✓ | ⚠ nie gelaufen | TEST-anti-trap-reopen |
REQ-block-separation | ✓ | ⚠ nie gelaufen | TEST-block-separation-holds |
REQ-destination-entry | ✓ | ⚠ nie gelaufen | TEST-destination-entry-steps |
REQ-doors-open-in-sync | ✓ | ⚠ nie gelaufen | TEST-doors-open-only-together |
REQ-dual-channel-positioning | ✓ | ⚠ nie gelaufen | TEST-single-channel-position-loss |
REQ-lockout-effective | ✓ | ⚠ nie gelaufen | TEST-lockout-under-cabin-shortage |
REQ-mit-alarm-prioritization | ✓ | ⚠ nie gelaufen | TEST-risk-alarm-missed |
REQ-mit-anti-trap-selftest | ✓ | ⚠ nie gelaufen | TEST-risk-obstacle-detection-selftest |
REQ-mit-decision-references-alarm | ✓ | ⚠ nie gelaufen | TEST-risk-resume-with-active-alarm |
REQ-mit-door-state-single-source | ✓ | ⚠ nie gelaufen | TEST-risk-door-state-divergence |
REQ-mit-dual-channel-locking | ✓ | ⚠ nie gelaufen | TEST-risk-door-unlock-in-motion |
REQ-mit-enumerated-state-values | ✓ | ⚠ nie gelaufen | TEST-risk-state-value-enumeration |
REQ-mit-evacuation-overrides-door-command | ✓ | ⚠ nie gelaufen | TEST-risk-door-command-during-evacuation |
REQ-mit-information-and-locking | ✓ | ⚠ nie gelaufen | TEST-risk-emergency-handle-and-information |
REQ-mit-isolation-proof-reference | ✓ | ⚠ nie gelaufen | TEST-risk-energization-state-divergence |
REQ-mit-lockout-survives-restart | ✓ | ⚠ nie gelaufen | TEST-risk-lockout-after-restart |
REQ-mit-operating-state-from-lockout | ✓ | ⚠ nie gelaufen | TEST-risk-lockout-state-divergence |
REQ-mit-readiness-freshness-check | ✓ | ⚠ nie gelaufen | TEST-risk-stale-readiness-picture |
REQ-mit-separate-power-for-positioning | ✓ | ⚠ nie gelaufen | TEST-risk-positioning-power-loss |
REQ-mit-single-standstill-proof | ✓ | ⚠ nie gelaufen | TEST-risk-stale-standstill-proof |
REQ-mit-stopping-window-enforced | ✓ | ⚠ nie gelaufen | TEST-risk-door-release-outside-window |
REQ-mit-wayside-block-check | ✓ | ⚠ nie gelaufen | TEST-risk-rear-end-collision |
REQ-no-self-evacuation | ✓ | ⚠ nie gelaufen | TEST-emergency-handle-without-release |
REQ-passenger-information | ✓ | ⚠ nie gelaufen | TEST-announcement-interval |
REQ-picture-complete | ✓ | ⚠ nie gelaufen | TEST-missing-report-shown-as-gap |
REQ-picture-freshness | ✓ | ⚠ nie gelaufen | TEST-picture-freshness |
REQ-post-cabin-assigned | ✓ | ⚠ nie gelaufen | TEST-scenario-trip-request |
REQ-post-cabin-cleared | ✓ | ⚠ nie gelaufen | TEST-scenario-evacuation |
REQ-post-cabin-dispatchable | ✓ | ⚠ nie gelaufen | TEST-scenario-maintenance-window |
REQ-post-deviation-visible | ✓ | ⚠ nie gelaufen | TEST-scenario-operational-picture |
REQ-post-doors-locked | ✓ | ⚠ nie gelaufen | TEST-scenario-door-cycle |
REQ-post-inside-target-window | ✓ | ⚠ nie gelaufen | TEST-scenario-line-run |
REQ-post-situation-decided | ✓ | ⚠ nie gelaufen | TEST-scenario-fault-handling |
REQ-pre-cabin-at-standstill | ✓ | ⚠ nie gelaufen | TEST-scenario-door-cycle |
REQ-pre-cabin-immobilized | ✓ | ⚠ nie gelaufen | TEST-scenario-evacuation |
REQ-pre-cabin-in-depot | ✓ | ⚠ nie gelaufen | TEST-scenario-maintenance-window |
REQ-pre-fault-classified | ✓ | ⚠ nie gelaufen | TEST-scenario-fault-handling |
REQ-pre-line-in-service | ✓ | ⚠ nie gelaufen | TEST-scenario-trip-request |
REQ-pre-status-reports-running | ✓ | ⚠ nie gelaufen | TEST-scenario-operational-picture |
REQ-pre-valid-trip-order | ✓ | ⚠ nie gelaufen | TEST-scenario-line-run |
REQ-release-after-function-test | ✓ | ⚠ nie gelaufen | TEST-partial-result-blocks-release |
REQ-ride-comfort | ✓ | ⚠ nie gelaufen | TEST-ride-comfort-acceleration |
REQ-safe-state-unattended | ✓ | ⚠ nie gelaufen | TEST-safe-state-without-control-center |
REQ-section-de-energized | ✓ | ⚠ nie gelaufen | TEST-release-requires-isolation-proof |
REQ-stopping-accuracy | ✓ | ⚠ nie gelaufen | TEST-stopping-accuracy |
REQ-waiting-time-promise | ✓ | ⚠ nie gelaufen | TEST-waiting-time-promise |
RISK-alarm-missed | ✓ | ⚠ nie gelaufen | TEST-risk-alarm-missed |
RISK-door-command-during-evacuation | ✓ | ⚠ nie gelaufen | TEST-risk-door-command-during-evacuation |
RISK-door-opens-in-motion | ✓ | ⚠ nie gelaufen | TEST-risk-door-unlock-in-motion |
RISK-door-state-diverges | ✓ | ⚠ nie gelaufen | TEST-risk-door-state-divergence |
RISK-energization-state-diverges | ✓ | ⚠ nie gelaufen | TEST-risk-energization-state-divergence |
RISK-locked-out-cabin-dispatched | ✓ | ⚠ nie gelaufen | TEST-risk-lockout-after-restart |
RISK-lockout-state-diverges | ✓ | ⚠ nie gelaufen | TEST-risk-lockout-state-divergence |
RISK-passenger-trapped | ✓ | ⚠ nie gelaufen | TEST-risk-obstacle-detection-selftest |
RISK-platform-gap | ✓ | ⚠ nie gelaufen | TEST-risk-door-release-outside-window |
RISK-position-lost | ✓ | ⚠ nie gelaufen | TEST-risk-positioning-power-loss |
RISK-rear-end-collision | ✓ | ⚠ nie gelaufen | TEST-risk-rear-end-collision |
RISK-resume-with-fault-active | ✓ | ⚠ nie gelaufen | TEST-risk-resume-with-active-alarm |
RISK-self-evacuation | ✓ | ⚠ nie gelaufen | TEST-risk-emergency-handle-and-information |
RISK-stale-readiness-dispatch | ✓ | ⚠ nie gelaufen | TEST-risk-stale-readiness-picture |
RISK-standstill-proof-stale | ✓ | ⚠ nie gelaufen | TEST-risk-stale-standstill-proof |
RISK-states-not-enumerated | ✓ | ⚠ nie gelaufen | TEST-risk-state-value-enumeration |
Coverage: 64/64 REQ mit verify-Kante (100%) · 0 offen (R-01).
Belegt: 0/64 REQ bestanden (0%) — eine Kante ist kein Nachweis; ein REQ zählt hier erst, wenn JEDER verifizierende TEST ein testResult: passed trägt (Rückweg: graph_test_ingest, CR-GC-327).
Integrationsabdeckung (rolled-up)
| Verbindung | via FLOW | FCHAIN | deckende TEST(s) | level | Ergebnis |
|---|---|---|---|---|---|
FUNC-aggregate-fleet-state → FUNC-present-operational-picture | FLOW-operational-picture | FCHAIN-operational-picture | ⚠ keine Abdeckung | ||
FUNC-capture-destination → FUNC-check-service-readiness | FLOW-dispatch-request | FCHAIN-trip-request | ⚠ keine Abdeckung | ||
FUNC-capture-destination → FUNC-dispatch-trip-order | FLOW-dispatch-request | FCHAIN-trip-request | ⚠ keine Abdeckung | ||
FUNC-check-service-readiness → FUNC-dispatch-trip-order | FLOW-service-readiness | FCHAIN-trip-request | ⚠ keine Abdeckung | ||
FUNC-compute-speed-profile → FUNC-determine-position | FLOW-cabin-motion | FCHAIN-line-run | ⚠ keine Abdeckung | ||
FUNC-compute-speed-profile → FUNC-report-block-occupancy | FLOW-cabin-motion | FCHAIN-line-run | ⚠ keine Abdeckung | ||
FUNC-detect-guideway-obstacle → FUNC-display-alarm | FLOW-alarm | FCHAIN-fault-handling | ⚠ keine Abdeckung | ||
FUNC-detect-guideway-obstacle → FUNC-record-acknowledgement | FLOW-alarm | FCHAIN-fault-handling | ⚠ keine Abdeckung | ||
FUNC-detect-guideway-obstacle → FUNC-trigger-emergency-brake | FLOW-alarm | FCHAIN-fault-handling | ⚠ keine Abdeckung | ||
FUNC-detect-obstruction → FUNC-operate-cabin-door | FLOW-reopen-command | FCHAIN-door-cycle | ⚠ keine Abdeckung | ||
FUNC-detect-obstruction → FUNC-operate-platform-door | FLOW-reopen-command | FCHAIN-door-cycle | ⚠ keine Abdeckung | ||
FUNC-detect-obstruction → FUNC-synchronize-door-pair | FLOW-reopen-command | FCHAIN-door-cycle | ⚠ keine Abdeckung | ||
FUNC-determine-position → FUNC-compute-speed-profile | FLOW-cabin-position | FCHAIN-line-run | ⚠ keine Abdeckung | ||
FUNC-determine-position → FUNC-synchronize-door-pair | FLOW-cabin-position | FCHAIN-door-cycle | ⚠ keine Abdeckung | ||
FUNC-determine-position → FUNC-trigger-emergency-brake | FLOW-cabin-position | FCHAIN-line-run | ⚠ keine Abdeckung | ||
FUNC-dispatch-trip-order → FUNC-show-waiting-time | FLOW-trip-order | FCHAIN-trip-request | ⚠ keine Abdeckung | ||
FUNC-grant-block-clearance → FUNC-compute-speed-profile | FLOW-block-clearance | FCHAIN-line-run | ⚠ keine Abdeckung | ||
FUNC-grant-block-clearance → FUNC-trigger-emergency-brake | FLOW-block-clearance | FCHAIN-line-run | ⚠ keine Abdeckung | ||
FUNC-grant-evacuation-release → FUNC-announce-situation | FLOW-evacuation-release | FCHAIN-evacuation | ⚠ keine Abdeckung | ||
FUNC-grant-evacuation-release → FUNC-operate-cabin-door | FLOW-evacuation-release | FCHAIN-evacuation | ⚠ keine Abdeckung | ||
FUNC-lock-out-cabin → FUNC-prove-isolation | FLOW-lockout-record | FCHAIN-maintenance-window | ⚠ keine Abdeckung | ||
FUNC-lock-out-cabin → FUNC-report-cabin-state | FLOW-lockout-record | FCHAIN-maintenance-window | ⚠ keine Abdeckung | ||
FUNC-operate-cabin-door → FUNC-detect-obstruction | FLOW-door-motion | FCHAIN-door-cycle | ⚠ keine Abdeckung | ||
FUNC-operate-cabin-door → FUNC-prove-door-locking | FLOW-door-motion | FCHAIN-door-cycle | ⚠ keine Abdeckung | ||
FUNC-operate-platform-door → FUNC-detect-obstruction | FLOW-door-motion | FCHAIN-door-cycle | ⚠ keine Abdeckung | ||
FUNC-operate-platform-door → FUNC-prove-door-locking | FLOW-door-motion | FCHAIN-door-cycle | ⚠ keine Abdeckung | ||
FUNC-prove-isolation → FUNC-announce-situation | FLOW-isolation-proof | FCHAIN-evacuation | ⚠ keine Abdeckung | ||
FUNC-prove-isolation → FUNC-grant-evacuation-release | FLOW-isolation-proof | FCHAIN-evacuation | ⚠ keine Abdeckung | ||
FUNC-report-block-occupancy → FUNC-aggregate-fleet-state | FLOW-block-occupancy | FCHAIN-operational-picture | ⚠ keine Abdeckung | ||
FUNC-report-block-occupancy → FUNC-grant-block-clearance | FLOW-block-occupancy | FCHAIN-line-run | ⚠ keine Abdeckung | ||
FUNC-report-cabin-state → FUNC-aggregate-fleet-state | FLOW-cabin-status-report | FCHAIN-operational-picture | ⚠ keine Abdeckung | ||
FUNC-synchronize-door-pair → FUNC-operate-cabin-door | FLOW-door-release | FCHAIN-door-cycle | ⚠ keine Abdeckung | ||
FUNC-synchronize-door-pair → FUNC-operate-platform-door | FLOW-door-release | FCHAIN-door-cycle | ⚠ keine Abdeckung | ||
FUNC-trigger-emergency-brake → FUNC-compute-speed-profile | FLOW-brake-request | FCHAIN-line-run | ⚠ keine Abdeckung |
0/34 deklarierte FUNC↔FUNC-Verbindungen sind über die Kette TEST→REQ←FCHAIN→FUNC abgedeckt · 34 offen. Nur Paare mit gemeinsamer FCHAIN — Ko-Adjazenz an einer geteilten FLOW ist keine deklarierte Schnittstelle (CR-GC-315). Leeres level/Ergebnis = am TEST nicht gepflegt.