-- VectorCAST 19.sp3 (11/13/19)
-- Test Case Script
-- 
-- Environment    : SYRINGEPUMP
-- Unit(s) Under Test: SyringePump
-- 
-- 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: SyringePump

-- Subprogram: calcMeasRate

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:calcMeasRate
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (++syringePumpSpeedCalcTimerCounter >= 40 / 10) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:calcMeasRate
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++syringePumpSpeedCalcTimerCounter >= 40 / 10) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:calcMeasRate
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (++syringePumpSpeedCalcTimerCounter >= 40 / 10) ==> TRUE
      (2) (syringePumpMotorSpeedCalcIdx >= (1000 / (40 / 10)) / 10 - 1) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpPosition
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpMotorSpeedCalcIdx:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:calcMeasRate
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (++syringePumpSpeedCalcTimerCounter >= 40 / 10) ==> TRUE
      (2) (syringePumpMotorSpeedCalcIdx >= (1000 / (40 / 10)) / 10 - 1) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpPosition
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpMotorSpeedCalcIdx:<<MIN>>
TEST.END

-- Subprogram: calcSafetyVolumeDelivered

-- Test Case: calcSafetyVolumeDelivered.001
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:calcSafetyVolumeDelivered
TEST.NEW
TEST.NAME:calcSafetyVolumeDelivered.001
TEST.END

-- Subprogram: calcStepperToggleTimeForTargetRate

-- Test Case: COND_1_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:calcStepperToggleTimeForTargetRate
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) (conv < (0.0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set conv due to assignment
TEST.END_NOTES:
TEST.VALUE:SyringePump.calcStepperToggleTimeForTargetRate.rate:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:calcStepperToggleTimeForTargetRate
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) (conv < (0.0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set conv due to assignment
TEST.END_NOTES:
TEST.VALUE:SyringePump.calcStepperToggleTimeForTargetRate.rate:<<MIN>>
TEST.END

-- Subprogram: checkDirection

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkDirection
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_ENCODER_DIRECTION_ERROR, syringePumpEncoderMeasuredDirection != expDir)) ==> 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:SyringePump.checkDirection.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkDirection.expDir:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkDirection
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_ENCODER_DIRECTION_ERROR, syringePumpEncoderMeasuredDirection != expDir)) ==> 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:SyringePump.checkDirection.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkDirection.expDir:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkDirection
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:7 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_ENCODER_DIRECTION_ERROR, syringePumpEncoderMeasuredDirection != expDir)) ==> TRUE
      (2) (syringePumpEncoderMeasuredDirection != expDir) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpEncoderMeasuredDirection:MOTOR_DIR_FORWARD
TEST.VALUE:SyringePump.checkDirection.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkDirection.expDir:MOTOR_DIR_REVERSE
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkDirection
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:8 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_ENCODER_DIRECTION_ERROR, syringePumpEncoderMeasuredDirection != expDir)) ==> TRUE
      (2) (syringePumpEncoderMeasuredDirection != expDir) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpEncoderMeasuredDirection:<<MIN>>
TEST.VALUE:SyringePump.checkDirection.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkDirection.expDir:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkDirection
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_ENCODER_DIRECTION_ERROR, syringePumpEncoderMeasuredDirection != expDir)) ==> FALSE
      (3) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_CONTROLLER_DIRECTION_ERROR, syringePumpControllerMeasuredDirection != expDir)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/3
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkDirection.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkDirection.expDir:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkDirection
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_ENCODER_DIRECTION_ERROR, syringePumpEncoderMeasuredDirection != expDir)) ==> FALSE
      (3) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_CONTROLLER_DIRECTION_ERROR, syringePumpControllerMeasuredDirection != expDir)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkDirection.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkDirection.expDir:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkDirection
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_ENCODER_DIRECTION_ERROR, syringePumpEncoderMeasuredDirection != expDir)) ==> FALSE
      (3) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_CONTROLLER_DIRECTION_ERROR, syringePumpControllerMeasuredDirection != expDir)) ==> TRUE
      (4) (syringePumpControllerMeasuredDirection != expDir) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/3
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpControllerMeasuredDirection:MOTOR_DIR_FORWARD
TEST.VALUE:SyringePump.checkDirection.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkDirection.expDir:MOTOR_DIR_REVERSE
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkDirection
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_ENCODER_DIRECTION_ERROR, syringePumpEncoderMeasuredDirection != expDir)) ==> FALSE
      (3) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_CONTROLLER_DIRECTION_ERROR, syringePumpControllerMeasuredDirection != expDir)) ==> TRUE
      (4) (syringePumpControllerMeasuredDirection != expDir) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/3
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpControllerMeasuredDirection:<<MIN>>
TEST.VALUE:SyringePump.checkDirection.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkDirection.expDir:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Subprogram: checkForStall

