-- 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: COND_1_ROW_1_PAIR_a_T-TEMPLATE TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE TEST.MCDC_BASIS_PATH:2 of 16 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.END -- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE TEST.MCDC_BASIS_PATH:1 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) for (valve < (NUM_OF_VALVES)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:4 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if (mode == (VALVE_CONTROL_MODE_ENABLE_PID)) ==> 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.VALUE:Valves.<>.valvesStatus[VDI].controlMode:VALVE_CONTROL_MODE_ENABLE_PID TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL 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.END -- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:13 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if (mode == (VALVE_CONTROL_MODE_ENABLE_PID)) ==> TRUE (3) if (!(status & VALVE_CONTROL_STATUS_BITS[valve][VALVE_CONTROL_STATUS_INITIALIZED])) ==> FALSE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set const variable TEST.VALUE:Valves.<>.VALVE_CONTROL_STATUS_BITS[0][0]: in branch 3 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].controlMode:VALVE_CONTROL_MODE_ENABLE_PID TEST.VALUE:uut_prototype_stubs.getFPGAValvesStatus.return:1 TEST.END -- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:14 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 14 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if (mode == (VALVE_CONTROL_MODE_ENABLE_PID)) ==> TRUE (3) if (!(status & VALVE_CONTROL_STATUS_BITS[valve][VALVE_CONTROL_STATUS_INITIALIZED])) ==> TRUE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set const variable TEST.VALUE:Valves.<>.VALVE_CONTROL_STATUS_BITS[0][0]: in branch 3 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].controlMode:VALVE_CONTROL_MODE_ENABLE_PID TEST.VALUE:uut_prototype_stubs.getFPGAValvesStatus.return:0 TEST.END -- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:15 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 15 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if (mode == (VALVE_CONTROL_MODE_ENABLE_PID)) ==> TRUE (3) if (!(status & VALVE_CONTROL_STATUS_BITS[valve][VALVE_CONTROL_STATUS_INITIALIZED])) ==> FALSE (4) if (!(status & VALVE_CONTROL_STATUS_BITS[valve][VALVE_CONTROL_STATUS_PID_ENABLED])) ==> FALSE Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set const variable TEST.VALUE:Valves.<>.VALVE_CONTROL_STATUS_BITS[0][1]: in branch 4 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set valve due to assignment Cannot set const variable TEST.VALUE:Valves.<>.VALVE_CONTROL_STATUS_BITS[0][0]: in branch 3 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].controlMode:VALVE_CONTROL_MODE_ENABLE_PID TEST.VALUE:uut_prototype_stubs.getFPGAValvesStatus.return:1 TEST.END -- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:16 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 16 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if (mode == (VALVE_CONTROL_MODE_ENABLE_PID)) ==> TRUE (3) if (!(status & VALVE_CONTROL_STATUS_BITS[valve][VALVE_CONTROL_STATUS_INITIALIZED])) ==> FALSE (4) if (!(status & VALVE_CONTROL_STATUS_BITS[valve][VALVE_CONTROL_STATUS_PID_ENABLED])) ==> TRUE Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set const variable TEST.VALUE:Valves.<>.VALVE_CONTROL_STATUS_BITS[0][1]: in branch 4 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set valve due to assignment Cannot set const variable TEST.VALUE:Valves.<>.VALVE_CONTROL_STATUS_BITS[0][0]: in branch 3 Conflict: Multiple equality operators with different values (uut_prototype_stubs.getFPGAValvesStatus.return) in branches 3/4 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].controlMode:VALVE_CONTROL_MODE_ENABLE_PID TEST.VALUE:uut_prototype_stubs.getFPGAValvesStatus.return:0 TEST.END -- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:COND_5_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:6 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if (mode == (VALVE_CONTROL_MODE_ENABLE_PID)) ==> FALSE (5) if (mode == (VALVE_CONTROL_MODE_ENABLE_BYPASS)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #5, 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].controlMode:VALVE_CONTROL_MODE_ENABLE_BYPASS TEST.END -- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:COND_5_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:5 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if (mode == (VALVE_CONTROL_MODE_ENABLE_PID)) ==> FALSE (5) if (mode == (VALVE_CONTROL_MODE_ENABLE_BYPASS)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a". Condition a ==> FALSE 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].controlMode:VALVE_CONTROL_MODE_DISABLE_ALL TEST.END -- Test Case: COND_6_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:COND_6_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:11 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if (mode == (VALVE_CONTROL_MODE_ENABLE_PID)) ==> FALSE (5) if (mode == (VALVE_CONTROL_MODE_ENABLE_BYPASS)) ==> TRUE (6) if (!(status & VALVE_CONTROL_STATUS_BITS[valve][VALVE_CONTROL_STATUS_BYPASS_ENABLED])) ==> FALSE Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set const variable TEST.VALUE:Valves.<>.VALVE_CONTROL_STATUS_BITS[0][2]: in branch 6 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].controlMode:VALVE_CONTROL_MODE_ENABLE_BYPASS TEST.VALUE:uut_prototype_stubs.getFPGAValvesStatus.return:1 TEST.END -- Test Case: COND_6_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:COND_6_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:12 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if (mode == (VALVE_CONTROL_MODE_ENABLE_PID)) ==> FALSE (5) if (mode == (VALVE_CONTROL_MODE_ENABLE_BYPASS)) ==> TRUE (6) if (!(status & VALVE_CONTROL_STATUS_BITS[valve][VALVE_CONTROL_STATUS_BYPASS_ENABLED])) ==> TRUE Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set const variable TEST.VALUE:Valves.<>.VALVE_CONTROL_STATUS_BITS[0][2]: in branch 6 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].controlMode:VALVE_CONTROL_MODE_ENABLE_BYPASS TEST.VALUE:uut_prototype_stubs.getFPGAValvesStatus.return:0 TEST.END -- Test Case: COND_7_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:COND_7_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:8 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if (mode == (VALVE_CONTROL_MODE_ENABLE_PID)) ==> FALSE (5) if (mode == (VALVE_CONTROL_MODE_ENABLE_BYPASS)) ==> FALSE (7) if (mode == (VALVE_CONTROL_MODE_DISABLE_ALL)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #7, 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].controlMode:VALVE_CONTROL_MODE_DISABLE_ALL TEST.END -- Test Case: COND_7_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:COND_7_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:7 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if (mode == (VALVE_CONTROL_MODE_ENABLE_PID)) ==> FALSE (5) if (mode == (VALVE_CONTROL_MODE_ENABLE_BYPASS)) ==> FALSE (7) if (mode == (VALVE_CONTROL_MODE_DISABLE_ALL)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #7, subcondition "a". Condition a ==> FALSE 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].controlMode:NUM_OF_VALVE_CONTROL_MODES TEST.END -- Test Case: COND_8_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:COND_8_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:9 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if (mode == (VALVE_CONTROL_MODE_ENABLE_PID)) ==> FALSE (5) if (mode == (VALVE_CONTROL_MODE_ENABLE_BYPASS)) ==> FALSE (7) if (mode == (VALVE_CONTROL_MODE_DISABLE_ALL)) ==> TRUE (8) if (!(status & ~VALVE_CONTROL_STATUS_BITS[valve][VALVE_CONTROL_STATUS_DISABLED])) ==> FALSE Row number 1 forms a pair with Row 2 for Condition #8, 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].controlMode:VALVE_CONTROL_MODE_DISABLE_ALL TEST.VALUE:uut_prototype_stubs.getFPGAValvesStatus.return:<> TEST.END -- Test Case: COND_8_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:areValvesFunctional TEST.NEW TEST.NAME:COND_8_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:10 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 10 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if (mode == (VALVE_CONTROL_MODE_ENABLE_PID)) ==> FALSE (5) if (mode == (VALVE_CONTROL_MODE_ENABLE_BYPASS)) ==> FALSE (7) if (mode == (VALVE_CONTROL_MODE_DISABLE_ALL)) ==> TRUE (8) if (!(status & ~VALVE_CONTROL_STATUS_BITS[valve][VALVE_CONTROL_STATUS_DISABLED])) ==> TRUE Row number 2 forms a pair with Row 1 for Condition #8, subcondition "a". Condition a ==> FALSE 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].controlMode:VALVE_CONTROL_MODE_DISABLE_ALL TEST.VALUE:uut_prototype_stubs.getFPGAValvesStatus.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.getFPGAValvesStatus.return:0x924 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.areValvesFunctional.return: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:87 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType: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.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:2 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.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.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.areValvesFunctional.return:1 TEST.END -- Subprogram: convertAndMonitorValvesCurrent -- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE TEST.UNIT:Valves TEST.SUBPROGRAM:convertAndMonitorValvesCurrent TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE TEST.MCDC_BASIS_PATH:2 of 9 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.END -- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE TEST.UNIT:Valves TEST.SUBPROGRAM:convertAndMonitorValvesCurrent TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE TEST.MCDC_BASIS_PATH:1 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) for (valve < (NUM_OF_VALVES)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T-TEMPLATE TEST.UNIT:Valves TEST.SUBPROGRAM:convertAndMonitorValvesCurrent TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T-TEMPLATE TEST.MCDC_BASIS_PATH:4 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if (current > (1.0)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set local variable current in branch 2 Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F-TEMPLATE TEST.UNIT:Valves TEST.SUBPROGRAM:convertAndMonitorValvesCurrent TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F-TEMPLATE TEST.MCDC_BASIS_PATH:3 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if (current > (1.0)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set local variable current in branch 2 Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.END -- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:convertAndMonitorValvesCurrent TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:6 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if (current > (1.0)) ==> FALSE (3) if ((valvesStatus[valve]).overCurrentCounter > MAX_OVER_CURRENT_TIME_INTERVAL_COUNTER) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, 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 current in branch 2 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].overCurrentCounter:<> TEST.END -- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:convertAndMonitorValvesCurrent TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:5 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if (current > (1.0)) ==> FALSE (3) if ((valvesStatus[valve]).overCurrentCounter > MAX_OVER_CURRENT_TIME_INTERVAL_COUNTER) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, 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 Cannot set local variable current in branch 2 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].overCurrentCounter:<> TEST.END -- Test Case: COND_4_ROW_1_PAIR_a_TT-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:convertAndMonitorValvesCurrent TEST.NEW TEST.NAME:COND_4_ROW_1_PAIR_a_TT-PARTIAL TEST.MCDC_BASIS_PATH:8 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if (current > (1.0)) ==> FALSE (3) if ((valvesStatus[valve]).overCurrentCounter > MAX_OVER_CURRENT_TIME_INTERVAL_COUNTER) ==> FALSE (4) if (current < (1.0) && (valvesStatus[valve]).overCurrentCounter > (0)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #4, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: Cannot set local variable current in branch 4 Cannot set valve due to assignment Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set local variable current in branch 2 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].overCurrentCounter:1 TEST.END -- Test Case: COND_4_ROW_2_PAIR_b_TF-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:convertAndMonitorValvesCurrent TEST.NEW TEST.NAME:COND_4_ROW_2_PAIR_b_TF-PARTIAL TEST.MCDC_BASIS_PATH:9 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if (current > (1.0)) ==> FALSE (3) if ((valvesStatus[valve]).overCurrentCounter > MAX_OVER_CURRENT_TIME_INTERVAL_COUNTER) ==> FALSE (4) if (current < (1.0) && (valvesStatus[valve]).overCurrentCounter > (0)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #4, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: Cannot set local variable current in branch 4 Cannot set valve due to assignment Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set local variable current in branch 2 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].overCurrentCounter:<> TEST.END -- Test Case: COND_4_ROW_3_PAIR_a_FT-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:convertAndMonitorValvesCurrent TEST.NEW TEST.NAME:COND_4_ROW_3_PAIR_a_FT-PARTIAL TEST.MCDC_BASIS_PATH:7 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if (current > (1.0)) ==> FALSE (3) if ((valvesStatus[valve]).overCurrentCounter > MAX_OVER_CURRENT_TIME_INTERVAL_COUNTER) ==> FALSE (4) if (current < (1.0) && (valvesStatus[valve]).overCurrentCounter > (0)) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #4, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: Cannot set local variable current in branch 4 Cannot set valve due to assignment Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set local variable current in branch 2 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].overCurrentCounter:1 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: 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.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.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_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.VALUE:uut_prototype_stubs.getFPGAValveDialyzerInletCurrentCounts.return:1234 TEST.END -- Subprogram: execValves -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:Valves TEST.SUBPROGRAM:execValves TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (valveSelfTestState == (VALVE_SELF_TEST_COMPLETE)) ==> 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.<>.valveSelfTestState:VALVE_SELF_TEST_COMPLETE TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:Valves TEST.SUBPROGRAM:execValves TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (valveSelfTestState == (VALVE_SELF_TEST_COMPLETE)) ==> 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.<>.valveSelfTestState:VALVE_SELF_TEST_ENABLE_VALVES TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:execValves TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (valveSelfTestState == (VALVE_SELF_TEST_COMPLETE)) ==> FALSE (2) for (valve < (NUM_OF_VALVES)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 2 TEST.END_NOTES: TEST.VALUE:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_ENABLE_VALVES TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:execValves TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (valveSelfTestState == (VALVE_SELF_TEST_COMPLETE)) ==> FALSE (2) for (valve < (NUM_OF_VALVES)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 2 TEST.END_NOTES: TEST.VALUE:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_ENABLE_VALVES TEST.END -- 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: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_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: COND_1_ROW_1_PAIR_a_T-TEMPLATE TEST.UNIT:Valves TEST.SUBPROGRAM:getAndMonitorValvesCurrentFPGAPosition TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE 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.END -- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE TEST.UNIT:Valves TEST.SUBPROGRAM:getAndMonitorValvesCurrentFPGAPosition TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE TEST.MCDC_BASIS_PATH:1 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) for (valve < (NUM_OF_VALVES)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:getAndMonitorValvesCurrentFPGAPosition TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL 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.VALUE:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_IDLE TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:getAndMonitorValvesCurrentFPGAPosition TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:3 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if ((valvesStatus[valve]).execState == (VALVE_STATE_IDLE)) ==> 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].execState:VALVE_STATE_WAIT_FOR_POST TEST.END -- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:getAndMonitorValvesCurrentFPGAPosition TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL 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.END -- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:getAndMonitorValvesCurrentFPGAPosition TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:5 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) for (valve < (NUM_OF_VALVES)) ==> TRUE (2) if ((valvesStatus[valve]).execState == (VALVE_STATE_IDLE)) ==> TRUE (3) if ((VALVE_POSITION_B_OPEN) == commandedPositionEnum) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE 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_NOT_IN_POSITION TEST.VALUE:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_IDLE TEST.END -- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:getAndMonitorValvesCurrentFPGAPosition TEST.NEW TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:8 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 8 (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) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set local variable maxDeviation in branch 4 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_NOT_IN_POSITION TEST.VALUE:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_IDLE TEST.END -- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:getAndMonitorValvesCurrentFPGAPosition TEST.NEW TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:7 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 7 (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 Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set local variable maxDeviation in branch 4 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_NOT_IN_POSITION TEST.VALUE:Valves.<>.valvesStatus[VDI].execState:VALVE_STATE_IDLE TEST.END -- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:getAndMonitorValvesCurrentFPGAPosition TEST.NEW TEST.NAME:COND_5_ROW_1_PAIR_a_T-PARTIAL 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.END -- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:getAndMonitorValvesCurrentFPGAPosition TEST.NEW TEST.NAME:COND_5_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:9 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 9 (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 Row number 2 forms a pair with Row 1 for Condition #5, 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 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.END -- Test Case: COND_6_ROW_1_PAIR_a_TT-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:getAndMonitorValvesCurrentFPGAPosition TEST.NEW TEST.NAME:COND_6_ROW_1_PAIR_a_TT-PARTIAL 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.END -- Test Case: COND_6_ROW_2_PAIR_b_TF-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:getAndMonitorValvesCurrentFPGAPosition TEST.NEW TEST.NAME:COND_6_ROW_2_PAIR_b_TF-PARTIAL TEST.MCDC_BASIS_PATH:13 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 13 (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)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #6, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE 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:<> TEST.END -- Test Case: COND_6_ROW_3_PAIR_a_FT-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:getAndMonitorValvesCurrentFPGAPosition TEST.NEW TEST.NAME:COND_6_ROW_3_PAIR_a_FT-PARTIAL TEST.MCDC_BASIS_PATH:11 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 11 (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)) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #6, subcondition "a". Condition a ==> FALSE 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.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: COND_1_ROW_1_PAIR_a_T TEST.UNIT:Valves TEST.SUBPROGRAM:getValveCurrent TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T 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.override:3435346995 TEST.VALUE:Valves.getValveCurrent.valve:VDI TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:Valves TEST.SUBPROGRAM:getValveCurrent TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F 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.override:<> TEST.VALUE:Valves.getValveCurrent.valve:VDI TEST.END -- Subprogram: getValvePosition -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:Valves TEST.SUBPROGRAM:getValvePosition TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (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: TEST.END_NOTES: TEST.VALUE:Valves.getValvePosition.valve:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:Valves TEST.SUBPROGRAM:getValvePosition TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (valve < (NUM_OF_VALVES)) ==> 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.getValvePosition.valve:<> TEST.END -- 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: COND_1_ROW_1_PAIR_a_T TEST.UNIT:Valves TEST.SUBPROGRAM:getValvePositionCounts TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T 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.override:3435346995 TEST.VALUE:Valves.getValvePositionCounts.valve:VDI TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:Valves TEST.SUBPROGRAM:getValvePositionCounts TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F 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.override:<> TEST.VALUE:Valves.getValvePositionCounts.valve:VDI TEST.END -- Subprogram: handleValveSelfTestConfirmEnable -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveSelfTestConfirmEnable TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == areValvesFunctional()) ==> 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.areValvesFunctional TEST.VALUE:Valves.areValvesFunctional.return:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveSelfTestConfirmEnable TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == areValvesFunctional()) ==> 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.STUB:Valves.areValvesFunctional TEST.VALUE:Valves.areValvesFunctional.return:<> 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_PASSED 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: COND_1_ROW_1_PAIR_a_T-TEMPLATE TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveSelfTestEnableValves TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE TEST.MCDC_BASIS_PATH:2 of 2 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.END -- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveSelfTestEnableValves TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) for (valve < (NUM_OF_VALVES)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.END -- 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: COND_1_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindDeenergizedEdge TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T-PARTIAL 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.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.valve:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindDeenergizedEdge TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:1 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (deltaPosition > 150) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set local variable deltaPosition in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.valve:<> TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindDeenergizedEdge TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:4 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (deltaPosition > 150) ==> TRUE (2) if ((valvesStatus[valve]).homingEdgeDetectionCounter >= HOMING_EDGE_DETECTION_TIME_INTERVAL) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set local variable deltaPosition in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:<> TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.valve:VDI TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindDeenergizedEdge TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:3 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (deltaPosition > 150) ==> TRUE (2) if ((valvesStatus[valve]).homingEdgeDetectionCounter >= HOMING_EDGE_DETECTION_TIME_INTERVAL) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set local variable deltaPosition in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:<> TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.valve:VDI TEST.END -- Test Case: COND_3_ROW_1_PAIR_a_TT-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindDeenergizedEdge TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_TT-PARTIAL TEST.MCDC_BASIS_PATH:6 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (deltaPosition > 150) ==> TRUE (2) if ((valvesStatus[valve]).homingEdgeDetectionCounter >= HOMING_EDGE_DETECTION_TIME_INTERVAL) ==> TRUE (3) if (deltaEdges <= 13000U && deltaEdges >= 9000U) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #3, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: Cannot set local variable deltaEdges in branch 3 Cannot set local variable deltaPosition in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:<> TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.valve:VDI TEST.END -- Test Case: COND_3_ROW_2_PAIR_b_TF-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindDeenergizedEdge TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_b_TF-PARTIAL TEST.MCDC_BASIS_PATH:7 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if (deltaPosition > 150) ==> TRUE (2) if ((valvesStatus[valve]).homingEdgeDetectionCounter >= HOMING_EDGE_DETECTION_TIME_INTERVAL) ==> TRUE (3) if (deltaEdges <= 13000U && deltaEdges >= 9000U) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: Cannot set local variable deltaEdges in branch 3 Cannot set local variable deltaPosition in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:<> TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.valve:VDI TEST.END -- Test Case: COND_3_ROW_3_PAIR_a_FT-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindDeenergizedEdge TEST.NEW TEST.NAME:COND_3_ROW_3_PAIR_a_FT-PARTIAL TEST.MCDC_BASIS_PATH:5 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (deltaPosition > 150) ==> TRUE (2) if ((valvesStatus[valve]).homingEdgeDetectionCounter >= HOMING_EDGE_DETECTION_TIME_INTERVAL) ==> TRUE (3) if (deltaEdges <= 13000U && deltaEdges >= 9000U) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: Cannot set local variable deltaEdges in branch 3 Cannot set local variable deltaPosition in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:<> TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.valve:VDI TEST.END -- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindDeenergizedEdge TEST.NEW TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:9 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) if (deltaPosition > 150) ==> TRUE (2) if ((valvesStatus[valve]).homingEdgeDetectionCounter >= HOMING_EDGE_DETECTION_TIME_INTERVAL) ==> TRUE (3) if (deltaEdges <= 13000U && deltaEdges >= 9000U) ==> FALSE (4) if (++(valvesStatus[valve]).numberOfFailedHomings >= 3U) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 4 Cannot set local variable deltaPosition in branch 1 Cannot set local variable deltaEdges in branch 3 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:<> TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.valve:VDI TEST.END -- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindDeenergizedEdge TEST.NEW TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:8 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if (deltaPosition > 150) ==> TRUE (2) if ((valvesStatus[valve]).homingEdgeDetectionCounter >= HOMING_EDGE_DETECTION_TIME_INTERVAL) ==> TRUE (3) if (deltaEdges <= 13000U && deltaEdges >= 9000U) ==> FALSE (4) if (++(valvesStatus[valve]).numberOfFailedHomings >= 3U) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 4 Cannot set local variable deltaPosition in branch 1 Cannot set local variable deltaEdges in branch 3 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:<> TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.valve:VDI TEST.END -- Test Case: handleValveStateHomingFindDeenergizedEdge.001 TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindDeenergizedEdge TEST.NEW TEST.NAME:handleValveStateHomingFindDeenergizedEdge.001 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]:14000 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_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.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_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_At_De-energized_Edge TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindDeenergizedEdge TEST.NEW TEST.NAME:handleValveStateHomingFindDeenergizedEdge_At_De-energized_Edge TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 810 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].numberOfFailedHomings:2 TEST.VALUE:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:55 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:0 TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.valve:VDI TEST.VALUE:Valves.handleValveStateHomingFindDeenergizedEdge.return:VALVE_STATE_HOMING_FIND_DEENERGIZED_EDGE TEST.EXPECTED:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_C_CLOSE TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:1 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].positions[VALVE_POSITION_B_OPEN]:11900 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].numberOfFailedHomings:0 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:0 TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.EXPECTED:Valves.handleValveStateHomingFindDeenergizedEdge.return:VALVE_STATE_IDLE 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.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_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: COND_1_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindEnergizedEdge TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T-PARTIAL 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.VALUE:Valves.handleValveStateHomingFindEnergizedEdge.valve:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindEnergizedEdge TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (deltaPosition > 150) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set local variable deltaPosition in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.handleValveStateHomingFindEnergizedEdge.valve:<> TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindEnergizedEdge TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (deltaPosition > 150) ==> TRUE (2) if ((valvesStatus[valve]).homingEdgeDetectionCounter >= HOMING_EDGE_DETECTION_TIME_INTERVAL) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set local variable deltaPosition in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:<> TEST.VALUE:Valves.handleValveStateHomingFindEnergizedEdge.valve:VDI TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingFindEnergizedEdge TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (deltaPosition > 150) ==> TRUE (2) if ((valvesStatus[valve]).homingEdgeDetectionCounter >= HOMING_EDGE_DETECTION_TIME_INTERVAL) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set local variable deltaPosition in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].homingEdgeDetectionCounter:<> TEST.VALUE:Valves.handleValveStateHomingFindEnergizedEdge.valve:VDI 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: COND_1_ROW_14_PAIR_a_FFTF-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingNotStarted TEST.NEW TEST.NAME:COND_1_ROW_14_PAIR_a_FFTF-PARTIAL TEST.MCDC_BASIS_PATH:1 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((valveSelfTestState == (VALVE_SELF_TEST_COMPLETE) && ((valvesStatus[valve]).hasHomingBeenRequested || isDoorClosed)) && !(valvesStatus[valve]).hasHomingFailed) ==> FALSE Row number 14 forms a pair with Row 6 for Condition #1, subcondition "a". Condition a ==> FALSE Condition b ==> FALSE Condition c ==> TRUE Condition d ==> FALSE Test Case Generation Notes: Cannot set local variable isDoorClosed in branch 1 TEST.END_NOTES: 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.END -- Test Case: COND_1_ROW_4_PAIR_b_TTFF-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingNotStarted TEST.NEW TEST.NAME:COND_1_ROW_4_PAIR_b_TTFF-PARTIAL TEST.MCDC_BASIS_PATH:4 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((valveSelfTestState == (VALVE_SELF_TEST_COMPLETE) && ((valvesStatus[valve]).hasHomingBeenRequested || isDoorClosed)) && !(valvesStatus[valve]).hasHomingFailed) ==> TRUE Row number 4 forms a pair with Row 8 for Condition #1, subcondition "b". Condition a ==> TRUE Condition b ==> TRUE Condition c ==> FALSE Condition d ==> FALSE Test Case Generation Notes: Cannot set local variable isDoorClosed in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_COMPLETE TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingFailed:0 TEST.VALUE:Valves.handleValveStateHomingNotStarted.valve:VDI TEST.END -- Test Case: COND_1_ROW_5_PAIR_d_TFTT-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingNotStarted TEST.NEW TEST.NAME:COND_1_ROW_5_PAIR_d_TFTT-PARTIAL TEST.MCDC_BASIS_PATH:5 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((valveSelfTestState == (VALVE_SELF_TEST_COMPLETE) && ((valvesStatus[valve]).hasHomingBeenRequested || isDoorClosed)) && !(valvesStatus[valve]).hasHomingFailed) ==> FALSE Row number 5 forms a pair with Row 6 for Condition #1, subcondition "d". Condition a ==> TRUE Condition b ==> FALSE Condition c ==> TRUE Condition d ==> TRUE Test Case Generation Notes: Cannot set local variable isDoorClosed in branch 1 TEST.END_NOTES: 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.END -- Test Case: COND_1_ROW_6_PAIR_a_TFTF-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingNotStarted TEST.NEW TEST.NAME:COND_1_ROW_6_PAIR_a_TFTF-PARTIAL TEST.MCDC_BASIS_PATH:2 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((valveSelfTestState == (VALVE_SELF_TEST_COMPLETE) && ((valvesStatus[valve]).hasHomingBeenRequested || isDoorClosed)) && !(valvesStatus[valve]).hasHomingFailed) ==> TRUE Row number 6 forms a pair with Row 14 for Condition #1, subcondition "a". Condition a ==> TRUE Condition b ==> FALSE Condition c ==> TRUE Condition d ==> FALSE Test Case Generation Notes: Cannot set local variable isDoorClosed in branch 1 TEST.END_NOTES: 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.END -- Test Case: COND_1_ROW_8_PAIR_b_TFFF-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingNotStarted TEST.NEW TEST.NAME:COND_1_ROW_8_PAIR_b_TFFF-PARTIAL TEST.MCDC_BASIS_PATH:3 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((valveSelfTestState == (VALVE_SELF_TEST_COMPLETE) && ((valvesStatus[valve]).hasHomingBeenRequested || isDoorClosed)) && !(valvesStatus[valve]).hasHomingFailed) ==> FALSE Row number 8 forms a pair with Row 4 for Condition #1, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Condition c ==> FALSE Condition d ==> FALSE Test Case Generation Notes: Cannot set local variable isDoorClosed in branch 1 TEST.END_NOTES: 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.END -- Test Case: handleValveStateHomingNotStarted_Homing_Requested_Homing_Failed TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingNotStarted TEST.NEW TEST.NAME:handleValveStateHomingNotStarted_Homing_Requested_Homing_Failed TEST.VALUE:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_CONFIRM_ENABLE TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:1 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingFailed:1 TEST.VALUE:Valves.handleValveStateHomingNotStarted.valve:VDI TEST.VALUE:Valves.handleValveStateHomingNotStarted.return:VALVE_STATE_HOMING_NOT_STARTED TEST.EXPECTED:Valves.handleValveStateHomingNotStarted.return:VALVE_STATE_HOMING_NOT_STARTED TEST.END -- Test Case: handleValveStateHomingNotStarted_Homing_Requested_Homing_Not_Failed TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingNotStarted TEST.NEW TEST.NAME:handleValveStateHomingNotStarted_Homing_Requested_Homing_Not_Failed TEST.VALUE:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_COMPLETE TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_B_OPEN 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_HOMING_NOT_STARTED TEST.EXPECTED:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_NOT_IN_POSITION TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:0 TEST.EXPECTED:Valves.handleValveStateHomingNotStarted.return:VALVE_STATE_HOMING_FIND_ENERGIZED_EDGE TEST.END -- Test Case: handleValveStateHomingNotStarted_Self_Complete_Homing_Failed TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingNotStarted TEST.NEW TEST.NAME:handleValveStateHomingNotStarted_Self_Complete_Homing_Failed TEST.VALUE:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_COMPLETE TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:0 TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingFailed:4 TEST.VALUE:Valves.handleValveStateHomingNotStarted.valve:VDI TEST.VALUE:Valves.handleValveStateHomingNotStarted.return:VALVE_STATE_HOMING_NOT_STARTED TEST.EXPECTED:Valves.handleValveStateHomingNotStarted.return:VALVE_STATE_HOMING_NOT_STARTED TEST.END -- Test Case: handleValveStateHomingNotStarted_Self_Complete_Homing_Not_Failed TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateHomingNotStarted TEST.NEW TEST.NAME:handleValveStateHomingNotStarted_Self_Complete_Homing_Not_Failed TEST.VALUE:Valves.<>.valveSelfTestState:VALVE_SELF_TEST_COMPLETE TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:0 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_HOMING_NOT_STARTED TEST.EXPECTED:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_NOT_IN_POSITION TEST.EXPECTED:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:0 TEST.EXPECTED:Valves.handleValveStateHomingNotStarted.return:VALVE_STATE_HOMING_FIND_ENERGIZED_EDGE TEST.END -- Subprogram: handleValveStateIdle -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateIdle TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == (valvesStatus[valve]).hasHomingBeenRequested) ==> 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].hasHomingBeenRequested:1 TEST.VALUE:Valves.handleValveStateIdle.valve:VDI TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateIdle TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == (valvesStatus[valve]).hasHomingBeenRequested) ==> 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].hasHomingBeenRequested:<> TEST.VALUE:Valves.handleValveStateIdle.valve:VDI TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_TT TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateIdle TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_TT 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.END -- Test Case: COND_2_ROW_2_PAIR_b_TF TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateIdle TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_b_TF TEST.MCDC_BASIS_PATH:5 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((1) == (valvesStatus[valve]).hasHomingBeenRequested) ==> FALSE (2) if ((1) == (valvesStatus[valve]).hasValveBeenHomed && (1) == (valvesStatus[valve]).hasTransitionBeenRequested) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].hasTransitionBeenRequested:<> TEST.VALUE:Valves.<>.valvesStatus[VDI].hasHomingBeenRequested:<> TEST.VALUE:Valves.<>.valvesStatus[VDI].hasValveBeenHomed:1 TEST.VALUE:Valves.handleValveStateIdle.valve:VDI TEST.END -- Test Case: COND_2_ROW_3_PAIR_a_FT TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateIdle TEST.NEW TEST.NAME:COND_2_ROW_3_PAIR_a_FT TEST.MCDC_BASIS_PATH:3 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == (valvesStatus[valve]).hasHomingBeenRequested) ==> FALSE (2) if ((1) == (valvesStatus[valve]).hasValveBeenHomed && (1) == (valvesStatus[valve]).hasTransitionBeenRequested) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE 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:<> TEST.VALUE:Valves.handleValveStateIdle.valve:VDI TEST.END -- Test Case: COND_3_ROW_1_PAIR_a_T TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateIdle TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:7 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if ((1) == (valvesStatus[valve]).hasHomingBeenRequested) ==> FALSE (2) if ((1) == (valvesStatus[valve]).hasValveBeenHomed && (1) == (valvesStatus[valve]).hasTransitionBeenRequested) ==> TRUE (3) if ((valvesStatus[valve]).currentPosition != (valvesStatus[valve]).pendingCommandedPosition) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_NOT_IN_POSITION TEST.VALUE:Valves.<>.valvesStatus[VDI].pendingCommandedPosition:VALVE_POSITION_A_INSERT_EJECT 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.END -- Test Case: COND_3_ROW_2_PAIR_a_F TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateIdle TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:6 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((1) == (valvesStatus[valve]).hasHomingBeenRequested) ==> FALSE (2) if ((1) == (valvesStatus[valve]).hasValveBeenHomed && (1) == (valvesStatus[valve]).hasTransitionBeenRequested) ==> TRUE (3) if ((valvesStatus[valve]).currentPosition != (valvesStatus[valve]).pendingCommandedPosition) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:<> TEST.VALUE:Valves.<>.valvesStatus[VDI].pendingCommandedPosition:<> 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.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.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: COND_1_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:2 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (abs(currentPosition - commandedPosition) < 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 return value of function abs in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.handleValveStateInTransition.valve:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:1 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (abs(currentPosition - commandedPosition) < 150) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set return value of function abs in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.handleValveStateInTransition.valve:<> TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL 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.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.handleValveStateInTransition.valve:VDI TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:10 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 10 (1) if (abs(currentPosition - commandedPosition) < 150) ==> TRUE (2) if (commandedPositionEnum == (VALVE_POSITION_B_OPEN)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set return value of function abs in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_NOT_IN_POSITION TEST.VALUE:Valves.handleValveStateInTransition.valve:VDI TEST.END -- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:4 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (abs(currentPosition - commandedPosition) < 150) ==> FALSE (3) if didTimeout((valvesStatus[valve]).transitionStartTime, 3000U) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set return value of function abs in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.handleValveStateInTransition.valve:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.END -- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:3 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (abs(currentPosition - commandedPosition) < 150) ==> FALSE (3) if didTimeout((valvesStatus[valve]).transitionStartTime, 3000U) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set return value of function abs in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.handleValveStateInTransition.valve:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:0 TEST.END -- Test Case: COND_4_ROW_1_PAIR_a_TT-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:COND_4_ROW_1_PAIR_a_TT-PARTIAL TEST.MCDC_BASIS_PATH:8 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if (abs(currentPosition - commandedPosition) < 150) ==> FALSE (3) if didTimeout((valvesStatus[valve]).transitionStartTime, 3000U) ==> TRUE (4) if ((1) == isAlarmActive(ALARM_ID_HD_VALVE_TRANSITION_TIMEOUT) && (VALVE_POSITION_C_CLOSE) == (valvesStatus[valve]).commandedPosition) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #4, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: Cannot set return value of function abs in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_C_CLOSE TEST.VALUE:Valves.handleValveStateInTransition.valve:VDI TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.END -- Test Case: COND_4_ROW_2_PAIR_b_TF-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:COND_4_ROW_2_PAIR_b_TF-PARTIAL TEST.MCDC_BASIS_PATH:9 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) if (abs(currentPosition - commandedPosition) < 150) ==> FALSE (3) if didTimeout((valvesStatus[valve]).transitionStartTime, 3000U) ==> TRUE (4) if ((1) == isAlarmActive(ALARM_ID_HD_VALVE_TRANSITION_TIMEOUT) && (VALVE_POSITION_C_CLOSE) == (valvesStatus[valve]).commandedPosition) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #4, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: Cannot set return value of function abs in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_NOT_IN_POSITION TEST.VALUE:Valves.handleValveStateInTransition.valve:VDI TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.END -- Test Case: COND_4_ROW_3_PAIR_a_FT-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:COND_4_ROW_3_PAIR_a_FT-PARTIAL TEST.MCDC_BASIS_PATH:7 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if (abs(currentPosition - commandedPosition) < 150) ==> FALSE (3) if didTimeout((valvesStatus[valve]).transitionStartTime, 3000U) ==> TRUE (4) if ((1) == isAlarmActive(ALARM_ID_HD_VALVE_TRANSITION_TIMEOUT) && (VALVE_POSITION_C_CLOSE) == (valvesStatus[valve]).commandedPosition) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #4, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: Cannot set return value of function abs in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_C_CLOSE TEST.VALUE:Valves.handleValveStateInTransition.valve:VDI TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.END -- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:COND_5_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:6 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (abs(currentPosition - commandedPosition) < 150) ==> FALSE (3) if didTimeout((valvesStatus[valve]).transitionStartTime, 3000U) ==> FALSE (5) if (abs(currentPosition - targetPosition) < 150) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set return value of function abs in branch 5 Cannot set return value of function abs in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.handleValveStateInTransition.valve:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:0 TEST.END -- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateInTransition TEST.NEW TEST.NAME:COND_5_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:5 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (abs(currentPosition - commandedPosition) < 150) ==> FALSE (3) if didTimeout((valvesStatus[valve]).transitionStartTime, 3000U) ==> FALSE (5) if (abs(currentPosition - targetPosition) < 150) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set return value of function abs in branch 5 Cannot set return value of function abs in branch 1 TEST.END_NOTES: TEST.VALUE:Valves.handleValveStateInTransition.valve:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:0 TEST.END -- 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_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.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.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 -- Subprogram: handleValveStateWaitForPost -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateWaitForPost TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (valveSelfTestState == (VALVE_SELF_TEST_COMPLETE)) ==> 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.<>.valveSelfTestState:VALVE_SELF_TEST_COMPLETE TEST.VALUE:Valves.handleValveStateWaitForPost.valve:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:Valves TEST.SUBPROGRAM:handleValveStateWaitForPost TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (valveSelfTestState == (VALVE_SELF_TEST_COMPLETE)) ==> 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.<>.valveSelfTestState:VALVE_SELF_TEST_ENABLE_VALVES TEST.VALUE:Valves.handleValveStateWaitForPost.valve:<> TEST.END -- 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: COND_1_ROW_1_PAIR_a_T TEST.UNIT:Valves TEST.SUBPROGRAM:homeValve TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (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: TEST.END_NOTES: TEST.VALUE:Valves.homeValve.valve:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:Valves TEST.SUBPROGRAM:homeValve TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (valve < (NUM_OF_VALVES)) ==> 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.homeValve.valve:<> 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: COND_1_ROW_1_PAIR_a_T-TEMPLATE TEST.UNIT:Valves TEST.SUBPROGRAM:initValves TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE TEST.MCDC_BASIS_PATH:2 of 2 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.END -- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE TEST.UNIT:Valves TEST.SUBPROGRAM:initValves TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) for (valve < (NUM_OF_VALVES)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.END -- 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: publishValvesData -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:Valves TEST.SUBPROGRAM:publishValvesData TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (++(valvesStatus[valve]).dataPublishCounter >= getU32OverrideValue(&valvesDataPublishInterval)) ==> 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.publishValvesData.valve:<> TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:Valves TEST.SUBPROGRAM:publishValvesData TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F 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: (E) Errors from previous script import(s) >>> (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.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.<>.valvesStatus[VDI].dataPublishCounter:2 TEST.VALUE:Valves.publishValvesData.valve:VDI 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: setFPGAValveSetPoint -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:Valves TEST.SUBPROGRAM:setFPGAValveSetPoint TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if enableCurrentRelaxation ==> 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.setFPGAValveSetPoint.valve:<> TEST.VALUE:Valves.setFPGAValveSetPoint.position:<> TEST.VALUE:Valves.setFPGAValveSetPoint.enableCurrentRelaxation:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:Valves TEST.SUBPROGRAM:setFPGAValveSetPoint TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if enableCurrentRelaxation ==> 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.setFPGAValveSetPoint.valve:<> TEST.VALUE:Valves.setFPGAValveSetPoint.position:<> TEST.VALUE:Valves.setFPGAValveSetPoint.enableCurrentRelaxation:0 TEST.END -- 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: COND_1_ROW_1_PAIR_a_T TEST.UNIT:Valves TEST.SUBPROGRAM:setValveAirTrap TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (state < (NUM_OF_OPN_CLS_STATES)) ==> 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.setValveAirTrap.state:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:Valves TEST.SUBPROGRAM:setValveAirTrap TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (state < (NUM_OF_OPN_CLS_STATES)) ==> 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.setValveAirTrap.state:<> TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T TEST.UNIT:Valves TEST.SUBPROGRAM:setValveAirTrap TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (state < (NUM_OF_OPN_CLS_STATES)) ==> TRUE (2) if ((STATE_OPEN) == state) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.setValveAirTrap.state:STATE_OPEN TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F TEST.UNIT:Valves TEST.SUBPROGRAM:setValveAirTrap TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (state < (NUM_OF_OPN_CLS_STATES)) ==> TRUE (2) if ((STATE_OPEN) == state) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.setValveAirTrap.state:<> TEST.END -- 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_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.END -- Subprogram: setValveNextStep -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:Valves TEST.SUBPROGRAM:setValveNextStep TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T 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.VALUE:Valves.setValveNextStep.valve:<> TEST.VALUE:Valves.setValveNextStep.stepChange:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:Valves TEST.SUBPROGRAM:setValveNextStep TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (abs(currentPosition - commandedPosition) <= stepChange) ==> 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.setValveNextStep.valve:<> TEST.VALUE:Valves.setValveNextStep.stepChange:<> TEST.END -- Test Case: COND_4_ROW_1_PAIR_a_T TEST.UNIT:Valves TEST.SUBPROGRAM:setValveNextStep TEST.NEW TEST.NAME:COND_4_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:4 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (abs(currentPosition - commandedPosition) <= stepChange) ==> FALSE (3) case currentPositionEnum ==> VALVE_POSITION_A_INSERT_EJECT (4) if (commandedPositionEnum == (VALVE_POSITION_B_OPEN)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_B_OPEN TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.setValveNextStep.valve:<> TEST.VALUE:Valves.setValveNextStep.stepChange:<> TEST.END -- Test Case: COND_4_ROW_2_PAIR_a_F TEST.UNIT:Valves TEST.SUBPROGRAM:setValveNextStep TEST.NEW TEST.NAME:COND_4_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:3 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (abs(currentPosition - commandedPosition) <= stepChange) ==> FALSE (3) case currentPositionEnum ==> VALVE_POSITION_A_INSERT_EJECT (4) if (commandedPositionEnum == (VALVE_POSITION_B_OPEN)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_NOT_IN_POSITION TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.setValveNextStep.valve:<> TEST.VALUE:Valves.setValveNextStep.stepChange:<> TEST.END -- Test Case: COND_5_ROW_1_PAIR_a_T TEST.UNIT:Valves TEST.SUBPROGRAM:setValveNextStep TEST.NEW TEST.NAME:COND_5_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:6 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (abs(currentPosition - commandedPosition) <= stepChange) ==> FALSE (3) case currentPositionEnum ==> VALVE_POSITION_A_INSERT_EJECT (4) if (commandedPositionEnum == (VALVE_POSITION_B_OPEN)) ==> FALSE (5) if (commandedPositionEnum == (VALVE_POSITION_C_CLOSE)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_C_CLOSE TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.setValveNextStep.valve:VDI TEST.VALUE:Valves.setValveNextStep.stepChange:<> TEST.END -- Test Case: COND_5_ROW_2_PAIR_a_F TEST.UNIT:Valves TEST.SUBPROGRAM:setValveNextStep TEST.NEW TEST.NAME:COND_5_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:5 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (abs(currentPosition - commandedPosition) <= stepChange) ==> FALSE (3) case currentPositionEnum ==> VALVE_POSITION_A_INSERT_EJECT (4) if (commandedPositionEnum == (VALVE_POSITION_B_OPEN)) ==> FALSE (5) if (commandedPositionEnum == (VALVE_POSITION_C_CLOSE)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.<>.valvesStatus[VDI].commandedPosition:VALVE_POSITION_NOT_IN_POSITION TEST.VALUE:Valves.<>.valvesStatus[VDI].currentPosition:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:Valves.setValveNextStep.valve:VDI TEST.VALUE:Valves.setValveNextStep.stepChange:<> 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.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.setValveNextStep.valve:VDO TEST.VALUE:Valves.setValveNextStep.stepChange:15000 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.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.setValveNextStep.valve:VDO TEST.VALUE:Valves.setValveNextStep.stepChange:15000 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: COND_1_ROW_1_PAIR_a_TT TEST.UNIT:Valves TEST.SUBPROGRAM:setValvePosition TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_TT TEST.MCDC_BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (position != (VALVE_POSITION_NOT_IN_POSITION) && valve < (NUM_OF_VALVES)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.setValvePosition.valve:<> TEST.VALUE:Valves.setValvePosition.position:VALVE_POSITION_A_INSERT_EJECT TEST.END -- Test Case: COND_1_ROW_2_PAIR_b_TF TEST.UNIT:Valves TEST.SUBPROGRAM:setValvePosition TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_b_TF TEST.MCDC_BASIS_PATH:3 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (position != (VALVE_POSITION_NOT_IN_POSITION) && valve < (NUM_OF_VALVES)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.setValvePosition.valve:<> TEST.VALUE:Valves.setValvePosition.position:VALVE_POSITION_A_INSERT_EJECT TEST.END -- Test Case: COND_1_ROW_3_PAIR_a_FT TEST.UNIT:Valves TEST.SUBPROGRAM:setValvePosition TEST.NEW TEST.NAME:COND_1_ROW_3_PAIR_a_FT TEST.MCDC_BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (position != (VALVE_POSITION_NOT_IN_POSITION) && valve < (NUM_OF_VALVES)) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.setValvePosition.valve:<> TEST.VALUE:Valves.setValvePosition.position:VALVE_POSITION_NOT_IN_POSITION TEST.END -- 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: testResetValvesDataPublishInterval -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:Valves TEST.SUBPROGRAM:testResetValvesDataPublishInterval TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> 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:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:Valves TEST.SUBPROGRAM:testResetValvesDataPublishInterval TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> 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:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- 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: testResetValvesPositionOverride -- Test Case: COND_1_ROW_1_PAIR_a_TT TEST.UNIT:Valves TEST.SUBPROGRAM:testResetValvesPositionOverride TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_TT TEST.MCDC_BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.testResetValvesPositionOverride.valve:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_b_TF TEST.UNIT:Valves TEST.SUBPROGRAM:testResetValvesPositionOverride TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_b_TF TEST.MCDC_BASIS_PATH:3 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.testResetValvesPositionOverride.valve:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_1_ROW_3_PAIR_a_FT TEST.UNIT:Valves TEST.SUBPROGRAM:testResetValvesPositionOverride TEST.NEW TEST.NAME:COND_1_ROW_3_PAIR_a_FT TEST.MCDC_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 Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.testResetValvesPositionOverride.valve:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- 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: testSetValvesDataPublishInterval -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:Valves TEST.SUBPROGRAM:testSetValvesDataPublishInterval TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> 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.testSetValvesDataPublishInterval.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:Valves TEST.SUBPROGRAM:testSetValvesDataPublishInterval TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> 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.testSetValvesDataPublishInterval.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- 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: testSetValvesPositionOverride -- Test Case: COND_1_ROW_1_PAIR_a_TT TEST.UNIT:Valves TEST.SUBPROGRAM:testSetValvesPositionOverride TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_TT TEST.MCDC_BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.testSetValvesPositionOverride.valve:<> TEST.VALUE:Valves.testSetValvesPositionOverride.position:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_b_TF TEST.UNIT:Valves TEST.SUBPROGRAM:testSetValvesPositionOverride TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_b_TF TEST.MCDC_BASIS_PATH:3 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == isTestingActivated() && valve < (NUM_OF_VALVES)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.testSetValvesPositionOverride.valve:<> TEST.VALUE:Valves.testSetValvesPositionOverride.position:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_1_ROW_3_PAIR_a_FT TEST.UNIT:Valves TEST.SUBPROGRAM:testSetValvesPositionOverride TEST.NEW TEST.NAME:COND_1_ROW_3_PAIR_a_FT TEST.MCDC_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 Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Valves.testSetValvesPositionOverride.valve:<> TEST.VALUE:Valves.testSetValvesPositionOverride.position:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- 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