-- 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: calcMeasRate.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:calcMeasRate TEST.NEW TEST.NAME:calcMeasRate.001 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 -- Subprogram: calcSafetyVolumeDelivered -- Test Case: calcSafetyVolumeDelivered.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:calcSafetyVolumeDelivered TEST.NEW TEST.NAME:calcSafetyVolumeDelivered.001 TEST.END -- Subprogram: calcStepperToggleTimeForTargetRate -- Test Case: calcStepperToggleTimeForTargetRate.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:calcStepperToggleTimeForTargetRate TEST.NEW TEST.NAME:calcStepperToggleTimeForTargetRate.001 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:<> TEST.END -- Subprogram: checkDirection -- Test Case: checkDirection.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:checkDirection TEST.NEW TEST.NAME:checkDirection.001 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:<> TEST.VALUE:SyringePump.checkDirection.expDir:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.END -- Test Case: checkDirection.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:checkDirection TEST.NEW TEST.NAME:checkDirection.002 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:<> TEST.VALUE:SyringePump.checkDirection.expDir:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.END -- Test Case: checkDirection.003 TEST.UNIT:SyringePump TEST.SUBPROGRAM:checkDirection TEST.NEW TEST.NAME:checkDirection.003 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.<>.syringePumpEncoderMeasuredDirection:MOTOR_DIR_FORWARD TEST.VALUE:SyringePump.checkDirection.stopPump:<> TEST.VALUE:SyringePump.checkDirection.expDir:MOTOR_DIR_REVERSE TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.END -- Subprogram: checkForStall -- Test Case: checkForStall.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:checkForStall TEST.NEW TEST.NAME:checkForStall.001 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:<> TEST.END -- Subprogram: checkMaxTravel -- Test Case: checkMaxTravel.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:checkMaxTravel TEST.NEW TEST.NAME:checkMaxTravel.001 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:<> TEST.VALUE:SyringePump.checkMaxTravel.stopPump:<> TEST.VALUE:SyringePump.checkMaxTravel.maxPos:<> TEST.END -- Test Case: checkMaxTravel.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:checkMaxTravel TEST.NEW TEST.NAME:checkMaxTravel.002 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:<> TEST.VALUE:SyringePump.checkMaxTravel.stopPump:<> TEST.VALUE:SyringePump.checkMaxTravel.maxPos:<> TEST.END -- Subprogram: checkMeasRate -- Test Case: checkMeasRate.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:checkMeasRate TEST.NEW TEST.NAME:checkMeasRate.001 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.<>.syringePumpSetRate:<> TEST.VALUE:SyringePump.getSyringePumpMeasRate.return:<> TEST.VALUE:SyringePump.checkMeasRate.stopPump:<> TEST.VALUE:SyringePump.checkMeasRate.pctMargin:<> TEST.END -- Test Case: checkMeasRate.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:checkMeasRate TEST.NEW TEST.NAME:checkMeasRate.002 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.<>.syringePumpSetRate:<> TEST.VALUE:SyringePump.getSyringePumpMeasRate.return:<> TEST.VALUE:SyringePump.checkMeasRate.stopPump:<> TEST.VALUE:SyringePump.checkMeasRate.pctMargin:<> TEST.END -- Test Case: checkMeasRate.003 TEST.UNIT:SyringePump TEST.SUBPROGRAM:checkMeasRate TEST.NEW TEST.NAME:checkMeasRate.003 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.<>.syringePumpSetRate:<> TEST.VALUE:SyringePump.getSyringePumpMeasRate.return:<> TEST.VALUE:SyringePump.checkMeasRate.stopPump:<> TEST.VALUE:SyringePump.checkMeasRate.pctMargin:<> TEST.END -- Test Case: checkMeasRate.004 TEST.UNIT:SyringePump TEST.SUBPROGRAM:checkMeasRate TEST.NEW TEST.NAME:checkMeasRate.004 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:<> TEST.VALUE:SyringePump.checkMeasRate.pctMargin:<> TEST.END -- Test Case: checkMeasRate.005 TEST.UNIT:SyringePump TEST.SUBPROGRAM:checkMeasRate TEST.NEW TEST.NAME:checkMeasRate.005 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:<> TEST.VALUE:SyringePump.checkMeasRate.pctMargin:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.END -- Test Case: checkMeasRate.006 TEST.UNIT:SyringePump TEST.SUBPROGRAM:checkMeasRate TEST.NEW TEST.NAME:checkMeasRate.006 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:<> TEST.VALUE:SyringePump.checkMeasRate.pctMargin:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.END -- Subprogram: checkOcclusionOrEmpty -- Test Case: checkOcclusionOrEmpty.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:checkOcclusionOrEmpty TEST.NEW TEST.NAME:checkOcclusionOrEmpty.001 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:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.END -- Test Case: checkOcclusionOrEmpty.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:checkOcclusionOrEmpty TEST.NEW TEST.NAME:checkOcclusionOrEmpty.002 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:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.END -- Subprogram: checkSyringeRemoved -- Test Case: checkSyringeRemoved.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:checkSyringeRemoved TEST.NEW TEST.NAME:checkSyringeRemoved.001 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:<> TEST.END -- Test Case: checkSyringeRemoved.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:checkSyringeRemoved TEST.NEW TEST.NAME:checkSyringeRemoved.002 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:<> TEST.END -- Subprogram: checkVolumeVsSafetyVolume -- Test Case: checkVolumeVsSafetyVolume.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:checkVolumeVsSafetyVolume TEST.NEW TEST.NAME:checkVolumeVsSafetyVolume.001 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.<>.syringePumpSafetyVolumeDelivered:<> TEST.VALUE:SyringePump.getSyringePumpVolumeDelivered.return:<> TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.stopPump:<> TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.pctMargin:<> TEST.END -- Test Case: checkVolumeVsSafetyVolume.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:checkVolumeVsSafetyVolume TEST.NEW TEST.NAME:checkVolumeVsSafetyVolume.002 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.<>.syringePumpSafetyVolumeDelivered:<> TEST.VALUE:SyringePump.getSyringePumpVolumeDelivered.return:<> TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.stopPump:<> TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.pctMargin:<> TEST.END -- Test Case: checkVolumeVsSafetyVolume.003 TEST.UNIT:SyringePump TEST.SUBPROGRAM:checkVolumeVsSafetyVolume TEST.NEW TEST.NAME:checkVolumeVsSafetyVolume.003 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:<> TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.pctMargin:<> TEST.END -- Test Case: checkVolumeVsSafetyVolume.004 TEST.UNIT:SyringePump TEST.SUBPROGRAM:checkVolumeVsSafetyVolume TEST.NEW TEST.NAME:checkVolumeVsSafetyVolume.004 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:<> TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.pctMargin:<> 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: execSyringePumpMonitor.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:execSyringePumpMonitor TEST.NEW TEST.NAME:execSyringePumpMonitor.001 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.<>.syringePumpDACVrefWriteInProgress:<> TEST.VALUE:SyringePump.getSyringePumpStatus.return:1 TEST.VALUE:SyringePump.isSyringeDetected.return:<> TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.END -- Test Case: execSyringePumpMonitor.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:execSyringePumpMonitor TEST.NEW TEST.NAME:execSyringePumpMonitor.002 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: execSyringePumpMonitor.003 TEST.UNIT:SyringePump TEST.SUBPROGRAM:execSyringePumpMonitor TEST.NEW TEST.NAME:execSyringePumpMonitor.003 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:<> TEST.END -- Test Case: execSyringePumpMonitor.004 TEST.UNIT:SyringePump TEST.SUBPROGRAM:execSyringePumpMonitor TEST.NEW TEST.NAME:execSyringePumpMonitor.004 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:<> TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> TEST.END -- Test Case: execSyringePumpMonitor.005 TEST.UNIT:SyringePump TEST.SUBPROGRAM:execSyringePumpMonitor TEST.NEW TEST.NAME:execSyringePumpMonitor.005 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.<>.syringePumpState:SYRINGE_PUMP_HEP_BOLUS_STATE TEST.VALUE:SyringePump.isSyringeDetected.return:<> TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:<> TEST.END -- Test Case: execSyringePumpMonitor.006 TEST.UNIT:SyringePump TEST.SUBPROGRAM:execSyringePumpMonitor TEST.NEW TEST.NAME:execSyringePumpMonitor.006 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.<>.syringePumpState:SYRINGE_PUMP_HEP_BOLUS_STATE TEST.VALUE:SyringePump.isSyringeDetected.return:<> TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.END -- Test Case: execSyringePumpMonitor.007 TEST.UNIT:SyringePump TEST.SUBPROGRAM:execSyringePumpMonitor TEST.NEW TEST.NAME:execSyringePumpMonitor.007 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:<> TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.END -- Test Case: execSyringePumpMonitor.008 TEST.UNIT:SyringePump TEST.SUBPROGRAM:execSyringePumpMonitor TEST.NEW TEST.NAME:execSyringePumpMonitor.008 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.<>.syringePumpDACVrefWriteInProgress:1 TEST.VALUE:SyringePump.isSyringeDetected.return:<> TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.END -- Test Case: execSyringePumpMonitor.009 TEST.UNIT:SyringePump TEST.SUBPROGRAM:execSyringePumpMonitor TEST.NEW TEST.NAME:execSyringePumpMonitor.009 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.<>.syringePumpDACVrefWriteInProgress:<> TEST.VALUE:SyringePump.<>.lastSyringePumpADCReadCtr:<> TEST.VALUE:SyringePump.getSyringePumpADCReadCounter.return:<> TEST.VALUE:SyringePump.isSyringeDetected.return:<> TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.END -- Test Case: execSyringePumpMonitor.010 TEST.UNIT:SyringePump TEST.SUBPROGRAM:execSyringePumpMonitor TEST.NEW TEST.NAME:execSyringePumpMonitor.010 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.<>.syringePumpDACVrefWriteInProgress:<> TEST.VALUE:SyringePump.<>.lastSyringePumpADCReadCtr:<> TEST.VALUE:SyringePump.getSyringePumpADCReadCounter.return:1 TEST.VALUE:SyringePump.isSyringeDetected.return:<> TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.END -- Subprogram: execSyringePumpSelfTest -- Test Case: execSyringePumpSelfTest.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:execSyringePumpSelfTest TEST.NEW TEST.NAME:execSyringePumpSelfTest.001 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.execSyringePumpSelfTest.return:SELF_TEST_STATUS_FAILED TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_SYRINGE_PUMP_SELF_TEST_FAILURE TEST.EXPECTED:SyringePump.execSyringePumpSelfTest.return:SELF_TEST_STATUS_FAILED TEST.END -- Test Case: execSyringePumpSelfTest.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:execSyringePumpSelfTest TEST.NEW TEST.NAME:execSyringePumpSelfTest.002 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.STUB:SyringePump.processCalibrationData TEST.VALUE:SyringePump.execSyringePumpSelfTest.return:SELF_TEST_STATUS_PASSED TEST.VALUE:SyringePump.processCalibrationData.return:1 TEST.EXPECTED:SyringePump.execSyringePumpSelfTest.return:SELF_TEST_STATUS_PASSED TEST.END -- Subprogram: getHeparinState -- Test Case: getHeparinState.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:getHeparinState TEST.NEW TEST.NAME:getHeparinState.001 TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_EMPTY TEST.VALUE:SyringePump.getHeparinState.return:HEPARIN_STATE_EMPTY TEST.EXPECTED:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_EMPTY TEST.EXPECTED:SyringePump.getHeparinState.return:HEPARIN_STATE_OFF TEST.END -- Subprogram: getSyringePumpADCReadCounter -- Test Case: getSyringePumpADCReadCounter.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:getSyringePumpADCReadCounter TEST.NEW TEST.NAME:getSyringePumpADCReadCounter.001 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.<>.syringePumpADCReadCtr.ovData:100 TEST.VALUE:SyringePump.<>.syringePumpADCReadCtr.override:3435346995 TEST.VALUE:SyringePump.getSyringePumpADCReadCounter.return:100 TEST.EXPECTED:SyringePump.<>.syringePumpADCReadCtr.ovData:100 TEST.EXPECTED:SyringePump.getSyringePumpADCReadCounter.return:100 TEST.END -- Test Case: getSyringePumpADCReadCounter.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:getSyringePumpADCReadCounter TEST.NEW TEST.NAME:getSyringePumpADCReadCounter.002 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.<>.syringePumpADCReadCtr.data:100 TEST.VALUE:SyringePump.<>.syringePumpADCReadCtr.override:<> TEST.VALUE:SyringePump.getSyringePumpADCReadCounter.return:100 TEST.EXPECTED:SyringePump.<>.syringePumpADCReadCtr.data:100 TEST.EXPECTED:SyringePump.getSyringePumpADCReadCounter.return:100 TEST.END -- Subprogram: getSyringePumpADCandDACStatus -- Test Case: getSyringePumpADCandDACStatus.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:getSyringePumpADCandDACStatus TEST.NEW TEST.NAME:getSyringePumpADCandDACStatus.001 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.<>.syringePumpADCandDACStatus.ovData:100 TEST.VALUE:SyringePump.<>.syringePumpADCandDACStatus.override:3435346995 TEST.VALUE:SyringePump.getSyringePumpADCandDACStatus.return:100 TEST.EXPECTED:SyringePump.<>.syringePumpADCandDACStatus.ovData:100 TEST.EXPECTED:SyringePump.getSyringePumpADCandDACStatus.return:100 TEST.END -- Test Case: getSyringePumpADCandDACStatus.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:getSyringePumpADCandDACStatus TEST.NEW TEST.NAME:getSyringePumpADCandDACStatus.002 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.<>.syringePumpADCandDACStatus.data:100 TEST.VALUE:SyringePump.<>.syringePumpADCandDACStatus.override:<> TEST.VALUE:SyringePump.getSyringePumpADCandDACStatus.return:100 TEST.EXPECTED:SyringePump.<>.syringePumpADCandDACStatus.data:100 TEST.EXPECTED:SyringePump.getSyringePumpADCandDACStatus.return:100 TEST.END -- Subprogram: getSyringePumpEncoderStatus -- Test Case: getSyringePumpEncoderStatus.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:getSyringePumpEncoderStatus TEST.NEW TEST.NAME:getSyringePumpEncoderStatus.001 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.<>.syringePumpEncoderStatus.ovData:100 TEST.VALUE:SyringePump.<>.syringePumpEncoderStatus.override:3435346995 TEST.VALUE:SyringePump.getSyringePumpEncoderStatus.return:100 TEST.EXPECTED:SyringePump.<>.syringePumpEncoderStatus.ovData:100 TEST.EXPECTED:SyringePump.getSyringePumpEncoderStatus.return:100 TEST.END -- Test Case: getSyringePumpEncoderStatus.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:getSyringePumpEncoderStatus TEST.NEW TEST.NAME:getSyringePumpEncoderStatus.002 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.<>.syringePumpEncoderStatus.data:100 TEST.VALUE:SyringePump.<>.syringePumpEncoderStatus.override:<> TEST.VALUE:SyringePump.getSyringePumpEncoderStatus.return:100 TEST.EXPECTED:SyringePump.<>.syringePumpEncoderStatus.data:100 TEST.EXPECTED:SyringePump.getSyringePumpEncoderStatus.return:100 TEST.END -- Subprogram: getSyringePumpForceV -- Test Case: getSyringePumpForceV.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:getSyringePumpForceV TEST.NEW TEST.NAME:getSyringePumpForceV.001 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.<>.syringePumpMeasForce.ovData:100.0 TEST.VALUE:SyringePump.<>.syringePumpMeasForce.override:3435346995 TEST.VALUE:SyringePump.getSyringePumpForceV.return:100.0 TEST.EXPECTED:SyringePump.<>.syringePumpMeasForce.ovData:100.0 TEST.EXPECTED:SyringePump.getSyringePumpForceV.return:100.0 TEST.END -- Test Case: getSyringePumpForceV.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:getSyringePumpForceV TEST.NEW TEST.NAME:getSyringePumpForceV.002 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.<>.syringePumpMeasForce.data:100.0 TEST.VALUE:SyringePump.<>.syringePumpMeasForce.override:<> TEST.VALUE:SyringePump.getSyringePumpForceV.return:100.0 TEST.EXPECTED:SyringePump.<>.syringePumpMeasForce.data:100.0 TEST.EXPECTED:SyringePump.getSyringePumpForceV.return:100.0 TEST.END -- Subprogram: getSyringePumpHomeDetectorV -- Test Case: getSyringePumpHomeDetectorV.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:getSyringePumpHomeDetectorV TEST.NEW TEST.NAME:getSyringePumpHomeDetectorV.001 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.<>.syringePumpMeasHome.ovData:100.0 TEST.VALUE:SyringePump.<>.syringePumpMeasHome.override:3435346995 TEST.VALUE:SyringePump.getSyringePumpHomeDetectorV.return:100.0 TEST.EXPECTED:SyringePump.<>.syringePumpMeasHome.ovData:100.0 TEST.EXPECTED:SyringePump.getSyringePumpHomeDetectorV.return:100.0 TEST.END -- Test Case: getSyringePumpHomeDetectorV.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:getSyringePumpHomeDetectorV TEST.NEW TEST.NAME:getSyringePumpHomeDetectorV.002 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.<>.syringePumpMeasHome.data:100.0 TEST.VALUE:SyringePump.<>.syringePumpMeasHome.override:<> TEST.VALUE:SyringePump.getSyringePumpHomeDetectorV.return:100.0 TEST.EXPECTED:SyringePump.<>.syringePumpMeasHome.data:100.0 TEST.EXPECTED:SyringePump.getSyringePumpHomeDetectorV.return:100.0 TEST.END -- Subprogram: getSyringePumpMeasRate -- Test Case: getSyringePumpMeasRate.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:getSyringePumpMeasRate TEST.NEW TEST.NAME:getSyringePumpMeasRate.001 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.<>.syringePumpMeasRate.ovData:1.0 TEST.VALUE:SyringePump.<>.syringePumpMeasRate.override:3435346995 TEST.VALUE:SyringePump.getSyringePumpMeasRate.return:1.0 TEST.EXPECTED:SyringePump.<>.syringePumpMeasRate.ovData:1.0 TEST.EXPECTED:SyringePump.getSyringePumpMeasRate.return:1.0 TEST.END -- Test Case: getSyringePumpMeasRate.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:getSyringePumpMeasRate TEST.NEW TEST.NAME:getSyringePumpMeasRate.002 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.<>.syringePumpMeasRate.data:1.0 TEST.VALUE:SyringePump.<>.syringePumpMeasRate.override:<> TEST.VALUE:SyringePump.getSyringePumpMeasRate.return:1.0 TEST.EXPECTED:SyringePump.<>.syringePumpMeasRate.data:1.0 TEST.EXPECTED:SyringePump.getSyringePumpMeasRate.return:1.0 TEST.END -- Subprogram: getSyringePumpPosition -- Test Case: getSyringePumpPosition.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:getSyringePumpPosition TEST.NEW TEST.NAME:getSyringePumpPosition.001 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.<>.syringePumpPosition.ovData:1 TEST.VALUE:SyringePump.<>.syringePumpPosition.override:3435346995 TEST.VALUE:SyringePump.getSyringePumpPosition.return:1 TEST.EXPECTED:SyringePump.<>.syringePumpPosition.ovData:1 TEST.EXPECTED:SyringePump.getSyringePumpPosition.return:1 TEST.END -- Test Case: getSyringePumpPosition.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:getSyringePumpPosition TEST.NEW TEST.NAME:getSyringePumpPosition.002 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.<>.syringePumpPosition.data:1 TEST.VALUE:SyringePump.<>.syringePumpPosition.override:<> TEST.VALUE:SyringePump.getSyringePumpPosition.return:1 TEST.EXPECTED:SyringePump.<>.syringePumpPosition.data:1 TEST.EXPECTED:SyringePump.getSyringePumpPosition.return:1 TEST.END -- Subprogram: getSyringePumpStatus -- Test Case: getSyringePumpStatus.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:getSyringePumpStatus TEST.NEW TEST.NAME:getSyringePumpStatus.001 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.<>.syringePumpStatus.ovData:100 TEST.VALUE:SyringePump.<>.syringePumpStatus.override:3435346995 TEST.VALUE:SyringePump.getSyringePumpStatus.return:100 TEST.EXPECTED:SyringePump.<>.syringePumpStatus.ovData:100 TEST.EXPECTED:SyringePump.getSyringePumpStatus.return:100 TEST.END -- Test Case: getSyringePumpStatus.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:getSyringePumpStatus TEST.NEW TEST.NAME:getSyringePumpStatus.002 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.<>.syringePumpStatus.data:100 TEST.VALUE:SyringePump.<>.syringePumpStatus.override:<> TEST.VALUE:SyringePump.getSyringePumpStatus.return:100 TEST.EXPECTED:SyringePump.<>.syringePumpStatus.data:100 TEST.EXPECTED:SyringePump.getSyringePumpStatus.return:100 TEST.END -- Subprogram: getSyringePumpSyringeDetectorV -- Test Case: getSyringePumpSyringeDetectorV.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:getSyringePumpSyringeDetectorV TEST.NEW TEST.NAME:getSyringePumpSyringeDetectorV.001 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.<>.syringePumpMeasSyringeDetectionSwitch.ovData:1.0 TEST.VALUE:SyringePump.<>.syringePumpMeasSyringeDetectionSwitch.override:3435346995 TEST.VALUE:SyringePump.getSyringePumpSyringeDetectorV.return:1.0 TEST.EXPECTED:SyringePump.<>.syringePumpMeasSyringeDetectionSwitch.ovData:1.0 TEST.EXPECTED:SyringePump.getSyringePumpSyringeDetectorV.return:1.0 TEST.END -- Test Case: getSyringePumpSyringeDetectorV.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:getSyringePumpSyringeDetectorV TEST.NEW TEST.NAME:getSyringePumpSyringeDetectorV.002 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.<>.syringePumpMeasSyringeDetectionSwitch.data:100.0 TEST.VALUE:SyringePump.<>.syringePumpMeasSyringeDetectionSwitch.override:<> TEST.VALUE:SyringePump.getSyringePumpSyringeDetectorV.return:100.0 TEST.EXPECTED:SyringePump.<>.syringePumpMeasSyringeDetectionSwitch.data:100.0 TEST.EXPECTED:SyringePump.getSyringePumpSyringeDetectorV.return:100.0 TEST.END -- Subprogram: getSyringePumpVolumeDelivered -- Test Case: getSyringePumpVolumeDelivered.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:getSyringePumpVolumeDelivered TEST.NEW TEST.NAME:getSyringePumpVolumeDelivered.001 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.<>.syringePumpVolumeDelivered.ovData:0.0 TEST.VALUE:SyringePump.<>.syringePumpVolumeDelivered.override:3435346995 TEST.VALUE:SyringePump.getSyringePumpVolumeDelivered.return:0.0 TEST.EXPECTED:SyringePump.<>.syringePumpVolumeDelivered.ovData:0.0 TEST.EXPECTED:SyringePump.getSyringePumpVolumeDelivered.return:0.0 TEST.END -- Test Case: getSyringePumpVolumeDelivered.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:getSyringePumpVolumeDelivered TEST.NEW TEST.NAME:getSyringePumpVolumeDelivered.002 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.<>.syringePumpVolumeDelivered.data:1.0 TEST.VALUE:SyringePump.<>.syringePumpVolumeDelivered.override:<> TEST.VALUE:SyringePump.getSyringePumpVolumeDelivered.return:1.0 TEST.EXPECTED:SyringePump.<>.syringePumpVolumeDelivered.data:1.0 TEST.EXPECTED:SyringePump.getSyringePumpVolumeDelivered.return:1.0 TEST.END -- Subprogram: handleSyringePumpBolusState -- Test Case: handleSyringePumpBolusState.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:handleSyringePumpBolusState TEST.NEW TEST.NAME:handleSyringePumpBolusState.001 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:<> TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.END -- Test Case: handleSyringePumpBolusState.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:handleSyringePumpBolusState TEST.NEW TEST.NAME:handleSyringePumpBolusState.002 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:<> TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.END -- Subprogram: handleSyringePumpCalibrateForceSensorState -- Test Case: handleSyringePumpCalibrateForceSensorState.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:handleSyringePumpCalibrateForceSensorState TEST.NEW TEST.NAME:handleSyringePumpCalibrateForceSensorState.001 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 -- Subprogram: handleSyringePumpContinuousState -- Test Case: handleSyringePumpContinuousState.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:handleSyringePumpContinuousState TEST.NEW TEST.NAME:handleSyringePumpContinuousState.001 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.handleSyringePumpContinuousState.return:SYRINGE_PUMP_OFF_STATE TEST.EXPECTED:SyringePump.handleSyringePumpContinuousState.return:SYRINGE_PUMP_OFF_STATE TEST.END -- Test Case: handleSyringePumpContinuousState.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:handleSyringePumpContinuousState TEST.NEW TEST.NAME:handleSyringePumpContinuousState.002 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.STUB:SyringePump.checkDirection TEST.STUB:SyringePump.checkOcclusionOrEmpty TEST.STUB:SyringePump.checkSyringeRemoved TEST.STUB:SyringePump.checkMaxTravel TEST.STUB:SyringePump.checkMeasRate TEST.STUB:SyringePump.checkVolumeVsSafetyVolume TEST.VALUE:SyringePump.handleSyringePumpContinuousState.return:SYRINGE_PUMP_HEP_CONTINUOUS_STATE TEST.VALUE:SyringePump.checkDirection.stopPump:0 TEST.VALUE:SyringePump.checkDirection.expDir:MOTOR_DIR_REVERSE TEST.VALUE:SyringePump.checkDirection.return:0 TEST.VALUE:SyringePump.checkOcclusionOrEmpty.stopPump:0 TEST.VALUE:SyringePump.checkOcclusionOrEmpty.return:0 TEST.VALUE:SyringePump.checkSyringeRemoved.stopPump:0 TEST.VALUE:SyringePump.checkSyringeRemoved.return:0 TEST.VALUE:SyringePump.checkMaxTravel.stopPump:0 TEST.VALUE:SyringePump.checkMaxTravel.maxPos:436975 TEST.VALUE:SyringePump.checkMaxTravel.return:0 TEST.VALUE:SyringePump.checkMeasRate.stopPump:0 TEST.VALUE:SyringePump.checkMeasRate.pctMargin:0.05 TEST.VALUE:SyringePump.checkMeasRate.return:0 TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.stopPump:0 TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.pctMargin:0.05 TEST.VALUE:SyringePump.checkVolumeVsSafetyVolume.return:0 TEST.EXPECTED:SyringePump.handleSyringePumpContinuousState.return:SYRINGE_PUMP_HEP_CONTINUOUS_STATE TEST.EXPECTED:SyringePump.checkDirection.stopPump:0 TEST.EXPECTED:SyringePump.checkDirection.expDir:MOTOR_DIR_FORWARD TEST.EXPECTED:SyringePump.checkOcclusionOrEmpty.stopPump:0 TEST.EXPECTED:SyringePump.checkSyringeRemoved.stopPump:0 TEST.EXPECTED:SyringePump.checkMaxTravel.stopPump:0 TEST.EXPECTED:SyringePump.checkMaxTravel.maxPos:436975 TEST.EXPECTED:SyringePump.checkMeasRate.stopPump:0 TEST.EXPECTED:SyringePump.checkMeasRate.pctMargin:0.05 TEST.EXPECTED:SyringePump.checkVolumeVsSafetyVolume.stopPump:0 TEST.EXPECTED:SyringePump.checkVolumeVsSafetyVolume.pctMargin:0.05 TEST.END -- Subprogram: handleSyringePumpInitState -- Test Case: handleSyringePumpInitState.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:handleSyringePumpInitState TEST.NEW TEST.NAME:handleSyringePumpInitState.001 TEST.VALUE:SyringePump.handleSyringePumpInitState.return:SYRINGE_PUMP_OFF_STATE TEST.VALUE:uut_prototype_stubs.setFPGASyringePumpADCandDACControlFlags.bitFlags:0x2 TEST.VALUE:uut_prototype_stubs.setFPGASyringePumpStepToggleTime.microSeconds:0xFFFFFFFF TEST.EXPECTED:SyringePump.handleSyringePumpInitState.return:SYRINGE_PUMP_OFF_STATE TEST.EXPECTED:uut_prototype_stubs.setFPGASyringePumpADCandDACControlFlags.bitFlags:0x2 TEST.EXPECTED:uut_prototype_stubs.setFPGASyringePumpStepToggleTime.microSeconds:0xFFFFFFFF TEST.END -- Subprogram: handleSyringePumpOffState -- Test Case: handleSyringePumpOffState.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:handleSyringePumpOffState TEST.NEW TEST.NAME:handleSyringePumpOffState.001 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.<>.syringePumpRampTimerCtr:1 TEST.VALUE:SyringePump.<>.syringePumpLastPosition:<> TEST.VALUE:SyringePump.getSyringePumpPosition.return:-2147483647 TEST.VALUE:SyringePump.handleSyringePumpOffState.return:SYRINGE_PUMP_OFF_STATE TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.EXPECTED:SyringePump.<>.syringePumpRampTimerCtr:1 TEST.EXPECTED:SyringePump.handleSyringePumpOffState.return:SYRINGE_PUMP_OFF_STATE TEST.END -- Test Case: handleSyringePumpOffState.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:handleSyringePumpOffState TEST.NEW TEST.NAME:handleSyringePumpOffState.002 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.STUB:SyringePump.calcStepperToggleTimeForTargetRate TEST.VALUE:SyringePump.<>.syringePumpRampTimerCtr:1 TEST.VALUE:SyringePump.<>.syringePumpRetractRequested:1 TEST.VALUE:SyringePump.<>.syringePumpStallCtr:0 TEST.VALUE:SyringePump.<>.syringePumpStallRetryCount:0 TEST.VALUE:SyringePump.handleSyringePumpOffState.return:SYRINGE_PUMP_RETRACT_STATE TEST.VALUE:SyringePump.calcStepperToggleTimeForTargetRate.rate:0.0 TEST.VALUE:uut_prototype_stubs.setFPGASyringePumpControlFlags.bitFlags:107 TEST.VALUE:uut_prototype_stubs.setFPGASyringePumpStepToggleTime.microSeconds:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:SyringePump.<>.syringePumpRampTimerCtr:1 TEST.EXPECTED:SyringePump.<>.syringePumpStallCtr:0 TEST.EXPECTED:SyringePump.<>.syringePumpStallRetryCount:0 TEST.EXPECTED:SyringePump.handleSyringePumpOffState.return:SYRINGE_PUMP_RETRACT_STATE TEST.EXPECTED:SyringePump.calcStepperToggleTimeForTargetRate.rate:0.0 TEST.EXPECTED:uut_prototype_stubs.setFPGASyringePumpControlFlags.bitFlags:107 TEST.EXPECTED:uut_prototype_stubs.setFPGASyringePumpStepToggleTime.microSeconds:0 TEST.END -- Test Case: handleSyringePumpOffState.003 TEST.UNIT:SyringePump TEST.SUBPROGRAM:handleSyringePumpOffState TEST.NEW TEST.NAME:handleSyringePumpOffState.003 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.<>.syringePumpRetractRequested:<> TEST.VALUE:SyringePump.<>.syringePumpSeekRequested:1 TEST.VALUE:SyringePump.handleSyringePumpOffState.return:SYRINGE_PUMP_SEEK_STATE TEST.VALUE:uut_prototype_stubs.setFPGASyringePumpControlFlags.bitFlags:99 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:SyringePump.handleSyringePumpOffState.return:SYRINGE_PUMP_SEEK_STATE TEST.EXPECTED:uut_prototype_stubs.setFPGASyringePumpControlFlags.bitFlags:99 TEST.END -- Test Case: handleSyringePumpOffState.004 TEST.UNIT:SyringePump TEST.SUBPROGRAM:handleSyringePumpOffState TEST.NEW TEST.NAME:handleSyringePumpOffState.004 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.<>.syringePumpRetractRequested:<> TEST.VALUE:SyringePump.<>.syringePumpSeekRequested:<> TEST.VALUE:SyringePump.<>.syringePumpPrimeRequested:1 TEST.VALUE:SyringePump.handleSyringePumpOffState.return:SYRINGE_PUMP_PRIME_STATE TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:SyringePump.handleSyringePumpOffState.return:SYRINGE_PUMP_PRIME_STATE TEST.END -- Test Case: handleSyringePumpOffState.005 TEST.UNIT:SyringePump TEST.SUBPROGRAM:handleSyringePumpOffState TEST.NEW TEST.NAME:handleSyringePumpOffState.005 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.<>.heparinDeliveryState:HEPARIN_STATE_INITIAL_BOLUS TEST.VALUE:SyringePump.<>.syringePumpRetractRequested:<> TEST.VALUE:SyringePump.<>.syringePumpSeekRequested:<> TEST.VALUE:SyringePump.<>.syringePumpPrimeRequested:<> TEST.VALUE:SyringePump.<>.syringePumpBolusRequested:1 TEST.VALUE:SyringePump.handleSyringePumpOffState.return:SYRINGE_PUMP_HEP_BOLUS_STATE TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_INITIAL_BOLUS TEST.EXPECTED:SyringePump.handleSyringePumpOffState.return:SYRINGE_PUMP_HEP_BOLUS_STATE TEST.END -- Test Case: handleSyringePumpOffState.006 TEST.UNIT:SyringePump TEST.SUBPROGRAM:handleSyringePumpOffState TEST.NEW TEST.NAME:handleSyringePumpOffState.006 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.<>.heparinDeliveryState:HEPARIN_STATE_DISPENSING TEST.VALUE:SyringePump.<>.syringePumpRetractRequested:<> TEST.VALUE:SyringePump.<>.syringePumpSeekRequested:<> TEST.VALUE:SyringePump.<>.syringePumpPrimeRequested:<> TEST.VALUE:SyringePump.<>.syringePumpBolusRequested:<> TEST.VALUE:SyringePump.<>.syringePumpContinuousRequested:1 TEST.VALUE:SyringePump.handleSyringePumpOffState.return:SYRINGE_PUMP_HEP_CONTINUOUS_STATE TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_DISPENSING TEST.EXPECTED:SyringePump.handleSyringePumpOffState.return:SYRINGE_PUMP_HEP_CONTINUOUS_STATE TEST.END -- Test Case: handleSyringePumpOffState.007 TEST.UNIT:SyringePump TEST.SUBPROGRAM:handleSyringePumpOffState TEST.NEW TEST.NAME:handleSyringePumpOffState.007 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.<>.syringePumpRetractRequested:<> TEST.VALUE:SyringePump.<>.syringePumpSeekRequested:<> TEST.VALUE:SyringePump.<>.syringePumpPrimeRequested:<> TEST.VALUE:SyringePump.<>.syringePumpBolusRequested:<> TEST.VALUE:SyringePump.<>.syringePumpContinuousRequested:<> TEST.VALUE:SyringePump.<>.syringePumpDACVrefSetRequested:1 TEST.VALUE:SyringePump.<>.syringePumpDACVrefWriteInProgress:1 TEST.VALUE:SyringePump.<>.syringePumpDACVref:3.3 TEST.VALUE:uut_prototype_stubs.setFPGASyringePumpADCandDACControlFlags.bitFlags:0x1 TEST.VALUE:uut_prototype_stubs.setFPGASyringePumpDACOutputLevel.counts:4095 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:SyringePump.<>.syringePumpDACVrefWriteInProgress:1 TEST.EXPECTED:SyringePump.<>.syringePumpDACVref:3.3 TEST.EXPECTED:uut_prototype_stubs.setFPGASyringePumpADCandDACControlFlags.bitFlags:0x1 TEST.EXPECTED:uut_prototype_stubs.setFPGASyringePumpDACOutputLevel.counts:4095 TEST.END -- Subprogram: handleSyringePumpPrimeState -- Test Case: handleSyringePumpPrimeState.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:handleSyringePumpPrimeState TEST.NEW TEST.NAME:handleSyringePumpPrimeState.001 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:<> TEST.END -- Test Case: handleSyringePumpPrimeState.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:handleSyringePumpPrimeState TEST.NEW TEST.NAME:handleSyringePumpPrimeState.002 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:<> TEST.END -- Subprogram: handleSyringePumpRetractState -- Test Case: handleSyringePumpRetractState.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:handleSyringePumpRetractState TEST.NEW TEST.NAME:handleSyringePumpRetractState.001 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.STUB:SyringePump.checkDirection TEST.STUB:SyringePump.checkForStall TEST.VALUE:SyringePump.<>.syringePumpPosition.data:0 TEST.VALUE:SyringePump.<>.syringePumpVolumeDelivered.data:0.0 TEST.VALUE:SyringePump.<>.syringePumpSafetyVolumeDelivered:0.0 TEST.VALUE:SyringePump.<>.syringePumpVolumeStartPosition:0 TEST.VALUE:SyringePump.<>.syringePumpHomePositionOffset:0 TEST.VALUE:SyringePump.<>.syringePumpPositionKnown:1 TEST.VALUE:SyringePump.<>.syringePumpPlungerFound:0 TEST.VALUE:SyringePump.<>.syringeVolumeAdequate:0 TEST.VALUE:SyringePump.<>.syringePumpPrimeCompleted:0 TEST.VALUE:SyringePump.isSyringePumpHome.return:1 TEST.VALUE:SyringePump.handleSyringePumpRetractState.return:SYRINGE_PUMP_OFF_STATE TEST.VALUE:SyringePump.checkDirection.stopPump:1 TEST.VALUE:SyringePump.checkDirection.expDir:MOTOR_DIR_REVERSE TEST.VALUE:SyringePump.checkDirection.return:1 TEST.VALUE:SyringePump.checkForStall.stopPump:1 TEST.VALUE:SyringePump.checkForStall.return:1 TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_SYRINGE_PUMP_NOT_ENOUGH_HEPARIN_ALARM TEST.VALUE:uut_prototype_stubs.getFPGASyringePumpEncoderPosition.return:0 TEST.EXPECTED:SyringePump.<>.syringePumpPosition.data:0 TEST.EXPECTED:SyringePump.<>.syringePumpVolumeDelivered.data:0.0 TEST.EXPECTED:SyringePump.<>.syringePumpSafetyVolumeDelivered:0.0 TEST.EXPECTED:SyringePump.<>.syringePumpVolumeStartPosition:0 TEST.EXPECTED:SyringePump.<>.syringePumpHomePositionOffset:0 TEST.EXPECTED:SyringePump.<>.syringePumpPositionKnown:1 TEST.EXPECTED:SyringePump.<>.syringePumpPlungerFound:0 TEST.EXPECTED:SyringePump.<>.syringeVolumeAdequate:0 TEST.EXPECTED:SyringePump.<>.syringePumpPrimeCompleted:0 TEST.EXPECTED:SyringePump.handleSyringePumpRetractState.return:SYRINGE_PUMP_OFF_STATE TEST.EXPECTED:SyringePump.checkDirection.stopPump:1 TEST.EXPECTED:SyringePump.checkForStall.stopPump:1 TEST.EXPECTED:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_SYRINGE_PUMP_NOT_ENOUGH_HEPARIN_ALARM TEST.END -- Test Case: handleSyringePumpRetractState.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:handleSyringePumpRetractState TEST.NEW TEST.NAME:handleSyringePumpRetractState.002 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.STUB:SyringePump.checkDirection TEST.STUB:SyringePump.checkForStall TEST.VALUE:SyringePump.isSyringePumpHome.return:<> TEST.VALUE:SyringePump.handleSyringePumpRetractState.return:SYRINGE_PUMP_RETRACT_STATE TEST.VALUE:SyringePump.checkDirection.stopPump:0 TEST.VALUE:SyringePump.checkDirection.expDir:MOTOR_DIR_REVERSE TEST.VALUE:SyringePump.checkForStall.stopPump:0 TEST.EXPECTED:SyringePump.handleSyringePumpRetractState.return:SYRINGE_PUMP_RETRACT_STATE TEST.EXPECTED:SyringePump.checkDirection.stopPump:0 TEST.EXPECTED:SyringePump.checkDirection.expDir:MOTOR_DIR_REVERSE TEST.EXPECTED:SyringePump.checkForStall.stopPump:0 TEST.END -- Test Case: handleSyringePumpRetractState.003 TEST.UNIT:SyringePump TEST.SUBPROGRAM:handleSyringePumpRetractState TEST.NEW TEST.NAME:handleSyringePumpRetractState.003 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.<>.syringePumpPositionKnown:1 TEST.VALUE:SyringePump.getSyringePumpPosition.return:<> TEST.VALUE:SyringePump.isSyringePumpHome.return:<> TEST.VALUE:SyringePump.handleSyringePumpRetractState.return:SYRINGE_PUMP_OFF_STATE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SYRINGE_PUMP_OVER_TRAVEL_ERROR TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:2147483648 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:2 TEST.EXPECTED:SyringePump.handleSyringePumpRetractState.return:SYRINGE_PUMP_OFF_STATE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SYRINGE_PUMP_OVER_TRAVEL_ERROR TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:2147483648 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:2 TEST.END -- Test Case: handleSyringePumpRetractState.004 TEST.UNIT:SyringePump TEST.SUBPROGRAM:handleSyringePumpRetractState TEST.NEW TEST.NAME:handleSyringePumpRetractState.004 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.STUB:SyringePump.checkDirection TEST.STUB:SyringePump.checkForStall TEST.VALUE:SyringePump.<>.syringePumpPositionKnown:1 TEST.VALUE:SyringePump.getSyringePumpPosition.return:<> TEST.VALUE:SyringePump.isSyringePumpHome.return:<> TEST.VALUE:SyringePump.handleSyringePumpRetractState.return:SYRINGE_PUMP_RETRACT_STATE TEST.VALUE:SyringePump.checkDirection.stopPump:0 TEST.VALUE:SyringePump.checkDirection.expDir:MOTOR_DIR_REVERSE TEST.VALUE:SyringePump.checkForStall.stopPump:0 TEST.EXPECTED:SyringePump.handleSyringePumpRetractState.return:SYRINGE_PUMP_RETRACT_STATE TEST.EXPECTED:SyringePump.checkDirection.stopPump:0 TEST.EXPECTED:SyringePump.checkForStall.stopPump:0 TEST.END -- Subprogram: handleSyringePumpSeekState -- Test Case: handleSyringePumpSeekState.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:handleSyringePumpSeekState TEST.NEW TEST.NAME:handleSyringePumpSeekState.001 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:<> TEST.END -- Test Case: handleSyringePumpSeekState.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:handleSyringePumpSeekState TEST.NEW TEST.NAME:handleSyringePumpSeekState.002 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:<> TEST.END -- Test Case: handleSyringePumpSeekState.003 TEST.UNIT:SyringePump TEST.SUBPROGRAM:handleSyringePumpSeekState TEST.NEW TEST.NAME:handleSyringePumpSeekState.003 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:<> TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME,TREATMENT_PARAM_HEPARIN_DISPENSE_RATE,TREATMENT_PARAM_HEPARIN_PRE_STOP_TIME,TREATMENT_PARAM_TREATMENT_DURATION TEST.END -- Subprogram: initSyringePump -- Test Case: initSyringePump.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:initSyringePump TEST.NEW TEST.NAME:initSyringePump.001 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.VALUE:SyringePump.<>.syringePumpState:SYRINGE_PUMP_INIT_STATE TEST.VALUE:SyringePump.<>.syringePumpDataPublicationTimerCounter:0 TEST.VALUE:SyringePump.<>.syringePumpRampTimerCtr:0 TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_OFF TEST.VALUE:SyringePump.<>.syringePumpSetRate:0.0 TEST.VALUE:SyringePump.<>.syringePumpSetToggleTime:0 TEST.VALUE:SyringePump.<>.syringePumpSafetyVolumeDelivered:0.0 TEST.VALUE:SyringePump.<>.syringePumpVolumeStartPosition:0 TEST.VALUE:SyringePump.<>.syringePumpHomePositionOffset:0 TEST.VALUE:SyringePump.<>.syringePumpLastPosition:0 TEST.VALUE:SyringePump.<>.syringePumpSpeedCalcTimerCounter:0 TEST.VALUE:SyringePump.<>.syringePumpControllerMeasuredDirection:MOTOR_DIR_FORWARD TEST.VALUE:SyringePump.<>.syringePumpEncoderMeasuredDirection:MOTOR_DIR_FORWARD TEST.VALUE:SyringePump.<>.syringePumpPositionKnown:0 TEST.VALUE:SyringePump.<>.syringePumpPlungerFound:0 TEST.VALUE:SyringePump.<>.syringeVolumeAdequate:0 TEST.VALUE:SyringePump.<>.syringePumpPrimeCompleted:0 TEST.VALUE:SyringePump.<>.lastSyringePumpADCReadCtr:0 TEST.VALUE:SyringePump.<>.syringePumpStallCtr:0 TEST.VALUE:SyringePump.<>.syringePumpStallRetryCount:0 TEST.VALUE:uut_prototype_stubs.initPersistentAlarm.alarmIndex:ALARM_ID_HD_SYRINGE_PUMP_ADC_ERROR,ALARM_ID_HD_SYRINGE_PUMP_ENCODER_DIRECTION_ERROR,ALARM_ID_HD_SYRINGE_PUMP_CONTROLLER_DIRECTION_ERROR,ALARM_ID_HD_SYRINGE_PUMP_RUNNING_WHILE_BP_OFF_ERROR,ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR,ALARM_ID_HD_SYRINGE_PUMP_SPEED_ERROR,ALARM_ID_HD_SYRINGE_PUMP_OCCLUSION TEST.VALUE:uut_prototype_stubs.initPersistentAlarm.persistentClearPeriod:0 TEST.VALUE:uut_prototype_stubs.initPersistentAlarm.persistentTriggerPeriod:100,(4)1000,2000,30 TEST.EXPECTED:SyringePump.<>.syringePumpState:SYRINGE_PUMP_INIT_STATE TEST.EXPECTED:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_OFF TEST.EXPECTED:SyringePump.<>.syringePumpSpeedCalcTimerCounter:0 TEST.EXPECTED:uut_prototype_stubs.initPersistentAlarm.alarmIndex:ALARM_ID_HD_SYRINGE_PUMP_ADC_ERROR,ALARM_ID_HD_SYRINGE_PUMP_ENCODER_DIRECTION_ERROR,ALARM_ID_HD_SYRINGE_PUMP_CONTROLLER_DIRECTION_ERROR,ALARM_ID_HD_SYRINGE_PUMP_RUNNING_WHILE_BP_OFF_ERROR,ALARM_ID_HD_SYRINGE_PUMP_NOT_STOPPED_ERROR,ALARM_ID_HD_SYRINGE_PUMP_SPEED_ERROR,ALARM_ID_HD_SYRINGE_PUMP_OCCLUSION TEST.EXPECTED:uut_prototype_stubs.initPersistentAlarm.persistentClearPeriod:0 TEST.EXPECTED:uut_prototype_stubs.initPersistentAlarm.persistentTriggerPeriod:100,(4)1000,2000,30 TEST.END -- Subprogram: isSyringeDetected -- Test Case: isSyringeDetected.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:isSyringeDetected TEST.NEW TEST.NAME:isSyringeDetected.001 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:<> TEST.VALUE:SyringePump.isSyringeDetected.return:1 TEST.EXPECTED:SyringePump.isSyringeDetected.return:1 TEST.END -- Test Case: isSyringeDetected.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:isSyringeDetected TEST.NEW TEST.NAME:isSyringeDetected.002 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:<> TEST.VALUE:SyringePump.isSyringeDetected.return:0 TEST.EXPECTED:SyringePump.isSyringeDetected.return:0 TEST.END -- Subprogram: isSyringePlungerFound -- Test Case: isSyringePlungerFound.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:isSyringePlungerFound TEST.NEW TEST.NAME:isSyringePlungerFound.001 TEST.VALUE:SyringePump.isSyringePlungerFound.return:0 TEST.EXPECTED:SyringePump.isSyringePlungerFound.return:0 TEST.END -- Subprogram: isSyringePumpHome -- Test Case: sSyringePumpHome.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:isSyringePumpHome TEST.NEW TEST.NAME:sSyringePumpHome.001 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:<> TEST.VALUE:SyringePump.isSyringePumpHome.return:1 TEST.EXPECTED:SyringePump.isSyringePumpHome.return:1 TEST.END -- Test Case: sSyringePumpHome.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:isSyringePumpHome TEST.NEW TEST.NAME:sSyringePumpHome.002 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:<> TEST.VALUE:SyringePump.isSyringePumpHome.return:0 TEST.EXPECTED:SyringePump.isSyringePumpHome.return:0 TEST.END -- Subprogram: isSyringePumpPrimed -- Test Case: isSyringePumpPrimed.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:isSyringePumpPrimed TEST.NEW TEST.NAME:isSyringePumpPrimed.001 TEST.VALUE:SyringePump.isSyringePumpPrimed.return:0 TEST.EXPECTED:SyringePump.isSyringePumpPrimed.return:0 TEST.END -- Subprogram: isSyringePumpStopped -- Test Case: isSyringePumpStopped.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:isSyringePumpStopped TEST.NEW TEST.NAME:isSyringePumpStopped.001 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.<>.syringePumpState:<> TEST.VALUE:SyringePump.isSyringePumpStopped.return:1 TEST.EXPECTED:SyringePump.isSyringePumpStopped.return:1 TEST.END -- Test Case: isSyringePumpStopped.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:isSyringePumpStopped TEST.NEW TEST.NAME:isSyringePumpStopped.002 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.<>.syringePumpState:<> TEST.VALUE:SyringePump.isSyringePumpStopped.return:1 TEST.EXPECTED:SyringePump.isSyringePumpStopped.return:1 TEST.END -- Test Case: isSyringePumpStopped.003 TEST.UNIT:SyringePump TEST.SUBPROGRAM:isSyringePumpStopped TEST.NEW TEST.NAME:isSyringePumpStopped.003 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.<>.syringePumpState:SYRINGE_PUMP_RETRACT_STATE TEST.VALUE:SyringePump.isSyringePumpStopped.return:0 TEST.EXPECTED:SyringePump.isSyringePumpStopped.return:0 TEST.END -- Subprogram: isSyringeVolumeAdequate -- Test Case: isSyringeVolumeAdequate.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:isSyringeVolumeAdequate TEST.NEW TEST.NAME:isSyringeVolumeAdequate.001 TEST.VALUE:SyringePump.isSyringeVolumeAdequate.return:0 TEST.EXPECTED:SyringePump.isSyringeVolumeAdequate.return:0 TEST.END -- Subprogram: primeSyringePump -- Test Case: primeSyringePump.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:primeSyringePump TEST.NEW TEST.NAME:primeSyringePump.001 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.<>.syringePumpState:SYRINGE_PUMP_OFF_STATE TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_STOPPED TEST.VALUE:SyringePump.<>.syringePumpSetRate:635.0 TEST.VALUE:SyringePump.<>.syringePumpSeekRequested:1 TEST.VALUE:SyringePump.<>.syringePumpPlungerFound:1 TEST.VALUE:SyringePump.isSyringeDetected.return:1 TEST.EXPECTED:SyringePump.<>.syringePumpSetRate:635.0 TEST.EXPECTED:SyringePump.<>.syringePumpSeekRequested:1 TEST.END -- Test Case: primeSyringePump.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:primeSyringePump TEST.NEW TEST.NAME:primeSyringePump.002 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.<>.syringePumpState:SYRINGE_PUMP_OFF_STATE TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_STOPPED TEST.VALUE:SyringePump.<>.syringePumpPrimeRequested:0 TEST.VALUE:SyringePump.<>.syringePumpPlungerFound:<> TEST.VALUE:SyringePump.isSyringeDetected.return:1 TEST.EXPECTED:SyringePump.<>.syringePumpPrimeRequested:0 TEST.END -- Test Case: primeSyringePump.003 TEST.UNIT:SyringePump TEST.SUBPROGRAM:primeSyringePump TEST.NEW TEST.NAME:primeSyringePump.003 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.<>.syringePumpState:SYRINGE_PUMP_OFF_STATE TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_OFF TEST.VALUE:SyringePump.<>.syringePumpPrimeRequested:1 TEST.VALUE:SyringePump.<>.syringePumpPlungerFound:1 TEST.VALUE:SyringePump.isSyringeDetected.return:1 TEST.EXPECTED:SyringePump.<>.syringePumpPrimeRequested:1 TEST.END -- Test Case: primeSyringePump.004 TEST.UNIT:SyringePump TEST.SUBPROGRAM:primeSyringePump TEST.NEW TEST.NAME:primeSyringePump.004 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.<>.syringePumpState:SYRINGE_PUMP_OFF_STATE TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_STOPPED TEST.VALUE:SyringePump.<>.syringePumpPrimeRequested:1 TEST.VALUE:SyringePump.<>.syringePumpPlungerFound:1 TEST.VALUE:SyringePump.isSyringeDetected.return:<> TEST.EXPECTED:SyringePump.<>.syringePumpPrimeRequested:1 TEST.END -- Test Case: primeSyringePump.005 TEST.UNIT:SyringePump TEST.SUBPROGRAM:primeSyringePump TEST.NEW TEST.NAME:primeSyringePump.005 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.<>.syringePumpState:SYRINGE_PUMP_INIT_STATE TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_STOPPED TEST.VALUE:SyringePump.<>.syringePumpPrimeRequested:1 TEST.VALUE:SyringePump.<>.syringePumpPlungerFound:1 TEST.VALUE:SyringePump.isSyringeDetected.return:1 TEST.EXPECTED:SyringePump.<>.syringePumpPrimeRequested:1 TEST.END -- Subprogram: processCalibrationData -- Test Case: processCalibrationData.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:processCalibrationData TEST.NEW TEST.NAME:processCalibrationData.001 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: processCalibrationData.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:processCalibrationData TEST.NEW TEST.NAME:processCalibrationData.002 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: publishSyringePumpData.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:publishSyringePumpData TEST.NEW TEST.NAME:publishSyringePumpData.001 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:<> TEST.END -- Test Case: publishSyringePumpData.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:publishSyringePumpData TEST.NEW TEST.NAME:publishSyringePumpData.002 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:<> TEST.END -- Subprogram: rampSyringePump -- Test Case: rampSyringePump.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:rampSyringePump TEST.NEW TEST.NAME:rampSyringePump.001 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.<>.syringePumpSetToggleTime:<> TEST.VALUE:SyringePump.<>.syringePumpRampUpToggleTime:<> TEST.END -- Test Case: rampSyringePump.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:rampSyringePump TEST.NEW TEST.NAME:rampSyringePump.002 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.<>.syringePumpSetToggleTime:<> TEST.VALUE:SyringePump.<>.syringePumpRampUpToggleTime:<> TEST.END -- Subprogram: resetHeparinVolumeDelivered -- Test Case: resetHeparinVolumeDelivered.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:resetHeparinVolumeDelivered TEST.NEW TEST.NAME:resetHeparinVolumeDelivered.001 TEST.STUB:SyringePump.getSyringePumpPosition TEST.VALUE:SyringePump.<>.syringePumpVolumeDelivered.data:0.0 TEST.VALUE:SyringePump.<>.syringePumpSafetyVolumeDelivered:0.0 TEST.VALUE:SyringePump.<>.syringePumpVolumeStartPosition:0 TEST.VALUE:SyringePump.getSyringePumpPosition.return:0 TEST.EXPECTED:SyringePump.<>.syringePumpVolumeDelivered.data:0.0 TEST.EXPECTED:SyringePump.<>.syringePumpSafetyVolumeDelivered:0.0 TEST.EXPECTED:SyringePump.<>.syringePumpVolumeStartPosition:0 TEST.END -- Subprogram: resetSyringePumpRequestFlags -- Test Case: resetSyringePumpRequestFlags.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:resetSyringePumpRequestFlags TEST.NEW TEST.NAME:resetSyringePumpRequestFlags.001 TEST.VALUE:SyringePump.<>.syringePumpRetractRequested:0 TEST.VALUE:SyringePump.<>.syringePumpSeekRequested:0 TEST.VALUE:SyringePump.<>.syringePumpPrimeRequested:0 TEST.VALUE:SyringePump.<>.syringePumpBolusRequested:0 TEST.VALUE:SyringePump.<>.syringePumpContinuousRequested:0 TEST.VALUE:SyringePump.<>.syringePumpDACVrefSetRequested:0 TEST.EXPECTED:SyringePump.<>.syringePumpRetractRequested:0 TEST.EXPECTED:SyringePump.<>.syringePumpSeekRequested:0 TEST.EXPECTED:SyringePump.<>.syringePumpPrimeRequested:0 TEST.EXPECTED:SyringePump.<>.syringePumpBolusRequested:0 TEST.EXPECTED:SyringePump.<>.syringePumpContinuousRequested:0 TEST.EXPECTED:SyringePump.<>.syringePumpDACVrefSetRequested:0 TEST.END -- Subprogram: retractSyringePump -- Test Case: retractSyringePump.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:retractSyringePump TEST.NEW TEST.NAME:retractSyringePump.001 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.<>.syringePumpState:SYRINGE_PUMP_OFF_STATE TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_STOPPED TEST.VALUE:SyringePump.<>.syringePumpRetractRequested:1 TEST.VALUE:SyringePump.retractSyringePump.return:1 TEST.EXPECTED:SyringePump.<>.syringePumpRetractRequested:1 TEST.EXPECTED:SyringePump.retractSyringePump.return:1 TEST.END -- Test Case: retractSyringePump.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:retractSyringePump TEST.NEW TEST.NAME:retractSyringePump.002 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.<>.syringePumpState:SYRINGE_PUMP_OFF_STATE TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_OFF TEST.VALUE:SyringePump.<>.syringePumpRetractRequested:100 TEST.EXPECTED:SyringePump.<>.syringePumpRetractRequested:100 TEST.END -- Test Case: retractSyringePump.003 TEST.UNIT:SyringePump TEST.SUBPROGRAM:retractSyringePump TEST.NEW TEST.NAME:retractSyringePump.003 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.<>.syringePumpState:SYRINGE_PUMP_INIT_STATE TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_STOPPED TEST.VALUE:SyringePump.<>.syringePumpRetractRequested:0 TEST.EXPECTED:SyringePump.<>.syringePumpRetractRequested:0 TEST.END -- Subprogram: seekSyringePlunger -- Test Case: seekSyringePlunger.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:seekSyringePlunger TEST.NEW TEST.NAME:seekSyringePlunger.001 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.<>.syringePumpState:SYRINGE_PUMP_OFF_STATE TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_STOPPED TEST.VALUE:SyringePump.<>.syringePumpSetRate:3600.0 TEST.VALUE:SyringePump.<>.syringePumpSeekRequested:1 TEST.VALUE:SyringePump.<>.syringePumpPositionKnown:1 TEST.VALUE:SyringePump.isSyringeDetected.return:1 TEST.EXPECTED:SyringePump.<>.syringePumpSetRate:3600.0 TEST.EXPECTED:SyringePump.<>.syringePumpSeekRequested:1 TEST.END -- Test Case: seekSyringePlunger.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:seekSyringePlunger TEST.NEW TEST.NAME:seekSyringePlunger.002 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.<>.syringePumpState:SYRINGE_PUMP_OFF_STATE TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_OFF TEST.VALUE:SyringePump.<>.syringePumpSeekRequested:0 TEST.VALUE:SyringePump.<>.syringePumpPositionKnown:1 TEST.VALUE:SyringePump.isSyringeDetected.return:1 TEST.EXPECTED:SyringePump.<>.syringePumpSeekRequested:0 TEST.END -- Test Case: seekSyringePlunger.003 TEST.UNIT:SyringePump TEST.SUBPROGRAM:seekSyringePlunger TEST.NEW TEST.NAME:seekSyringePlunger.003 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.<>.syringePumpState:SYRINGE_PUMP_OFF_STATE TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_STOPPED TEST.VALUE:SyringePump.<>.syringePumpSeekRequested:1 TEST.VALUE:SyringePump.<>.syringePumpPositionKnown:<> TEST.VALUE:SyringePump.isSyringeDetected.return:1 TEST.EXPECTED:SyringePump.<>.syringePumpSeekRequested:1 TEST.END -- Test Case: seekSyringePlunger.004 TEST.UNIT:SyringePump TEST.SUBPROGRAM:seekSyringePlunger TEST.NEW TEST.NAME:seekSyringePlunger.004 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.<>.syringePumpState:SYRINGE_PUMP_OFF_STATE TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_STOPPED TEST.VALUE:SyringePump.<>.syringePumpSeekRequested:1 TEST.VALUE:SyringePump.<>.syringePumpPositionKnown:1 TEST.VALUE:SyringePump.isSyringeDetected.return:<> TEST.EXPECTED:SyringePump.<>.syringePumpSeekRequested:1 TEST.END -- Test Case: seekSyringePlunger.005 TEST.UNIT:SyringePump TEST.SUBPROGRAM:seekSyringePlunger TEST.NEW TEST.NAME:seekSyringePlunger.005 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.<>.syringePumpState:SYRINGE_PUMP_INIT_STATE TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_STOPPED TEST.VALUE:SyringePump.<>.syringePumpSeekRequested:1 TEST.VALUE:SyringePump.<>.syringePumpPositionKnown:1 TEST.VALUE:SyringePump.isSyringeDetected.return:1 TEST.EXPECTED:SyringePump.<>.syringePumpSeekRequested:1 TEST.END -- Subprogram: setHeparinCompleted -- Test Case: setHeparinCompleted.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:setHeparinCompleted TEST.NEW TEST.NAME:setHeparinCompleted.001 TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_COMPLETED TEST.EXPECTED:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_COMPLETED TEST.END -- Subprogram: setHeparinOff -- Test Case: setHeparinOff.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:setHeparinOff TEST.NEW TEST.NAME:setHeparinOff.001 TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_OFF TEST.EXPECTED:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_OFF TEST.END -- Subprogram: setHeparinStopped -- Test Case: setHeparinStopped.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:setHeparinStopped TEST.NEW TEST.NAME:setHeparinStopped.001 TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_STOPPED TEST.EXPECTED:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_STOPPED TEST.END -- Subprogram: setSyringePumpDACVref -- Test Case: setSyringePumpDACVref.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:setSyringePumpDACVref TEST.NEW TEST.NAME:setSyringePumpDACVref.001 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.<>.syringePumpDACVrefSetRequested:0 TEST.VALUE:SyringePump.setSyringePumpDACVref.vRef:0.0 TEST.EXPECTED:SyringePump.<>.syringePumpDACVrefSetRequested:0 TEST.END -- Test Case: setSyringePumpDACVref.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:setSyringePumpDACVref TEST.NEW TEST.NAME:setSyringePumpDACVref.002 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:<> TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:1122107392 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:2139095039 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:1122107392 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:2139095039 TEST.END -- Test Case: setSyringePumpDACVref.003 TEST.UNIT:SyringePump TEST.SUBPROGRAM:setSyringePumpDACVref TEST.NEW TEST.NAME:setSyringePumpDACVref.003 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:<> TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:1122107392 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:4286578687 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:1122107392 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:4286578687 TEST.END -- Test Case: setSyringePumpDACVref.004 TEST.UNIT:SyringePump TEST.SUBPROGRAM:setSyringePumpDACVref TEST.NEW TEST.NAME:setSyringePumpDACVref.004 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.<>.syringePumpState:SYRINGE_PUMP_OFF_STATE TEST.VALUE:SyringePump.<>.syringePumpDACVrefSetRequested:1 TEST.VALUE:SyringePump.setSyringePumpDACVref.vRef:0.0 TEST.EXPECTED:SyringePump.<>.syringePumpDACVrefSetRequested:1 TEST.END -- Subprogram: startHeparinBolus -- Test Case: startHeparinBolus.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:startHeparinBolus TEST.NEW TEST.NAME:startHeparinBolus.001 TEST.VALUE:SyringePump.<>.syringePumpBolusRequested:1 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:1121845248 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:1103101952 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:2.0 TEST.EXPECTED:SyringePump.<>.syringePumpBolusRequested:1 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:1121845248 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:1103101952 TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME TEST.END -- Test Case: startHeparinBolus.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:startHeparinBolus TEST.NEW TEST.NAME:startHeparinBolus.002 TEST.VALUE:SyringePump.<>.syringePumpBolusRequested:1 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:1121845248 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:1133903872 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:25.0 TEST.EXPECTED:SyringePump.<>.syringePumpBolusRequested:1 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:1121845248 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:1133903872 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.<>.syringePumpBolusRequested:1 TEST.VALUE:SyringePump.isSyringePumpHome.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:2.0 TEST.EXPECTED:SyringePump.<>.syringePumpBolusRequested:1 TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME 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.<>.syringePumpBolusRequested:1 TEST.VALUE:SyringePump.isSyringeDetected.return:1 TEST.VALUE:SyringePump.isSyringePumpHome.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:2.0 TEST.EXPECTED:SyringePump.<>.syringePumpBolusRequested:1 TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME 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.<>.syringePumpPrimeCompleted:1 TEST.VALUE:SyringePump.isSyringeDetected.return:1 TEST.VALUE:SyringePump.isSyringePumpHome.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:2.0 TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME 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.<>.syringePumpState:SYRINGE_PUMP_OFF_STATE TEST.VALUE:SyringePump.<>.syringePumpPrimeCompleted:1 TEST.VALUE:SyringePump.isSyringeDetected.return:1 TEST.VALUE:SyringePump.isSyringePumpHome.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:2.0 TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME 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.<>.syringePumpState:SYRINGE_PUMP_OFF_STATE TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_STOPPED TEST.VALUE:SyringePump.<>.syringePumpBolusRequested:1 TEST.VALUE:SyringePump.<>.syringePumpPrimeCompleted:1 TEST.VALUE:SyringePump.startHeparinBolus.return:2 TEST.VALUE:SyringePump.isSyringeDetected.return:1 TEST.VALUE:SyringePump.isSyringePumpHome.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:2.0 TEST.EXPECTED:SyringePump.<>.syringePumpBolusRequested:1 TEST.EXPECTED:SyringePump.startHeparinBolus.return:1 TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME TEST.END -- Test Case: startHeparinBolus.008 TEST.UNIT:SyringePump TEST.SUBPROGRAM:startHeparinBolus TEST.NEW TEST.NAME:startHeparinBolus.008 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.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:1121845248 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:1121845248 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0 TEST.END -- Subprogram: startHeparinContinuous -- Test Case: startHeparinContinuous.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:startHeparinContinuous TEST.NEW TEST.NAME:startHeparinContinuous.001 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: startHeparinContinuous.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:startHeparinContinuous TEST.NEW TEST.NAME:startHeparinContinuous.002 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:<> TEST.END -- Subprogram: stopSyringePump -- Test Case: stopSyringePump.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:stopSyringePump TEST.NEW TEST.NAME:stopSyringePump.001 TEST.VALUE:SyringePump.<>.syringePumpState:SYRINGE_PUMP_OFF_STATE TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_DISPENSING TEST.VALUE:SyringePump.<>.syringePumpSetRate:0.0 TEST.VALUE:uut_prototype_stubs.setFPGASyringePumpStepToggleTime.microSeconds:0xFFFFFFFF TEST.EXPECTED:SyringePump.<>.syringePumpState:SYRINGE_PUMP_OFF_STATE TEST.EXPECTED:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_STOPPED TEST.EXPECTED:SyringePump.<>.syringePumpSetRate:0.0 TEST.EXPECTED:uut_prototype_stubs.setFPGASyringePumpStepToggleTime.microSeconds:0xFFFFFFFF TEST.END -- Test Case: stopSyringePump.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:stopSyringePump TEST.NEW TEST.NAME:stopSyringePump.002 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.<>.heparinDeliveryState:HEPARIN_STATE_INITIAL_BOLUS TEST.EXPECTED:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_STOPPED TEST.END -- Test Case: stopSyringePump.003 TEST.UNIT:SyringePump TEST.SUBPROGRAM:stopSyringePump TEST.NEW TEST.NAME:stopSyringePump.003 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.<>.heparinDeliveryState 'equal to' and 'not equal to' same value in branch 1 TEST.END_NOTES: TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_OFF TEST.VALUE:SyringePump.<>.syringePumpSetRate:0.0 TEST.EXPECTED:SyringePump.<>.syringePumpSetRate:0.0 TEST.END -- Subprogram: testResetSyringePumpADCReadCounter -- Test Case: testResetSyringePumpADCReadCounter.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testResetSyringePumpADCReadCounter TEST.NEW TEST.NAME:testResetSyringePumpADCReadCounter.001 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: testResetSyringePumpADCReadCounter.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testResetSyringePumpADCReadCounter TEST.NEW TEST.NAME:testResetSyringePumpADCReadCounter.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testResetSyringePumpADCandDACStatus -- Test Case: testResetSyringePumpADCandDACStatus.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testResetSyringePumpADCandDACStatus TEST.NEW TEST.NAME:testResetSyringePumpADCandDACStatus.001 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: testResetSyringePumpADCandDACStatus.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testResetSyringePumpADCandDACStatus TEST.NEW TEST.NAME:testResetSyringePumpADCandDACStatus.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testResetSyringePumpDataPublishIntervalOverride -- Test Case: testResetSyringePumpDataPublishIntervalOverride.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testResetSyringePumpDataPublishIntervalOverride TEST.NEW TEST.NAME:testResetSyringePumpDataPublishIntervalOverride.001 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: testResetSyringePumpDataPublishIntervalOverride.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testResetSyringePumpDataPublishIntervalOverride TEST.NEW TEST.NAME:testResetSyringePumpDataPublishIntervalOverride.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testResetSyringePumpEncoderStatus -- Test Case: testResetSyringePumpEncoderStatus.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testResetSyringePumpEncoderStatus TEST.NEW TEST.NAME:testResetSyringePumpEncoderStatus.001 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: testResetSyringePumpEncoderStatus.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testResetSyringePumpEncoderStatus TEST.NEW TEST.NAME:testResetSyringePumpEncoderStatus.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testResetSyringePumpMeasuredForceOverride -- Test Case: testResetSyringePumpMeasuredForceOverride.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testResetSyringePumpMeasuredForceOverride TEST.NEW TEST.NAME:testResetSyringePumpMeasuredForceOverride.001 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: testResetSyringePumpMeasuredForceOverride.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testResetSyringePumpMeasuredForceOverride TEST.NEW TEST.NAME:testResetSyringePumpMeasuredForceOverride.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testResetSyringePumpMeasuredHomeOverride -- Test Case: testResetSyringePumpMeasuredHomeOverride.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testResetSyringePumpMeasuredHomeOverride TEST.NEW TEST.NAME:testResetSyringePumpMeasuredHomeOverride.001 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: testResetSyringePumpMeasuredHomeOverride.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testResetSyringePumpMeasuredHomeOverride TEST.NEW TEST.NAME:testResetSyringePumpMeasuredHomeOverride.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testResetSyringePumpMeasuredPositionOverride -- Test Case: testResetSyringePumpMeasuredPositionOverride.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testResetSyringePumpMeasuredPositionOverride TEST.NEW TEST.NAME:testResetSyringePumpMeasuredPositionOverride.001 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: testResetSyringePumpMeasuredPositionOverride.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testResetSyringePumpMeasuredPositionOverride TEST.NEW TEST.NAME:testResetSyringePumpMeasuredPositionOverride.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testResetSyringePumpMeasuredRateOverride -- Test Case: testResetSyringePumpMeasuredRateOverride.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testResetSyringePumpMeasuredRateOverride TEST.NEW TEST.NAME:testResetSyringePumpMeasuredRateOverride.001 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: testResetSyringePumpMeasuredRateOverride.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testResetSyringePumpMeasuredRateOverride TEST.NEW TEST.NAME:testResetSyringePumpMeasuredRateOverride.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testResetSyringePumpMeasuredSyringeDetectOverride -- Test Case: testResetSyringePumpMeasuredSyringeDetectOverride.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testResetSyringePumpMeasuredSyringeDetectOverride TEST.NEW TEST.NAME:testResetSyringePumpMeasuredSyringeDetectOverride.001 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: testResetSyringePumpMeasuredSyringeDetectOverride.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testResetSyringePumpMeasuredSyringeDetectOverride TEST.NEW TEST.NAME:testResetSyringePumpMeasuredSyringeDetectOverride.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testResetSyringePumpMeasuredVolumeOverride -- Test Case: testResetSyringePumpMeasuredVolumeOverride.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testResetSyringePumpMeasuredVolumeOverride TEST.NEW TEST.NAME:testResetSyringePumpMeasuredVolumeOverride.001 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: testResetSyringePumpMeasuredVolumeOverride.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testResetSyringePumpMeasuredVolumeOverride TEST.NEW TEST.NAME:testResetSyringePumpMeasuredVolumeOverride.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testResetSyringePumpStatus -- Test Case: testResetSyringePumpStatus.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testResetSyringePumpStatus TEST.NEW TEST.NAME:testResetSyringePumpStatus.001 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: testResetSyringePumpStatus.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testResetSyringePumpStatus TEST.NEW TEST.NAME:testResetSyringePumpStatus.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testSetSyringePumpADCReadCounter -- Test Case: testSetSyringePumpADCReadCounter.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpADCReadCounter TEST.NEW TEST.NAME:testSetSyringePumpADCReadCounter.001 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: testSetSyringePumpADCReadCounter.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpADCReadCounter TEST.NEW TEST.NAME:testSetSyringePumpADCReadCounter.002 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testSetSyringePumpADCandDACStatus -- Test Case: testSetSyringePumpADCandDACStatus.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpADCandDACStatus TEST.NEW TEST.NAME:testSetSyringePumpADCandDACStatus.001 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: testSetSyringePumpADCandDACStatus.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpADCandDACStatus TEST.NEW TEST.NAME:testSetSyringePumpADCandDACStatus.002 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testSetSyringePumpDataPublishIntervalOverride -- Test Case: testSetSyringePumpDataPublishIntervalOverride.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpDataPublishIntervalOverride TEST.NEW TEST.NAME:testSetSyringePumpDataPublishIntervalOverride.001 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: testSetSyringePumpDataPublishIntervalOverride.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpDataPublishIntervalOverride TEST.NEW TEST.NAME:testSetSyringePumpDataPublishIntervalOverride.002 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testSetSyringePumpEncoderStatus -- Test Case: testSetSyringePumpEncoderStatus.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpEncoderStatus TEST.NEW TEST.NAME:testSetSyringePumpEncoderStatus.001 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: testSetSyringePumpEncoderStatus.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpEncoderStatus TEST.NEW TEST.NAME:testSetSyringePumpEncoderStatus.002 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testSetSyringePumpMeasuredForceOverride -- Test Case: testSetSyringePumpMeasuredForceOverride.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpMeasuredForceOverride TEST.NEW TEST.NAME:testSetSyringePumpMeasuredForceOverride.001 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: testSetSyringePumpMeasuredForceOverride.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpMeasuredForceOverride TEST.NEW TEST.NAME:testSetSyringePumpMeasuredForceOverride.002 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: testSetSyringePumpMeasuredForceOverride.003 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpMeasuredForceOverride TEST.NEW TEST.NAME:testSetSyringePumpMeasuredForceOverride.003 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: testSetSyringePumpMeasuredForceOverride.004 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpMeasuredForceOverride TEST.NEW TEST.NAME:testSetSyringePumpMeasuredForceOverride.004 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:<> TEST.END -- Subprogram: testSetSyringePumpMeasuredHomeOverride -- Test Case: testSetSyringePumpMeasuredHomeOverride.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpMeasuredHomeOverride TEST.NEW TEST.NAME:testSetSyringePumpMeasuredHomeOverride.001 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: testSetSyringePumpMeasuredHomeOverride.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpMeasuredHomeOverride TEST.NEW TEST.NAME:testSetSyringePumpMeasuredHomeOverride.002 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: testSetSyringePumpMeasuredHomeOverride.003 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpMeasuredHomeOverride TEST.NEW TEST.NAME:testSetSyringePumpMeasuredHomeOverride.003 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: testSetSyringePumpMeasuredHomeOverride.004 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpMeasuredHomeOverride TEST.NEW TEST.NAME:testSetSyringePumpMeasuredHomeOverride.004 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:<> TEST.END -- Subprogram: testSetSyringePumpMeasuredPositionOverride -- Test Case: testSetSyringePumpMeasuredPositionOverride.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpMeasuredPositionOverride TEST.NEW TEST.NAME:testSetSyringePumpMeasuredPositionOverride.001 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: testSetSyringePumpMeasuredPositionOverride.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpMeasuredPositionOverride TEST.NEW TEST.NAME:testSetSyringePumpMeasuredPositionOverride.002 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testSetSyringePumpMeasuredRateOverride -- Test Case: testSetSyringePumpMeasuredRateOverride.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpMeasuredRateOverride TEST.NEW TEST.NAME:testSetSyringePumpMeasuredRateOverride.001 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: testSetSyringePumpMeasuredRateOverride.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpMeasuredRateOverride TEST.NEW TEST.NAME:testSetSyringePumpMeasuredRateOverride.002 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: testSetSyringePumpMeasuredRateOverride.003 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpMeasuredRateOverride TEST.NEW TEST.NAME:testSetSyringePumpMeasuredRateOverride.003 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testSetSyringePumpMeasuredSyringeDetectOverride -- Test Case: testResetSyringePumpMeasuredForceOverride.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpMeasuredSyringeDetectOverride TEST.NEW TEST.NAME:testResetSyringePumpMeasuredForceOverride.001 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: testResetSyringePumpMeasuredForceOverride.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpMeasuredSyringeDetectOverride TEST.NEW TEST.NAME:testResetSyringePumpMeasuredForceOverride.002 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: testResetSyringePumpMeasuredForceOverride.003 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpMeasuredSyringeDetectOverride TEST.NEW TEST.NAME:testResetSyringePumpMeasuredForceOverride.003 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: testResetSyringePumpMeasuredForceOverride.004 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpMeasuredSyringeDetectOverride TEST.NEW TEST.NAME:testResetSyringePumpMeasuredForceOverride.004 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:<> TEST.END -- Subprogram: testSetSyringePumpMeasuredVolumeOverride -- Test Case: testSetSyringePumpMeasuredVolumeOverride.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpMeasuredVolumeOverride TEST.NEW TEST.NAME:testSetSyringePumpMeasuredVolumeOverride.001 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: testSetSyringePumpMeasuredVolumeOverride.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpMeasuredVolumeOverride TEST.NEW TEST.NAME:testSetSyringePumpMeasuredVolumeOverride.002 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testSetSyringePumpStatus -- Test Case: testSetSyringePumpStatus.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpStatus TEST.NEW TEST.NAME:testSetSyringePumpStatus.001 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: testSetSyringePumpStatus.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSetSyringePumpStatus TEST.NEW TEST.NAME:testSetSyringePumpStatus.002 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:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testSyringePumpOperationRequest -- Test Case: testSyringePumpOperationRequest.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSyringePumpOperationRequest TEST.NEW TEST.NAME:testSyringePumpOperationRequest.001 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: testSyringePumpOperationRequest.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:testSyringePumpOperationRequest TEST.NEW TEST.NAME:testSyringePumpOperationRequest.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: userHeparinRequest -- Test Case: userHeparinRequest.001 TEST.UNIT:SyringePump TEST.SUBPROGRAM:userHeparinRequest TEST.NEW TEST.NAME:userHeparinRequest.001 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:<> TEST.VALUE:SyringePump.userHeparinRequest.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.sendHeparinCommandResponse.accepted:0 TEST.VALUE:uut_prototype_stubs.sendHeparinCommandResponse.rejReason:MACRO=REQUEST_REJECT_REASON_INVALID_TREATMENT_STATE TEST.EXPECTED:SyringePump.userHeparinRequest.return:0 TEST.EXPECTED:uut_prototype_stubs.sendHeparinCommandResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendHeparinCommandResponse.rejReason:MACRO=REQUEST_REJECT_REASON_INVALID_TREATMENT_STATE TEST.END -- Test Case: userHeparinRequest.002 TEST.UNIT:SyringePump TEST.SUBPROGRAM:userHeparinRequest TEST.NEW TEST.NAME:userHeparinRequest.002 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:<> TEST.VALUE:SyringePump.userHeparinRequest.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.sendHeparinCommandResponse.accepted:0 TEST.VALUE:uut_prototype_stubs.sendHeparinCommandResponse.rejReason:MACRO=REQUEST_REJECT_REASON_NOT_IN_TREATMENT_MODE TEST.EXPECTED:SyringePump.userHeparinRequest.return:0 TEST.EXPECTED:uut_prototype_stubs.sendHeparinCommandResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendHeparinCommandResponse.rejReason:MACRO=REQUEST_REJECT_REASON_NOT_IN_TREATMENT_MODE TEST.END -- Test Case: userHeparinRequest.003 TEST.UNIT:SyringePump TEST.SUBPROGRAM:userHeparinRequest TEST.NEW TEST.NAME:userHeparinRequest.003 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:<> TEST.VALUE:SyringePump.userHeparinRequest.return:0 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.VALUE:uut_prototype_stubs.sendHeparinCommandResponse.accepted:0 TEST.VALUE:uut_prototype_stubs.sendHeparinCommandResponse.rejReason:MACRO=REQUEST_REJECT_REASON_HEPARIN_PAUSE_INVALID_IN_THIS_STATE TEST.EXPECTED:SyringePump.userHeparinRequest.return:0 TEST.END -- Test Case: userHeparinRequest.004 TEST.UNIT:SyringePump TEST.SUBPROGRAM:userHeparinRequest TEST.NEW TEST.NAME:userHeparinRequest.004 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:<> TEST.VALUE:SyringePump.userHeparinRequest.return:0 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.VALUE:uut_prototype_stubs.sendHeparinCommandResponse.accepted:0 TEST.VALUE:uut_prototype_stubs.sendHeparinCommandResponse.rejReason:MACRO=REQUEST_REJECT_REASON_INVALID_TREATMENT_STATE TEST.EXPECTED:SyringePump.userHeparinRequest.return:0 TEST.END -- Test Case: userHeparinRequest.005 TEST.UNIT:SyringePump TEST.SUBPROGRAM:userHeparinRequest TEST.NEW TEST.NAME:userHeparinRequest.005 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:SyringePump.userHeparinRequest.return:0 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.VALUE:uut_prototype_stubs.sendHeparinCommandResponse.accepted:0 TEST.VALUE:uut_prototype_stubs.sendHeparinCommandResponse.rejReason:MACRO=REQUEST_REJECT_REASON_HEPARIN_NOT_PAUSED TEST.EXPECTED:SyringePump.userHeparinRequest.return:0 TEST.EXPECTED:uut_prototype_stubs.sendHeparinCommandResponse.accepted:0 TEST.END -- Test Case: userHeparinRequest.006 TEST.UNIT:SyringePump TEST.SUBPROGRAM:userHeparinRequest TEST.NEW TEST.NAME:userHeparinRequest.006 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.<>.heparinDeliveryState:HEPARIN_STATE_DISPENSING TEST.VALUE:SyringePump.userHeparinRequest.cmd:HEPARIN_CMD_PAUSE TEST.VALUE:SyringePump.userHeparinRequest.return:1 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.VALUE:uut_prototype_stubs.sendHeparinCommandResponse.accepted:1 TEST.VALUE:uut_prototype_stubs.sendHeparinCommandResponse.rejReason:MACRO=REQUEST_REJECT_REASON_NONE TEST.VALUE:uut_prototype_stubs.sendTreatmentLogEventData.event:HEPARIN_PAUSE_RESUME_EVENT TEST.VALUE:uut_prototype_stubs.sendTreatmentLogEventData.oldValue:MACRO=HEPARIN_STATE_DISPENSING TEST.VALUE:uut_prototype_stubs.sendTreatmentLogEventData.newValue:MACRO=HEPARIN_STATE_PAUSED TEST.EXPECTED:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_PAUSED TEST.EXPECTED:SyringePump.userHeparinRequest.return:1 TEST.EXPECTED:uut_prototype_stubs.sendHeparinCommandResponse.accepted:1 TEST.EXPECTED:uut_prototype_stubs.sendTreatmentLogEventData.event:HEPARIN_PAUSE_RESUME_EVENT TEST.EXPECTED:uut_prototype_stubs.sendTreatmentLogEventData.oldValue:MACRO=HEPARIN_STATE_DISPENSING TEST.EXPECTED:uut_prototype_stubs.sendTreatmentLogEventData.newValue:MACRO=HEPARIN_STATE_PAUSED TEST.END -- Test Case: userHeparinRequest.007 TEST.UNIT:SyringePump TEST.SUBPROGRAM:userHeparinRequest TEST.NEW TEST.NAME:userHeparinRequest.007 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:SyringePump.userHeparinRequest.return:0 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.VALUE:uut_prototype_stubs.sendHeparinCommandResponse.accepted:0 TEST.VALUE:uut_prototype_stubs.sendHeparinCommandResponse.rejReason:MACRO=REQUEST_REJECT_REASON_INVALID_COMMAND TEST.EXPECTED:SyringePump.userHeparinRequest.return:0 TEST.EXPECTED:uut_prototype_stubs.sendHeparinCommandResponse.accepted:0 TEST.END -- Test Case: userHeparinRequest.008 TEST.UNIT:SyringePump TEST.SUBPROGRAM:userHeparinRequest TEST.NEW TEST.NAME:userHeparinRequest.008 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.<>.heparinDeliveryState:HEPARIN_STATE_PAUSED TEST.VALUE:SyringePump.userHeparinRequest.cmd:HEPARIN_CMD_RESUME TEST.VALUE:SyringePump.userHeparinRequest.return:1 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.VALUE:uut_prototype_stubs.sendHeparinCommandResponse.accepted:1 TEST.VALUE:uut_prototype_stubs.sendHeparinCommandResponse.rejReason:MACRO=REQUEST_REJECT_REASON_NONE TEST.VALUE:uut_prototype_stubs.sendTreatmentLogEventData.event:HEPARIN_PAUSE_RESUME_EVENT TEST.VALUE:uut_prototype_stubs.sendTreatmentLogEventData.oldValue:2.0 TEST.VALUE:uut_prototype_stubs.sendTreatmentLogEventData.newValue:4.0 TEST.EXPECTED:SyringePump.userHeparinRequest.return:1 TEST.EXPECTED:uut_prototype_stubs.sendHeparinCommandResponse.accepted:1 TEST.EXPECTED:uut_prototype_stubs.sendTreatmentLogEventData.event:HEPARIN_PAUSE_RESUME_EVENT TEST.EXPECTED:uut_prototype_stubs.sendTreatmentLogEventData.oldValue:2.0 TEST.EXPECTED:uut_prototype_stubs.sendTreatmentLogEventData.newValue:4.0 TEST.END