-- Test Case: COND_1_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkForStall
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (fabs(getSyringePumpMeasRate()) < (0.05000000000000000278)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 1
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkForStall.stopPump:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkForStall
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (fabs(getSyringePumpMeasRate()) < (0.05000000000000000278)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 1
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkForStall.stopPump:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkForStall
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (fabs(getSyringePumpMeasRate()) < (0.05000000000000000278)) ==> TRUE
      (2) if (++syringePumpStallCtr >= 500 / 10) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
      Cannot set return value of function fabs in branch 1
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkForStall.stopPump:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkForStall
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (fabs(getSyringePumpMeasRate()) < (0.05000000000000000278)) ==> TRUE
      (2) if (++syringePumpStallCtr >= 500 / 10) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
      Cannot set return value of function fabs in branch 1
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkForStall.stopPump:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkForStall
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (fabs(getSyringePumpMeasRate()) < (0.05000000000000000278)) ==> TRUE
      (2) if (++syringePumpStallCtr >= 500 / 10) ==> TRUE
      (3) if (++syringePumpStallRetryCount <= (3)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
      Cannot set return value of function fabs in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkForStall.stopPump:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkForStall
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (fabs(getSyringePumpMeasRate()) < (0.05000000000000000278)) ==> TRUE
      (2) if (++syringePumpStallCtr >= 500 / 10) ==> TRUE
      (3) if (++syringePumpStallRetryCount <= (3)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
      Cannot set return value of function fabs in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkForStall.stopPump:<<MIN>>
TEST.END

-- Subprogram: checkMaxTravel

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkMaxTravel
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (pos > (((4000.0) / (0.6350000000000000089)) / (((((1.401999999999999913) / (2.0)) * ((1.401999999999999913) / (2.0))) * (3.141592699999999905)) * (0.1000000000000000056))) * (11.0) - (((4000.0) / (0.6350000000000000089)) / (((((1.401999999999999913) / (2.0)) * ((1.401999999999999913) / (2.0))) * (
3.141592699999999905)) * (0.1000000000000000056))) * (0.5)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpPosition
TEST.VALUE:SyringePump.getSyringePumpPosition.return:<<MAX>>
TEST.VALUE:SyringePump.checkMaxTravel.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkMaxTravel.maxPos:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkMaxTravel
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (pos > (((4000.0) / (0.6350000000000000089)) / (((((1.401999999999999913) / (2.0)) * ((1.401999999999999913) / (2.0))) * (3.141592699999999905)) * (0.1000000000000000056))) * (11.0) - (((4000.0) / (0.6350000000000000089)) / (((((1.401999999999999913) / (2.0)) * ((1.401999999999999913) / (2.0))) * (
3.141592699999999905)) * (0.1000000000000000056))) * (0.5)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpPosition
TEST.VALUE:SyringePump.getSyringePumpPosition.return:<<MIN>>
TEST.VALUE:SyringePump.checkMaxTravel.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkMaxTravel.maxPos:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkMaxTravel
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (pos > (((4000.0) / (0.6350000000000000089)) / (((((1.401999999999999913) / (2.0)) * ((1.401999999999999913) / (2.0))) * (3.141592699999999905)) * (0.1000000000000000056))) * (11.0) - (((4000.0) / (0.6350000000000000089)) / (((((1.401999999999999913) / (2.0)) * ((1.401999999999999913) / (2.0))) * (
3.141592699999999905)) * (0.1000000000000000056))) * (0.5)) ==> FALSE
      (2) if (pos > maxPos) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Cannot resolve multiple comparisons ( SyringePump.getSyringePumpPosition.return ) in branches 1/2
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpPosition
TEST.STUB:SyringePump.getSyringePumpForceV
TEST.VALUE:SyringePump.getSyringePumpPosition.return:<<MAX>>
TEST.VALUE:SyringePump.checkMaxTravel.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkMaxTravel.maxPos:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkMaxTravel
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (pos > (((4000.0) / (0.6350000000000000089)) / (((((1.401999999999999913) / (2.0)) * ((1.401999999999999913) / (2.0))) * (3.141592699999999905)) * (0.1000000000000000056))) * (11.0) - (((4000.0) / (0.6350000000000000089)) / (((((1.401999999999999913) / (2.0)) * ((1.401999999999999913) / (2.0))) * (
3.141592699999999905)) * (0.1000000000000000056))) * (0.5)) ==> FALSE
      (2) if (pos > maxPos) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpPosition
TEST.STUB:SyringePump.getSyringePumpForceV
TEST.VALUE:SyringePump.getSyringePumpPosition.return:<<MIN>>
TEST.VALUE:SyringePump.checkMaxTravel.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkMaxTravel.maxPos:<<MAX>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkMaxTravel
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (pos > (((4000.0) / (0.6350000000000000089)) / (((((1.401999999999999913) / (2.0)) * ((1.401999999999999913) / (2.0))) * (3.141592699999999905)) * (0.1000000000000000056))) * (11.0) - (((4000.0) / (0.6350000000000000089)) / (((((1.401999999999999913) / (2.0)) * ((1.401999999999999913) / (2.0))) * (
3.141592699999999905)) * (0.1000000000000000056))) * (0.5)) ==> FALSE
      (2) if (pos > maxPos) ==> TRUE
      (3) if (syringePumpState != (SYRINGE_PUMP_PRIME_STATE)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpPosition
TEST.STUB:SyringePump.getSyringePumpForceV
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_INIT_STATE
TEST.VALUE:SyringePump.getSyringePumpPosition.return:428439
TEST.VALUE:SyringePump.checkMaxTravel.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkMaxTravel.maxPos:<<MAX>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkMaxTravel
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:5 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (pos > (((4000.0) / (0.6350000000000000089)) / (((((1.401999999999999913) / (2.0)) * ((1.401999999999999913) / (2.0))) * (3.141592699999999905)) * (0.1000000000000000056))) * (11.0) - (((4000.0) / (0.6350000000000000089)) / (((((1.401999999999999913) / (2.0)) * ((1.401999999999999913) / (2.0))) * (
3.141592699999999905)) * (0.1000000000000000056))) * (0.5)) ==> FALSE
      (2) if (pos > maxPos) ==> TRUE
      (3) if (syringePumpState != (SYRINGE_PUMP_PRIME_STATE)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpPosition
TEST.STUB:SyringePump.getSyringePumpForceV
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_PRIME_STATE
TEST.VALUE:SyringePump.getSyringePumpPosition.return:428439
TEST.VALUE:SyringePump.checkMaxTravel.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkMaxTravel.maxPos:<<MAX>>
TEST.END

-- Subprogram: checkMeasRate

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkMeasRate
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:1 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) (rate < syringePumpSetRate) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpMeasRate
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSetRate:<<MAX>>
TEST.VALUE:SyringePump.getSyringePumpMeasRate.return:<<MIN>>
TEST.VALUE:SyringePump.checkMeasRate.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkMeasRate.pctMargin:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkMeasRate
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:2 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) (rate < syringePumpSetRate) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpMeasRate
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSetRate:<<MIN>>
TEST.VALUE:SyringePump.getSyringePumpMeasRate.return:<<MAX>>
TEST.VALUE:SyringePump.checkMeasRate.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkMeasRate.pctMargin:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkMeasRate
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:3 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (2) (rate > syringePumpSetRate) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSetRate:<<MIN>>
TEST.VALUE:SyringePump.getSyringePumpMeasRate.return:<<MAX>>
TEST.VALUE:SyringePump.checkMeasRate.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkMeasRate.pctMargin:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkMeasRate
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:4 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (2) (rate > syringePumpSetRate) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSetRate:<<MAX>>
TEST.VALUE:SyringePump.getSyringePumpMeasRate.return:<<MIN>>
TEST.VALUE:SyringePump.checkMeasRate.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkMeasRate.pctMargin:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkMeasRate
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (3) (max > (0.0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable max in branch 3
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkMeasRate.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkMeasRate.pctMargin:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkMeasRate
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (3) (max > (0.0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable max in branch 3
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkMeasRate.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkMeasRate.pctMargin:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkMeasRate
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_SPEED_ERROR, error > pctMargin && delta > (0.1000000000000000056))) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable max in branch 4
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkMeasRate.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkMeasRate.pctMargin:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkMeasRate
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_SPEED_ERROR, error > pctMargin && delta > (0.1000000000000000056))) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable max in branch 4
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkMeasRate.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkMeasRate.pctMargin:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkMeasRate
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_TT-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_SPEED_ERROR, error > pctMargin && delta > (0.1000000000000000056))) ==> TRUE
      (5) (error > pctMargin && delta > (0.1000000000000000056)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #5, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable delta in branch 5
      Cannot set local variable max in branch 4
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkMeasRate.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkMeasRate.pctMargin:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_b_TT-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkMeasRate
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_b_TT-PARTIAL
TEST.MCDC_BASIS_PATH:11 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_SPEED_ERROR, error > pctMargin && delta > (0.1000000000000000056))) ==> TRUE
      (5) (error > pctMargin && delta > (0.1000000000000000056)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable delta in branch 5
      Cannot set local variable max in branch 4
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkMeasRate.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkMeasRate.pctMargin:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkMeasRate
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_b_TF-PARTIAL
TEST.MCDC_BASIS_PATH:12 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_SPEED_ERROR, error > pctMargin && delta > (0.1000000000000000056))) ==> TRUE
      (5) (error > pctMargin && delta > (0.1000000000000000056)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable delta in branch 5
      Cannot set local variable max in branch 4
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkMeasRate.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkMeasRate.pctMargin:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_5_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkMeasRate
TEST.NEW
TEST.NAME:COND_5_ROW_3_PAIR_a_FT-PARTIAL
TEST.MCDC_BASIS_PATH:10 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_SPEED_ERROR, error > pctMargin && delta > (0.1000000000000000056))) ==> TRUE
      (5) (error > pctMargin && delta > (0.1000000000000000056)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable delta in branch 5
      Cannot set local variable max in branch 4
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkMeasRate.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkMeasRate.pctMargin:<<MAX>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Subprogram: checkOcclusionOrEmpty

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkOcclusionOrEmpty
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_OCCLUSION, force >= (3.200000000000000178))) ==> 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:SyringePump.checkOcclusionOrEmpty.stopPump:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkOcclusionOrEmpty
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_OCCLUSION, force >= (3.200000000000000178))) ==> 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:SyringePump.checkOcclusionOrEmpty.stopPump:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkOcclusionOrEmpty
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:3 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_OCCLUSION, force >= (3.200000000000000178))) ==> TRUE
      (2) (force >= (3.200000000000000178)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.getSyringePumpForceV.return:<<MAX>>
TEST.VALUE:SyringePump.checkOcclusionOrEmpty.stopPump:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkOcclusionOrEmpty
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_OCCLUSION, force >= (3.200000000000000178))) ==> TRUE
      (2) (force >= (3.200000000000000178)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.getSyringePumpForceV.return:<<MIN>>
TEST.VALUE:SyringePump.checkOcclusionOrEmpty.stopPump:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkOcclusionOrEmpty
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_OCCLUSION, force >= (3.200000000000000178))) ==> TRUE
      (3) if (fabs(pos - (((4000.0) / (0.6350000000000000089)) / (((((1.401999999999999913) / (2.0)) * ((1.401999999999999913) / (2.0))) * (3.141592699999999905)) * (0.1000000000000000056))) * (11.0)) < (((4000.0) / (0.6350000000000000089)) / (((((1.401999999999999913) / (2.0)) * ((1.401999999999999913) / (2.0))
) * (3.141592699999999905)) * (0.1000000000000000056))) * (0.5)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 3
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkOcclusionOrEmpty.stopPump:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkOcclusionOrEmpty
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_OCCLUSION, force >= (3.200000000000000178))) ==> TRUE
      (3) if (fabs(pos - (((4000.0) / (0.6350000000000000089)) / (((((1.401999999999999913) / (2.0)) * ((1.401999999999999913) / (2.0))) * (3.141592699999999905)) * (0.1000000000000000056))) * (11.0)) < (((4000.0) / (0.6350000000000000089)) / (((((1.401999999999999913) / (2.0)) * ((1.401999999999999913) / (2.0))
) * (3.141592699999999905)) * (0.1000000000000000056))) * (0.5)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 3
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkOcclusionOrEmpty.stopPump:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Subprogram: checkSyringeRemoved

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkSyringeRemoved
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((0) == isSyringeDetected()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.isSyringeDetected.return:0
TEST.VALUE:SyringePump.checkSyringeRemoved.stopPump:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkSyringeRemoved
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((0) == isSyringeDetected()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.isSyringeDetected.return:1
TEST.VALUE:SyringePump.checkSyringeRemoved.stopPump:<<MIN>>
TEST.END

-- Subprogram: checkVolumeVsSafetyVolume

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkVolumeVsSafetyVolume
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:1 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) (vol < syringePumpSafetyVolumeDelivered) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpVolumeDelivered
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSafetyVolumeDelivered:<<MAX>>
TEST.VALUE:SyringePump.getSyringePumpVolumeDelivered.return:<<MIN>>
TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.pctMargin:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkVolumeVsSafetyVolume
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:2 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) (vol < syringePumpSafetyVolumeDelivered) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpVolumeDelivered
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSafetyVolumeDelivered:<<MIN>>
TEST.VALUE:SyringePump.getSyringePumpVolumeDelivered.return:<<MAX>>
TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.pctMargin:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkVolumeVsSafetyVolume
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:3 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (2) (vol > syringePumpSafetyVolumeDelivered) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSafetyVolumeDelivered:<<MIN>>
TEST.VALUE:SyringePump.getSyringePumpVolumeDelivered.return:<<MAX>>
TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.pctMargin:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkVolumeVsSafetyVolume
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:4 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (2) (vol > syringePumpSafetyVolumeDelivered) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSafetyVolumeDelivered:<<MAX>>
TEST.VALUE:SyringePump.getSyringePumpVolumeDelivered.return:<<MIN>>
TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.pctMargin:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkVolumeVsSafetyVolume
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (3) (fabs(max) < (1.000000000000000021e-08)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 3
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.pctMargin:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkVolumeVsSafetyVolume
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (3) (fabs(max) < (1.000000000000000021e-08)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 3
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.pctMargin:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkVolumeVsSafetyVolume
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_TT-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (4) if (error > pctMargin && delta > (0.1000000000000000056)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #4, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable delta in branch 4
      Cannot set local variable max in branch 4
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.pctMargin:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkVolumeVsSafetyVolume
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_b_TF-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (4) if (error > pctMargin && delta > (0.1000000000000000056)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable delta in branch 4
      Cannot set local variable max in branch 4
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.pctMargin:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:checkVolumeVsSafetyVolume
TEST.NEW
TEST.NAME:COND_4_ROW_3_PAIR_a_FT-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (4) if (error > pctMargin && delta > (0.1000000000000000056)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable delta in branch 4
      Cannot set local variable max in branch 4
TEST.END_NOTES:
TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.stopPump:<<MIN>>
TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.pctMargin:<<MAX>>
TEST.END

-- Subprogram: execSyringePump

-- Test Case: execSyringePump.001
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePump
TEST.NEW
TEST.NAME:execSyringePump.001
TEST.END

-- Subprogram: execSyringePumpMonitor

-- Test Case: COND_10_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_10_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:23 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 23
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_RUNNING_WHILE_BP_OFF_ERROR, runWhileOff)) ==> FALSE
      (7) if (syringePumpDACVrefWriteInProgress != (1)) ==> TRUE
      (8) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_ADC_ERROR, getCurrentOperationMode() > (MODE_INIT) && lastSyringePumpADCReadCtr == getSyringePumpADCReadCounter())) ==> FALSE
      (10) if (getSyringePumpStatus() != 0) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #10, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpStatus
TEST.STUB:SyringePump.getSyringePumpADCReadCounter
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpDACVrefWriteInProgress:<<MIN>>
TEST.VALUE:SyringePump.getSyringePumpStatus.return:1
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_10_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_10_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:22 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 22
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_RUNNING_WHILE_BP_OFF_ERROR, runWhileOff)) ==> FALSE
      (7) if (syringePumpDACVrefWriteInProgress != (1)) ==> TRUE
      (8) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_ADC_ERROR, getCurrentOperationMode() > (MODE_INIT) && lastSyringePumpADCReadCtr == getSyringePumpADCReadCounter())) ==> FALSE
      (10) if (getSyringePumpStatus() != 0) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #10, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpStatus
TEST.STUB:SyringePump.getSyringePumpADCReadCounter
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpDACVrefWriteInProgress:<<MIN>>
TEST.VALUE:SyringePump.getSyringePumpStatus.return:0
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_TT-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable SyringePump.isSyringeDetected.return 'equal to' and 'not equal to' same value in branch 2
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_b_TF
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:5 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_3_PAIR_a_FT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:3 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.isSyringeDetected.return:1
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:6 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      (3) ((getSyringePumpEncoderStatus() & 0x80) != 0) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpEncoderStatus
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.getSyringePumpEncoderStatus.return:128
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:7 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      (3) ((getSyringePumpEncoderStatus() & 0x80) != 0) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpEncoderStatus
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.getSyringePumpEncoderStatus.return:0
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      (4) (getSyringePumpPosition() - syringePumpLastPosition >= 0) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 4
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      (4) (getSyringePumpPosition() - syringePumpLastPosition >= 0) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 4
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_3_PAIR_a_TFT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_5_ROW_3_PAIR_a_TFT
TEST.MCDC_BASIS_PATH:10 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      (5) (((SYRINGE_PUMP_HEP_BOLUS_STATE) == syringePumpState || (SYRINGE_PUMP_HEP_CONTINUOUS_STATE) == syringePumpState) && isBloodPumpRunning() != (1)) ==> TRUE
      Row number 3 forms a pair with Row 7 for Condition #5, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
         Condition c ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_HEP_BOLUS_STATE
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_3_PAIR_c_TFT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_5_ROW_3_PAIR_c_TFT
TEST.MCDC_BASIS_PATH:14 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      (5) (((SYRINGE_PUMP_HEP_BOLUS_STATE) == syringePumpState || (SYRINGE_PUMP_HEP_CONTINUOUS_STATE) == syringePumpState) && isBloodPumpRunning() != (1)) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #5, subcondition "c".
         Condition a ==> TRUE
         Condition b ==> FALSE
         Condition c ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_HEP_BOLUS_STATE
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_4_PAIR_c_TFF
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_5_ROW_4_PAIR_c_TFF
TEST.MCDC_BASIS_PATH:15 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 15
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      (5) (((SYRINGE_PUMP_HEP_BOLUS_STATE) == syringePumpState || (SYRINGE_PUMP_HEP_CONTINUOUS_STATE) == syringePumpState) && isBloodPumpRunning() != (1)) ==> FALSE
      Row number 4 forms a pair with Row 3 for Condition #5, subcondition "c".
         Condition a ==> TRUE
         Condition b ==> FALSE
         Condition c ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_HEP_BOLUS_STATE
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1
TEST.END

