-- VectorCAST 19.sp3 (11/13/19) -- Test Case Script -- -- Environment : VALVES -- Unit(s) Under Test: Valves -- -- Script Features TEST.SCRIPT_FEATURE:C_DIRECT_ARRAY_INDEXING TEST.SCRIPT_FEATURE:CPP_CLASS_OBJECT_REVISION TEST.SCRIPT_FEATURE:MULTIPLE_UUT_SUPPORT TEST.SCRIPT_FEATURE:MIXED_CASE_NAMES TEST.SCRIPT_FEATURE:STATIC_HEADER_FUNCS_IN_UUTS TEST.SCRIPT_FEATURE:VCAST_MAIN_NOT_RENAMED -- -- Unit: Valves -- Subprogram: areValvesFunctional -- Test Case: areValvesFunctional.001 TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:areValvesFunctional.001 TEST.MCDC_BASIS_PATH:3 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if (mode == (VALVE_CONTROL_MODE_ENABLE_PID)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set valve due to assignment Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].controlMode:VALVE_CONTROL_MODE_ENABLE_BYPASS TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_VALVE_NOT_FUNCTIONAL TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:0,(2)1,(2)2,(2)3 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:1,0 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].controlMode:VALVE_CONTROL_MODE_ENABLE_BYPASS TEST.EXPECTED:Valves.areValvesFunctional.return:0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:(4)ALARM_ID_HD_VALVE_NOT_FUNCTIONAL TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:(4)ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:0,1,2,3 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:(4)ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:(4)0 TEST.END -- Test Case: areValvesFunctional_Bypass_Enabled TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:areValvesFunctional_Bypass_Enabled TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if (mode == (VALVE_CONTROL_MODE_ENABLE_PID)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set valve due to assignment Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VBA].controlMode:VALVE_CONTROL_MODE_ENABLE_BYPASS TEST.VALUE:Valves.areValvesFunctional.return:1 TEST.VALUE:uut_prototype_stubs.getFPGAValvesStatus.return:4 TEST.EXPECTED:Valves.areValvesFunctional.return:0 TEST.END -- Test Case: areValvesFunctional_Bypass_Failed TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:areValvesFunctional_Bypass_Failed TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 25 TEST.VALUE:Valves.<>.valvesStatus[VDI].controlMode:VALVE_CONTORL_MODE_ENABLE_BYPASS >>> >>> Value for 'Enumeral' out of range >>> >>> Read "VALVE_CONTORL_MODE_ENABLE_BYPASS" >>> >>> Command Ignored >>> (E) @LINE: 26 TEST.VALUE:Valves.<>.valvesStatus[VDO].controlMode:VALVE_CONTORL_MODE_ENABLE_BYPASS >>> >>> Value for 'Enumeral' out of range >>> >>> Read "VALVE_CONTORL_MODE_ENABLE_BYPASS" >>> >>> Command Ignored >>> (E) @LINE: 27 TEST.VALUE:Valves.<>.valvesStatus[VBA].controlMode:VALVE_CONTORL_MODE_ENABLE_BYPASS >>> >>> Value for 'Enumeral' out of range >>> >>> Read "VALVE_CONTORL_MODE_ENABLE_BYPASS" >>> >>> Command Ignored >>> (E) @LINE: 28 TEST.VALUE:Valves.<>.valvesStatus[VBV].controlMode:VALVE_CONTORL_MODE_ENABLE_BYPASS >>> >>> Value for 'Enumeral' out of range >>> >>> Read "VALVE_CONTORL_MODE_ENABLE_BYPASS" >>> >>> Command Ignored >>> (E) @LINE: 30 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_FPGA_POST_TEST_FAILED >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_FPGA_POST_TEST_FAILED" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.areValvesFunctional.return:1 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_S32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:6 TEST.VALUE:uut_prototype_stubs.getFPGAValvesStatus.return:0x0 TEST.EXPECTED:Valves.areValvesFunctional.return:0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_VALVE_NOT_FUNCTIONAL TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.END -- Test Case: areValvesFunctional_Bypass_Passed TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:areValvesFunctional_Bypass_Passed TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 47 TEST.VALUE:Valves.<>.valvesStatus[VDI].controlMode:VALVE_CONTORL_MODE_ENABLE_BYPASS >>> >>> Value for 'Enumeral' out of range >>> >>> Read "VALVE_CONTORL_MODE_ENABLE_BYPASS" >>> >>> Command Ignored >>> (E) @LINE: 48 TEST.VALUE:Valves.<>.valvesStatus[VDO].controlMode:VALVE_CONTORL_MODE_ENABLE_BYPASS >>> >>> Value for 'Enumeral' out of range >>> >>> Read "VALVE_CONTORL_MODE_ENABLE_BYPASS" >>> >>> Command Ignored >>> (E) @LINE: 49 TEST.VALUE:Valves.<>.valvesStatus[VBA].controlMode:VALVE_CONTORL_MODE_ENABLE_BYPASS >>> >>> Value for 'Enumeral' out of range >>> >>> Read "VALVE_CONTORL_MODE_ENABLE_BYPASS" >>> >>> Command Ignored >>> (E) @LINE: 50 TEST.VALUE:Valves.<>.valvesStatus[VBV].controlMode:VALVE_CONTORL_MODE_ENABLE_BYPASS >>> >>> Value for 'Enumeral' out of range >>> >>> Read "VALVE_CONTORL_MODE_ENABLE_BYPASS" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.areValvesFunctional.return:0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_VALVE_NOT_FUNCTIONAL TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:(2)0,(2)1,(2)2,(2)3 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0 TEST.VALUE:uut_prototype_stubs.getFPGAValvesStatus.return:0x924 TEST.EXPECTED:Valves.areValvesFunctional.return:0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:(4)ALARM_ID_HD_VALVE_NOT_FUNCTIONAL TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:(4)ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:0,1,2,3 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:(4)2340 TEST.END -- Test Case: areValvesFunctional_Default_Mode TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:areValvesFunctional_Default_Mode TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 66 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_FPGA_POST_TEST_FAILED >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_FPGA_POST_TEST_FAILED" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDI].controlMode:NUM_OF_VALVE_CONTROL_MODES TEST.VALUE:Valves.<>.valvesStatus[VDO].controlMode:NUM_OF_VALVE_CONTROL_MODES TEST.VALUE:Valves.<>.valvesStatus[VBA].controlMode:NUM_OF_VALVE_CONTROL_MODES TEST.VALUE:Valves.<>.valvesStatus[VBV].controlMode:NUM_OF_VALVE_CONTROL_MODES TEST.VALUE:Valves.areValvesFunctional.return:1 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_S32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:3 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.getFPGAValvesStatus.return:0x0 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].controlMode:NUM_OF_VALVE_CONTROL_MODES TEST.EXPECTED:Valves.<>.valvesStatus[VDO].controlMode:NUM_OF_VALVE_CONTROL_MODES TEST.EXPECTED:Valves.<>.valvesStatus[VBA].controlMode:NUM_OF_VALVE_CONTROL_MODES TEST.EXPECTED:Valves.<>.valvesStatus[VBV].controlMode:NUM_OF_VALVE_CONTROL_MODES TEST.EXPECTED:Valves.areValvesFunctional.return:0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:(4)ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:0,1,2,3 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:(4)ALARM_DATA_TYPE_U32 TEST.END -- Test Case: areValvesFunctional_Disable_Failed TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:areValvesFunctional_Disable_Failed TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 88 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_FPGA_POST_TEST_FAILED >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_FPGA_POST_TEST_FAILED" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDI].controlMode:VALVE_CONTROL_MODE_DISABLE_ALL TEST.VALUE:Valves.<>.valvesStatus[VDO].controlMode:VALVE_CONTROL_MODE_DISABLE_ALL TEST.VALUE:Valves.<>.valvesStatus[VBA].controlMode:VALVE_CONTROL_MODE_DISABLE_ALL TEST.VALUE:Valves.<>.valvesStatus[VBV].controlMode:VALVE_CONTROL_MODE_DISABLE_ALL TEST.VALUE:Valves.areValvesFunctional.return:1 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_S32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:6 TEST.VALUE:uut_prototype_stubs.getFPGAValvesStatus.return:0x0 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].controlMode:VALVE_CONTROL_MODE_DISABLE_ALL TEST.EXPECTED:Valves.<>.valvesStatus[VDO].controlMode:VALVE_CONTROL_MODE_DISABLE_ALL TEST.EXPECTED:Valves.<>.valvesStatus[VBA].controlMode:VALVE_CONTROL_MODE_DISABLE_ALL TEST.EXPECTED:Valves.<>.valvesStatus[VBV].controlMode:VALVE_CONTROL_MODE_DISABLE_ALL TEST.EXPECTED:Valves.areValvesFunctional.return:0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:(4)ALARM_ID_HD_VALVE_NOT_FUNCTIONAL TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:(4)ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:(4)ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:(4)0 TEST.END -- Test Case: areValvesFunctional_Disable_Passed TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:areValvesFunctional_Disable_Passed TEST.VALUE:Valves.<>.valvesStatus[VDI].controlMode:VALVE_CONTROL_MODE_DISABLE_ALL TEST.VALUE:Valves.<>.valvesStatus[VDO].controlMode:VALVE_CONTROL_MODE_DISABLE_ALL TEST.VALUE:Valves.<>.valvesStatus[VBA].controlMode:VALVE_CONTROL_MODE_DISABLE_ALL TEST.VALUE:Valves.<>.valvesStatus[VBV].controlMode:VALVE_CONTROL_MODE_DISABLE_ALL TEST.VALUE:Valves.areValvesFunctional.return:1 TEST.VALUE:uut_prototype_stubs.getFPGAValvesStatus.return:0x3CF TEST.EXPECTED:Valves.<>.valvesStatus[VDI].controlMode:VALVE_CONTROL_MODE_DISABLE_ALL TEST.EXPECTED:Valves.<>.valvesStatus[VDO].controlMode:VALVE_CONTROL_MODE_DISABLE_ALL TEST.EXPECTED:Valves.<>.valvesStatus[VBA].controlMode:VALVE_CONTROL_MODE_DISABLE_ALL TEST.EXPECTED:Valves.<>.valvesStatus[VBV].controlMode:VALVE_CONTROL_MODE_DISABLE_ALL TEST.EXPECTED:Valves.areValvesFunctional.return:0 TEST.END -- Test Case: areValvesFunctional_PID_Failed TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:areValvesFunctional_PID_Failed TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 124 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_FPGA_POST_TEST_FAILED >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_FPGA_POST_TEST_FAILED" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDI].controlMode:VALVE_CONTROL_MODE_ENABLE_PID TEST.VALUE:Valves.<>.valvesStatus[VDO].controlMode:VALVE_CONTROL_MODE_ENABLE_PID TEST.VALUE:Valves.<>.valvesStatus[VBA].controlMode:VALVE_CONTROL_MODE_ENABLE_PID TEST.VALUE:Valves.<>.valvesStatus[VBV].controlMode:VALVE_CONTROL_MODE_ENABLE_PID TEST.VALUE:Valves.areValvesFunctional.return:1 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_S32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:6 TEST.VALUE:uut_prototype_stubs.getFPGAValvesStatus.return:0x0 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].controlMode:VALVE_CONTROL_MODE_ENABLE_PID TEST.EXPECTED:Valves.<>.valvesStatus[VDO].controlMode:VALVE_CONTROL_MODE_ENABLE_PID TEST.EXPECTED:Valves.<>.valvesStatus[VBA].controlMode:VALVE_CONTROL_MODE_ENABLE_PID TEST.EXPECTED:Valves.<>.valvesStatus[VBV].controlMode:VALVE_CONTROL_MODE_ENABLE_PID TEST.EXPECTED:Valves.areValvesFunctional.return:0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_VALVE_NOT_FUNCTIONAL TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0 TEST.END -- Test Case: areValvesFunctional_PID_Passed TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:areValvesFunctional_PID_Passed TEST.VALUE:Valves.<>.valvesStatus[VDI].controlMode:VALVE_CONTROL_MODE_ENABLE_PID TEST.VALUE:Valves.<>.valvesStatus[VDO].controlMode:VALVE_CONTROL_MODE_ENABLE_PID TEST.VALUE:Valves.<>.valvesStatus[VBA].controlMode:VALVE_CONTROL_MODE_ENABLE_PID TEST.VALUE:Valves.<>.valvesStatus[VBV].controlMode:VALVE_CONTROL_MODE_ENABLE_PID TEST.VALUE:Valves.areValvesFunctional.return:0 TEST.VALUE:uut_prototype_stubs.getFPGAValvesStatus.return:0x6DB TEST.EXPECTED:Valves.<>.valvesStatus[VDI].controlMode:VALVE_CONTROL_MODE_ENABLE_PID TEST.EXPECTED:Valves.<>.valvesStatus[VDO].controlMode:VALVE_CONTROL_MODE_ENABLE_PID TEST.EXPECTED:Valves.<>.valvesStatus[VBA].controlMode:VALVE_CONTROL_MODE_ENABLE_PID TEST.EXPECTED:Valves.<>.valvesStatus[VBV].controlMode:VALVE_CONTROL_MODE_ENABLE_PID TEST.EXPECTED:Valves.areValvesFunctional.return:1 TEST.END -- Subprogram: convertAndMonitorValvesCurrent -- Test Case: convertAndMonitorValvesCurrent_In_Range_Counter_<=_0 TEST.UNIT:Valves TEST.SUBPROGRAM:convertAndMonitorValvesCurrent TEST.NEW TEST.NAME:convertAndMonitorValvesCurrent_In_Range_Counter_<=_0 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 157 TEST.VALUE:Valves.<>.valvesStatus[VDI].current:0.2 >>> >>> Unexpected end of command - stopped at character 55 >>> >>> Command Ignored >>> (E) @LINE: 158 TEST.VALUE:Valves.<>.valvesStatus[VDO].current:0.2 >>> >>> Unexpected end of command - stopped at character 55 >>> >>> Command Ignored >>> (E) @LINE: 159 TEST.VALUE:Valves.<>.valvesStatus[VBA].current:45.0 >>> >>> Unexpected end of command - stopped at character 55 >>> >>> Command Ignored >>> (E) @LINE: 160 TEST.VALUE:Valves.<>.valvesStatus[VBV].current:12.0 >>> >>> Unexpected end of command - stopped at character 55 >>> >>> Command Ignored >>> (E) @LINE: 165 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].current:-0.397461 >>> >>> Unexpected end of command - stopped at character 58 >>> >>> Command Ignored >>> (E) @LINE: 166 TEST.EXPECTED:Valves.<>.valvesStatus[VDO].current:-0.397461 >>> >>> Unexpected end of command - stopped at character 58 >>> >>> Command Ignored >>> (E) @LINE: 167 TEST.EXPECTED:Valves.<>.valvesStatus[VBA].current:-0.397461 >>> >>> Unexpected end of command - stopped at character 58 >>> >>> Command Ignored >>> (E) @LINE: 168 TEST.EXPECTED:Valves.<>.valvesStatus[VBV].current:-0.397461 >>> >>> Unexpected end of command - stopped at character 58 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.STUB:Valves.getValveCurrent TEST.VALUE:Valves.getValveCurrent.valve:VDI,VDO,VBA,VBV TEST.VALUE:Valves.getValveCurrent.return:1.0 TEST.VALUE:uut_prototype_stubs.getFPGAValveDialyzerInletCurrentCounts.return:1234 TEST.VALUE:uut_prototype_stubs.getFPGAValveDialyzerOutletCurrentCounts.return:1234 TEST.VALUE:uut_prototype_stubs.getFPGAValveBloodVenousCurrentCounts.return:1234 TEST.VALUE:uut_prototype_stubs.getFPGAValveBloodArterialCurrentCounts.return:1234 TEST.EXPECTED:Valves.getValveCurrent.valve:VDI,VDO,VBA,VBV TEST.END -- Test Case: convertAndMonitorValvesCurrent_In_Range_Counter_>_0 TEST.UNIT:Valves TEST.SUBPROGRAM:convertAndMonitorValvesCurrent TEST.NEW TEST.NAME:convertAndMonitorValvesCurrent_In_Range_Counter_>_0 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 176 TEST.VALUE:Valves.<>.valvesStatus[VDI].current:0.2 >>> >>> Unexpected end of command - stopped at character 55 >>> >>> Command Ignored >>> (E) @LINE: 178 TEST.VALUE:Valves.<>.valvesStatus[VDO].current:1.2 >>> >>> Unexpected end of command - stopped at character 55 >>> >>> Command Ignored >>> (E) @LINE: 180 TEST.VALUE:Valves.<>.valvesStatus[VBA].current:6.0 >>> >>> Unexpected end of command - stopped at character 55 >>> >>> Command Ignored >>> (E) @LINE: 182 TEST.VALUE:Valves.<>.valvesStatus[VBV].current:3.0 >>> >>> Unexpected end of command - stopped at character 55 >>> >>> Command Ignored >>> (E) @LINE: 188 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].current:-0.397461 >>> >>> Unexpected end of command - stopped at character 58 >>> >>> Command Ignored >>> (E) @LINE: 190 TEST.EXPECTED:Valves.<>.valvesStatus[VDO].current:-0.397461 >>> >>> Unexpected end of command - stopped at character 58 >>> >>> Command Ignored >>> (E) @LINE: 192 TEST.EXPECTED:Valves.<>.valvesStatus[VBA].current:-0.397461 >>> >>> Unexpected end of command - stopped at character 58 >>> >>> Command Ignored >>> (E) @LINE: 194 TEST.EXPECTED:Valves.<>.valvesStatus[VBV].current:-0.397461 >>> >>> Unexpected end of command - stopped at character 58 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDI].overCurrentCounter:2 TEST.VALUE:Valves.<>.valvesStatus[VDO].overCurrentCounter:4 TEST.VALUE:Valves.<>.valvesStatus[VBA].overCurrentCounter:2 TEST.VALUE:Valves.<>.valvesStatus[VBV].overCurrentCounter:3 TEST.VALUE:uut_prototype_stubs.getFPGAValveDialyzerInletCurrentCounts.return:1234 TEST.VALUE:uut_prototype_stubs.getFPGAValveDialyzerOutletCurrentCounts.return:1234 TEST.VALUE:uut_prototype_stubs.getFPGAValveBloodVenousCurrentCounts.return:1234 TEST.VALUE:uut_prototype_stubs.getFPGAValveBloodArterialCurrentCounts.return:1234 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].overCurrentCounter:0 TEST.EXPECTED:Valves.<>.valvesStatus[VDO].overCurrentCounter:0 TEST.EXPECTED:Valves.<>.valvesStatus[VBA].overCurrentCounter:0 TEST.EXPECTED:Valves.<>.valvesStatus[VBV].overCurrentCounter:0 TEST.END -- Test Case: convertAndMonitorValvesCurrent_In_Range_Counter_>_0.001 TEST.UNIT:Valves TEST.SUBPROGRAM:convertAndMonitorValvesCurrent TEST.NEW TEST.NAME:convertAndMonitorValvesCurrent_In_Range_Counter_>_0.001 TEST.VALUE:Valves.<>.valvesStatus[VDI].overCurrentCounter:0 TEST.VALUE:Valves.<>.valvesStatus[VDO].overCurrentCounter:4 TEST.VALUE:Valves.<>.valvesStatus[VBA].overCurrentCounter:2 TEST.VALUE:Valves.<>.valvesStatus[VBV].overCurrentCounter:3 TEST.VALUE:uut_prototype_stubs.getFPGAValveDialyzerInletCurrentCounts.return:1234 TEST.VALUE:uut_prototype_stubs.getFPGAValveDialyzerOutletCurrentCounts.return:1234 TEST.VALUE:uut_prototype_stubs.getFPGAValveBloodVenousCurrentCounts.return:1234 TEST.VALUE:uut_prototype_stubs.getFPGAValveBloodArterialCurrentCounts.return:1234 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].overCurrentCounter:0 TEST.EXPECTED:Valves.<>.valvesStatus[VDO].overCurrentCounter:0 TEST.EXPECTED:Valves.<>.valvesStatus[VBA].overCurrentCounter:0 TEST.EXPECTED:Valves.<>.valvesStatus[VBV].overCurrentCounter:0 TEST.END -- Test Case: convertAndMonitorValvesCurrent_Out_Of_Range TEST.UNIT:Valves TEST.SUBPROGRAM:convertAndMonitorValvesCurrent TEST.NEW TEST.NAME:convertAndMonitorValvesCurrent_Out_Of_Range TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 218 TEST.VALUE:Valves.<>.valvesStatus[VDI].current:0.2 >>> >>> Unexpected end of command - stopped at character 55 >>> >>> Command Ignored >>> (E) @LINE: 220 TEST.VALUE:Valves.<>.valvesStatus[VDO].current:0.2 >>> >>> Unexpected end of command - stopped at character 55 >>> >>> Command Ignored >>> (E) @LINE: 222 TEST.VALUE:Valves.<>.valvesStatus[VBA].current:0.2 >>> >>> Unexpected end of command - stopped at character 55 >>> >>> Command Ignored >>> (E) @LINE: 224 TEST.VALUE:Valves.<>.valvesStatus[VBV].current:0.2 >>> >>> Unexpected end of command - stopped at character 55 >>> >>> Command Ignored >>> (E) @LINE: 230 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].current:1.09961 >>> >>> Unexpected end of command - stopped at character 58 >>> >>> Command Ignored >>> (E) @LINE: 232 TEST.EXPECTED:Valves.<>.valvesStatus[VDO].current:1.09961 >>> >>> Unexpected end of command - stopped at character 58 >>> >>> Command Ignored >>> (E) @LINE: 234 TEST.EXPECTED:Valves.<>.valvesStatus[VBA].current:1.09961 >>> >>> Unexpected end of command - stopped at character 58 >>> >>> Command Ignored >>> (E) @LINE: 236 TEST.EXPECTED:Valves.<>.valvesStatus[VBV].current:1.09961 >>> >>> Unexpected end of command - stopped at character 58 >>> >>> Command Ignored >>> (E) @LINE: 47 TEST.VALUE:Valves.<>.valvesStatus[VDI].valveCurrent:12.0 >>> >>> Expected a field name from the record type CCAST_9_21 >>> >>> Read: valveCurrent >>> (E) @LINE: 48 TEST.VALUE:Valves.<>.valvesStatus[VDI].valveOverCurrentCounter:1 >>> >>> Expected a field name from the record type CCAST_9_21 >>> >>> Read: valveOverCurrentCounter >>> (E) @LINE: 50 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].valveCurrent:-0.397461 >>> >>> Expected a field name from the record type CCAST_9_21 >>> >>> Read: valveCurrent >>> (E) @LINE: 51 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].valveOverCurrentCounter:0 >>> >>> Expected a field name from the record type CCAST_9_21 >>> >>> Read: valveOverCurrentCounter TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDI].overCurrentCounter:1 TEST.VALUE:Valves.<>.valvesStatus[VDO].overCurrentCounter:3 TEST.VALUE:Valves.<>.valvesStatus[VBA].overCurrentCounter:1 TEST.VALUE:Valves.<>.valvesStatus[VBV].overCurrentCounter:5 TEST.VALUE:uut_prototype_stubs.getFPGAValveDialyzerInletCurrentCounts.return:4300 TEST.VALUE:uut_prototype_stubs.getFPGAValveDialyzerOutletCurrentCounts.return:4300 TEST.VALUE:uut_prototype_stubs.getFPGAValveBloodVenousCurrentCounts.return:4300 TEST.VALUE:uut_prototype_stubs.getFPGAValveBloodArterialCurrentCounts.return:4300 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].overCurrentCounter:2 TEST.EXPECTED:Valves.<>.valvesStatus[VDO].overCurrentCounter:4 TEST.EXPECTED:Valves.<>.valvesStatus[VBA].overCurrentCounter:2 TEST.EXPECTED:Valves.<>.valvesStatus[VBV].overCurrentCounter:6 TEST.END -- Test Case: convertAndMonitorValvesCurrent_Out_Of_Range_Alarm TEST.UNIT:Valves TEST.SUBPROGRAM:convertAndMonitorValvesCurrent TEST.NEW TEST.NAME:convertAndMonitorValvesCurrent_Out_Of_Range_Alarm TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 245 TEST.VALUE:Valves.<>.valvesStatus[VDI].current:0.2 >>> >>> Unexpected end of command - stopped at character 55 >>> >>> Command Ignored >>> (E) @LINE: 247 TEST.VALUE:Valves.<>.valvesStatus[VDO].current:0.2 >>> >>> Unexpected end of command - stopped at character 55 >>> >>> Command Ignored >>> (E) @LINE: 249 TEST.VALUE:Valves.<>.valvesStatus[VBA].current:0.2 >>> >>> Unexpected end of command - stopped at character 55 >>> >>> Command Ignored >>> (E) @LINE: 251 TEST.VALUE:Valves.<>.valvesStatus[VBV].current:0.3 >>> >>> Unexpected end of command - stopped at character 55 >>> >>> Command Ignored >>> (E) @LINE: 258 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].current:1.09961 >>> >>> Unexpected end of command - stopped at character 58 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDI].overCurrentCounter:101 TEST.VALUE:Valves.<>.valvesStatus[VDO].overCurrentCounter:0 TEST.VALUE:Valves.<>.valvesStatus[VBA].overCurrentCounter:0 TEST.VALUE:Valves.<>.valvesStatus[VBV].overCurrentCounter:0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_NONE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_NONE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:0.2 TEST.VALUE:uut_prototype_stubs.getFPGAValveDialyzerInletCurrentCounts.return:4300 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_VALVE_CURRENT_OUT_OF_RANGE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:0.0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:1.09961 TEST.END -- Subprogram: execMonitorValves -- Test Case: execMonitorValves_NominalPath TEST.UNIT:Valves TEST.SUBPROGRAM:execMonitorValves TEST.NEW TEST.NAME:execMonitorValves_NominalPath TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 282 TEST.VALUE:Valves.<>.valvesStatus[VDI].current:1.0 >>> >>> Unexpected end of command - stopped at character 55 >>> >>> Command Ignored >>> (E) @LINE: 284 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].current:-0.397461 >>> >>> Unexpected end of command - stopped at character 58 >>> >>> Command Ignored >>> (E) @LINE: 73 TEST.VALUE:Valves.<>.valvesStatus[VDI].valveCurrent:12.0 >>> >>> Expected a field name from the record type CCAST_9_21 >>> >>> Read: valveCurrent >>> (E) @LINE: 75 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].valveCurrent:-0.397461 >>> >>> Expected a field name from the record type CCAST_9_21 >>> >>> Read: valveCurrent TEST.END_IMPORT_FAILURES: TEST.STUB:Valves.areValvesFunctional TEST.STUB:Valves.convertAndMonitorValvesCurrent TEST.STUB:Valves.getAndMonitorValvesCurrentFPGAPosition TEST.VALUE:Valves.areValvesFunctional.return:1 TEST.VALUE:uut_prototype_stubs.getFPGAValveDialyzerInletCurrentCounts.return:1234 TEST.END -- Subprogram: execValves -- Test Case: execValves_Default TEST.UNIT:Valves TEST.SUBPROGRAM:execValves TEST.NEW TEST.NAME:execValves_Default TEST.VALUE:Valves.<>.valvesStatus[VDI].execState:NUM_OF_VALVE_STATES TEST.VALUE:Valves.<>.valvesStatus[VDO].execState:NUM_OF_VALVE_STATES TEST.VALUE:Valves.<>.valvesStatus[VBA].execState:NUM_OF_VALVE_STATES TEST.VALUE:Valves.<>.valvesStatus[VBV].execState:NUM_OF_VALVE_STATES TEST.EXPECTED:Valves.<>.valvesStatus[VDI].execState:NUM_OF_VALVE_STATES TEST.EXPECTED:Valves.<>.valvesStatus[VDO].execState:NUM_OF_VALVE_STATES TEST.EXPECTED:Valves.<>.valvesStatus[VBA].execState:NUM_OF_VALVE_STATES TEST.EXPECTED:Valves.<>.valvesStatus[VBV].execState:NUM_OF_VALVE_STATES TEST.END -- Test Case: execValves_Find_De-energized_Edge TEST.UNIT:Valves TEST.SUBPROGRAM:execValves TEST.NEW TEST.NAME:execValves_Find_De-energized_Edge TEST.VALUE:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.VALUE:Valves.<>.valvesStatus[VDO].execState:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.VALUE:Valves.<>.valvesStatus[VBA].execState:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.VALUE:Valves.<>.valvesStatus[VBV].execState:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.EXPECTED:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.EXPECTED:Valves.<>.valvesStatus[VDO].execState:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.EXPECTED:Valves.<>.valvesStatus[VBA].execState:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.EXPECTED:Valves.<>.valvesStatus[VBV].execState:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.END -- Test Case: execValves_Find_Energized_Edge TEST.UNIT:Valves TEST.SUBPROGRAM:execValves TEST.NEW TEST.NAME:execValves_Find_Energized_Edge TEST.VALUE:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_HOMING_FIND_ENERGIZED_EDGE TEST.VALUE:Valves.<>.valvesStatus[VDO].execState:VALVE_STATE_HOMING_FIND_ENERGIZED_EDGE TEST.VALUE:Valves.<>.valvesStatus[VBA].execState:VALVE_STATE_HOMING_FIND_ENERGIZED_EDGE TEST.VALUE:Valves.<>.valvesStatus[VBV].execState:VALVE_STATE_HOMING_FIND_ENERGIZED_EDGE TEST.EXPECTED:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_HOMING_FIND_ENERGIZED_EDGE TEST.EXPECTED:Valves.<>.valvesStatus[VDO].execState:VALVE_STATE_HOMING_FIND_ENERGIZED_EDGE TEST.EXPECTED:Valves.<>.valvesStatus[VBA].execState:VALVE_STATE_HOMING_FIND_ENERGIZED_EDGE TEST.EXPECTED:Valves.<>.valvesStatus[VBV].execState:VALVE_STATE_HOMING_FIND_ENERGIZED_EDGE TEST.END -- Test Case: execValves_Homing_Not_Starated TEST.UNIT:Valves TEST.SUBPROGRAM:execValves TEST.NEW TEST.NAME:execValves_Homing_Not_Starated TEST.VALUE:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_COMPLETE TEST.VALUE:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_HOMING_NOT_STARTED TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingFailed:0 TEST.VALUE:Valves.<>.valvesStatus[VDO].execState:VALVE_STATE_HOMING_NOT_STARTED TEST.VALUE:Valves.<>.valvesStatus[VDO].hasHomingFailed:0 TEST.VALUE:Valves.<>.valvesStatus[VBA].execState:VALVE_STATE_HOMING_NOT_STARTED TEST.VALUE:Valves.<>.valvesStatus[VBA].hasHomingFailed:0 TEST.VALUE:Valves.<>.valvesStatus[VBV].execState:VALVE_STATE_HOMING_NOT_STARTED TEST.VALUE:Valves.<>.valvesStatus[VBV].hasHomingFailed:0 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_HOMING_FIND_ENERGIZED_EDGE TEST.EXPECTED:Valves.<>.valvesStatus[VDO].execState:VALVE_STATE_HOMING_FIND_ENERGIZED_EDGE TEST.EXPECTED:Valves.<>.valvesStatus[VBA].execState:VALVE_STATE_HOMING_FIND_ENERGIZED_EDGE TEST.EXPECTED:Valves.<>.valvesStatus[VBV].execState:VALVE_STATE_HOMING_FIND_ENERGIZED_EDGE TEST.END -- Test Case: execValves_Idle_POST_Complete TEST.UNIT:Valves TEST.SUBPROGRAM:execValves TEST.NEW TEST.NAME:execValves_Idle_POST_Complete TEST.VALUE:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_COMPLETE TEST.VALUE:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_IDLE TEST.VALUE:Valves.<>.valvesStatus[VDO].execState:VALVE_STATE_IDLE TEST.VALUE:Valves.<>.valvesStatus[VBA].execState:VALVE_STATE_IDLE TEST.VALUE:Valves.<>.valvesStatus[VBV].execState:VALVE_STATE_IDLE TEST.EXPECTED:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_IDLE TEST.EXPECTED:Valves.<>.valvesStatus[VDO].execState:VALVE_STATE_IDLE TEST.EXPECTED:Valves.<>.valvesStatus[VBA].execState:VALVE_STATE_IDLE TEST.EXPECTED:Valves.<>.valvesStatus[VBV].execState:VALVE_STATE_IDLE TEST.END -- Test Case: execValves_In_Transition TEST.UNIT:Valves TEST.SUBPROGRAM:execValves TEST.NEW TEST.NAME:execValves_In_Transition TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 377 TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPositionInCounts:200 >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored >>> (E) @LINE: 381 TEST.VALUE:Valves.<>.valvesStatus[VDO].currentPositionInCounts:200 >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored >>> (E) @LINE: 385 TEST.VALUE:Valves.<>.valvesStatus[VBA].currentPositionInCounts:200 >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored >>> (E) @LINE: 389 TEST.VALUE:Valves.<>.valvesStatus[VBV].currentPositionInCounts:200 >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_COMPLETE TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_IN_TRANSITION TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:22000 TEST.VALUE:Valves.<>.valvesStatus[VDO].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDO].execState:VALVE_STATE_IN_TRANSITION TEST.VALUE:Valves.<>.valvesStatus[VDO].positions[VALVE_POSITION_B_OPEN]:22000 TEST.VALUE:Valves.<>.valvesStatus[VBA].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VBA].execState:VALVE_STATE_IN_TRANSITION TEST.VALUE:Valves.<>.valvesStatus[VBA].positions[VALVE_POSITION_B_OPEN]:22000 TEST.VALUE:Valves.<>.valvesStatus[VBV].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VBV].execState:VALVE_STATE_IN_TRANSITION TEST.VALUE:Valves.<>.valvesStatus[VBV].positions[VALVE_POSITION_B_OPEN]:22000 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_IN_TRANSITION TEST.EXPECTED:Valves.<>.valvesStatus[VDO].execState:VALVE_STATE_IN_TRANSITION TEST.EXPECTED:Valves.<>.valvesStatus[VBA].execState:VALVE_STATE_IN_TRANSITION TEST.EXPECTED:Valves.<>.valvesStatus[VBV].execState:VALVE_STATE_IN_TRANSITION TEST.END -- Test Case: execValves_Wait_For_POST_POST_In_Progress TEST.UNIT:Valves TEST.SUBPROGRAM:execValves TEST.NEW TEST.NAME:execValves_Wait_For_POST_POST_In_Progress TEST.VALUE:Valves.<>.valvesSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS TEST.VALUE:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_WAIT_FOR_POST TEST.VALUE:Valves.<>.valvesStatus[VDO].execState:VALVE_STATE_WAIT_FOR_POST TEST.VALUE:Valves.<>.valvesStatus[VBA].execState:VALVE_STATE_WAIT_FOR_POST TEST.VALUE:Valves.<>.valvesStatus[VBV].execState:VALVE_STATE_WAIT_FOR_POST TEST.EXPECTED:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_WAIT_FOR_POST TEST.EXPECTED:Valves.<>.valvesStatus[VDO].execState:VALVE_STATE_WAIT_FOR_POST TEST.EXPECTED:Valves.<>.valvesStatus[VBA].execState:VALVE_STATE_WAIT_FOR_POST TEST.EXPECTED:Valves.<>.valvesStatus[VBV].execState:VALVE_STATE_WAIT_FOR_POST TEST.END -- Subprogram: execValvesSelfTest -- Test Case: execValvesSelfTest_Complete TEST.UNIT:Valves TEST.SUBPROGRAM:execValvesSelfTest TEST.NEW TEST.NAME:execValvesSelfTest_Complete TEST.VALUE:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_COMPLETE TEST.VALUE:Valves.<>.valvesSelfTestResult:SELF_TEST_STATUS_PASSED TEST.VALUE:Valves.execValvesSelfTest.return:SELF_TEST_STATUS_FAILED TEST.EXPECTED:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_COMPLETE TEST.EXPECTED:Valves.execValvesSelfTest.return:SELF_TEST_STATUS_PASSED TEST.END -- Test Case: execValvesSelfTest_Confirm_Enable TEST.UNIT:Valves TEST.SUBPROGRAM:execValvesSelfTest TEST.NEW TEST.NAME:execValvesSelfTest_Confirm_Enable TEST.VALUE:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_CONFIRM_ENABLE TEST.VALUE:Valves.<>.valvesSelfTestResult:SELF_TEST_STATUS_FAILED TEST.VALUE:Valves.execValvesSelfTest.return:SELF_TEST_STATUS_FAILED TEST.EXPECTED:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_COMPLETE TEST.EXPECTED:Valves.execValvesSelfTest.return:SELF_TEST_STATUS_FAILED TEST.END -- Test Case: execValvesSelfTest_Default TEST.UNIT:Valves TEST.SUBPROGRAM:execValvesSelfTest TEST.NEW TEST.NAME:execValvesSelfTest_Default TEST.VALUE:Valves.<>.valveSelfTestState:NUM_OF_VALVE_SELF_TEST_STATES TEST.VALUE:Valves.<>.valvesSelfTestResult:SELF_TEST_STATUS_PASSED TEST.VALUE:Valves.execValvesSelfTest.return:SELF_TEST_STATUS_FAILED TEST.EXPECTED:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_COMPLETE TEST.EXPECTED:Valves.execValvesSelfTest.return:SELF_TEST_STATUS_PASSED TEST.END -- Test Case: execValvesSelfTest_Enable_Valves TEST.UNIT:Valves TEST.SUBPROGRAM:execValvesSelfTest TEST.NEW TEST.NAME:execValvesSelfTest_Enable_Valves TEST.VALUE:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_ENABLE_VALVES TEST.VALUE:Valves.<>.valvesSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS TEST.VALUE:Valves.execValvesSelfTest.return:SELF_TEST_STATUS_FAILED TEST.EXPECTED:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_CONFIRM_ENABLE TEST.EXPECTED:Valves.execValvesSelfTest.return:SELF_TEST_STATUS_IN_PROGRESS TEST.END -- Subprogram: getAndMonitorValvesCurrentFPGAPosition -- Test Case: getAndMonitorValvesCurrentFPGAPosition.001 TEST.UNIT:Valves TEST.SUBPROGRAM:getAndMonitorValvesCurrentFPGAPosition TEST.NEW TEST.NAME:getAndMonitorValvesCurrentFPGAPosition.001 TEST.MCDC_BASIS_PATH:2 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getFPGAValveDialyzerInletPosition.return:0 TEST.VALUE:uut_prototype_stubs.getFPGAValveDialyzerOutletPosition.return:0 TEST.VALUE:uut_prototype_stubs.getFPGAValveBloodVenousPosition.return:0 TEST.VALUE:uut_prototype_stubs.getFPGAValveBloodArterialPosition.return:0 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].currentPositionInCounts.data:0 TEST.EXPECTED:Valves.<>.valvesStatus[VDO].currentPositionInCounts.data:0 TEST.EXPECTED:Valves.<>.valvesStatus[VBA].currentPositionInCounts.data:0 TEST.EXPECTED:Valves.<>.valvesStatus[VBV].currentPositionInCounts.data:0 TEST.END -- Test Case: getAndMonitorValvesCurrentFPGAPosition.002 TEST.UNIT:Valves TEST.SUBPROGRAM:getAndMonitorValvesCurrentFPGAPosition TEST.NEW TEST.NAME:getAndMonitorValvesCurrentFPGAPosition.002 TEST.MCDC_BASIS_PATH:4 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if ((valvesStatus[valve]).execState == (VALVE_STATE_IDLE)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set valve due to assignment Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.STUB:Valves.getValvePositionCounts TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:NUM_OF_VALVE_POSITIONS TEST.VALUE:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_IDLE TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_NOT_IN_POSITION]:100 TEST.VALUE:Valves.getValvePositionCounts.valve:VDI TEST.VALUE:Valves.getValvePositionCounts.return:100 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].commandedPosition:NUM_OF_VALVE_POSITIONS TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_NOT_IN_POSITION]:100 TEST.EXPECTED:Valves.getValvePositionCounts.valve:VDI TEST.END -- Test Case: getAndMonitorValvesCurrentFPGAPosition.003 TEST.UNIT:Valves TEST.SUBPROGRAM:getAndMonitorValvesCurrentFPGAPosition TEST.NEW TEST.NAME:getAndMonitorValvesCurrentFPGAPosition.003 TEST.MCDC_BASIS_PATH:6 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if ((valvesStatus[valve]).execState == (VALVE_STATE_IDLE)) ==> TRUE (3) if ((VALVE_POSITION_B_OPEN) == commandedPositionEnum) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set valve due to assignment TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_IDLE TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_NOT_IN_POSITION]:100 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_NOT_IN_POSITION]:100 TEST.END -- Test Case: getAndMonitorValvesCurrentFPGAPosition.004 TEST.UNIT:Valves TEST.SUBPROGRAM:getAndMonitorValvesCurrentFPGAPosition TEST.NEW TEST.NAME:getAndMonitorValvesCurrentFPGAPosition.004 TEST.MCDC_BASIS_PATH:10 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 10 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if ((valvesStatus[valve]).execState == (VALVE_STATE_IDLE)) ==> TRUE (3) if ((VALVE_POSITION_B_OPEN) == commandedPositionEnum) ==> FALSE (4) if (abs(currentPosition - commandedPosition) > maxDeviation) ==> FALSE (5) if ((valvesStatus[valve]).positionOutOfRangeCounter > MAX_POS_DEVIATION_TIME_INTERVAL_COUNTER) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set valve due to assignment Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set local variable maxDeviation in branch 4 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_NOT_IN_POSITION TEST.VALUE:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_IDLE TEST.VALUE:Valves.<>.valvesStatus[VDI].positionOutOfRangeCounter:<> TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_VALVE_POSITION_OUT_OF_RANGE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_VALVE_POSITION_OUT_OF_RANGE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0 TEST.END -- Test Case: getAndMonitorValvesCurrentFPGAPosition.005 TEST.UNIT:Valves TEST.SUBPROGRAM:getAndMonitorValvesCurrentFPGAPosition TEST.NEW TEST.NAME:getAndMonitorValvesCurrentFPGAPosition.005 TEST.MCDC_BASIS_PATH:12 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if ((valvesStatus[valve]).execState == (VALVE_STATE_IDLE)) ==> TRUE (3) if ((VALVE_POSITION_B_OPEN) == commandedPositionEnum) ==> FALSE (4) if (abs(currentPosition - commandedPosition) > maxDeviation) ==> FALSE (5) if ((valvesStatus[valve]).positionOutOfRangeCounter > MAX_POS_DEVIATION_TIME_INTERVAL_COUNTER) ==> FALSE (6) if (abs(currentPosition - commandedPosition) < 150 && (valvesStatus[valve]).positionOutOfRangeCounter > (0)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #6, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: Cannot set return value of function abs in branch 6 Cannot set valve due to assignment Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set local variable maxDeviation in branch 4 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_NOT_IN_POSITION TEST.VALUE:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_IDLE TEST.VALUE:Valves.<>.valvesStatus[VDI].positionOutOfRangeCounter:1 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positionOutOfRangeCounter:0 TEST.END -- Test Case: getAndMonitorValvesCurrentFPGAPosition.006 TEST.UNIT:Valves TEST.SUBPROGRAM:getAndMonitorValvesCurrentFPGAPosition TEST.NEW TEST.NAME:getAndMonitorValvesCurrentFPGAPosition.006 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if ((valvesStatus[valve]).execState == (VALVE_STATE_IDLE)) ==> TRUE (3) if ((VALVE_POSITION_B_OPEN) == commandedPositionEnum) ==> FALSE (4) if (abs(currentPosition - commandedPosition) > maxDeviation) ==> FALSE (5) if ((valvesStatus[valve]).positionOutOfRangeCounter > MAX_POS_DEVIATION_TIME_INTERVAL_COUNTER) ==> FALSE (6) if (abs(currentPosition - commandedPosition) < 150 && (valvesStatus[valve]).positionOutOfRangeCounter > (0)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #6, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: Cannot set return value of function abs in branch 6 Cannot set valve due to assignment Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set local variable maxDeviation in branch 4 TEST.END_NOTES: TEST.STUB:Valves.getValvePositionCounts TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_NOT_IN_POSITION TEST.VALUE:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_IDLE TEST.VALUE:Valves.<>.valvesStatus[VDI].positionOutOfRangeCounter:1 TEST.VALUE:Valves.getValvePositionCounts.return:<> TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positionOutOfRangeCounter:2 TEST.END -- Test Case: getAndMonitorValvesCurrentFPGAPosition.007 TEST.UNIT:Valves TEST.SUBPROGRAM:getAndMonitorValvesCurrentFPGAPosition TEST.NEW TEST.NAME:getAndMonitorValvesCurrentFPGAPosition.007 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 900 TEST.VALUE:uut_prototype_stubs.isACPowerLost.return:1 >>> >>> Could not find function isACPowerLost >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if ((valvesStatus[valve]).execState == (VALVE_STATE_IDLE)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set valve due to assignment Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.STUB:Valves.getValvePositionCounts TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:NUM_OF_VALVE_POSITIONS TEST.VALUE:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_IDLE TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_NOT_IN_POSITION]:100 TEST.VALUE:Valves.getValvePositionCounts.valve:VDI TEST.VALUE:Valves.getValvePositionCounts.return:100 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].commandedPosition:NUM_OF_VALVE_POSITIONS TEST.EXPECTED:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_IDLE TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_NOT_IN_POSITION]:100 TEST.END -- Test Case: getAndMonitorValvesCurrentFPGAPosition.008 TEST.UNIT:Valves TEST.SUBPROGRAM:getAndMonitorValvesCurrentFPGAPosition TEST.NEW TEST.NAME:getAndMonitorValvesCurrentFPGAPosition.008 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 929 TEST.VALUE:uut_prototype_stubs.isACPowerLost.return:0 >>> >>> Could not find function isACPowerLost >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:6 of 8 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if ((valvesStatus[valve]).execState == (VALVE_STATE_IDLE) && (0) == isACPowerLost()) ==> TRUE (3) if ((VALVE_POSITION_B_OPEN) == commandedPositionEnum) ==> FALSE (4) if (abs(currentPosition - commandedPosition) > maxDeviation) ==> FALSE (5) if ((valvesStatus[valve]).positionOutOfRangeCounter > MAX_POS_DEVIATION_TIME_INTERVAL_COUNTER) ==> TRUE (6) if ((VALVE_POSITION_C_CLOSE) == (valvesStatus[valve]).commandedPosition) ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set valve due to assignment Cannot set local variable maxDeviation in branch 4 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_C_CLOSE TEST.VALUE:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_IDLE TEST.VALUE:Valves.<>.valvesStatus[VDI].positionOutOfRangeCounter:<> TEST.EXPECTED:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_C_CLOSE TEST.EXPECTED:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_IDLE TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positionOutOfRangeCounter:4294967295 TEST.END -- Test Case: getAndMonitorValvesCurrentFPGAPosition.009 TEST.UNIT:Valves TEST.SUBPROGRAM:getAndMonitorValvesCurrentFPGAPosition TEST.NEW TEST.NAME:getAndMonitorValvesCurrentFPGAPosition.009 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if ((valvesStatus[valve]).execState == (VALVE_STATE_IDLE)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set valve due to assignment Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.STUB:Valves.getValvePositionCounts TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:NUM_OF_VALVE_POSITIONS TEST.VALUE:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_IDLE TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_NOT_IN_POSITION]:100 TEST.VALUE:Valves.getValvePositionCounts.valve:VDI TEST.VALUE:Valves.getValvePositionCounts.return:100 TEST.VALUE:uut_prototype_stubs.getCPLDACPowerLossDetected.return:1 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].commandedPosition:NUM_OF_VALVE_POSITIONS TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_NOT_IN_POSITION]:100 TEST.END -- Subprogram: getValveAirTrapStatus -- Test Case: getValveAirTrapStatus_NominalPath TEST.UNIT:Valves TEST.SUBPROGRAM:getValveAirTrapStatus TEST.NEW TEST.NAME:getValveAirTrapStatus_NominalPath TEST.VALUE:Valves.<>.valveAirTrapStatus:STATE_OPEN TEST.VALUE:Valves.getValveAirTrapStatus.return:NUM_OF_OPN_CLS_STATES TEST.EXPECTED:Valves.getValveAirTrapStatus.return:STATE_OPEN TEST.END -- Subprogram: getValveCurrent -- Test Case: getValveCurrent.001 TEST.UNIT:Valves TEST.SUBPROGRAM:getValveCurrent TEST.NEW TEST.NAME:getValveCurrent.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (0xccc33c33U == ((valvesStatus[valve]).current).override) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].current.ovData:100.0 TEST.VALUE:Valves.<>.valvesStatus[VDI].current.override:3435346995 TEST.VALUE:Valves.getValveCurrent.valve:VDI TEST.VALUE:Valves.getValveCurrent.return:100.0 TEST.EXPECTED:Valves.getValveCurrent.return:100.0 TEST.END -- Test Case: getValveCurrent.002 TEST.UNIT:Valves TEST.SUBPROGRAM:getValveCurrent TEST.NEW TEST.NAME:getValveCurrent.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (0xccc33c33U == ((valvesStatus[valve]).current).override) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].current.data:100.0 TEST.VALUE:Valves.<>.valvesStatus[VDI].current.override:<> TEST.VALUE:Valves.getValveCurrent.valve:VDI TEST.EXPECTED:Valves.getValveCurrent.return:100.0 TEST.END -- Subprogram: getValvePosition -- Test Case: getValvePosition_Valve_Ilegal TEST.UNIT:Valves TEST.SUBPROGRAM:getValvePosition TEST.NEW TEST.NAME:getValvePosition_Valve_Ilegal TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 738 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_WATCHDOG_POST_TEST_FAILED >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_WATCHDOG_POST_TEST_FAILED" >>> >>> Command Ignored >>> (E) @LINE: 554 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_INVALID_VALVE_SELECTED >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_INVALID_VALVE_SELECTED" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VBA].currentPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.getValvePosition.valve:NUM_OF_VALVES TEST.VALUE:Valves.getValvePosition.return:VALVE_POSITION_C_CLOSE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_BOOL TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:17 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_NONE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:2 TEST.EXPECTED:Valves.getValvePosition.return:VALVE_POSITION_NOT_IN_POSITION TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:85 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:4 TEST.END -- Test Case: getValvePosition_Valve_Legal TEST.UNIT:Valves TEST.SUBPROGRAM:getValvePosition TEST.NEW TEST.NAME:getValvePosition_Valve_Legal TEST.VALUE:Valves.<>.valvesStatus[VBA].currentPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.getValvePosition.valve:VBA TEST.VALUE:Valves.getValvePosition.return:VALVE_POSITION_NOT_IN_POSITION TEST.EXPECTED:Valves.getValvePosition.return:VALVE_POSITION_B_OPEN TEST.END -- Subprogram: getValvePositionCounts -- Test Case: getValvePositionCounts.001 TEST.UNIT:Valves TEST.SUBPROGRAM:getValvePositionCounts TEST.NEW TEST.NAME:getValvePositionCounts.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (0xccc33c33U == ((valvesStatus[valve]).currentPositionInCounts).override) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPositionInCounts.ovData:100 TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPositionInCounts.override:3435346995 TEST.VALUE:Valves.getValvePositionCounts.valve:VDI TEST.EXPECTED:Valves.getValvePositionCounts.return:100 TEST.END -- Test Case: getValvePositionCounts.002 TEST.UNIT:Valves TEST.SUBPROGRAM:getValvePositionCounts TEST.NEW TEST.NAME:getValvePositionCounts.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (0xccc33c33U == ((valvesStatus[valve]).currentPositionInCounts).override) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPositionInCounts.data:100 TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPositionInCounts.override:<> TEST.VALUE:Valves.getValvePositionCounts.valve:VDI TEST.EXPECTED:Valves.getValvePositionCounts.return:100 TEST.END -- Subprogram: handleValveSelfTestConfirmEnable -- Test Case: handleValveSelfTestConfirmEnable.001 TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveSelfTestConfirmEnable TEST.NEW TEST.NAME:handleValveSelfTestConfirmEnable.001 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == areValvesFunctional() && (1) == calStatus) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Valves.areValvesFunctional TEST.VALUE:Valves.areValvesFunctional.return:1 TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.return:1 TEST.EXPECTED:Valves.handleValveSelfTestConfirmEnable.return:VALVE_SELF_TEST_COMPLETE TEST.END -- Test Case: handleValveSelfTestConfirmEnable_Valves_Enabled TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveSelfTestConfirmEnable TEST.NEW TEST.NAME:handleValveSelfTestConfirmEnable_Valves_Enabled TEST.VALUE:Valves.<>.valvesSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS TEST.VALUE:Valves.handleValveSelfTestConfirmEnable.return:VALVE_SELF_TEST_CONFIRM_ENABLE TEST.VALUE:uut_prototype_stubs.getFPGAValvesStatus.return:0x16DB TEST.EXPECTED:Valves.<>.valvesSelfTestResult:SELF_TEST_STATUS_FAILED TEST.EXPECTED:Valves.handleValveSelfTestConfirmEnable.return:VALVE_SELF_TEST_COMPLETE TEST.END -- Test Case: handleValveSelfTestConfirmEnable_Valves_Not_Enabled TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveSelfTestConfirmEnable TEST.NEW TEST.NAME:handleValveSelfTestConfirmEnable_Valves_Not_Enabled TEST.VALUE:Valves.<>.valvesSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS TEST.VALUE:Valves.handleValveSelfTestConfirmEnable.return:VALVE_SELF_TEST_CONFIRM_ENABLE TEST.VALUE:uut_prototype_stubs.getFPGAValvesStatus.return:0x16DA TEST.EXPECTED:Valves.<>.valvesSelfTestResult:SELF_TEST_STATUS_FAILED TEST.EXPECTED:Valves.handleValveSelfTestConfirmEnable.return:VALVE_SELF_TEST_COMPLETE TEST.END -- Subprogram: handleValveSelfTestEnableValves -- Test Case: handleValveSelfTestEnableValves_NominalPath TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveSelfTestEnableValves TEST.NEW TEST.NAME:handleValveSelfTestEnableValves_NominalPath TEST.VALUE:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_CONFIRM_ENABLE TEST.VALUE:Valves.<>.valvesSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS TEST.VALUE:Valves.handleValveSelfTestEnableValves.return:NUM_OF_VALVE_SELF_TEST_STATES TEST.EXPECTED:Valves.handleValveSelfTestEnableValves.return:VALVE_SELF_TEST_CONFIRM_ENABLE TEST.END -- Subprogram: handleValveStateHomingFindDeenergizedEdge -- Test Case: handleValveStateHomingFindDeenergizedEdge.001 TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindDeenergizedEdge TEST.NEW TEST.NAME:handleValveStateHomingFindDeenergizedEdge.001 TEST.MCDC_BASIS_PATH:2 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (deltaPosition > 150) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set local variable deltaPosition in branch 1 TEST.END_NOTES: TEST.STUB:Valves.setFPGAValveSetPoint TEST.VALUE:Valves.<>.valvesStatus[VDI].targetPositionInCounts:-1000 TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.valve:<> TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.return:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.VALUE:Valves.setFPGAValveSetPoint.valve:VDI TEST.VALUE:Valves.setFPGAValveSetPoint.position:-1000 TEST.VALUE:Valves.setFPGAValveSetPoint.enableCurrentRelaxation:0 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].targetPositionInCounts:-1000 TEST.EXPECTED:Valves.handleValveStateHomingFindDeenergizedEdge.return:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.END -- Test Case: handleValveStateHomingFindDeenergizedEdge.002 TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindDeenergizedEdge TEST.NEW TEST.NAME:handleValveStateHomingFindDeenergizedEdge.002 TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.<>.valvesStatus[VDI].targetPositionInCounts:-1900 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:50 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:7000 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_C_CLOSE]:120 TEST.VALUE:Valves.<>.valvesStatus[VDI].numberOfFailedHomings:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:55 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingFailed:0 TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.valve:VDI TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.return:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:8 TEST.EXPECTED:Valves.handleValveStateHomingFindDeenergizedEdge.return:VALVE_STATE_HOMING_NOT_STARTED TEST.END -- Test Case: handleValveStateHomingFindDeenergizedEdge.003 TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindDeenergizedEdge TEST.NEW TEST.NAME:handleValveStateHomingFindDeenergizedEdge.003 TEST.BASIS_PATH:1 of 5 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (deltaPosition > 150) ==> FALSE Test Case Generation Notes: Cannot set local variable deltaPosition in branch 1 TEST.END_NOTES: TEST.STUB:Valves.setFPGAValveSetPoint TEST.STUB:Valves.getValvePositionCounts TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.valve:<> TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.return:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.EXPECTED:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_NOT_IN_POSITION TEST.EXPECTED:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:0 TEST.EXPECTED:Valves.<>.valvesStatus[VDO].targetPositionInCounts:0 TEST.EXPECTED:Valves.handleValveStateHomingFindDeenergizedEdge.valve:VDI TEST.EXPECTED:Valves.handleValveStateHomingFindDeenergizedEdge.return:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.EXPECTED:Valves.setFPGAValveSetPoint.valve:VDI TEST.EXPECTED:Valves.setFPGAValveSetPoint.position:-1000 TEST.EXPECTED:Valves.setFPGAValveSetPoint.enableCurrentRelaxation:0 TEST.EXPECTED:Valves.getValvePositionCounts.valve:VDI TEST.END -- Test Case: handleValveStateHomingFindDeenergizedEdge.004 TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindDeenergizedEdge TEST.NEW TEST.NAME:handleValveStateHomingFindDeenergizedEdge.004 TEST.STUB:Valves.getValvePositionCounts TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.<>.valvesStatus[VDI].targetPositionInCounts:-1900 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:50 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:15000 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_C_CLOSE]:120 TEST.VALUE:Valves.<>.valvesStatus[VDI].numberOfFailedHomings:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:55 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingFailed:0 TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.valve:VDI TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.return:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.VALUE:Valves.getValvePositionCounts.return:0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:8 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.EXPECTED:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_A_INSERT_EJECT TEST.EXPECTED:Valves.<>.valvesStatus[VDI].targetPositionInCounts:-1900 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:50 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:15000 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_C_CLOSE]:120 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].numberOfFailedHomings:2 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:55 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasHomingFailed:0 TEST.EXPECTED:Valves.handleValveStateHomingFindDeenergizedEdge.valve:VDI TEST.EXPECTED:Valves.handleValveStateHomingFindDeenergizedEdge.return:VALVE_STATE_HOMING_NOT_STARTED TEST.END -- Test Case: handleValveStateHomingFindDeenergizedEdge.005 TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindDeenergizedEdge TEST.NEW TEST.NAME:handleValveStateHomingFindDeenergizedEdge.005 TEST.STUB:Valves.getValvePositionCounts TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.<>.valvesStatus[VDI].targetPositionInCounts:-1900 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:50 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:15000 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_C_CLOSE]:120 TEST.VALUE:Valves.<>.valvesStatus[VDI].numberOfFailedHomings:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:55 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingFailed:0 TEST.VALUE:Valves.<>.hasValveEverBeenHomed[VDI..VBV]:1 TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.valve:VDI TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.return:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.VALUE:Valves.getValvePositionCounts.return:0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:8 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.EXPECTED:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_A_INSERT_EJECT TEST.EXPECTED:Valves.<>.valvesStatus[VDI].targetPositionInCounts:-1900 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:50 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:15000 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_C_CLOSE]:120 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].numberOfFailedHomings:2 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:55 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasHomingFailed:0 TEST.EXPECTED:Valves.handleValveStateHomingFindDeenergizedEdge.valve:VDI TEST.EXPECTED:Valves.handleValveStateHomingFindDeenergizedEdge.return:VALVE_STATE_HOMING_NOT_STARTED TEST.END -- Test Case: handleValveStateHomingFindDeenergizedEdge_At_Edge_Failed_Homing_Increment TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindDeenergizedEdge TEST.NEW TEST.NAME:handleValveStateHomingFindDeenergizedEdge_At_Edge_Failed_Homing_Increment TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 841 TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPositionInCounts:-1000 >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.<>.valvesStatus[VDI].targetPositionInCounts:-1900 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:50 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:13000 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_C_CLOSE]:120 TEST.VALUE:Valves.<>.valvesStatus[VDI].numberOfFailedHomings:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:55 TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.valve:VDI TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.return:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.EXPECTED:Valves.handleValveStateHomingFindDeenergizedEdge.return:VALVE_STATE_IDLE TEST.END -- Test Case: handleValveStateHomingFindDeenergizedEdge_At_Edge_Failed_Homing_Max TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindDeenergizedEdge TEST.NEW TEST.NAME:handleValveStateHomingFindDeenergizedEdge_At_Edge_Failed_Homing_Max TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 861 TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPositionInCounts:-1000 >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.<>.valvesStatus[VDI].targetPositionInCounts:-1900 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:50 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:7000 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_C_CLOSE]:120 TEST.VALUE:Valves.<>.valvesStatus[VDI].numberOfFailedHomings:3 TEST.VALUE:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:55 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingFailed:0 TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.valve:VDI TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.return:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:8 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:0 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasHomingFailed:1 TEST.EXPECTED:Valves.handleValveStateHomingFindDeenergizedEdge.return:VALVE_STATE_HOMING_NOT_STARTED TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VALVE_HOMING_FAILED TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0 TEST.END -- Test Case: handleValveStateHomingFindDeenergizedEdge_Not_At_Edge_In_Target TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindDeenergizedEdge TEST.NEW TEST.NAME:handleValveStateHomingFindDeenergizedEdge_Not_At_Edge_In_Target TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 896 TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPositionInCounts:-1800 >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored >>> (E) @LINE: 609 TEST.VALUE:Valves.<>.valvesStatus[VDI].restCounter:0 >>> >>> Expected a field name from the record type CCAST_9_21 >>> >>> Read: restCounter TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.<>.valvesStatus[VDI].targetPositionInCounts:-1900 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:0 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:50 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:12000 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_C_CLOSE]:120 TEST.VALUE:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:40 TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.valve:VDI TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.return:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.EXPECTED:Valves.handleValveStateHomingFindDeenergizedEdge.return:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.END -- Test Case: handleValveStateHomingFindDeenergizedEdge_Not_At_Edge_Not_In_Target TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindDeenergizedEdge TEST.NEW TEST.NAME:handleValveStateHomingFindDeenergizedEdge_Not_At_Edge_Not_In_Target TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 917 TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPositionInCounts:-1000 >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.<>.valvesStatus[VDI].targetPositionInCounts:-1900 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:0 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:50 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:12000 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_C_CLOSE]:120 TEST.VALUE:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:40 TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.valve:VDI TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.return:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.VALUE:uut_prototype_stubs.didTimeout.return:0 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:41 TEST.EXPECTED:Valves.handleValveStateHomingFindDeenergizedEdge.return:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.END -- Subprogram: handleValveStateHomingFindEnergizedEdge -- Test Case: handleValveStateHomingFindEnergizedEdge.001 TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindEnergizedEdge TEST.NEW TEST.NAME:handleValveStateHomingFindEnergizedEdge.001 TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (deltaPosition > 150) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set local variable deltaPosition in branch 1 TEST.END_NOTES: TEST.STUB:Valves.setFPGAValveSetPoint TEST.VALUE:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:0 TEST.VALUE:Valves.handleValveStateHomingFindEnergizedEdge.valve:<> TEST.VALUE:Valves.handleValveStateHomingFindEnergizedEdge.return:VALVE_STATE_HOMING_FIND_ENERGIZED_EDGE TEST.VALUE:Valves.setFPGAValveSetPoint.valve:VDI TEST.VALUE:Valves.setFPGAValveSetPoint.position:1000 TEST.VALUE:Valves.setFPGAValveSetPoint.enableCurrentRelaxation:0 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:0 TEST.EXPECTED:Valves.handleValveStateHomingFindEnergizedEdge.return:VALVE_STATE_HOMING_FIND_ENERGIZED_EDGE TEST.EXPECTED:Valves.setFPGAValveSetPoint.valve:VDI TEST.EXPECTED:Valves.setFPGAValveSetPoint.position:1000 TEST.EXPECTED:Valves.setFPGAValveSetPoint.enableCurrentRelaxation:0 TEST.END -- Test Case: handleValveStateHomingFindEnergizedEdge_At_Energized_Edge TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindEnergizedEdge TEST.NEW TEST.NAME:handleValveStateHomingFindEnergizedEdge_At_Energized_Edge TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 938 TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPositionInCounts:11200 >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDI].targetPositionInCounts:12000 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:0 TEST.VALUE:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:55 TEST.VALUE:Valves.handleValveStateHomingFindEnergizedEdge.valve:VDI TEST.VALUE:Valves.handleValveStateHomingFindEnergizedEdge.return:VALVE_STATE_IDLE TEST.EXPECTED:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:0 TEST.EXPECTED:Valves.handleValveStateHomingFindEnergizedEdge.return:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.END -- Test Case: handleValveStateHomingFindEnergizedEdge_At_Energized_Edge_Counter_>_Limit TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindEnergizedEdge TEST.NEW TEST.NAME:handleValveStateHomingFindEnergizedEdge_At_Energized_Edge_Counter_>_Limit TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 955 TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPositionInCounts:11200 >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDI].targetPositionInCounts:12000 TEST.VALUE:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:48 TEST.VALUE:Valves.handleValveStateHomingFindEnergizedEdge.valve:VDI TEST.VALUE:Valves.handleValveStateHomingFindEnergizedEdge.return:VALVE_STATE_HOMING_FIND_ENERGIZED_EDGE TEST.EXPECTED:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:49 TEST.EXPECTED:Valves.handleValveStateHomingFindEnergizedEdge.return:VALVE_STATE_HOMING_FIND_ENERGIZED_EDGE TEST.END -- Test Case: handleValveStateHomingFindEnergizedEdge_At_Temp_Target TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindEnergizedEdge TEST.NEW TEST.NAME:handleValveStateHomingFindEnergizedEdge_At_Temp_Target TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 975 TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPositionInCounts:11900 >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored >>> (E) @LINE: 665 TEST.VALUE:Valves.<>.valvesStatus[VDI].restCounter:1 >>> >>> Expected a field name from the record type CCAST_9_21 >>> >>> Read: restCounter TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDI].targetPositionInCounts:12000 TEST.VALUE:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:30 TEST.VALUE:Valves.handleValveStateHomingFindEnergizedEdge.valve:VDI TEST.VALUE:Valves.handleValveStateHomingFindEnergizedEdge.return:VALVE_STATE_IDLE TEST.EXPECTED:Valves.handleValveStateHomingFindEnergizedEdge.return:VALVE_STATE_HOMING_FIND_ENERGIZED_EDGE TEST.END -- Subprogram: handleValveStateHomingNotStarted -- Test Case: handleValveStateHomingNotStarted_Front_Door_Open_Homing_Not_Started TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingNotStarted TEST.NEW TEST.NAME:handleValveStateHomingNotStarted_Front_Door_Open_Homing_Not_Started TEST.VALUE:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_COMPLETE TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:0 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingFailed:0 TEST.VALUE:Valves.handleValveStateHomingNotStarted.valve:VDI TEST.VALUE:Valves.handleValveStateHomingNotStarted.return:VALVE_STATE_IDLE TEST.VALUE:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN TEST.EXPECTED:Valves.handleValveStateHomingNotStarted.return:VALVE_STATE_HOMING_NOT_STARTED TEST.END -- Test Case: handleValveStateHomingNotStarted_Homing_Rqsted_Homing_Started TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingNotStarted TEST.NEW TEST.NAME:handleValveStateHomingNotStarted_Homing_Rqsted_Homing_Started TEST.VALUE:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_COMPLETE TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_C_CLOSE TEST.VALUE:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:5 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingFailed:0 TEST.VALUE:Valves.handleValveStateHomingNotStarted.valve:VDI TEST.VALUE:Valves.handleValveStateHomingNotStarted.return:VALVE_STATE_IDLE TEST.VALUE:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_NOT_IN_POSITION TEST.EXPECTED:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:0 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:0 TEST.EXPECTED:Valves.handleValveStateHomingNotStarted.return:VALVE_STATE_HOMING_FIND_ENERGIZED_EDGE TEST.END -- Test Case: handleValveStateHomingNotStarted_ST_Complete_Homing_Failed_Homing_Not_Started TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingNotStarted TEST.NEW TEST.NAME:handleValveStateHomingNotStarted_ST_Complete_Homing_Failed_Homing_Not_Started TEST.VALUE:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_COMPLETE TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:0 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingFailed:1 TEST.VALUE:Valves.handleValveStateHomingNotStarted.valve:VDI TEST.VALUE:Valves.handleValveStateHomingNotStarted.return:VALVE_STATE_IDLE TEST.VALUE:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:Valves.handleValveStateHomingNotStarted.return:VALVE_STATE_HOMING_NOT_STARTED TEST.END -- Test Case: handleValveStateHomingNotStarted_ST_Not_Cmpt_Front_Door_Open_Homing_Not_Started TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingNotStarted TEST.NEW TEST.NAME:handleValveStateHomingNotStarted_ST_Not_Cmpt_Front_Door_Open_Homing_Not_Started TEST.VALUE:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_ENABLE_VALVES TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingFailed:0 TEST.VALUE:Valves.handleValveStateHomingNotStarted.valve:VDI TEST.VALUE:Valves.handleValveStateHomingNotStarted.return:VALVE_STATE_IDLE TEST.VALUE:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN TEST.EXPECTED:Valves.handleValveStateHomingNotStarted.return:VALVE_STATE_HOMING_NOT_STARTED TEST.END -- Test Case: handleValveStateHomingNotStarted_ST_Not_Complete_Homing_Not_Started TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingNotStarted TEST.NEW TEST.NAME:handleValveStateHomingNotStarted_ST_Not_Complete_Homing_Not_Started TEST.VALUE:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_ENABLE_VALVES TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:0 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingFailed:0 TEST.VALUE:Valves.handleValveStateHomingNotStarted.valve:VDI TEST.VALUE:Valves.handleValveStateHomingNotStarted.return:VALVE_STATE_IDLE TEST.VALUE:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:Valves.handleValveStateHomingNotStarted.return:VALVE_STATE_HOMING_NOT_STARTED TEST.END -- Subprogram: handleValveStateIdle -- Test Case: handleValveStateIdle.001 TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateIdle TEST.NEW TEST.NAME:handleValveStateIdle.001 TEST.MCDC_BASIS_PATH:4 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == (valvesStatus[valve]).hasHomingBeenRequested) ==> FALSE (2) if ((1) == (valvesStatus[valve]).hasValveBeenHomed && (1) == (valvesStatus[valve]).hasTransitionBeenRequested) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:<> TEST.VALUE:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.VALUE:Valves.handleValveStateIdle.valve:VDI TEST.VALUE:Valves.handleValveStateIdle.return:VALVE_STATE_IDLE TEST.EXPECTED:Valves.handleValveStateIdle.return:VALVE_STATE_IDLE TEST.END -- Test Case: handleValveStateIdle.002 TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateIdle TEST.NEW TEST.NAME:handleValveStateIdle.002 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == (valvesStatus[valve]).hasHomingBeenRequested) ==> FALSE (2) if ((1) == (valvesStatus[valve]).hasValveBeenHomed && (1) == (valvesStatus[valve]).hasTransitionBeenRequested) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Valves.isValveCloseToCommandedPosition TEST.VALUE:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:<> TEST.VALUE:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.VALUE:Valves.handleValveStateIdle.valve:VDI TEST.VALUE:Valves.handleValveStateIdle.return:VALVE_STATE_IDLE TEST.VALUE:Valves.isValveCloseToCommandedPosition.return:0 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:0 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:0 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.EXPECTED:Valves.handleValveStateIdle.valve:VDI TEST.EXPECTED:Valves.handleValveStateIdle.return:VALVE_STATE_IN_TRANSITION TEST.EXPECTED:Valves.isValveCloseToCommandedPosition.valve:VDI TEST.EXPECTED:Valves.isValveCloseToCommandedPosition.positionToCheck:VALVE_POSITION_NOT_IN_POSITION TEST.END -- Test Case: handleValveStateIdle_Homing_Requested TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateIdle TEST.NEW TEST.NAME:handleValveStateIdle_Homing_Requested TEST.VALUE:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:0 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:0 TEST.VALUE:Valves.handleValveStateIdle.valve:VDI TEST.VALUE:Valves.handleValveStateIdle.return:VALVE_STATE_IDLE TEST.EXPECTED:Valves.handleValveStateIdle.return:VALVE_STATE_HOMING_NOT_STARTED TEST.END -- Test Case: handleValveStateIdle_Idle TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateIdle TEST.NEW TEST.NAME:handleValveStateIdle_Idle TEST.VALUE:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:0 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:0 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:0 TEST.VALUE:Valves.handleValveStateIdle.valve:VDI TEST.VALUE:Valves.handleValveStateIdle.return:VALVE_STATE_IDLE TEST.EXPECTED:Valves.handleValveStateIdle.return:VALVE_STATE_IDLE TEST.END -- Test Case: handleValveStateIdle_Transition_Homed_New_Pos TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateIdle TEST.NEW TEST.NAME:handleValveStateIdle_Transition_Homed_New_Pos TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].transitionStartTime:12 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:0 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.VALUE:Valves.handleValveStateIdle.valve:VDI TEST.VALUE:Valves.handleValveStateIdle.return:VALVE_STATE_IDLE TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:123456 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].transitionStartTime:123456 TEST.EXPECTED:Valves.handleValveStateIdle.return:VALVE_STATE_IN_TRANSITION TEST.END -- Test Case: handleValveStateIdle_Transition_Homed_Not_New_Pos TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateIdle TEST.NEW TEST.NAME:handleValveStateIdle_Transition_Homed_Not_New_Pos TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:0 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.VALUE:Valves.handleValveStateIdle.valve:VDI TEST.VALUE:Valves.handleValveStateIdle.return:VALVE_STATE_IDLE TEST.EXPECTED:Valves.handleValveStateIdle.return:VALVE_STATE_IN_TRANSITION TEST.END -- Test Case: handleValveStateIdle_Transition_Not_Requested TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateIdle TEST.NEW TEST.NAME:handleValveStateIdle_Transition_Not_Requested TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:0 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:0 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.VALUE:Valves.handleValveStateIdle.valve:VDI TEST.VALUE:Valves.handleValveStateIdle.return:VALVE_STATE_IDLE TEST.EXPECTED:Valves.handleValveStateIdle.return:VALVE_STATE_IDLE TEST.END -- Subprogram: handleValveStateInTransition -- Test Case: handleValveStateInTransition.001 TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:handleValveStateInTransition.001 TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:5000 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:12000 TEST.VALUE:Valves.handleValveStateInTransition.valve:VDI TEST.VALUE:Valves.handleValveStateInTransition.return:VALVE_STATE_IN_TRANSITION TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:1 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:Valves.handleValveStateInTransition.return:VALVE_STATE_IDLE TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VALVE_TRANSITION_TIMEOUT TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0 TEST.END -- Test Case: handleValveStateInTransition.002 TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:handleValveStateInTransition.002 TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_C_CLOSE TEST.VALUE:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:5000 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:12000 TEST.VALUE:Valves.handleValveStateInTransition.valve:VDI TEST.VALUE:Valves.handleValveStateInTransition.return:VALVE_STATE_IN_TRANSITION TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:1 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:Valves.handleValveStateInTransition.return:VALVE_STATE_IDLE TEST.END -- Test Case: handleValveStateInTransition.003 TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:handleValveStateInTransition.003 TEST.MCDC_BASIS_PATH:11 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if (abs(currentPosition - commandedPosition) < 150) ==> TRUE (2) if (commandedPositionEnum == (VALVE_POSITION_B_OPEN)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set return value of function abs in branch 1 TEST.END_NOTES: TEST.STUB:Valves.setFPGAValveSetPoint TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.handleValveStateInTransition.valve:VDI TEST.VALUE:Valves.handleValveStateInTransition.return:VALVE_STATE_IDLE TEST.VALUE:Valves.setFPGAValveSetPoint.valve:VDI TEST.VALUE:Valves.setFPGAValveSetPoint.position:1 TEST.VALUE:Valves.setFPGAValveSetPoint.enableCurrentRelaxation:1 TEST.EXPECTED:Valves.handleValveStateInTransition.return:VALVE_STATE_IDLE TEST.END -- Test Case: handleValveStateInTransition.004 TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:handleValveStateInTransition.004 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1745 TEST.VALUE:uut_prototype_stubs.isACPowerLost.return:1 >>> >>> Could not find function isACPowerLost >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:5000 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:12000 TEST.VALUE:Valves.handleValveStateInTransition.valve:VDI TEST.VALUE:Valves.handleValveStateInTransition.return:VALVE_STATE_IN_TRANSITION TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:1 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:1 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:5000 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:12000 TEST.EXPECTED:Valves.handleValveStateInTransition.valve:VDI TEST.EXPECTED:Valves.handleValveStateInTransition.return:VALVE_STATE_IDLE TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0 TEST.END -- Test Case: handleValveStateInTransition.005 TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:handleValveStateInTransition.005 TEST.STUB:Valves.getValvePositionCounts TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_C_CLOSE TEST.VALUE:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:5000 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:12000 TEST.VALUE:Valves.handleValveStateInTransition.valve:VDI TEST.VALUE:Valves.handleValveStateInTransition.return:VALVE_STATE_IN_TRANSITION TEST.VALUE:Valves.getValvePositionCounts.return:<> TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:1 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_C_CLOSE TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:1 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:5000 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:12000 TEST.EXPECTED:Valves.handleValveStateInTransition.valve:VDI TEST.EXPECTED:Valves.handleValveStateInTransition.return:VALVE_STATE_IDLE TEST.EXPECTED:Valves.getValvePositionCounts.valve:VDI TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VALVE_TRANSITION_TIMEOUT TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0 TEST.END -- Test Case: handleValveStateInTransition.006 TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:handleValveStateInTransition.006 TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:5000 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:12000 TEST.VALUE:Valves.handleValveStateInTransition.valve:VDI TEST.VALUE:Valves.handleValveStateInTransition.return:VALVE_STATE_IN_TRANSITION TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:1 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.getCPLDACPowerLossDetected.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:1 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:5000 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:12000 TEST.EXPECTED:Valves.handleValveStateInTransition.valve:VDI TEST.EXPECTED:Valves.handleValveStateInTransition.return:VALVE_STATE_IN_TRANSITION TEST.END -- Test Case: handleValveStateInTransition_Close_To_Cmd_Pos_B TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:handleValveStateInTransition_Close_To_Cmd_Pos_B TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1132 TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPositionInCounts:11900 >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:5000 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:12000 TEST.VALUE:Valves.handleValveStateInTransition.valve:VDI TEST.VALUE:Valves.handleValveStateInTransition.return:VALVE_STATE_IN_TRANSITION TEST.EXPECTED:Valves.handleValveStateInTransition.return:VALVE_STATE_IN_TRANSITION TEST.END -- Test Case: handleValveStateInTransition_Close_To_Cmd_Pos_Not_B TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:handleValveStateInTransition_Close_To_Cmd_Pos_Not_B TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1150 TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPositionInCounts:4900 >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:5000 TEST.VALUE:Valves.handleValveStateInTransition.valve:VDI TEST.VALUE:Valves.handleValveStateInTransition.return:VALVE_STATE_IN_TRANSITION TEST.EXPECTED:Valves.handleValveStateInTransition.return:VALVE_STATE_IN_TRANSITION TEST.END -- Test Case: handleValveStateInTransition_Close_To_Target TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:handleValveStateInTransition_Close_To_Target TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1167 TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPositionInCounts:3900 >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].targetPositionInCounts:4000 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:5000 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:12000 TEST.VALUE:Valves.handleValveStateInTransition.valve:VDI TEST.VALUE:Valves.handleValveStateInTransition.return:VALVE_STATE_IN_TRANSITION TEST.EXPECTED:Valves.handleValveStateInTransition.return:VALVE_STATE_IN_TRANSITION TEST.END -- Test Case: handleValveStateInTransition_In_Transition TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:handleValveStateInTransition_In_Transition TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1183 TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPositionInCounts:3100 >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].targetPositionInCounts:4000 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:5000 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:12000 TEST.VALUE:Valves.handleValveStateInTransition.valve:VDI TEST.VALUE:Valves.handleValveStateInTransition.return:VALVE_STATE_IN_TRANSITION TEST.EXPECTED:Valves.handleValveStateInTransition.return:VALVE_STATE_IN_TRANSITION TEST.END -- Test Case: handleValveStateInTransition_Not_Close_To_Target_Timeout TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:handleValveStateInTransition_Not_Close_To_Target_Timeout TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1198 TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPositionInCounts:10000 >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored >>> (E) @LINE: 1204 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_FPGA_POST_TEST_FAILED >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_FPGA_POST_TEST_FAILED" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:5000 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:12000 TEST.VALUE:Valves.handleValveStateInTransition.valve:VDI TEST.VALUE:Valves.handleValveStateInTransition.return:VALVE_STATE_IN_TRANSITION TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:Valves.handleValveStateInTransition.return:VALVE_STATE_IDLE TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VALVE_TRANSITION_TIMEOUT TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0 TEST.END -- Test Case: handleValveStateInTransition_Position_C_timeout TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:handleValveStateInTransition_Position_C_timeout TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_C_CLOSE TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPositionInCounts.data:500 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:5000 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:12000 TEST.VALUE:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_C_CLOSE]:0 TEST.VALUE:Valves.handleValveStateInTransition.valve:VDI TEST.VALUE:Valves.handleValveStateInTransition.return:VALVE_STATE_IN_TRANSITION TEST.VALUE:uut_prototype_stubs.isAlarmActive.alarm:ALARM_ID_HD_VALVE_TRANSITION_TIMEOUT TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_C_CLOSE TEST.EXPECTED:Valves.<>.valvesStatus[VDI].currentPositionInCounts.data:500 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:1 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_A_INSERT_EJECT]:5000 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:12000 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_C_CLOSE]:0 TEST.EXPECTED:Valves.handleValveStateInTransition.valve:VDI TEST.EXPECTED:Valves.handleValveStateInTransition.return:VALVE_STATE_IDLE TEST.END -- Subprogram: handleValveStateWaitForPost -- Test Case: handleValveStateWaitForPost_POST_Complete TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateWaitForPost TEST.NEW TEST.NAME:handleValveStateWaitForPost_POST_Complete TEST.VALUE:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_COMPLETE TEST.VALUE:Valves.handleValveStateWaitForPost.valve:VBA TEST.VALUE:Valves.handleValveStateWaitForPost.return:VALVE_STATE_HOMING_FIND_ENERGIZED_EDGE TEST.EXPECTED:Valves.handleValveStateWaitForPost.return:VALVE_STATE_HOMING_NOT_STARTED TEST.END -- Test Case: handleValveStateWaitForPost_POST_Not_Complete TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateWaitForPost TEST.NEW TEST.NAME:handleValveStateWaitForPost_POST_Not_Complete TEST.VALUE:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_CONFIRM_ENABLE TEST.VALUE:Valves.handleValveStateWaitForPost.valve:VDO TEST.VALUE:Valves.handleValveStateWaitForPost.return:VALVE_STATE_HOMING_FIND_ENERGIZED_EDGE TEST.EXPECTED:Valves.handleValveStateWaitForPost.return:VALVE_STATE_WAIT_FOR_POST TEST.END -- Subprogram: homeValve -- Test Case: homeValve.001 TEST.UNIT:Valves TEST.SUBPROGRAM:homeValve TEST.NEW TEST.NAME:homeValve.001 TEST.BASIS_PATH:2 of 3 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (valve < (NUM_OF_VALVES)) ==> TRUE (2) if ((valvesStatus[valve]).hasValveBeenHomed != (1)) ==> FALSE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( Valves.homeValve.valve ) in branches 1/2 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.VALUE:Valves.homeValve.valve:<> TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.EXPECTED:Valves.homeValve.valve:VDI TEST.END -- Test Case: homeValve.002 TEST.UNIT:Valves TEST.SUBPROGRAM:homeValve TEST.NEW TEST.NAME:homeValve.002 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (valve < (NUM_OF_VALVES)) ==> TRUE (2) if ((valvesStatus[valve]).hasValveBeenHomed != (1)) ==> FALSE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( Valves.homeValve.valve ) in branches 1/2 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.VALUE:Valves.homeValve.valve:<> TEST.VALUE:Valves.homeValve.force:1 TEST.VALUE:Valves.homeValve.return:0 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.EXPECTED:Valves.homeValve.valve:VDI TEST.EXPECTED:Valves.homeValve.return:1 TEST.END -- Test Case: homeValve_Valve_Invalid TEST.UNIT:Valves TEST.SUBPROGRAM:homeValve TEST.NEW TEST.NAME:homeValve_Valve_Invalid TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:0 TEST.VALUE:Valves.homeValve.valve:NUM_OF_VALVES TEST.VALUE:Valves.homeValve.return:1 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:0 TEST.EXPECTED:Valves.homeValve.return:0 TEST.END -- Test Case: homeValve_Valve_Valid TEST.UNIT:Valves TEST.SUBPROGRAM:homeValve TEST.NEW TEST.NAME:homeValve_Valve_Valid TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:0 TEST.VALUE:Valves.homeValve.valve:VDI TEST.VALUE:Valves.homeValve.return:0 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:1 TEST.END -- Subprogram: initValves -- Test Case: initValves_NominalPath TEST.UNIT:Valves TEST.SUBPROGRAM:initValves TEST.NEW TEST.NAME:initValves_NominalPath TEST.VALUE:Valves.<>.valveSelfTestState:NUM_OF_VALVE_SELF_TEST_STATES TEST.VALUE:Valves.<>.valvesSelfTestResult:SELF_TEST_STATUS_FAILED TEST.EXPECTED:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_ENABLE_VALVES TEST.EXPECTED:Valves.<>.valvesSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS TEST.END -- Subprogram: isValveCloseToCommandedPosition -- Test Case: isValveCloseToCommandedPosition.001 TEST.UNIT:Valves TEST.SUBPROGRAM:isValveCloseToCommandedPosition TEST.NEW TEST.NAME:isValveCloseToCommandedPosition.001 TEST.BASIS_PATH:1 of 2 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (abs(currentPosition - commandedPosition) < 1000) ==> FALSE Test Case Generation Notes: Cannot set return value of function abs in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.isValveCloseToCommandedPosition.valve:<> TEST.VALUE:Valves.isValveCloseToCommandedPosition.positionToCheck:<> TEST.EXPECTED:Valves.isValveCloseToCommandedPosition.valve:VDI TEST.EXPECTED:Valves.isValveCloseToCommandedPosition.positionToCheck:VALVE_POSITION_NOT_IN_POSITION TEST.END -- Test Case: isValveCloseToCommandedPosition.002 TEST.UNIT:Valves TEST.SUBPROGRAM:isValveCloseToCommandedPosition TEST.NEW TEST.NAME:isValveCloseToCommandedPosition.002 TEST.BASIS_PATH:2 of 2 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (abs(currentPosition - commandedPosition) < 1000) ==> TRUE Test Case Generation Notes: Cannot set return value of function abs in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.isValveCloseToCommandedPosition.valve:<> TEST.VALUE:Valves.isValveCloseToCommandedPosition.positionToCheck:<> TEST.EXPECTED:Valves.isValveCloseToCommandedPosition.valve:VDI TEST.EXPECTED:Valves.isValveCloseToCommandedPosition.positionToCheck:VALVE_POSITION_NOT_IN_POSITION TEST.END -- Subprogram: publishValvesData -- Test Case: publishValvesData.001 TEST.UNIT:Valves TEST.SUBPROGRAM:publishValvesData TEST.NEW TEST.NAME:publishValvesData.001 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (++(valvesStatus[valve]).dataPublishCounter >= getU32OverrideValue(&valvesDataPublishInterval)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.publishValvesData.valve:<> TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> TEST.END -- Test Case: publishValvesData_No_Publish_Time TEST.UNIT:Valves TEST.SUBPROGRAM:publishValvesData TEST.NEW TEST.NAME:publishValvesData_No_Publish_Time TEST.IMPORT_FAILURES: (S) @LINE: 2219 >>> Warning: Setting data to out-of-range value. The value 100 does not correspond to an enumeral value. (E) Errors from previous script import(s) >>> (S) @LINE: 2149 >>> >>> Warning: Setting data to out-of-range value. The value 100 does not correspond to an enumeral value. >>> (S) @LINE: 2147 >>> >>> Warning: Setting data to out-of-range value. The value 100 does not correspond to an enumeral value. >>> (S) @LINE: 2145 >>> >>> Warning: Setting data to out-of-range value. The value 100 does not correspond to an enumeral value. >>> (S) @LINE: 119 >>> >>> Warning: Setting data to out-of-range value. The value 100 does not correspond to an enumeral value. >>> (S) @LINE: 2053 >>> >>> Warning: Setting data to out-of-range value. The value 100 does not correspond to an enumeral value. >>> (S) @LINE: 1928 >>> >>> Warning: Setting data to out-of-range value. The value 100 does not correspond to an enumeral value. >>> (S) @LINE: 1926 >>> >>> Warning: Setting data to out-of-range value. The value 100 does not correspond to an enumeral value. >>> (S) @LINE: 1957 >>> >>> Warning: Setting data to out-of-range value. The value 100 does not correspond to an enumeral value. >>> (S) @LINE: 1897 >>> >>> Warning: Setting data to out-of-range value. The value 100 does not correspond to an enumeral value. >>> (S) @LINE: 1899 >>> >>> Warning: Setting data to out-of-range value. The value 100 does not correspond to an enumeral value. >>> (S) @LINE: 1872 >>> >>> Warning: Setting data to out-of-range value. The value 100 does not correspond to an enumeral value. >>> (S) @LINE: 1840 >>> >>> Warning: Setting data to out-of-range value. The value 100 does not correspond to an enumeral value. >>> (S) @LINE: 1838 >>> >>> Warning: Setting data to out-of-range value. The value 100 does not correspond to an enumeral value. >>> (S) @LINE: 1832 >>> >>> Warning: Setting data to out-of-range value. The value 100 does not correspond to an enumeral value. >>> (S) @LINE: 1830 >>> >>> Warning: Setting data to out-of-range value. The value 100 does not correspond to an enumeral value. >>> (S) @LINE: 1782 >>> >>> Warning: Setting data to out-of-range value. The value 100 does not correspond to an enumeral value. >>> (E) @LINE: 322 TEST.VALUE:Valves.<>.valveData.currentPosID:3 >>> >>> Unknown parameter/object name valveData >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 323 TEST.VALUE:Valves.<>.valveData.current:-0.1 >>> >>> Unknown parameter/object name valveData >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 325 TEST.VALUE:Valves.<>.valvesStatus[VDI].valveCurrent:0.25 >>> >>> Expected a field name from the record type CCAST_9_21 >>> >>> Read: valveCurrent >>> (E) @LINE: 326 TEST.VALUE:Valves.<>.valvesStatus[VDI].valveDataPublishCounter:8 >>> >>> Expected a field name from the record type CCAST_9_21 >>> >>> Read: valveDataPublishCounter >>> (E) @LINE: 328 TEST.EXPECTED:Valves.<>.valveData.currentPosID:3 >>> >>> Unknown parameter/object name valveData >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 329 TEST.EXPECTED:Valves.<>.valveData.current:-0.1 >>> >>> Unknown parameter/object name valveData >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.STUB:Valves.getValvePosition TEST.STUB:Valves.getValveCurrent TEST.STUB:Valves.getValvePositionCounts TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.<>.valvesStatus[VDI].dataPublishCounter:2 TEST.VALUE:Valves.getValvePosition.valve:VDI TEST.VALUE:Valves.getValvePosition.return:100 TEST.VALUE:Valves.getValveCurrent.valve:VDI TEST.VALUE:Valves.getValveCurrent.return:100.0 TEST.VALUE:Valves.publishValvesData.valve:VDI TEST.VALUE:Valves.getValvePositionCounts.valve:VDI TEST.VALUE:Valves.getValvePositionCounts.return:100 TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_VALVES_DATA TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.VALUE:uut_prototype_stubs.broadcastData.dataPtr:"" TEST.VALUE:uut_prototype_stubs.broadcastData.length:34 TEST.EXPECTED:Valves.getValvePosition.valve:VDI TEST.EXPECTED:Valves.getValveCurrent.valve:VDI TEST.EXPECTED:Valves.getValvePositionCounts.valve:VDI TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_VALVES_DATA TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.EXPECTED:uut_prototype_stubs.broadcastData.dataPtr:"" TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:34 TEST.END -- Test Case: publishValvesData_Publish_Time TEST.UNIT:Valves TEST.SUBPROGRAM:publishValvesData TEST.NEW TEST.NAME:publishValvesData_Publish_Time TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 337 TEST.VALUE:Valves.<>.valveData.currentPosID:3 >>> >>> Unknown parameter/object name valveData >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 338 TEST.VALUE:Valves.<>.valveData.current:-0.1 >>> >>> Unknown parameter/object name valveData >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 340 TEST.VALUE:Valves.<>.valvesStatus[VDI].valveCurrent:0.25 >>> >>> Expected a field name from the record type CCAST_9_21 >>> >>> Read: valveCurrent >>> (E) @LINE: 341 TEST.VALUE:Valves.<>.valvesStatus[VDI].valveDataPublishCounter:11 >>> >>> Expected a field name from the record type CCAST_9_21 >>> >>> Read: valveDataPublishCounter >>> (E) @LINE: 343 TEST.EXPECTED:Valves.<>.valveData.currentPosID:1 >>> >>> Unknown parameter/object name valveData >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 344 TEST.EXPECTED:Valves.<>.valveData.current:0.25 >>> >>> Unknown parameter/object name valveData >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.<>.valvesStatus[VDI].dataPublishCounter:60 TEST.VALUE:Valves.<>.valvesDataPublishInterval.data:50 TEST.VALUE:Valves.<>.valvesDataPublishInterval.override:0 TEST.VALUE:Valves.publishValvesData.valve:VDI TEST.EXPECTED:Valves.<>.valvesStatus[VDI].dataPublishCounter:0 TEST.END -- Subprogram: resetValvesPOSTState -- Test Case: resetValvesPOSTState.001 TEST.UNIT:Valves TEST.SUBPROGRAM:resetValvesPOSTState TEST.NEW TEST.NAME:resetValvesPOSTState.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.VALUE:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_ENABLE_VALVES TEST.VALUE:Valves.<>.valvesSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS TEST.EXPECTED:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_ENABLE_VALVES TEST.EXPECTED:Valves.<>.valvesSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS TEST.END -- Subprogram: setFPGAValveSetPoint -- Test Case: setFPGAValveSetPoint_Disable_Current_Relaxation_Invalid_Valve TEST.UNIT:Valves TEST.SUBPROGRAM:setFPGAValveSetPoint TEST.NEW TEST.NAME:setFPGAValveSetPoint_Disable_Current_Relaxation_Invalid_Valve TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1355 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_FPGA_POST_TEST_FAILED >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_FPGA_POST_TEST_FAILED" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.setFPGAValveSetPoint.valve:NUM_OF_VALVES TEST.VALUE:Valves.setFPGAValveSetPoint.position:0x78 TEST.VALUE:Valves.setFPGAValveSetPoint.enableCurrentRelaxation:0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_S32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:6 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:4 TEST.END -- Test Case: setFPGAValveSetPoint_Disable_Current_Relaxation_VBA TEST.UNIT:Valves TEST.SUBPROGRAM:setFPGAValveSetPoint TEST.NEW TEST.NAME:setFPGAValveSetPoint_Disable_Current_Relaxation_VBA TEST.VALUE:Valves.setFPGAValveSetPoint.valve:VBA TEST.VALUE:Valves.setFPGAValveSetPoint.position:0x78 TEST.VALUE:Valves.setFPGAValveSetPoint.enableCurrentRelaxation:0 TEST.VALUE:uut_prototype_stubs.setFPGAValveBloodArterialPosition.setPoint:0xFA TEST.EXPECTED:uut_prototype_stubs.setFPGAValveBloodArterialPosition.setPoint:0x78 TEST.END -- Test Case: setFPGAValveSetPoint_Disable_Current_Relaxation_VBV TEST.UNIT:Valves TEST.SUBPROGRAM:setFPGAValveSetPoint TEST.NEW TEST.NAME:setFPGAValveSetPoint_Disable_Current_Relaxation_VBV TEST.VALUE:Valves.setFPGAValveSetPoint.valve:VBV TEST.VALUE:Valves.setFPGAValveSetPoint.position:0x78 TEST.VALUE:Valves.setFPGAValveSetPoint.enableCurrentRelaxation:0 TEST.VALUE:uut_prototype_stubs.setFPGAValveBloodVenousPosition.setPoint:0xFA TEST.EXPECTED:uut_prototype_stubs.setFPGAValveBloodVenousPosition.setPoint:0x78 TEST.END -- Test Case: setFPGAValveSetPoint_Disable_Current_Relaxation_VDI TEST.UNIT:Valves TEST.SUBPROGRAM:setFPGAValveSetPoint TEST.NEW TEST.NAME:setFPGAValveSetPoint_Disable_Current_Relaxation_VDI TEST.VALUE:Valves.setFPGAValveSetPoint.valve:VDI TEST.VALUE:Valves.setFPGAValveSetPoint.position:0x78 TEST.VALUE:Valves.setFPGAValveSetPoint.enableCurrentRelaxation:0 TEST.VALUE:uut_prototype_stubs.setFPGAValveDialyzerInletPosition.setPoint:0xFA TEST.EXPECTED:uut_prototype_stubs.setFPGAValveDialyzerInletPosition.setPoint:0x78 TEST.END -- Test Case: setFPGAValveSetPoint_Disable_Current_Relaxation_VDO TEST.UNIT:Valves TEST.SUBPROGRAM:setFPGAValveSetPoint TEST.NEW TEST.NAME:setFPGAValveSetPoint_Disable_Current_Relaxation_VDO TEST.VALUE:Valves.setFPGAValveSetPoint.valve:VDO TEST.VALUE:Valves.setFPGAValveSetPoint.position:0x78 TEST.VALUE:Valves.setFPGAValveSetPoint.enableCurrentRelaxation:0 TEST.VALUE:uut_prototype_stubs.setFPGAValveDialyzerOutletPosition.setPoint:0xFA TEST.EXPECTED:uut_prototype_stubs.setFPGAValveDialyzerOutletPosition.setPoint:0x78 TEST.END -- Test Case: setFPGAValveSetPoint_Enable_Current_Relaxation_VDI TEST.UNIT:Valves TEST.SUBPROGRAM:setFPGAValveSetPoint TEST.NEW TEST.NAME:setFPGAValveSetPoint_Enable_Current_Relaxation_VDI TEST.VALUE:Valves.setFPGAValveSetPoint.valve:VDI TEST.VALUE:Valves.setFPGAValveSetPoint.position:0x12 TEST.VALUE:Valves.setFPGAValveSetPoint.enableCurrentRelaxation:1 TEST.VALUE:uut_prototype_stubs.setFPGAValveDialyzerInletPosition.setPoint:0x2345 TEST.EXPECTED:uut_prototype_stubs.setFPGAValveDialyzerInletPosition.setPoint:-32750 TEST.END -- Subprogram: setValveAirTrap -- Test Case: setValveAirTrap_De-energized TEST.UNIT:Valves TEST.SUBPROGRAM:setValveAirTrap TEST.NEW TEST.NAME:setValveAirTrap_De-energized TEST.VALUE:Valves.setValveAirTrap.state:STATE_CLOSED TEST.VALUE:uut_prototype_stubs.gioSetBit.bit:0x2 TEST.VALUE:uut_prototype_stubs.gioSetBit.value:1 TEST.EXPECTED:uut_prototype_stubs.gioSetBit.bit:0x12 TEST.EXPECTED:uut_prototype_stubs.gioSetBit.value:0 TEST.END -- Test Case: setValveAirTrap_Energized TEST.UNIT:Valves TEST.SUBPROGRAM:setValveAirTrap TEST.NEW TEST.NAME:setValveAirTrap_Energized TEST.VALUE:Valves.setValveAirTrap.state:STATE_OPEN TEST.VALUE:uut_prototype_stubs.gioSetBit.bit:0x2 TEST.VALUE:uut_prototype_stubs.gioSetBit.value:0 TEST.EXPECTED:uut_prototype_stubs.gioSetBit.bit:0x12 TEST.EXPECTED:uut_prototype_stubs.gioSetBit.value:1 TEST.END -- Test Case: setValveAirTrap_Ileggal_State_Requested TEST.UNIT:Valves TEST.SUBPROGRAM:setValveAirTrap TEST.NEW TEST.NAME:setValveAirTrap_Ileggal_State_Requested TEST.VALUE:Valves.setValveAirTrap.state:NUM_OF_OPN_CLS_STATES TEST.VALUE:uut_prototype_stubs.gioSetBit.bit:0x2 TEST.VALUE:uut_prototype_stubs.gioSetBit.value:1 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_S32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:4 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0 TEST.EXPECTED:uut_prototype_stubs.gioSetBit.bit:0x12 TEST.EXPECTED:uut_prototype_stubs.gioSetBit.value:0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:86 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:2 TEST.END -- Subprogram: setValveControlMode -- Test Case: setValveControlMode_NominalPath TEST.UNIT:Valves TEST.SUBPROGRAM:setValveControlMode TEST.NEW TEST.NAME:setValveControlMode_NominalPath TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1480 TEST.VALUE:Valves.setValveControlMode.mode:VALVE_CONTORL_MODE_ENABLE_BYPASS >>> >>> Value for 'Enumeral' out of range >>> >>> Read "VALVE_CONTORL_MODE_ENABLE_BYPASS" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesControlSetBits:0x1234 TEST.VALUE:Valves.setValveControlMode.valve:VDI TEST.VALUE:uut_prototype_stubs.setFPGAValvesControlMode.bits:532 TEST.EXPECTED:uut_prototype_stubs.setFPGAValvesControlMode.bits:532 TEST.END -- Subprogram: setValveNextStep -- Test Case: setValveNextStep.001 TEST.UNIT:Valves TEST.SUBPROGRAM:setValveNextStep TEST.NEW TEST.NAME:setValveNextStep.001 TEST.MCDC_BASIS_PATH:2 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (abs(currentPosition - commandedPosition) <= stepChange) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Valves.setFPGAValveSetPoint TEST.STUB:Valves.getValvePositionCounts TEST.VALUE:Valves.setFPGAValveSetPoint.valve:VDI TEST.VALUE:Valves.setFPGAValveSetPoint.position:0 TEST.VALUE:Valves.setFPGAValveSetPoint.enableCurrentRelaxation:0 TEST.VALUE:Valves.setValveNextStep.valve:<> TEST.VALUE:Valves.setValveNextStep.stepChange:<> TEST.EXPECTED:Valves.setFPGAValveSetPoint.valve:VDI TEST.EXPECTED:Valves.setFPGAValveSetPoint.position:0 TEST.EXPECTED:Valves.setFPGAValveSetPoint.enableCurrentRelaxation:0 TEST.END -- Test Case: setValveNextStep_<=_Max_Steps_Curr_Pos_A_Cmd_Pos_B TEST.UNIT:Valves TEST.SUBPROGRAM:setValveNextStep TEST.NEW TEST.NAME:setValveNextStep_<=_Max_Steps_Curr_Pos_A_Cmd_Pos_B TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1493 TEST.VALUE:Valves.<>.valvesStatus[VDO].currentPositionInCounts:7000 >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDO].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDO].currentPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.<>.valvesStatus[VDO].targetPositionInCounts:2000 TEST.VALUE:Valves.<>.valvesStatus[VDO].positions[VALVE_POSITION_A_INSERT_EJECT]:6000 TEST.VALUE:Valves.<>.valvesStatus[VDO].positions[VALVE_POSITION_B_OPEN]:12000 TEST.VALUE:Valves.setValveNextStep.valve:VDO TEST.VALUE:Valves.setValveNextStep.stepChange:15000 TEST.EXPECTED:Valves.<>.valvesStatus[VDO].targetPositionInCounts:12000 TEST.END -- Test Case: setValveNextStep_<=_Max_Steps_Curr_Pos_A_Cmd_Pos_C TEST.UNIT:Valves TEST.SUBPROGRAM:setValveNextStep TEST.NEW TEST.NAME:setValveNextStep_<=_Max_Steps_Curr_Pos_A_Cmd_Pos_C TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1509 TEST.VALUE:Valves.<>.valvesStatus[VDO].currentPositionInCounts:7000 >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDO].commandedPosition:VALVE_POSITION_C_CLOSE TEST.VALUE:Valves.<>.valvesStatus[VDO].currentPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.<>.valvesStatus[VDO].targetPositionInCounts:2000 TEST.VALUE:Valves.<>.valvesStatus[VDO].positions[VALVE_POSITION_A_INSERT_EJECT]:6000 TEST.VALUE:Valves.<>.valvesStatus[VDO].positions[VALVE_POSITION_B_OPEN]:12000 TEST.VALUE:Valves.<>.valvesStatus[VDO].positions[VALVE_POSITION_C_CLOSE]:-1000 TEST.VALUE:Valves.setValveNextStep.valve:VDO TEST.VALUE:Valves.setValveNextStep.stepChange:15000 TEST.EXPECTED:Valves.<>.valvesStatus[VDO].targetPositionInCounts:-1000 TEST.END -- Test Case: setValveNextStep_<=_Max_Steps_Curr_Pos_B TEST.UNIT:Valves TEST.SUBPROGRAM:setValveNextStep TEST.NEW TEST.NAME:setValveNextStep_<=_Max_Steps_Curr_Pos_B TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1526 TEST.VALUE:Valves.<>.valvesStatus[VDO].currentPositionInCounts:9000 >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.STUB:Valves.setFPGAValveSetPoint TEST.STUB:Valves.getValvePositionCounts TEST.VALUE:Valves.<>.valvesStatus[VDO].commandedPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.<>.valvesStatus[VDO].currentPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDO].targetPositionInCounts:2000 TEST.VALUE:Valves.<>.valvesStatus[VDO].positions[VALVE_POSITION_A_INSERT_EJECT]:6000 TEST.VALUE:Valves.setFPGAValveSetPoint.valve:VDO TEST.VALUE:Valves.setFPGAValveSetPoint.position:-5800 TEST.VALUE:Valves.setFPGAValveSetPoint.enableCurrentRelaxation:0 TEST.VALUE:Valves.setValveNextStep.valve:VDO TEST.VALUE:Valves.setValveNextStep.stepChange:15000 TEST.VALUE:Valves.getValvePositionCounts.valve:VDO TEST.VALUE:Valves.getValvePositionCounts.return:100 TEST.EXPECTED:Valves.setFPGAValveSetPoint.valve:VDO TEST.EXPECTED:Valves.setFPGAValveSetPoint.position:-5800 TEST.EXPECTED:Valves.setFPGAValveSetPoint.enableCurrentRelaxation:0 TEST.EXPECTED:Valves.getValvePositionCounts.valve:VDO TEST.END -- Test Case: setValveNextStep_<=_Max_Steps_Curr_Pos_C TEST.UNIT:Valves TEST.SUBPROGRAM:setValveNextStep TEST.NEW TEST.NAME:setValveNextStep_<=_Max_Steps_Curr_Pos_C TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1541 TEST.VALUE:Valves.<>.valvesStatus[VDO].currentPositionInCounts:-1500 >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Valves.<>.valvesStatus[VDO].commandedPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.<>.valvesStatus[VDO].currentPosition:VALVE_POSITION_C_CLOSE TEST.VALUE:Valves.<>.valvesStatus[VDO].targetPositionInCounts:2000 TEST.VALUE:Valves.<>.valvesStatus[VDO].positions[VALVE_POSITION_A_INSERT_EJECT]:6000 TEST.VALUE:Valves.setValveNextStep.valve:VDO TEST.VALUE:Valves.setValveNextStep.stepChange:15000 TEST.EXPECTED:Valves.<>.valvesStatus[VDO].targetPositionInCounts:6000 TEST.END -- Test Case: setValveNextStep_>_Max_Steps_Curr_Pos_C_Cmd_Pos_B TEST.UNIT:Valves TEST.SUBPROGRAM:setValveNextStep TEST.NEW TEST.NAME:setValveNextStep_>_Max_Steps_Curr_Pos_C_Cmd_Pos_B TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1556 TEST.VALUE:Valves.<>.valvesStatus[VDO].currentPositionInCounts:-1000 >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.STUB:Valves.setFPGAValveSetPoint TEST.VALUE:Valves.<>.valvesStatus[VDO].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDO].currentPosition:VALVE_POSITION_C_CLOSE TEST.VALUE:Valves.<>.valvesStatus[VDO].targetPositionInCounts:2000 TEST.VALUE:Valves.<>.valvesStatus[VDO].positions[VALVE_POSITION_B_OPEN]:18000 TEST.VALUE:Valves.<>.valvesStatus[VDO].positions[VALVE_POSITION_C_CLOSE]:-1000 TEST.VALUE:Valves.setFPGAValveSetPoint.valve:VDO TEST.VALUE:Valves.setFPGAValveSetPoint.position:15000 TEST.VALUE:Valves.setFPGAValveSetPoint.enableCurrentRelaxation:0 TEST.VALUE:Valves.setValveNextStep.valve:VDO TEST.VALUE:Valves.setValveNextStep.stepChange:15000 TEST.EXPECTED:Valves.setFPGAValveSetPoint.valve:VDO TEST.EXPECTED:Valves.setFPGAValveSetPoint.position:15000 TEST.EXPECTED:Valves.setFPGAValveSetPoint.enableCurrentRelaxation:0 TEST.END -- Test Case: setValveNextStep_>_Max_Steps_Curr_Pos_Default TEST.UNIT:Valves TEST.SUBPROGRAM:setValveNextStep TEST.NEW TEST.NAME:setValveNextStep_>_Max_Steps_Curr_Pos_Default TEST.VALUE:Valves.<>.valvesStatus[VDO].currentPosition:NUM_OF_VALVE_POSITIONS TEST.VALUE:Valves.setValveNextStep.valve:VDO TEST.VALUE:Valves.setValveNextStep.stepChange:15000 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:2 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_BOOL TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:8 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:88 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:1 TEST.END -- Subprogram: setValvePosition -- Test Case: setValvePosition_Position_Not_Valid TEST.UNIT:Valves TEST.SUBPROGRAM:setValvePosition TEST.NEW TEST.NAME:setValvePosition_Position_Not_Valid TEST.VALUE:Valves.<>.valvesStatus[VDO].commandedPosition:VALVE_POSITION_NOT_IN_POSITION TEST.VALUE:Valves.<>.valvesStatus[VDO].hasTransitionBeenRequested:0 TEST.VALUE:Valves.setValvePosition.valve:VDO TEST.VALUE:Valves.setValvePosition.position:VALVE_POSITION_NOT_IN_POSITION TEST.VALUE:Valves.setValvePosition.return:1 TEST.EXPECTED:Valves.<>.valvesStatus[VDO].commandedPosition:VALVE_POSITION_NOT_IN_POSITION TEST.EXPECTED:Valves.<>.valvesStatus[VDO].hasTransitionBeenRequested:0 TEST.EXPECTED:Valves.setValvePosition.return:0 TEST.END -- Test Case: setValvePosition_Position_Valid TEST.UNIT:Valves TEST.SUBPROGRAM:setValvePosition TEST.NEW TEST.NAME:setValvePosition_Position_Valid TEST.VALUE:Valves.<>.valvesStatus[VDO].commandedPosition:VALVE_POSITION_NOT_IN_POSITION TEST.VALUE:Valves.<>.valvesStatus[VDO].hasTransitionBeenRequested:0 TEST.VALUE:Valves.setValvePosition.valve:VDO TEST.VALUE:Valves.setValvePosition.position:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.setValvePosition.return:0 TEST.EXPECTED:Valves.<>.valvesStatus[VDO].hasTransitionBeenRequested:1 TEST.EXPECTED:Valves.setValvePosition.return:1 TEST.END -- Test Case: setValvePosition_Position_Valid_Valve_Not_Valid TEST.UNIT:Valves TEST.SUBPROGRAM:setValvePosition TEST.NEW TEST.NAME:setValvePosition_Position_Valid_Valve_Not_Valid TEST.VALUE:Valves.setValvePosition.valve:NUM_OF_VALVES TEST.VALUE:Valves.setValvePosition.position:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.setValvePosition.return:1 TEST.EXPECTED:Valves.setValvePosition.return:0 TEST.END -- Subprogram: testResetValvePWMOverride -- Test Case: testResetValvePWMOverride.001 TEST.UNIT:Valves TEST.SUBPROGRAM:testResetValvePWMOverride TEST.NEW TEST.NAME:testResetValvePWMOverride.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.testResetValvePWMOverride.valve:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:Valves.testResetValvePWMOverride.valve:4294967295 TEST.END -- Test Case: testResetValvePWMOverride.002 TEST.UNIT:Valves TEST.SUBPROGRAM:testResetValvePWMOverride TEST.NEW TEST.NAME:testResetValvePWMOverride.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.testResetValvePWMOverride.valve:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Valves.testResetValvePWMOverride.valve:0 TEST.END -- Test Case: testResetValvePWMOverride.003 TEST.UNIT:Valves TEST.SUBPROGRAM:testResetValvePWMOverride TEST.NEW TEST.NAME:testResetValvePWMOverride.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.testResetValvePWMOverride.valve:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Valves.testResetValvePWMOverride.valve:<> TEST.END -- Subprogram: testResetValvesCurrentOverride -- Test Case: testResetValvesCurrentOverride.001 TEST.UNIT:Valves TEST.SUBPROGRAM:testResetValvesCurrentOverride TEST.NEW TEST.NAME:testResetValvesCurrentOverride.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.testResetValvesCurrentOverride.valve:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:Valves.testResetValvesCurrentOverride.valve:4294967295 TEST.END -- Test Case: testResetValvesCurrentOverride.002 TEST.UNIT:Valves TEST.SUBPROGRAM:testResetValvesCurrentOverride TEST.NEW TEST.NAME:testResetValvesCurrentOverride.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.testResetValvesCurrentOverride.valve:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Valves.testResetValvesCurrentOverride.valve:0 TEST.END -- Test Case: testResetValvesCurrentOverride.003 TEST.UNIT:Valves TEST.SUBPROGRAM:testResetValvesCurrentOverride TEST.NEW TEST.NAME:testResetValvesCurrentOverride.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.testResetValvesCurrentOverride.valve:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Valves.testResetValvesCurrentOverride.valve:<> TEST.END -- Subprogram: testResetValvesDataPublishInterval -- Test Case: testResetValvesDataPublishInterval_Log_Activated TEST.UNIT:Valves TEST.SUBPROGRAM:testResetValvesDataPublishInterval TEST.NEW TEST.NAME:testResetValvesDataPublishInterval_Log_Activated TEST.VALUE:Valves.<>.valvesDataPublishInterval.ovInitData:150 TEST.VALUE:Valves.<>.valvesDataPublishInterval.ovData:15 TEST.VALUE:Valves.<>.valvesDataPublishInterval.override:12 TEST.VALUE:Valves.testResetValvesDataPublishInterval.return:0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Valves.<>.valvesDataPublishInterval.ovData:150 TEST.EXPECTED:Valves.<>.valvesDataPublishInterval.override:0x0 TEST.EXPECTED:Valves.testResetValvesDataPublishInterval.return:1 TEST.END -- Test Case: testResetValvesDataPublishInterval_Log_Not_Activated TEST.UNIT:Valves TEST.SUBPROGRAM:testResetValvesDataPublishInterval TEST.NEW TEST.NAME:testResetValvesDataPublishInterval_Log_Not_Activated TEST.VALUE:Valves.<>.valvesDataPublishInterval.ovInitData:150 TEST.VALUE:Valves.<>.valvesDataPublishInterval.ovData:15 TEST.VALUE:Valves.<>.valvesDataPublishInterval.override:12 TEST.VALUE:Valves.testResetValvesDataPublishInterval.return:1 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:Valves.<>.valvesDataPublishInterval.ovData:15 TEST.EXPECTED:Valves.<>.valvesDataPublishInterval.override:12 TEST.EXPECTED:Valves.testResetValvesDataPublishInterval.return:0 TEST.END -- Subprogram: testResetValvesPositionCountOverride -- Test Case: testResetValvesPositionCountOverride.001 TEST.UNIT:Valves TEST.SUBPROGRAM:testResetValvesPositionCountOverride TEST.NEW TEST.NAME:testResetValvesPositionCountOverride.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.testResetValvesPositionCountOverride.valve:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:Valves.testResetValvesPositionCountOverride.valve:4294967295 TEST.END -- Test Case: testResetValvesPositionCountOverride.002 TEST.UNIT:Valves TEST.SUBPROGRAM:testResetValvesPositionCountOverride TEST.NEW TEST.NAME:testResetValvesPositionCountOverride.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.testResetValvesPositionCountOverride.valve:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Valves.testResetValvesPositionCountOverride.valve:0 TEST.END -- Test Case: testResetValvesPositionCountOverride.003 TEST.UNIT:Valves TEST.SUBPROGRAM:testResetValvesPositionCountOverride TEST.NEW TEST.NAME:testResetValvesPositionCountOverride.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.testResetValvesPositionCountOverride.valve:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Valves.testResetValvesPositionCountOverride.valve:<> TEST.END -- Subprogram: testResetValvesPositionOverride -- Test Case: testResetValvesPositionOverride_Log_Activated_Valve_Invalid TEST.UNIT:Valves TEST.SUBPROGRAM:testResetValvesPositionOverride TEST.NEW TEST.NAME:testResetValvesPositionOverride_Log_Activated_Valve_Invalid TEST.VALUE:Valves.<>.valvesPositionOverride[VDI].ovInitData:158 TEST.VALUE:Valves.<>.valvesPositionOverride[VDI].ovData:15 TEST.VALUE:Valves.<>.valvesPositionOverride[VDI].override:1 TEST.VALUE:Valves.testResetValvesPositionOverride.valve:8 TEST.VALUE:Valves.testResetValvesPositionOverride.return:1 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Valves.<>.valvesPositionOverride[VDI].ovData:15 TEST.EXPECTED:Valves.<>.valvesPositionOverride[VDI].override:0x1 TEST.EXPECTED:Valves.testResetValvesPositionOverride.return:0 TEST.END -- Test Case: testResetValvesPositionOverride_Log_Activated_Valve_Valid TEST.UNIT:Valves TEST.SUBPROGRAM:testResetValvesPositionOverride TEST.NEW TEST.NAME:testResetValvesPositionOverride_Log_Activated_Valve_Valid TEST.VALUE:Valves.<>.valvesPositionOverride[VDI].ovInitData:158 TEST.VALUE:Valves.<>.valvesPositionOverride[VDI].ovData:15 TEST.VALUE:Valves.<>.valvesPositionOverride[VDI].override:1 TEST.VALUE:Valves.testResetValvesPositionOverride.valve:0 TEST.VALUE:Valves.testResetValvesPositionOverride.return:0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Valves.<>.valvesPositionOverride[VDI].ovData:158 TEST.EXPECTED:Valves.<>.valvesPositionOverride[VDI].override:0x0 TEST.EXPECTED:Valves.testResetValvesPositionOverride.return:1 TEST.END -- Test Case: testResetValvesPositionOverride_Log_Not_Activated_Valve_Valid TEST.UNIT:Valves TEST.SUBPROGRAM:testResetValvesPositionOverride TEST.NEW TEST.NAME:testResetValvesPositionOverride_Log_Not_Activated_Valve_Valid TEST.VALUE:Valves.<>.valvesPositionOverride[VDI].ovInitData:158 TEST.VALUE:Valves.<>.valvesPositionOverride[VDI].ovData:15 TEST.VALUE:Valves.<>.valvesPositionOverride[VDI].override:1 TEST.VALUE:Valves.testResetValvesPositionOverride.valve:0 TEST.VALUE:Valves.testResetValvesPositionOverride.return:1 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:Valves.<>.valvesPositionOverride[VDI].ovData:15 TEST.EXPECTED:Valves.<>.valvesPositionOverride[VDI].override:0x1 TEST.EXPECTED:Valves.testResetValvesPositionOverride.return:0 TEST.END -- Subprogram: testSetValvePWMOverride -- Test Case: testSetValvePWMOverride.001 TEST.UNIT:Valves TEST.SUBPROGRAM:testSetValvePWMOverride TEST.NEW TEST.NAME:testSetValvePWMOverride.001 TEST.BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.testSetValvePWMOverride.valve:<> TEST.VALUE:Valves.testSetValvePWMOverride.pwm:<> TEST.VALUE:Valves.testSetValvePWMOverride.direction:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:Valves.testSetValvePWMOverride.valve:4294967295 TEST.EXPECTED:Valves.testSetValvePWMOverride.pwm:0 TEST.EXPECTED:Valves.testSetValvePWMOverride.direction:0 TEST.END -- Test Case: testSetValvePWMOverride.002 TEST.UNIT:Valves TEST.SUBPROGRAM:testSetValvePWMOverride TEST.NEW TEST.NAME:testSetValvePWMOverride.002 TEST.BASIS_PATH:2 of 3 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> TRUE (2) if ((pwm <= 100U && direction < (NUM_OF_VALVE_DIRECTION)) && (1) == homingStatus) ==> FALSE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( Valves.testSetValvePWMOverride.valve ) in branches 1/2 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:<> TEST.VALUE:Valves.testSetValvePWMOverride.valve:<> TEST.VALUE:Valves.testSetValvePWMOverride.pwm:<> TEST.VALUE:Valves.testSetValvePWMOverride.direction:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:0 TEST.EXPECTED:Valves.testSetValvePWMOverride.valve:0 TEST.EXPECTED:Valves.testSetValvePWMOverride.pwm:4294967295 TEST.EXPECTED:Valves.testSetValvePWMOverride.direction:4294967295 TEST.END -- Test Case: testSetValvePWMOverride.003 TEST.UNIT:Valves TEST.SUBPROGRAM:testSetValvePWMOverride TEST.NEW TEST.NAME:testSetValvePWMOverride.003 TEST.BASIS_PATH:3 of 3 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> TRUE (2) if ((pwm <= 100U && direction < (NUM_OF_VALVE_DIRECTION)) && (1) == homingStatus) ==> TRUE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( Valves.testSetValvePWMOverride.valve ) in branches 1/2 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.VALUE:Valves.testSetValvePWMOverride.valve:<> TEST.VALUE:Valves.testSetValvePWMOverride.pwm:<> TEST.VALUE:Valves.testSetValvePWMOverride.direction:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.EXPECTED:Valves.testSetValvePWMOverride.valve:0 TEST.EXPECTED:Valves.testSetValvePWMOverride.pwm:0 TEST.EXPECTED:Valves.testSetValvePWMOverride.direction:0 TEST.END -- Test Case: testSetValvePWMOverride.004 TEST.UNIT:Valves TEST.SUBPROGRAM:testSetValvePWMOverride TEST.NEW TEST.NAME:testSetValvePWMOverride.004 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> TRUE (2) if ((pwm <= 100U && direction < (NUM_OF_VALVE_DIRECTION)) && (1) == homingStatus) ==> FALSE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( Valves.testSetValvePWMOverride.valve ) in branches 1/2 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:<> TEST.VALUE:Valves.testSetValvePWMOverride.valve:<> TEST.VALUE:Valves.testSetValvePWMOverride.pwm:<> TEST.VALUE:Valves.testSetValvePWMOverride.direction:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:0 TEST.EXPECTED:Valves.testSetValvePWMOverride.valve:<> TEST.EXPECTED:Valves.testSetValvePWMOverride.pwm:4294967295 TEST.EXPECTED:Valves.testSetValvePWMOverride.direction:4294967295 TEST.END -- Test Case: testSetValvePWMOverride.005 TEST.UNIT:Valves TEST.SUBPROGRAM:testSetValvePWMOverride TEST.NEW TEST.NAME:testSetValvePWMOverride.005 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> TRUE (2) if ((pwm <= 100U && direction < (NUM_OF_VALVE_DIRECTION)) && (1) == homingStatus) ==> TRUE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( Valves.testSetValvePWMOverride.valve ) in branches 1/2 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.VALUE:Valves.testSetValvePWMOverride.valve:<> TEST.VALUE:Valves.testSetValvePWMOverride.pwm:<> TEST.VALUE:Valves.testSetValvePWMOverride.direction:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.EXPECTED:Valves.testSetValvePWMOverride.valve:0 TEST.EXPECTED:Valves.testSetValvePWMOverride.pwm:0 TEST.EXPECTED:Valves.testSetValvePWMOverride.direction:<> TEST.END -- Test Case: testSetValvePWMOverride.006 TEST.UNIT:Valves TEST.SUBPROGRAM:testSetValvePWMOverride TEST.NEW TEST.NAME:testSetValvePWMOverride.006 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> TRUE (2) if ((pwm <= 100U && direction < (NUM_OF_VALVE_DIRECTION)) && (1) == homingStatus) ==> TRUE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( Valves.testSetValvePWMOverride.valve ) in branches 1/2 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:0 TEST.VALUE:Valves.testSetValvePWMOverride.valve:<> TEST.VALUE:Valves.testSetValvePWMOverride.pwm:<> TEST.VALUE:Valves.testSetValvePWMOverride.direction:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:0 TEST.EXPECTED:Valves.testSetValvePWMOverride.valve:0 TEST.EXPECTED:Valves.testSetValvePWMOverride.pwm:0 TEST.EXPECTED:Valves.testSetValvePWMOverride.direction:0 TEST.END -- Subprogram: testSetValvesCurrentOverride -- Test Case: testSetValvesCurrentOverride.001 TEST.UNIT:Valves TEST.SUBPROGRAM:testSetValvesCurrentOverride TEST.NEW TEST.NAME:testSetValvesCurrentOverride.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.testSetValvesCurrentOverride.valve:<> TEST.VALUE:Valves.testSetValvesCurrentOverride.current:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:Valves.testSetValvesCurrentOverride.valve:4294967295 TEST.EXPECTED:Valves.testSetValvesCurrentOverride.current:-3.40282E+38 TEST.END -- Test Case: testSetValvesCurrentOverride.002 TEST.UNIT:Valves TEST.SUBPROGRAM:testSetValvesCurrentOverride TEST.NEW TEST.NAME:testSetValvesCurrentOverride.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.testSetValvesCurrentOverride.valve:<> TEST.VALUE:Valves.testSetValvesCurrentOverride.current:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Valves.testSetValvesCurrentOverride.valve:0 TEST.EXPECTED:Valves.testSetValvesCurrentOverride.current:-3.40282E+38 TEST.END -- Test Case: testSetValvesCurrentOverride.003 TEST.UNIT:Valves TEST.SUBPROGRAM:testSetValvesCurrentOverride TEST.NEW TEST.NAME:testSetValvesCurrentOverride.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.testSetValvesCurrentOverride.valve:<> TEST.VALUE:Valves.testSetValvesCurrentOverride.current:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Valves.testSetValvesCurrentOverride.valve:<> TEST.EXPECTED:Valves.testSetValvesCurrentOverride.current:-3.40282E+38 TEST.END -- Subprogram: testSetValvesDataPublishInterval -- Test Case: testSetValvesDataPublishInterval_Log_Activated TEST.UNIT:Valves TEST.SUBPROGRAM:testSetValvesDataPublishInterval TEST.NEW TEST.NAME:testSetValvesDataPublishInterval_Log_Activated TEST.VALUE:Valves.<>.valvesDataPublishInterval.ovData:150 TEST.VALUE:Valves.<>.valvesDataPublishInterval.override:12 TEST.VALUE:Valves.testSetValvesDataPublishInterval.value:100 TEST.VALUE:Valves.testSetValvesDataPublishInterval.return:0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Valves.<>.valvesDataPublishInterval.ovData:10 TEST.EXPECTED:Valves.<>.valvesDataPublishInterval.override:0xCCC33C33 TEST.EXPECTED:Valves.testSetValvesDataPublishInterval.return:1 TEST.ATTRIBUTES:Valves.<>.valvesPositionOverride[0].override:EXPECTED_BASE=16 TEST.END -- Test Case: testSetValvesDataPublishInterval_Log_Not_Activated TEST.UNIT:Valves TEST.SUBPROGRAM:testSetValvesDataPublishInterval TEST.NEW TEST.NAME:testSetValvesDataPublishInterval_Log_Not_Activated TEST.VALUE:Valves.<>.valvesDataPublishInterval.ovData:150 TEST.VALUE:Valves.<>.valvesDataPublishInterval.override:12 TEST.VALUE:Valves.testSetValvesDataPublishInterval.value:100 TEST.VALUE:Valves.testSetValvesDataPublishInterval.return:1 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:Valves.<>.valvesDataPublishInterval.ovData:150 TEST.EXPECTED:Valves.<>.valvesDataPublishInterval.override:12 TEST.EXPECTED:Valves.testSetValvesDataPublishInterval.return:0 TEST.ATTRIBUTES:Valves.<>.valvesPositionOverride[0].override:EXPECTED_BASE=16 TEST.END -- Subprogram: testSetValvesPositionCountOverride -- Test Case: testSetValvesPositionCountOverride.001 TEST.UNIT:Valves TEST.SUBPROGRAM:testSetValvesPositionCountOverride TEST.NEW TEST.NAME:testSetValvesPositionCountOverride.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.testSetValvesPositionCountOverride.valve:<> TEST.VALUE:Valves.testSetValvesPositionCountOverride.count:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:Valves.testSetValvesPositionCountOverride.valve:4294967295 TEST.EXPECTED:Valves.testSetValvesPositionCountOverride.count:0 TEST.END -- Test Case: testSetValvesPositionCountOverride.002 TEST.UNIT:Valves TEST.SUBPROGRAM:testSetValvesPositionCountOverride TEST.NEW TEST.NAME:testSetValvesPositionCountOverride.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.testSetValvesPositionCountOverride.valve:<> TEST.VALUE:Valves.testSetValvesPositionCountOverride.count:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Valves.testSetValvesPositionCountOverride.valve:0 TEST.EXPECTED:Valves.testSetValvesPositionCountOverride.count:0 TEST.END -- Test Case: testSetValvesPositionCountOverride.003 TEST.UNIT:Valves TEST.SUBPROGRAM:testSetValvesPositionCountOverride TEST.NEW TEST.NAME:testSetValvesPositionCountOverride.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.testSetValvesPositionCountOverride.valve:<> TEST.VALUE:Valves.testSetValvesPositionCountOverride.count:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Valves.testSetValvesPositionCountOverride.valve:<> TEST.EXPECTED:Valves.testSetValvesPositionCountOverride.count:0 TEST.END -- Subprogram: testSetValvesPositionOverride -- Test Case: testSetValvesPositionOverride_Log_Activated_Invalid_Valve TEST.UNIT:Valves TEST.SUBPROGRAM:testSetValvesPositionOverride TEST.NEW TEST.NAME:testSetValvesPositionOverride_Log_Activated_Invalid_Valve TEST.VALUE:Valves.<>.valvesPositionOverride[VDI].ovData:5 TEST.VALUE:Valves.<>.valvesPositionOverride[VDI].override:12 TEST.VALUE:Valves.testSetValvesPositionOverride.valve:9 TEST.VALUE:Valves.testSetValvesPositionOverride.position:1258 TEST.VALUE:Valves.testSetValvesPositionOverride.return:1 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Valves.<>.valvesPositionOverride[VDI].ovData:5 TEST.EXPECTED:Valves.<>.valvesPositionOverride[VDI].override:12 TEST.EXPECTED:Valves.testSetValvesPositionOverride.return:0 TEST.END -- Test Case: testSetValvesPositionOverride_Log_Activated_Valid_Valve TEST.UNIT:Valves TEST.SUBPROGRAM:testSetValvesPositionOverride TEST.NEW TEST.NAME:testSetValvesPositionOverride_Log_Activated_Valid_Valve TEST.VALUE:Valves.<>.valvesPositionOverride[VDI].ovData:5 TEST.VALUE:Valves.<>.valvesPositionOverride[VDI].override:12 TEST.VALUE:Valves.testSetValvesPositionOverride.valve:0 TEST.VALUE:Valves.testSetValvesPositionOverride.position:1258 TEST.VALUE:Valves.testSetValvesPositionOverride.return:0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Valves.<>.valvesPositionOverride[VDI].ovData:1258 TEST.EXPECTED:Valves.<>.valvesPositionOverride[VDI].override:0xCCC33C33 TEST.EXPECTED:Valves.testSetValvesPositionOverride.return:1 TEST.END -- Test Case: testSetValvesPositionOverride_Log_Not_Activated_Valve TEST.UNIT:Valves TEST.SUBPROGRAM:testSetValvesPositionOverride TEST.NEW TEST.NAME:testSetValvesPositionOverride_Log_Not_Activated_Valve TEST.VALUE:Valves.<>.valvesPositionOverride[VDI].ovData:5 TEST.VALUE:Valves.<>.valvesPositionOverride[VDI].override:12 TEST.VALUE:Valves.testSetValvesPositionOverride.valve:2 TEST.VALUE:Valves.testSetValvesPositionOverride.position:1258 TEST.VALUE:Valves.testSetValvesPositionOverride.return:1 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:Valves.<>.valvesPositionOverride[VDI].ovData:5 TEST.EXPECTED:Valves.<>.valvesPositionOverride[VDI].override:12 TEST.EXPECTED:Valves.testSetValvesPositionOverride.return:0 TEST.END