Testing & Verification
1,988 tests across 16 crates — 100% pass rate, 69,857 SS-076 test steps
Verification
All Passing1,213Unit & Integration
775SS-076 Standard
775SS-076 Physics
69,857SS-076 test steps executed · 0 skipped
Test Breakdown by Crate
| Crate | Tests | Description |
|---|---|---|
etcs-kernel | 264 | 16 ETCS modes, transitions, supervision state machine |
etcs-dmi | 158 | DMI data model, speed gauge, menu system |
etcs-braking | 136 | Braking curves (EBD/SBD/warning/permitted/indication) |
etcs-codec | 126 | All 46 packet codecs, telegram codec, radio message framing |
etcs-procedures | 98 | 16 procedures: SoM, EoM, Level Transition, Override... |
etcs-euroradio | 95 | 3DES-CBC-MAC, AES-128-CMAC, AU1/AU2/AU3 handshake |
etcs-rbc | 55 | Multi-train RBC, track database, MA computation |
etcs-odometry | 46 | LRBG-relative position, sensor fusion, balise linking |
etcs-types | 40 | Safety patterns: Bounded, Watchdog, VotedValue 2oo2/2oo3 |
etcs-harness | 37 | YAML scenario loader, SS-076 framework |
etcs-sim | 32 | Newtonian train dynamics, interlocking |
etcs-evc-core | 27 | 7-phase cyclic executive (no_std SIL4) |
etcs-test | 19 | SS-076 test runner, parser, executor |
etcs-jru | 12 | 27 SUBSET-027 event types, heapless ring buffer |
etcs-leu | 8 | Balise telegram generation from signal aspects |
etcs-evc | 7 | I/O wiring: RadioLink via TCP + Euroradio |
| Total | 1,213 | Zero failures |
SS-076 Two Testing Modes
Standard Mode
etcs-test run-all
Functional I/O verification. One EVC cycle per step, injected speed values. Tests logical correctness of mode transitions, supervision decisions, and output signals.
775 / 775 — 100%
Physics Mode
etcs-test run-all-physics
Closed-loop control verification. Uses real SimEngine (EVC + RBC + TrainDynamicsSim). 50 physics cycles between steps for settling. Tests real-time behavior.
775 / 775 — 100%