-- Test Case: COND_5_ROW_5_PAIR_b_FTT-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_5_ROW_5_PAIR_b_FTT-PARTIAL
TEST.MCDC_BASIS_PATH:12 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      (5) (((SYRINGE_PUMP_HEP_BOLUS_STATE) == syringePumpState || (SYRINGE_PUMP_HEP_CONTINUOUS_STATE) == syringePumpState) && isBloodPumpRunning() != (1)) ==> TRUE
      Row number 5 forms a pair with Row 7 for Condition #5, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
         Condition c ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable SyringePump.<<GLOBAL>>.syringePumpState 'equal to' and 'not equal to' same value in branch 5
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_INIT_STATE
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_7_PAIR_a_FFT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_5_ROW_7_PAIR_a_FFT
TEST.MCDC_BASIS_PATH:11 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      (5) (((SYRINGE_PUMP_HEP_BOLUS_STATE) == syringePumpState || (SYRINGE_PUMP_HEP_CONTINUOUS_STATE) == syringePumpState) && isBloodPumpRunning() != (1)) ==> FALSE
      Row number 7 forms a pair with Row 3 for Condition #5, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
         Condition c ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_INIT_STATE
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_7_PAIR_b_FFT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_5_ROW_7_PAIR_b_FFT
TEST.MCDC_BASIS_PATH:13 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      (5) (((SYRINGE_PUMP_HEP_BOLUS_STATE) == syringePumpState || (SYRINGE_PUMP_HEP_CONTINUOUS_STATE) == syringePumpState) && isBloodPumpRunning() != (1)) ==> FALSE
      Row number 7 forms a pair with Row 5 for Condition #5, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> FALSE
         Condition c ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_INIT_STATE
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_6_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:17 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 17
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_RUNNING_WHILE_BP_OFF_ERROR, runWhileOff)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_6_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:16 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 16
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_RUNNING_WHILE_BP_OFF_ERROR, runWhileOff)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_7_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_7_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:19 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 19
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_RUNNING_WHILE_BP_OFF_ERROR, runWhileOff)) ==> FALSE
      (7) if (syringePumpDACVrefWriteInProgress != (1)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpDACVrefWriteInProgress:<<MIN>>
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_7_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_7_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:18 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 18
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_RUNNING_WHILE_BP_OFF_ERROR, runWhileOff)) ==> FALSE
      (7) if (syringePumpDACVrefWriteInProgress != (1)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #7, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpDACVrefWriteInProgress:1
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_8_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_8_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:21 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 21
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_RUNNING_WHILE_BP_OFF_ERROR, runWhileOff)) ==> FALSE
      (7) if (syringePumpDACVrefWriteInProgress != (1)) ==> TRUE
      (8) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_ADC_ERROR, getCurrentOperationMode() > (MODE_INIT) && lastSyringePumpADCReadCtr == getSyringePumpADCReadCounter())) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #8, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 6/8
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpDACVrefWriteInProgress:<<MIN>>
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_8_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_8_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:20 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 20
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_RUNNING_WHILE_BP_OFF_ERROR, runWhileOff)) ==> FALSE
      (7) if (syringePumpDACVrefWriteInProgress != (1)) ==> TRUE
      (8) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_ADC_ERROR, getCurrentOperationMode() > (MODE_INIT) && lastSyringePumpADCReadCtr == getSyringePumpADCReadCounter())) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #8, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpDACVrefWriteInProgress:<<MIN>>
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_9_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_9_ROW_1_PAIR_a_TT-PARTIAL
TEST.MCDC_BASIS_PATH:24 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 24
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_RUNNING_WHILE_BP_OFF_ERROR, runWhileOff)) ==> FALSE
      (7) if (syringePumpDACVrefWriteInProgress != (1)) ==> TRUE
      (8) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_ADC_ERROR, getCurrentOperationMode() > (MODE_INIT) && lastSyringePumpADCReadCtr == getSyringePumpADCReadCounter())) ==> TRUE
      (9) (getCurrentOperationMode() > (MODE_INIT) && lastSyringePumpADCReadCtr == getSyringePumpADCReadCounter()) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #9, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 6/8
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpADCReadCounter
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpDACVrefWriteInProgress:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.lastSyringePumpADCReadCtr:<<MIN>>
TEST.VALUE:SyringePump.getSyringePumpADCReadCounter.return:<<MIN>>
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_9_ROW_1_PAIR_b_TT-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_9_ROW_1_PAIR_b_TT-PARTIAL
TEST.MCDC_BASIS_PATH:26 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 26
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_RUNNING_WHILE_BP_OFF_ERROR, runWhileOff)) ==> FALSE
      (7) if (syringePumpDACVrefWriteInProgress != (1)) ==> TRUE
      (8) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_ADC_ERROR, getCurrentOperationMode() > (MODE_INIT) && lastSyringePumpADCReadCtr == getSyringePumpADCReadCounter())) ==> TRUE
      (9) (getCurrentOperationMode() > (MODE_INIT) && lastSyringePumpADCReadCtr == getSyringePumpADCReadCounter()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #9, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 6/8
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpADCReadCounter
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpDACVrefWriteInProgress:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.lastSyringePumpADCReadCtr:<<MIN>>
TEST.VALUE:SyringePump.getSyringePumpADCReadCounter.return:<<MIN>>
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_9_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_9_ROW_2_PAIR_b_TF-PARTIAL
TEST.MCDC_BASIS_PATH:27 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 27
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_RUNNING_WHILE_BP_OFF_ERROR, runWhileOff)) ==> FALSE
      (7) if (syringePumpDACVrefWriteInProgress != (1)) ==> TRUE
      (8) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_ADC_ERROR, getCurrentOperationMode() > (MODE_INIT) && lastSyringePumpADCReadCtr == getSyringePumpADCReadCounter())) ==> TRUE
      (9) (getCurrentOperationMode() > (MODE_INIT) && lastSyringePumpADCReadCtr == getSyringePumpADCReadCounter()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #9, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 6/8
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpADCReadCounter
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpDACVrefWriteInProgress:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.lastSyringePumpADCReadCtr:<<MIN>>
TEST.VALUE:SyringePump.getSyringePumpADCReadCounter.return:1
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_9_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpMonitor
TEST.NEW
TEST.NAME:COND_9_ROW_3_PAIR_a_FT-PARTIAL
TEST.MCDC_BASIS_PATH:25 of 27
TEST.NOTES:
This is an automatically generated test case.
   Test Path 25
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) if (prevSyringeDetected != (1) && (1) == isSyringeDetected()) ==> FALSE
      (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_RUNNING_WHILE_BP_OFF_ERROR, runWhileOff)) ==> FALSE
      (7) if (syringePumpDACVrefWriteInProgress != (1)) ==> TRUE
      (8) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_ADC_ERROR, getCurrentOperationMode() > (MODE_INIT) && lastSyringePumpADCReadCtr == getSyringePumpADCReadCounter())) ==> TRUE
      (9) (getCurrentOperationMode() > (MODE_INIT) && lastSyringePumpADCReadCtr == getSyringePumpADCReadCounter()) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #9, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 6/8
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpADCReadCounter
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpDACVrefWriteInProgress:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.lastSyringePumpADCReadCtr:<<MIN>>
TEST.VALUE:SyringePump.getSyringePumpADCReadCounter.return:<<MIN>>
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Subprogram: execSyringePumpSelfTest

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpSelfTest
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == calStatus) ==> 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:SyringePump.processCalibrationData.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:execSyringePumpSelfTest
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == calStatus) ==> 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:SyringePump.processCalibrationData.return:<<MIN>>
TEST.END

-- Subprogram: getHeparinState

-- Test Case: getHeparinState.001
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:getHeparinState
TEST.NEW
TEST.NAME:getHeparinState.001
TEST.END

-- Subprogram: getSyringePumpADCReadCounter

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:getSyringePumpADCReadCounter
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0xccc33c33U == syringePumpADCReadCtr.override) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpADCReadCtr.override:3435346995
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:getSyringePumpADCReadCounter
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (0xccc33c33U == syringePumpADCReadCtr.override) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpADCReadCtr.override:<<MIN>>
TEST.END

-- Subprogram: getSyringePumpADCandDACStatus

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:getSyringePumpADCandDACStatus
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0xccc33c33U == syringePumpADCandDACStatus.override) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpADCandDACStatus.override:3435346995
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:getSyringePumpADCandDACStatus
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (0xccc33c33U == syringePumpADCandDACStatus.override) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpADCandDACStatus.override:<<MIN>>
TEST.END

-- Subprogram: getSyringePumpEncoderStatus

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:getSyringePumpEncoderStatus
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0xccc33c33U == syringePumpEncoderStatus.override) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpEncoderStatus.override:3435346995
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:getSyringePumpEncoderStatus
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (0xccc33c33U == syringePumpEncoderStatus.override) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpEncoderStatus.override:<<MIN>>
TEST.END

-- Subprogram: getSyringePumpForceV

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:getSyringePumpForceV
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0xccc33c33U == syringePumpMeasForce.override) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpMeasForce.override:3435346995
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:getSyringePumpForceV
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (0xccc33c33U == syringePumpMeasForce.override) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpMeasForce.override:<<MIN>>
TEST.END

-- Subprogram: getSyringePumpHomeDetectorV

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:getSyringePumpHomeDetectorV
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0xccc33c33U == syringePumpMeasHome.override) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpMeasHome.override:3435346995
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:getSyringePumpHomeDetectorV
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (0xccc33c33U == syringePumpMeasHome.override) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpMeasHome.override:<<MIN>>
TEST.END

-- Subprogram: getSyringePumpMeasRate

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:getSyringePumpMeasRate
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0xccc33c33U == syringePumpMeasRate.override) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpMeasRate.override:3435346995
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:getSyringePumpMeasRate
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (0xccc33c33U == syringePumpMeasRate.override) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpMeasRate.override:<<MIN>>
TEST.END

-- Subprogram: getSyringePumpPosition

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:getSyringePumpPosition
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0xccc33c33U == syringePumpPosition.override) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPosition.override:3435346995
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:getSyringePumpPosition
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (0xccc33c33U == syringePumpPosition.override) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPosition.override:<<MIN>>
TEST.END

-- Subprogram: getSyringePumpStatus

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:getSyringePumpStatus
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0xccc33c33U == syringePumpStatus.override) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpStatus.override:3435346995
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:getSyringePumpStatus
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (0xccc33c33U == syringePumpStatus.override) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpStatus.override:<<MIN>>
TEST.END

-- Subprogram: getSyringePumpSyringeDetectorV

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:getSyringePumpSyringeDetectorV
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0xccc33c33U == syringePumpMeasSyringeDetectionSwitch.override) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpMeasSyringeDetectionSwitch.override:3435346995
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:getSyringePumpSyringeDetectorV
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (0xccc33c33U == syringePumpMeasSyringeDetectionSwitch.override) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpMeasSyringeDetectionSwitch.override:<<MIN>>
TEST.END

-- Subprogram: getSyringePumpVolumeDelivered

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:getSyringePumpVolumeDelivered
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0xccc33c33U == syringePumpVolumeDelivered.override) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpVolumeDelivered.override:3435346995
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:getSyringePumpVolumeDelivered
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (0xccc33c33U == syringePumpVolumeDelivered.override) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpVolumeDelivered.override:<<MIN>>
TEST.END

-- Subprogram: handleSyringePumpBolusState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpBolusState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (getSyringePumpVolumeDelivered() >= bolusVol) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpVolumeDelivered
TEST.VALUE:SyringePump.getSyringePumpVolumeDelivered.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpBolusState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (getSyringePumpVolumeDelivered() >= bolusVol) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpVolumeDelivered
TEST.VALUE:SyringePump.getSyringePumpVolumeDelivered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpBolusState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (getSyringePumpVolumeDelivered() >= bolusVol) ==> FALSE
      (2) if ((1) == stopPump) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpVolumeDelivered
TEST.VALUE:SyringePump.getSyringePumpVolumeDelivered.return:<<MIN>>
TEST.VALUE:SyringePump.checkDirection.return:1
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpBolusState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (getSyringePumpVolumeDelivered() >= bolusVol) ==> FALSE
      (2) if ((1) == stopPump) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpVolumeDelivered
