UTC-015_Operation_Mode_State_Path_Coverage
Validate operation mode state machine path across startup run warning degraded and recovery transitions.
Execution
Field |
Value |
|---|---|
Status |
pass |
Last Run At |
2026-02-28T19:05:00Z |
Last Runner |
Dummy_Unit_Run |
Result Summary |
pass |
Preconditions
Operation mode machine initialized in startup and all mode transition events are injectable.
Procedure
Dispatch startup-ready event. 2) Dispatch warning trigger. 3) Dispatch degraded trigger. 4) Dispatch recovery and reset events.
Expected Result
All intended transitions are reachable and guards enforce correct progression and recovery behavior as defined by sm_operation_mode_state.
Traceability
Element Type |
Referenced Elements |
|---|---|
SW Units |
|
SW State Machines |
|
Evidence |
n/a |