-- VectorCAST 19.sp3 (11/13/19) -- Test Case Script -- -- Environment : DIALINFLOW -- Unit(s) Under Test: DialInFlow -- -- 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: DialInFlow -- Subprogram: calcDialInFlow -- Test Case: calcDialInFlow.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:calcDialInFlow TEST.NEW TEST.NAME:calcDialInFlow.001 TEST.STUB:DialInFlow.getTargetDialInFlowRate TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.STUB:DialInFlow.getDialInPumpRotorCount TEST.VALUE:DialInFlow.getTargetDialInFlowRate.return:350 TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:0.0 TEST.VALUE:DialInFlow.getDialInPumpRotorCount.return:0 TEST.EXPECTED:DialInFlow.calcDialInFlow.return:0.0 TEST.END -- Test Case: calcDialInFlow.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:calcDialInFlow TEST.NEW TEST.NAME:calcDialInFlow.002 TEST.BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (QdTarget >= (400.0F)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:DialInFlow.getTargetDialInFlowRate TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.STUB:DialInFlow.getDialInPumpRotorCount TEST.VALUE:DialInFlow.getTargetDialInFlowRate.return:<> TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:0.0 TEST.VALUE:DialInFlow.getDialInPumpRotorCount.return:0 TEST.EXPECTED:DialInFlow.calcDialInFlow.return:0.0 TEST.END -- Test Case: calcDialInFlow.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:calcDialInFlow TEST.NEW TEST.NAME:calcDialInFlow.003 TEST.BASIS_PATH:3 of 4 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (QdTarget >= (400.0F)) ==> FALSE (2) if (r > (25000)) ==> TRUE (3) if (QdTarget < (400.0F) && QdTarget > (300.0F)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable DialInFlow.getTargetDialInFlowRate.return 'less than' and 'greater than' same value in branches 1/3 TEST.END_NOTES: TEST.STUB:DialInFlow.getTargetDialInFlowRate TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.STUB:DialInFlow.getDialInPumpRotorCount TEST.VALUE:DialInFlow.getTargetDialInFlowRate.return:<> TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:0.0 TEST.VALUE:DialInFlow.getDialInPumpRotorCount.return:<> TEST.EXPECTED:DialInFlow.calcDialInFlow.return:0.0 TEST.END -- Subprogram: checkDialInPumpDirection -- Test Case: checkDialInPumpDirection.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpDirection TEST.NEW TEST.NAME:checkDialInPumpDirection.001 TEST.BASIS_PATH:2 of 11 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> TRUE (2) if (measMCSpeed >= (10.0F)) ==> FALSE (3) if ((1) == minDirSpeed && lastDialInPumpDirectionCount != dirErrorCnt) ==> FALSE (4) if ((1) == isHallSensorFailed && (1) == incTimeWindowedCount(TIME_WINDOWED_COUNT_DIP_COMMUTATION_ERROR)) ==> FALSE (5) if (getMeasuredDialInPumpMCSpeed() >= (0.0)) ==> FALSE (6) if (getMeasuredDialInPumpSpeed() >= (0.0)) ==> FALSE (7) if (dialInPumpDirectionSet != dipDir && (1) == minDirSpeed) ==> FALSE (9) if (dialInPumpDirectionSet != dipMCDir && (1) == minDirSpeed) ==> FALSE Test Case Generation Notes: Cannot set local variable minDirSpeed in branch 3 Cannot set variable to unknown value in branch 3 Cannot set local variable dirErrorCnt in branch 3 Cannot set local variable isHallSensorFailed in branch 4 Cannot set variable to unknown value in branch 7 Cannot set dipDir due to assignment Cannot set local variable minDirSpeed in branch 7 Cannot set variable to unknown value in branch 9 Cannot set dipMCDir due to assignment Cannot set local variable minDirSpeed in branch 9 TEST.END_NOTES: TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:9.0 TEST.VALUE:uut_prototype_stubs.getFPGADialInPumpHallSensorStatus.return:10 TEST.VALUE:uut_prototype_stubs.incTimeWindowedCount.return:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:DialInFlow.<>.lastDialInPumpDirectionCount:10 TEST.EXPECTED:DialInFlow.<>.errorDialInPumpDirectionPersistTimerCtr:0 TEST.END -- Test Case: checkDialInPumpDirection.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpDirection TEST.NEW TEST.NAME:checkDialInPumpDirection.002 TEST.BASIS_PATH:1 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.END -- Test Case: checkDialInPumpDirection.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpDirection TEST.NEW TEST.NAME:checkDialInPumpDirection.003 TEST.BASIS_PATH:2 of 11 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> TRUE (2) if (measMCSpeed >= (10.0F)) ==> FALSE (3) if ((1) == minDirSpeed && lastDialInPumpDirectionCount != dirErrorCnt) ==> FALSE (4) if ((1) == isHallSensorFailed && (1) == incTimeWindowedCount(TIME_WINDOWED_COUNT_DIP_COMMUTATION_ERROR)) ==> FALSE (5) if (getMeasuredDialInPumpMCSpeed() >= (0.0)) ==> FALSE (6) if (getMeasuredDialInPumpSpeed() >= (0.0)) ==> FALSE (7) if (dialInPumpDirectionSet != dipDir && (1) == minDirSpeed) ==> FALSE (9) if (dialInPumpDirectionSet != dipMCDir && (1) == minDirSpeed) ==> FALSE Test Case Generation Notes: Cannot set local variable minDirSpeed in branch 3 Cannot set variable to unknown value in branch 3 Cannot set local variable dirErrorCnt in branch 3 Cannot set local variable isHallSensorFailed in branch 4 Cannot set variable to unknown value in branch 7 Cannot set dipDir due to assignment Cannot set local variable minDirSpeed in branch 7 Cannot set variable to unknown value in branch 9 Cannot set dipMCDir due to assignment Cannot set local variable minDirSpeed in branch 9 TEST.END_NOTES: TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:<> TEST.VALUE:uut_prototype_stubs.incTimeWindowedCount.return:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.END -- Test Case: checkDialInPumpDirection.004 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpDirection TEST.NEW TEST.NAME:checkDialInPumpDirection.004 TEST.BASIS_PATH:3 of 11 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> TRUE (2) if (measMCSpeed >= (10.0F)) ==> FALSE (3) if ((1) == minDirSpeed && lastDialInPumpDirectionCount != dirErrorCnt) ==> FALSE (4) if ((1) == isHallSensorFailed && (1) == incTimeWindowedCount(TIME_WINDOWED_COUNT_DIP_COMMUTATION_ERROR)) ==> FALSE (5) if (getMeasuredDialInPumpMCSpeed() >= (0.0)) ==> FALSE (6) if (getMeasuredDialInPumpSpeed() >= (0.0)) ==> FALSE (7) if (dialInPumpDirectionSet != dipDir && (1) == minDirSpeed) ==> FALSE (9) if (dialInPumpDirectionSet != dipMCDir && (1) == minDirSpeed) ==> TRUE (10) if (++errorDialInPumpDirectionPersistTimerCtr >= DIP_DIRECTION_ERROR_PERSIST) ==> FALSE Test Case Generation Notes: Cannot set local variable minDirSpeed in branch 3 Cannot set variable to unknown value in branch 3 Cannot set local variable dirErrorCnt in branch 3 Cannot set local variable isHallSensorFailed in branch 4 Cannot set variable to unknown value in branch 7 Cannot set dipDir due to assignment Cannot set local variable minDirSpeed in branch 7 Cannot set dipMCDir due to assignment Cannot set local variable minDirSpeed in branch 9 Conflict: Unable to control expression-to-expression comparison in branch 10 TEST.END_NOTES: TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_FORWARD TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:<> TEST.VALUE:uut_prototype_stubs.incTimeWindowedCount.return:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_FORWARD TEST.END -- Test Case: checkDialInPumpDirection.005 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpDirection TEST.NEW TEST.NAME:checkDialInPumpDirection.005 TEST.BASIS_PATH:4 of 11 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> TRUE (2) if (measMCSpeed >= (10.0F)) ==> FALSE (3) if ((1) == minDirSpeed && lastDialInPumpDirectionCount != dirErrorCnt) ==> FALSE (4) if ((1) == isHallSensorFailed && (1) == incTimeWindowedCount(TIME_WINDOWED_COUNT_DIP_COMMUTATION_ERROR)) ==> FALSE (5) if (getMeasuredDialInPumpMCSpeed() >= (0.0)) ==> FALSE (6) if (getMeasuredDialInPumpSpeed() >= (0.0)) ==> FALSE (7) if (dialInPumpDirectionSet != dipDir && (1) == minDirSpeed) ==> FALSE (9) if (dialInPumpDirectionSet != dipMCDir && (1) == minDirSpeed) ==> TRUE (10) if (++errorDialInPumpDirectionPersistTimerCtr >= DIP_DIRECTION_ERROR_PERSIST) ==> TRUE Test Case Generation Notes: Cannot set local variable minDirSpeed in branch 3 Cannot set variable to unknown value in branch 3 Cannot set local variable dirErrorCnt in branch 3 Cannot set local variable isHallSensorFailed in branch 4 Cannot set variable to unknown value in branch 7 Cannot set dipDir due to assignment Cannot set local variable minDirSpeed in branch 7 Cannot set dipMCDir due to assignment Cannot set local variable minDirSpeed in branch 9 Conflict: Unable to control expression-to-expression comparison in branch 10 TEST.END_NOTES: TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_FORWARD TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:<> TEST.VALUE:uut_prototype_stubs.incTimeWindowedCount.return:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_FORWARD TEST.END -- Test Case: checkDialInPumpDirection.006 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpDirection TEST.NEW TEST.NAME:checkDialInPumpDirection.006 TEST.BASIS_PATH:5 of 11 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> TRUE (2) if (measMCSpeed >= (10.0F)) ==> FALSE (3) if ((1) == minDirSpeed && lastDialInPumpDirectionCount != dirErrorCnt) ==> FALSE (4) if ((1) == isHallSensorFailed && (1) == incTimeWindowedCount(TIME_WINDOWED_COUNT_DIP_COMMUTATION_ERROR)) ==> FALSE (5) if (getMeasuredDialInPumpMCSpeed() >= (0.0)) ==> FALSE (6) if (getMeasuredDialInPumpSpeed() >= (0.0)) ==> FALSE (7) if (dialInPumpDirectionSet != dipDir && (1) == minDirSpeed) ==> TRUE (8) if (++errorDialInPumpDirectionPersistTimerCtr >= DIP_DIRECTION_ERROR_PERSIST) ==> FALSE Test Case Generation Notes: Cannot set local variable minDirSpeed in branch 3 Cannot set variable to unknown value in branch 3 Cannot set local variable dirErrorCnt in branch 3 Cannot set local variable isHallSensorFailed in branch 4 Cannot set dipDir due to assignment Cannot set local variable minDirSpeed in branch 7 Conflict: Unable to control expression-to-expression comparison in branch 8 TEST.END_NOTES: TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_FORWARD TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:<> TEST.VALUE:uut_prototype_stubs.incTimeWindowedCount.return:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_FORWARD TEST.END -- Test Case: checkDialInPumpDirection.007 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpDirection TEST.NEW TEST.NAME:checkDialInPumpDirection.007 TEST.BASIS_PATH:6 of 11 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> TRUE (2) if (measMCSpeed >= (10.0F)) ==> FALSE (3) if ((1) == minDirSpeed && lastDialInPumpDirectionCount != dirErrorCnt) ==> FALSE (4) if ((1) == isHallSensorFailed && (1) == incTimeWindowedCount(TIME_WINDOWED_COUNT_DIP_COMMUTATION_ERROR)) ==> FALSE (5) if (getMeasuredDialInPumpMCSpeed() >= (0.0)) ==> FALSE (6) if (getMeasuredDialInPumpSpeed() >= (0.0)) ==> FALSE (7) if (dialInPumpDirectionSet != dipDir && (1) == minDirSpeed) ==> TRUE (8) if (++errorDialInPumpDirectionPersistTimerCtr >= DIP_DIRECTION_ERROR_PERSIST) ==> TRUE Test Case Generation Notes: Cannot set local variable minDirSpeed in branch 3 Cannot set variable to unknown value in branch 3 Cannot set local variable dirErrorCnt in branch 3 Cannot set local variable isHallSensorFailed in branch 4 Cannot set dipDir due to assignment Cannot set local variable minDirSpeed in branch 7 Conflict: Unable to control expression-to-expression comparison in branch 8 TEST.END_NOTES: TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_FORWARD TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:<> TEST.VALUE:uut_prototype_stubs.incTimeWindowedCount.return:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_FORWARD TEST.END -- Test Case: checkDialInPumpDirection.008 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpDirection TEST.NEW TEST.NAME:checkDialInPumpDirection.008 TEST.BASIS_PATH:7 of 11 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> TRUE (2) if (measMCSpeed >= (10.0F)) ==> FALSE (3) if ((1) == minDirSpeed && lastDialInPumpDirectionCount != dirErrorCnt) ==> FALSE (4) if ((1) == isHallSensorFailed && (1) == incTimeWindowedCount(TIME_WINDOWED_COUNT_DIP_COMMUTATION_ERROR)) ==> FALSE (5) if (getMeasuredDialInPumpMCSpeed() >= (0.0)) ==> FALSE (6) if (getMeasuredDialInPumpSpeed() >= (0.0)) ==> TRUE (7) if (dialInPumpDirectionSet != dipDir && (1) == minDirSpeed) ==> FALSE (9) if (dialInPumpDirectionSet != dipMCDir && (1) == minDirSpeed) ==> FALSE Test Case Generation Notes: Cannot set local variable minDirSpeed in branch 3 Cannot set variable to unknown value in branch 3 Cannot set local variable dirErrorCnt in branch 3 Cannot set local variable isHallSensorFailed in branch 4 Cannot set variable to unknown value in branch 7 Cannot set dipDir due to assignment Cannot set local variable minDirSpeed in branch 7 Cannot set variable to unknown value in branch 9 Cannot set dipMCDir due to assignment Cannot set local variable minDirSpeed in branch 9 TEST.END_NOTES: TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:<> TEST.VALUE:uut_prototype_stubs.incTimeWindowedCount.return:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.END -- Test Case: checkDialInPumpDirection.009 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpDirection TEST.NEW TEST.NAME:checkDialInPumpDirection.009 TEST.BASIS_PATH:8 of 11 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> TRUE (2) if (measMCSpeed >= (10.0F)) ==> FALSE (3) if ((1) == minDirSpeed && lastDialInPumpDirectionCount != dirErrorCnt) ==> FALSE (4) if ((1) == isHallSensorFailed && (1) == incTimeWindowedCount(TIME_WINDOWED_COUNT_DIP_COMMUTATION_ERROR)) ==> FALSE (5) if (getMeasuredDialInPumpMCSpeed() >= (0.0)) ==> TRUE (6) if (getMeasuredDialInPumpSpeed() >= (0.0)) ==> FALSE (7) if (dialInPumpDirectionSet != dipDir && (1) == minDirSpeed) ==> FALSE (9) if (dialInPumpDirectionSet != dipMCDir && (1) == minDirSpeed) ==> FALSE Test Case Generation Notes: Cannot set local variable minDirSpeed in branch 3 Cannot set variable to unknown value in branch 3 Cannot set local variable dirErrorCnt in branch 3 Cannot set local variable isHallSensorFailed in branch 4 Conflict: Cannot resolve multiple comparisons ( DialInFlow.getMeasuredDialInPumpMCSpeed.return ) in branches 2/5 Cannot set variable to unknown value in branch 7 Cannot set dipDir due to assignment Cannot set local variable minDirSpeed in branch 7 Cannot set variable to unknown value in branch 9 Cannot set dipMCDir due to assignment Cannot set local variable minDirSpeed in branch 9 TEST.END_NOTES: TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:<> TEST.VALUE:uut_prototype_stubs.incTimeWindowedCount.return:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.END -- Test Case: checkDialInPumpDirection.010 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpDirection TEST.NEW TEST.NAME:checkDialInPumpDirection.010 TEST.BASIS_PATH:9 of 11 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> TRUE (2) if (measMCSpeed >= (10.0F)) ==> FALSE (3) if ((1) == minDirSpeed && lastDialInPumpDirectionCount != dirErrorCnt) ==> FALSE (4) if ((1) == isHallSensorFailed && (1) == incTimeWindowedCount(TIME_WINDOWED_COUNT_DIP_COMMUTATION_ERROR)) ==> TRUE (5) if (getMeasuredDialInPumpMCSpeed() >= (0.0)) ==> FALSE (6) if (getMeasuredDialInPumpSpeed() >= (0.0)) ==> FALSE (7) if (dialInPumpDirectionSet != dipDir && (1) == minDirSpeed) ==> FALSE (9) if (dialInPumpDirectionSet != dipMCDir && (1) == minDirSpeed) ==> FALSE Test Case Generation Notes: Cannot set local variable minDirSpeed in branch 3 Cannot set variable to unknown value in branch 3 Cannot set local variable dirErrorCnt in branch 3 Cannot set local variable isHallSensorFailed in branch 4 Cannot set variable to unknown value in branch 7 Cannot set dipDir due to assignment Cannot set local variable minDirSpeed in branch 7 Cannot set variable to unknown value in branch 9 Cannot set dipMCDir due to assignment Cannot set local variable minDirSpeed in branch 9 TEST.END_NOTES: TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:<> TEST.VALUE:uut_prototype_stubs.incTimeWindowedCount.return:1 TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.END -- Test Case: checkDialInPumpDirection.011 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpDirection TEST.NEW TEST.NAME:checkDialInPumpDirection.011 TEST.BASIS_PATH:10 of 11 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 10 (1) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> TRUE (2) if (measMCSpeed >= (10.0F)) ==> FALSE (3) if ((1) == minDirSpeed && lastDialInPumpDirectionCount != dirErrorCnt) ==> TRUE (4) if ((1) == isHallSensorFailed && (1) == incTimeWindowedCount(TIME_WINDOWED_COUNT_DIP_COMMUTATION_ERROR)) ==> FALSE (5) if (getMeasuredDialInPumpMCSpeed() >= (0.0)) ==> FALSE (6) if (getMeasuredDialInPumpSpeed() >= (0.0)) ==> FALSE (7) if (dialInPumpDirectionSet != dipDir && (1) == minDirSpeed) ==> FALSE (9) if (dialInPumpDirectionSet != dipMCDir && (1) == minDirSpeed) ==> FALSE Test Case Generation Notes: Cannot set local variable minDirSpeed in branch 3 Cannot set local variable dirErrorCnt in branch 3 Cannot set local variable isHallSensorFailed in branch 4 Cannot set variable to unknown value in branch 7 Cannot set dipDir due to assignment Cannot set local variable minDirSpeed in branch 7 Cannot set variable to unknown value in branch 9 Cannot set dipMCDir due to assignment Cannot set local variable minDirSpeed in branch 9 TEST.END_NOTES: TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.lastDialInPumpDirectionCount:<> TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:<> TEST.VALUE:uut_prototype_stubs.incTimeWindowedCount.return:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:DialInFlow.<>.lastDialInPumpDirectionCount:0 TEST.END -- Test Case: checkDialInPumpDirection.012 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpDirection TEST.NEW TEST.NAME:checkDialInPumpDirection.012 TEST.BASIS_PATH:11 of 11 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> TRUE (2) if (measMCSpeed >= (10.0F)) ==> TRUE (3) if ((1) == minDirSpeed && lastDialInPumpDirectionCount != dirErrorCnt) ==> FALSE (4) if ((1) == isHallSensorFailed && (1) == incTimeWindowedCount(TIME_WINDOWED_COUNT_DIP_COMMUTATION_ERROR)) ==> FALSE (5) if (getMeasuredDialInPumpMCSpeed() >= (0.0)) ==> FALSE (6) if (getMeasuredDialInPumpSpeed() >= (0.0)) ==> FALSE (7) if (dialInPumpDirectionSet != dipDir && (1) == minDirSpeed) ==> FALSE (9) if (dialInPumpDirectionSet != dipMCDir && (1) == minDirSpeed) ==> FALSE Test Case Generation Notes: Cannot set local variable minDirSpeed in branch 3 Cannot set variable to unknown value in branch 3 Cannot set local variable dirErrorCnt in branch 3 Cannot set local variable isHallSensorFailed in branch 4 Conflict: Cannot resolve multiple comparisons ( DialInFlow.getMeasuredDialInPumpMCSpeed.return ) in branches 2/5 Cannot set variable to unknown value in branch 7 Cannot set dipDir due to assignment Cannot set local variable minDirSpeed in branch 7 Cannot set variable to unknown value in branch 9 Cannot set dipMCDir due to assignment Cannot set local variable minDirSpeed in branch 9 TEST.END_NOTES: TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:<> TEST.VALUE:uut_prototype_stubs.incTimeWindowedCount.return:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.END -- Test Case: checkDialInPumpDirection.013 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpDirection TEST.NEW TEST.NAME:checkDialInPumpDirection.013 TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> TRUE (2) if (measMCSpeed >= (10.0F)) ==> TRUE (3) if ((1) == minDirSpeed && lastDialInPumpDirectionCount != dirErrorCnt) ==> FALSE (4) if ((1) == isHallSensorFailed && (1) == incTimeWindowedCount(TIME_WINDOWED_COUNT_DIP_COMMUTATION_ERROR)) ==> FALSE (5) if (getMeasuredDialInPumpMCSpeed() >= (0.0)) ==> FALSE (6) if (getMeasuredDialInPumpSpeed() >= (0.0)) ==> FALSE (7) if (dialInPumpDirectionSet != dipDir && (1) == minDirSpeed) ==> FALSE (9) if (dialInPumpDirectionSet != dipMCDir && (1) == minDirSpeed) ==> FALSE Test Case Generation Notes: Cannot set local variable minDirSpeed in branch 3 Cannot set variable to unknown value in branch 3 Cannot set local variable dirErrorCnt in branch 3 Cannot set local variable isHallSensorFailed in branch 4 Conflict: Cannot resolve multiple comparisons ( DialInFlow.getMeasuredDialInPumpMCSpeed.return ) in branches 2/5 Cannot set variable to unknown value in branch 7 Cannot set dipDir due to assignment Cannot set local variable minDirSpeed in branch 7 Cannot set variable to unknown value in branch 9 Cannot set dipMCDir due to assignment Cannot set local variable minDirSpeed in branch 9 TEST.END_NOTES: TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:<> TEST.VALUE:uut_prototype_stubs.getFPGADialInPumpHallSensorStatus.return:1 TEST.VALUE:uut_prototype_stubs.incTimeWindowedCount.return:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.END -- Test Case: checkDialInPumpDirection.014 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpDirection TEST.NEW TEST.NAME:checkDialInPumpDirection.014 TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> TRUE (2) if (measMCSpeed >= (10.0F)) ==> TRUE (3) if ((1) == minDirSpeed && lastDialInPumpDirectionCount != dirErrorCnt) ==> FALSE (4) if ((1) == isHallSensorFailed && (1) == incTimeWindowedCount(TIME_WINDOWED_COUNT_DIP_COMMUTATION_ERROR)) ==> FALSE (5) if (getMeasuredDialInPumpMCSpeed() >= (0.0)) ==> FALSE (6) if (getMeasuredDialInPumpSpeed() >= (0.0)) ==> FALSE (7) if (dialInPumpDirectionSet != dipDir && (1) == minDirSpeed) ==> FALSE (9) if (dialInPumpDirectionSet != dipMCDir && (1) == minDirSpeed) ==> FALSE Test Case Generation Notes: Cannot set local variable minDirSpeed in branch 3 Cannot set variable to unknown value in branch 3 Cannot set local variable dirErrorCnt in branch 3 Cannot set local variable isHallSensorFailed in branch 4 Conflict: Cannot resolve multiple comparisons ( DialInFlow.getMeasuredDialInPumpMCSpeed.return ) in branches 2/5 Cannot set variable to unknown value in branch 7 Cannot set dipDir due to assignment Cannot set local variable minDirSpeed in branch 7 Cannot set variable to unknown value in branch 9 Cannot set dipMCDir due to assignment Cannot set local variable minDirSpeed in branch 9 TEST.END_NOTES: TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:<> TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_PUMP_DIRECTION_STATUS_ERROR TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.getFPGADialInPumpHallSensorStatus.return:1 TEST.VALUE:uut_prototype_stubs.incTimeWindowedCount.cnt:TIME_WINDOWED_COUNT_DIP_COMMUTATION_ERROR TEST.VALUE:uut_prototype_stubs.incTimeWindowedCount.return:1 TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_PUMP_DIRECTION_STATUS_ERROR TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:1 TEST.EXPECTED:uut_prototype_stubs.incTimeWindowedCount.cnt:TIME_WINDOWED_COUNT_DIP_COMMUTATION_ERROR TEST.END -- Test Case: checkDialInPumpDirection.015 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpDirection TEST.NEW TEST.NAME:checkDialInPumpDirection.015 TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> TRUE (2) if (measMCSpeed >= (10.0F)) ==> TRUE (3) if ((1) == minDirSpeed && lastDialInPumpDirectionCount != dirErrorCnt) ==> FALSE (4) if ((1) == isHallSensorFailed && (1) == incTimeWindowedCount(TIME_WINDOWED_COUNT_DIP_COMMUTATION_ERROR)) ==> FALSE (5) if (getMeasuredDialInPumpMCSpeed() >= (0.0)) ==> FALSE (6) if (getMeasuredDialInPumpSpeed() >= (0.0)) ==> FALSE (7) if (dialInPumpDirectionSet != dipDir && (1) == minDirSpeed) ==> FALSE (9) if (dialInPumpDirectionSet != dipMCDir && (1) == minDirSpeed) ==> FALSE Test Case Generation Notes: Cannot set local variable minDirSpeed in branch 3 Cannot set variable to unknown value in branch 3 Cannot set local variable dirErrorCnt in branch 3 Cannot set local variable isHallSensorFailed in branch 4 Conflict: Cannot resolve multiple comparisons ( DialInFlow.getMeasuredDialInPumpMCSpeed.return ) in branches 2/5 Cannot set variable to unknown value in branch 7 Cannot set dipDir due to assignment Cannot set local variable minDirSpeed in branch 7 Cannot set variable to unknown value in branch 9 Cannot set dipMCDir due to assignment Cannot set local variable minDirSpeed in branch 9 TEST.END_NOTES: TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.errorDialInPumpDirectionPersistTimerCtr:25 TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:<> TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.incTimeWindowedCount.return:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:DialInFlow.<>.errorDialInPumpDirectionPersistTimerCtr:26 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_DIAL_IN_PUMP_MC_DIRECTION_CHECK TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:0 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 -- Test Case: checkDialInPumpDirection.016 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpDirection TEST.NEW TEST.NAME:checkDialInPumpDirection.016 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> TRUE (2) if (measMCSpeed >= (10.0F)) ==> FALSE (3) if ((1) == minDirSpeed && lastDialInPumpDirectionCount != dirErrorCnt) ==> FALSE (4) if ((1) == isHallSensorFailed && (1) == incTimeWindowedCount(TIME_WINDOWED_COUNT_DIP_COMMUTATION_ERROR)) ==> FALSE (5) if (getMeasuredDialInPumpMCSpeed() >= (0.0)) ==> FALSE (6) if (getMeasuredDialInPumpSpeed() >= (0.0)) ==> FALSE (7) if (dialInPumpDirectionSet != dipDir && (1) == minDirSpeed) ==> FALSE (9) if (dialInPumpDirectionSet != dipMCDir && (1) == minDirSpeed) ==> TRUE (10) if (++errorDialInPumpDirectionPersistTimerCtr >= DIP_DIRECTION_ERROR_PERSIST) ==> FALSE Test Case Generation Notes: Cannot set local variable minDirSpeed in branch 3 Cannot set variable to unknown value in branch 3 Cannot set local variable dirErrorCnt in branch 3 Cannot set local variable isHallSensorFailed in branch 4 Cannot set variable to unknown value in branch 7 Cannot set dipDir due to assignment Cannot set local variable minDirSpeed in branch 7 Cannot set dipMCDir due to assignment Cannot set local variable minDirSpeed in branch 9 Conflict: Unable to control expression-to-expression comparison in branch 10 TEST.END_NOTES: TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:10.0 TEST.VALUE:uut_prototype_stubs.incTimeWindowedCount.return:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_REVERSE TEST.END -- Test Case: checkDialInPumpDirection.017 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpDirection TEST.NEW TEST.NAME:checkDialInPumpDirection.017 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> TRUE (2) if (measMCSpeed >= (10.0F)) ==> FALSE (3) if ((1) == minDirSpeed && lastDialInPumpDirectionCount != dirErrorCnt) ==> FALSE (4) if ((1) == isHallSensorFailed && (1) == incTimeWindowedCount(TIME_WINDOWED_COUNT_DIP_COMMUTATION_ERROR)) ==> FALSE (5) if (getMeasuredDialInPumpMCSpeed() >= (0.0)) ==> FALSE (6) if (getMeasuredDialInPumpSpeed() >= (0.0)) ==> FALSE (7) if (dialInPumpDirectionSet != dipDir && (1) == minDirSpeed) ==> FALSE (9) if (dialInPumpDirectionSet != dipMCDir && (1) == minDirSpeed) ==> TRUE (10) if (++errorDialInPumpDirectionPersistTimerCtr >= DIP_DIRECTION_ERROR_PERSIST) ==> FALSE Test Case Generation Notes: Cannot set local variable minDirSpeed in branch 3 Cannot set variable to unknown value in branch 3 Cannot set local variable dirErrorCnt in branch 3 Cannot set local variable isHallSensorFailed in branch 4 Cannot set variable to unknown value in branch 7 Cannot set dipDir due to assignment Cannot set local variable minDirSpeed in branch 7 Cannot set dipMCDir due to assignment Cannot set local variable minDirSpeed in branch 9 Conflict: Unable to control expression-to-expression comparison in branch 10 TEST.END_NOTES: TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.<>.errorDialInPumpDirectionPersistTimerCtr:26 TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:10.0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_DIAL_IN_PUMP_MC_DIRECTION_CHECK TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.incTimeWindowedCount.return:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.<>.errorDialInPumpDirectionPersistTimerCtr:27 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_DIAL_IN_PUMP_MC_DIRECTION_CHECK TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:1 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0 TEST.END -- Subprogram: checkDialInPumpFlowRate -- Test Case: checkDialInPumpFlowRate.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpFlowRate TEST.NEW TEST.NAME:checkDialInPumpFlowRate.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 753 TEST.VALUE:DialInFlow.<>.errorDialInFlowVsMotorSpeedPersistTimerCtr:0 >>> >>> Unknown parameter/object name errorDialInFlowVsMotorSpeedPersistTimerCtr >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 755 TEST.EXPECTED:DialInFlow.<>.errorDialInFlowVsMotorSpeedPersistTimerCtr:0 >>> >>> Unknown parameter/object name errorDialInFlowVsMotorSpeedPersistTimerCtr >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.STUB:DialInFlow.getMeasuredDialInFlowRate TEST.VALUE:DialInFlow.getMeasuredDialInFlowRate.return:2000.0 TEST.END -- Test Case: checkDialInPumpFlowRate.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpFlowRate TEST.NEW TEST.NAME:checkDialInPumpFlowRate.002 TEST.STUB:DialInFlow.isDialInPumpRunning TEST.STUB:DialInFlow.getMeasuredDialInFlowRate TEST.VALUE:DialInFlow.isDialInPumpRunning.return:1 TEST.VALUE:DialInFlow.getMeasuredDialInFlowRate.return:2000.0 TEST.END -- Test Case: checkDialInPumpFlowRate.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpFlowRate TEST.NEW TEST.NAME:checkDialInPumpFlowRate.003 TEST.STUB:DialInFlow.isDialInPumpRunning TEST.STUB:DialInFlow.getMeasuredDialInFlowRate TEST.VALUE:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.VALUE:DialInFlow.isDialInPumpRunning.return:1 TEST.VALUE:DialInFlow.getMeasuredDialInFlowRate.return:2000.0 TEST.END -- Test Case: checkDialInPumpFlowRate.004 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpFlowRate TEST.NEW TEST.NAME:checkDialInPumpFlowRate.004 TEST.STUB:DialInFlow.isDialInPumpRunning TEST.STUB:DialInFlow.getMeasuredDialInFlowRate TEST.VALUE:DialInFlow.isDialInPumpRunning.return:1 TEST.VALUE:DialInFlow.getMeasuredDialInFlowRate.return:2000.0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.END -- Test Case: checkDialInPumpFlowRate.005 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpFlowRate TEST.NEW TEST.NAME:checkDialInPumpFlowRate.005 TEST.STUB:DialInFlow.isDialInPumpRunning TEST.STUB:DialInFlow.getMeasuredDialInFlowRate TEST.VALUE:DialInFlow.isDialInPumpRunning.return:1 TEST.VALUE:DialInFlow.getMeasuredDialInFlowRate.return:2000.0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.END -- Test Case: checkDialInPumpFlowRate.006 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpFlowRate TEST.NEW TEST.NAME:checkDialInPumpFlowRate.006 TEST.STUB:DialInFlow.isDialInPumpRunning TEST.STUB:DialInFlow.getMeasuredDialInFlowRate TEST.VALUE:DialInFlow.isDialInPumpRunning.return:1 TEST.VALUE:DialInFlow.getMeasuredDialInFlowRate.return:2000.0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> TEST.END -- Test Case: checkDialInPumpFlowRate.007 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpFlowRate TEST.NEW TEST.NAME:checkDialInPumpFlowRate.007 TEST.STUB:DialInFlow.isDialInPumpRunning TEST.STUB:DialInFlow.getMeasuredDialInFlowRate TEST.VALUE:DialInFlow.isDialInPumpRunning.return:1 TEST.VALUE:DialInFlow.getMeasuredDialInFlowRate.return:2000.0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_DIAL_IN_FLOW_CHECK_FAILURE TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1 TEST.END -- Test Case: checkDialInPumpFlowRate.008 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpFlowRate TEST.NEW TEST.NAME:checkDialInPumpFlowRate.008 TEST.STUB:DialInFlow.isDialInPumpRunning TEST.STUB:DialInFlow.getMeasuredDialInFlowRate TEST.VALUE:DialInFlow.isDialInPumpRunning.return:1 TEST.VALUE:DialInFlow.getMeasuredDialInFlowRate.return:2000.0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.VALUE:uut_prototype_stubs.getDGRawDialysateFlowRateLMin.return:0.01 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_DIAL_IN_FLOW_CHECK_FAILURE TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.END -- Subprogram: checkDialInPumpMCCurrent -- Test Case: checkDialInPumpMCCurrent.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpMCCurrent TEST.NEW TEST.NAME:checkDialInPumpMCCurrent.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 943 TEST.VALUE:uut_prototype_stubs.isAlarmActive.alarm:ALARM_ID_HD_AC_POWER_LOST >>> >>> Could not find function isAlarmActive >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 944 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 >>> >>> Could not find function isAlarmActive >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 948 TEST.EXPECTED:uut_prototype_stubs.isAlarmActive.alarm:ALARM_ID_HD_AC_POWER_LOST >>> >>> Could not find function isAlarmActive >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.VALUE:DialInFlow.<>.adcDialInPumpMCCurrentmA.data:149.0 TEST.VALUE:DialInFlow.<>.dipCurrErrorDurationCtr:5 TEST.VALUE:uut_prototype_stubs.isACPowerLost.return:1 TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCCurrentmA.data:149.0 TEST.EXPECTED:DialInFlow.<>.dipCurrErrorDurationCtr:5 TEST.END -- Test Case: checkDialInPumpMCCurrent.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpMCCurrent TEST.NEW TEST.NAME:checkDialInPumpMCCurrent.002 TEST.VALUE:DialInFlow.<>.dipCurrErrorDurationCtr:2001 TEST.EXPECTED:DialInFlow.<>.dipCurrErrorDurationCtr:0 TEST.END -- Test Case: checkDialInPumpMCCurrent.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpMCCurrent TEST.NEW TEST.NAME:checkDialInPumpMCCurrent.003 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 976 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:0 >>> >>> Could not find function isAlarmActive >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:2 of 7 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isAlarmActive(ALARM_ID_HD_AC_POWER_LOST)) ==> TRUE (2) if ((DIAL_IN_PUMP_OFF_STATE) == dialInPumpState) ==> FALSE (5) if (dipCurr > (2000.0F)) ==> FALSE Test Case Generation Notes: Cannot set return value of function fabs in branch 5 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.END -- Test Case: checkDialInPumpMCCurrent.004 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpMCCurrent TEST.NEW TEST.NAME:checkDialInPumpMCCurrent.004 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 998 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:0 >>> >>> Could not find function isAlarmActive >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isAlarmActive(ALARM_ID_HD_AC_POWER_LOST)) ==> TRUE (2) if ((DIAL_IN_PUMP_OFF_STATE) == dialInPumpState) ==> FALSE (5) if (dipCurr > (2000.0F)) ==> FALSE Test Case Generation Notes: Cannot set return value of function fabs in branch 5 TEST.END_NOTES: TEST.STUB:DialInFlow.getMeasuredDialInPumpMCCurrent TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.VALUE:DialInFlow.<>.dipCurrErrorDurationCtr:1900 TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCCurrent.return:2001.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.END -- Test Case: checkDialInPumpMCCurrent.005 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpMCCurrent TEST.NEW TEST.NAME:checkDialInPumpMCCurrent.005 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1022 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:0 >>> >>> Could not find function isAlarmActive >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isAlarmActive(ALARM_ID_HD_AC_POWER_LOST)) ==> TRUE (2) if ((DIAL_IN_PUMP_OFF_STATE) == dialInPumpState) ==> FALSE (5) if (dipCurr > (2000.0F)) ==> FALSE Test Case Generation Notes: Cannot set return value of function fabs in branch 5 TEST.END_NOTES: TEST.STUB:DialInFlow.getMeasuredDialInPumpMCCurrent TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.VALUE:DialInFlow.<>.dipCurrErrorDurationCtr:2000 TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCCurrent.return:2001.0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_DIAL_IN_PUMP_MC_CURRENT_CHECK TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.flt.data:2001.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.EXPECTED:DialInFlow.<>.dipCurrErrorDurationCtr:2010 TEST.END -- Test Case: checkDialInPumpMCCurrent.006 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpMCCurrent TEST.NEW TEST.NAME:checkDialInPumpMCCurrent.006 TEST.STUB:DialInFlow.getMeasuredDialInPumpMCCurrent TEST.VALUE:DialInFlow.<>.dipCurrErrorDurationCtr:2005 TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCCurrent.return:200.0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_DIAL_IN_PUMP_MC_CURRENT_CHECK TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.flt.data:200.0 TEST.EXPECTED:DialInFlow.<>.dipCurrErrorDurationCtr:2015 TEST.END -- Test Case: checkDialInPumpMCCurrent.007 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpMCCurrent TEST.NEW TEST.NAME:checkDialInPumpMCCurrent.007 TEST.STUB:DialInFlow.getMeasuredDialInPumpMCCurrent TEST.VALUE:DialInFlow.<>.dipCurrErrorDurationCtr:5001 TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCCurrent.return:200.0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_DIAL_IN_PUMP_MC_CURRENT_CHECK TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.flt.data:200.0 TEST.EXPECTED:DialInFlow.<>.dipCurrErrorDurationCtr:5011 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_DIAL_IN_PUMP_MC_CURRENT_CHECK TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.flt.data:200.0 TEST.END -- Test Case: checkDialInPumpMCCurrent.008 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpMCCurrent TEST.NEW TEST.NAME:checkDialInPumpMCCurrent.008 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isAlarmActive(ALARM_ID_HD_AC_POWER_LOST)) ==> TRUE (2) if ((DIAL_IN_PUMP_OFF_STATE) == dialInPumpState) ==> FALSE (5) if (dipCurr > (2000.0F)) ==> FALSE Test Case Generation Notes: Cannot set return value of function fabs in branch 5 TEST.END_NOTES: TEST.STUB:DialInFlow.getMeasuredDialInPumpMCCurrent TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.VALUE:DialInFlow.<>.dipCurrErrorDurationCtr:5001 TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCCurrent.return:2001.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.END -- Subprogram: checkDialInPumpRotor -- Test Case: checkDialInPumpRotor.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpRotor TEST.NEW TEST.NAME:checkDialInPumpRotor.001 TEST.VALUE:DialInFlow.<>.targetDialInFlowRate:100 TEST.VALUE:DialInFlow.<>.dipRotorRevStartTime:109000 TEST.VALUE:DialInFlow.<>.dipStopAtHomePosition:1 TEST.VALUE:DialInFlow.<>.dipHomeStartTime:100000 TEST.VALUE:uut_prototype_stubs.didTimeout.return:(2)0 TEST.EXPECTED:DialInFlow.<>.targetDialInFlowRate:100 TEST.EXPECTED:DialInFlow.<>.dipStopAtHomePosition:1 TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:100000,109000 TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:10000 TEST.END -- Test Case: checkDialInPumpRotor.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpRotor TEST.NEW TEST.NAME:checkDialInPumpRotor.002 TEST.BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == dipStopAtHomePosition && (1) == didTimeout(dipHomeStartTime, 10000)) ==> FALSE (2) if ((1) == didTimeout(dipRotorRevStartTime, 10000)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dipStopAtHomePosition:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:DialInFlow.<>.dipStopAtHomePosition:0 TEST.END -- Test Case: checkDialInPumpRotor.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpRotor TEST.NEW TEST.NAME:checkDialInPumpRotor.003 TEST.BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == dipStopAtHomePosition && (1) == didTimeout(dipHomeStartTime, 10000)) ==> FALSE (2) if ((1) == didTimeout(dipRotorRevStartTime, 10000)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dipStopAtHomePosition:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:DialInFlow.<>.dipStopAtHomePosition:0 TEST.END -- Test Case: checkDialInPumpRotor.004 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpRotor TEST.NEW TEST.NAME:checkDialInPumpRotor.004 TEST.BASIS_PATH:3 of 3 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == dipStopAtHomePosition && (1) == didTimeout(dipHomeStartTime, 10000)) ==> TRUE (2) if ((1) == didTimeout(dipRotorRevStartTime, 10000)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.didTimeout.return 'equal to' and 'not equal to' same value in branches 1/2 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dipStopAtHomePosition:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:DialInFlow.<>.dipStopAtHomePosition:0 TEST.END -- Subprogram: checkDialInPumpSpeeds -- Test Case: checkDialInPumpSpeeds.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpSpeeds TEST.NEW TEST.NAME:checkDialInPumpSpeeds.001 TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.1 TEST.VALUE:DialInFlow.<>.errorDialInMotorOffPersistTimerCtr:0 TEST.VALUE:DialInFlow.<>.errorDialInMotorSpeedPersistTimerCtr:0 TEST.VALUE:DialInFlow.<>.errorDialInRotorSpeedPersistTimerCtr:0 TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:100.0 TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:100.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.1 TEST.EXPECTED:DialInFlow.<>.errorDialInMotorOffPersistTimerCtr:0 TEST.EXPECTED:DialInFlow.<>.errorDialInMotorSpeedPersistTimerCtr:0 TEST.EXPECTED:DialInFlow.<>.errorDialInRotorSpeedPersistTimerCtr:1 TEST.END -- Test Case: checkDialInPumpSpeeds.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpSpeeds TEST.NEW TEST.NAME:checkDialInPumpSpeeds.002 TEST.BASIS_PATH:1 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (0 == targetDialInFlowRate) ==> FALSE (4) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.VALUE:DialInFlow.<>.targetDialInFlowRate:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.EXPECTED:DialInFlow.<>.targetDialInFlowRate:-2147483648 TEST.END -- Test Case: checkDialInPumpSpeeds.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpSpeeds TEST.NEW TEST.NAME:checkDialInPumpSpeeds.003 TEST.BASIS_PATH:2 of 9 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (0 == targetDialInFlowRate) ==> FALSE (4) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> TRUE (5) if (deltaMotorSpeed > (300.0F) || deltaMCMotorSpeed > (300.0F)) ==> FALSE (7) if (deltaRotorSpeed > (5.0F)) ==> FALSE Test Case Generation Notes: Cannot set local variable deltaMotorSpeed in branch 5 Cannot set local variable deltaMCMotorSpeed in branch 5 Cannot set local variable deltaRotorSpeed in branch 7 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.targetDialInFlowRate:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:DialInFlow.<>.targetDialInFlowRate:-2147483648 TEST.END -- Test Case: checkDialInPumpSpeeds.004 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpSpeeds TEST.NEW TEST.NAME:checkDialInPumpSpeeds.004 TEST.STUB:DialInFlow.getMeasuredDialInPumpRotorSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.1 TEST.VALUE:DialInFlow.<>.errorDialInMotorOffPersistTimerCtr:0 TEST.VALUE:DialInFlow.<>.errorDialInMotorSpeedPersistTimerCtr:0 TEST.VALUE:DialInFlow.<>.errorDialInRotorSpeedPersistTimerCtr:0 TEST.VALUE:DialInFlow.getMeasuredDialInPumpRotorSpeed.return:32.0 TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:100.0 TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:100.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.1 TEST.EXPECTED:DialInFlow.<>.errorDialInMotorOffPersistTimerCtr:0 TEST.EXPECTED:DialInFlow.<>.errorDialInMotorSpeedPersistTimerCtr:0 TEST.EXPECTED:DialInFlow.<>.errorDialInRotorSpeedPersistTimerCtr:1 TEST.END -- Test Case: checkDialInPumpSpeeds.005 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpSpeeds TEST.NEW TEST.NAME:checkDialInPumpSpeeds.005 TEST.STUB:DialInFlow.getMeasuredDialInPumpRotorSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.STUB:DialInFlow.getPumpRotorErrorPersistTime TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.1 TEST.VALUE:DialInFlow.<>.errorDialInMotorOffPersistTimerCtr:0 TEST.VALUE:DialInFlow.<>.errorDialInMotorSpeedPersistTimerCtr:0 TEST.VALUE:DialInFlow.<>.errorDialInRotorSpeedPersistTimerCtr:10 TEST.VALUE:DialInFlow.getMeasuredDialInPumpRotorSpeed.return:32.0 TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:100.0 TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:100.0 TEST.VALUE:DialInFlow.getPumpRotorErrorPersistTime.return:10 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_DIAL_IN_PUMP_ROTOR_SPEED_CHECK TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.1 TEST.EXPECTED:DialInFlow.<>.errorDialInMotorOffPersistTimerCtr:0 TEST.EXPECTED:DialInFlow.<>.errorDialInMotorSpeedPersistTimerCtr:0 TEST.EXPECTED:DialInFlow.<>.errorDialInRotorSpeedPersistTimerCtr:11 TEST.EXPECTED:DialInFlow.getPumpRotorErrorPersistTime.mtr_rpm:100.0 TEST.EXPECTED:DialInFlow.getPumpRotorErrorPersistTime.gear_ratio:32.0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_DIAL_IN_PUMP_ROTOR_SPEED_CHECK TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:32.0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:100.0 TEST.END -- Test Case: checkDialInPumpSpeeds.006 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpSpeeds TEST.NEW TEST.NAME:checkDialInPumpSpeeds.006 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (0 == targetDialInFlowRate) ==> FALSE (4) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> TRUE (5) if (deltaMotorSpeed > (300.0F) || deltaMCMotorSpeed > (300.0F)) ==> FALSE (7) if (deltaRotorSpeed > (5.0F)) ==> FALSE Test Case Generation Notes: Cannot set local variable deltaMotorSpeed in branch 5 Cannot set local variable deltaMCMotorSpeed in branch 5 Cannot set local variable deltaRotorSpeed in branch 7 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.targetDialInFlowRate:<> TEST.VALUE:DialInFlow.<>.errorDialInMotorSpeedPersistTimerCtr:600 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_DIAL_IN_PUMP_MOTOR_SPEED_CHECK TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:DialInFlow.<>.targetDialInFlowRate:-2147483648 TEST.EXPECTED:DialInFlow.<>.errorDialInMotorSpeedPersistTimerCtr:601 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_DIAL_IN_PUMP_MOTOR_SPEED_CHECK TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:-400.0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:0.0 TEST.END -- Test Case: checkDialInPumpSpeeds.007 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpSpeeds TEST.NEW TEST.NAME:checkDialInPumpSpeeds.007 TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.1 TEST.VALUE:DialInFlow.<>.errorDialInMotorOffPersistTimerCtr:0 TEST.VALUE:DialInFlow.<>.errorDialInMotorSpeedPersistTimerCtr:0 TEST.VALUE:DialInFlow.<>.errorDialInRotorSpeedPersistTimerCtr:0 TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:200.0 TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:100.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.1 TEST.EXPECTED:DialInFlow.<>.errorDialInMotorOffPersistTimerCtr:1 TEST.EXPECTED:DialInFlow.<>.errorDialInMotorSpeedPersistTimerCtr:0 TEST.EXPECTED:DialInFlow.<>.errorDialInRotorSpeedPersistTimerCtr:1 TEST.END -- Test Case: checkDialInPumpSpeeds.008 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpSpeeds TEST.NEW TEST.NAME:checkDialInPumpSpeeds.008 TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.1 TEST.VALUE:DialInFlow.<>.errorDialInMotorOffPersistTimerCtr:501 TEST.VALUE:DialInFlow.<>.errorDialInMotorSpeedPersistTimerCtr:0 TEST.VALUE:DialInFlow.<>.errorDialInRotorSpeedPersistTimerCtr:0 TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:200.0 TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:100.0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_DIAL_IN_PUMP_OFF_CHECK TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.1 TEST.EXPECTED:DialInFlow.<>.errorDialInMotorOffPersistTimerCtr:502 TEST.EXPECTED:DialInFlow.<>.errorDialInMotorSpeedPersistTimerCtr:0 TEST.EXPECTED:DialInFlow.<>.errorDialInRotorSpeedPersistTimerCtr:1 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_DIAL_IN_PUMP_OFF_CHECK TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.flt.data:200.0 TEST.END -- Test Case: checkDialInPumpSpeeds.009 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpSpeeds TEST.NEW TEST.NAME:checkDialInPumpSpeeds.009 TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.1 TEST.VALUE:DialInFlow.<>.errorDialInMotorOffPersistTimerCtr:0 TEST.VALUE:DialInFlow.<>.errorDialInMotorSpeedPersistTimerCtr:0 TEST.VALUE:DialInFlow.<>.errorDialInRotorSpeedPersistTimerCtr:0 TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:100.0 TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.1 TEST.EXPECTED:DialInFlow.<>.errorDialInMotorOffPersistTimerCtr:0 TEST.EXPECTED:DialInFlow.<>.errorDialInMotorSpeedPersistTimerCtr:1 TEST.EXPECTED:DialInFlow.<>.errorDialInRotorSpeedPersistTimerCtr:1 TEST.END -- Test Case: checkDialInPumpSpeeds.010 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpSpeeds TEST.NEW TEST.NAME:checkDialInPumpSpeeds.010 TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.1 TEST.VALUE:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.<>.errorDialInMotorOffPersistTimerCtr:0 TEST.VALUE:DialInFlow.<>.errorDialInMotorSpeedPersistTimerCtr:0 TEST.VALUE:DialInFlow.<>.errorDialInRotorSpeedPersistTimerCtr:0 TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:100.0 TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:100.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.1 TEST.EXPECTED:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.<>.errorDialInMotorOffPersistTimerCtr:0 TEST.EXPECTED:DialInFlow.<>.errorDialInMotorSpeedPersistTimerCtr:0 TEST.EXPECTED:DialInFlow.<>.errorDialInRotorSpeedPersistTimerCtr:1 TEST.END -- Test Case: checkDialInPumpSpeeds.011 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:checkDialInPumpSpeeds TEST.NEW TEST.NAME:checkDialInPumpSpeeds.011 TEST.STUB:DialInFlow.getMeasuredDialInPumpSpeed TEST.STUB:DialInFlow.getMeasuredDialInPumpMCSpeed TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.1 TEST.VALUE:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.<>.errorDialInMotorOffPersistTimerCtr:0 TEST.VALUE:DialInFlow.<>.errorDialInMotorSpeedPersistTimerCtr:0 TEST.VALUE:DialInFlow.<>.errorDialInRotorSpeedPersistTimerCtr:0 TEST.VALUE:DialInFlow.getMeasuredDialInPumpSpeed.return:100.0 TEST.VALUE:DialInFlow.getMeasuredDialInPumpMCSpeed.return:100.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.1 TEST.EXPECTED:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.<>.errorDialInMotorOffPersistTimerCtr:0 TEST.EXPECTED:DialInFlow.<>.errorDialInMotorSpeedPersistTimerCtr:0 TEST.EXPECTED:DialInFlow.<>.errorDialInRotorSpeedPersistTimerCtr:1 TEST.END -- Subprogram: dialysateInPumpPWMFromTargetFlowRate -- Test Case: dialysateInPumpPWMFromTargetFlowRate.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:dialysateInPumpPWMFromTargetFlowRate TEST.NEW TEST.NAME:dialysateInPumpPWMFromTargetFlowRate.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (r > (25000)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:DialInFlow.getDialInPumpRotorCount TEST.VALUE:DialInFlow.dialysateInPumpPWMFromTargetFlowRate.QdTarget:<> TEST.VALUE:DialInFlow.getDialInPumpRotorCount.return:<> TEST.EXPECTED:DialInFlow.dialysateInPumpPWMFromTargetFlowRate.QdTarget:-3.40282E+38 TEST.END -- Test Case: dialysateInPumpPWMFromTargetFlowRate.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:dialysateInPumpPWMFromTargetFlowRate TEST.NEW TEST.NAME:dialysateInPumpPWMFromTargetFlowRate.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (r > (25000)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:DialInFlow.getDialInPumpRotorCount TEST.VALUE:DialInFlow.dialysateInPumpPWMFromTargetFlowRate.QdTarget:<> TEST.VALUE:DialInFlow.getDialInPumpRotorCount.return:<> TEST.EXPECTED:DialInFlow.dialysateInPumpPWMFromTargetFlowRate.QdTarget:-3.40282E+38 TEST.END -- Subprogram: dialysateInPumpRPMFromTargetFlowRate -- Test Case: dialysateInPumpRPMFromTargetFlowRate.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:dialysateInPumpRPMFromTargetFlowRate TEST.NEW TEST.NAME:dialysateInPumpRPMFromTargetFlowRate.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (r > (25000)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:DialInFlow.getDialInPumpRotorCount TEST.VALUE:DialInFlow.dialysateInPumpRPMFromTargetFlowRate.QdTarget:<> TEST.VALUE:DialInFlow.getDialInPumpRotorCount.return:<> TEST.EXPECTED:DialInFlow.dialysateInPumpRPMFromTargetFlowRate.QdTarget:-3.40282E+38 TEST.END -- Test Case: dialysateInPumpRPMFromTargetFlowRate.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:dialysateInPumpRPMFromTargetFlowRate TEST.NEW TEST.NAME:dialysateInPumpRPMFromTargetFlowRate.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (r > (25000)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:DialInFlow.getDialInPumpRotorCount TEST.VALUE:DialInFlow.dialysateInPumpRPMFromTargetFlowRate.QdTarget:<> TEST.VALUE:DialInFlow.getDialInPumpRotorCount.return:<> TEST.EXPECTED:DialInFlow.dialysateInPumpRPMFromTargetFlowRate.QdTarget:-3.40282E+38 TEST.END -- Subprogram: execDialInFlowController -- Test Case: execDialInFlowController.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:execDialInFlowController TEST.NEW TEST.NAME:execDialInFlowController.001 TEST.VALUE:DialInFlow.<>.ptr_mibspiREG5:<> TEST.VALUE:DialInFlow.<>.ptr_pwmREG2:<> TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.8 TEST.VALUE:DialInFlow.<>.targetDialInFlowRate:500 TEST.VALUE:DialInFlow.<>.dipControlTimerCounter:999 TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:DialInFlow.<>.dipControlTimerCounter:0 TEST.END -- Test Case: execDialInFlowController.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:execDialInFlowController TEST.NEW TEST.NAME:execDialInFlowController.002 TEST.BASIS_PATH:1 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 1 (5) case dialInPumpState ==> default Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:NUM_OF_DIAL_IN_PUMP_STATES TEST.EXPECTED:DialInFlow.<>.dialInPumpState:NUM_OF_DIAL_IN_PUMP_STATES TEST.END -- Test Case: execDialInFlowController.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:execDialInFlowController TEST.NEW TEST.NAME:execDialInFlowController.003 TEST.BASIS_PATH:2 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) case dialInPumpState ==> DIAL_IN_PUMP_OFF_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.END -- Test Case: execDialInFlowController.004 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:execDialInFlowController TEST.NEW TEST.NAME:execDialInFlowController.004 TEST.BASIS_PATH:4 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 4 (3) case dialInPumpState ==> DIAL_IN_PUMP_RAMPING_DOWN_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_DOWN_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.END -- Test Case: execDialInFlowController.005 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:execDialInFlowController TEST.NEW TEST.NAME:execDialInFlowController.005 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) case dialInPumpState ==> DIAL_IN_PUMP_OFF_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:DialInFlow.handleDialInPumpRampingUpState TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.VALUE:DialInFlow.handleDialInPumpRampingUpState.return:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.END -- Subprogram: execDialInFlowMonitor -- Test Case: execDialInFlowMonitor.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:execDialInFlowMonitor TEST.NEW TEST.NAME:execDialInFlowMonitor.001 TEST.STUB:DialInFlow.filterDialInFlowReadings TEST.VALUE:DialInFlow.<>.dialysateFlowDataFreshStatusCounter:1000 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCSpeedRPM.data:-3500.0 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCCurrentmA.data:-5998.0 TEST.VALUE:DialInFlow.filterDialInFlowReadings.flow:0.0 TEST.VALUE:uut_prototype_stubs.getIntADCReading.channel:INT_ADC_DIAL_IN_PUMP_SPEED,INT_ADC_DIAL_IN_PUMP_MOTOR_CURRENT TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:0 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCSpeedRPM.data:-3500.0 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCCurrentmA.data:-5998.0 TEST.END -- Test Case: execDialInFlowMonitor.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:execDialInFlowMonitor TEST.NEW TEST.NAME:execDialInFlowMonitor.002 TEST.BASIS_PATH:3 of 5 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == getDialysateFlowDataFreshFlag()) ==> FALSE (2) if ((1) == isDGCommunicating()) ==> TRUE (3) if (++dialysateFlowDataFreshStatusCounter > DIP_DIALYSATE_FLOW_DATA_ALARM_THRESHOLD) ==> FALSE (4) if (opMode != (MODE_INIT)) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 3 TEST.END_NOTES: TEST.STUB:DialInFlow.publishDialInFlowData TEST.STUB:DialInFlow.updateDialInPumpSpeedAndDirectionFromHallSensors TEST.VALUE:uut_prototype_stubs.getFPGADialInPumpHallSensorStatus.return:0x3F TEST.VALUE:uut_prototype_stubs.getIntADCReading.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT TEST.VALUE:uut_prototype_stubs.getDialysateFlowDataFreshFlag.return:0 TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCSpeedRPM.data:-3500.0 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCCurrentmA.data:-5998.0 TEST.EXPECTED:DialInFlow.<>.lastDialInPumpDirectionCount:0x3F TEST.EXPECTED:uut_prototype_stubs.getIntADCReading.channel:INT_ADC_DIAL_IN_PUMP_SPEED,INT_ADC_DIAL_IN_PUMP_MOTOR_CURRENT TEST.END -- Test Case: execDialInFlowMonitor.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:execDialInFlowMonitor TEST.NEW TEST.NAME:execDialInFlowMonitor.003 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == getDialysateFlowDataFreshFlag()) ==> FALSE (2) if ((1) == isDGCommunicating()) ==> TRUE (3) if (++dialysateFlowDataFreshStatusCounter > DIP_DIALYSATE_FLOW_DATA_ALARM_THRESHOLD) ==> FALSE (4) if (opMode != (MODE_INIT)) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 3 TEST.END_NOTES: TEST.STUB:DialInFlow.publishDialInFlowData TEST.STUB:DialInFlow.updateDialInPumpSpeedAndDirectionFromHallSensors TEST.VALUE:DialInFlow.<>.dialysateFlowDataFreshStatusCounter:301 TEST.VALUE:uut_prototype_stubs.getFPGADialInPumpHallSensorStatus.return:0x3F TEST.VALUE:uut_prototype_stubs.getIntADCReading.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT TEST.VALUE:uut_prototype_stubs.getDialysateFlowDataFreshFlag.return:0 TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCSpeedRPM.data:-3500.0 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCCurrentmA.data:-5998.0 TEST.EXPECTED:DialInFlow.<>.lastDialInPumpDirectionCount:0x3F TEST.EXPECTED:uut_prototype_stubs.getIntADCReading.channel:INT_ADC_DIAL_IN_PUMP_SPEED,INT_ADC_DIAL_IN_PUMP_MOTOR_CURRENT TEST.END -- Test Case: execDialInFlowMonitor.004 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:execDialInFlowMonitor TEST.NEW TEST.NAME:execDialInFlowMonitor.004 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == getDialysateFlowDataFreshFlag()) ==> FALSE (2) if ((1) == isDGCommunicating()) ==> TRUE (3) if (++dialysateFlowDataFreshStatusCounter > DIP_DIALYSATE_FLOW_DATA_ALARM_THRESHOLD) ==> FALSE (4) if (opMode != (MODE_INIT)) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 3 TEST.END_NOTES: TEST.STUB:DialInFlow.publishDialInFlowData TEST.STUB:DialInFlow.updateDialInPumpSpeedAndDirectionFromHallSensors TEST.VALUE:uut_prototype_stubs.getFPGADialInPumpHallSensorStatus.return:0x3F TEST.VALUE:uut_prototype_stubs.getIntADCReading.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT TEST.VALUE:uut_prototype_stubs.getDialysateFlowDataFreshFlag.return:0 TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCSpeedRPM.data:-3500.0 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCCurrentmA.data:-5998.0 TEST.EXPECTED:DialInFlow.<>.lastDialInPumpDirectionCount:0x3F TEST.EXPECTED:uut_prototype_stubs.getIntADCReading.channel:INT_ADC_DIAL_IN_PUMP_SPEED,INT_ADC_DIAL_IN_PUMP_MOTOR_CURRENT TEST.END -- Test Case: execDialInFlowMonitor.005 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:execDialInFlowMonitor TEST.NEW TEST.NAME:execDialInFlowMonitor.005 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == getDialysateFlowDataFreshFlag()) ==> FALSE (2) if ((1) == isDGCommunicating()) ==> TRUE (3) if (++dialysateFlowDataFreshStatusCounter > DIP_DIALYSATE_FLOW_DATA_ALARM_THRESHOLD) ==> FALSE (4) if (opMode != (MODE_INIT)) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 3 TEST.END_NOTES: TEST.STUB:DialInFlow.publishDialInFlowData TEST.STUB:DialInFlow.updateDialInPumpSpeedAndDirectionFromHallSensors TEST.VALUE:uut_prototype_stubs.isACPowerLost.return:1 TEST.VALUE:uut_prototype_stubs.getFPGADialInPumpHallSensorStatus.return:0x3F TEST.VALUE:uut_prototype_stubs.getIntADCReading.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT TEST.VALUE:uut_prototype_stubs.getDialysateFlowDataFreshFlag.return:0 TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCSpeedRPM.data:-3500.0 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCCurrentmA.data:-5998.0 TEST.EXPECTED:DialInFlow.<>.lastDialInPumpDirectionCount:0x3F TEST.EXPECTED:uut_prototype_stubs.getIntADCReading.channel:INT_ADC_DIAL_IN_PUMP_SPEED,INT_ADC_DIAL_IN_PUMP_MOTOR_CURRENT TEST.END -- Test Case: execDialInFlowMonitor.006 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:execDialInFlowMonitor TEST.NEW TEST.NAME:execDialInFlowMonitor.006 TEST.BASIS_PATH:5 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((1) == getDialysateFlowDataFreshFlag()) ==> TRUE (4) if (opMode != (MODE_INIT)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:DialInFlow.calcDialInFlow TEST.STUB:DialInFlow.getMeasuredDialInFlowRate TEST.STUB:DialInFlow.publishDialInFlowData TEST.STUB:DialInFlow.filterDialInFlowReadings TEST.STUB:DialInFlow.updateDialInPumpSpeedAndDirectionFromHallSensors TEST.VALUE:DialInFlow.calcDialInFlow.return:10.0 TEST.VALUE:DialInFlow.getMeasuredDialInFlowRate.return:0.0 TEST.VALUE:uut_prototype_stubs.isACPowerLost.return:1 TEST.VALUE:uut_prototype_stubs.getFPGADialInPumpHallSensorStatus.return:0x3F TEST.VALUE:uut_prototype_stubs.getIntADCReading.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT TEST.VALUE:uut_prototype_stubs.getDialysateFlowDataFreshFlag.return:1 TEST.VALUE:uut_prototype_stubs.getDGDialysateFlowRateLMin.return:10.0 TEST.EXPECTED:DialInFlow.<>.dialysateFlowDataFreshStatusCounter:0 TEST.EXPECTED:DialInFlow.<>.measuredDialInFlowRate.data:10.0 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCSpeedRPM.data:-3500.0 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCCurrentmA.data:-5998.0 TEST.EXPECTED:DialInFlow.<>.lastDialInPumpDirectionCount:0x3F TEST.EXPECTED:DialInFlow.filterDialInFlowReadings.flow:10000.0 TEST.END -- Subprogram: execDialInFlowTest -- Test Case: execDialInFlowTest.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:execDialInFlowTest TEST.NEW TEST.NAME:execDialInFlowTest.001 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == calStatus) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.execDialInFlowTest.return:SELF_TEST_STATUS_PASSED TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.return:1 TEST.EXPECTED:DialInFlow.execDialInFlowTest.return:SELF_TEST_STATUS_PASSED TEST.END -- Test Case: execDialInFlowTest.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:execDialInFlowTest TEST.NEW TEST.NAME:execDialInFlowTest.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == calStatus) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.return:<> TEST.END -- Test Case: execDialInFlowTest.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:execDialInFlowTest TEST.NEW TEST.NAME:execDialInFlowTest.003 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == calStatus) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.return:1 TEST.END -- Subprogram: filterDialInFlowReadings -- Test Case: filterDialInFlowReadings.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:filterDialInFlowReadings TEST.NEW TEST.NAME:filterDialInFlowReadings.001 TEST.VALUE:DialInFlow.<>.flowReadings[2]:500.0 TEST.VALUE:DialInFlow.<>.flowReadingsIdx:2 TEST.VALUE:DialInFlow.<>.flowReadingsTotal:1000.0 TEST.VALUE:DialInFlow.<>.flowReadingsCount:2 TEST.VALUE:DialInFlow.filterDialInFlowReadings.flow:500.0 TEST.EXPECTED:DialInFlow.<>.flowReadings[2]:500.0 TEST.EXPECTED:DialInFlow.<>.flowReadingsIdx:3 TEST.EXPECTED:DialInFlow.<>.flowReadingsTotal:1500.0 TEST.EXPECTED:DialInFlow.<>.flowReadingsCount:3 TEST.END -- Test Case: filterDialInFlowReadings.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:filterDialInFlowReadings TEST.NEW TEST.NAME:filterDialInFlowReadings.002 TEST.BASIS_PATH:1 of 4 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (flowReadingsCount >= (4)) ==> FALSE (2) if (flowReadingsIdx >= 4 - 1) ==> FALSE (3) if (flowReadingsCount >= (4)) ==> FALSE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( DialInFlow.<>.flowReadingsIdx ) in branch 2 Cannot set flowReadingsCount due to assignment TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.flowReadingsIdx:<> TEST.VALUE:DialInFlow.<>.flowReadingsCount:<> TEST.VALUE:DialInFlow.filterDialInFlowReadings.flow:<> TEST.EXPECTED:DialInFlow.<>.flowReadingsIdx:1 TEST.EXPECTED:DialInFlow.<>.flowReadingsCount:1 TEST.EXPECTED:DialInFlow.filterDialInFlowReadings.flow:-1.79769E+308 TEST.END -- Test Case: filterDialInFlowReadings.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:filterDialInFlowReadings TEST.NEW TEST.NAME:filterDialInFlowReadings.003 TEST.BASIS_PATH:2 of 4 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (flowReadingsCount >= (4)) ==> FALSE (2) if (flowReadingsIdx >= 4 - 1) ==> FALSE (3) if (flowReadingsCount >= (4)) ==> TRUE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( DialInFlow.<>.flowReadingsIdx ) in branch 2 Conflict: Trying to set variable DialInFlow.<>.flowReadingsCount 'less than' and 'greater than' same value in branches 1/3 Cannot set flowReadingsCount due to assignment TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.flowReadingsIdx:<> TEST.VALUE:DialInFlow.<>.flowReadingsCount:<> TEST.VALUE:DialInFlow.filterDialInFlowReadings.flow:<> TEST.EXPECTED:DialInFlow.<>.flowReadingsIdx:1 TEST.EXPECTED:DialInFlow.<>.flowReadingsCount:1 TEST.EXPECTED:DialInFlow.filterDialInFlowReadings.flow:-1.79769E+308 TEST.END -- Test Case: filterDialInFlowReadings.004 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:filterDialInFlowReadings TEST.NEW TEST.NAME:filterDialInFlowReadings.004 TEST.BASIS_PATH:4 of 4 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (flowReadingsCount >= (4)) ==> TRUE (2) if (flowReadingsIdx >= 4 - 1) ==> FALSE (3) if (flowReadingsCount >= (4)) ==> FALSE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( DialInFlow.<>.flowReadingsIdx ) in branch 2 Conflict: Trying to set variable DialInFlow.<>.flowReadingsCount 'less than' and 'greater than' same value in branches 1/3 Cannot set flowReadingsCount due to assignment TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.flowReadingsIdx:<> TEST.VALUE:DialInFlow.<>.flowReadingsCount:<> TEST.VALUE:DialInFlow.filterDialInFlowReadings.flow:<> TEST.EXPECTED:DialInFlow.<>.flowReadingsIdx:1 TEST.EXPECTED:DialInFlow.<>.flowReadingsCount:4 TEST.EXPECTED:DialInFlow.filterDialInFlowReadings.flow:-1.79769E+308 TEST.END -- Test Case: filterDialInFlowReadings.005 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:filterDialInFlowReadings TEST.NEW TEST.NAME:filterDialInFlowReadings.005 TEST.VALUE:DialInFlow.<>.flowReadings[2]:500.0 TEST.VALUE:DialInFlow.<>.flowReadingsIdx:3 TEST.VALUE:DialInFlow.<>.flowReadingsTotal:1000.0 TEST.VALUE:DialInFlow.<>.flowReadingsCount:2 TEST.VALUE:DialInFlow.filterDialInFlowReadings.flow:500.0 TEST.EXPECTED:DialInFlow.<>.flowReadings[2]:500.0 TEST.EXPECTED:DialInFlow.<>.flowReadingsIdx:0 TEST.EXPECTED:DialInFlow.<>.flowReadingsTotal:1500.0 TEST.EXPECTED:DialInFlow.<>.flowReadingsCount:3 TEST.EXPECTED:DialInFlow.filterDialInFlowReadings.flow:500.0 TEST.END -- Subprogram: getDialInPumpPWMDutyCyclePct -- Test Case: getDialInPumpPWMDutyCyclePct.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getDialInPumpPWMDutyCyclePct TEST.NEW TEST.NAME:getDialInPumpPWMDutyCyclePct.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == init) ==> 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:DialInFlow.getDialInPumpPWMDutyCyclePct.init:1 TEST.VALUE:DialInFlow.getDialInPumpPWMDutyCyclePct.return:0.0 TEST.EXPECTED:DialInFlow.getDialInPumpPWMDutyCyclePct.return:0.0 TEST.END -- Test Case: getDialInPumpPWMDutyCyclePct.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getDialInPumpPWMDutyCyclePct TEST.NEW TEST.NAME:getDialInPumpPWMDutyCyclePct.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == init) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.getDialInPumpPWMDutyCyclePct.init:<> TEST.EXPECTED:DialInFlow.getDialInPumpPWMDutyCyclePct.init:0 TEST.END -- Test Case: getDialInPumpPWMDutyCyclePct.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getDialInPumpPWMDutyCyclePct TEST.NEW TEST.NAME:getDialInPumpPWMDutyCyclePct.003 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == init) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.getDialInPumpPWMDutyCyclePct.init:1 TEST.EXPECTED:DialInFlow.getDialInPumpPWMDutyCyclePct.init:1 TEST.END -- Subprogram: getDialInPumpRotorCount -- Test Case: getDialInPumpRotorCount.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getDialInPumpRotorCount TEST.NEW TEST.NAME:getDialInPumpRotorCount.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (0xccc33c33U == dialysateInPumpRotorCounter.override) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialysateInPumpRotorCounter.override:<> TEST.EXPECTED:DialInFlow.<>.dialysateInPumpRotorCounter.override:0 TEST.END -- Test Case: getDialInPumpRotorCount.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getDialInPumpRotorCount TEST.NEW TEST.NAME:getDialInPumpRotorCount.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (0xccc33c33U == dialysateInPumpRotorCounter.override) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialysateInPumpRotorCounter.override:3435346995 TEST.EXPECTED:DialInFlow.<>.dialysateInPumpRotorCounter.override:3435346995 TEST.END -- Subprogram: getMeasuredDialInFlowRate -- Test Case: getMeasuredDialInFlowRate.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getMeasuredDialInFlowRate TEST.NEW TEST.NAME:getMeasuredDialInFlowRate.001 TEST.VALUE:DialInFlow.<>.measuredDialInFlowRate.data:300.0 TEST.VALUE:DialInFlow.<>.measuredDialInFlowRate.ovInitData:0.0 TEST.VALUE:DialInFlow.<>.measuredDialInFlowRate.ovData:0.0 TEST.VALUE:DialInFlow.<>.measuredDialInFlowRate.override:0 TEST.EXPECTED:DialInFlow.getMeasuredDialInFlowRate.return:300.0 TEST.END -- Test Case: getMeasuredDialInFlowRate.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getMeasuredDialInFlowRate TEST.NEW TEST.NAME:getMeasuredDialInFlowRate.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (0xccc33c33U == measuredDialInFlowRate.override) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.measuredDialInFlowRate.override:<> TEST.EXPECTED:DialInFlow.<>.measuredDialInFlowRate.override:0 TEST.END -- Test Case: getMeasuredDialInFlowRate.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getMeasuredDialInFlowRate TEST.NEW TEST.NAME:getMeasuredDialInFlowRate.003 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (0xccc33c33U == measuredDialInFlowRate.override) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.measuredDialInFlowRate.override:3435346995 TEST.EXPECTED:DialInFlow.<>.measuredDialInFlowRate.override:3435346995 TEST.END -- Subprogram: getMeasuredDialInPumpMCCurrent -- Test Case: getMeasuredDialInPumpMCCurrent.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getMeasuredDialInPumpMCCurrent TEST.NEW TEST.NAME:getMeasuredDialInPumpMCCurrent.001 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCCurrentmA.data:800.0 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCCurrentmA.ovInitData:0.0 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCCurrentmA.ovData:0.0 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCCurrentmA.override:0 TEST.EXPECTED:DialInFlow.getMeasuredDialInPumpMCCurrent.return:800.0 TEST.END -- Test Case: getMeasuredDialInPumpMCCurrent.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getMeasuredDialInPumpMCCurrent TEST.NEW TEST.NAME:getMeasuredDialInPumpMCCurrent.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (0xccc33c33U == adcDialInPumpMCCurrentmA.override) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.adcDialInPumpMCCurrentmA.override:<> TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCCurrentmA.override:0 TEST.END -- Test Case: getMeasuredDialInPumpMCCurrent.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getMeasuredDialInPumpMCCurrent TEST.NEW TEST.NAME:getMeasuredDialInPumpMCCurrent.003 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (0xccc33c33U == adcDialInPumpMCCurrentmA.override) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.adcDialInPumpMCCurrentmA.override:3435346995 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCCurrentmA.override:3435346995 TEST.END -- Subprogram: getMeasuredDialInPumpMCSpeed -- Test Case: getMeasuredDialInPumpMCSpeed.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getMeasuredDialInPumpMCSpeed TEST.NEW TEST.NAME:getMeasuredDialInPumpMCSpeed.001 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCSpeedRPM.data:635.0 TEST.EXPECTED:DialInFlow.getMeasuredDialInPumpMCSpeed.return:635.0 TEST.END -- Test Case: getMeasuredDialInPumpMCSpeed.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getMeasuredDialInPumpMCSpeed TEST.NEW TEST.NAME:getMeasuredDialInPumpMCSpeed.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (0xccc33c33U == adcDialInPumpMCSpeedRPM.override) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.adcDialInPumpMCSpeedRPM.override:<> TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCSpeedRPM.override:0 TEST.END -- Test Case: getMeasuredDialInPumpMCSpeed.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getMeasuredDialInPumpMCSpeed TEST.NEW TEST.NAME:getMeasuredDialInPumpMCSpeed.003 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (0xccc33c33U == adcDialInPumpMCSpeedRPM.override) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.adcDialInPumpMCSpeedRPM.override:3435346995 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCSpeedRPM.override:3435346995 TEST.END -- Subprogram: getMeasuredDialInPumpRotorSpeed -- Test Case: getMeasuredDialInPumpRotorSpeed.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getMeasuredDialInPumpRotorSpeed TEST.NEW TEST.NAME:getMeasuredDialInPumpRotorSpeed.001 TEST.VALUE:DialInFlow.<>.dialInPumpRotorSpeedRPM.data:30.0 TEST.EXPECTED:DialInFlow.getMeasuredDialInPumpRotorSpeed.return:30.0 TEST.END -- Test Case: getMeasuredDialInPumpRotorSpeed.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getMeasuredDialInPumpRotorSpeed TEST.NEW TEST.NAME:getMeasuredDialInPumpRotorSpeed.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (0xccc33c33U == dialInPumpRotorSpeedRPM.override) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpRotorSpeedRPM.override:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpRotorSpeedRPM.override:0 TEST.END -- Test Case: getMeasuredDialInPumpRotorSpeed.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getMeasuredDialInPumpRotorSpeed TEST.NEW TEST.NAME:getMeasuredDialInPumpRotorSpeed.003 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (0xccc33c33U == dialInPumpRotorSpeedRPM.override) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpRotorSpeedRPM.override:3435346995 TEST.EXPECTED:DialInFlow.<>.dialInPumpRotorSpeedRPM.override:3435346995 TEST.END -- Subprogram: getMeasuredDialInPumpSpeed -- Test Case: getMeasuredDialInPumpSpeed.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getMeasuredDialInPumpSpeed TEST.NEW TEST.NAME:getMeasuredDialInPumpSpeed.001 TEST.VALUE:DialInFlow.<>.dialInPumpSpeedRPM.data:800.0 TEST.VALUE:DialInFlow.<>.dialInPumpSpeedRPM.ovInitData:0.0 TEST.VALUE:DialInFlow.<>.dialInPumpSpeedRPM.ovData:0.0 TEST.VALUE:DialInFlow.<>.dialInPumpSpeedRPM.override:0 TEST.EXPECTED:DialInFlow.getMeasuredDialInPumpSpeed.return:800.0 TEST.END -- Test Case: getMeasuredDialInPumpSpeed.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getMeasuredDialInPumpSpeed TEST.NEW TEST.NAME:getMeasuredDialInPumpSpeed.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (0xccc33c33U == dialInPumpSpeedRPM.override) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpSpeedRPM.override:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpSpeedRPM.override:0 TEST.END -- Test Case: getMeasuredDialInPumpSpeed.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getMeasuredDialInPumpSpeed TEST.NEW TEST.NAME:getMeasuredDialInPumpSpeed.003 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (0xccc33c33U == dialInPumpSpeedRPM.override) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpSpeedRPM.override:3435346995 TEST.EXPECTED:DialInFlow.<>.dialInPumpSpeedRPM.override:3435346995 TEST.END -- Subprogram: getPumpRotorErrorPersistTime -- Test Case: getPumpRotorErrorPersistTime.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getPumpRotorErrorPersistTime TEST.NEW TEST.NAME:getPumpRotorErrorPersistTime.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (mtr_rpm > (0)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.getPumpRotorErrorPersistTime.mtr_rpm:<> TEST.VALUE:DialInFlow.getPumpRotorErrorPersistTime.gear_ratio:<> TEST.EXPECTED:DialInFlow.getPumpRotorErrorPersistTime.mtr_rpm:-3.40282E+38 TEST.EXPECTED:DialInFlow.getPumpRotorErrorPersistTime.gear_ratio:-3.40282E+38 TEST.END -- Test Case: getPumpRotorErrorPersistTime.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getPumpRotorErrorPersistTime TEST.NEW TEST.NAME:getPumpRotorErrorPersistTime.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (mtr_rpm > (0)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.getPumpRotorErrorPersistTime.mtr_rpm:<> TEST.VALUE:DialInFlow.getPumpRotorErrorPersistTime.gear_ratio:<> TEST.EXPECTED:DialInFlow.getPumpRotorErrorPersistTime.mtr_rpm:3.40282E+38 TEST.EXPECTED:DialInFlow.getPumpRotorErrorPersistTime.gear_ratio:-3.40282E+38 TEST.END -- Subprogram: getTargetDialInFlowRate -- Test Case: getTargetDialInFlowRate TEST.UNIT:DialInFlow TEST.SUBPROGRAM:getTargetDialInFlowRate TEST.NEW TEST.NAME:getTargetDialInFlowRate TEST.VALUE:DialInFlow.<>.targetDialInFlowRate:200 TEST.EXPECTED:DialInFlow.getTargetDialInFlowRate.return:200 TEST.END -- Subprogram: handleDialInPumpControlToTargetState -- Test Case: handleDialInPumpControlToTargetState.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:handleDialInPumpControlToTargetState TEST.NEW TEST.NAME:handleDialInPumpControlToTargetState.001 TEST.VALUE:DialInFlow.<>.ptr_pwmREG2:<> TEST.VALUE:DialInFlow.<>.ptr_pwmREG2[0].TBPRD:25833 TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.75 TEST.VALUE:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.VALUE:DialInFlow.<>.dialInPumpControlModeSet:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.VALUE:DialInFlow.<>.targetDialInFlowRate:500 TEST.VALUE:DialInFlow.<>.measuredDialInFlowRate.data:497.0 TEST.VALUE:DialInFlow.<>.dipControlTimerCounter:80 TEST.VALUE:uut_prototype_stubs.runPIController.return:0.76 TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.76 TEST.EXPECTED:DialInFlow.<>.dipControlTimerCounter:0 TEST.EXPECTED:DialInFlow.handleDialInPumpControlToTargetState.return:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:uut_prototype_stubs.etpwmSetCmpA.value:19633 TEST.EXPECTED:uut_prototype_stubs.runPIController.controllerID:PI_CONTROLLER_ID_DIALYSATE_FLOW TEST.EXPECTED:uut_prototype_stubs.runPIController.referenceSignal:500.0 TEST.EXPECTED:uut_prototype_stubs.runPIController.measuredSignal:497.0 TEST.END -- Test Case: handleDialInPumpControlToTargetState.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:handleDialInPumpControlToTargetState TEST.NEW TEST.NAME:handleDialInPumpControlToTargetState.002 TEST.VALUE:DialInFlow.<>.ptr_pwmREG2:<> TEST.VALUE:DialInFlow.<>.ptr_pwmREG2[0].TBPRD:25833 TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.75 TEST.VALUE:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.VALUE:DialInFlow.<>.dialInPumpControlModeSet:PUMP_CONTROL_MODE_OPEN_LOOP TEST.VALUE:DialInFlow.<>.targetDialInFlowRate:500 TEST.VALUE:DialInFlow.<>.measuredDialInFlowRate.data:497.0 TEST.VALUE:DialInFlow.<>.dipControlTimerCounter:80 TEST.EXPECTED:DialInFlow.<>.ptr_pwmREG2[0].TBPRD:25833 TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.75 TEST.EXPECTED:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.<>.dialInPumpControlModeSet:PUMP_CONTROL_MODE_OPEN_LOOP TEST.EXPECTED:DialInFlow.<>.targetDialInFlowRate:500 TEST.EXPECTED:DialInFlow.<>.measuredDialInFlowRate.data:497.0 TEST.EXPECTED:DialInFlow.<>.dipControlTimerCounter:0 TEST.EXPECTED:DialInFlow.handleDialInPumpControlToTargetState.return:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.END -- Test Case: handleDialInPumpControlToTargetState.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:handleDialInPumpControlToTargetState TEST.NEW TEST.NAME:handleDialInPumpControlToTargetState.003 TEST.STUB:DialInFlow.setDialInPumpControlSignalPWM TEST.STUB:DialInFlow.getMeasuredDialInFlowRate TEST.STUB:DialInFlow.testSetTargetDialInFlowRateOverride TEST.VALUE:DialInFlow.<>.dialInPumpControlModeSet:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.VALUE:DialInFlow.<>.dipControlTimerCounter:78 TEST.VALUE:DialInFlow.handleDialInPumpControlToTargetState.return:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.setDialInPumpControlSignalPWM.newPWM:10.0 TEST.VALUE:DialInFlow.getMeasuredDialInFlowRate.return:0.0 TEST.VALUE:uut_prototype_stubs.runPIController.return:10.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpControlModeSet:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.<>.targetDialInFlowRate:0 TEST.EXPECTED:DialInFlow.<>.dipControlTimerCounter:79 TEST.EXPECTED:DialInFlow.handleDialInPumpControlToTargetState.return:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.END -- Subprogram: handleDialInPumpOffState -- Test Case: handleDialInPumpOffState.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:handleDialInPumpOffState TEST.NEW TEST.NAME:handleDialInPumpOffState.001 TEST.VALUE:DialInFlow.<>.ptr_mibspiREG5:<> TEST.VALUE:DialInFlow.<>.ptr_mibspiREG5[0].PC3:0 TEST.VALUE:DialInFlow.<>.ptr_pwmREG2:<> TEST.VALUE:DialInFlow.<>.ptr_pwmREG2[0].TBPRD:25833 TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.0 TEST.VALUE:DialInFlow.<>.dialInPumpDirection:MOTOR_DIR_FORWARD TEST.VALUE:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.VALUE:DialInFlow.<>.dialInPumpControlModeSet:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.VALUE:DialInFlow.<>.targetDialInFlowRate:500 TEST.EXPECTED:DialInFlow.<>.ptr_mibspiREG5[0].PC3:0x100 TEST.EXPECTED:DialInFlow.<>.ptr_pwmREG2[0].TBPRD:25833 TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.1133 TEST.EXPECTED:DialInFlow.<>.dialInPumpDirection:MOTOR_DIR_FORWARD TEST.EXPECTED:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_FORWARD TEST.EXPECTED:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.<>.dialInPumpControlModeSet:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.<>.targetDialInFlowRate:500 TEST.EXPECTED:DialInFlow.handleDialInPumpOffState.return:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.EXPECTED:uut_prototype_stubs.etpwmSetCmpA.value:2927 TEST.END -- Test Case: handleDialInPumpOffState.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:handleDialInPumpOffState TEST.NEW TEST.NAME:handleDialInPumpOffState.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (targetDialInFlowRate != 0) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.targetDialInFlowRate:0 TEST.EXPECTED:DialInFlow.<>.targetDialInFlowRate:0 TEST.END -- Subprogram: handleDialInPumpRampingDownState -- Test Case: handleDialInPumpRampingDownState.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:handleDialInPumpRampingDownState TEST.NEW TEST.NAME:handleDialInPumpRampingDownState.001 TEST.STUB:DialInFlow.setDialInPumpControlSignalPWM TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePct:0.2 TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.2 TEST.VALUE:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.VALUE:DialInFlow.<>.dialInPumpControlModeSet:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.VALUE:DialInFlow.<>.targetDialInFlowRate:100 TEST.EXPECTED:DialInFlow.handleDialInPumpRampingDownState.return:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.END -- Test Case: handleDialInPumpRampingDownState.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:handleDialInPumpRampingDownState TEST.NEW TEST.NAME:handleDialInPumpRampingDownState.002 TEST.BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (dialInPumpPWMDutyCyclePctSet < (0.01999999955F) + (0.1000000015F)) ==> FALSE (2) if (dialInPumpPWMDutyCyclePctSet <= dialInPumpPWMDutyCyclePct) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePct:<> TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.12 TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePct:0.1 TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.1 TEST.END -- Test Case: handleDialInPumpRampingDownState.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:handleDialInPumpRampingDownState TEST.NEW TEST.NAME:handleDialInPumpRampingDownState.003 TEST.BASIS_PATH:3 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (dialInPumpPWMDutyCyclePctSet < (0.01999999955F) + (0.1000000015F)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.1 TEST.END -- Test Case: handleDialInPumpRampingDownState.004 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:handleDialInPumpRampingDownState TEST.NEW TEST.NAME:handleDialInPumpRampingDownState.004 TEST.BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (dialInPumpPWMDutyCyclePctSet < (0.01999999955F) + (0.1000000015F)) ==> FALSE (2) if (dialInPumpPWMDutyCyclePctSet <= dialInPumpPWMDutyCyclePct) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:DialInFlow.setDialInPumpControlSignalPWM TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:100.0 TEST.VALUE:DialInFlow.handleDialInPumpRampingDownState.return:DIAL_IN_PUMP_RAMPING_DOWN_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:99.98 TEST.EXPECTED:DialInFlow.<>.dialysateFlowDataFreshStatusCounter:0 TEST.EXPECTED:DialInFlow.handleDialInPumpRampingDownState.return:DIAL_IN_PUMP_RAMPING_DOWN_STATE TEST.END -- Subprogram: handleDialInPumpRampingUpState -- Test Case: handleDialInPumpRampingUpState.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:handleDialInPumpRampingUpState TEST.NEW TEST.NAME:handleDialInPumpRampingUpState.001 TEST.STUB:DialInFlow.setDialInPumpControlSignalPWM TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePct:0.4 TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.4 TEST.VALUE:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.VALUE:DialInFlow.<>.dialInPumpControlModeSet:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.VALUE:DialInFlow.<>.targetDialInFlowRate:200 TEST.VALUE:DialInFlow.<>.dipControlTimerCounter:0 TEST.VALUE:DialInFlow.setDialInPumpControlSignalPWM.newPWM:0.4 TEST.VALUE:uut_prototype_stubs.resetPIController.controllerID:PI_CONTROLLER_ID_DIALYSATE_FLOW TEST.VALUE:uut_prototype_stubs.resetPIController.initialControlSignal:0.4 TEST.EXPECTED:DialInFlow.<>.dipControlTimerCounter:0 TEST.EXPECTED:DialInFlow.handleDialInPumpRampingUpState.return:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:DialInFlow.setDialInPumpControlSignalPWM.newPWM:0.4 TEST.EXPECTED:uut_prototype_stubs.resetPIController.controllerID:PI_CONTROLLER_ID_DIALYSATE_FLOW TEST.EXPECTED:uut_prototype_stubs.resetPIController.initialControlSignal:0.4 TEST.END -- Test Case: handleDialInPumpRampingUpState.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:handleDialInPumpRampingUpState TEST.NEW TEST.NAME:handleDialInPumpRampingUpState.002 TEST.BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (0 == targetDialInFlowRate) ==> FALSE (2) if (dialInPumpPWMDutyCyclePctSet >= dialInPumpPWMDutyCyclePct) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:DialInFlow.setDialInPumpControlSignalPWM TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePct:<> TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:<> TEST.VALUE:DialInFlow.<>.targetDialInFlowRate:<> TEST.VALUE:DialInFlow.handleDialInPumpRampingUpState.return:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.VALUE:DialInFlow.setDialInPumpControlSignalPWM.newPWM:0.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePct:3.40282E+38 TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:-3.40282E+38 TEST.EXPECTED:DialInFlow.<>.targetDialInFlowRate:-2147483648 TEST.EXPECTED:DialInFlow.handleDialInPumpRampingUpState.return:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.EXPECTED:DialInFlow.setDialInPumpControlSignalPWM.newPWM:-3.40282E+38 TEST.END -- Test Case: handleDialInPumpRampingUpState.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:handleDialInPumpRampingUpState TEST.NEW TEST.NAME:handleDialInPumpRampingUpState.003 TEST.BASIS_PATH:3 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (0 == targetDialInFlowRate) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:DialInFlow.setDialInPumpControlSignalPWM TEST.VALUE:DialInFlow.<>.targetDialInFlowRate:0 TEST.VALUE:DialInFlow.setDialInPumpControlSignalPWM.newPWM:0.0 TEST.EXPECTED:DialInFlow.<>.targetDialInFlowRate:0 TEST.EXPECTED:DialInFlow.handleDialInPumpRampingUpState.return:DIAL_IN_PUMP_RAMPING_DOWN_STATE TEST.EXPECTED:DialInFlow.setDialInPumpControlSignalPWM.newPWM:-0.02 TEST.END -- Subprogram: homeDialInPump -- Test Case: homeDialInPump.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:homeDialInPump TEST.NEW TEST.NAME:homeDialInPump.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((DIAL_IN_PUMP_OFF_STATE) == dialInPumpState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.END -- Test Case: homeDialInPump.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:homeDialInPump TEST.NEW TEST.NAME:homeDialInPump.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((DIAL_IN_PUMP_OFF_STATE) == dialInPumpState) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.END -- Subprogram: initDialInFlow -- Test Case: initDialInFlow TEST.UNIT:DialInFlow TEST.SUBPROGRAM:initDialInFlow TEST.NEW TEST.NAME:initDialInFlow TEST.VALUE:DialInFlow.<>.ptr_mibspiREG5:<> TEST.VALUE:DialInFlow.<>.ptr_mibspiREG5[0].PC3:0 TEST.VALUE:DialInFlow.<>.isDialInPumpOn:1 TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:1.0 TEST.VALUE:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.<>.flowReadingsIdx:1 TEST.VALUE:DialInFlow.<>.flowReadingsTotal:1.0 TEST.VALUE:DialInFlow.<>.flowReadingsCount:1 TEST.VALUE:uut_prototype_stubs.gioSetBit.value:1 TEST.EXPECTED:DialInFlow.<>.ptr_mibspiREG5[0].PC3:0x100 TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:0 TEST.EXPECTED:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_FORWARD TEST.EXPECTED:DialInFlow.<>.flowReadingsIdx:0 TEST.EXPECTED:DialInFlow.<>.flowReadingsTotal:0.0 TEST.EXPECTED:DialInFlow.<>.flowReadingsCount:0 TEST.EXPECTED:uut_prototype_stubs.etpwmSetCmpA.value:0 TEST.EXPECTED:uut_prototype_stubs.gioSetBit.bit:2 TEST.EXPECTED:uut_prototype_stubs.gioSetBit.value:0 TEST.END -- Subprogram: isDialInPumpRampComplete -- Test Case: isDialInPumpRampComplete.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:isDialInPumpRampComplete TEST.NEW TEST.NAME:isDialInPumpRampComplete.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.END -- Test Case: isDialInPumpRampComplete.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:isDialInPumpRampComplete TEST.NEW TEST.NAME:isDialInPumpRampComplete.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.END -- Test Case: isDialInPumpRampComplete.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:isDialInPumpRampComplete TEST.NEW TEST.NAME:isDialInPumpRampComplete.003 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE) == dialInPumpState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.END -- Subprogram: isDialInPumpRunning -- Test Case: isDialInPumpRunning TEST.UNIT:DialInFlow TEST.SUBPROGRAM:isDialInPumpRunning TEST.NEW TEST.NAME:isDialInPumpRunning TEST.VALUE:DialInFlow.<>.isDialInPumpOn:1 TEST.EXPECTED:DialInFlow.isDialInPumpRunning.return:1 TEST.END -- Subprogram: publishDialInFlowData -- Test Case: publishDialInFlowData TEST.UNIT:DialInFlow TEST.SUBPROGRAM:publishDialInFlowData TEST.NEW TEST.NAME:publishDialInFlowData TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (++dialInFlowDataPublicationTimerCounter >= getU32OverrideValue(&dialInFlowDataPublishInterval)) ==> 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:DialInFlow.<>.dialInFlowDataPublicationTimerCounter:0 TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> TEST.EXPECTED:DialInFlow.<>.dialInFlowDataPublicationTimerCounter:1 TEST.END -- Test Case: publishDialInFlowData.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:publishDialInFlowData TEST.NEW TEST.NAME:publishDialInFlowData.001 TEST.VALUE:DialInFlow.<>.dialInFlowDataPublicationTimerCounter:10 TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:9 TEST.EXPECTED:DialInFlow.<>.dialInFlowDataPublicationTimerCounter:0 TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].data:100 TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].ovInitData:100 TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].ovData:100 TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].override:0 TEST.END -- Test Case: publishDialInFlowData.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:publishDialInFlowData TEST.NEW TEST.NAME:publishDialInFlowData.002 TEST.VALUE:DialInFlow.<>.dialInFlowDataPublicationTimerCounter:10 TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:9 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.EXPECTED:DialInFlow.<>.dialInFlowDataPublicationTimerCounter:0 TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].data:100 TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].ovInitData:100 TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].ovData:100 TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].override:0 TEST.END -- Test Case: publishDialInFlowData.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:publishDialInFlowData TEST.NEW TEST.NAME:publishDialInFlowData.003 TEST.VALUE:DialInFlow.<>.dialInFlowDataPublicationTimerCounter:10 TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:9 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.EXPECTED:DialInFlow.<>.dialInFlowDataPublicationTimerCounter:0 TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].data:100 TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].ovInitData:100 TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].ovData:100 TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].override:0 TEST.END -- Test Case: publishDialInFlowData.004 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:publishDialInFlowData TEST.NEW TEST.NAME:publishDialInFlowData.004 TEST.VALUE:DialInFlow.<>.dialInFlowDataPublicationTimerCounter:10 TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:9 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_POST TEST.EXPECTED:DialInFlow.<>.dialInFlowDataPublicationTimerCounter:0 TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].data:100 TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].ovInitData:100 TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].ovData:100 TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].override:0 TEST.END -- Subprogram: releaseDialInPumpStop -- Test Case: releaseDialInPumpStop TEST.UNIT:DialInFlow TEST.SUBPROGRAM:releaseDialInPumpStop TEST.NEW TEST.NAME:releaseDialInPumpStop TEST.VALUE:DialInFlow.<>.ptr_mibspiREG5:<> TEST.VALUE:uut_prototype_stubs.gioSetBit.value:0 TEST.EXPECTED:uut_prototype_stubs.gioSetBit.bit:2 TEST.EXPECTED:uut_prototype_stubs.gioSetBit.value:1 TEST.END -- Subprogram: resetDialInFlowMovingAverage -- Test Case: resetDialInFlowMovingAverage TEST.UNIT:DialInFlow TEST.SUBPROGRAM:resetDialInFlowMovingAverage TEST.NEW TEST.NAME:resetDialInFlowMovingAverage TEST.VALUE:DialInFlow.<>.dipControlTimerCounter:1 TEST.VALUE:DialInFlow.<>.flowReadingsIdx:1 TEST.VALUE:DialInFlow.<>.flowReadingsTotal:1.0 TEST.VALUE:DialInFlow.<>.flowReadingsCount:1 TEST.EXPECTED:DialInFlow.<>.dipControlTimerCounter:0 TEST.EXPECTED:DialInFlow.<>.flowReadingsIdx:0 TEST.EXPECTED:DialInFlow.<>.flowReadingsTotal:0.0 TEST.EXPECTED:DialInFlow.<>.flowReadingsCount:0 TEST.END -- Subprogram: resetDialInPumpRotorCount -- Test Case: resetDialInPumpRotorCount.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:resetDialInPumpRotorCount TEST.NEW TEST.NAME:resetDialInPumpRotorCount.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialysateInPumpRotorCounter.data:1 TEST.EXPECTED:DialInFlow.<>.dialysateInPumpRotorCounter.data:0 TEST.END -- Test Case: resetDialInPumpRotorCount.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:resetDialInPumpRotorCount TEST.NEW TEST.NAME:resetDialInPumpRotorCount.002 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialysateInPumpRotorCounter.data:1 TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 TEST.EXPECTED:DialInFlow.<>.dialysateInPumpRotorCounter.data:25000 TEST.EXPECTED:uut_prototype_stubs.getTestConfigStatus.config:TEST_CONFIG_USE_WORN_CARTRIDGE TEST.END -- Subprogram: setDialInPumpControlSignalPWM -- Test Case: setDialInPumpControlSignalPWM TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpControlSignalPWM TEST.NEW TEST.NAME:setDialInPumpControlSignalPWM TEST.VALUE:DialInFlow.<>.ptr_pwmREG2:<> TEST.VALUE:DialInFlow.<>.ptr_pwmREG2[0].TBPRD:25833 TEST.VALUE:DialInFlow.setDialInPumpControlSignalPWM.newPWM:0.5 TEST.EXPECTED:uut_prototype_stubs.etpwmSetCmpA.value:12917 TEST.END -- Subprogram: setDialInPumpDirection -- Test Case: setDialInPumpDirection.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpDirection TEST.NEW TEST.NAME:setDialInPumpDirection.001 TEST.VALUE:DialInFlow.<>.ptr_mibspiREG5:<> TEST.VALUE:DialInFlow.<>.ptr_mibspiREG5[0].PC3:0x0 TEST.VALUE:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.setDialInPumpDirection.dir:MOTOR_DIR_FORWARD TEST.EXPECTED:DialInFlow.<>.ptr_mibspiREG5[0].PC3:0x100 TEST.EXPECTED:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_FORWARD TEST.END -- Test Case: setDialInPumpDirection.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpDirection TEST.NEW TEST.NAME:setDialInPumpDirection.002 TEST.BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (3) case dir ==> default Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.setDialInPumpDirection.dir:NUM_OF_MOTOR_DIRECTIONS TEST.EXPECTED:DialInFlow.setDialInPumpDirection.dir:NUM_OF_MOTOR_DIRECTIONS TEST.END -- Test Case: setDialInPumpDirection.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpDirection TEST.NEW TEST.NAME:setDialInPumpDirection.003 TEST.BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) case dir ==> MOTOR_DIR_FORWARD Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.ptr_mibspiREG5:<> TEST.VALUE:DialInFlow.setDialInPumpDirection.dir:MOTOR_DIR_FORWARD TEST.EXPECTED:DialInFlow.setDialInPumpDirection.dir:MOTOR_DIR_FORWARD TEST.END -- Test Case: setDialInPumpDirection.004 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpDirection TEST.NEW TEST.NAME:setDialInPumpDirection.004 TEST.BASIS_PATH:3 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 3 (2) case dir ==> MOTOR_DIR_REVERSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.ptr_mibspiREG5:<> TEST.VALUE:DialInFlow.setDialInPumpDirection.dir:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.setDialInPumpDirection.dir:MOTOR_DIR_REVERSE TEST.END -- Subprogram: setDialInPumpTargetFlowRate -- Test Case: setDialInPumpTargetFlowRate.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpTargetFlowRate TEST.NEW TEST.NAME:setDialInPumpTargetFlowRate.001 TEST.MCDC_BASIS_PATH:3 of 14 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (((0) == isDialInPumpOn || (0) == flowRate) || dir == dialInPumpDirectionSet) ==> TRUE Row number 6 forms a pair with Row 8 for Condition #1, subcondition "b". Condition a ==> FALSE Condition b ==> TRUE Condition c ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.isDialInPumpOn:1 TEST.VALUE:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.mode:<> TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.return:0 TEST.END -- Test Case: setDialInPumpTargetFlowRate.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpTargetFlowRate TEST.NEW TEST.NAME:setDialInPumpTargetFlowRate.002 TEST.BASIS_PATH:1 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (((0) == isDialInPumpOn || (0) == flowRate) || dir == dialInPumpDirectionSet) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.isDialInPumpOn:1 TEST.VALUE:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.flowRate:1 TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.mode:<> TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:1 TEST.EXPECTED:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.flowRate:1 TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.END -- Test Case: setDialInPumpTargetFlowRate.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpTargetFlowRate TEST.NEW TEST.NAME:setDialInPumpTargetFlowRate.003 TEST.BASIS_PATH:2 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (((0) == isDialInPumpOn || (0) == flowRate) || dir == dialInPumpDirectionSet) ==> TRUE (2) if (dir == (MOTOR_DIR_FORWARD)) ==> FALSE (3) if (dirFlowRate != targetDialInFlowRate || mode != dialInPumpControlMode) ==> FALSE Test Case Generation Notes: Cannot set local variable dirFlowRate in branch 3 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.isDialInPumpOn:0 TEST.VALUE:DialInFlow.<>.dialInPumpControlMode:<> TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.mode:<> TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:0 TEST.EXPECTED:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.END -- Test Case: setDialInPumpTargetFlowRate.004 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpTargetFlowRate TEST.NEW TEST.NAME:setDialInPumpTargetFlowRate.004 TEST.BASIS_PATH:3 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (((0) == isDialInPumpOn || (0) == flowRate) || dir == dialInPumpDirectionSet) ==> TRUE (2) if (dir == (MOTOR_DIR_FORWARD)) ==> FALSE (3) if (dirFlowRate != targetDialInFlowRate || mode != dialInPumpControlMode) ==> TRUE (4) if (flowRate <= (600)) ==> FALSE (5) if ((1) == isFlowRateInRange) ==> FALSE Test Case Generation Notes: Cannot set local variable dirFlowRate in branch 3 Conflict: Trying to set variable DialInFlow.setDialInPumpTargetFlowRate.flowRate 'equal to' and 'not equal to' same value in branches 1/4 Cannot set local variable isFlowRateInRange in branch 5 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.isDialInPumpOn:0 TEST.VALUE:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:0 TEST.EXPECTED:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.END -- Test Case: setDialInPumpTargetFlowRate.005 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpTargetFlowRate TEST.NEW TEST.NAME:setDialInPumpTargetFlowRate.005 TEST.BASIS_PATH:4 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (((0) == isDialInPumpOn || (0) == flowRate) || dir == dialInPumpDirectionSet) ==> TRUE (2) if (dir == (MOTOR_DIR_FORWARD)) ==> FALSE (3) if (dirFlowRate != targetDialInFlowRate || mode != dialInPumpControlMode) ==> TRUE (4) if (flowRate <= (600)) ==> FALSE (5) if ((1) == isFlowRateInRange) ==> TRUE (6) if ((0) == flowRate) ==> FALSE (13) case dialInPumpState ==> default Test Case Generation Notes: Cannot set local variable dirFlowRate in branch 3 Cannot set local variable isFlowRateInRange in branch 5 Conflict: Trying to set variable DialInFlow.setDialInPumpTargetFlowRate.flowRate 'equal to' and 'not equal to' same value in branches 1/4 Conflict: Trying to set variable DialInFlow.setDialInPumpTargetFlowRate.flowRate 'equal to' and 'not equal to' same value in branches 1/6 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.VALUE:DialInFlow.<>.isDialInPumpOn:0 TEST.VALUE:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:0 TEST.EXPECTED:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.END -- Test Case: setDialInPumpTargetFlowRate.006 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpTargetFlowRate TEST.NEW TEST.NAME:setDialInPumpTargetFlowRate.006 TEST.BASIS_PATH:5 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (((0) == isDialInPumpOn || (0) == flowRate) || dir == dialInPumpDirectionSet) ==> TRUE (2) if (dir == (MOTOR_DIR_FORWARD)) ==> FALSE (3) if (dirFlowRate != targetDialInFlowRate || mode != dialInPumpControlMode) ==> TRUE (4) if (flowRate <= (600)) ==> FALSE (5) if ((1) == isFlowRateInRange) ==> TRUE (6) if ((0) == flowRate) ==> FALSE (7) case dialInPumpState ==> DIAL_IN_PUMP_RAMPING_UP_STATE (8) if (dialInPumpPWMDutyCyclePct < dialInPumpPWMDutyCyclePctSet) ==> FALSE Test Case Generation Notes: Cannot set local variable dirFlowRate in branch 3 Cannot set local variable isFlowRateInRange in branch 5 Conflict: Trying to set variable DialInFlow.setDialInPumpTargetFlowRate.flowRate 'equal to' and 'not equal to' same value in branches 1/4 Conflict: Trying to set variable DialInFlow.setDialInPumpTargetFlowRate.flowRate 'equal to' and 'not equal to' same value in branches 1/6 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.VALUE:DialInFlow.<>.isDialInPumpOn:0 TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:<> TEST.VALUE:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:0 TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:-3.40282E+38 TEST.EXPECTED:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.END -- Test Case: setDialInPumpTargetFlowRate.007 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpTargetFlowRate TEST.NEW TEST.NAME:setDialInPumpTargetFlowRate.007 TEST.BASIS_PATH:6 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (((0) == isDialInPumpOn || (0) == flowRate) || dir == dialInPumpDirectionSet) ==> TRUE (2) if (dir == (MOTOR_DIR_FORWARD)) ==> FALSE (3) if (dirFlowRate != targetDialInFlowRate || mode != dialInPumpControlMode) ==> TRUE (4) if (flowRate <= (600)) ==> FALSE (5) if ((1) == isFlowRateInRange) ==> TRUE (6) if ((0) == flowRate) ==> FALSE (7) case dialInPumpState ==> DIAL_IN_PUMP_RAMPING_UP_STATE (8) if (dialInPumpPWMDutyCyclePct < dialInPumpPWMDutyCyclePctSet) ==> TRUE Test Case Generation Notes: Cannot set local variable dirFlowRate in branch 3 Cannot set local variable isFlowRateInRange in branch 5 Conflict: Trying to set variable DialInFlow.setDialInPumpTargetFlowRate.flowRate 'equal to' and 'not equal to' same value in branches 1/4 Conflict: Trying to set variable DialInFlow.setDialInPumpTargetFlowRate.flowRate 'equal to' and 'not equal to' same value in branches 1/6 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.VALUE:DialInFlow.<>.isDialInPumpOn:0 TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:<> TEST.VALUE:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_DOWN_STATE TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:0 TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:3.40282E+38 TEST.EXPECTED:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.END -- Test Case: setDialInPumpTargetFlowRate.008 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpTargetFlowRate TEST.NEW TEST.NAME:setDialInPumpTargetFlowRate.008 TEST.BASIS_PATH:7 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if (((0) == isDialInPumpOn || (0) == flowRate) || dir == dialInPumpDirectionSet) ==> TRUE (2) if (dir == (MOTOR_DIR_FORWARD)) ==> FALSE (3) if (dirFlowRate != targetDialInFlowRate || mode != dialInPumpControlMode) ==> TRUE (4) if (flowRate <= (600)) ==> FALSE (5) if ((1) == isFlowRateInRange) ==> TRUE (6) if ((0) == flowRate) ==> FALSE (9) case dialInPumpState ==> DIAL_IN_PUMP_RAMPING_DOWN_STATE (10) if (dialInPumpPWMDutyCyclePct > dialInPumpPWMDutyCyclePctSet) ==> FALSE Test Case Generation Notes: Cannot set local variable dirFlowRate in branch 3 Cannot set local variable isFlowRateInRange in branch 5 Conflict: Trying to set variable DialInFlow.setDialInPumpTargetFlowRate.flowRate 'equal to' and 'not equal to' same value in branches 1/4 Conflict: Trying to set variable DialInFlow.setDialInPumpTargetFlowRate.flowRate 'equal to' and 'not equal to' same value in branches 1/6 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_DOWN_STATE TEST.VALUE:DialInFlow.<>.isDialInPumpOn:0 TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:<> TEST.VALUE:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_DOWN_STATE TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:0 TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:3.40282E+38 TEST.EXPECTED:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.END -- Test Case: setDialInPumpTargetFlowRate.009 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpTargetFlowRate TEST.NEW TEST.NAME:setDialInPumpTargetFlowRate.009 TEST.BASIS_PATH:8 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if (((0) == isDialInPumpOn || (0) == flowRate) || dir == dialInPumpDirectionSet) ==> TRUE (2) if (dir == (MOTOR_DIR_FORWARD)) ==> FALSE (3) if (dirFlowRate != targetDialInFlowRate || mode != dialInPumpControlMode) ==> TRUE (4) if (flowRate <= (600)) ==> FALSE (5) if ((1) == isFlowRateInRange) ==> TRUE (6) if ((0) == flowRate) ==> FALSE (9) case dialInPumpState ==> DIAL_IN_PUMP_RAMPING_DOWN_STATE (10) if (dialInPumpPWMDutyCyclePct > dialInPumpPWMDutyCyclePctSet) ==> TRUE Test Case Generation Notes: Cannot set local variable dirFlowRate in branch 3 Cannot set local variable isFlowRateInRange in branch 5 Conflict: Trying to set variable DialInFlow.setDialInPumpTargetFlowRate.flowRate 'equal to' and 'not equal to' same value in branches 1/4 Conflict: Trying to set variable DialInFlow.setDialInPumpTargetFlowRate.flowRate 'equal to' and 'not equal to' same value in branches 1/6 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_DOWN_STATE TEST.VALUE:DialInFlow.<>.isDialInPumpOn:0 TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:<> TEST.VALUE:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:0 TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:-3.40282E+38 TEST.EXPECTED:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.END -- Test Case: setDialInPumpTargetFlowRate.010 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpTargetFlowRate TEST.NEW TEST.NAME:setDialInPumpTargetFlowRate.010 TEST.BASIS_PATH:9 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) if (((0) == isDialInPumpOn || (0) == flowRate) || dir == dialInPumpDirectionSet) ==> TRUE (2) if (dir == (MOTOR_DIR_FORWARD)) ==> FALSE (3) if (dirFlowRate != targetDialInFlowRate || mode != dialInPumpControlMode) ==> TRUE (4) if (flowRate <= (600)) ==> FALSE (5) if ((1) == isFlowRateInRange) ==> TRUE (6) if ((0) == flowRate) ==> FALSE (11) case dialInPumpState ==> DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE (12) if (dialInPumpPWMDutyCyclePctSet > dialInPumpPWMDutyCyclePct) ==> FALSE Test Case Generation Notes: Cannot set local variable dirFlowRate in branch 3 Cannot set local variable isFlowRateInRange in branch 5 Conflict: Trying to set variable DialInFlow.setDialInPumpTargetFlowRate.flowRate 'equal to' and 'not equal to' same value in branches 1/4 Conflict: Trying to set variable DialInFlow.setDialInPumpTargetFlowRate.flowRate 'equal to' and 'not equal to' same value in branches 1/6 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.isDialInPumpOn:0 TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:<> TEST.VALUE:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:0 TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:-3.40282E+38 TEST.EXPECTED:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.END -- Test Case: setDialInPumpTargetFlowRate.011 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpTargetFlowRate TEST.NEW TEST.NAME:setDialInPumpTargetFlowRate.011 TEST.BASIS_PATH:10 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 10 (1) if (((0) == isDialInPumpOn || (0) == flowRate) || dir == dialInPumpDirectionSet) ==> TRUE (2) if (dir == (MOTOR_DIR_FORWARD)) ==> FALSE (3) if (dirFlowRate != targetDialInFlowRate || mode != dialInPumpControlMode) ==> TRUE (4) if (flowRate <= (600)) ==> FALSE (5) if ((1) == isFlowRateInRange) ==> TRUE (6) if ((0) == flowRate) ==> FALSE (11) case dialInPumpState ==> DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE (12) if (dialInPumpPWMDutyCyclePctSet > dialInPumpPWMDutyCyclePct) ==> TRUE Test Case Generation Notes: Cannot set local variable dirFlowRate in branch 3 Cannot set local variable isFlowRateInRange in branch 5 Conflict: Trying to set variable DialInFlow.setDialInPumpTargetFlowRate.flowRate 'equal to' and 'not equal to' same value in branches 1/4 Conflict: Trying to set variable DialInFlow.setDialInPumpTargetFlowRate.flowRate 'equal to' and 'not equal to' same value in branches 1/6 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.isDialInPumpOn:0 TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:<> TEST.VALUE:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_DOWN_STATE TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:0 TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:3.40282E+38 TEST.EXPECTED:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.END -- Test Case: setDialInPumpTargetFlowRate.012 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpTargetFlowRate TEST.NEW TEST.NAME:setDialInPumpTargetFlowRate.012 TEST.BASIS_PATH:11 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if (((0) == isDialInPumpOn || (0) == flowRate) || dir == dialInPumpDirectionSet) ==> TRUE (2) if (dir == (MOTOR_DIR_FORWARD)) ==> FALSE (3) if (dirFlowRate != targetDialInFlowRate || mode != dialInPumpControlMode) ==> TRUE (4) if (flowRate <= (600)) ==> FALSE (5) if ((1) == isFlowRateInRange) ==> TRUE (6) if ((0) == flowRate) ==> TRUE (13) case dialInPumpState ==> default Test Case Generation Notes: Cannot set local variable dirFlowRate in branch 3 Conflict: Trying to set variable DialInFlow.setDialInPumpTargetFlowRate.flowRate 'equal to' and 'not equal to' same value in branches 1/4 Cannot set local variable isFlowRateInRange in branch 5 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.VALUE:DialInFlow.<>.isDialInPumpOn:0 TEST.VALUE:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:0 TEST.EXPECTED:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.END -- Test Case: setDialInPumpTargetFlowRate.013 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpTargetFlowRate TEST.NEW TEST.NAME:setDialInPumpTargetFlowRate.013 TEST.BASIS_PATH:12 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if (((0) == isDialInPumpOn || (0) == flowRate) || dir == dialInPumpDirectionSet) ==> TRUE (2) if (dir == (MOTOR_DIR_FORWARD)) ==> FALSE (3) if (dirFlowRate != targetDialInFlowRate || mode != dialInPumpControlMode) ==> TRUE (4) if (flowRate <= (600)) ==> TRUE (5) if ((1) == isFlowRateInRange) ==> FALSE Test Case Generation Notes: Cannot set local variable dirFlowRate in branch 3 Cannot set local variable isFlowRateInRange in branch 5 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.isDialInPumpOn:0 TEST.VALUE:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:0 TEST.EXPECTED:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.END -- Test Case: setDialInPumpTargetFlowRate.014 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpTargetFlowRate TEST.NEW TEST.NAME:setDialInPumpTargetFlowRate.014 TEST.BASIS_PATH:13 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) if (((0) == isDialInPumpOn || (0) == flowRate) || dir == dialInPumpDirectionSet) ==> TRUE (2) if (dir == (MOTOR_DIR_FORWARD)) ==> TRUE (3) if (dirFlowRate != targetDialInFlowRate || mode != dialInPumpControlMode) ==> FALSE Test Case Generation Notes: Cannot set local variable dirFlowRate in branch 3 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.isDialInPumpOn:0 TEST.VALUE:DialInFlow.<>.dialInPumpControlMode:<> TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.mode:<> TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:0 TEST.EXPECTED:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.flowRate:0 TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.END -- Test Case: setDialInPumpTargetFlowRate.015 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpTargetFlowRate TEST.NEW TEST.NAME:setDialInPumpTargetFlowRate.015 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (((0) == isDialInPumpOn || (0) == flowRate) || dir == dialInPumpDirectionSet) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.isDialInPumpOn:1 TEST.VALUE:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.flowRate:1 TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.mode:<> TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:1 TEST.EXPECTED:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.flowRate:1 TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.END -- Test Case: setDialInPumpTargetFlowRate.016 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpTargetFlowRate TEST.NEW TEST.NAME:setDialInPumpTargetFlowRate.016 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (((0) == isDialInPumpOn || (0) == flowRate) || dir == dialInPumpDirectionSet) ==> TRUE (2) if (dir == (MOTOR_DIR_FORWARD)) ==> FALSE (3) if (dirFlowRate != targetDialInFlowRate || mode != dialInPumpControlMode) ==> TRUE (4) if (flowRate <= (600)) ==> FALSE (5) if ((1) == isFlowRateInRange) ==> FALSE Test Case Generation Notes: Cannot set local variable dirFlowRate in branch 3 Conflict: Trying to set variable DialInFlow.setDialInPumpTargetFlowRate.flowRate 'equal to' and 'not equal to' same value in branches 1/4 Cannot set local variable isFlowRateInRange in branch 5 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.isDialInPumpOn:0 TEST.VALUE:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.flowRate:601 TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:0 TEST.EXPECTED:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.flowRate:601 TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.END -- Test Case: setDialInPumpTargetFlowRate.017 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpTargetFlowRate TEST.NEW TEST.NAME:setDialInPumpTargetFlowRate.017 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (((0) == isDialInPumpOn || (0) == flowRate) || dir == dialInPumpDirectionSet) ==> TRUE (2) if (dir == (MOTOR_DIR_FORWARD)) ==> FALSE (3) if (dirFlowRate != targetDialInFlowRate || mode != dialInPumpControlMode) ==> TRUE (4) if (flowRate <= (600)) ==> FALSE (5) if ((1) == isFlowRateInRange) ==> FALSE Test Case Generation Notes: Cannot set local variable dirFlowRate in branch 3 Conflict: Trying to set variable DialInFlow.setDialInPumpTargetFlowRate.flowRate 'equal to' and 'not equal to' same value in branches 1/4 Cannot set local variable isFlowRateInRange in branch 5 TEST.END_NOTES: TEST.STUB:DialInFlow.dialysateInPumpPWMFromTargetFlowRate TEST.STUB:DialInFlow.resetDialInFlowMovingAverage TEST.VALUE:DialInFlow.<>.isDialInPumpOn:0 TEST.VALUE:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.flowRate:1 TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.VALUE:DialInFlow.dialysateInPumpPWMFromTargetFlowRate.return:1.0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:0 TEST.EXPECTED:DialInFlow.<>.dialInPumpDirection:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.<>.targetDialInFlowRate:-1 TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.flowRate:1 TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.dialysateInPumpPWMFromTargetFlowRate.QdTarget:1.0 TEST.END -- Test Case: setDialInPumpTargetFlowRate.018 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpTargetFlowRate TEST.NEW TEST.NAME:setDialInPumpTargetFlowRate.018 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (((0) == isDialInPumpOn || (0) == flowRate) || dir == dialInPumpDirectionSet) ==> TRUE (2) if (dir == (MOTOR_DIR_FORWARD)) ==> FALSE (3) if (dirFlowRate != targetDialInFlowRate || mode != dialInPumpControlMode) ==> TRUE (4) if (flowRate <= (600)) ==> FALSE (5) if ((1) == isFlowRateInRange) ==> FALSE Test Case Generation Notes: Cannot set local variable dirFlowRate in branch 3 Conflict: Trying to set variable DialInFlow.setDialInPumpTargetFlowRate.flowRate 'equal to' and 'not equal to' same value in branches 1/4 Cannot set local variable isFlowRateInRange in branch 5 TEST.END_NOTES: TEST.STUB:DialInFlow.dialysateInPumpPWMFromTargetFlowRate TEST.STUB:DialInFlow.resetDialInFlowMovingAverage TEST.VALUE:DialInFlow.<>.isDialInPumpOn:0 TEST.VALUE:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.flowRate:1 TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.VALUE:DialInFlow.setDialInPumpTargetFlowRate.return:0 TEST.VALUE:DialInFlow.dialysateInPumpPWMFromTargetFlowRate.return:0.09 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:0 TEST.EXPECTED:DialInFlow.<>.dialInPumpControlMode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.<>.targetDialInFlowRate:-1 TEST.EXPECTED:DialInFlow.<>.lastDialInPumpDirectionCount:0 TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.flowRate:1 TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:DialInFlow.setDialInPumpTargetFlowRate.return:1 TEST.EXPECTED:DialInFlow.dialysateInPumpPWMFromTargetFlowRate.QdTarget:1.0 TEST.END -- Subprogram: setDialInPumpTargetRPM -- Test Case: setDialInPumpTargetRPM.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpTargetRPM TEST.NEW TEST.NAME:setDialInPumpTargetRPM.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MOTOR_DIR_REVERSE) == dir) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.setDialInPumpTargetRPM.rpm:<> TEST.VALUE:DialInFlow.setDialInPumpTargetRPM.dir:MOTOR_DIR_FORWARD TEST.EXPECTED:DialInFlow.setDialInPumpTargetRPM.rpm:0 TEST.EXPECTED:DialInFlow.setDialInPumpTargetRPM.dir:MOTOR_DIR_FORWARD TEST.END -- Test Case: setDialInPumpTargetRPM.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpTargetRPM TEST.NEW TEST.NAME:setDialInPumpTargetRPM.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((MOTOR_DIR_REVERSE) == dir) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.setDialInPumpTargetRPM.rpm:<> TEST.VALUE:DialInFlow.setDialInPumpTargetRPM.dir:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.setDialInPumpTargetRPM.rpm:0 TEST.EXPECTED:DialInFlow.setDialInPumpTargetRPM.dir:MOTOR_DIR_REVERSE TEST.END -- Subprogram: setDialInPumpToFixedPWM -- Test Case: setDialInPumpToFixedPWM.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpToFixedPWM TEST.NEW TEST.NAME:setDialInPumpToFixedPWM.001 TEST.BASIS_PATH:1 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (pwm < (0)) ==> FALSE (2) if ((0) == isDialInPumpOn && dir != dialInPumpDirectionSet) ==> FALSE (3) if (((0) == isDialInPumpOn || dir == dialInPumpDirectionSet) || pwmFabs <= (0.1000000015F)) ==> FALSE Test Case Generation Notes: Cannot set local variable dir in branch 3 Cannot set local variable pwmFabs in branch 3 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.isDialInPumpOn:1 TEST.VALUE:DialInFlow.setDialInPumpToFixedPWM.pwm:<> TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:1 TEST.EXPECTED:DialInFlow.setDialInPumpToFixedPWM.pwm:3.40282E+38 TEST.END -- Test Case: setDialInPumpToFixedPWM.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpToFixedPWM TEST.NEW TEST.NAME:setDialInPumpToFixedPWM.002 TEST.BASIS_PATH:2 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (pwm < (0)) ==> FALSE (2) if ((0) == isDialInPumpOn && dir != dialInPumpDirectionSet) ==> FALSE (3) if (((0) == isDialInPumpOn || dir == dialInPumpDirectionSet) || pwmFabs <= (0.1000000015F)) ==> TRUE (4) if (pwmFabs != dialInPumpPWMDutyCyclePct) ==> FALSE Test Case Generation Notes: Cannot set local variable dir in branch 2 Cannot set local variable pwmFabs in branch 3 Conflict: Trying to set variable DialInFlow.<>.isDialInPumpOn 'equal to' and 'not equal to' same value in branches 2/3 Cannot set local variable pwmFabs in branch 4 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.isDialInPumpOn:1 TEST.VALUE:DialInFlow.setDialInPumpToFixedPWM.pwm:<> TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:1 TEST.EXPECTED:DialInFlow.setDialInPumpToFixedPWM.pwm:3.40282E+38 TEST.END -- Test Case: setDialInPumpToFixedPWM.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpToFixedPWM TEST.NEW TEST.NAME:setDialInPumpToFixedPWM.003 TEST.BASIS_PATH:3 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (pwm < (0)) ==> FALSE (2) if ((0) == isDialInPumpOn && dir != dialInPumpDirectionSet) ==> FALSE (3) if (((0) == isDialInPumpOn || dir == dialInPumpDirectionSet) || pwmFabs <= (0.1000000015F)) ==> TRUE (4) if (pwmFabs != dialInPumpPWMDutyCyclePct) ==> TRUE (5) if (pwmFabs > (0.8999999762F)) ==> FALSE (6) if (pwmFabs < (0.1000000015F)) ==> FALSE (13) case dialInPumpState ==> default Test Case Generation Notes: Cannot set local variable dir in branch 2 Cannot set local variable pwmFabs in branch 3 Conflict: Trying to set variable DialInFlow.<>.isDialInPumpOn 'equal to' and 'not equal to' same value in branches 2/3 Cannot set local variable pwmFabs in branch 4 Cannot set local variable pwmFabs in branch 5 Cannot set local variable pwmFabs in branch 6 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.VALUE:DialInFlow.<>.isDialInPumpOn:1 TEST.VALUE:DialInFlow.setDialInPumpToFixedPWM.pwm:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:1 TEST.EXPECTED:DialInFlow.setDialInPumpToFixedPWM.pwm:3.40282E+38 TEST.END -- Test Case: setDialInPumpToFixedPWM.004 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpToFixedPWM TEST.NEW TEST.NAME:setDialInPumpToFixedPWM.004 TEST.BASIS_PATH:4 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (pwm < (0)) ==> FALSE (2) if ((0) == isDialInPumpOn && dir != dialInPumpDirectionSet) ==> FALSE (3) if (((0) == isDialInPumpOn || dir == dialInPumpDirectionSet) || pwmFabs <= (0.1000000015F)) ==> TRUE (4) if (pwmFabs != dialInPumpPWMDutyCyclePct) ==> TRUE (5) if (pwmFabs > (0.8999999762F)) ==> FALSE (6) if (pwmFabs < (0.1000000015F)) ==> FALSE (7) case dialInPumpState ==> DIAL_IN_PUMP_RAMPING_UP_STATE (8) if (dialInPumpPWMDutyCyclePct < dialInPumpPWMDutyCyclePctSet) ==> FALSE Test Case Generation Notes: Cannot set local variable dir in branch 2 Cannot set local variable pwmFabs in branch 3 Conflict: Trying to set variable DialInFlow.<>.isDialInPumpOn 'equal to' and 'not equal to' same value in branches 2/3 Cannot set local variable pwmFabs in branch 4 Cannot set local variable pwmFabs in branch 5 Cannot set local variable pwmFabs in branch 6 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.VALUE:DialInFlow.<>.isDialInPumpOn:1 TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:<> TEST.VALUE:DialInFlow.setDialInPumpToFixedPWM.pwm:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:1 TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:-3.40282E+38 TEST.EXPECTED:DialInFlow.setDialInPumpToFixedPWM.pwm:3.40282E+38 TEST.END -- Test Case: setDialInPumpToFixedPWM.005 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpToFixedPWM TEST.NEW TEST.NAME:setDialInPumpToFixedPWM.005 TEST.BASIS_PATH:5 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (pwm < (0)) ==> FALSE (2) if ((0) == isDialInPumpOn && dir != dialInPumpDirectionSet) ==> FALSE (3) if (((0) == isDialInPumpOn || dir == dialInPumpDirectionSet) || pwmFabs <= (0.1000000015F)) ==> TRUE (4) if (pwmFabs != dialInPumpPWMDutyCyclePct) ==> TRUE (5) if (pwmFabs > (0.8999999762F)) ==> FALSE (6) if (pwmFabs < (0.1000000015F)) ==> FALSE (7) case dialInPumpState ==> DIAL_IN_PUMP_RAMPING_UP_STATE (8) if (dialInPumpPWMDutyCyclePct < dialInPumpPWMDutyCyclePctSet) ==> TRUE Test Case Generation Notes: Cannot set local variable dir in branch 2 Cannot set local variable pwmFabs in branch 3 Conflict: Trying to set variable DialInFlow.<>.isDialInPumpOn 'equal to' and 'not equal to' same value in branches 2/3 Cannot set local variable pwmFabs in branch 4 Cannot set local variable pwmFabs in branch 5 Cannot set local variable pwmFabs in branch 6 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.VALUE:DialInFlow.<>.isDialInPumpOn:1 TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:<> TEST.VALUE:DialInFlow.setDialInPumpToFixedPWM.pwm:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_DOWN_STATE TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:1 TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:3.40282E+38 TEST.EXPECTED:DialInFlow.setDialInPumpToFixedPWM.pwm:3.40282E+38 TEST.END -- Test Case: setDialInPumpToFixedPWM.006 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpToFixedPWM TEST.NEW TEST.NAME:setDialInPumpToFixedPWM.006 TEST.BASIS_PATH:6 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (pwm < (0)) ==> FALSE (2) if ((0) == isDialInPumpOn && dir != dialInPumpDirectionSet) ==> FALSE (3) if (((0) == isDialInPumpOn || dir == dialInPumpDirectionSet) || pwmFabs <= (0.1000000015F)) ==> TRUE (4) if (pwmFabs != dialInPumpPWMDutyCyclePct) ==> TRUE (5) if (pwmFabs > (0.8999999762F)) ==> FALSE (6) if (pwmFabs < (0.1000000015F)) ==> FALSE (9) case dialInPumpState ==> DIAL_IN_PUMP_RAMPING_DOWN_STATE (10) if (dialInPumpPWMDutyCyclePct > dialInPumpPWMDutyCyclePctSet) ==> FALSE Test Case Generation Notes: Cannot set local variable dir in branch 2 Cannot set local variable pwmFabs in branch 3 Conflict: Trying to set variable DialInFlow.<>.isDialInPumpOn 'equal to' and 'not equal to' same value in branches 2/3 Cannot set local variable pwmFabs in branch 4 Cannot set local variable pwmFabs in branch 5 Cannot set local variable pwmFabs in branch 6 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_DOWN_STATE TEST.VALUE:DialInFlow.<>.isDialInPumpOn:1 TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:<> TEST.VALUE:DialInFlow.setDialInPumpToFixedPWM.pwm:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_DOWN_STATE TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:1 TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:3.40282E+38 TEST.EXPECTED:DialInFlow.setDialInPumpToFixedPWM.pwm:3.40282E+38 TEST.END -- Test Case: setDialInPumpToFixedPWM.007 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpToFixedPWM TEST.NEW TEST.NAME:setDialInPumpToFixedPWM.007 TEST.BASIS_PATH:7 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if (pwm < (0)) ==> FALSE (2) if ((0) == isDialInPumpOn && dir != dialInPumpDirectionSet) ==> FALSE (3) if (((0) == isDialInPumpOn || dir == dialInPumpDirectionSet) || pwmFabs <= (0.1000000015F)) ==> TRUE (4) if (pwmFabs != dialInPumpPWMDutyCyclePct) ==> TRUE (5) if (pwmFabs > (0.8999999762F)) ==> FALSE (6) if (pwmFabs < (0.1000000015F)) ==> FALSE (9) case dialInPumpState ==> DIAL_IN_PUMP_RAMPING_DOWN_STATE (10) if (dialInPumpPWMDutyCyclePct > dialInPumpPWMDutyCyclePctSet) ==> TRUE Test Case Generation Notes: Cannot set local variable dir in branch 2 Cannot set local variable pwmFabs in branch 3 Conflict: Trying to set variable DialInFlow.<>.isDialInPumpOn 'equal to' and 'not equal to' same value in branches 2/3 Cannot set local variable pwmFabs in branch 4 Cannot set local variable pwmFabs in branch 5 Cannot set local variable pwmFabs in branch 6 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_DOWN_STATE TEST.VALUE:DialInFlow.<>.isDialInPumpOn:1 TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:<> TEST.VALUE:DialInFlow.setDialInPumpToFixedPWM.pwm:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:1 TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:-3.40282E+38 TEST.EXPECTED:DialInFlow.setDialInPumpToFixedPWM.pwm:3.40282E+38 TEST.END -- Test Case: setDialInPumpToFixedPWM.008 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpToFixedPWM TEST.NEW TEST.NAME:setDialInPumpToFixedPWM.008 TEST.BASIS_PATH:8 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if (pwm < (0)) ==> FALSE (2) if ((0) == isDialInPumpOn && dir != dialInPumpDirectionSet) ==> FALSE (3) if (((0) == isDialInPumpOn || dir == dialInPumpDirectionSet) || pwmFabs <= (0.1000000015F)) ==> TRUE (4) if (pwmFabs != dialInPumpPWMDutyCyclePct) ==> TRUE (5) if (pwmFabs > (0.8999999762F)) ==> FALSE (6) if (pwmFabs < (0.1000000015F)) ==> FALSE (11) case dialInPumpState ==> DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE (12) if (dialInPumpPWMDutyCyclePctSet > dialInPumpPWMDutyCyclePct) ==> FALSE Test Case Generation Notes: Cannot set local variable dir in branch 2 Cannot set local variable pwmFabs in branch 3 Conflict: Trying to set variable DialInFlow.<>.isDialInPumpOn 'equal to' and 'not equal to' same value in branches 2/3 Cannot set local variable pwmFabs in branch 4 Cannot set local variable pwmFabs in branch 5 Cannot set local variable pwmFabs in branch 6 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.isDialInPumpOn:1 TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:<> TEST.VALUE:DialInFlow.setDialInPumpToFixedPWM.pwm:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_UP_STATE TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:1 TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:-3.40282E+38 TEST.EXPECTED:DialInFlow.setDialInPumpToFixedPWM.pwm:3.40282E+38 TEST.END -- Test Case: setDialInPumpToFixedPWM.009 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpToFixedPWM TEST.NEW TEST.NAME:setDialInPumpToFixedPWM.009 TEST.BASIS_PATH:9 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) if (pwm < (0)) ==> FALSE (2) if ((0) == isDialInPumpOn && dir != dialInPumpDirectionSet) ==> FALSE (3) if (((0) == isDialInPumpOn || dir == dialInPumpDirectionSet) || pwmFabs <= (0.1000000015F)) ==> TRUE (4) if (pwmFabs != dialInPumpPWMDutyCyclePct) ==> TRUE (5) if (pwmFabs > (0.8999999762F)) ==> FALSE (6) if (pwmFabs < (0.1000000015F)) ==> FALSE (11) case dialInPumpState ==> DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE (12) if (dialInPumpPWMDutyCyclePctSet > dialInPumpPWMDutyCyclePct) ==> TRUE Test Case Generation Notes: Cannot set local variable dir in branch 2 Cannot set local variable pwmFabs in branch 3 Conflict: Trying to set variable DialInFlow.<>.isDialInPumpOn 'equal to' and 'not equal to' same value in branches 2/3 Cannot set local variable pwmFabs in branch 4 Cannot set local variable pwmFabs in branch 5 Cannot set local variable pwmFabs in branch 6 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.isDialInPumpOn:1 TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:<> TEST.VALUE:DialInFlow.setDialInPumpToFixedPWM.pwm:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_RAMPING_DOWN_STATE TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:1 TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:3.40282E+38 TEST.EXPECTED:DialInFlow.setDialInPumpToFixedPWM.pwm:3.40282E+38 TEST.END -- Test Case: setDialInPumpToFixedPWM.010 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpToFixedPWM TEST.NEW TEST.NAME:setDialInPumpToFixedPWM.010 TEST.BASIS_PATH:10 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 10 (1) if (pwm < (0)) ==> FALSE (2) if ((0) == isDialInPumpOn && dir != dialInPumpDirectionSet) ==> FALSE (3) if (((0) == isDialInPumpOn || dir == dialInPumpDirectionSet) || pwmFabs <= (0.1000000015F)) ==> TRUE (4) if (pwmFabs != dialInPumpPWMDutyCyclePct) ==> TRUE (5) if (pwmFabs > (0.8999999762F)) ==> FALSE (6) if (pwmFabs < (0.1000000015F)) ==> TRUE (13) case dialInPumpState ==> default Test Case Generation Notes: Cannot set local variable dir in branch 2 Cannot set local variable pwmFabs in branch 3 Conflict: Trying to set variable DialInFlow.<>.isDialInPumpOn 'equal to' and 'not equal to' same value in branches 2/3 Cannot set local variable pwmFabs in branch 4 Cannot set local variable pwmFabs in branch 5 Cannot set local variable pwmFabs in branch 6 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.VALUE:DialInFlow.<>.isDialInPumpOn:1 TEST.VALUE:DialInFlow.setDialInPumpToFixedPWM.pwm:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:1 TEST.EXPECTED:DialInFlow.setDialInPumpToFixedPWM.pwm:3.40282E+38 TEST.END -- Test Case: setDialInPumpToFixedPWM.011 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpToFixedPWM TEST.NEW TEST.NAME:setDialInPumpToFixedPWM.011 TEST.BASIS_PATH:11 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if (pwm < (0)) ==> FALSE (2) if ((0) == isDialInPumpOn && dir != dialInPumpDirectionSet) ==> FALSE (3) if (((0) == isDialInPumpOn || dir == dialInPumpDirectionSet) || pwmFabs <= (0.1000000015F)) ==> TRUE (4) if (pwmFabs != dialInPumpPWMDutyCyclePct) ==> TRUE (5) if (pwmFabs > (0.8999999762F)) ==> TRUE (13) case dialInPumpState ==> default Test Case Generation Notes: Cannot set local variable dir in branch 2 Cannot set local variable pwmFabs in branch 3 Conflict: Trying to set variable DialInFlow.<>.isDialInPumpOn 'equal to' and 'not equal to' same value in branches 2/3 Cannot set local variable pwmFabs in branch 4 Cannot set local variable pwmFabs in branch 5 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.VALUE:DialInFlow.<>.isDialInPumpOn:1 TEST.VALUE:DialInFlow.setDialInPumpToFixedPWM.pwm:<> TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:1 TEST.EXPECTED:DialInFlow.setDialInPumpToFixedPWM.pwm:3.40282E+38 TEST.END -- Test Case: setDialInPumpToFixedPWM.012 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpToFixedPWM TEST.NEW TEST.NAME:setDialInPumpToFixedPWM.012 TEST.BASIS_PATH:12 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if (pwm < (0)) ==> FALSE (2) if ((0) == isDialInPumpOn && dir != dialInPumpDirectionSet) ==> TRUE (3) if (((0) == isDialInPumpOn || dir == dialInPumpDirectionSet) || pwmFabs <= (0.1000000015F)) ==> FALSE Test Case Generation Notes: Cannot set local variable dir in branch 2 Cannot set local variable pwmFabs in branch 3 Conflict: Trying to set variable DialInFlow.<>.isDialInPumpOn 'equal to' and 'not equal to' same value in branches 2/3 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.isDialInPumpOn:0 TEST.VALUE:DialInFlow.setDialInPumpToFixedPWM.pwm:<> TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:0 TEST.EXPECTED:DialInFlow.setDialInPumpToFixedPWM.pwm:3.40282E+38 TEST.END -- Test Case: setDialInPumpToFixedPWM.013 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpToFixedPWM TEST.NEW TEST.NAME:setDialInPumpToFixedPWM.013 TEST.BASIS_PATH:13 of 13 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) if (pwm < (0)) ==> TRUE (2) if ((0) == isDialInPumpOn && dir != dialInPumpDirectionSet) ==> FALSE (3) if (((0) == isDialInPumpOn || dir == dialInPumpDirectionSet) || pwmFabs <= (0.1000000015F)) ==> FALSE Test Case Generation Notes: Cannot set dir due to assignment Cannot set local variable pwmFabs in branch 3 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.isDialInPumpOn:1 TEST.VALUE:DialInFlow.setDialInPumpToFixedPWM.pwm:<> TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:1 TEST.EXPECTED:DialInFlow.setDialInPumpToFixedPWM.pwm:-3.40282E+38 TEST.END -- Test Case: setDialInPumpToFixedPWM.014 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpToFixedPWM TEST.NEW TEST.NAME:setDialInPumpToFixedPWM.014 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if (pwm < (0)) ==> FALSE (2) if ((0) == isDialInPumpOn && dir != dialInPumpDirectionSet) ==> TRUE (3) if (((0) == isDialInPumpOn || dir == dialInPumpDirectionSet) || pwmFabs <= (0.1000000015F)) ==> FALSE Test Case Generation Notes: Cannot set local variable dir in branch 2 Cannot set local variable pwmFabs in branch 3 Conflict: Trying to set variable DialInFlow.<>.isDialInPumpOn 'equal to' and 'not equal to' same value in branches 2/3 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.isDialInPumpOn:0 TEST.VALUE:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.setDialInPumpToFixedPWM.pwm:<> TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:0 TEST.EXPECTED:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.setDialInPumpToFixedPWM.pwm:3.40282E+38 TEST.END -- Test Case: setDialInPumpToFixedPWM.015 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpToFixedPWM TEST.NEW TEST.NAME:setDialInPumpToFixedPWM.015 TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) if (pwm < (0)) ==> TRUE (2) if ((0) == isDialInPumpOn && dir != dialInPumpDirectionSet) ==> FALSE (3) if (((0) == isDialInPumpOn || dir == dialInPumpDirectionSet) || pwmFabs <= (0.1000000015F)) ==> FALSE Test Case Generation Notes: Cannot set dir due to assignment Cannot set local variable pwmFabs in branch 3 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.isDialInPumpOn:1 TEST.VALUE:DialInFlow.setDialInPumpToFixedPWM.pwm:0.10 TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:1 TEST.EXPECTED:DialInFlow.setDialInPumpToFixedPWM.pwm:0.1 TEST.END -- Test Case: setDialInPumpToFixedPWM.016 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpToFixedPWM TEST.NEW TEST.NAME:setDialInPumpToFixedPWM.016 TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) if (pwm < (0)) ==> TRUE (2) if ((0) == isDialInPumpOn && dir != dialInPumpDirectionSet) ==> FALSE (3) if (((0) == isDialInPumpOn || dir == dialInPumpDirectionSet) || pwmFabs <= (0.1000000015F)) ==> FALSE Test Case Generation Notes: Cannot set dir due to assignment Cannot set local variable pwmFabs in branch 3 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.isDialInPumpOn:1 TEST.VALUE:DialInFlow.setDialInPumpToFixedPWM.pwm:0.09 TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:1 TEST.EXPECTED:DialInFlow.setDialInPumpToFixedPWM.pwm:0.09 TEST.END -- Test Case: setDialInPumpToFixedPWM.017 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:setDialInPumpToFixedPWM TEST.NEW TEST.NAME:setDialInPumpToFixedPWM.017 TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) if (pwm < (0)) ==> TRUE (2) if ((0) == isDialInPumpOn && dir != dialInPumpDirectionSet) ==> FALSE (3) if (((0) == isDialInPumpOn || dir == dialInPumpDirectionSet) || pwmFabs <= (0.1000000015F)) ==> FALSE Test Case Generation Notes: Cannot set dir due to assignment Cannot set local variable pwmFabs in branch 3 TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.isDialInPumpOn:1 TEST.VALUE:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_REVERSE TEST.VALUE:DialInFlow.setDialInPumpToFixedPWM.pwm:0.08 TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:1 TEST.EXPECTED:DialInFlow.<>.dialInPumpDirectionSet:MOTOR_DIR_REVERSE TEST.EXPECTED:DialInFlow.setDialInPumpToFixedPWM.pwm:0.08 TEST.END -- Subprogram: signalDialInPumpHardStop -- Test Case: signalDialInPumpHardStop TEST.UNIT:DialInFlow TEST.SUBPROGRAM:signalDialInPumpHardStop TEST.NEW TEST.NAME:signalDialInPumpHardStop TEST.VALUE:DialInFlow.<>.ptr_mibspiREG5:<> TEST.VALUE:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE TEST.VALUE:DialInFlow.<>.isDialInPumpOn:1 TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePct:0.7 TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.7 TEST.VALUE:DialInFlow.<>.targetDialInFlowRate:1 TEST.VALUE:DialInFlow.<>.dipControlTimerCounter:1 TEST.VALUE:uut_prototype_stubs.gioSetBit.value:1 TEST.EXPECTED:DialInFlow.<>.dialInPumpState:DIAL_IN_PUMP_OFF_STATE TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:0 TEST.EXPECTED:DialInFlow.<>.dialInPumpPWMDutyCyclePct:0.1 TEST.EXPECTED:DialInFlow.<>.targetDialInFlowRate:0 TEST.EXPECTED:DialInFlow.<>.dipControlTimerCounter:0 TEST.EXPECTED:uut_prototype_stubs.etpwmSetCmpA.value:0 TEST.EXPECTED:uut_prototype_stubs.gioSetBit.bit:2 TEST.EXPECTED:uut_prototype_stubs.gioSetBit.value:0 TEST.EXPECTED:uut_prototype_stubs.resetPIController.controllerID:PI_CONTROLLER_ID_DIALYSATE_FLOW TEST.END -- Subprogram: signalDialInPumpRotorHallSensor -- Test Case: signalDialInPumpRotorHallSensor.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:signalDialInPumpRotorHallSensor TEST.NEW TEST.NAME:signalDialInPumpRotorHallSensor.001 TEST.VALUE:DialInFlow.<>.targetDialInFlowRate:300 TEST.VALUE:DialInFlow.<>.dialInPumpRotorSpeedRPM.data:59.0 TEST.VALUE:DialInFlow.<>.dipRotorRevStartTime:99000 TEST.VALUE:DialInFlow.<>.dipStopAtHomePosition:1 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:100000 TEST.VALUE:uut_prototype_stubs.calcTimeBetween.return:1000 TEST.EXPECTED:DialInFlow.<>.targetDialInFlowRate:0 TEST.EXPECTED:DialInFlow.<>.dialInPumpRotorSpeedRPM.data:60.0 TEST.EXPECTED:DialInFlow.<>.dipRotorRevStartTime:100000 TEST.EXPECTED:DialInFlow.<>.dipStopAtHomePosition:0 TEST.EXPECTED:uut_prototype_stubs.calcTimeBetween.startMSCount:99000 TEST.EXPECTED:uut_prototype_stubs.calcTimeBetween.endMSCount:100000 TEST.END -- Test Case: signalDialInPumpRotorHallSensor.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:signalDialInPumpRotorHallSensor TEST.NEW TEST.NAME:signalDialInPumpRotorHallSensor.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == dipStopAtHomePosition) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dipStopAtHomePosition:<> TEST.VALUE:uut_prototype_stubs.calcTimeBetween.return:1 TEST.EXPECTED:DialInFlow.<>.dipStopAtHomePosition:0 TEST.END -- Test Case: signalDialInPumpRotorHallSensor.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:signalDialInPumpRotorHallSensor TEST.NEW TEST.NAME:signalDialInPumpRotorHallSensor.003 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == dipStopAtHomePosition) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.<>.dipStopAtHomePosition:1 TEST.VALUE:uut_prototype_stubs.calcTimeBetween.return:1 TEST.EXPECTED:DialInFlow.<>.dipStopAtHomePosition:0 TEST.END -- Subprogram: stopDialInPump -- Test Case: stopDialInPump TEST.UNIT:DialInFlow TEST.SUBPROGRAM:stopDialInPump TEST.NEW TEST.NAME:stopDialInPump TEST.VALUE:DialInFlow.<>.ptr_mibspiREG5:<> TEST.VALUE:DialInFlow.<>.isDialInPumpOn:1 TEST.VALUE:DialInFlow.<>.dialInPumpPWMDutyCyclePctSet:0.5 TEST.VALUE:uut_prototype_stubs.gioSetBit.value:1 TEST.EXPECTED:DialInFlow.<>.isDialInPumpOn:0 TEST.EXPECTED:uut_prototype_stubs.etpwmSetCmpA.value:0 TEST.EXPECTED:uut_prototype_stubs.gioSetBit.bit:2 TEST.EXPECTED:uut_prototype_stubs.gioSetBit.value:0x0 TEST.END -- Subprogram: testResetDialInFlowDataPublishIntervalOverride -- Test Case: testResetDialInFlowDataPublishIntervalOverride.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testResetDialInFlowDataPublishIntervalOverride TEST.NEW TEST.NAME:testResetDialInFlowDataPublishIntervalOverride.001 TEST.VALUE:DialInFlow.<>.dialInFlowDataPublishInterval.data:10 TEST.VALUE:DialInFlow.<>.dialInFlowDataPublishInterval.ovInitData:0 TEST.VALUE:DialInFlow.<>.dialInFlowDataPublishInterval.ovData:5 TEST.VALUE:DialInFlow.<>.dialInFlowDataPublishInterval.override:0xCCC33C33 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.<>.dialInFlowDataPublishInterval.data:10 TEST.EXPECTED:DialInFlow.<>.dialInFlowDataPublishInterval.ovInitData:0 TEST.EXPECTED:DialInFlow.<>.dialInFlowDataPublishInterval.ovData:0 TEST.EXPECTED:DialInFlow.<>.dialInFlowDataPublishInterval.override:0 TEST.EXPECTED:DialInFlow.testResetDialInFlowDataPublishIntervalOverride.return:1 TEST.END -- Test Case: testResetDialInFlowDataPublishIntervalOverride.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testResetDialInFlowDataPublishIntervalOverride TEST.NEW TEST.NAME:testResetDialInFlowDataPublishIntervalOverride.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Test Case: testResetDialInFlowDataPublishIntervalOverride.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testResetDialInFlowDataPublishIntervalOverride TEST.NEW TEST.NAME:testResetDialInFlowDataPublishIntervalOverride.003 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Subprogram: testResetDialysateInPumpRotorCountOverride -- Test Case: testResetDialysateInPumpRotorCountOverride.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testResetDialysateInPumpRotorCountOverride TEST.NEW TEST.NAME:testResetDialysateInPumpRotorCountOverride.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Test Case: testResetDialysateInPumpRotorCountOverride.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testResetDialysateInPumpRotorCountOverride TEST.NEW TEST.NAME:testResetDialysateInPumpRotorCountOverride.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Subprogram: testResetMeasuredDialInFlowRateOverride -- Test Case: testResetMeasuredDialInFlowRateOverride.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testResetMeasuredDialInFlowRateOverride TEST.NEW TEST.NAME:testResetMeasuredDialInFlowRateOverride.001 TEST.VALUE:DialInFlow.<>.measuredDialInFlowRate.data:400.0 TEST.VALUE:DialInFlow.<>.measuredDialInFlowRate.ovInitData:0.0 TEST.VALUE:DialInFlow.<>.measuredDialInFlowRate.ovData:250.0 TEST.VALUE:DialInFlow.<>.measuredDialInFlowRate.override:0xCCC33C33 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.<>.measuredDialInFlowRate.data:400.0 TEST.EXPECTED:DialInFlow.<>.measuredDialInFlowRate.ovInitData:0.0 TEST.EXPECTED:DialInFlow.<>.measuredDialInFlowRate.ovData:0.0 TEST.EXPECTED:DialInFlow.<>.measuredDialInFlowRate.override:0 TEST.EXPECTED:DialInFlow.testResetMeasuredDialInFlowRateOverride.return:1 TEST.END -- Test Case: testResetMeasuredDialInFlowRateOverride.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testResetMeasuredDialInFlowRateOverride TEST.NEW TEST.NAME:testResetMeasuredDialInFlowRateOverride.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Test Case: testResetMeasuredDialInFlowRateOverride.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testResetMeasuredDialInFlowRateOverride TEST.NEW TEST.NAME:testResetMeasuredDialInFlowRateOverride.003 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Subprogram: testResetMeasuredDialInPumpMCCurrentOverride -- Test Case: testResetMeasuredDialInPumpMCCurrentOverride.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testResetMeasuredDialInPumpMCCurrentOverride TEST.NEW TEST.NAME:testResetMeasuredDialInPumpMCCurrentOverride.001 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCCurrentmA.data:800.0 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCCurrentmA.ovInitData:0.0 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCCurrentmA.ovData:1200.0 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCCurrentmA.override:0xCCC33C33 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCCurrentmA.data:800.0 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCCurrentmA.ovInitData:0.0 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCCurrentmA.ovData:0.0 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCCurrentmA.override:0 TEST.EXPECTED:DialInFlow.testResetMeasuredDialInPumpMCCurrentOverride.return:1 TEST.END -- Test Case: testResetMeasuredDialInPumpMCCurrentOverride.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testResetMeasuredDialInPumpMCCurrentOverride TEST.NEW TEST.NAME:testResetMeasuredDialInPumpMCCurrentOverride.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Test Case: testResetMeasuredDialInPumpMCCurrentOverride.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testResetMeasuredDialInPumpMCCurrentOverride TEST.NEW TEST.NAME:testResetMeasuredDialInPumpMCCurrentOverride.003 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Subprogram: testResetMeasuredDialInPumpMCSpeedOverride -- Test Case: testResetMeasuredDialInPumpMCSpeedOverride.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testResetMeasuredDialInPumpMCSpeedOverride TEST.NEW TEST.NAME:testResetMeasuredDialInPumpMCSpeedOverride.001 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCSpeedRPM.data:500.0 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCSpeedRPM.ovInitData:0.0 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCSpeedRPM.ovData:1000.0 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCSpeedRPM.override:0xCCC33C33 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCSpeedRPM.data:500.0 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCSpeedRPM.ovInitData:0.0 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCSpeedRPM.ovData:0.0 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCSpeedRPM.override:0 TEST.EXPECTED:DialInFlow.testResetMeasuredDialInPumpMCSpeedOverride.return:1 TEST.END -- Test Case: testResetMeasuredDialInPumpMCSpeedOverride.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testResetMeasuredDialInPumpMCSpeedOverride TEST.NEW TEST.NAME:testResetMeasuredDialInPumpMCSpeedOverride.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Test Case: testResetMeasuredDialInPumpMCSpeedOverride.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testResetMeasuredDialInPumpMCSpeedOverride TEST.NEW TEST.NAME:testResetMeasuredDialInPumpMCSpeedOverride.003 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Subprogram: testResetMeasuredDialInPumpRotorSpeedOverride -- Test Case: testResetMeasuredDialInPumpRotorSpeedOverride.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testResetMeasuredDialInPumpRotorSpeedOverride TEST.NEW TEST.NAME:testResetMeasuredDialInPumpRotorSpeedOverride.001 TEST.VALUE:DialInFlow.<>.dialInPumpRotorSpeedRPM.data:25.0 TEST.VALUE:DialInFlow.<>.dialInPumpRotorSpeedRPM.ovInitData:0.0 TEST.VALUE:DialInFlow.<>.dialInPumpRotorSpeedRPM.ovData:50.0 TEST.VALUE:DialInFlow.<>.dialInPumpRotorSpeedRPM.override:0xCCC33C33 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.<>.dialInPumpRotorSpeedRPM.data:25.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpRotorSpeedRPM.ovInitData:0.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpRotorSpeedRPM.ovData:0.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpRotorSpeedRPM.override:0 TEST.EXPECTED:DialInFlow.testResetMeasuredDialInPumpRotorSpeedOverride.return:1 TEST.END -- Test Case: testResetMeasuredDialInPumpRotorSpeedOverride.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testResetMeasuredDialInPumpRotorSpeedOverride TEST.NEW TEST.NAME:testResetMeasuredDialInPumpRotorSpeedOverride.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Test Case: testResetMeasuredDialInPumpRotorSpeedOverride.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testResetMeasuredDialInPumpRotorSpeedOverride TEST.NEW TEST.NAME:testResetMeasuredDialInPumpRotorSpeedOverride.003 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Subprogram: testResetMeasuredDialInPumpSpeedOverride -- Test Case: testResetMeasuredDialInPumpSpeedOverride.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testResetMeasuredDialInPumpSpeedOverride TEST.NEW TEST.NAME:testResetMeasuredDialInPumpSpeedOverride.001 TEST.VALUE:DialInFlow.<>.dialInPumpSpeedRPM.data:800.0 TEST.VALUE:DialInFlow.<>.dialInPumpSpeedRPM.ovInitData:0.0 TEST.VALUE:DialInFlow.<>.dialInPumpSpeedRPM.ovData:1200.0 TEST.VALUE:DialInFlow.<>.dialInPumpSpeedRPM.override:0xCCC33C33 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.<>.dialInPumpSpeedRPM.data:800.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpSpeedRPM.ovInitData:0.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpSpeedRPM.ovData:0.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpSpeedRPM.override:0 TEST.EXPECTED:DialInFlow.testResetMeasuredDialInPumpSpeedOverride.return:1 TEST.END -- Test Case: testResetMeasuredDialInPumpSpeedOverride.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testResetMeasuredDialInPumpSpeedOverride TEST.NEW TEST.NAME:testResetMeasuredDialInPumpSpeedOverride.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Test Case: testResetMeasuredDialInPumpSpeedOverride.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testResetMeasuredDialInPumpSpeedOverride TEST.NEW TEST.NAME:testResetMeasuredDialInPumpSpeedOverride.003 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Subprogram: testSetDialInFlowDataPublishIntervalOverride -- Test Case: testSetDialInFlowDataPublishIntervalOverride.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetDialInFlowDataPublishIntervalOverride TEST.NEW TEST.NAME:testSetDialInFlowDataPublishIntervalOverride.001 TEST.VALUE:DialInFlow.<>.dialInFlowDataPublishInterval.data:10 TEST.VALUE:DialInFlow.<>.dialInFlowDataPublishInterval.ovInitData:0 TEST.VALUE:DialInFlow.<>.dialInFlowDataPublishInterval.ovData:0 TEST.VALUE:DialInFlow.<>.dialInFlowDataPublishInterval.override:0 TEST.VALUE:DialInFlow.testSetDialInFlowDataPublishIntervalOverride.value:50 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.<>.dialInFlowDataPublishInterval.data:10 TEST.EXPECTED:DialInFlow.<>.dialInFlowDataPublishInterval.ovInitData:0 TEST.EXPECTED:DialInFlow.<>.dialInFlowDataPublishInterval.ovData:5 TEST.EXPECTED:DialInFlow.<>.dialInFlowDataPublishInterval.override:0xCCC33C33 TEST.EXPECTED:DialInFlow.testSetDialInFlowDataPublishIntervalOverride.return:1 TEST.END -- Test Case: testSetDialInFlowDataPublishIntervalOverride.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetDialInFlowDataPublishIntervalOverride TEST.NEW TEST.NAME:testSetDialInFlowDataPublishIntervalOverride.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.testSetDialInFlowDataPublishIntervalOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:DialInFlow.testSetDialInFlowDataPublishIntervalOverride.value:0 TEST.END -- Test Case: testSetDialInFlowDataPublishIntervalOverride.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetDialInFlowDataPublishIntervalOverride TEST.NEW TEST.NAME:testSetDialInFlowDataPublishIntervalOverride.003 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.testSetDialInFlowDataPublishIntervalOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.testSetDialInFlowDataPublishIntervalOverride.value:0 TEST.END -- Subprogram: testSetDialInPumpTargetDutyCycle -- Test Case: testSetDialInPumpTargetDutyCycle.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetDialInPumpTargetDutyCycle TEST.NEW TEST.NAME:testSetDialInPumpTargetDutyCycle.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 3629 TEST.VALUE:DialInFlow.testSetDialInPumpTargetDutyCycle.value:<> >>> >>> Unknown parameter/object name value >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 3631 TEST.EXPECTED:DialInFlow.testSetDialInPumpTargetDutyCycle.value:-3.40282E+38 >>> >>> Unknown parameter/object name value >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:DialInFlow.testSetDialInPumpTargetDutyCycle.return:0 TEST.END -- Test Case: testSetDialInPumpTargetDutyCycle.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetDialInPumpTargetDutyCycle TEST.NEW TEST.NAME:testSetDialInPumpTargetDutyCycle.002 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 3746 TEST.STUB:DialInFlow.testSetDialInPumpWithPWM >>> >>> Could not find function testSetDialInPumpWithPWM >>> >>> in unit DialInFlow. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 3746 >>> >>> Could not stub DialInFlow.testSetDialInPumpWithPWM >>> (E) @LINE: 3747 TEST.VALUE:DialInFlow.testSetDialInPumpWithPWM.pwm:0.0 >>> >>> Subprogram 'testSetDialInPumpWithPWM' is invalid >>> >>> Command Ignored >>> (E) @LINE: 3748 TEST.VALUE:DialInFlow.testSetDialInPumpWithPWM.return:10 >>> >>> Subprogram 'testSetDialInPumpWithPWM' is invalid >>> >>> Command Ignored >>> (E) @LINE: 3751 TEST.EXPECTED:DialInFlow.testSetDialInPumpWithPWM.pwm:0.8 >>> >>> Subprogram 'testSetDialInPumpWithPWM' is invalid >>> >>> Command Ignored >>> (E) @LINE: 3646 TEST.VALUE:DialInFlow.testSetDialInPumpTargetDutyCycle.value:<> >>> >>> Unknown parameter/object name value >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 3648 TEST.EXPECTED:DialInFlow.testSetDialInPumpTargetDutyCycle.value:-3.40282E+38 >>> >>> Unknown parameter/object name value >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.testSetDialInPumpTargetDutyCycle.pwmPct:0.8 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.testSetDialInPumpTargetDutyCycle.pwmPct:0.8 TEST.EXPECTED:DialInFlow.testSetDialInPumpTargetDutyCycle.return:1 TEST.END -- Test Case: testSetDialInPumpTargetDutyCycle.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetDialInPumpTargetDutyCycle TEST.NEW TEST.NAME:testSetDialInPumpTargetDutyCycle.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.testSetDialInPumpTargetDutyCycle.pwmPct:1.0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.testSetDialInPumpTargetDutyCycle.return:0 TEST.END -- Subprogram: testSetDialysateInPumpRotorCountOverride -- Test Case: testSetDialysateInPumpRotorCountOverride.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetDialysateInPumpRotorCountOverride TEST.NEW TEST.NAME:testSetDialysateInPumpRotorCountOverride.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.testSetDialysateInPumpRotorCountOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:DialInFlow.testSetDialysateInPumpRotorCountOverride.value:0 TEST.END -- Test Case: testSetDialysateInPumpRotorCountOverride.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetDialysateInPumpRotorCountOverride TEST.NEW TEST.NAME:testSetDialysateInPumpRotorCountOverride.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.testSetDialysateInPumpRotorCountOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.testSetDialysateInPumpRotorCountOverride.value:0 TEST.END -- Subprogram: testSetMeasuredDialInFlowRateOverride -- Test Case: testSetMeasuredDialInFlowRateOverride.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetMeasuredDialInFlowRateOverride TEST.NEW TEST.NAME:testSetMeasuredDialInFlowRateOverride.001 TEST.VALUE:DialInFlow.<>.measuredDialInFlowRate.data:400.0 TEST.VALUE:DialInFlow.<>.measuredDialInFlowRate.ovInitData:0.0 TEST.VALUE:DialInFlow.<>.measuredDialInFlowRate.ovData:0.0 TEST.VALUE:DialInFlow.<>.measuredDialInFlowRate.override:0 TEST.VALUE:DialInFlow.testSetMeasuredDialInFlowRateOverride.value:250.0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.<>.measuredDialInFlowRate.data:400.0 TEST.EXPECTED:DialInFlow.<>.measuredDialInFlowRate.ovInitData:0.0 TEST.EXPECTED:DialInFlow.<>.measuredDialInFlowRate.ovData:250.0 TEST.EXPECTED:DialInFlow.<>.measuredDialInFlowRate.override:0xCCC33C33 TEST.EXPECTED:DialInFlow.testSetMeasuredDialInFlowRateOverride.return:1 TEST.END -- Test Case: testSetMeasuredDialInFlowRateOverride.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetMeasuredDialInFlowRateOverride TEST.NEW TEST.NAME:testSetMeasuredDialInFlowRateOverride.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.testSetMeasuredDialInFlowRateOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:DialInFlow.testSetMeasuredDialInFlowRateOverride.value:-3.40282E+38 TEST.END -- Test Case: testSetMeasuredDialInFlowRateOverride.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetMeasuredDialInFlowRateOverride TEST.NEW TEST.NAME:testSetMeasuredDialInFlowRateOverride.003 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.testSetMeasuredDialInFlowRateOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.testSetMeasuredDialInFlowRateOverride.value:-3.40282E+38 TEST.END -- Subprogram: testSetMeasuredDialInPumpMCCurrentOverride -- Test Case: testSetMeasuredDialInPumpMCCurrentOverride.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetMeasuredDialInPumpMCCurrentOverride TEST.NEW TEST.NAME:testSetMeasuredDialInPumpMCCurrentOverride.001 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCCurrentmA.data:800.0 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCCurrentmA.ovInitData:0.0 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCCurrentmA.ovData:0.0 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCCurrentmA.override:0 TEST.VALUE:DialInFlow.testSetMeasuredDialInPumpMCCurrentOverride.value:1200.0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCCurrentmA.data:800.0 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCCurrentmA.ovInitData:0.0 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCCurrentmA.ovData:1200.0 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCCurrentmA.override:0xCCC33C33 TEST.EXPECTED:DialInFlow.testSetMeasuredDialInPumpMCCurrentOverride.return:1 TEST.END -- Test Case: testSetMeasuredDialInPumpMCCurrentOverride.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetMeasuredDialInPumpMCCurrentOverride TEST.NEW TEST.NAME:testSetMeasuredDialInPumpMCCurrentOverride.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.testSetMeasuredDialInPumpMCCurrentOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:DialInFlow.testSetMeasuredDialInPumpMCCurrentOverride.value:-3.40282E+38 TEST.END -- Test Case: testSetMeasuredDialInPumpMCCurrentOverride.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetMeasuredDialInPumpMCCurrentOverride TEST.NEW TEST.NAME:testSetMeasuredDialInPumpMCCurrentOverride.003 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.testSetMeasuredDialInPumpMCCurrentOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.testSetMeasuredDialInPumpMCCurrentOverride.value:-3.40282E+38 TEST.END -- Subprogram: testSetMeasuredDialInPumpMCSpeedOverride -- Test Case: testSetMeasuredDialInPumpMCSpeedOverride.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetMeasuredDialInPumpMCSpeedOverride TEST.NEW TEST.NAME:testSetMeasuredDialInPumpMCSpeedOverride.001 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCSpeedRPM.data:500.0 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCSpeedRPM.ovInitData:0.0 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCSpeedRPM.ovData:0.0 TEST.VALUE:DialInFlow.<>.adcDialInPumpMCSpeedRPM.override:0 TEST.VALUE:DialInFlow.testSetMeasuredDialInPumpMCSpeedOverride.value:1000.0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCSpeedRPM.data:500.0 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCSpeedRPM.ovInitData:0.0 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCSpeedRPM.ovData:1000.0 TEST.EXPECTED:DialInFlow.<>.adcDialInPumpMCSpeedRPM.override:0xCCC33C33 TEST.EXPECTED:DialInFlow.testSetMeasuredDialInPumpMCSpeedOverride.return:1 TEST.END -- Test Case: testSetMeasuredDialInPumpMCSpeedOverride.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetMeasuredDialInPumpMCSpeedOverride TEST.NEW TEST.NAME:testSetMeasuredDialInPumpMCSpeedOverride.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.testSetMeasuredDialInPumpMCSpeedOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:DialInFlow.testSetMeasuredDialInPumpMCSpeedOverride.value:-3.40282E+38 TEST.END -- Test Case: testSetMeasuredDialInPumpMCSpeedOverride.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetMeasuredDialInPumpMCSpeedOverride TEST.NEW TEST.NAME:testSetMeasuredDialInPumpMCSpeedOverride.003 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.testSetMeasuredDialInPumpMCSpeedOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.testSetMeasuredDialInPumpMCSpeedOverride.value:-3.40282E+38 TEST.END -- Subprogram: testSetMeasuredDialInPumpRotorSpeedOverride -- Test Case: testSetMeasuredDialInPumpRotorSpeedOverride.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetMeasuredDialInPumpRotorSpeedOverride TEST.NEW TEST.NAME:testSetMeasuredDialInPumpRotorSpeedOverride.001 TEST.VALUE:DialInFlow.<>.dialInPumpRotorSpeedRPM.data:25.0 TEST.VALUE:DialInFlow.<>.dialInPumpRotorSpeedRPM.ovInitData:0.0 TEST.VALUE:DialInFlow.<>.dialInPumpRotorSpeedRPM.ovData:0.0 TEST.VALUE:DialInFlow.<>.dialInPumpRotorSpeedRPM.override:0 TEST.VALUE:DialInFlow.testSetMeasuredDialInPumpRotorSpeedOverride.value:50.0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.<>.dialInPumpRotorSpeedRPM.data:25.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpRotorSpeedRPM.ovInitData:0.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpRotorSpeedRPM.ovData:50.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpRotorSpeedRPM.override:0xCCC33C33 TEST.EXPECTED:DialInFlow.testSetMeasuredDialInPumpRotorSpeedOverride.return:1 TEST.END -- Test Case: testSetMeasuredDialInPumpRotorSpeedOverride.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetMeasuredDialInPumpRotorSpeedOverride TEST.NEW TEST.NAME:testSetMeasuredDialInPumpRotorSpeedOverride.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.testSetMeasuredDialInPumpRotorSpeedOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:DialInFlow.testSetMeasuredDialInPumpRotorSpeedOverride.value:-3.40282E+38 TEST.END -- Test Case: testSetMeasuredDialInPumpRotorSpeedOverride.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetMeasuredDialInPumpRotorSpeedOverride TEST.NEW TEST.NAME:testSetMeasuredDialInPumpRotorSpeedOverride.003 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.testSetMeasuredDialInPumpRotorSpeedOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.testSetMeasuredDialInPumpRotorSpeedOverride.value:-3.40282E+38 TEST.END -- Subprogram: testSetMeasuredDialInPumpSpeedOverride -- Test Case: testSetMeasuredDialInPumpSpeedOverride.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetMeasuredDialInPumpSpeedOverride TEST.NEW TEST.NAME:testSetMeasuredDialInPumpSpeedOverride.001 TEST.VALUE:DialInFlow.<>.dialInPumpSpeedRPM.data:800.0 TEST.VALUE:DialInFlow.<>.dialInPumpSpeedRPM.ovInitData:0.0 TEST.VALUE:DialInFlow.<>.dialInPumpSpeedRPM.ovData:0.0 TEST.VALUE:DialInFlow.<>.dialInPumpSpeedRPM.override:0 TEST.VALUE:DialInFlow.testSetMeasuredDialInPumpSpeedOverride.value:1200.0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.<>.dialInPumpSpeedRPM.data:800.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpSpeedRPM.ovInitData:0.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpSpeedRPM.ovData:1200.0 TEST.EXPECTED:DialInFlow.<>.dialInPumpSpeedRPM.override:0xCCC33C33 TEST.EXPECTED:DialInFlow.testSetMeasuredDialInPumpSpeedOverride.return:1 TEST.END -- Test Case: testSetMeasuredDialInPumpSpeedOverride.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetMeasuredDialInPumpSpeedOverride TEST.NEW TEST.NAME:testSetMeasuredDialInPumpSpeedOverride.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.testSetMeasuredDialInPumpSpeedOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:DialInFlow.testSetMeasuredDialInPumpSpeedOverride.value:-3.40282E+38 TEST.END -- Test Case: testSetMeasuredDialInPumpSpeedOverride.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetMeasuredDialInPumpSpeedOverride TEST.NEW TEST.NAME:testSetMeasuredDialInPumpSpeedOverride.003 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.testSetMeasuredDialInPumpSpeedOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.testSetMeasuredDialInPumpSpeedOverride.value:-3.40282E+38 TEST.END -- Subprogram: testSetTargetDialInFlowRateOverride -- Test Case: testSetTargetDialInFlowRateOverride.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetTargetDialInFlowRateOverride TEST.NEW TEST.NAME:testSetTargetDialInFlowRateOverride.001 TEST.BASIS_PATH:4 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == isTestingActivated()) ==> TRUE (2) if (value < 0) ==> FALSE (3) if (ctrlMode < (NUM_OF_PUMP_CONTROL_MODES)) ==> TRUE (4) if (0 == value) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.testSetTargetDialInFlowRateOverride.value:0 TEST.VALUE:DialInFlow.testSetTargetDialInFlowRateOverride.ctrlMode:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.testSetTargetDialInFlowRateOverride.value:0 TEST.EXPECTED:DialInFlow.testSetTargetDialInFlowRateOverride.ctrlMode:0 TEST.END -- Test Case: testSetTargetDialInFlowRateOverride.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetTargetDialInFlowRateOverride TEST.NEW TEST.NAME:testSetTargetDialInFlowRateOverride.002 TEST.BASIS_PATH:1 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.testSetTargetDialInFlowRateOverride.value:<> TEST.VALUE:DialInFlow.testSetTargetDialInFlowRateOverride.ctrlMode:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:DialInFlow.testSetTargetDialInFlowRateOverride.value:-2147483648 TEST.EXPECTED:DialInFlow.testSetTargetDialInFlowRateOverride.ctrlMode:0 TEST.END -- Test Case: testSetTargetDialInFlowRateOverride.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetTargetDialInFlowRateOverride TEST.NEW TEST.NAME:testSetTargetDialInFlowRateOverride.003 TEST.BASIS_PATH:2 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE (2) if (value < 0) ==> FALSE (3) if (ctrlMode < (NUM_OF_PUMP_CONTROL_MODES)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.testSetTargetDialInFlowRateOverride.value:<> TEST.VALUE:DialInFlow.testSetTargetDialInFlowRateOverride.ctrlMode:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.testSetTargetDialInFlowRateOverride.value:2147483647 TEST.EXPECTED:DialInFlow.testSetTargetDialInFlowRateOverride.ctrlMode:4294967295 TEST.END -- Test Case: testSetTargetDialInFlowRateOverride.004 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetTargetDialInFlowRateOverride TEST.NEW TEST.NAME:testSetTargetDialInFlowRateOverride.004 TEST.BASIS_PATH:3 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == isTestingActivated()) ==> TRUE (2) if (value < 0) ==> FALSE (3) if (ctrlMode < (NUM_OF_PUMP_CONTROL_MODES)) ==> TRUE (4) if (0 == value) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.testSetTargetDialInFlowRateOverride.value:<> TEST.VALUE:DialInFlow.testSetTargetDialInFlowRateOverride.ctrlMode:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.testSetTargetDialInFlowRateOverride.value:2147483647 TEST.EXPECTED:DialInFlow.testSetTargetDialInFlowRateOverride.ctrlMode:0 TEST.END -- Test Case: testSetTargetDialInFlowRateOverride.005 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetTargetDialInFlowRateOverride TEST.NEW TEST.NAME:testSetTargetDialInFlowRateOverride.005 TEST.BASIS_PATH:4 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == isTestingActivated()) ==> TRUE (2) if (value < 0) ==> FALSE (3) if (ctrlMode < (NUM_OF_PUMP_CONTROL_MODES)) ==> TRUE (4) if (0 == value) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.testSetTargetDialInFlowRateOverride.value:0 TEST.VALUE:DialInFlow.testSetTargetDialInFlowRateOverride.ctrlMode:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.testSetTargetDialInFlowRateOverride.value:0 TEST.EXPECTED:DialInFlow.testSetTargetDialInFlowRateOverride.ctrlMode:0 TEST.END -- Test Case: testSetTargetDialInFlowRateOverride.006 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:testSetTargetDialInFlowRateOverride TEST.NEW TEST.NAME:testSetTargetDialInFlowRateOverride.006 TEST.BASIS_PATH:5 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((1) == isTestingActivated()) ==> TRUE (2) if (value < 0) ==> TRUE (3) if (ctrlMode < (NUM_OF_PUMP_CONTROL_MODES)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:DialInFlow.testSetTargetDialInFlowRateOverride.value:<> TEST.VALUE:DialInFlow.testSetTargetDialInFlowRateOverride.ctrlMode:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:DialInFlow.testSetTargetDialInFlowRateOverride.value:-2147483648 TEST.EXPECTED:DialInFlow.testSetTargetDialInFlowRateOverride.ctrlMode:4294967295 TEST.END -- Subprogram: updateDialInPumpSpeedAndDirectionFromHallSensors -- Test Case: updateDialInPumpSpeedAndDirectionFromHallSensors.001 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:updateDialInPumpSpeedAndDirectionFromHallSensors TEST.NEW TEST.NAME:updateDialInPumpSpeedAndDirectionFromHallSensors.001 TEST.VALUE:DialInFlow.<>.dialInPumpSpeedRPM.data:1200.0 TEST.VALUE:DialInFlow.<>.dipLastMotorHallSensorCounts[2]:10000 TEST.VALUE:DialInFlow.<>.dipMotorSpeedCalcIdx:1 TEST.VALUE:DialInFlow.<>.dipMotorSpeedCalcTimerCtr:99 TEST.VALUE:uut_prototype_stubs.getFPGADialInPumpHallSensorCount.return:11000 TEST.EXPECTED:DialInFlow.<>.dialInPumpSpeedRPM.data:1250.0 TEST.EXPECTED:DialInFlow.<>.dipLastMotorHallSensorCounts[2]:11000 TEST.EXPECTED:DialInFlow.<>.dipMotorSpeedCalcIdx:2 TEST.EXPECTED:DialInFlow.<>.dipMotorSpeedCalcTimerCtr:0 TEST.END -- Test Case: updateDialInPumpSpeedAndDirectionFromHallSensors.002 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:updateDialInPumpSpeedAndDirectionFromHallSensors TEST.NEW TEST.NAME:updateDialInPumpSpeedAndDirectionFromHallSensors.002 TEST.VALUE:DialInFlow.<>.dialInPumpSpeedRPM.data:1200.0 TEST.VALUE:DialInFlow.<>.dipLastMotorHallSensorCounts[2]:10000 TEST.VALUE:DialInFlow.<>.dipMotorSpeedCalcIdx:1 TEST.VALUE:DialInFlow.<>.dipMotorSpeedCalcTimerCtr:99 TEST.VALUE:uut_prototype_stubs.getFPGADialInPumpHallSensorCount.return:0 TEST.EXPECTED:DialInFlow.<>.dialInPumpSpeedRPM.data:-12500.0 TEST.EXPECTED:DialInFlow.<>.dipLastMotorHallSensorCounts[2]:0 TEST.EXPECTED:DialInFlow.<>.dipMotorSpeedCalcIdx:2 TEST.EXPECTED:DialInFlow.<>.dipMotorSpeedCalcTimerCtr:0 TEST.END -- Test Case: updateDialInPumpSpeedAndDirectionFromHallSensors.003 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:updateDialInPumpSpeedAndDirectionFromHallSensors TEST.NEW TEST.NAME:updateDialInPumpSpeedAndDirectionFromHallSensors.003 TEST.VALUE:DialInFlow.<>.dialInPumpSpeedRPM.data:1200.0 TEST.VALUE:DialInFlow.<>.dipLastMotorHallSensorCounts[2]:10000 TEST.VALUE:DialInFlow.<>.dipMotorSpeedCalcIdx:24 TEST.VALUE:DialInFlow.<>.dipMotorSpeedCalcTimerCtr:99 TEST.VALUE:uut_prototype_stubs.getFPGADialInPumpHallSensorCount.return:11000 TEST.EXPECTED:DialInFlow.<>.dialInPumpSpeedRPM.data:13750.0 TEST.EXPECTED:DialInFlow.<>.dipLastMotorHallSensorCounts[2]:10000 TEST.EXPECTED:DialInFlow.<>.dipMotorSpeedCalcIdx:0 TEST.EXPECTED:DialInFlow.<>.dipMotorSpeedCalcTimerCtr:0 TEST.END -- Test Case: updateDialInPumpSpeedAndDirectionFromHallSensors.004 TEST.UNIT:DialInFlow TEST.SUBPROGRAM:updateDialInPumpSpeedAndDirectionFromHallSensors TEST.NEW TEST.NAME:updateDialInPumpSpeedAndDirectionFromHallSensors.004 TEST.VALUE:DialInFlow.<>.dialInPumpSpeedRPM.data:1200.0 TEST.VALUE:DialInFlow.<>.dipLastMotorHallSensorCounts[2]:10000 TEST.VALUE:DialInFlow.<>.dipMotorSpeedCalcIdx:1 TEST.VALUE:DialInFlow.<>.dipMotorSpeedCalcTimerCtr:2 TEST.VALUE:uut_prototype_stubs.getFPGADialInPumpHallSensorCount.return:11000 TEST.EXPECTED:DialInFlow.<>.dialInPumpSpeedRPM.data:1200.0 TEST.EXPECTED:DialInFlow.<>.dipLastMotorHallSensorCounts[2]:10000 TEST.EXPECTED:DialInFlow.<>.dipMotorSpeedCalcIdx:1 TEST.EXPECTED:DialInFlow.<>.dipMotorSpeedCalcTimerCtr:3 TEST.END