TEST.VALUE:SyringePump.getSyringePumpVolumeDelivered.return:<<MIN>>
TEST.VALUE:SyringePump.checkDirection.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<<MAX>>
TEST.END

-- Subprogram: handleSyringePumpCalibrateForceSensorState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpCalibrateForceSensorState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((adcDACStatus & 0x80) != 0) ==> 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:SyringePump.getSyringePumpADCandDACStatus.return:128
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpCalibrateForceSensorState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((adcDACStatus & 0x80) != 0) ==> 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:SyringePump.getSyringePumpADCandDACStatus.return:0
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpCalibrateForceSensorState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((adcDACStatus & 0x80) != 0) ==> FALSE
      (2) if ((adcDACStatus & 0x40) != 0) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Multiple equality operators with different values (SyringePump.getSyringePumpADCandDACStatus.return) in branches 1/2
TEST.END_NOTES:
TEST.VALUE:SyringePump.getSyringePumpADCandDACStatus.return:64
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpCalibrateForceSensorState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((adcDACStatus & 0x80) != 0) ==> FALSE
      (2) if ((adcDACStatus & 0x40) != 0) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.getSyringePumpADCandDACStatus.return:0
TEST.END

-- Subprogram: handleSyringePumpContinuousState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpContinuousState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == stopPump) ==> 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:SyringePump.checkDirection.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpContinuousState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == stopPump) ==> 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:SyringePump.checkDirection.return:<<MIN>>
TEST.END

-- Subprogram: handleSyringePumpInitState

-- Test Case: handleSyringePumpInitState.001
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpInitState
TEST.NEW
TEST.NAME:handleSyringePumpInitState.001
TEST.END

-- Subprogram: handleSyringePumpOffState

-- Test Case: COND_10_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpOffState
TEST.NEW
TEST.NAME:COND_10_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:19 of 21
TEST.NOTES:
This is an automatically generated test case.
   Test Path 19
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR, syringePumpLastPosition != getSyringePumpPosition())) ==> FALSE
      (3) if ((1) == syringePumpRetractRequested) ==> FALSE
      (4) if ((1) == syringePumpSeekRequested) ==> FALSE
      (5) if ((1) == syringePumpPrimeRequested) ==> FALSE
      (6) if ((1) == syringePumpBolusRequested) ==> FALSE
      (7) if ((1) == syringePumpContinuousRequested) ==> FALSE
      (8) if ((1) == syringePumpDACVrefSetRequested) ==> FALSE
      (9) if (result != (SYRINGE_PUMP_OFF_STATE) && result != (SYRINGE_PUMP_CONFIG_FORCE_SENSOR_STATE)) ==> TRUE
      (10) if ((SYRINGE_PUMP_RETRACT_STATE) == result) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #10, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable result in branch 10
      Cannot set local variable result in branch 9
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpRetractRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSeekRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPrimeRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpBolusRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpContinuousRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpDACVrefSetRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_10_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpOffState
TEST.NEW
TEST.NAME:COND_10_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:18 of 21
TEST.NOTES:
This is an automatically generated test case.
   Test Path 18
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR, syringePumpLastPosition != getSyringePumpPosition())) ==> FALSE
      (3) if ((1) == syringePumpRetractRequested) ==> FALSE
      (4) if ((1) == syringePumpSeekRequested) ==> FALSE
      (5) if ((1) == syringePumpPrimeRequested) ==> FALSE
      (6) if ((1) == syringePumpBolusRequested) ==> FALSE
      (7) if ((1) == syringePumpContinuousRequested) ==> FALSE
      (8) if ((1) == syringePumpDACVrefSetRequested) ==> FALSE
      (9) if (result != (SYRINGE_PUMP_OFF_STATE) && result != (SYRINGE_PUMP_CONFIG_FORCE_SENSOR_STATE)) ==> TRUE
      (10) if ((SYRINGE_PUMP_RETRACT_STATE) == result) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #10, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable result in branch 10
      Cannot set local variable result in branch 9
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpRetractRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSeekRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPrimeRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpBolusRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpContinuousRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpDACVrefSetRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpOffState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 21
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR, syringePumpLastPosition != getSyringePumpPosition())) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpOffState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 21
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR, syringePumpLastPosition != getSyringePumpPosition())) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpOffState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:20 of 21
TEST.NOTES:
This is an automatically generated test case.
   Test Path 20
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR, syringePumpLastPosition != getSyringePumpPosition())) ==> TRUE
      (2) (syringePumpLastPosition != getSyringePumpPosition()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpPosition
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpLastPosition:<<MIN>>
TEST.VALUE:SyringePump.getSyringePumpPosition.return:-2147483647
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpOffState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:21 of 21
TEST.NOTES:
This is an automatically generated test case.
   Test Path 21
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR, syringePumpLastPosition != getSyringePumpPosition())) ==> TRUE
      (2) (syringePumpLastPosition != getSyringePumpPosition()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpPosition
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpLastPosition:<<MIN>>
TEST.VALUE:SyringePump.getSyringePumpPosition.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpOffState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 21
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR, syringePumpLastPosition != getSyringePumpPosition())) ==> FALSE
      (3) if ((1) == syringePumpRetractRequested) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpRetractRequested:1
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpOffState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 21
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR, syringePumpLastPosition != getSyringePumpPosition())) ==> FALSE
      (3) if ((1) == syringePumpRetractRequested) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpRetractRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpOffState
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:6 of 21
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR, syringePumpLastPosition != getSyringePumpPosition())) ==> FALSE
      (3) if ((1) == syringePumpRetractRequested) ==> FALSE
      (4) if ((1) == syringePumpSeekRequested) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpRetractRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSeekRequested:1
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpOffState
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:5 of 21
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR, syringePumpLastPosition != getSyringePumpPosition())) ==> FALSE
      (3) if ((1) == syringePumpRetractRequested) ==> FALSE
      (4) if ((1) == syringePumpSeekRequested) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpRetractRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSeekRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpOffState
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:8 of 21
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR, syringePumpLastPosition != getSyringePumpPosition())) ==> FALSE
      (3) if ((1) == syringePumpRetractRequested) ==> FALSE
      (4) if ((1) == syringePumpSeekRequested) ==> FALSE
      (5) if ((1) == syringePumpPrimeRequested) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpRetractRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSeekRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPrimeRequested:1
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpOffState
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:7 of 21
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR, syringePumpLastPosition != getSyringePumpPosition())) ==> FALSE
      (3) if ((1) == syringePumpRetractRequested) ==> FALSE
      (4) if ((1) == syringePumpSeekRequested) ==> FALSE
      (5) if ((1) == syringePumpPrimeRequested) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpRetractRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSeekRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPrimeRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpOffState
TEST.NEW
TEST.NAME:COND_6_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:10 of 21
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR, syringePumpLastPosition != getSyringePumpPosition())) ==> FALSE
      (3) if ((1) == syringePumpRetractRequested) ==> FALSE
      (4) if ((1) == syringePumpSeekRequested) ==> FALSE
      (5) if ((1) == syringePumpPrimeRequested) ==> FALSE
      (6) if ((1) == syringePumpBolusRequested) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpRetractRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSeekRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPrimeRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpBolusRequested:1
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpOffState
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:9 of 21
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR, syringePumpLastPosition != getSyringePumpPosition())) ==> FALSE
      (3) if ((1) == syringePumpRetractRequested) ==> FALSE
      (4) if ((1) == syringePumpSeekRequested) ==> FALSE
      (5) if ((1) == syringePumpPrimeRequested) ==> FALSE
      (6) if ((1) == syringePumpBolusRequested) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpRetractRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSeekRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPrimeRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpBolusRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_7_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpOffState
TEST.NEW
TEST.NAME:COND_7_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:12 of 21
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR, syringePumpLastPosition != getSyringePumpPosition())) ==> FALSE
      (3) if ((1) == syringePumpRetractRequested) ==> FALSE
      (4) if ((1) == syringePumpSeekRequested) ==> FALSE
      (5) if ((1) == syringePumpPrimeRequested) ==> FALSE
      (6) if ((1) == syringePumpBolusRequested) ==> FALSE
      (7) if ((1) == syringePumpContinuousRequested) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpRetractRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSeekRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPrimeRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpBolusRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpContinuousRequested:1
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_7_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpOffState
TEST.NEW
TEST.NAME:COND_7_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:11 of 21
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR, syringePumpLastPosition != getSyringePumpPosition())) ==> FALSE
      (3) if ((1) == syringePumpRetractRequested) ==> FALSE
      (4) if ((1) == syringePumpSeekRequested) ==> FALSE
      (5) if ((1) == syringePumpPrimeRequested) ==> FALSE
      (6) if ((1) == syringePumpBolusRequested) ==> FALSE
      (7) if ((1) == syringePumpContinuousRequested) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #7, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpRetractRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSeekRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPrimeRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpBolusRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpContinuousRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_8_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpOffState
TEST.NEW
TEST.NAME:COND_8_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:14 of 21
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR, syringePumpLastPosition != getSyringePumpPosition())) ==> FALSE
      (3) if ((1) == syringePumpRetractRequested) ==> FALSE
      (4) if ((1) == syringePumpSeekRequested) ==> FALSE
      (5) if ((1) == syringePumpPrimeRequested) ==> FALSE
      (6) if ((1) == syringePumpBolusRequested) ==> FALSE
      (7) if ((1) == syringePumpContinuousRequested) ==> FALSE
      (8) if ((1) == syringePumpDACVrefSetRequested) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #8, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpRetractRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSeekRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPrimeRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpBolusRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpContinuousRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpDACVrefSetRequested:1
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_8_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpOffState
TEST.NEW
TEST.NAME:COND_8_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:13 of 21
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR, syringePumpLastPosition != getSyringePumpPosition())) ==> FALSE
      (3) if ((1) == syringePumpRetractRequested) ==> FALSE
      (4) if ((1) == syringePumpSeekRequested) ==> FALSE
      (5) if ((1) == syringePumpPrimeRequested) ==> FALSE
      (6) if ((1) == syringePumpBolusRequested) ==> FALSE
      (7) if ((1) == syringePumpContinuousRequested) ==> FALSE
      (8) if ((1) == syringePumpDACVrefSetRequested) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #8, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpRetractRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSeekRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPrimeRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpBolusRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpContinuousRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpDACVrefSetRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_9_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpOffState
