Verification ============ Unit Test Plans --------------- UTP-001_Core_Active_Object_Unit_Behaviour ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Unit verification of core active objects with behavior and timing focus .. list-table:: :header-rows: 1 :class: dd-fullwidth-table * - Test Case - Test Type - SW Units - Status * - :doc:`UTC-001_Monitoring_Activity_Sampling_Validation ` - activity - * :doc:`ao_monitoring ` - pass * - :doc:`UTC-002_Control_Behavior_Threshold_And_Hysteresis ` - behavior - * :doc:`ao_control ` - pass * - :doc:`UTC-003_Safety_State_Entry_And_Clear ` - state_machine - * :doc:`ao_safety ` - pass * - :doc:`UTC-004_Diagnostics_Fault_Lifecycle ` - state_machine - * :doc:`ao_diagnostics ` - pass .. toctree:: :maxdepth: 1 :hidden: /generated/software_verification/utc-001-monitoring-activity-sampling-validation-1843543d-f895-4843-a2ac-f8b91da0afe4 /generated/software_verification/utc-002-control-behavior-threshold-and-hysteresis-fb56a973-d05d-4b56-a363-f20dff85237d /generated/software_verification/utc-003-safety-state-entry-and-clear-7d5ab828-b504-4d5a-b404-9db0f1b89b7d /generated/software_verification/utc-004-diagnostics-fault-lifecycle-59d9cd46-51d0-49d9-910d-11d15590387e UTP-002_Runtime_And_Adapter_Unit_Behaviour ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Unit verification of runtime services and adapters with deterministic dispatch and interface-local checks. .. list-table:: :header-rows: 1 :class: dd-fullwidth-table * - Test Case - Test Type - SW Units - Status * - :doc:`UTC-005_Runtime_Supervisor_Readiness_Gates ` - state_machine - * :doc:`ao_runtime_supervisor ` - pass * - :doc:`UTC-006_Event_Dispatcher_Queue_Order ` - activity - * :doc:`evt_dispatcher ` - pass * - :doc:`UTC-007_Timer_Service_Local_Period_Accuracy ` - timing_local - * :doc:`evt_timer_service ` - pass * - :doc:`UTC-008_Modbus_Server_Request_Validation ` - local_interface - * :doc:`ao_modbus_server ` - pass .. toctree:: :maxdepth: 1 :hidden: /generated/software_verification/utc-005-runtime-supervisor-readiness-gates-99be7e59-6211-49be-b654-b416f4c5bc7a /generated/software_verification/utc-006-event-dispatcher-queue-order-316b50c8-c85f-416b-92be-d901c9ff9527 /generated/software_verification/utc-007-timer-service-local-period-accuracy-cf0b8a2c-6afb-4f0b-bf6f-2d00784a908a /generated/software_verification/utc-008-modbus-server-request-validation-c8bd5809-f81e-48bd-b8bf-2d14cb790468 UTP-003_State_And_Indication_Unit_Behaviour ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Unit verification of state oriented units and indication path with transition and timing checks. .. list-table:: :header-rows: 1 :class: dd-fullwidth-table * - Test Case - Test Type - SW Units - Status * - :doc:`UTC-009_Config_Manager_Update_Application ` - behavior - * :doc:`ao_config_manager ` - pass * - :doc:`UTC-010_Status_Indication_To_LED_Mapping ` - activity - * :doc:`ao_status_indication ` - pass * - :doc:`UTC-011_LED_Indication_State_Patterns ` - state_machine - * :doc:`sm_led_indication ` - pass * - :doc:`UTC-012_RGB_Driver_Local_Timing ` - timing_local - * :doc:`drv_rgb_led ` - pass * - :doc:`UTC-013_HAL_Event_Adapter_Translation_Local_Interface ` - local_interface - * :doc:`hal_event_adapter ` - pass * - :doc:`UTC-014_Fan_Control_State_Transition_Coverage ` - state_machine - * :doc:`sm_fan_control ` - pass * - :doc:`UTC-015_Operation_Mode_State_Path_Coverage ` - state_machine - * :doc:`sm_operation_mode ` - pass * - :doc:`UTC-016_Protection_State_Latch_And_Reset ` - state_machine - * :doc:`sm_protection ` - pass * - :doc:`UTC-017_StandardLib_Primitive_Type_Contract ` - behavior - * :doc:`standard_lib ` - pass .. toctree:: :maxdepth: 1 :hidden: /generated/software_verification/utc-009-config-manager-update-application-c3932c1a-2abc-4393-a8c6-b016a6a377fc /generated/software_verification/utc-010-status-indication-to-led-mapping-bbb07319-79b1-4bb0-af2d-592eead83462 /generated/software_verification/utc-011-led-indication-state-patterns-956dc907-9ad4-456d-9f7c-ca3cc53a7384 /generated/software_verification/utc-012-rgb-driver-local-timing-febc2875-ae58-4ebc-8f70-e6871a468167 /generated/software_verification/utc-013-hal-event-adapter-translation-local-interface-48730b9d-18b5-4873-b12c-efe00000cb16 /generated/software_verification/utc-014-fan-control-state-transition-coverage-f08b873c-2244-408b-b696-086bd002aee3 /generated/software_verification/utc-015-operation-mode-state-path-coverage-3f38976b-de76-4f38-a199-bf4217a28b72 /generated/software_verification/utc-016-protection-state-latch-and-reset-fc5fcefa-21fa-4c5f-aa8d-e62fbd57b3df /generated/software_verification/utc-017-standardlib-primitive-type-contract-2225e8d5-6cd3-4225-a86c-3bf0a986d0b5 Integration Test Plans ---------------------- ITP-001_Core_Interop_Paths ~~~~~~~~~~~~~~~~~~~~~~~~~~ Integration verification of core runtime monitoring control safety diagnostics and indication interoperability contracts. .. list-table:: :header-rows: 1 :class: dd-fullwidth-table * - Test Case - Test Type - SW Unit Relations - Status * - :doc:`ITC-001_Runtime_Dispatch_To_AOs ` - sequence_flow - * :doc:`SWR-001 ` * :doc:`SWR-002 ` * :doc:`SWR-007 ` * :doc:`SWR-008 ` * :doc:`SWR-009 ` * :doc:`SWR-010 ` * :doc:`SWR-011 ` - pass * - :doc:`ITC-002_Monitoring_To_Control_SensorSnapshot_Contract ` - interface_contract - * :doc:`SWR-021 ` - pass * - :doc:`ITC-003_Monitoring_To_Safety_SensorSnapshot_Contract ` - interface_contract - * :doc:`SWR-022 ` - pass * - :doc:`ITC-004_Control_Safety_FanCommand_Coordination ` - interface_contract - * :doc:`SWR-012 ` - pass * - :doc:`ITC-005_Control_To_Diagnostics_Fault_And_Status_Path ` - interface_contract - * :doc:`SWR-013 ` - pass * - :doc:`ITC-006_Safety_To_Diagnostics_Status_Path ` - interface_contract - * :doc:`SWR-014 ` - pass * - :doc:`ITC-007_Diagnostics_To_StatusIndication_To_LED ` - sequence_flow - * :doc:`SWR-015 ` * :doc:`SWR-016 ` - pass * - :doc:`ITC-008_Runtime_Dispatch_Cycle_Timing ` - timing_budget - * :doc:`SWR-001 ` * :doc:`SWR-002 ` * :doc:`SWR-007 ` * :doc:`SWR-008 ` * :doc:`SWR-009 ` * :doc:`SWR-010 ` * :doc:`SWR-011 ` - pass * - :doc:`ITC-009_Status_To_LED_Response_Timing ` - timing_budget - * :doc:`SWR-015 ` * :doc:`SWR-016 ` - pass .. toctree:: :maxdepth: 1 :hidden: /generated/software_verification/itc-001-runtime-dispatch-to-aos-d6eef63c-958b-46ee-a240-326e2732e1bd /generated/software_verification/itc-002-monitoring-to-control-sensorsnapshot-contract-33af3491-1a91-43af-a30e-1a247f7af8bd /generated/software_verification/itc-003-monitoring-to-safety-sensorsnapshot-contract-c7248396-bb9f-4724-b1aa-1eec22c032cb /generated/software_verification/itc-004-control-safety-fancommand-coordination-f5b32126-5252-45b3-b9d0-9ae7814b9bdf /generated/software_verification/itc-005-control-to-diagnostics-fault-and-status-path-f68d191a-64f0-468d-909b-50123cc815d5 /generated/software_verification/itc-006-safety-to-diagnostics-status-path-b02b5615-182f-402b-a55b-1cd8e092a2fb /generated/software_verification/itc-007-diagnostics-to-statusindication-to-led-bd5d14aa-4ef8-4d5d-bef1-9985155994e2 /generated/software_verification/itc-008-runtime-dispatch-cycle-timing-c26ae0cd-09e2-426a-b25e-ae63bf12fb80 /generated/software_verification/itc-009-status-to-led-response-timing-18a4a6c3-9f49-48a4-8b61-b7424bd3b7f2 ITP-002_Comms_And_Lifecycle_Interop ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Integration verification of Modbus/config interaction paths and lifecycle startup degraded interoperability. .. list-table:: :header-rows: 1 :class: dd-fullwidth-table * - Test Case - Test Type - SW Unit Relations - Status * - :doc:`ITC-010_Modbus_Read_Service_Flow ` - sequence_flow - * :doc:`SWR-011 ` * :doc:`SWR-018 ` - pass * - :doc:`ITC-011_Modbus_ConfigWrite_Valid_Contract ` - interface_contract - * :doc:`SWR-020 ` - pass * - :doc:`ITC-012_Modbus_ConfigWrite_Invalid_Handling ` - interface_contract - * :doc:`SWR-020 ` - pass * - :doc:`ITC-013_Modbus_Service_Response_Timing ` - timing_budget - * :doc:`SWR-011 ` * :doc:`SWR-018 ` - pass * - :doc:`ITC-014_Startup_To_Ready_Sequence ` - lifecycle - * :doc:`SWR-001 ` * :doc:`SWR-002 ` * :doc:`SWR-007 ` * :doc:`SWR-008 ` * :doc:`SWR-009 ` * :doc:`SWR-010 ` * :doc:`SWR-011 ` - pass * - :doc:`ITC-015_Degraded_Entry_And_Recovery_Sequence ` - lifecycle - * :doc:`SWR-008 ` * :doc:`SWR-009 ` * :doc:`SWR-010 ` * :doc:`SWR-012 ` * :doc:`SWR-013 ` * :doc:`SWR-014 ` - pass * - :doc:`ITC-016_Startup_Ready_Window_Timing ` - timing_budget - * :doc:`SWR-001 ` * :doc:`SWR-002 ` * :doc:`SWR-007 ` * :doc:`SWR-008 ` * :doc:`SWR-009 ` * :doc:`SWR-010 ` * :doc:`SWR-011 ` - pass .. toctree:: :maxdepth: 1 :hidden: /generated/software_verification/itc-010-modbus-read-service-flow-060a236a-0a92-460a-a897-459352f27a58 /generated/software_verification/itc-011-modbus-configwrite-valid-contract-964dbd0d-f9cf-464d-b716-85dba6a88770 /generated/software_verification/itc-012-modbus-configwrite-invalid-handling-b9ab360b-8b98-49ab-8a0a-9dd9d5ddf7ad /generated/software_verification/itc-013-modbus-service-response-timing-b732b807-a503-4732-9961-d1a99ce8641c /generated/software_verification/itc-014-startup-to-ready-sequence-82c79212-3d21-42c7-87cd-df26cc4195b9 /generated/software_verification/itc-015-degraded-entry-and-recovery-sequence-ba1d6153-8d26-4a1d-b272-8cba0785321c /generated/software_verification/itc-016-startup-ready-window-timing-0202527f-18eb-4202-906d-998b8d872b99 Acceptance Test Plans --------------------- ATP-001_System_Functional_Behaviour ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Core control monitoring and safety acceptance scope .. list-table:: :header-rows: 1 :class: dd-fullwidth-table * - Test Case - Test Type - Requirements - Status * - :doc:`ATC-001_Control_Threshold_ON_Command_Latency ` - functional_acceptance - * :doc:`REQ-CTL-001 ` - pass * - :doc:`ATC-002_Control_Hysteresis_OFF_Behaviour ` - functional_acceptance - * :doc:`REQ-CTL-002 ` - pass * - :doc:`ATC-003_Config_Update_Applies_Within_Bounds ` - functional_acceptance - * :doc:`REQ-CTL-003 ` - pass * - :doc:`ATC-004_Warning_State_Lifecycle ` - functional_acceptance - * :doc:`REQ-CTL-004 ` - pass * - :doc:`ATC-005_Sensor_Sampling_And_Validation ` - functional_acceptance - * :doc:`REQ-MON-001 ` * :doc:`REQ-MON-002 ` * :doc:`REQ-MON-003 ` * :doc:`REQ-MON-004 ` - pass * - :doc:`ATC-006_Protection_Override_Policy ` - safety_acceptance - * :doc:`REQ-SAF-001 ` * :doc:`REQ-SAF-002 ` * :doc:`REQ-SAF-003 ` * :doc:`REQ-SAF-004 ` * :doc:`REQ-DIA-001 ` * :doc:`REQ-DIA-002 ` * :doc:`REQ-DIA-003 ` * :doc:`REQ-DIA-004 ` - pass .. toctree:: :maxdepth: 1 :hidden: /generated/software_verification/atc-001-control-threshold-on-command-latency-203b931a-dece-403b-b173-735db1a478d7 /generated/software_verification/atc-002-control-hysteresis-off-behaviour-4f49b936-f8a2-4f49-87fa-215d15f2838b /generated/software_verification/atc-003-config-update-applies-within-bounds-b5081d59-cfc9-4508-a819-e51ee513070b /generated/software_verification/atc-004-warning-state-lifecycle-7717b5ea-9353-4717-ac9c-83bf9f5c2dc1 /generated/software_verification/atc-005-sensor-sampling-and-validation-70db5c6b-80b2-40db-8376-d2a26c6e33a3 /generated/software_verification/atc-006-protection-override-policy-bfe87ca1-a3b0-4fe8-946c-a523f6633383 ATP-002_Interfaces_And_External_Observability ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Acceptance scope for external communication and observability contracts through Modbus and exposed status/fault channels. .. list-table:: :header-rows: 1 :class: dd-fullwidth-table * - Test Case - Test Type - Requirements - Status * - :doc:`ATC-007_Modbus_Read_Operational_Data ` - functional_acceptance - * :doc:`REQ-IFC-001 ` * :doc:`REQ-IFC-002 ` - pass * - :doc:`ATC-008_Modbus_Config_Write_Valid_Path ` - functional_acceptance - * :doc:`REQ-IFC-003 ` - pass * - :doc:`ATC-009_Modbus_Config_Write_Invalid_Rejected ` - functional_acceptance - * :doc:`REQ-IFC-004 ` - pass * - :doc:`ATC-010_Status_And_Fault_Exposure_To_External_Interface ` - safety_acceptance - * :doc:`REQ-IFC-005 ` - pass .. toctree:: :maxdepth: 1 :hidden: /generated/software_verification/atc-007-modbus-read-operational-data-254ad3c3-dcda-454a-9b63-d9e2a9566b46 /generated/software_verification/atc-008-modbus-config-write-valid-path-3620e346-5cfd-4620-9570-8630ef755fca /generated/software_verification/atc-009-modbus-config-write-invalid-rejected-c2ff73a9-a78a-42ff-b347-155853b5ffa3 /generated/software_verification/atc-010-status-and-fault-exposure-to-external-interface-e99974bb-3fb7-4999-807f-28517d1be5ec ATP-003_Runtime_Reliability_And_Lifecycle ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Runtime lifecycle and reliability acceptance scope .. list-table:: :header-rows: 1 :class: dd-fullwidth-table * - Test Case - Test Type - Requirements - Status * - :doc:`ATC-011_Startup_Readiness_Gates_Before_Run ` - nonfunctional_acceptance - * :doc:`REQ-REL-001 ` - pass * - :doc:`ATC-012_Invalid_Input_Controlled_Safe_Operation ` - nonfunctional_acceptance - * :doc:`REQ-REL-002 ` - pass * - :doc:`ATC-013_Runtime_Dispatch_Cycle_Determinism ` - nonfunctional_acceptance - * :doc:`REQ-REL-003 ` - pass * - :doc:`ATC-014_Degraded_Entry_And_Recovery_Behaviour ` - nonfunctional_acceptance - * :doc:`REQ-REL-004 ` - pass .. toctree:: :maxdepth: 1 :hidden: /generated/software_verification/atc-011-startup-readiness-gates-before-run-b6c5fe8d-9249-46c5-b6db-79b63a2355d0 /generated/software_verification/atc-012-invalid-input-controlled-safe-operation-a056770d-622a-4056-9ecf-57a5f8ae557f /generated/software_verification/atc-013-runtime-dispatch-cycle-determinism-2a58fc07-3dc5-4a58-85e7-3dff0aa50ff6 /generated/software_verification/atc-014-degraded-entry-and-recovery-behaviour-2824cc55-709a-4824-aa91-f0b9adf764cf