Verification

Unit Test Plans

UTP-001_Core_Active_Object_Unit_Behaviour

Unit verification of core active objects with behavior and timing focus

Test Case	Test Type	SW Units	Status
UTC-001_Monitoring_Activity_Sampling_Validation	activity	ao_monitoring	pass
UTC-002_Control_Behavior_Threshold_And_Hysteresis	behavior	ao_control	pass
UTC-003_Safety_State_Entry_And_Clear	state_machine	ao_safety	pass
UTC-004_Diagnostics_Fault_Lifecycle	state_machine	ao_diagnostics	pass

UTP-002_Runtime_And_Adapter_Unit_Behaviour

Unit verification of runtime services and adapters with deterministic dispatch and interface-local checks.

Test Case	Test Type	SW Units	Status
UTC-005_Runtime_Supervisor_Readiness_Gates	state_machine	ao_runtime_supervisor	pass
UTC-006_Event_Dispatcher_Queue_Order	activity	evt_dispatcher	pass
UTC-007_Timer_Service_Local_Period_Accuracy	timing_local	evt_timer_service	pass
UTC-008_Modbus_Server_Request_Validation	local_interface	ao_modbus_server	pass

UTP-003_State_And_Indication_Unit_Behaviour

Unit verification of state oriented units and indication path with transition and timing checks.

Test Case	Test Type	SW Units	Status
UTC-009_Config_Manager_Update_Application	behavior	ao_config_manager	pass
UTC-010_Status_Indication_To_LED_Mapping	activity	ao_status_indication	pass
UTC-011_LED_Indication_State_Patterns	state_machine	sm_led_indication	pass
UTC-012_RGB_Driver_Local_Timing	timing_local	drv_rgb_led	pass
UTC-013_HAL_Event_Adapter_Translation_Local_Interface	local_interface	hal_event_adapter	pass
UTC-014_Fan_Control_State_Transition_Coverage	state_machine	sm_fan_control	pass
UTC-015_Operation_Mode_State_Path_Coverage	state_machine	sm_operation_mode	pass
UTC-016_Protection_State_Latch_And_Reset	state_machine	sm_protection	pass
UTC-017_StandardLib_Primitive_Type_Contract	behavior	standard_lib	pass

Integration Test Plans

ITP-001_Core_Interop_Paths

Integration verification of core runtime monitoring control safety diagnostics and indication interoperability contracts.

Test Case	Test Type	SW Unit Relations	Status
ITC-001_Runtime_Dispatch_To_AOs	sequence_flow	SWR-001 SWR-002 SWR-007 SWR-008 SWR-009 SWR-010 SWR-011	pass
ITC-002_Monitoring_To_Control_SensorSnapshot_Contract	interface_contract	SWR-021	pass
ITC-003_Monitoring_To_Safety_SensorSnapshot_Contract	interface_contract	SWR-022	pass
ITC-004_Control_Safety_FanCommand_Coordination	interface_contract	SWR-012	pass
ITC-005_Control_To_Diagnostics_Fault_And_Status_Path	interface_contract	SWR-013	pass
ITC-006_Safety_To_Diagnostics_Status_Path	interface_contract	SWR-014	pass
ITC-007_Diagnostics_To_StatusIndication_To_LED	sequence_flow	SWR-015 SWR-016	pass
ITC-008_Runtime_Dispatch_Cycle_Timing	timing_budget	SWR-001 SWR-002 SWR-007 SWR-008 SWR-009 SWR-010 SWR-011	pass
ITC-009_Status_To_LED_Response_Timing	timing_budget	SWR-015 SWR-016	pass

ITP-002_Comms_And_Lifecycle_Interop

Integration verification of Modbus/config interaction paths and lifecycle startup degraded interoperability.

Test Case	Test Type	SW Unit Relations	Status
ITC-010_Modbus_Read_Service_Flow	sequence_flow	SWR-011 SWR-018	pass
ITC-011_Modbus_ConfigWrite_Valid_Contract	interface_contract	SWR-020	pass
ITC-012_Modbus_ConfigWrite_Invalid_Handling	interface_contract	SWR-020	pass
ITC-013_Modbus_Service_Response_Timing	timing_budget	SWR-011 SWR-018	pass
ITC-014_Startup_To_Ready_Sequence	lifecycle	SWR-001 SWR-002 SWR-007 SWR-008 SWR-009 SWR-010 SWR-011	pass
ITC-015_Degraded_Entry_And_Recovery_Sequence	lifecycle	SWR-008 SWR-009 SWR-010 SWR-012 SWR-013 SWR-014	pass
ITC-016_Startup_Ready_Window_Timing	timing_budget	SWR-001 SWR-002 SWR-007 SWR-008 SWR-009 SWR-010 SWR-011	pass

Acceptance Test Plans

ATP-001_System_Functional_Behaviour

Core control monitoring and safety acceptance scope

Test Case	Test Type	Requirements	Status
ATC-001_Control_Threshold_ON_Command_Latency	functional_acceptance	REQ-CTL-001	pass
ATC-002_Control_Hysteresis_OFF_Behaviour	functional_acceptance	REQ-CTL-002	pass
ATC-003_Config_Update_Applies_Within_Bounds	functional_acceptance	REQ-CTL-003	pass
ATC-004_Warning_State_Lifecycle	functional_acceptance	REQ-CTL-004	pass
ATC-005_Sensor_Sampling_And_Validation	functional_acceptance	REQ-MON-001 REQ-MON-002 REQ-MON-003 REQ-MON-004	pass
ATC-006_Protection_Override_Policy	safety_acceptance	REQ-SAF-001 REQ-SAF-002 REQ-SAF-003 REQ-SAF-004 REQ-DIA-001 REQ-DIA-002 REQ-DIA-003 REQ-DIA-004	pass

ATP-002_Interfaces_And_External_Observability

Acceptance scope for external communication and observability contracts through Modbus and exposed status/fault channels.

Test Case	Test Type	Requirements	Status
ATC-007_Modbus_Read_Operational_Data	functional_acceptance	REQ-IFC-001 REQ-IFC-002	pass
ATC-008_Modbus_Config_Write_Valid_Path	functional_acceptance	REQ-IFC-003	pass
ATC-009_Modbus_Config_Write_Invalid_Rejected	functional_acceptance	REQ-IFC-004	pass
ATC-010_Status_And_Fault_Exposure_To_External_Interface	safety_acceptance	REQ-IFC-005	pass

ATP-003_Runtime_Reliability_And_Lifecycle

Runtime lifecycle and reliability acceptance scope

Test Case	Test Type	Requirements	Status
ATC-011_Startup_Readiness_Gates_Before_Run	nonfunctional_acceptance	REQ-REL-001	pass
ATC-012_Invalid_Input_Controlled_Safe_Operation	nonfunctional_acceptance	REQ-REL-002	pass
ATC-013_Runtime_Dispatch_Cycle_Determinism	nonfunctional_acceptance	REQ-REL-003	pass
ATC-014_Degraded_Entry_And_Recovery_Behaviour	nonfunctional_acceptance	REQ-REL-004	pass