TEST.NEW
TEST.NAME:COND_9_ROW_1_PAIR_a_TT-PARTIAL
TEST.MCDC_BASIS_PATH:16 of 21
TEST.NOTES:
This is an automatically generated test case.
   Test Path 16
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR, syringePumpLastPosition != getSyringePumpPosition())) ==> FALSE
      (3) if ((1) == syringePumpRetractRequested) ==> FALSE
      (4) if ((1) == syringePumpSeekRequested) ==> FALSE
      (5) if ((1) == syringePumpPrimeRequested) ==> FALSE
      (6) if ((1) == syringePumpBolusRequested) ==> FALSE
      (7) if ((1) == syringePumpContinuousRequested) ==> FALSE
      (8) if ((1) == syringePumpDACVrefSetRequested) ==> FALSE
      (9) if (result != (SYRINGE_PUMP_OFF_STATE) && result != (SYRINGE_PUMP_CONFIG_FORCE_SENSOR_STATE)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #9, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable result in branch 9
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpRetractRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSeekRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPrimeRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpBolusRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpContinuousRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpDACVrefSetRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_9_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpOffState
TEST.NEW
TEST.NAME:COND_9_ROW_2_PAIR_b_TF-PARTIAL
TEST.MCDC_BASIS_PATH:17 of 21
TEST.NOTES:
This is an automatically generated test case.
   Test Path 17
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR, syringePumpLastPosition != getSyringePumpPosition())) ==> FALSE
      (3) if ((1) == syringePumpRetractRequested) ==> FALSE
      (4) if ((1) == syringePumpSeekRequested) ==> FALSE
      (5) if ((1) == syringePumpPrimeRequested) ==> FALSE
      (6) if ((1) == syringePumpBolusRequested) ==> FALSE
      (7) if ((1) == syringePumpContinuousRequested) ==> FALSE
      (8) if ((1) == syringePumpDACVrefSetRequested) ==> FALSE
      (9) if (result != (SYRINGE_PUMP_OFF_STATE) && result != (SYRINGE_PUMP_CONFIG_FORCE_SENSOR_STATE)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #9, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable result in branch 9
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpRetractRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSeekRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPrimeRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpBolusRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpContinuousRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpDACVrefSetRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_9_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpOffState
TEST.NEW
TEST.NAME:COND_9_ROW_3_PAIR_a_FT-PARTIAL
TEST.MCDC_BASIS_PATH:15 of 21
TEST.NOTES:
This is an automatically generated test case.
   Test Path 15
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR, syringePumpLastPosition != getSyringePumpPosition())) ==> FALSE
      (3) if ((1) == syringePumpRetractRequested) ==> FALSE
      (4) if ((1) == syringePumpSeekRequested) ==> FALSE
      (5) if ((1) == syringePumpPrimeRequested) ==> FALSE
      (6) if ((1) == syringePumpBolusRequested) ==> FALSE
      (7) if ((1) == syringePumpContinuousRequested) ==> FALSE
      (8) if ((1) == syringePumpDACVrefSetRequested) ==> FALSE
      (9) if (result != (SYRINGE_PUMP_OFF_STATE) && result != (SYRINGE_PUMP_CONFIG_FORCE_SENSOR_STATE)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #9, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable result in branch 9
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpRetractRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSeekRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPrimeRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpBolusRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpContinuousRequested:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpDACVrefSetRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Subprogram: handleSyringePumpPrimeState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpPrimeState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (getSyringePumpVolumeDelivered() >= (0.3529999999999999805)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpVolumeDelivered
TEST.VALUE:SyringePump.getSyringePumpVolumeDelivered.return:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpPrimeState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (getSyringePumpVolumeDelivered() >= (0.3529999999999999805)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpVolumeDelivered
TEST.VALUE:SyringePump.getSyringePumpVolumeDelivered.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpPrimeState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (getSyringePumpVolumeDelivered() >= (0.3529999999999999805)) ==> FALSE
      (2) if ((1) == stopPump) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpVolumeDelivered
TEST.VALUE:SyringePump.getSyringePumpVolumeDelivered.return:<<MIN>>
TEST.VALUE:SyringePump.checkDirection.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpPrimeState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (getSyringePumpVolumeDelivered() >= (0.3529999999999999805)) ==> FALSE
      (2) if ((1) == stopPump) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpVolumeDelivered
TEST.VALUE:SyringePump.getSyringePumpVolumeDelivered.return:<<MIN>>
TEST.VALUE:SyringePump.checkDirection.return:<<MIN>>
TEST.END

-- Subprogram: handleSyringePumpRetractState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpRetractState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isSyringePumpHome()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.isSyringePumpHome.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpRetractState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isSyringePumpHome()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.isSyringePumpHome.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_TT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpRetractState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:4 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == isSyringePumpHome()) ==> FALSE
      (2) if ((1) == syringePumpPositionKnown && getSyringePumpPosition() < (((4000.0) / (0.6350000000000000089)) / (((((1.401999999999999913) / (2.0)) * ((1.401999999999999913) / (2.0))) * (3.141592699999999905)) * (0.1000000000000000056))) * -(0.5)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpPosition
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPositionKnown:1
TEST.VALUE:SyringePump.getSyringePumpPosition.return:<<MIN>>
TEST.VALUE:SyringePump.isSyringePumpHome.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_b_TF
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpRetractState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:5 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == isSyringePumpHome()) ==> FALSE
      (2) if ((1) == syringePumpPositionKnown && getSyringePumpPosition() < (((4000.0) / (0.6350000000000000089)) / (((((1.401999999999999913) / (2.0)) * ((1.401999999999999913) / (2.0))) * (3.141592699999999905)) * (0.1000000000000000056))) * -(0.5)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpPosition
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPositionKnown:1
TEST.VALUE:SyringePump.getSyringePumpPosition.return:<<MAX>>
TEST.VALUE:SyringePump.isSyringePumpHome.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_3_PAIR_a_FT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpRetractState
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:3 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == isSyringePumpHome()) ==> FALSE
      (2) if ((1) == syringePumpPositionKnown && getSyringePumpPosition() < (((4000.0) / (0.6350000000000000089)) / (((((1.401999999999999913) / (2.0)) * ((1.401999999999999913) / (2.0))) * (3.141592699999999905)) * (0.1000000000000000056))) * -(0.5)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpPosition
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPositionKnown:<<MIN>>
TEST.VALUE:SyringePump.getSyringePumpPosition.return:<<MIN>>
TEST.VALUE:SyringePump.isSyringePumpHome.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpRetractState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:7 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == isSyringePumpHome()) ==> FALSE
      (2) if ((1) == syringePumpPositionKnown && getSyringePumpPosition() < (((4000.0) / (0.6350000000000000089)) / (((((1.401999999999999913) / (2.0)) * ((1.401999999999999913) / (2.0))) * (3.141592699999999905)) * (0.1000000000000000056))) * -(0.5)) ==> FALSE
      (3) if ((1) == stopPump) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpPosition
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPositionKnown:<<MIN>>
TEST.VALUE:SyringePump.getSyringePumpPosition.return:<<MAX>>
TEST.VALUE:SyringePump.isSyringePumpHome.return:<<MIN>>
TEST.VALUE:SyringePump.checkDirection.return:1
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpRetractState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:6 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == isSyringePumpHome()) ==> FALSE
      (2) if ((1) == syringePumpPositionKnown && getSyringePumpPosition() < (((4000.0) / (0.6350000000000000089)) / (((((1.401999999999999913) / (2.0)) * ((1.401999999999999913) / (2.0))) * (3.141592699999999905)) * (0.1000000000000000056))) * -(0.5)) ==> FALSE
      (3) if ((1) == stopPump) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpPosition
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPositionKnown:<<MIN>>
TEST.VALUE:SyringePump.getSyringePumpPosition.return:<<MAX>>
TEST.VALUE:SyringePump.isSyringePumpHome.return:<<MIN>>
TEST.VALUE:SyringePump.checkDirection.return:<<MIN>>
TEST.END

-- Subprogram: handleSyringePumpSeekState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpSeekState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (getSyringePumpForceV() >= (0.25)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpForceV
TEST.VALUE:SyringePump.getSyringePumpForceV.return:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpSeekState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (getSyringePumpForceV() >= (0.25)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpForceV
TEST.VALUE:SyringePump.getSyringePumpForceV.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpSeekState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (getSyringePumpForceV() >= (0.25)) ==> TRUE
      (2) if (syringeVol >= txVolume) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable syringeVol in branch 2
      Cannot set local variable txVolume in branch 2
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpForceV
TEST.VALUE:SyringePump.getSyringePumpForceV.return:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpSeekState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (getSyringePumpForceV() >= (0.25)) ==> TRUE
      (2) if (syringeVol >= txVolume) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable syringeVol in branch 2
      Cannot set local variable txVolume in branch 2
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpForceV
TEST.VALUE:SyringePump.getSyringePumpForceV.return:<<MAX>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpSeekState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (getSyringePumpForceV() >= (0.25)) ==> FALSE
      (3) if ((1) == stopPump) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpForceV
TEST.VALUE:SyringePump.getSyringePumpForceV.return:<<MIN>>
TEST.VALUE:SyringePump.checkDirection.return:1
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:handleSyringePumpSeekState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (getSyringePumpForceV() >= (0.25)) ==> FALSE
      (3) if ((1) == stopPump) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpForceV
TEST.VALUE:SyringePump.getSyringePumpForceV.return:<<MIN>>
TEST.VALUE:SyringePump.checkDirection.return:<<MIN>>
TEST.END

-- Subprogram: initSyringePump

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:initSyringePump
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (i < (1000 / (40 / 10)) / 10) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:initSyringePump
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (i < (1000 / (40 / 10)) / 10) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Subprogram: isSyringeDetected

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:isSyringeDetected
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (getSyringePumpSyringeDetectorV() >= (2.0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpSyringeDetectorV
TEST.VALUE:SyringePump.getSyringePumpSyringeDetectorV.return:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:isSyringeDetected
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (getSyringePumpSyringeDetectorV() >= (2.0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpSyringeDetectorV
TEST.VALUE:SyringePump.getSyringePumpSyringeDetectorV.return:<<MIN>>
TEST.END

-- Subprogram: isSyringePlungerFound

-- Test Case: isSyringePlungerFound.001
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:isSyringePlungerFound
TEST.NEW
TEST.NAME:isSyringePlungerFound.001
TEST.END

-- Subprogram: isSyringePumpHome

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:isSyringePumpHome
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (getSyringePumpHomeDetectorV() <= (0.25)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpHomeDetectorV
TEST.VALUE:SyringePump.getSyringePumpHomeDetectorV.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:isSyringePumpHome
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (getSyringePumpHomeDetectorV() <= (0.25)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.getSyringePumpHomeDetectorV
TEST.VALUE:SyringePump.getSyringePumpHomeDetectorV.return:<<MAX>>
TEST.END

-- Subprogram: isSyringePumpPrimed

-- Test Case: isSyringePumpPrimed.001
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:isSyringePumpPrimed
TEST.NEW
TEST.NAME:isSyringePumpPrimed.001
TEST.END

-- Subprogram: isSyringePumpStopped

-- Test Case: COND_1_ROW_2_PAIR_a_TF
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:isSyringePumpStopped
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_TF
TEST.MCDC_BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (syringePumpState <= (SYRINGE_PUMP_OFF_STATE) || syringePumpState >= (SYRINGE_PUMP_CONFIG_FORCE_SENSOR_STATE)) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_b_FT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:isSyringePumpStopped
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_b_FT
TEST.MCDC_BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (syringePumpState <= (SYRINGE_PUMP_OFF_STATE) || syringePumpState >= (SYRINGE_PUMP_CONFIG_FORCE_SENSOR_STATE)) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #1, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_4_PAIR_a_FF
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:isSyringePumpStopped
TEST.NEW
TEST.NAME:COND_1_ROW_4_PAIR_a_FF
TEST.MCDC_BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (syringePumpState <= (SYRINGE_PUMP_OFF_STATE) || syringePumpState >= (SYRINGE_PUMP_CONFIG_FORCE_SENSOR_STATE)) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_RETRACT_STATE
TEST.END

-- Subprogram: isSyringeVolumeAdequate

-- Test Case: isSyringeVolumeAdequate.001
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:isSyringeVolumeAdequate
TEST.NEW
TEST.NAME:isSyringeVolumeAdequate.001
TEST.END

-- Subprogram: primeSyringePump

-- Test Case: COND_1_ROW_1_PAIR_a_TTTT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:primeSyringePump
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TTTT
TEST.MCDC_BASIS_PATH:2 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((((SYRINGE_PUMP_OFF_STATE) == syringePumpState && (1) == isSyringeDetected()) && heparinDeliveryState != (HEPARIN_STATE_OFF)) && (1) == syringePumpPlungerFound) ==> TRUE
      Row number 1 forms a pair with Row 9 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> TRUE
         Condition d ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_OFF_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_STOPPED
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPlungerFound:1
TEST.VALUE:SyringePump.isSyringeDetected.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_d_TTTF
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:primeSyringePump
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_d_TTTF
TEST.MCDC_BASIS_PATH:5 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((((SYRINGE_PUMP_OFF_STATE) == syringePumpState && (1) == isSyringeDetected()) && heparinDeliveryState != (HEPARIN_STATE_OFF)) && (1) == syringePumpPlungerFound) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "d".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> TRUE
         Condition d ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_OFF_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_STOPPED
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPlungerFound:<<MIN>>
TEST.VALUE:SyringePump.isSyringeDetected.return:1
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_c_TTFT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:primeSyringePump
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_c_TTFT
TEST.MCDC_BASIS_PATH:4 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((((SYRINGE_PUMP_OFF_STATE) == syringePumpState && (1) == isSyringeDetected()) && heparinDeliveryState != (HEPARIN_STATE_OFF)) && (1) == syringePumpPlungerFound) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "c".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> FALSE
         Condition d ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_OFF_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_OFF
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPlungerFound:1
TEST.VALUE:SyringePump.isSyringeDetected.return:1
TEST.END

-- Test Case: COND_1_ROW_5_PAIR_b_TFTT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:primeSyringePump
TEST.NEW
TEST.NAME:COND_1_ROW_5_PAIR_b_TFTT
TEST.MCDC_BASIS_PATH:3 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((((SYRINGE_PUMP_OFF_STATE) == syringePumpState && (1) == isSyringeDetected()) && heparinDeliveryState != (HEPARIN_STATE_OFF)) && (1) == syringePumpPlungerFound) ==> FALSE
      Row number 5 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
         Condition c ==> TRUE
         Condition d ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_OFF_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_STOPPED
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPlungerFound:1
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_9_PAIR_a_FTTT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:primeSyringePump
TEST.NEW
TEST.NAME:COND_1_ROW_9_PAIR_a_FTTT
TEST.MCDC_BASIS_PATH:1 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((((SYRINGE_PUMP_OFF_STATE) == syringePumpState && (1) == isSyringeDetected()) && heparinDeliveryState != (HEPARIN_STATE_OFF)) && (1) == syringePumpPlungerFound) ==> FALSE
      Row number 9 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
         Condition c ==> TRUE
         Condition d ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_INIT_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_STOPPED
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPlungerFound:1
TEST.VALUE:SyringePump.isSyringeDetected.return:1
TEST.END

-- Subprogram: processCalibrationData

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:processCalibrationData
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((0) == (calData.hdHeparinForceSensor).calibrationTime) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getHDHeparinForceSensorCalibrationRecord.return.hdHeparinForceSensor.calibrationTime:0
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:processCalibrationData
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((0) == (calData.hdHeparinForceSensor).calibrationTime) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getHDHeparinForceSensorCalibrationRecord.return.hdHeparinForceSensor.calibrationTime:1
TEST.END

-- Subprogram: publishSyringePumpData

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:publishSyringePumpData
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (++syringePumpDataPublicationTimerCounter >= getU32OverrideValue(&syringePumpDataPublishInterval)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:publishSyringePumpData
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++syringePumpDataPublicationTimerCounter >= getU32OverrideValue(&syringePumpDataPublishInterval)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<<MAX>>
TEST.END

-- Subprogram: rampSyringePump

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:rampSyringePump
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (syringePumpRampUpToggleTime > syringePumpSetToggleTime) ==> 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:SyringePump.<<GLOBAL>>.syringePumpSetToggleTime:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpRampUpToggleTime:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:rampSyringePump
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (syringePumpRampUpToggleTime > syringePumpSetToggleTime) ==> 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:SyringePump.<<GLOBAL>>.syringePumpSetToggleTime:<<MAX>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpRampUpToggleTime:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:rampSyringePump
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (syringePumpRampUpToggleTime > syringePumpSetToggleTime) ==> TRUE
      (2) if (syringePumpRampUpToggleTime > syringePumpSetToggleTime) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSetToggleTime:<<MIN>>
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpRampUpToggleTime:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:rampSyringePump
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (syringePumpRampUpToggleTime > syringePumpSetToggleTime) ==> TRUE
      (2) if (syringePumpRampUpToggleTime > syringePumpSetToggleTime) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpSetToggleTime:4294967294
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpRampUpToggleTime:<<MAX>>
TEST.END

-- Subprogram: resetHeparinVolumeDelivered

-- Test Case: resetHeparinVolumeDelivered.001
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:resetHeparinVolumeDelivered
TEST.NEW
TEST.NAME:resetHeparinVolumeDelivered.001
TEST.END

-- Subprogram: resetSyringePumpRequestFlags

-- Test Case: resetSyringePumpRequestFlags.001
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:resetSyringePumpRequestFlags
TEST.NEW
TEST.NAME:resetSyringePumpRequestFlags.001
TEST.END

-- Subprogram: retractSyringePump

-- Test Case: COND_1_ROW_1_PAIR_a_TT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:retractSyringePump
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((SYRINGE_PUMP_OFF_STATE) == syringePumpState && heparinDeliveryState != (HEPARIN_STATE_OFF)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_OFF_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_STOPPED
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:retractSyringePump
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((SYRINGE_PUMP_OFF_STATE) == syringePumpState && heparinDeliveryState != (HEPARIN_STATE_OFF)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_OFF_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_OFF
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:retractSyringePump
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((SYRINGE_PUMP_OFF_STATE) == syringePumpState && heparinDeliveryState != (HEPARIN_STATE_OFF)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_INIT_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_STOPPED
TEST.END

-- Subprogram: seekSyringePlunger

-- Test Case: COND_1_ROW_1_PAIR_a_TTTT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:seekSyringePlunger
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TTTT
TEST.MCDC_BASIS_PATH:2 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((((SYRINGE_PUMP_OFF_STATE) == syringePumpState && (1) == isSyringeDetected()) && (1) == syringePumpPositionKnown) && heparinDeliveryState != (HEPARIN_STATE_OFF)) ==> TRUE
      Row number 1 forms a pair with Row 9 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> TRUE
         Condition d ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_OFF_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_STOPPED
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPositionKnown:1
TEST.VALUE:SyringePump.isSyringeDetected.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_d_TTTF
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:seekSyringePlunger
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_d_TTTF
TEST.MCDC_BASIS_PATH:5 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((((SYRINGE_PUMP_OFF_STATE) == syringePumpState && (1) == isSyringeDetected()) && (1) == syringePumpPositionKnown) && heparinDeliveryState != (HEPARIN_STATE_OFF)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "d".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> TRUE
         Condition d ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_OFF_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_OFF
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPositionKnown:1
TEST.VALUE:SyringePump.isSyringeDetected.return:1
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_c_TTFT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:seekSyringePlunger
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_c_TTFT
TEST.MCDC_BASIS_PATH:4 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((((SYRINGE_PUMP_OFF_STATE) == syringePumpState && (1) == isSyringeDetected()) && (1) == syringePumpPositionKnown) && heparinDeliveryState != (HEPARIN_STATE_OFF)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "c".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> FALSE
         Condition d ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_OFF_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_STOPPED
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPositionKnown:<<MIN>>
TEST.VALUE:SyringePump.isSyringeDetected.return:1
TEST.END

-- Test Case: COND_1_ROW_5_PAIR_b_TFTT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:seekSyringePlunger
TEST.NEW
TEST.NAME:COND_1_ROW_5_PAIR_b_TFTT
TEST.MCDC_BASIS_PATH:3 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((((SYRINGE_PUMP_OFF_STATE) == syringePumpState && (1) == isSyringeDetected()) && (1) == syringePumpPositionKnown) && heparinDeliveryState != (HEPARIN_STATE_OFF)) ==> FALSE
      Row number 5 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
         Condition c ==> TRUE
         Condition d ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_OFF_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_STOPPED
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPositionKnown:1
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_9_PAIR_a_FTTT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:seekSyringePlunger
TEST.NEW
TEST.NAME:COND_1_ROW_9_PAIR_a_FTTT
TEST.MCDC_BASIS_PATH:1 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((((SYRINGE_PUMP_OFF_STATE) == syringePumpState && (1) == isSyringeDetected()) && (1) == syringePumpPositionKnown) && heparinDeliveryState != (HEPARIN_STATE_OFF)) ==> FALSE
      Row number 9 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
         Condition c ==> TRUE
         Condition d ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_INIT_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_STOPPED
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPositionKnown:1
TEST.VALUE:SyringePump.isSyringeDetected.return:1
TEST.END

-- Subprogram: setHeparinCompleted

-- Test Case: setHeparinCompleted.001
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:setHeparinCompleted
TEST.NEW
TEST.NAME:setHeparinCompleted.001
TEST.END

-- Subprogram: setHeparinOff

-- Test Case: setHeparinOff.001
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:setHeparinOff
TEST.NEW
TEST.NAME:setHeparinOff.001
TEST.END

-- Subprogram: setHeparinStopped

-- Test Case: setHeparinStopped.001
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:setHeparinStopped
TEST.NEW
TEST.NAME:setHeparinStopped.001
TEST.END

-- Subprogram: setSyringePumpDACVref

-- Test Case: COND_1_ROW_1_PAIR_a_TT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:setSyringePumpDACVref
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:2 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (vRef >= (0.0) && vRef <= (3.299999999999999822)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.setSyringePumpDACVref.vRef:0.0
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:setSyringePumpDACVref
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:3 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (vRef >= (0.0) && vRef <= (3.299999999999999822)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.setSyringePumpDACVref.vRef:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:setSyringePumpDACVref
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:1 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (vRef >= (0.0) && vRef <= (3.299999999999999822)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.setSyringePumpDACVref.vRef:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:setSyringePumpDACVref
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:5 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (vRef >= (0.0) && vRef <= (3.299999999999999822)) ==> TRUE
      (2) if ((SYRINGE_PUMP_OFF_STATE) == syringePumpState) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_OFF_STATE
TEST.VALUE:SyringePump.setSyringePumpDACVref.vRef:0.0
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:setSyringePumpDACVref
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:4 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (vRef >= (0.0) && vRef <= (3.299999999999999822)) ==> TRUE
      (2) if ((SYRINGE_PUMP_OFF_STATE) == syringePumpState) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_INIT_STATE
TEST.VALUE:SyringePump.setSyringePumpDACVref.vRef:0.0
TEST.END

-- Subprogram: startHeparinBolus

-- Test Case: COND_1_ROW_1_PAIR_a_TTT-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinBolus
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TTT-PARTIAL
TEST.MCDC_BASIS_PATH:2 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((tgtRate >= (1.199999999999999956) && tgtRate <= (24.0)) && (0) == isSyringePumpHome()) ==> TRUE
      Row number 1 forms a pair with Row 5 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> TRUE
   Test Case Generation Notes:
      Cannot set tgtRate due to assignment
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.isSyringePumpHome.return:0
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_c_TTF-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinBolus
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_c_TTF-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((tgtRate >= (1.199999999999999956) && tgtRate <= (24.0)) && (0) == isSyringePumpHome()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "c".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> FALSE
   Test Case Generation Notes:
      Cannot set tgtRate due to assignment
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.isSyringePumpHome.return:1
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_b_TFT-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinBolus
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_b_TFT-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((tgtRate >= (1.199999999999999956) && tgtRate <= (24.0)) && (0) == isSyringePumpHome()) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
         Condition c ==> TRUE
   Test Case Generation Notes:
      Cannot set tgtRate due to assignment
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.isSyringePumpHome.return:0
TEST.END

-- Test Case: COND_1_ROW_5_PAIR_a_FTT-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinBolus
TEST.NEW
TEST.NAME:COND_1_ROW_5_PAIR_a_FTT-PARTIAL
TEST.MCDC_BASIS_PATH:1 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((tgtRate >= (1.199999999999999956) && tgtRate <= (24.0)) && (0) == isSyringePumpHome()) ==> FALSE
      Row number 5 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
         Condition c ==> TRUE
   Test Case Generation Notes:
      Cannot set tgtRate due to assignment
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.isSyringePumpHome.return:0
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_TTTT-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinBolus
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_TTTT-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((tgtRate >= (1.199999999999999956) && tgtRate <= (24.0)) && (0) == isSyringePumpHome()) ==> TRUE
      (2) if ((((1) == isSyringeDetected() && (1) == syringePumpPrimeCompleted) && (SYRINGE_PUMP_OFF_STATE) == syringePumpState) && (HEPARIN_STATE_STOPPED) == heparinDeliveryState) ==> TRUE
      Row number 1 forms a pair with Row 9 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> TRUE
         Condition d ==> TRUE
   Test Case Generation Notes:
      Cannot set tgtRate due to assignment
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_OFF_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_STOPPED
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPrimeCompleted:1
TEST.VALUE:SyringePump.isSyringeDetected.return:1
TEST.VALUE:SyringePump.isSyringePumpHome.return:0
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_d_TTTF-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinBolus
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_d_TTTF-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((tgtRate >= (1.199999999999999956) && tgtRate <= (24.0)) && (0) == isSyringePumpHome()) ==> TRUE
      (2) if ((((1) == isSyringeDetected() && (1) == syringePumpPrimeCompleted) && (SYRINGE_PUMP_OFF_STATE) == syringePumpState) && (HEPARIN_STATE_STOPPED) == heparinDeliveryState) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "d".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> TRUE
         Condition d ==> FALSE
   Test Case Generation Notes:
      Cannot set tgtRate due to assignment
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_OFF_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_OFF
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPrimeCompleted:1
TEST.VALUE:SyringePump.isSyringeDetected.return:1
TEST.VALUE:SyringePump.isSyringePumpHome.return:0
TEST.END

-- Test Case: COND_2_ROW_3_PAIR_c_TTFT-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinBolus
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_c_TTFT-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((tgtRate >= (1.199999999999999956) && tgtRate <= (24.0)) && (0) == isSyringePumpHome()) ==> TRUE
      (2) if ((((1) == isSyringeDetected() && (1) == syringePumpPrimeCompleted) && (SYRINGE_PUMP_OFF_STATE) == syringePumpState) && (HEPARIN_STATE_STOPPED) == heparinDeliveryState) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #2, subcondition "c".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> FALSE
         Condition d ==> TRUE
   Test Case Generation Notes:
      Cannot set tgtRate due to assignment
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_INIT_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_STOPPED
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPrimeCompleted:1
TEST.VALUE:SyringePump.isSyringeDetected.return:1
TEST.VALUE:SyringePump.isSyringePumpHome.return:0
TEST.END

-- Test Case: COND_2_ROW_5_PAIR_b_TFTT-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinBolus
TEST.NEW
TEST.NAME:COND_2_ROW_5_PAIR_b_TFTT-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((tgtRate >= (1.199999999999999956) && tgtRate <= (24.0)) && (0) == isSyringePumpHome()) ==> TRUE
      (2) if ((((1) == isSyringeDetected() && (1) == syringePumpPrimeCompleted) && (SYRINGE_PUMP_OFF_STATE) == syringePumpState) && (HEPARIN_STATE_STOPPED) == heparinDeliveryState) ==> FALSE
      Row number 5 forms a pair with Row 1 for Condition #2, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
         Condition c ==> TRUE
         Condition d ==> TRUE
   Test Case Generation Notes:
      Cannot set tgtRate due to assignment
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_OFF_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_STOPPED
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPrimeCompleted:<<MIN>>
TEST.VALUE:SyringePump.isSyringeDetected.return:1
TEST.VALUE:SyringePump.isSyringePumpHome.return:0
TEST.END

-- Test Case: COND_2_ROW_9_PAIR_a_FTTT-PARTIAL
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinBolus
TEST.NEW
TEST.NAME:COND_2_ROW_9_PAIR_a_FTTT-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((tgtRate >= (1.199999999999999956) && tgtRate <= (24.0)) && (0) == isSyringePumpHome()) ==> TRUE
      (2) if ((((1) == isSyringeDetected() && (1) == syringePumpPrimeCompleted) && (SYRINGE_PUMP_OFF_STATE) == syringePumpState) && (HEPARIN_STATE_STOPPED) == heparinDeliveryState) ==> FALSE
      Row number 9 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
         Condition c ==> TRUE
         Condition d ==> TRUE
   Test Case Generation Notes:
      Cannot set tgtRate due to assignment
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_OFF_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_STOPPED
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPrimeCompleted:1
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:SyringePump.isSyringePumpHome.return:0
TEST.END

-- Test Case: startHeparinBolus.001
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinBolus
TEST.NEW
TEST.NAME:startHeparinBolus.001
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:2.0
TEST.END

-- Test Case: startHeparinBolus.002
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinBolus
TEST.NEW
TEST.NAME:startHeparinBolus.002
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:25.0
TEST.END

-- Test Case: startHeparinBolus.003
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinBolus
TEST.NEW
TEST.NAME:startHeparinBolus.003
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.isSyringePumpHome.return:0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:2.0
TEST.END

-- Test Case: startHeparinBolus.004
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinBolus
TEST.NEW
TEST.NAME:startHeparinBolus.004
TEST.STUB:SyringePump.isSyringeDetected
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.isSyringeDetected.return:1
TEST.VALUE:SyringePump.isSyringePumpHome.return:0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:2.0
TEST.END

-- Test Case: startHeparinBolus.005
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinBolus
TEST.NEW
TEST.NAME:startHeparinBolus.005
TEST.STUB:SyringePump.isSyringeDetected
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPrimeCompleted:1
TEST.VALUE:SyringePump.isSyringeDetected.return:1
TEST.VALUE:SyringePump.isSyringePumpHome.return:0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:2.0
TEST.END

-- Test Case: startHeparinBolus.006
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinBolus
TEST.NEW
TEST.NAME:startHeparinBolus.006
TEST.STUB:SyringePump.isSyringeDetected
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_OFF_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPrimeCompleted:1
TEST.VALUE:SyringePump.isSyringeDetected.return:1
TEST.VALUE:SyringePump.isSyringePumpHome.return:0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:2.0
TEST.END

-- Test Case: startHeparinBolus.007
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinBolus
TEST.NEW
TEST.NAME:startHeparinBolus.007
TEST.STUB:SyringePump.isSyringeDetected
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_OFF_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_STOPPED
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpPrimeCompleted:1
TEST.VALUE:SyringePump.isSyringeDetected.return:1
TEST.VALUE:SyringePump.isSyringePumpHome.return:0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:2.0
TEST.END

-- Subprogram: startHeparinContinuous

-- Test Case: COND_1_ROW_1_PAIR_a_TTT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinContinuous
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TTT
TEST.MCDC_BASIS_PATH:2 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((flowRate >= (0.1000000000000000056) && flowRate <= (1.0)) && (0) == isSyringePumpHome()) ==> TRUE
      Row number 1 forms a pair with Row 5 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.isSyringePumpHome.return:0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:0.1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_c_TTF
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinContinuous
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_c_TTF
TEST.MCDC_BASIS_PATH:4 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((flowRate >= (0.1000000000000000056) && flowRate <= (1.0)) && (0) == isSyringePumpHome()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "c".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.isSyringePumpHome.return:1
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:0.1
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_b_TFT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinContinuous
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_b_TFT
TEST.MCDC_BASIS_PATH:3 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((flowRate >= (0.1000000000000000056) && flowRate <= (1.0)) && (0) == isSyringePumpHome()) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
         Condition c ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.isSyringePumpHome.return:0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_5_PAIR_a_FTT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinContinuous
TEST.NEW
TEST.NAME:COND_1_ROW_5_PAIR_a_FTT
TEST.MCDC_BASIS_PATH:1 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((flowRate >= (0.1000000000000000056) && flowRate <= (1.0)) && (0) == isSyringePumpHome()) ==> FALSE
      Row number 5 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
         Condition c ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.isSyringePumpHome.return:0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_11_PAIR_a_FTFT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinContinuous
TEST.NEW
TEST.NAME:COND_2_ROW_11_PAIR_a_FTFT
TEST.MCDC_BASIS_PATH:5 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((flowRate >= (0.1000000000000000056) && flowRate <= (1.0)) && (0) == isSyringePumpHome()) ==> TRUE
      (2) if (((1) == isSyringeDetected() && (SYRINGE_PUMP_OFF_STATE) == syringePumpState) && ((HEPARIN_STATE_STOPPED) == heparinDeliveryState || (HEPARIN_STATE_PAUSED) == heparinDeliveryState)) ==> FALSE
      Row number 11 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
         Condition c ==> FALSE
         Condition d ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_OFF_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_PAUSED
TEST.VALUE:SyringePump.isSyringeDetected.return:<<MIN>>
TEST.VALUE:SyringePump.isSyringePumpHome.return:0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:0.1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_c_TTTF
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinContinuous
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_c_TTTF
TEST.MCDC_BASIS_PATH:9 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((flowRate >= (0.1000000000000000056) && flowRate <= (1.0)) && (0) == isSyringePumpHome()) ==> TRUE
      (2) if (((1) == isSyringeDetected() && (SYRINGE_PUMP_OFF_STATE) == syringePumpState) && ((HEPARIN_STATE_STOPPED) == heparinDeliveryState || (HEPARIN_STATE_PAUSED) == heparinDeliveryState)) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #2, subcondition "c".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> TRUE
         Condition d ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_OFF_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_STOPPED
TEST.VALUE:SyringePump.isSyringeDetected.return:1
TEST.VALUE:SyringePump.isSyringePumpHome.return:0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:0.1
TEST.END

-- Test Case: COND_2_ROW_3_PAIR_a_TTFT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinContinuous
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_a_TTFT
TEST.MCDC_BASIS_PATH:6 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((flowRate >= (0.1000000000000000056) && flowRate <= (1.0)) && (0) == isSyringePumpHome()) ==> TRUE
      (2) if (((1) == isSyringeDetected() && (SYRINGE_PUMP_OFF_STATE) == syringePumpState) && ((HEPARIN_STATE_STOPPED) == heparinDeliveryState || (HEPARIN_STATE_PAUSED) == heparinDeliveryState)) ==> TRUE
      Row number 3 forms a pair with Row 11 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> FALSE
         Condition d ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_OFF_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_PAUSED
TEST.VALUE:SyringePump.isSyringeDetected.return:1
TEST.VALUE:SyringePump.isSyringePumpHome.return:0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:0.1
TEST.END

-- Test Case: COND_2_ROW_4_PAIR_c_TTFF
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinContinuous
TEST.NEW
TEST.NAME:COND_2_ROW_4_PAIR_c_TTFF
TEST.MCDC_BASIS_PATH:8 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((flowRate >= (0.1000000000000000056) && flowRate <= (1.0)) && (0) == isSyringePumpHome()) ==> TRUE
      (2) if (((1) == isSyringeDetected() && (SYRINGE_PUMP_OFF_STATE) == syringePumpState) && ((HEPARIN_STATE_STOPPED) == heparinDeliveryState || (HEPARIN_STATE_PAUSED) == heparinDeliveryState)) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #2, subcondition "c".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> FALSE
         Condition d ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_OFF_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_OFF
TEST.VALUE:SyringePump.isSyringeDetected.return:1
TEST.VALUE:SyringePump.isSyringePumpHome.return:0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:0.1
TEST.END

-- Test Case: COND_2_ROW_7_PAIR_b_TFFT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:startHeparinContinuous
TEST.NEW
TEST.NAME:COND_2_ROW_7_PAIR_b_TFFT
TEST.MCDC_BASIS_PATH:7 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((flowRate >= (0.1000000000000000056) && flowRate <= (1.0)) && (0) == isSyringePumpHome()) ==> TRUE
      (2) if (((1) == isSyringeDetected() && (SYRINGE_PUMP_OFF_STATE) == syringePumpState) && ((HEPARIN_STATE_STOPPED) == heparinDeliveryState || (HEPARIN_STATE_PAUSED) == heparinDeliveryState)) ==> FALSE
      Row number 7 forms a pair with Row 3 for Condition #2, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
         Condition c ==> FALSE
         Condition d ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SyringePump.isSyringeDetected
TEST.STUB:SyringePump.isSyringePumpHome
TEST.VALUE:SyringePump.<<GLOBAL>>.syringePumpState:SYRINGE_PUMP_INIT_STATE
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_PAUSED
TEST.VALUE:SyringePump.isSyringeDetected.return:1
TEST.VALUE:SyringePump.isSyringePumpHome.return:0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:0.1
TEST.END

-- Subprogram: stopSyringePump

-- Test Case: COND_1_ROW_2_PAIR_a_TF
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:stopSyringePump
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_TF
TEST.MCDC_BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((HEPARIN_STATE_INITIAL_BOLUS) == heparinDeliveryState || (HEPARIN_STATE_DISPENSING) == heparinDeliveryState) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_INITIAL_BOLUS
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_b_FT-TEMPLATE
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:stopSyringePump
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_b_FT-TEMPLATE
TEST.MCDC_BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((HEPARIN_STATE_INITIAL_BOLUS) == heparinDeliveryState || (HEPARIN_STATE_DISPENSING) == heparinDeliveryState) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #1, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable SyringePump.<<GLOBAL>>.heparinDeliveryState 'equal to' and 'not equal to' same value in branch 1
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_OFF
TEST.END

-- Test Case: COND_1_ROW_4_PAIR_a_FF
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:stopSyringePump
TEST.NEW
TEST.NAME:COND_1_ROW_4_PAIR_a_FF
TEST.MCDC_BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((HEPARIN_STATE_INITIAL_BOLUS) == heparinDeliveryState || (HEPARIN_STATE_DISPENSING) == heparinDeliveryState) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_OFF
TEST.END

-- Test Case: stopSyringePump.001
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:stopSyringePump
TEST.NEW
TEST.NAME:stopSyringePump.001
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_DISPENSING
TEST.END

-- Subprogram: testResetSyringePumpADCReadCounter

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testResetSyringePumpADCReadCounter
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testResetSyringePumpADCReadCounter
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testResetSyringePumpADCandDACStatus

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testResetSyringePumpADCandDACStatus
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testResetSyringePumpADCandDACStatus
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testResetSyringePumpDataPublishIntervalOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testResetSyringePumpDataPublishIntervalOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testResetSyringePumpDataPublishIntervalOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testResetSyringePumpEncoderStatus

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testResetSyringePumpEncoderStatus
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testResetSyringePumpEncoderStatus
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testResetSyringePumpMeasuredForceOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testResetSyringePumpMeasuredForceOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testResetSyringePumpMeasuredForceOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testResetSyringePumpMeasuredHomeOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testResetSyringePumpMeasuredHomeOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testResetSyringePumpMeasuredHomeOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testResetSyringePumpMeasuredPositionOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testResetSyringePumpMeasuredPositionOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testResetSyringePumpMeasuredPositionOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testResetSyringePumpMeasuredRateOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testResetSyringePumpMeasuredRateOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testResetSyringePumpMeasuredRateOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testResetSyringePumpMeasuredSyringeDetectOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testResetSyringePumpMeasuredSyringeDetectOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testResetSyringePumpMeasuredSyringeDetectOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testResetSyringePumpMeasuredVolumeOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testResetSyringePumpMeasuredVolumeOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testResetSyringePumpMeasuredVolumeOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testResetSyringePumpStatus

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testResetSyringePumpStatus
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testResetSyringePumpStatus
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSetSyringePumpADCReadCounter

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpADCReadCounter
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpADCReadCounter.ctr:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpADCReadCounter
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpADCReadCounter.ctr:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSetSyringePumpADCandDACStatus

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpADCandDACStatus
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpADCandDACStatus.status:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpADCandDACStatus
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpADCandDACStatus.status:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSetSyringePumpDataPublishIntervalOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpDataPublishIntervalOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpDataPublishIntervalOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpDataPublishIntervalOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpDataPublishIntervalOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSetSyringePumpEncoderStatus

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpEncoderStatus
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpEncoderStatus.status:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpEncoderStatus
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpEncoderStatus.status:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSetSyringePumpMeasuredForceOverride

-- Test Case: COND_1_ROW_1_PAIR_a_TTT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpMeasuredForceOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TTT
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (((1) == isTestingActivated() && value >= (0.0)) && value <= (3.299999999999999822)) ==> TRUE
      Row number 1 forms a pair with Row 5 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpMeasuredForceOverride.value:0.0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_c_TTF
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpMeasuredForceOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_c_TTF
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (((1) == isTestingActivated() && value >= (0.0)) && value <= (3.299999999999999822)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "c".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpMeasuredForceOverride.value:<<MAX>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_b_TFT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpMeasuredForceOverride
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_b_TFT
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (((1) == isTestingActivated() && value >= (0.0)) && value <= (3.299999999999999822)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
         Condition c ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpMeasuredForceOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_5_PAIR_a_FTT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpMeasuredForceOverride
TEST.NEW
TEST.NAME:COND_1_ROW_5_PAIR_a_FTT
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (((1) == isTestingActivated() && value >= (0.0)) && value <= (3.299999999999999822)) ==> FALSE
      Row number 5 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
         Condition c ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpMeasuredForceOverride.value:0.0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSetSyringePumpMeasuredHomeOverride

-- Test Case: COND_1_ROW_1_PAIR_a_TTT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpMeasuredHomeOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TTT
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (((1) == isTestingActivated() && value >= (0.0)) && value <= (3.299999999999999822)) ==> TRUE
      Row number 1 forms a pair with Row 5 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpMeasuredHomeOverride.value:0.0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_c_TTF
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpMeasuredHomeOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_c_TTF
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (((1) == isTestingActivated() && value >= (0.0)) && value <= (3.299999999999999822)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "c".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpMeasuredHomeOverride.value:<<MAX>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_b_TFT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpMeasuredHomeOverride
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_b_TFT
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (((1) == isTestingActivated() && value >= (0.0)) && value <= (3.299999999999999822)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
         Condition c ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpMeasuredHomeOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_5_PAIR_a_FTT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpMeasuredHomeOverride
TEST.NEW
TEST.NAME:COND_1_ROW_5_PAIR_a_FTT
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (((1) == isTestingActivated() && value >= (0.0)) && value <= (3.299999999999999822)) ==> FALSE
      Row number 5 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
         Condition c ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpMeasuredHomeOverride.value:0.0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSetSyringePumpMeasuredPositionOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpMeasuredPositionOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpMeasuredPositionOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpMeasuredPositionOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpMeasuredPositionOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSetSyringePumpMeasuredRateOverride

-- Test Case: COND_1_ROW_1_PAIR_a_TT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpMeasuredRateOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated() && value <= (11000.0)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpMeasuredRateOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpMeasuredRateOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == isTestingActivated() && value <= (11000.0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpMeasuredRateOverride.value:<<MAX>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpMeasuredRateOverride
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated() && value <= (11000.0)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpMeasuredRateOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSetSyringePumpMeasuredSyringeDetectOverride

-- Test Case: COND_1_ROW_1_PAIR_a_TTT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpMeasuredSyringeDetectOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TTT
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (((1) == isTestingActivated() && value >= (0.0)) && value <= (3.299999999999999822)) ==> TRUE
      Row number 1 forms a pair with Row 5 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpMeasuredSyringeDetectOverride.value:0.0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_c_TTF
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpMeasuredSyringeDetectOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_c_TTF
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (((1) == isTestingActivated() && value >= (0.0)) && value <= (3.299999999999999822)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "c".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpMeasuredSyringeDetectOverride.value:<<MAX>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_b_TFT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpMeasuredSyringeDetectOverride
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_b_TFT
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (((1) == isTestingActivated() && value >= (0.0)) && value <= (3.299999999999999822)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
         Condition c ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpMeasuredSyringeDetectOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_5_PAIR_a_FTT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpMeasuredSyringeDetectOverride
TEST.NEW
TEST.NAME:COND_1_ROW_5_PAIR_a_FTT
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (((1) == isTestingActivated() && value >= (0.0)) && value <= (3.299999999999999822)) ==> FALSE
      Row number 5 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
         Condition c ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpMeasuredSyringeDetectOverride.value:0.0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSetSyringePumpMeasuredVolumeOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpMeasuredVolumeOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpMeasuredVolumeOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpMeasuredVolumeOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpMeasuredVolumeOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSetSyringePumpStatus

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpStatus
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpStatus.status:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSetSyringePumpStatus
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.testSetSyringePumpStatus.status:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSyringePumpOperationRequest

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSyringePumpOperationRequest
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:testSyringePumpOperationRequest
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: userHeparinRequest

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:userHeparinRequest
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> 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:SyringePump.userHeparinRequest.cmd:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:userHeparinRequest
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> 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:SyringePump.userHeparinRequest.cmd:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_TT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:userHeparinRequest
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:4 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE
      (2) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.userHeparinRequest.cmd:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.getDialysisState.return:DIALYSIS_START_STATE
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_b_TF
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:userHeparinRequest
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:5 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE
      (2) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.userHeparinRequest.cmd:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.getDialysisState.return:DIALYSIS_SALINE_BOLUS_STATE
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.END

-- Test Case: COND_2_ROW_3_PAIR_a_FT
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:userHeparinRequest
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:3 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE
      (2) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.userHeparinRequest.cmd:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.getDialysisState.return:DIALYSIS_START_STATE
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:userHeparinRequest
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:7 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE
      (2) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE
      (3) if ((HEPARIN_CMD_PAUSE) == cmd) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.userHeparinRequest.cmd:HEPARIN_CMD_PAUSE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.getDialysisState.return:DIALYSIS_START_STATE
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:userHeparinRequest
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:6 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE
      (2) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE
      (3) if ((HEPARIN_CMD_PAUSE) == cmd) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.userHeparinRequest.cmd:HEPARIN_CMD_RESUME
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.getDialysisState.return:DIALYSIS_START_STATE
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:userHeparinRequest
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:13 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE
      (2) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE
      (3) if ((HEPARIN_CMD_PAUSE) == cmd) ==> TRUE
      (4) if ((HEPARIN_STATE_DISPENSING) == heparinDeliveryState) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_DISPENSING
TEST.VALUE:SyringePump.userHeparinRequest.cmd:HEPARIN_CMD_PAUSE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.getDialysisState.return:DIALYSIS_START_STATE
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:userHeparinRequest
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:12 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE
      (2) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE
      (3) if ((HEPARIN_CMD_PAUSE) == cmd) ==> TRUE
      (4) if ((HEPARIN_STATE_DISPENSING) == heparinDeliveryState) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_OFF
TEST.VALUE:SyringePump.userHeparinRequest.cmd:HEPARIN_CMD_PAUSE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.getDialysisState.return:DIALYSIS_START_STATE
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:userHeparinRequest
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:9 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE
      (2) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE
      (3) if ((HEPARIN_CMD_PAUSE) == cmd) ==> FALSE
      (5) if ((HEPARIN_CMD_RESUME) == cmd) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.userHeparinRequest.cmd:HEPARIN_CMD_RESUME
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.getDialysisState.return:DIALYSIS_START_STATE
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:userHeparinRequest
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:8 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE
      (2) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE
      (3) if ((HEPARIN_CMD_PAUSE) == cmd) ==> FALSE
      (5) if ((HEPARIN_CMD_RESUME) == cmd) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.userHeparinRequest.cmd:NUM_OF_HEPARIN_CMDS
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.getDialysisState.return:DIALYSIS_START_STATE
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.END

-- Test Case: COND_6_ROW_1_PAIR_a_T
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:userHeparinRequest
TEST.NEW
TEST.NAME:COND_6_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:11 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE
      (2) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE
      (3) if ((HEPARIN_CMD_PAUSE) == cmd) ==> FALSE
      (5) if ((HEPARIN_CMD_RESUME) == cmd) ==> TRUE
      (6) if ((HEPARIN_STATE_PAUSED) == heparinDeliveryState) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_PAUSED
TEST.VALUE:SyringePump.userHeparinRequest.cmd:HEPARIN_CMD_RESUME
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.getDialysisState.return:DIALYSIS_START_STATE
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.END

-- Test Case: COND_6_ROW_2_PAIR_a_F
TEST.UNIT:SyringePump
TEST.SUBPROGRAM:userHeparinRequest
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:10 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE
      (2) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE
      (3) if ((HEPARIN_CMD_PAUSE) == cmd) ==> FALSE
      (5) if ((HEPARIN_CMD_RESUME) == cmd) ==> TRUE
      (6) if ((HEPARIN_STATE_PAUSED) == heparinDeliveryState) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SyringePump.<<GLOBAL>>.heparinDeliveryState:HEPARIN_STATE_OFF
TEST.VALUE:SyringePump.userHeparinRequest.cmd:HEPARIN_CMD_RESUME
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.getDialysisState.return:DIALYSIS_START_STATE
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.END