-- VectorCAST 19.sp3 (11/13/19) -- Test Case Script -- -- Environment : PRESOCCL -- Unit(s) Under Test: PresOccl -- -- 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: PresOccl -- Subprogram: checkArterialPressureInRange -- Test Case: checkArterialPressureInRange.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkArterialPressureInRange TEST.NEW TEST.NAME:checkArterialPressureInRange.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 40 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:1000.0 >>> >>> Unexpected end of command - stopped at character 61 >>> >>> Command Ignored >>> (E) @LINE: 51 TEST.EXPECTED:PresOccl.<>.shortFilteredArterialPressure:1000.0 >>> >>> Unexpected end of command - stopped at character 64 >>> >>> Command Ignored >>> (E) @LINE: 46 TEST.VALUE:uut_prototype_stubs.getDialysisState.return:DIALYSIS_SALINE_BOLUS_STATE >>> >>> Could not find function getDialysisState >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 38 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_ARTERIAL_PRESSURE_LOW,ALARM_ID_HD_ARTERIAL_PRESSURE_HIGH >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_ARTERIAL_PRESSURE_LOW" >>> >>> Command Ignored >>> (E) @LINE: 43 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE,ALARM_ID_ARTERIAL_PRESSURE_LOW,ALARM_ID_HD_ARTERIAL_PRESSURE_HIGH >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_ARTERIAL_PRESSURE_LOW" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_RTC_BATTERY_LOW TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_S32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:2.0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_BOOL TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:5.0 TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_STOP_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0,1 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(3)0 TEST.END -- Test Case: checkArterialPressureInRange.002 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkArterialPressureInRange TEST.NEW TEST.NAME:checkArterialPressureInRange.002 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 75 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:1000.0 >>> >>> Unexpected end of command - stopped at character 61 >>> >>> Command Ignored >>> (E) @LINE: 85 TEST.EXPECTED:PresOccl.<>.shortFilteredArterialPressure:1000.0 >>> >>> Unexpected end of command - stopped at character 64 >>> >>> Command Ignored >>> (E) @LINE: 81 TEST.VALUE:uut_prototype_stubs.getDialysisState.return:DIALYSIS_SALINE_BOLUS_STATE >>> >>> Could not find function getDialysisState >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 64 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_ARTERIAL_PRESSURE_LOW,ALARM_ID_HD_ARTERIAL_PRESSURE_HIGH >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_ARTERIAL_PRESSURE_LOW" >>> >>> Command Ignored >>> (E) @LINE: 69 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE,ALARM_ID_ARTERIAL_PRESSURE_LOW,ALARM_ID_HD_ARTERIAL_PRESSURE_HIGH >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_ARTERIAL_PRESSURE_LOW" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_RTC_BATTERY_LOW TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_S32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:2.0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_BOOL TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:5.0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_BLOOD_PRIME_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0,1 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(3)0 TEST.END -- Test Case: checkArterialPressureInRange.003 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkArterialPressureInRange TEST.NEW TEST.NAME:checkArterialPressureInRange.003 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 115 TEST.VALUE:uut_prototype_stubs.getDialysisState.return:DIALYSIS_SALINE_BOLUS_STATE >>> >>> Could not find function getDialysisState >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.MCDC_BASIS_PATH:15 of 31 TEST.NOTES: This is an automatically generated test case. Test Path 15 (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0F) || artPres < -(1500.0F))) ==> FALSE (3) if ((MODE_TREA) == getCurrentOperationMode() && (((TREATMENT_DIALYSIS_STATE) == txState && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE) || (TREATMENT_STOP_STATE) == txState && (1) == isBloodPumpRunning()) || (TREATMENT_BLOOD_PRIME_STATE) == txState)) ==> FALSE (9) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE (10) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_LOW, artPres < -(250.0F))) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #10, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/10 TEST.END_NOTES: TEST.STUB:PresOccl.getFilteredArterialPressure TEST.VALUE:PresOccl.getFilteredArterialPressure.return:2600.0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_ARTERIAL_PRESSURE_LOW TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:<> TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE TEST.END -- Test Case: checkArterialPressureInRange.004 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkArterialPressureInRange TEST.NEW TEST.NAME:checkArterialPressureInRange.004 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 152 TEST.VALUE:uut_prototype_stubs.getDialysisState.return:DIALYSIS_UF_STATE >>> >>> Could not find function getDialysisState >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 140 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:1 >>> >>> Could not find function isBloodPumpRampComplete >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:11 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0F) || artPres < -(1500.0F))) ==> FALSE (2) if ((MODE_TREA) == getCurrentOperationMode() && ((TREATMENT_DIALYSIS_STATE) == txState && (DIALYSIS_UF_STATE) == getDialysisState() || (TREATMENT_STOP_STATE) == txState && (1) == isBloodPumpRunning())) ==> TRUE (3) if (isBloodPumpRampComplete() != (1)) ==> FALSE (4) if (artPres < artLowLimit) ==> TRUE (5) if (artPres > artHighLimit) ==> FALSE (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_LOW, artPresLow)) ==> FALSE (7) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_HIGH, artPresHigh)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:PresOccl.getFilteredArterialPressure TEST.VALUE:PresOccl.getFilteredArterialPressure.return:-1600.0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE TEST.END -- Test Case: checkArterialPressureInRange.005 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkArterialPressureInRange TEST.NEW TEST.NAME:checkArterialPressureInRange.005 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 184 TEST.VALUE:uut_prototype_stubs.getDialysisState.return:DIALYSIS_UF_STATE >>> >>> Could not find function getDialysisState >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 166 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:<> >>> >>> Could not find function isBloodPumpRampComplete >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:12 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0F) || artPres < -(1500.0F))) ==> FALSE (2) if ((MODE_TREA) == getCurrentOperationMode() && ((TREATMENT_DIALYSIS_STATE) == txState && (DIALYSIS_UF_STATE) == getDialysisState() || (TREATMENT_STOP_STATE) == txState && (1) == isBloodPumpRunning())) ==> TRUE (3) if (isBloodPumpRampComplete() != (1)) ==> TRUE (4) if (artPres < artLowLimit) ==> FALSE (5) if (artPres > artHighLimit) ==> FALSE (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_LOW, artPresLow)) ==> FALSE (7) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_HIGH, artPresHigh)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:PresOccl.getFilteredArterialPressure TEST.VALUE:PresOccl.<>.pressureLimitsActive:1 TEST.VALUE:PresOccl.getFilteredArterialPressure.return:-301.0,101.0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_ARTERIAL_PRESSURE_LOW,ALARM_ID_HD_ARTERIAL_PRESSURE_HIGH TEST.END -- Test Case: checkArterialPressureInRange.006 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkArterialPressureInRange TEST.NEW TEST.NAME:checkArterialPressureInRange.006 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 199 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:1000.0 >>> >>> Unexpected end of command - stopped at character 61 >>> >>> Command Ignored >>> (E) @LINE: 210 TEST.EXPECTED:PresOccl.<>.shortFilteredArterialPressure:1000.0 >>> >>> Unexpected end of command - stopped at character 64 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.STUB:PresOccl.getFilteredArterialPressure TEST.VALUE:PresOccl.<>.pressureLimitsActive:1 TEST.VALUE:PresOccl.getFilteredArterialPressure.return:-301.0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_S32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:2.0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_BOOL TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:5.0 TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_STOP_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0,1 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0 TEST.EXPECTED:PresOccl.<>.pressureLimitsActive:1 TEST.END -- Test Case: checkArterialPressureInRange.007 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkArterialPressureInRange TEST.NEW TEST.NAME:checkArterialPressureInRange.007 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 219 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:1000.0 >>> >>> Unexpected end of command - stopped at character 61 >>> >>> Command Ignored >>> (E) @LINE: 230 TEST.EXPECTED:PresOccl.<>.shortFilteredArterialPressure:1000.0 >>> >>> Unexpected end of command - stopped at character 64 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.STUB:PresOccl.getFilteredArterialPressure TEST.VALUE:PresOccl.<>.currentArterialMinLimit:-300 TEST.VALUE:PresOccl.<>.pressureLimitsActive:1 TEST.VALUE:PresOccl.getFilteredArterialPressure.return:-209.0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_RTC_BATTERY_LOW TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_S32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:2.0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_BOOL TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:5.0 TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_STOP_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0,1 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.END -- Test Case: checkArterialPressureInRange.008 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkArterialPressureInRange TEST.NEW TEST.NAME:checkArterialPressureInRange.008 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 240 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:1000.0 >>> >>> Unexpected end of command - stopped at character 61 >>> >>> Command Ignored >>> (E) @LINE: 251 TEST.EXPECTED:PresOccl.<>.shortFilteredArterialPressure:1000.0 >>> >>> Unexpected end of command - stopped at character 64 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.STUB:PresOccl.getFilteredArterialPressure TEST.VALUE:PresOccl.<>.currentArterialMaxLimit:100 TEST.VALUE:PresOccl.<>.currentArterialMinLimit:<> TEST.VALUE:PresOccl.<>.pressureLimitsActive:1 TEST.VALUE:PresOccl.getFilteredArterialPressure.return:101.0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_RTC_BATTERY_LOW TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_S32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:2.0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_BOOL TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:5.0 TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_STOP_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0,1 TEST.END -- Test Case: checkArterialPressureInRange_Mode_Tx_Only_Pres_Low_Alarm TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkArterialPressureInRange TEST.NEW TEST.NAME:checkArterialPressureInRange_Mode_Tx_Only_Pres_Low_Alarm TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 291 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:1000.0 >>> >>> Unexpected end of command - stopped at character 61 >>> >>> Command Ignored >>> (E) @LINE: 301 TEST.EXPECTED:PresOccl.<>.shortFilteredArterialPressure:1000.0 >>> >>> Unexpected end of command - stopped at character 64 >>> >>> Command Ignored >>> (E) @LINE: 209 TEST.VALUE:uut_prototype_stubs.getDialysisState.return:DIALYSIS_SALINE_BOLUS_STATE >>> >>> Could not find function getDialysisState >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 32 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BLOOD_FLOW_INVALID_CALIBRATION >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_HD_BLOOD_FLOW_INVALID_CALIBRATION" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_RTC_BATTERY_LOW TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_S32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:2.0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_BOOL TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:5.0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_STOP_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0,1 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_ARTERIAL_PRESSURE_LOW,ALARM_ID_HD_ARTERIAL_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(3)0 TEST.END -- Test Case: checkArterialPressureInRange_Mode_Tx_Only_Pres_Not_Low_Alarm TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkArterialPressureInRange TEST.NEW TEST.NAME:checkArterialPressureInRange_Mode_Tx_Only_Pres_Not_Low_Alarm TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 322 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:-300.0 >>> >>> Unexpected end of command - stopped at character 61 >>> >>> Command Ignored >>> (E) @LINE: 327 TEST.EXPECTED:PresOccl.<>.shortFilteredArterialPressure:-300.0 >>> >>> Unexpected end of command - stopped at character 64 >>> >>> Command Ignored >>> (E) @LINE: 237 TEST.VALUE:uut_prototype_stubs.getDialysisState.return:DIALYSIS_SALINE_BOLUS_STATE >>> >>> Could not find function getDialysisState >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 53 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BLOOD_FLOW_INVALID_CALIBRATION >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_HD_BLOOD_FLOW_INVALID_CALIBRATION" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_STOP_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0,1 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_ARTERIAL_PRESSURE_LOW,ALARM_ID_HD_ARTERIAL_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(3)0 TEST.END -- Test Case: checkArterialPressureInRange_Mode_Tx_Only_Pres_Not_Low_Alarm_Saline_Bolus_State TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkArterialPressureInRange TEST.NEW TEST.NAME:checkArterialPressureInRange_Mode_Tx_Only_Pres_Not_Low_Alarm_Saline_Bolus_State TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 348 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:-300.0 >>> >>> Unexpected end of command - stopped at character 61 >>> >>> Command Ignored >>> (E) @LINE: 353 TEST.EXPECTED:PresOccl.<>.shortFilteredArterialPressure:-300.0 >>> >>> Unexpected end of command - stopped at character 64 >>> >>> Command Ignored >>> (E) @LINE: 260 TEST.VALUE:uut_prototype_stubs.getDialysisState.return:DIALYSIS_SALINE_BOLUS_STATE >>> >>> Could not find function getDialysisState >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 69 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BLOOD_FLOW_INVALID_CALIBRATION >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_HD_BLOOD_FLOW_INVALID_CALIBRATION" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0,1 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_ARTERIAL_PRESSURE_LOW,ALARM_ID_HD_ARTERIAL_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(3)0 TEST.END -- Test Case: checkArterialPressureInRange_Pres_Out_Of_Range TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkArterialPressureInRange TEST.NEW TEST.NAME:checkArterialPressureInRange_Pres_Out_Of_Range TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 363 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:1000.0 >>> >>> Unexpected end of command - stopped at character 61 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_WATCHDOG_POST_TEST_FAILED TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_S32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.flt.data:15.0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.flt.data:0.0 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_ARTERIAL_PRESSURE_LOW,ALARM_ID_HD_ARTERIAL_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(3)0 TEST.END -- Test Case: checkArterialPressureInRange_Pres_Out_Of_Range_High TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkArterialPressureInRange TEST.NEW TEST.NAME:checkArterialPressureInRange_Pres_Out_Of_Range_High TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 380 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:3000.0 >>> >>> Unexpected end of command - stopped at character 61 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_WATCHDOG_POST_TEST_FAILED TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_S32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.flt.data:15.0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.flt.data:0.0 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_ARTERIAL_PRESSURE_LOW,ALARM_ID_HD_ARTERIAL_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(3)0 TEST.END -- Test Case: checkArterialPressureInRange_Pres_Out_Of_Range_Low TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkArterialPressureInRange TEST.NEW TEST.NAME:checkArterialPressureInRange_Pres_Out_Of_Range_Low TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 397 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:-4000.0 >>> >>> Unexpected end of command - stopped at character 61 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_WATCHDOG_POST_TEST_FAILED TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_S32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.flt.data:15.0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.flt.data:0.0 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_ARTERIAL_PRESSURE_LOW,ALARM_ID_HD_ARTERIAL_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(3)0 TEST.END -- Test Case: checkArterialPressureInRange_Tx_State_<=_Dialysis_Pre_High TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkArterialPressureInRange TEST.NEW TEST.NAME:checkArterialPressureInRange_Tx_State_<=_Dialysis_Pre_High TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 437 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:75.0 >>> >>> Unexpected end of command - stopped at character 61 >>> >>> Command Ignored >>> (E) @LINE: 447 TEST.EXPECTED:PresOccl.<>.shortFilteredArterialPressure:75.0 >>> >>> Unexpected end of command - stopped at character 64 >>> >>> Command Ignored >>> (E) @LINE: 344 TEST.VALUE:uut_prototype_stubs.getS32TreatmentParamUpperRangeLimit.param:TREATMENT_PARAM_ART_PRESSURE_HIGH_LIMIT >>> >>> Could not find function getS32TreatmentParamUpperRangeLimit >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 345 TEST.VALUE:uut_prototype_stubs.getS32TreatmentParamUpperRangeLimit.return:52 >>> >>> Could not find function getS32TreatmentParamUpperRangeLimit >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 325 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:0 >>> >>> Could not find function isBloodPumpRampComplete >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 248 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_WATCHDOG_POST_TEST_FAILED,ALARM_ID_UI_COMM_POST_FAILED,ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_UI_COMM_POST_FAILED" >>> >>> Command Ignored >>> (E) @LINE: 257 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE,ALARM_ID_ARTERIAL_PRESSURE_LOW,ALARM_ID_HD_ARTERIAL_PRESSURE_HIGH >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_ARTERIAL_PRESSURE_LOW" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_S32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:4.0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_NONE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:0.0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(2)0,1 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:(2)0,1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(3)0 TEST.END -- Test Case: checkArterialPressureInRange_Tx_State_<=_Dialysis_Pre_High_Pump_NC TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkArterialPressureInRange TEST.NEW TEST.NAME:checkArterialPressureInRange_Tx_State_<=_Dialysis_Pre_High_Pump_NC TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 475 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:75.0 >>> >>> Unexpected end of command - stopped at character 61 >>> >>> Command Ignored >>> (E) @LINE: 486 TEST.EXPECTED:PresOccl.<>.shortFilteredArterialPressure:75.0 >>> >>> Unexpected end of command - stopped at character 64 >>> >>> Command Ignored >>> (E) @LINE: 383 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.param:TREATMENT_PARAM_ART_PRESSURE_HIGH_LIMIT >>> >>> Value for 'Enumeral' out of range >>> >>> Read "TREATMENT_PARAM_ART_PRESSURE_HIGH_LIMIT" >>> >>> Command Ignored >>> (E) @LINE: 360 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:1 >>> >>> Could not find function isBloodPumpRampComplete >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 275 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_WATCHDOG_POST_TEST_FAILED,ALARM_ID_UI_COMM_POST_FAILED,ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_UI_COMM_POST_FAILED" >>> >>> Command Ignored >>> (E) @LINE: 284 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE,ALARM_ID_ARTERIAL_PRESSURE_LOW,ALARM_ID_HD_ARTERIAL_PRESSURE_HIGH >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_ARTERIAL_PRESSURE_LOW" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_S32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:4.0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_NONE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:0.0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:52 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(2)0,1 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:(2)0,1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(3)0 TEST.END -- Test Case: checkArterialPressureInRange_Tx_State_<=_Dialysis_Pre_High_artPres_>> (E) @LINE: 518 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:75.0 >>> >>> Unexpected end of command - stopped at character 61 >>> >>> Command Ignored >>> (E) @LINE: 528 TEST.EXPECTED:PresOccl.<>.shortFilteredArterialPressure:75.0 >>> >>> Unexpected end of command - stopped at character 64 >>> >>> Command Ignored >>> (E) @LINE: 424 TEST.VALUE:uut_prototype_stubs.getS32TreatmentParamUpperRangeLimit.param:TREATMENT_PARAM_ART_PRESSURE_HIGH_LIMIT >>> >>> Could not find function getS32TreatmentParamUpperRangeLimit >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 425 TEST.VALUE:uut_prototype_stubs.getS32TreatmentParamUpperRangeLimit.return:95 >>> >>> Could not find function getS32TreatmentParamUpperRangeLimit >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 397 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:0 >>> >>> Could not find function isBloodPumpRampComplete >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 302 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_WATCHDOG_POST_TEST_FAILED,ALARM_ID_UI_COMM_POST_FAILED,ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_UI_COMM_POST_FAILED" >>> >>> Command Ignored >>> (E) @LINE: 311 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE,ALARM_ID_ARTERIAL_PRESSURE_LOW,ALARM_ID_HD_ARTERIAL_PRESSURE_HIGH >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_ARTERIAL_PRESSURE_LOW" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_S32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:4.0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_NONE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:0.0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(2)0,1 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:(2)0,1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(3)0 TEST.END -- Test Case: checkArterialPressureInRange_Tx_State_<=_Dialysis_Pre_Low TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkArterialPressureInRange TEST.NEW TEST.NAME:checkArterialPressureInRange_Tx_State_<=_Dialysis_Pre_Low TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 560 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:75.0 >>> >>> Unexpected end of command - stopped at character 61 >>> >>> Command Ignored >>> (E) @LINE: 570 TEST.EXPECTED:PresOccl.<>.shortFilteredArterialPressure:75.0 >>> >>> Unexpected end of command - stopped at character 64 >>> >>> Command Ignored >>> (E) @LINE: 463 TEST.VALUE:uut_prototype_stubs.getS32TreatmentParamLowerRangeLimit.param:TREATMENT_PARAM_ART_PRESSURE_LOW_LIMIT >>> >>> Could not find function getS32TreatmentParamLowerRangeLimit >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 464 TEST.VALUE:uut_prototype_stubs.getS32TreatmentParamLowerRangeLimit.return:52 >>> >>> Could not find function getS32TreatmentParamLowerRangeLimit >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 432 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:0 >>> >>> Could not find function isBloodPumpRampComplete >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 329 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_WATCHDOG_POST_TEST_FAILED,ALARM_ID_UI_COMM_POST_FAILED,ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_UI_COMM_POST_FAILED" >>> >>> Command Ignored >>> (E) @LINE: 338 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE,ALARM_ID_ARTERIAL_PRESSURE_LOW,ALARM_ID_HD_ARTERIAL_PRESSURE_HIGH >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_ARTERIAL_PRESSURE_LOW" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_S32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:4.0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_NONE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:0.0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0,1,0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0,1,0 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(3)0 TEST.END -- Test Case: checkArterialPressureInRange_Tx_State_<=_Dialysis_Pre_Low_artPres_>_artLow TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkArterialPressureInRange TEST.NEW TEST.NAME:checkArterialPressureInRange_Tx_State_<=_Dialysis_Pre_Low_artPres_>_artLow TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 602 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:75.0 >>> >>> Unexpected end of command - stopped at character 61 >>> >>> Command Ignored >>> (E) @LINE: 612 TEST.EXPECTED:PresOccl.<>.shortFilteredArterialPressure:75.0 >>> >>> Unexpected end of command - stopped at character 64 >>> >>> Command Ignored >>> (E) @LINE: 502 TEST.VALUE:uut_prototype_stubs.getS32TreatmentParamLowerRangeLimit.param:TREATMENT_PARAM_ART_PRESSURE_LOW_LIMIT >>> >>> Could not find function getS32TreatmentParamLowerRangeLimit >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 503 TEST.VALUE:uut_prototype_stubs.getS32TreatmentParamLowerRangeLimit.return:95 >>> >>> Could not find function getS32TreatmentParamLowerRangeLimit >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 467 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:0 >>> >>> Could not find function isBloodPumpRampComplete >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 356 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_WATCHDOG_POST_TEST_FAILED,ALARM_ID_UI_COMM_POST_FAILED,ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_UI_COMM_POST_FAILED" >>> >>> Command Ignored >>> (E) @LINE: 365 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE,ALARM_ID_ARTERIAL_PRESSURE_LOW,ALARM_ID_HD_ARTERIAL_PRESSURE_HIGH >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_ARTERIAL_PRESSURE_LOW" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_S32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:4.0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_NONE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:0.0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0,1,0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0,1,0 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(3)0 TEST.END -- Subprogram: checkOcclusions -- Test Case: checkOcclusions.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 388 TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> >>> >>> Warning: Value already set >>> >>> Previous value 2000 ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:12 of 14 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if (bpOccl < (2000) || bpOccl > (32766)) ==> FALSE (2) if ((MODE_TREA) == hdMode) ==> FALSE (3) if ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> TRUE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, outOfRange)) ==> FALSE (5) if ((MODE_PRET) == getCurrentOperationMode()) ==> FALSE (8) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE (11) if (bpOccl <= (5500) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE (12) if (((1) == txMode || (1) == ptxMode) && venPres > getS32TreatmentParamUpperRangeLimit(TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT) + (50.0F)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 3/5 Cannot set local variable txMode in branch 12 Cannot set local variable ptxMode in branch 12 TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(2)0 TEST.END -- Test Case: checkOcclusions.002 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions.002 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if (bpOccl < (2000) || bpOccl > (32766)) ==> FALSE (2) if ((MODE_TREA) == hdMode) ==> FALSE (3) if ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> TRUE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, outOfRange)) ==> FALSE (5) if ((MODE_PRET) == getCurrentOperationMode()) ==> FALSE (8) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE (11) if (bpOccl <= (5500) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE (12) if (((1) == txMode || (1) == ptxMode) && venPres > getS32TreatmentParamUpperRangeLimit(TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT) + (50.0F)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 3/5 Cannot set local variable txMode in branch 12 Cannot set local variable ptxMode in branch 12 TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(2)0 TEST.END -- Test Case: checkOcclusions.003 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions.003 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 654 TEST.VALUE:uut_prototype_stubs.getS32TreatmentParamUpperRangeLimit.return:<> >>> >>> Could not find function getS32TreatmentParamUpperRangeLimit >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 660 TEST.EXPECTED:uut_prototype_stubs.getS32TreatmentParamUpperRangeLimit.param:TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT >>> >>> Could not find function getS32TreatmentParamUpperRangeLimit >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if (bpOccl < (2000) || bpOccl > (32766)) ==> FALSE (2) if ((MODE_TREA) == hdMode) ==> FALSE (3) if ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> TRUE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, outOfRange)) ==> FALSE (5) if ((MODE_PRET) == getCurrentOperationMode()) ==> FALSE (8) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE (11) if (bpOccl <= (5500) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE (12) if (((1) == txMode || (1) == ptxMode) && venPres > getS32TreatmentParamUpperRangeLimit(TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT) + (50.0F)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 3/5 Cannot set local variable txMode in branch 12 Cannot set local variable ptxMode in branch 12 TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.END -- Test Case: checkOcclusions.004 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions.004 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 694 TEST.VALUE:uut_prototype_stubs.getS32TreatmentParamUpperRangeLimit.return:<> >>> >>> Could not find function getS32TreatmentParamUpperRangeLimit >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 703 TEST.EXPECTED:uut_prototype_stubs.getS32TreatmentParamUpperRangeLimit.param:TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT >>> >>> Could not find function getS32TreatmentParamUpperRangeLimit >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if (bpOccl < (2000) || bpOccl > (32766)) ==> FALSE (2) if ((MODE_TREA) == hdMode) ==> FALSE (3) if ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> TRUE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, outOfRange)) ==> FALSE (5) if ((MODE_PRET) == getCurrentOperationMode()) ==> FALSE (8) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE (11) if (bpOccl <= (5500) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE (12) if (((1) == txMode || (1) == ptxMode) && venPres > getS32TreatmentParamUpperRangeLimit(TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT) + (50.0F)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 3/5 Cannot set local variable txMode in branch 12 Cannot set local variable ptxMode in branch 12 TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredVenousPressure TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getMeasuredVenousPressure.return:0.0 TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.flt.data:0.0 TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.END -- Test Case: checkOcclusions.005 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions.005 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if (bpOccl < (2000) || bpOccl > (32766)) ==> FALSE (2) if ((MODE_TREA) == hdMode) ==> FALSE (3) if ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> TRUE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, outOfRange)) ==> FALSE (5) if ((MODE_PRET) == getCurrentOperationMode()) ==> FALSE (8) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE (11) if (bpOccl <= (5500) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE (12) if (((1) == txMode || (1) == ptxMode) && venPres > getS32TreatmentParamUpperRangeLimit(TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT) + (50.0F)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 3/5 Cannot set local variable txMode in branch 12 Cannot set local variable ptxMode in branch 12 TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(2)0 TEST.END -- Test Case: checkOcclusions.006 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions.006 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if (bpOccl < (2000) || bpOccl > (32766)) ==> FALSE (2) if ((MODE_TREA) == hdMode) ==> FALSE (3) if ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> TRUE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, outOfRange)) ==> FALSE (5) if ((MODE_PRET) == getCurrentOperationMode()) ==> FALSE (8) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE (11) if (bpOccl <= (5500) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE (12) if (((1) == txMode || (1) == ptxMode) && venPres > getS32TreatmentParamUpperRangeLimit(TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT) + (50.0F)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 3/5 Cannot set local variable txMode in branch 12 Cannot set local variable ptxMode in branch 12 TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.VALUE:uut_prototype_stubs.getPreTreatmentSubState.return:HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(2)0 TEST.END -- Test Case: checkOcclusions.007 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions.007 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if (bpOccl < (2000) || bpOccl > (32766)) ==> FALSE (2) if ((MODE_TREA) == hdMode) ==> FALSE (3) if ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> TRUE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, outOfRange)) ==> FALSE (5) if ((MODE_PRET) == getCurrentOperationMode()) ==> FALSE (8) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE (11) if (bpOccl <= (5500) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE (12) if (((1) == txMode || (1) == ptxMode) && venPres > getS32TreatmentParamUpperRangeLimit(TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT) + (50.0F)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 3/5 Cannot set local variable txMode in branch 12 Cannot set local variable ptxMode in branch 12 TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_OCCLUSION_BLOOD_PUMP TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.VALUE:uut_prototype_stubs.getPreTreatmentSubState.return:HD_PRE_TREATMENT_SELF_TEST_DRY_STATE TEST.VALUE:uut_prototype_stubs.getDrySelfTestsState.return:1 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_OCCLUSION_BLOOD_PUMP TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:4294967295 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:5500 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(2)0 TEST.END -- Test Case: checkOcclusions.008 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions.008 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 703 TEST.EXPECTED:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_OCCLUSION_BLOOD_PUMP,ALARM_ID_HD_VENOUS_LINE_OCCLUSION >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_OCCLUSION_BLOOD_PUMP" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) if (bpOccl < (2000) || bpOccl > (32766)) ==> FALSE (2) if ((MODE_TREA) == hdMode) ==> TRUE (3) if ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> FALSE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, outOfRange)) ==> FALSE (5) if ((MODE_PRET) == getCurrentOperationMode()) ==> FALSE (8) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE (11) if (bpOccl <= (5500) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE (12) if (((1) == txMode || (1) == ptxMode) && venPres > getS32TreatmentParamUpperRangeLimit(TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT) + (50.0F)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 2/8 Cannot set local variable txMode in branch 12 Cannot set local variable ptxMode in branch 12 TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1,0 TEST.END -- Test Case: checkOcclusions.009 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions.009 TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) if (bpOccl < (2000) || bpOccl > (32766)) ==> FALSE (2) if ((MODE_TREA) == hdMode) ==> TRUE (3) if ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> FALSE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, outOfRange)) ==> FALSE (5) if ((MODE_PRET) == getCurrentOperationMode()) ==> FALSE (8) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE (11) if (bpOccl <= (5500) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE (12) if (((1) == txMode || (1) == ptxMode) && venPres > getS32TreatmentParamUpperRangeLimit(TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT) + (50.0F)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 2/8 Cannot set local variable txMode in branch 12 Cannot set local variable ptxMode in branch 12 TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_STOP_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(2)0 TEST.END -- Test Case: checkOcclusions.010 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions.010 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 775 TEST.EXPECTED:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_OCCLUSION_BLOOD_PUMP,ALARM_ID_HD_VENOUS_LINE_OCCLUSION >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_OCCLUSION_BLOOD_PUMP" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if (bpOccl < (2000) || bpOccl > (32766)) ==> FALSE (2) if ((MODE_TREA) == hdMode) ==> FALSE (3) if ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> TRUE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, outOfRange)) ==> FALSE (5) if ((MODE_PRET) == getCurrentOperationMode()) ==> FALSE (8) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE (11) if (bpOccl <= (5500) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE (12) if (((1) == txMode || (1) == ptxMode) && venPres > getS32TreatmentParamUpperRangeLimit(TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT) + (50.0F)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 3/5 Cannot set local variable txMode in branch 12 Cannot set local variable ptxMode in branch 12 TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_OCCLUSION_BLOOD_PUMP TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.VALUE:uut_prototype_stubs.getPreTreatmentSubState.return:HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE TEST.VALUE:uut_prototype_stubs.getDrySelfTestsState.return:<> TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1,0 TEST.END -- Test Case: checkOcclusions.011 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions.011 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if (bpOccl < (2000) || bpOccl > (32766)) ==> FALSE (2) if ((MODE_TREA) == hdMode) ==> FALSE (3) if ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> TRUE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, outOfRange)) ==> FALSE (5) if ((MODE_PRET) == getCurrentOperationMode()) ==> FALSE (8) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE (11) if (bpOccl <= (5500) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE (12) if (((1) == txMode || (1) == ptxMode) && venPres > getS32TreatmentParamUpperRangeLimit(TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT) + (50.0F)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 3/5 Cannot set local variable txMode in branch 12 Cannot set local variable ptxMode in branch 12 TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_OCCLUSION_BLOOD_PUMP TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.VALUE:uut_prototype_stubs.getPreTreatmentSubState.return:HD_PRE_TREATMENT_SELF_TEST_DRY_STATE TEST.VALUE:uut_prototype_stubs.getDrySelfTestsState.return:1 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_OCCLUSION_BLOOD_PUMP TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:4294967295 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:5500 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(2)0 TEST.END -- Test Case: checkOcclusions.012 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions.012 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if (bpOccl < (2000) || bpOccl > (32766)) ==> FALSE (2) if ((MODE_TREA) == hdMode) ==> FALSE (3) if ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> TRUE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, outOfRange)) ==> FALSE (5) if ((MODE_PRET) == getCurrentOperationMode()) ==> FALSE (8) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE (11) if (bpOccl <= (5500) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE (12) if (((1) == txMode || (1) == ptxMode) && venPres > getS32TreatmentParamUpperRangeLimit(TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT) + (50.0F)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 3/5 Cannot set local variable txMode in branch 12 Cannot set local variable ptxMode in branch 12 TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_OCCLUSION_BLOOD_PUMP TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.VALUE:uut_prototype_stubs.getPreTreatmentSubState.return:HD_PRE_TREATMENT_CART_INSTALL_STATE TEST.VALUE:uut_prototype_stubs.getDrySelfTestsState.return:0 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(2)0 TEST.END -- Test Case: checkOcclusions.013 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions.013 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if (bpOccl < (2000) || bpOccl > (32766)) ==> FALSE (2) if ((MODE_TREA) == hdMode) ==> FALSE (3) if ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> TRUE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, outOfRange)) ==> FALSE (5) if ((MODE_PRET) == getCurrentOperationMode()) ==> FALSE (8) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE (11) if (bpOccl <= (5500) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE (12) if (((1) == txMode || (1) == ptxMode) && venPres > getS32TreatmentParamUpperRangeLimit(TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT) + (50.0F)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 3/5 Cannot set local variable txMode in branch 12 Cannot set local variable ptxMode in branch 12 TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_OCCLUSION_BLOOD_PUMP TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.VALUE:uut_prototype_stubs.getPreTreatmentSubState.return:HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE TEST.VALUE:uut_prototype_stubs.getDrySelfTestsState.return:0 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(2)0 TEST.END -- Test Case: checkOcclusions.014 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions.014 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 942 TEST.EXPECTED:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_OCCLUSION_BLOOD_PUMP,ALARM_ID_HD_VENOUS_LINE_OCCLUSION >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_OCCLUSION_BLOOD_PUMP" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if (bpOccl < (2000) || bpOccl > (32766)) ==> FALSE (2) if ((MODE_TREA) == hdMode) ==> FALSE (3) if ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> TRUE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, outOfRange)) ==> FALSE (5) if ((MODE_PRET) == getCurrentOperationMode()) ==> FALSE (8) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE (11) if (bpOccl <= (5500) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE (12) if (((1) == txMode || (1) == ptxMode) && venPres > getS32TreatmentParamUpperRangeLimit(TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT) + (50.0F)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 3/5 Cannot set local variable txMode in branch 12 Cannot set local variable ptxMode in branch 12 TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.<>.bloodPumpOcclusionAfterCartridgeInstall:10 TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:5509 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_OCCLUSION_BLOOD_PUMP TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.VALUE:uut_prototype_stubs.getPreTreatmentSubState.return:HD_PRE_TREATMENT_SELF_TEST_DRY_STATE TEST.VALUE:uut_prototype_stubs.getDrySelfTestsState.return:1 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusionAfterCartridgeInstall:10 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(2)0 TEST.END -- Test Case: checkOcclusions.015 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions.015 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 976 TEST.EXPECTED:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_OCCLUSION_BLOOD_PUMP,ALARM_ID_HD_VENOUS_LINE_OCCLUSION >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_OCCLUSION_BLOOD_PUMP" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) if (bpOccl < (2000) || bpOccl > (32766)) ==> FALSE (2) if ((MODE_TREA) == hdMode) ==> TRUE (3) if ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> FALSE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, outOfRange)) ==> FALSE (5) if ((MODE_PRET) == getCurrentOperationMode()) ==> FALSE (8) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE (11) if (bpOccl <= (5500) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE (12) if (((1) == txMode || (1) == ptxMode) && venPres > getS32TreatmentParamUpperRangeLimit(TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT) + (50.0F)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 2/8 Cannot set local variable txMode in branch 12 Cannot set local variable ptxMode in branch 12 TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1,0 TEST.END -- Test Case: checkOcclusions.016 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions.016 TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) if (bpOccl < (2000) || bpOccl > (32766)) ==> FALSE (2) if ((MODE_TREA) == hdMode) ==> TRUE (3) if ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> FALSE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, outOfRange)) ==> FALSE (5) if ((MODE_PRET) == getCurrentOperationMode()) ==> FALSE (8) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE (11) if (bpOccl <= (5500) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE (12) if (((1) == txMode || (1) == ptxMode) && venPres > getS32TreatmentParamUpperRangeLimit(TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT) + (50.0F)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 2/8 Cannot set local variable txMode in branch 12 Cannot set local variable ptxMode in branch 12 TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.<>.bloodPumpOcclusionAfterCartridgeInstall:100 TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:5601 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusionAfterCartridgeInstall:100 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(2)0 TEST.END -- Test Case: checkOcclusions.017 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions.017 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if (bpOccl < (2000) || bpOccl > (32766)) ==> FALSE (2) if ((MODE_TREA) == hdMode) ==> FALSE (3) if ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> TRUE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, outOfRange)) ==> FALSE (5) if ((MODE_PRET) == getCurrentOperationMode()) ==> FALSE (8) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE (11) if (bpOccl <= (5500) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE (12) if (((1) == txMode || (1) == ptxMode) && venPres > getS32TreatmentParamUpperRangeLimit(TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT) + (50.0F)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 3/5 Cannot set local variable txMode in branch 12 Cannot set local variable ptxMode in branch 12 TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredVenousPressure TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getMeasuredVenousPressure.return:500.0 TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_OCCLUSION_BLOOD_PUMP TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.VALUE:uut_prototype_stubs.getPreTreatmentSubState.return:HD_PRE_TREATMENT_SELF_TEST_DRY_STATE TEST.VALUE:uut_prototype_stubs.getDrySelfTestsState.return:1 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_OCCLUSION_BLOOD_PUMP TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:4294967295 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:5500 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0,1 TEST.END -- Test Case: checkOcclusions.018 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions.018 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if (bpOccl < (2000) || bpOccl > (32766)) ==> FALSE (2) if ((MODE_TREA) == hdMode) ==> FALSE (3) if ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> TRUE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, outOfRange)) ==> FALSE (5) if ((MODE_PRET) == getCurrentOperationMode()) ==> FALSE (8) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE (11) if (bpOccl <= (5500) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE (12) if (((1) == txMode || (1) == ptxMode) && venPres > getS32TreatmentParamUpperRangeLimit(TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT) + (50.0F)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 3/5 Cannot set local variable txMode in branch 12 Cannot set local variable ptxMode in branch 12 TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredVenousPressure TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getMeasuredVenousPressure.return:500.0 TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_OCCLUSION_BLOOD_PUMP TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.VALUE:uut_prototype_stubs.getPreTreatmentSubState.return:HD_PRE_TREATMENT_SELF_TEST_DRY_STATE TEST.VALUE:uut_prototype_stubs.getDrySelfTestsState.return:1 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_OCCLUSION_BLOOD_PUMP TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:(2)ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:(2)4294967295 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:(2)ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0,5500 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0,1 TEST.END -- Test Case: checkOcclusions.019 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions.019 TEST.BASIS_PATH:1 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (bpOccl < (2000)) ==> FALSE (2) if ((MODE_TREA) == hdMode) ==> FALSE (3) if ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> FALSE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, outOfRange)) ==> FALSE (5) if ((MODE_PRET) == getCurrentOperationMode()) ==> FALSE (8) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE (11) if (bpOccl <= (5000) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE (12) if (isBloodPumpRunning() != (0)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredVenousPressure TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getMeasuredVenousPressure.return:451.0 TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_RECIRC_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.END -- Test Case: checkOcclusions.020 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions.020 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (bpOccl < (2000)) ==> FALSE (2) if ((MODE_TREA) == hdMode) ==> FALSE (3) if ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> FALSE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, outOfRange)) ==> FALSE (5) if ((MODE_PRET) == getCurrentOperationMode()) ==> FALSE (8) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE (11) if (bpOccl <= (5000) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE (12) if (isBloodPumpRunning() != (0)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredVenousPressure TEST.STUB:PresOccl.getFilteredBloodPumpOccl TEST.STUB:PresOccl.getBloodPumpPartialOcclBaseline TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.data:14000 TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION_2 TEST.VALUE:PresOccl.getMeasuredVenousPressure.return:451.0 TEST.VALUE:PresOccl.getFilteredBloodPumpOccl.return:14000.0 TEST.VALUE:PresOccl.getBloodPumpPartialOcclBaseline.return:12000.0 TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:14000 TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_OCCLUSION_BLOOD_PUMP,ALARM_ID_HD_PARTIAL_OCCLUSION_BLOOD_PUMP TEST.END -- Test Case: checkOcclusions.021 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions.021 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (bpOccl < (2000)) ==> FALSE (2) if ((MODE_TREA) == hdMode) ==> FALSE (3) if ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> FALSE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, outOfRange)) ==> FALSE (5) if ((MODE_PRET) == getCurrentOperationMode()) ==> FALSE (8) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE (11) if (bpOccl <= (5000) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE (12) if (isBloodPumpRunning() != (0)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredVenousPressure TEST.STUB:PresOccl.getFilteredBloodPumpOccl TEST.STUB:PresOccl.getBloodPumpPartialOcclBaseline TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.data:14000 TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABLE TEST.VALUE:PresOccl.getMeasuredVenousPressure.return:451.0 TEST.VALUE:PresOccl.getFilteredBloodPumpOccl.return:12000.0 TEST.VALUE:PresOccl.getBloodPumpPartialOcclBaseline.return:12000.0 TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:14000 TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_OCCLUSION_BLOOD_PUMP TEST.END -- Test Case: checkOcclusions.022 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions.022 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (bpOccl < (2000)) ==> FALSE (2) if ((MODE_TREA) == hdMode) ==> FALSE (3) if ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> FALSE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, outOfRange)) ==> FALSE (5) if ((MODE_PRET) == getCurrentOperationMode()) ==> FALSE (8) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE (11) if (bpOccl <= (5000) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE (12) if (isBloodPumpRunning() != (0)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredVenousPressure TEST.STUB:PresOccl.getFilteredBloodPumpOccl TEST.STUB:PresOccl.getBloodPumpPartialOcclBaseline TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.data:14000 TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION TEST.VALUE:PresOccl.getMeasuredVenousPressure.return:451.0 TEST.VALUE:PresOccl.getFilteredBloodPumpOccl.return:12000.0 TEST.VALUE:PresOccl.getBloodPumpPartialOcclBaseline.return:12000.0 TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:14000 TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_OCCLUSION_BLOOD_PUMP TEST.END -- Test Case: checkOcclusions_BP_Occlusion_Out_Of_Range TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions TEST.NEW TEST.NAME:checkOcclusions_BP_Occlusion_Out_Of_Range TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.data:25001 TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.override:0x0 TEST.VALUE:PresOccl.<>.bloodPumpOcclusionAfterCartridgeInstall:10000 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_BOOL TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:15 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusion.data:25001 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusion.override:0 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusionAfterCartridgeInstall:10000 TEST.END -- Subprogram: checkVenousPressureInRange -- Test Case: checkVenousPressureInRange.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1049 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_VENOUS_PRESSURE_LOW,ALARM_ID_HD_VENOUS_PRESSURE_HIGH >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_VENOUS_PRESSURE_LOW" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.getFilteredVenousPressure.return:-2000.0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:3304718336 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0,1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1,(2)0 TEST.END -- Test Case: checkVenousPressureInRange.002 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.002 TEST.MCDC_BASIS_PATH:6 of 20 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> FALSE (4) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #4, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.getFilteredVenousPressure.return:1.0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_LOW TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_PRESSURE_LOW,ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(3)0 TEST.END -- Test Case: checkVenousPressureInRange.004 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.004 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1319 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.param:TREATMENT_PARAM_VEN_PRESSURE_LOW_LIMIT >>> >>> Value for 'Enumeral' out of range >>> >>> Read "TREATMENT_PARAM_VEN_PRESSURE_LOW_LIMIT" >>> >>> Command Ignored >>> (E) @LINE: 1142 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_VENOUS_PRESSURE_HIGH,ALARM_ID_HD_VENOUS_PRESSURE_LOW >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_VENOUS_PRESSURE_HIGH" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.MCDC_BASIS_PATH:16 of 20 TEST.NOTES: This is an automatically generated test case. Test Path 16 (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> FALSE (4) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> TRUE (5) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> TRUE (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_LOW, venPres < venLowLimit)) ==> TRUE (7) (venPres < venLowLimit) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #7, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/6 TEST.END_NOTES: TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.getFilteredVenousPressure.return:3.40282E+38 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_LOW TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1,(2)0,1 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_CLOSED TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_PRESSURE_LOW,ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1,(2)0 TEST.END -- Test Case: checkVenousPressureInRange.010 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.010 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> FALSE (4) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #4, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.getFilteredVenousPressure.return:1.0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_STOP_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_LOW TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_PRESSURE_LOW,ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(3)0 TEST.END -- Test Case: checkVenousPressureInRange.011 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.011 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1331 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_VENOUS_PRESSURE_LOW,ALARM_ID_HD_VENOUS_PRESSURE_HIGH >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_VENOUS_PRESSURE_LOW" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> FALSE (4) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #4, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.getFilteredVenousPressure.return:1.0 TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_STOP_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_LOW TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_PRESSURE_LOW,ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(3)0 TEST.END -- Test Case: checkVenousPressureInRange.012 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.012 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> FALSE (4) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #4, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.getFilteredVenousPressure.return:1.0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_LOW TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_PRESSURE_LOW,ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(3)0 TEST.END -- Test Case: checkVenousPressureInRange.013 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.013 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1382 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_VENOUS_PRESSURE_LOW,ALARM_ID_HD_VENOUS_PRESSURE_HIGH >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_VENOUS_PRESSURE_LOW" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> FALSE (4) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #4, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.getFilteredVenousPressure.return:1.0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_BLOOD_PRIME_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_LOW TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_PRESSURE_LOW,ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(3)0 TEST.END -- Test Case: checkVenousPressureInRange.019 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.019 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> FALSE (4) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #4, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.getFilteredVenousPressure.return:1.0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_STOP_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_LOW TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_PRESSURE_LOW,ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(3)0 TEST.END -- Test Case: checkVenousPressureInRange.020 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.020 TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.<>.pressureLimitsActive:1 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:-2000.0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:3304718336 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0,1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1,0 TEST.END -- Test Case: checkVenousPressureInRange.021 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.021 TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.<>.pressureLimitsActive:1 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:-2000.0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:3304718336 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0,1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1,0 TEST.END -- Test Case: checkVenousPressureInRange.022 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.022 TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.<>.currentVenousMinLimit:<> TEST.VALUE:PresOccl.<>.pressureLimitsActive:1 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:-2000.0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:3304718336 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0,1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1,0 TEST.END -- Test Case: checkVenousPressureInRange.023 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.023 TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.<>.currentVenousMaxLimit:<> TEST.VALUE:PresOccl.<>.currentVenousMinLimit:<> TEST.VALUE:PresOccl.<>.pressureLimitsActive:1 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:-2000.0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:3304718336 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0,1 TEST.EXPECTED:PresOccl.<>.currentVenousMaxLimit:-2147483648 TEST.EXPECTED:PresOccl.<>.currentVenousMinLimit:-2147483648 TEST.EXPECTED:PresOccl.<>.pressureLimitsActive:1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(2)1 TEST.END -- Test Case: checkVenousPressureInRange.024 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.024 TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.<>.venLowPresExemptAfterAirTrapFillTimerCtr:<> TEST.VALUE:PresOccl.<>.pressureLimitsActive:1 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:-2000.0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:3304718336 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0,1 TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_OPEN TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(2)1,(2)0 TEST.END -- Test Case: checkVenousPressureInRange.025 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.025 TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.<>.venLowPresExemptAfterAirTrapFillTimerCtr:101 TEST.VALUE:PresOccl.<>.currentVenousMaxLimit:<> TEST.VALUE:PresOccl.<>.currentVenousMinLimit:<> TEST.VALUE:PresOccl.<>.pressureLimitsActive:1 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:-2000.0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:3304718336 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0,1 TEST.EXPECTED:PresOccl.<>.currentVenousMaxLimit:-2147483648 TEST.EXPECTED:PresOccl.<>.currentVenousMinLimit:-2147483648 TEST.EXPECTED:PresOccl.<>.pressureLimitsActive:1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_PRESSURE_LOW,ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1,0,1 TEST.END -- Test Case: checkVenousPressureInRange.026 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.026 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 2056 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_AVAILABLE_17 >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_AVAILABLE_17" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.<>.venLowPresExemptAfterAirTrapFillTimerCtr:101 TEST.VALUE:PresOccl.<>.currentVenousMaxLimit:<> TEST.VALUE:PresOccl.<>.currentVenousMinLimit:<> TEST.VALUE:PresOccl.<>.pressureLimitsActive:1 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:-2000.0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:3304718336 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0 TEST.EXPECTED:PresOccl.<>.currentVenousMaxLimit:-2147483648 TEST.EXPECTED:PresOccl.<>.currentVenousMinLimit:-2147483648 TEST.EXPECTED:PresOccl.<>.pressureLimitsActive:1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_PRESSURE_LOW,ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1,0,1 TEST.END -- Test Case: checkVenousPressureInRange.027 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.027 TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.<>.venLowPresExemptAfterAirTrapFillTimerCtr:<> TEST.VALUE:PresOccl.<>.pressureLimitsActive:1 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:-2000.0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:3304718336 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_LOW TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(2)1,0 TEST.END -- Test Case: checkVenousPressureInRange.028 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.028 TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.<>.venLowPresExemptAfterAirTrapFillTimerCtr:1000000000 TEST.VALUE:PresOccl.<>.pressureLimitsActive:1 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:-2000.0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:3304718336 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0,1 TEST.EXPECTED:PresOccl.<>.venLowPresExemptAfterAirTrapFillTimerCtr:1000000000 TEST.EXPECTED:PresOccl.<>.pressureLimitsActive:1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_PRESSURE_LOW,ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(2)1,0 TEST.END -- Test Case: checkVenousPressureInRange.029 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.029 TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.<>.venLowPresExemptAfterAirTrapFillTimerCtr:1000000000 TEST.VALUE:PresOccl.<>.pressureLimitsActive:1 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:-2000.0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:3304718336 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0 TEST.EXPECTED:PresOccl.<>.venLowPresExemptAfterAirTrapFillTimerCtr:1000000000 TEST.EXPECTED:PresOccl.<>.pressureLimitsActive:1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_PRESSURE_LOW,ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(2)1,0 TEST.END -- Test Case: checkVenousPressureInRange.030 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.030 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 107 TEST.VALUE:uut_prototype_stubs.getTargetBloodFlowRate.return:<> >>> >>> Could not find function getTargetBloodFlowRate >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.<>.pressureLimitsActive:1 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:-2000.0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:3304718336 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0,1 TEST.EXPECTED:PresOccl.<>.pressureLimitsActive:1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1,0 TEST.END -- Test Case: checkVenousPressureInRange.031 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.031 TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.<>.pressureLimitsActive:1 TEST.VALUE:PresOccl.<>.resetFillExemptPeriod:1 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:-2000.0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:3304718336 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0,1 TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_OPEN TEST.EXPECTED:PresOccl.<>.pressureLimitsActive:1 TEST.EXPECTED:PresOccl.<>.resetFillExemptPeriod:0 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_PRESSURE_LOW,ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1,0 TEST.END -- Test Case: checkVenousPressureInRange.032 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.032 TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.<>.pressureLimitsActive:1 TEST.VALUE:PresOccl.<>.resetFillExemptPeriod:1 TEST.VALUE:PresOccl.<>.lowVenousPressureExemptCheck:1 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:-2000.0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:3304718336 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0,1 TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_CLOSED TEST.EXPECTED:PresOccl.<>.pressureLimitsActive:1 TEST.EXPECTED:PresOccl.<>.resetFillExemptPeriod:0 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1,0 TEST.END -- Test Case: checkVenousPressureInRange.033 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.033 TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.<>.venLowPresExemptAfterAirTrapFillTimerCtr:45 TEST.VALUE:PresOccl.<>.prevVenLowPresExemptAfterAirTrapFillTimerCtr:44 TEST.VALUE:PresOccl.<>.pressureLimitsActive:1 TEST.VALUE:PresOccl.<>.resetFillExemptPeriod:1 TEST.VALUE:PresOccl.<>.lowVenousPressureExemptCheck:1 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:-2000.0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:3304718336 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0,1 TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_CLOSED TEST.EXPECTED:PresOccl.<>.pressureLimitsActive:1 TEST.EXPECTED:PresOccl.<>.resetFillExemptPeriod:0 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_PRESSURE_LOW,ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(2)1,0 TEST.END -- Test Case: checkVenousPressureInRange.034 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.034 TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.<>.venLowPresExemptAfterAirTrapFillTimerCtr:65 TEST.VALUE:PresOccl.<>.prevVenLowPresExemptAfterAirTrapFillTimerCtr:67 TEST.VALUE:PresOccl.<>.pressureLimitsActive:1 TEST.VALUE:PresOccl.<>.resetFillExemptPeriod:1 TEST.VALUE:PresOccl.<>.lowVenousPressureExemptCheck:1 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:-2000.0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:3304718336 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0,1 TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_CLOSED TEST.EXPECTED:PresOccl.<>.pressureLimitsActive:1 TEST.EXPECTED:PresOccl.<>.resetFillExemptPeriod:1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1,0 TEST.END -- Test Case: checkVenousPressureInRange.035 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange.035 TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.<>.venLowPresExemptAfterAirTrapFillTimerCtr:42 TEST.VALUE:PresOccl.<>.prevVenLowPresExemptAfterAirTrapFillTimerCtr:67 TEST.VALUE:PresOccl.<>.pressureLimitsActive:1 TEST.VALUE:PresOccl.<>.resetFillExemptPeriod:0 TEST.VALUE:PresOccl.<>.lowVenousPressureExemptCheck:1 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:-2000.0 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:3304718336 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0,1 TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_OPEN TEST.EXPECTED:PresOccl.<>.pressureLimitsActive:1 TEST.EXPECTED:PresOccl.<>.resetFillExemptPeriod:0 TEST.END -- Test Case: checkVenousPressureInRange_NotInTreatmentMode TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange TEST.NEW TEST.NAME:checkVenousPressureInRange_NotInTreatmentMode TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.<>.venousPressure.data:-99.0 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TPAR TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_HIGH TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1,0 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1,0 TEST.END -- Subprogram: convertInlinePressures -- Test Case: convertInlinePressures.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:convertInlinePressures TEST.NEW TEST.NAME:convertInlinePressures.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1448 TEST.EXPECTED:uut_prototype_stubs.checkFPGAPersistentAlarms.errorCount:0 >>> >>> Unknown parameter/object name errorCount >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 951 TEST.VALUE:PresOccl.<>.lastArterialPressureReadCtr:11 >>> >>> Unknown parameter/object name lastArterialPressureReadCtr >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 953 TEST.EXPECTED:PresOccl.<>.lastArterialPressureReadCtr:0 >>> >>> Unknown parameter/object name lastArterialPressureReadCtr >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 870 TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:<> >>> >>> Could not find function getTemperatureValue >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.MCDC_BASIS_PATH:11 of 20 TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if (0 == artPresAlarm) ==> FALSE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_READ_TIMEOUT_ERROR, lastVenousPressureReadCtr == venReadCtr)) ==> FALSE (6) if (0 == venPresStatus) ==> FALSE (7) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_SENSOR_TEMP_OUT_OF_RANGE, venTemp > (80.0) || venTemp < (0.0))) ==> TRUE (8) (venTemp > (80.0) || venTemp < (0.0)) ==> TRUE Row number 3 forms a pair with Row 4 for Condition #8, subcondition "b". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: Cannot set local variable artPresAlarm in branch 1 Cannot set local variable venPresStatus in branch 6 Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 4/7 TEST.END_NOTES: TEST.STUB:PresOccl.filterInlinePressureReadings TEST.VALUE:uut_prototype_stubs.getFPGADVTArterialPressure.return:0 TEST.VALUE:uut_prototype_stubs.getFPGADVTArterialPressureReadCounter.return:0 TEST.VALUE:uut_prototype_stubs.getFPGATDVTArterialPressureErrorCounter.return:0 TEST.VALUE:uut_prototype_stubs.getFPGAVenousPressure.return:0 TEST.VALUE:uut_prototype_stubs.getFPGAVenousPressureReadCounter.return:0 TEST.VALUE:uut_prototype_stubs.getFPGAVenousPressureErrorCounter.return:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:PresOccl.filterInlinePressureReadings.artPres:-1939.22 TEST.EXPECTED:PresOccl.filterInlinePressureReadings.venPres:-1939.22 TEST.EXPECTED:uut_prototype_stubs.checkFPGAPersistentAlarms.group:FPGA_PERS_ERROR_ARTERIAL_PRESSURE_SENSOR,FPGA_PERS_ERROR_VENOUS_PRESSURE_SESNOR TEST.EXPECTED:uut_prototype_stubs.checkFPGAPersistentAlarms.readCount:(2)0 TEST.END -- Test Case: convertInlinePressures.002 TEST.UNIT:PresOccl TEST.SUBPROGRAM:convertInlinePressures TEST.NEW TEST.NAME:convertInlinePressures.002 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 956 TEST.VALUE:uut_prototype_stubs.getFPGAArterialPressure.return:0x801000 >>> >>> Could not find function getFPGAArterialPressure >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 238 TEST.VALUE:PresOccl.<>.staleVenousPressureCtr:1 >>> >>> Unknown parameter/object name staleVenousPressureCtr >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 244 TEST.EXPECTED:PresOccl.<>.staleVenousPressureCtr:2 >>> >>> Unknown parameter/object name staleVenousPressureCtr >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:PresOccl.<>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE TEST.VALUE:PresOccl.<>.arterialPressure.data:0.0 TEST.VALUE:PresOccl.<>.venousPressure.data:0.0 TEST.VALUE:uut_prototype_stubs.getFPGAVenousPressure.return:0x6328 TEST.EXPECTED:PresOccl.<>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE TEST.EXPECTED:PresOccl.<>.arterialPressure.data:-1939.22 TEST.EXPECTED:PresOccl.<>.venousPressure.data:0.0 TEST.END -- Test Case: convertInlinePressures.003 TEST.UNIT:PresOccl TEST.SUBPROGRAM:convertInlinePressures TEST.NEW TEST.NAME:convertInlinePressures.003 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1511 TEST.EXPECTED:uut_prototype_stubs.checkFPGAPersistentAlarms.errorCount:0 >>> >>> Unknown parameter/object name errorCount >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if (0 == artPresAlarm) ==> FALSE (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_READ_TIMEOUT_ERROR, lastVenousPressureReadCtr == venReadCtr)) ==> FALSE (6) if (0 == venPresStatus) ==> FALSE (7) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_SENSOR_TEMP_OUT_OF_RANGE, venTemp > (80.0) || venTemp < (0.0))) ==> TRUE (8) (venTemp > (80.0) || venTemp < (0.0)) ==> TRUE Row number 3 forms a pair with Row 4 for Condition #8, subcondition "b". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: Cannot set local variable artPresAlarm in branch 1 Cannot set local variable venPresStatus in branch 6 Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 4/7 TEST.END_NOTES: TEST.STUB:PresOccl.filterInlinePressureReadings TEST.VALUE:uut_prototype_stubs.getFPGADVTArterialPressure.return:<> TEST.VALUE:uut_prototype_stubs.getFPGADVTArterialPressureReadCounter.return:0 TEST.VALUE:uut_prototype_stubs.getFPGATDVTArterialPressureErrorCounter.return:0 TEST.VALUE:uut_prototype_stubs.getFPGAVenousPressure.return:0 TEST.VALUE:uut_prototype_stubs.getFPGAVenousPressureReadCounter.return:0 TEST.VALUE:uut_prototype_stubs.getFPGAVenousPressureErrorCounter.return:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:PresOccl.filterInlinePressureReadings.artPres:0.0 TEST.EXPECTED:PresOccl.filterInlinePressureReadings.venPres:-1939.22 TEST.EXPECTED:uut_prototype_stubs.checkFPGAPersistentAlarms.group:FPGA_PERS_ERROR_ARTERIAL_PRESSURE_SENSOR,FPGA_PERS_ERROR_VENOUS_PRESSURE_SESNOR TEST.EXPECTED:uut_prototype_stubs.checkFPGAPersistentAlarms.readCount:(2)0 TEST.END -- Subprogram: convertOcclusionPressures -- Test Case: convertOcclusionPressures_NominalPath TEST.UNIT:PresOccl TEST.SUBPROGRAM:convertOcclusionPressures TEST.NEW TEST.NAME:convertOcclusionPressures_NominalPath TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 315 TEST.VALUE:PresOccl.<>.dialInPumpOcclusion.data:0 >>> >>> Unknown parameter/object name dialInPumpOcclusion >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 316 TEST.VALUE:PresOccl.<>.dialOutPumpOcclusion.data:0 >>> >>> Unknown parameter/object name dialOutPumpOcclusion >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 318 TEST.VALUE:uut_prototype_stubs.getFPGADialInPumpOcclusion.return:5000 >>> >>> Could not find function getFPGADialInPumpOcclusion >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 319 TEST.VALUE:uut_prototype_stubs.getFPGADialOutPumpOcclusion.return:6000 >>> >>> Could not find function getFPGADialOutPumpOcclusion >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 321 TEST.EXPECTED:PresOccl.<>.dialInPumpOcclusion.data:5000 >>> >>> Unknown parameter/object name dialInPumpOcclusion >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 322 TEST.EXPECTED:PresOccl.<>.dialOutPumpOcclusion.data:6000 >>> >>> Unknown parameter/object name dialOutPumpOcclusion >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.data:0 TEST.VALUE:uut_prototype_stubs.getFPGABloodPumpOcclusion.return:4000 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusion.data:4000 TEST.END -- Subprogram: determineArtVenPressureLimits -- Test Case: determineArtVenPressureLimits.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:determineArtVenPressureLimits TEST.NEW TEST.NAME:determineArtVenPressureLimits.001 TEST.BASIS_PATH:1 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((PRESSURE_LIMITS_STATE_STABLE) == currPresLimitsState) ==> FALSE (6) if (currPresLimitsState > (PRESSURE_LIMITS_STATE_IDLE)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_OFF TEST.VALUE:PresOccl.<>.currentArterialMaxLimit:100 TEST.VALUE:PresOccl.<>.currentArterialMinLimit:-300 TEST.VALUE:PresOccl.<>.currentVenousMaxLimit:400 TEST.VALUE:PresOccl.<>.currentVenousMinLimit:20 TEST.EXPECTED:PresOccl.<>.currentArterialMaxLimit:100 TEST.EXPECTED:PresOccl.<>.currentArterialMinLimit:-300 TEST.EXPECTED:PresOccl.<>.currentVenousMaxLimit:400 TEST.EXPECTED:PresOccl.<>.currentVenousMinLimit:20 TEST.END -- Test Case: determineArtVenPressureLimits.002 TEST.UNIT:PresOccl TEST.SUBPROGRAM:determineArtVenPressureLimits TEST.NEW TEST.NAME:determineArtVenPressureLimits.002 TEST.BASIS_PATH:2 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((PRESSURE_LIMITS_STATE_STABLE) == currPresLimitsState) ==> FALSE (6) if (currPresLimitsState > (PRESSURE_LIMITS_STATE_IDLE)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABLE TEST.VALUE:PresOccl.<>.stableArterialPressure:-280 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:80 TEST.EXPECTED:PresOccl.<>.currentArterialMinLimit:-300 TEST.END -- Test Case: determineArtVenPressureLimits.003 TEST.UNIT:PresOccl TEST.SUBPROGRAM:determineArtVenPressureLimits TEST.NEW TEST.NAME:determineArtVenPressureLimits.003 TEST.BASIS_PATH:3 of 7 (template) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((PRESSURE_LIMITS_STATE_STABLE) == currPresLimitsState) ==> TRUE (2) if (currentArterialMinLimit < -(300.0F)) ==> FALSE (3) if (currentArterialMaxLimit > (100.0F)) ==> FALSE (4) if (currentVenousMinLimit < (20.0F)) ==> FALSE (5) if (currentVenousMaxLimit > (400.0F)) ==> FALSE (6) if (currPresLimitsState > (PRESSURE_LIMITS_STATE_IDLE)) ==> FALSE Test Case Generation Notes: Cannot set currentArterialMinLimit due to assignment Cannot set currentArterialMaxLimit due to assignment Cannot set currentVenousMinLimit due to assignment Cannot set currentVenousMaxLimit due to assignment Conflict: Trying to set variable PresOccl.<>.currPresLimitsState 'less than' and 'greater than' same value in branches 1/6 TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABLE TEST.VALUE:PresOccl.<>.stableArterialPressure:-100 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:80 TEST.EXPECTED:PresOccl.<>.currentArterialMinLimit:-140 TEST.END -- Test Case: determineArtVenPressureLimits.004 TEST.UNIT:PresOccl TEST.SUBPROGRAM:determineArtVenPressureLimits TEST.NEW TEST.NAME:determineArtVenPressureLimits.004 TEST.BASIS_PATH:4 of 7 (template) TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((PRESSURE_LIMITS_STATE_STABLE) == currPresLimitsState) ==> TRUE (2) if (currentArterialMinLimit < -(300.0F)) ==> FALSE (3) if (currentArterialMaxLimit > (100.0F)) ==> FALSE (4) if (currentVenousMinLimit < (20.0F)) ==> FALSE (5) if (currentVenousMaxLimit > (400.0F)) ==> TRUE (6) if (currPresLimitsState > (PRESSURE_LIMITS_STATE_IDLE)) ==> FALSE Test Case Generation Notes: Cannot set currentArterialMinLimit due to assignment Cannot set currentArterialMaxLimit due to assignment Cannot set currentVenousMinLimit due to assignment Cannot set currentVenousMaxLimit due to assignment Conflict: Trying to set variable PresOccl.<>.currPresLimitsState 'less than' and 'greater than' same value in branches 1/6 TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABLE TEST.VALUE:PresOccl.<>.stableArterialPressure:80 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:80 TEST.EXPECTED:PresOccl.<>.currentArterialMaxLimit:100 TEST.END -- Test Case: determineArtVenPressureLimits.005 TEST.UNIT:PresOccl TEST.SUBPROGRAM:determineArtVenPressureLimits TEST.NEW TEST.NAME:determineArtVenPressureLimits.005 TEST.BASIS_PATH:5 of 7 (template) TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((PRESSURE_LIMITS_STATE_STABLE) == currPresLimitsState) ==> TRUE (2) if (currentArterialMinLimit < -(300.0F)) ==> FALSE (3) if (currentArterialMaxLimit > (100.0F)) ==> FALSE (4) if (currentVenousMinLimit < (20.0F)) ==> TRUE (5) if (currentVenousMaxLimit > (400.0F)) ==> FALSE (6) if (currPresLimitsState > (PRESSURE_LIMITS_STATE_IDLE)) ==> FALSE Test Case Generation Notes: Cannot set currentArterialMinLimit due to assignment Cannot set currentArterialMaxLimit due to assignment Cannot set currentVenousMinLimit due to assignment Cannot set currentVenousMaxLimit due to assignment Conflict: Trying to set variable PresOccl.<>.currPresLimitsState 'less than' and 'greater than' same value in branches 1/6 TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABLE TEST.VALUE:PresOccl.<>.stableVenousPressure:100 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:60 TEST.EXPECTED:PresOccl.<>.currentVenousMinLimit:40 TEST.END -- Test Case: determineArtVenPressureLimits.006 TEST.UNIT:PresOccl TEST.SUBPROGRAM:determineArtVenPressureLimits TEST.NEW TEST.NAME:determineArtVenPressureLimits.006 TEST.BASIS_PATH:6 of 7 (template) TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((PRESSURE_LIMITS_STATE_STABLE) == currPresLimitsState) ==> TRUE (2) if (currentArterialMinLimit < -(300.0F)) ==> FALSE (3) if (currentArterialMaxLimit > (100.0F)) ==> TRUE (4) if (currentVenousMinLimit < (20.0F)) ==> FALSE (5) if (currentVenousMaxLimit > (400.0F)) ==> FALSE (6) if (currPresLimitsState > (PRESSURE_LIMITS_STATE_IDLE)) ==> FALSE Test Case Generation Notes: Cannot set currentArterialMinLimit due to assignment Cannot set currentArterialMaxLimit due to assignment Cannot set currentVenousMinLimit due to assignment Cannot set currentVenousMaxLimit due to assignment Conflict: Trying to set variable PresOccl.<>.currPresLimitsState 'less than' and 'greater than' same value in branches 1/6 TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABLE TEST.VALUE:PresOccl.<>.stableVenousPressure:420 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.param:(2)TREATMENT_PARAM_RINSEBACK_FLOW_RATE,80 TEST.EXPECTED:PresOccl.<>.currentVenousMaxLimit:400 TEST.END -- Test Case: determineArtVenPressureLimits.007 TEST.UNIT:PresOccl TEST.SUBPROGRAM:determineArtVenPressureLimits TEST.NEW TEST.NAME:determineArtVenPressureLimits.007 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((PRESSURE_LIMITS_STATE_STABLE) == currPresLimitsState) ==> FALSE (6) if (currPresLimitsState > (PRESSURE_LIMITS_STATE_IDLE)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION_2 TEST.VALUE:PresOccl.<>.stableArterialPressure:-280 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:80 TEST.EXPECTED:PresOccl.<>.currentArterialMinLimit:-300 TEST.END -- Subprogram: execPresOccl -- Test Case: execPresOccl_ContReadState TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPresOccl TEST.NEW TEST.NAME:execPresOccl_ContReadState TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1193 TEST.VALUE:uut_prototype_stubs.getFPGAArterialPressure.return:0x801000 >>> >>> Could not find function getFPGAArterialPressure >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 336 TEST.VALUE:PresOccl.<>.dialInPumpOcclusion.data:0 >>> >>> Unknown parameter/object name dialInPumpOcclusion >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 337 TEST.VALUE:PresOccl.<>.dialOutPumpOcclusion.data:0 >>> >>> Unknown parameter/object name dialOutPumpOcclusion >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 341 TEST.VALUE:uut_prototype_stubs.getFPGADialInPumpOcclusion.return:300 >>> >>> Could not find function getFPGADialInPumpOcclusion >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 342 TEST.VALUE:uut_prototype_stubs.getFPGADialOutPumpOcclusion.return:400 >>> >>> Could not find function getFPGADialOutPumpOcclusion >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 347 TEST.EXPECTED:PresOccl.<>.dialInPumpOcclusion.data:300 >>> >>> Unknown parameter/object name dialInPumpOcclusion >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 348 TEST.EXPECTED:PresOccl.<>.dialOutPumpOcclusion.data:400 >>> >>> Unknown parameter/object name dialOutPumpOcclusion >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:PresOccl.<>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE TEST.VALUE:PresOccl.<>.arterialPressure.data:0.0 TEST.VALUE:PresOccl.<>.venousPressure.data:0.0 TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.data:0 TEST.VALUE:uut_prototype_stubs.getFPGAVenousPressure.return:9000 TEST.VALUE:uut_prototype_stubs.getFPGABloodPumpOcclusion.return:200 TEST.EXPECTED:PresOccl.<>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE TEST.EXPECTED:PresOccl.<>.arterialPressure.data:-1939.22 TEST.EXPECTED:PresOccl.<>.venousPressure.data:191.401 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusion.data:200 TEST.END -- Test Case: execPresOccl_InitState TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPresOccl TEST.NEW TEST.NAME:execPresOccl_InitState TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1175 TEST.VALUE:PresOccl.<>.presOcclState:PRESSURE_INIT_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "PRESSURE_INIT_STATE" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.EXPECTED:PresOccl.<>.presOcclState:PRESSURE_WAIT_FOR_POST_STATE TEST.END -- Test Case: execPresOccl_InvalidState TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPresOccl TEST.NEW TEST.NAME:execPresOccl_InvalidState TEST.VALUE:PresOccl.<>.presOcclState:NUM_OF_PRESSURE_STATES TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:47 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:2 TEST.END -- Subprogram: execPresOcclDryTest -- Test Case: execPresOcclDryTest.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPresOcclDryTest TEST.NEW TEST.NAME:execPresOcclDryTest.001 TEST.MCDC_BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (bpPressure <= (5000) || bpPressure >= (20000)) ==> 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.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:PresOccl.execPresOcclDryTest.return:SELF_TEST_STATUS_FAILED TEST.EXPECTED:PresOccl.execPresOcclDryTest.return:SELF_TEST_STATUS_FAILED TEST.END -- Test Case: execPresOcclDryTest.002 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPresOcclDryTest TEST.NEW TEST.NAME:execPresOcclDryTest.002 TEST.MCDC_BASIS_PATH:3 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (bpPressure <= (5000) || bpPressure >= (20000)) ==> 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.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:PresOccl.execPresOcclDryTest.return:SELF_TEST_STATUS_FAILED TEST.EXPECTED:PresOccl.execPresOcclDryTest.return:SELF_TEST_STATUS_FAILED TEST.END -- Test Case: execPresOcclDryTest.003 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPresOcclDryTest TEST.NEW TEST.NAME:execPresOcclDryTest.003 TEST.MCDC_BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (bpPressure <= (5000) || bpPressure >= (20000)) ==> 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.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:5001 TEST.VALUE:PresOccl.execPresOcclDryTest.return:SELF_TEST_STATUS_PASSED TEST.EXPECTED:PresOccl.execPresOcclDryTest.return:SELF_TEST_STATUS_PASSED TEST.END -- Subprogram: execPresOcclSelfTest -- Test Case: execPresOcclSelfTest.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPresOcclSelfTest TEST.NEW TEST.NAME:execPresOcclSelfTest.001 TEST.BASIS_PATH:1 of 2 (template) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == calStatus) ==> FALSE Test Case Generation Notes: Cannot set calStatus due to assignment TEST.END_NOTES: TEST.VALUE:PresOccl.execPresOcclSelfTest.return:SELF_TEST_STATUS_PASSED TEST.EXPECTED:PresOccl.<>.presOcclPostState:PRESSURE_TEST_STATE_COMPLETE TEST.EXPECTED:PresOccl.execPresOcclSelfTest.return:SELF_TEST_STATUS_FAILED TEST.END -- Test Case: execPresOcclSelfTest.002 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPresOcclSelfTest TEST.NEW TEST.NAME:execPresOcclSelfTest.002 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == calStatus) ==> FALSE Test Case Generation Notes: Cannot set calStatus due to assignment TEST.END_NOTES: TEST.VALUE:PresOccl.execPresOcclSelfTest.return:SELF_TEST_STATUS_PASSED TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.return:1 TEST.EXPECTED:PresOccl.<>.presOcclPostState:PRESSURE_TEST_STATE_COMPLETE TEST.EXPECTED:PresOccl.execPresOcclSelfTest.return:SELF_TEST_STATUS_PASSED TEST.END -- Subprogram: execPresOcclTest -- Test Case: execPresOcclTest.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPresOcclTest TEST.NEW TEST.NAME:execPresOcclTest.001 TEST.MCDC_BASIS_PATH:2 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (bpPressure > (5000)) ==> 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:PresOccl.getFilteredArterialPressure TEST.STUB:PresOccl.getFilteredVenousPressure TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_BP_OCCLUSION_SELF_TEST_FAILURE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:4294967295 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:4294967295 TEST.END -- Test Case: execPresOcclTest.002 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPresOcclTest TEST.NEW TEST.NAME:execPresOcclTest.002 TEST.MCDC_BASIS_PATH:1 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (bpPressure > (5000)) ==> 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:PresOccl.getFilteredArterialPressure TEST.STUB:PresOccl.getFilteredVenousPressure TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.<>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE TEST.VALUE:PresOccl.getFilteredArterialPressure.return:0.0 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:0.0 TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.EXPECTED:PresOccl.<>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE TEST.END -- Test Case: execPresOcclTest.003 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPresOcclTest TEST.NEW TEST.NAME:execPresOcclTest.003 TEST.MCDC_BASIS_PATH:4 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (bpPressure > (5000)) ==> FALSE (2) if (arterialPressure <= -(300.0) || arterialPressure >= (100.0)) ==> TRUE Row number 2 forms a pair with Row 4 for Condition #2, subcondition "a". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:PresOccl.getFilteredArterialPressure TEST.STUB:PresOccl.getFilteredVenousPressure TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getFilteredArterialPressure.return:<> TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_ARTERIAL_PRESSURE_SELF_TEST_FAILURE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0 TEST.END -- Test Case: execPresOcclTest.004 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPresOcclTest TEST.NEW TEST.NAME:execPresOcclTest.004 TEST.MCDC_BASIS_PATH:5 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (bpPressure > (5000)) ==> FALSE (2) if (arterialPressure <= -(300.0) || arterialPressure >= (100.0)) ==> TRUE Row number 3 forms a pair with Row 4 for Condition #2, subcondition "b". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:PresOccl.getFilteredArterialPressure TEST.STUB:PresOccl.getFilteredVenousPressure TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getFilteredArterialPressure.return:<> TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_ARTERIAL_PRESSURE_SELF_TEST_FAILURE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0 TEST.END -- Test Case: execPresOcclTest.005 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPresOcclTest TEST.NEW TEST.NAME:execPresOcclTest.005 TEST.MCDC_BASIS_PATH:7 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if (bpPressure > (5000)) ==> FALSE (2) if (arterialPressure <= -(300.0) || arterialPressure >= (100.0)) ==> FALSE (3) if (venousPressure <= -(100.0) || venousPressure >= (600.0)) ==> TRUE Row number 2 forms a pair with Row 4 for Condition #3, subcondition "a". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:PresOccl.getFilteredArterialPressure TEST.STUB:PresOccl.getFilteredVenousPressure TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getFilteredArterialPressure.return:-299.9 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:<> TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VENOUS_PRESSURE_SELF_TEST_FAILURE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_ARTERIAL_PRESSURE_SELF_TEST_FAILURE,ALARM_ID_HD_VENOUS_PRESSURE_SELF_TEST_FAILURE TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:(2)ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:4294966997,0 TEST.END -- Test Case: execPresOcclTest.006 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPresOcclTest TEST.NEW TEST.NAME:execPresOcclTest.006 TEST.MCDC_BASIS_PATH:8 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if (bpPressure > (5000)) ==> FALSE (2) if (arterialPressure <= -(300.0) || arterialPressure >= (100.0)) ==> FALSE (3) if (venousPressure <= -(100.0) || venousPressure >= (600.0)) ==> TRUE Row number 3 forms a pair with Row 4 for Condition #3, subcondition "b". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:PresOccl.getFilteredArterialPressure TEST.STUB:PresOccl.getFilteredVenousPressure TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.getFilteredArterialPressure.return:-299.9 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:<> TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_VENOUS_PRESSURE_SELF_TEST_FAILURE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_ARTERIAL_PRESSURE_SELF_TEST_FAILURE,ALARM_ID_HD_VENOUS_PRESSURE_SELF_TEST_FAILURE TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:(2)ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:4294966997,0 TEST.END -- Subprogram: execPressureLimits -- Test Case: execPressureLimits.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.001 TEST.BASIS_PATH:1 of 17 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (currMode != (MODE_TREA)) ==> FALSE (17) case currPresLimitsState ==> default Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_WIDE TEST.END -- Test Case: execPressureLimits.005 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.005 TEST.BASIS_PATH:5 of 17 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (currMode != (MODE_TREA)) ==> FALSE (4) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_IDLE (5) if ((1) == bpRunning) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_IDLE TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_IDLE TEST.END -- Test Case: execPressureLimits.006 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.006 TEST.BASIS_PATH:6 of 17 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (currMode != (MODE_TREA)) ==> FALSE (6) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_WIDE (7) if (bpRunning != (1)) ==> FALSE (8) if ((TREATMENT_DIALYSIS_STATE) == currTxState || (TREATMENT_STOP_STATE) == currTxState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_WIDE TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_IDLE TEST.END -- Test Case: execPressureLimits.007 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.007 TEST.BASIS_PATH:7 of 17 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if (currMode != (MODE_TREA)) ==> FALSE (6) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_WIDE (7) if (bpRunning != (1)) ==> FALSE (8) if ((TREATMENT_DIALYSIS_STATE) == currTxState || (TREATMENT_STOP_STATE) == currTxState) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_WIDE TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION TEST.END -- Test Case: execPressureLimits.008 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.008 TEST.BASIS_PATH:8 of 17 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if (currMode != (MODE_TREA)) ==> FALSE (6) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_WIDE (7) if (bpRunning != (1)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_OFF TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:<> TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_RECIRC_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_OFF TEST.END -- Test Case: execPressureLimits.009 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.009 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 132 TEST.VALUE:PresOccl.<>.useShortStabilizeTime:1 >>> >>> Unknown parameter/object name useShortStabilizeTime >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:9 of 17 TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) if (currMode != (MODE_TREA)) ==> FALSE (9) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_STABILIZATION (10) if (bpRunning != (1)) ==> FALSE (11) if (currTxState != (TREATMENT_DIALYSIS_STATE) && currTxState != (TREATMENT_STOP_STATE)) ==> FALSE (12) if ((1) == didTimeout(stabilizationStartTimeMs, 30 * 1000)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION TEST.END -- Test Case: execPressureLimits.010 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.010 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 156 TEST.VALUE:PresOccl.<>.useShortStabilizeTime:0 >>> >>> Unknown parameter/object name useShortStabilizeTime >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:10 of 17 TEST.NOTES: This is an automatically generated test case. Test Path 10 (1) if (currMode != (MODE_TREA)) ==> FALSE (9) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_STABILIZATION (10) if (bpRunning != (1)) ==> FALSE (11) if (currTxState != (TREATMENT_DIALYSIS_STATE) && currTxState != (TREATMENT_STOP_STATE)) ==> FALSE (12) if ((1) == didTimeout(stabilizationStartTimeMs, 30 * 1000)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION_2 TEST.END -- Test Case: execPressureLimits.011 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.011 TEST.BASIS_PATH:11 of 17 TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if (currMode != (MODE_TREA)) ==> FALSE (9) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_STABILIZATION (10) if (bpRunning != (1)) ==> FALSE (11) if (currTxState != (TREATMENT_DIALYSIS_STATE) && currTxState != (TREATMENT_STOP_STATE)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_WIDE TEST.END -- Test Case: execPressureLimits.012 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.012 TEST.BASIS_PATH:12 of 17 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if (currMode != (MODE_TREA)) ==> FALSE (9) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_STABILIZATION (10) if (bpRunning != (1)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_STOP_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION TEST.END -- Test Case: execPressureLimits.013 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.013 TEST.BASIS_PATH:13 of 17 TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) if (currMode != (MODE_TREA)) ==> FALSE (13) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_STABLE (14) if (bpRunning != (1)) ==> FALSE (15) if (currTxState != (TREATMENT_DIALYSIS_STATE) && currTxState != (TREATMENT_STOP_STATE)) ==> FALSE (16) if ((1) == didTimeout(stabilizationStartTimeMs, (30 * 60) * 1000)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABLE TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION_2 TEST.END -- Test Case: execPressureLimits.014 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.014 TEST.BASIS_PATH:14 of 17 TEST.NOTES: This is an automatically generated test case. Test Path 14 (1) if (currMode != (MODE_TREA)) ==> FALSE (13) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_STABLE (14) if (bpRunning != (1)) ==> FALSE (15) if (currTxState != (TREATMENT_DIALYSIS_STATE) && currTxState != (TREATMENT_STOP_STATE)) ==> FALSE (16) if ((1) == didTimeout(stabilizationStartTimeMs, (30 * 60) * 1000)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABLE TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_IDLE TEST.END -- Test Case: execPressureLimits.015 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.015 TEST.BASIS_PATH:15 of 17 TEST.NOTES: This is an automatically generated test case. Test Path 15 (1) if (currMode != (MODE_TREA)) ==> FALSE (13) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_STABLE (14) if (bpRunning != (1)) ==> FALSE (15) if (currTxState != (TREATMENT_DIALYSIS_STATE) && currTxState != (TREATMENT_STOP_STATE)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABLE TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_BLOOD_PRIME_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_WIDE TEST.END -- Test Case: execPressureLimits.016 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.016 TEST.BASIS_PATH:16 of 17 TEST.NOTES: This is an automatically generated test case. Test Path 16 (1) if (currMode != (MODE_TREA)) ==> FALSE (13) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_STABLE (14) if (bpRunning != (1)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABLE TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_STOP_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABLE TEST.END -- Test Case: execPressureLimits.017 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.017 TEST.BASIS_PATH:17 of 17 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 17 (1) if (currMode != (MODE_TREA)) ==> TRUE (17) case currPresLimitsState ==> default Test Case Generation Notes: Cannot set currPresLimitsState due to assignment TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_OFF TEST.END -- Test Case: execPressureLimits.018 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.018 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (currMode != (MODE_TREA)) ==> FALSE (6) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_WIDE (7) if (bpRunning != (1)) ==> FALSE (8) if ((TREATMENT_DIALYSIS_STATE) == currTxState || (TREATMENT_STOP_STATE) == currTxState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_WIDE TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_STOP_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION TEST.END -- Test Case: execPressureLimits.019 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.019 TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if (currMode != (MODE_TREA)) ==> FALSE (9) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_STABILIZATION (10) if (bpRunning != (1)) ==> FALSE (11) if (currTxState != (TREATMENT_DIALYSIS_STATE) && currTxState != (TREATMENT_STOP_STATE)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:NUM_OF_PRESSURE_LIMITS_STATES TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_STOP_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.END -- Test Case: execPressureLimits.020 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.020 TEST.NOTES: This is an automatically generated test case. Test Path 15 (1) if (currMode != (MODE_TREA)) ==> FALSE (13) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_STABLE (14) if (bpRunning != (1)) ==> FALSE (15) if (currTxState != (TREATMENT_DIALYSIS_STATE) && currTxState != (TREATMENT_STOP_STATE)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_STOP_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_IDLE TEST.END -- Test Case: execPressureLimits.021 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.021 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (currMode != (MODE_TREA)) ==> FALSE (4) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_IDLE (5) if ((1) == bpRunning) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_IDLE TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:<> TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_WIDE TEST.END -- Test Case: execPressureLimits.022 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.022 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (currMode != (MODE_TREA)) ==> FALSE (4) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_IDLE (5) if ((1) == bpRunning) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_WIDE TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_RINSEBACK_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_WIDE TEST.END -- Test Case: execPressureLimits.023 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.023 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (currMode != (MODE_TREA)) ==> FALSE (4) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_IDLE (5) if ((1) == bpRunning) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_WIDE TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_RECIRC_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_OFF TEST.END -- Test Case: execPressureLimits.024 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.024 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (currMode != (MODE_TREA)) ==> FALSE (4) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_IDLE (5) if ((1) == bpRunning) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION TEST.VALUE:PresOccl.<>.pressureStabilizeTime:USE_SHORT_STABILIZATION_PERIOD TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION_2 TEST.END -- Test Case: execPressureLimits.025 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.025 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (currMode != (MODE_TREA)) ==> FALSE (4) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_IDLE (5) if ((1) == bpRunning) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION_2 TEST.VALUE:PresOccl.<>.pressureStabilizeTime:STABILIZATION_PERIOD_OFF TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABLE TEST.END -- Test Case: execPressureLimits.026 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.026 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (currMode != (MODE_TREA)) ==> FALSE (4) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_IDLE (5) if ((1) == bpRunning) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION_2 TEST.VALUE:PresOccl.<>.pressureStabilizeTime:USE_NORMAL_STABILIZATION_PERIOD TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABLE TEST.END -- Test Case: execPressureLimits.027 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.027 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (currMode != (MODE_TREA)) ==> FALSE (4) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_IDLE (5) if ((1) == bpRunning) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION_2 TEST.VALUE:PresOccl.<>.pressureStabilizeTime:USE_NORMAL_STABILIZATION_PERIOD TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:0 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_IDLE TEST.END -- Test Case: execPressureLimits.028 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.028 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (currMode != (MODE_TREA)) ==> FALSE (4) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_IDLE (5) if ((1) == bpRunning) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION_2 TEST.VALUE:PresOccl.<>.pressureStabilizeTime:USE_NORMAL_STABILIZATION_PERIOD TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_BLOOD_PRIME_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_WIDE TEST.END -- Test Case: execPressureLimits.029 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.029 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (currMode != (MODE_TREA)) ==> FALSE (4) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_IDLE (5) if ((1) == bpRunning) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION_2 TEST.VALUE:PresOccl.<>.pressureStabilizeTime:USE_NORMAL_STABILIZATION_PERIOD TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_STOP_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABLE TEST.END -- Test Case: execPressureLimits.030 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.030 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (currMode != (MODE_TREA)) ==> FALSE (4) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_IDLE (5) if ((1) == bpRunning) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION_2 TEST.VALUE:PresOccl.<>.pressureStabilizeTime:USE_NORMAL_STABILIZATION_PERIOD TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_STOP_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.didTimeout.return:0 TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION_2 TEST.END -- Test Case: execPressureLimits.031 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.031 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (currMode != (MODE_TREA)) ==> FALSE (4) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_IDLE (5) if ((1) == bpRunning) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION TEST.VALUE:PresOccl.<>.pressureStabilizeTime:USE_NORMAL_STABILIZATION_PERIOD TEST.VALUE:PresOccl.<>.partialBloodPumpOcclBaselineUpdate:1 TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION_2 TEST.EXPECTED:PresOccl.<>.partialBloodPumpOcclBaselineUpdate:0 TEST.END -- Test Case: execPressureLimits.032 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.032 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (currMode != (MODE_TREA)) ==> FALSE (4) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_IDLE (5) if ((1) == bpRunning) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION TEST.VALUE:PresOccl.<>.pressureStabilizeTime:USE_NORMAL_STABILIZATION_PERIOD TEST.VALUE:PresOccl.<>.partialBloodPumpOcclBaselineUpdate:1 TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_STOP_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION_2 TEST.EXPECTED:PresOccl.<>.partialBloodPumpOcclBaselineUpdate:1 TEST.END -- Test Case: execPressureLimits.033 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.033 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (currMode != (MODE_TREA)) ==> FALSE (4) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_IDLE (5) if ((1) == bpRunning) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION_2 TEST.VALUE:PresOccl.<>.pressureStabilizeTime:USE_NORMAL_STABILIZATION_PERIOD TEST.VALUE:PresOccl.<>.partialBloodPumpOcclBaselineUpdate:1 TEST.VALUE:PresOccl.<>.partialBloodPumpOcclBaselineUpdateTimerCounter:18002 TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.didTimeout.return:0 TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION_2 TEST.EXPECTED:PresOccl.<>.partialBloodPumpOcclBaselineUpdateTimerCounter:0 TEST.END -- Test Case: execPressureLimits.034 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.034 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (currMode != (MODE_TREA)) ==> FALSE (4) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_IDLE (5) if ((1) == bpRunning) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION_2 TEST.VALUE:PresOccl.<>.pressureStabilizeTime:USE_NORMAL_STABILIZATION_PERIOD TEST.VALUE:PresOccl.<>.partialBloodPumpOcclBaselineUpdate:1 TEST.VALUE:PresOccl.<>.partialBloodPumpOcclBaselineUpdateTimerCounter:17900 TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.didTimeout.return:0 TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION_2 TEST.EXPECTED:PresOccl.<>.partialBloodPumpOcclBaselineUpdateTimerCounter:17901 TEST.END -- Test Case: execPressureLimits.035 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.035 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (currMode != (MODE_TREA)) ==> FALSE (4) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_IDLE (5) if ((1) == bpRunning) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABLE TEST.VALUE:PresOccl.<>.pressureStabilizeTime:USE_NORMAL_STABILIZATION_PERIOD TEST.VALUE:PresOccl.<>.partialBloodPumpOcclBaselineUpdate:1 TEST.VALUE:PresOccl.<>.partialBloodPumpOcclBaselineUpdateTimerCounter:18000 TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.didTimeout.return:0 TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABLE TEST.EXPECTED:PresOccl.<>.partialBloodPumpOcclBaselineUpdateTimerCounter:0 TEST.END -- Test Case: execPressureLimits.036 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits TEST.NEW TEST.NAME:execPressureLimits.036 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (currMode != (MODE_TREA)) ==> FALSE (4) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_IDLE (5) if ((1) == bpRunning) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABLE TEST.VALUE:PresOccl.<>.pressureStabilizeTime:USE_NORMAL_STABILIZATION_PERIOD TEST.VALUE:PresOccl.<>.partialBloodPumpOcclBaselineUpdate:1 TEST.VALUE:PresOccl.<>.partialBloodPumpOcclBaselineUpdateTimerCounter:17000 TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:0 TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.didTimeout.return:0 TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABLE TEST.EXPECTED:PresOccl.<>.partialBloodPumpOcclBaselineUpdateTimerCounter:17001 TEST.END -- Subprogram: filterBloodPumpOcclReadings -- Test Case: filterBloodPumpOcclReadings.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:filterBloodPumpOcclReadings TEST.NEW TEST.NAME:filterBloodPumpOcclReadings.001 TEST.VALUE:PresOccl.<>.bloodPumpOcclReadingsCount:201 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclReadingsCount:200 TEST.END -- Test Case: filterBloodPumpOcclReadings.002 TEST.UNIT:PresOccl TEST.SUBPROGRAM:filterBloodPumpOcclReadings TEST.NEW TEST.NAME:filterBloodPumpOcclReadings.002 TEST.VALUE:PresOccl.<>.bloodPumpOcclReadingsIdx:199 TEST.VALUE:PresOccl.<>.bloodPumpOcclReadingsCount:198 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclReadingsIdx:0 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclReadingsCount:199 TEST.END -- Subprogram: filterInlinePressureReadings -- Test Case: filterInlinePressureReadings.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:filterInlinePressureReadings TEST.NEW TEST.NAME:filterInlinePressureReadings.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 3946 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:-3.40282E+38 >>> >>> Unexpected end of command - stopped at character 61 >>> >>> Command Ignored >>> (E) @LINE: 3947 TEST.VALUE:PresOccl.<>.shortFilteredVenousPressure:-1.70141E+38 >>> >>> Unexpected end of command - stopped at character 59 >>> >>> Command Ignored >>> (E) @LINE: 3956 TEST.EXPECTED:PresOccl.<>.shortFilteredArterialPressure:-3.40282E+38 >>> >>> Unexpected end of command - stopped at character 64 >>> >>> Command Ignored >>> (E) @LINE: 3957 TEST.EXPECTED:PresOccl.<>.shortFilteredVenousPressure:-1.70141E+38 >>> >>> Unexpected end of command - stopped at character 62 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.MCDC_BASIS_PATH:5 of 18 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> FALSE (3) (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Trying to set variable PresOccl.<>.artPressureReadingsLongCount 'less than' and 'greater than' same value in branches 1/3 TEST.END_NOTES: TEST.VALUE:PresOccl.<>.longFilteredArterialPressure:-1.70141E+36 TEST.VALUE:PresOccl.<>.artPressureReadingsLong[0]:-3.40282E+38 TEST.VALUE:PresOccl.<>.artPressureReadingsLongTotal:-3.40282E+38 TEST.VALUE:PresOccl.<>.artPressureReadingsLongCount:<> TEST.VALUE:PresOccl.<>.artPressureReadingsShort[0]:-3.40282E+38 TEST.VALUE:PresOccl.<>.venPressureReadingsShort[0]:-3.40282E+38 TEST.VALUE:PresOccl.filterInlinePressureReadings.artPres:<> TEST.VALUE:PresOccl.filterInlinePressureReadings.venPres:<> TEST.EXPECTED:PresOccl.<>.longFilteredArterialPressure:-1.70141E+36 TEST.EXPECTED:PresOccl.<>.artPressureReadingsLong[0]:-3.40282E+38 TEST.EXPECTED:PresOccl.<>.artPressureReadingsLongTotal:-3.40282E+38 TEST.EXPECTED:PresOccl.<>.artPressureReadingsShort[0]:-3.40282E+38 TEST.EXPECTED:PresOccl.<>.venPressureReadingsShort[0]:-3.40282E+38 TEST.END -- Test Case: filterInlinePressureReadings.002 TEST.UNIT:PresOccl TEST.SUBPROGRAM:filterInlinePressureReadings TEST.NEW TEST.NAME:filterInlinePressureReadings.002 TEST.MCDC_BASIS_PATH:1 of 18 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> 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:PresOccl.<>.artPressureReadingsLongCount:<> TEST.VALUE:PresOccl.filterInlinePressureReadings.artPres:<> TEST.VALUE:PresOccl.filterInlinePressureReadings.venPres:<> TEST.EXPECTED:PresOccl.<>.artPressureReadingsLongCount:1 TEST.EXPECTED:PresOccl.filterInlinePressureReadings.artPres:<> TEST.EXPECTED:PresOccl.filterInlinePressureReadings.venPres:<> TEST.END -- Test Case: filterInlinePressureReadings.003 TEST.UNIT:PresOccl TEST.SUBPROGRAM:filterInlinePressureReadings TEST.NEW TEST.NAME:filterInlinePressureReadings.003 TEST.MCDC_BASIS_PATH:8 of 18 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> FALSE (4) if (artPressureReadingsShortCount >= (1000 / 50) * 1) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set artPressureReadingsLongCount due to assignment TEST.END_NOTES: TEST.VALUE:PresOccl.<>.artPressureReadingsLongCount:<> TEST.VALUE:PresOccl.<>.artPressureReadingsShortCount:<> TEST.VALUE:PresOccl.filterInlinePressureReadings.artPres:<> TEST.VALUE:PresOccl.filterInlinePressureReadings.venPres:<> TEST.EXPECTED:PresOccl.<>.artPressureReadingsLongCount:1 TEST.EXPECTED:PresOccl.<>.artPressureReadingsShortCount:20 TEST.EXPECTED:PresOccl.filterInlinePressureReadings.artPres:<> TEST.EXPECTED:PresOccl.filterInlinePressureReadings.venPres:<> TEST.END -- Test Case: filterInlinePressureReadings.004 TEST.UNIT:PresOccl TEST.SUBPROGRAM:filterInlinePressureReadings TEST.NEW TEST.NAME:filterInlinePressureReadings.004 TEST.MCDC_BASIS_PATH:14 of 18 TEST.NOTES: This is an automatically generated test case. Test Path 14 (1) if (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> FALSE (4) if (artPressureReadingsShortCount >= (1000 / 50) * 1) ==> FALSE (7) if (venPressureReadingsShortCount >= (1000 / 50) * 1) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set artPressureReadingsLongCount due to assignment Cannot set artPressureReadingsShortCount due to assignment TEST.END_NOTES: TEST.VALUE:PresOccl.<>.artPressureReadingsLongCount:<> TEST.VALUE:PresOccl.<>.artPressureReadingsShortCount:<> TEST.VALUE:PresOccl.<>.venPressureReadingsShortCount:<> TEST.VALUE:PresOccl.filterInlinePressureReadings.artPres:<> TEST.VALUE:PresOccl.filterInlinePressureReadings.venPres:<> TEST.EXPECTED:PresOccl.<>.artPressureReadingsLongCount:1 TEST.EXPECTED:PresOccl.<>.artPressureReadingsShortCount:1 TEST.EXPECTED:PresOccl.<>.venPressureReadingsShortCount:2 TEST.EXPECTED:PresOccl.filterInlinePressureReadings.artPres:<> TEST.EXPECTED:PresOccl.filterInlinePressureReadings.venPres:<> TEST.END -- Test Case: filterInlinePressureReadings.005 TEST.UNIT:PresOccl TEST.SUBPROGRAM:filterInlinePressureReadings TEST.NEW TEST.NAME:filterInlinePressureReadings.005 TEST.NOTES: This is an automatically generated test case. Test Path 14 (1) if (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> FALSE (4) if (artPressureReadingsShortCount >= (1000 / 50) * 1) ==> FALSE (7) if (venPressureReadingsShortCount >= (1000 / 50) * 1) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set artPressureReadingsLongCount due to assignment Cannot set artPressureReadingsShortCount due to assignment TEST.END_NOTES: TEST.VALUE:PresOccl.<>.artPressureReadingsLongIdx:250 TEST.VALUE:PresOccl.<>.artPressureReadingsShortIdx:250 TEST.VALUE:PresOccl.<>.venPressureReadingsShortIdx:300 TEST.EXPECTED:PresOccl.<>.artPressureReadingsLongIdx:0 TEST.EXPECTED:PresOccl.<>.artPressureReadingsShortIdx:0 TEST.EXPECTED:PresOccl.<>.venPressureReadingsShortIdx:0 TEST.END -- Test Case: filterInlinePressureReadings.006 TEST.UNIT:PresOccl TEST.SUBPROGRAM:filterInlinePressureReadings TEST.NEW TEST.NAME:filterInlinePressureReadings.006 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 4083 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:-3.40282E+38 >>> >>> Unexpected end of command - stopped at character 61 >>> >>> Command Ignored >>> (E) @LINE: 4084 TEST.VALUE:PresOccl.<>.shortFilteredVenousPressure:-1.70141E+38 >>> >>> Unexpected end of command - stopped at character 59 >>> >>> Command Ignored >>> (E) @LINE: 4094 TEST.EXPECTED:PresOccl.<>.shortFilteredArterialPressure:-3.40282E+38 >>> >>> Unexpected end of command - stopped at character 64 >>> >>> Command Ignored >>> (E) @LINE: 4095 TEST.EXPECTED:PresOccl.<>.shortFilteredVenousPressure:-1.70141E+38 >>> >>> Unexpected end of command - stopped at character 62 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> FALSE (3) (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Trying to set variable PresOccl.<>.artPressureReadingsLongCount 'less than' and 'greater than' same value in branches 1/3 TEST.END_NOTES: TEST.VALUE:PresOccl.<>.longFilteredArterialPressure:-1.70141E+36 TEST.VALUE:PresOccl.<>.artPressureReadingsLong[0]:-3.40282E+38 TEST.VALUE:PresOccl.<>.artPressureReadingsLongTotal:-3.40282E+38 TEST.VALUE:PresOccl.<>.artPressureReadingsLongCount:<> TEST.VALUE:PresOccl.<>.artPressureReadingsShort[0]:-3.40282E+38 TEST.VALUE:PresOccl.<>.venPressureReadingsLongCount:200 TEST.VALUE:PresOccl.<>.venPressureReadingsShort[0]:-3.40282E+38 TEST.VALUE:PresOccl.filterInlinePressureReadings.artPres:<> TEST.VALUE:PresOccl.filterInlinePressureReadings.venPres:<> TEST.EXPECTED:PresOccl.<>.longFilteredArterialPressure:-1.70141E+36 TEST.EXPECTED:PresOccl.<>.artPressureReadingsLong[0]:-3.40282E+38 TEST.EXPECTED:PresOccl.<>.artPressureReadingsLongTotal:-3.40282E+38 TEST.EXPECTED:PresOccl.<>.artPressureReadingsShort[0]:-3.40282E+38 TEST.EXPECTED:PresOccl.<>.venPressureReadingsShort[0]:-3.40282E+38 TEST.END -- Test Case: filterInlinePressureReadings.007 TEST.UNIT:PresOccl TEST.SUBPROGRAM:filterInlinePressureReadings TEST.NEW TEST.NAME:filterInlinePressureReadings.007 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 4118 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:-3.40282E+38 >>> >>> Unexpected end of command - stopped at character 61 >>> >>> Command Ignored >>> (E) @LINE: 4119 TEST.VALUE:PresOccl.<>.shortFilteredVenousPressure:-1.70141E+38 >>> >>> Unexpected end of command - stopped at character 59 >>> >>> Command Ignored >>> (E) @LINE: 4129 TEST.EXPECTED:PresOccl.<>.shortFilteredArterialPressure:-3.40282E+38 >>> >>> Unexpected end of command - stopped at character 64 >>> >>> Command Ignored >>> (E) @LINE: 4130 TEST.EXPECTED:PresOccl.<>.shortFilteredVenousPressure:-1.70141E+38 >>> >>> Unexpected end of command - stopped at character 62 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> FALSE (3) (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Trying to set variable PresOccl.<>.artPressureReadingsLongCount 'less than' and 'greater than' same value in branches 1/3 TEST.END_NOTES: TEST.VALUE:PresOccl.<>.longFilteredArterialPressure:-1.70141E+36 TEST.VALUE:PresOccl.<>.artPressureReadingsLong[0]:-3.40282E+38 TEST.VALUE:PresOccl.<>.artPressureReadingsLongTotal:-3.40282E+38 TEST.VALUE:PresOccl.<>.artPressureReadingsLongCount:<> TEST.VALUE:PresOccl.<>.artPressureReadingsShort[0]:-3.40282E+38 TEST.VALUE:PresOccl.<>.venPressureReadingsLongIdx:199 TEST.VALUE:PresOccl.<>.venPressureReadingsShort[0]:-3.40282E+38 TEST.VALUE:PresOccl.filterInlinePressureReadings.artPres:<> TEST.VALUE:PresOccl.filterInlinePressureReadings.venPres:<> TEST.EXPECTED:PresOccl.<>.longFilteredArterialPressure:-1.70141E+36 TEST.EXPECTED:PresOccl.<>.artPressureReadingsLong[0]:-3.40282E+38 TEST.EXPECTED:PresOccl.<>.artPressureReadingsLongTotal:-3.40282E+38 TEST.EXPECTED:PresOccl.<>.artPressureReadingsShort[0]:-3.40282E+38 TEST.EXPECTED:PresOccl.<>.venPressureReadingsShort[0]:-3.40282E+38 TEST.END -- Subprogram: getFilteredArterialPressure -- Test Case: getFilteredArterialPressure.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:getFilteredArterialPressure TEST.NEW TEST.NAME:getFilteredArterialPressure.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.EXPECTED:PresOccl.getFilteredArterialPressure.return:0.0 TEST.END -- Subprogram: getFilteredVenousPressure -- Test Case: getFilteredVenousPressure.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:getFilteredVenousPressure TEST.NEW TEST.NAME:getFilteredVenousPressure.001 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:0.0 TEST.EXPECTED:PresOccl.getFilteredVenousPressure.return:0.0 TEST.END -- Subprogram: getLongFilteredArterialPressure -- Test Case: getLongFilteredArterialPressure.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:getLongFilteredArterialPressure TEST.NEW TEST.NAME:getLongFilteredArterialPressure.001 TEST.VALUE:PresOccl.getLongFilteredArterialPressure.return:0.0 TEST.EXPECTED:PresOccl.getLongFilteredArterialPressure.return:0.0 TEST.END -- Subprogram: getLongFilteredVenousPressure -- Test Case: getLongFilteredVenousPressure.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:getLongFilteredVenousPressure TEST.NEW TEST.NAME:getLongFilteredVenousPressure.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.VALUE:PresOccl.<>.longFilteredVenousPressure:100.8 TEST.EXPECTED:PresOccl.getLongFilteredVenousPressure.return:100.8 TEST.END -- Subprogram: getMeasuredArterialPressure -- Test Case: getMeasuredArterialPressure_NominalPath TEST.UNIT:PresOccl TEST.SUBPROGRAM:getMeasuredArterialPressure TEST.NEW TEST.NAME:getMeasuredArterialPressure_NominalPath TEST.VALUE:PresOccl.<>.arterialPressure.data:200.0 TEST.VALUE:PresOccl.<>.arterialPressure.ovData:0.0 TEST.VALUE:PresOccl.<>.arterialPressure.override:0 TEST.EXPECTED:PresOccl.getMeasuredArterialPressure.return:200.0 TEST.END -- Test Case: getMeasuredArterialPressure_Override TEST.UNIT:PresOccl TEST.SUBPROGRAM:getMeasuredArterialPressure TEST.NEW TEST.NAME:getMeasuredArterialPressure_Override TEST.VALUE:PresOccl.<>.arterialPressure.data:200.0 TEST.VALUE:PresOccl.<>.arterialPressure.ovData:300.0 TEST.VALUE:PresOccl.<>.arterialPressure.override:0xCCC33C33 TEST.EXPECTED:PresOccl.getMeasuredArterialPressure.return:300.0 TEST.END -- Subprogram: getMeasuredBloodPumpOcclusion -- Test Case: getMeasuredBloodPumpOcclusion_NominalPath TEST.UNIT:PresOccl TEST.SUBPROGRAM:getMeasuredBloodPumpOcclusion TEST.NEW TEST.NAME:getMeasuredBloodPumpOcclusion_NominalPath TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.data:200 TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.ovData:300 TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.override:0x0 TEST.EXPECTED:PresOccl.getMeasuredBloodPumpOcclusion.return:200 TEST.END -- Test Case: getMeasuredBloodPumpOcclusion_Override TEST.UNIT:PresOccl TEST.SUBPROGRAM:getMeasuredBloodPumpOcclusion TEST.NEW TEST.NAME:getMeasuredBloodPumpOcclusion_Override TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.data:200 TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.ovData:300 TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.override:0xCCC33C33 TEST.EXPECTED:PresOccl.getMeasuredBloodPumpOcclusion.return:300 TEST.END -- Subprogram: getMeasuredVenousPressure -- Test Case: getMeasuredVenousPressure_NominalPath TEST.UNIT:PresOccl TEST.SUBPROGRAM:getMeasuredVenousPressure TEST.NEW TEST.NAME:getMeasuredVenousPressure_NominalPath TEST.VALUE:PresOccl.<>.venousPressure.data:200.0 TEST.VALUE:PresOccl.<>.venousPressure.ovData:300.0 TEST.VALUE:PresOccl.<>.venousPressure.override:0 TEST.EXPECTED:PresOccl.getMeasuredVenousPressure.return:200.0 TEST.END -- Test Case: getMeasuredVenousPressure_Override TEST.UNIT:PresOccl TEST.SUBPROGRAM:getMeasuredVenousPressure TEST.NEW TEST.NAME:getMeasuredVenousPressure_Override TEST.VALUE:PresOccl.<>.venousPressure.data:200.0 TEST.VALUE:PresOccl.<>.venousPressure.ovData:300.0 TEST.VALUE:PresOccl.<>.venousPressure.override:0xCCC33C33 TEST.EXPECTED:PresOccl.getMeasuredVenousPressure.return:300.0 TEST.END -- Subprogram: handlePresOcclContReadState -- Test Case: handlePresOcclContReadState_NominalPath TEST.UNIT:PresOccl TEST.SUBPROGRAM:handlePresOcclContReadState TEST.NEW TEST.NAME:handlePresOcclContReadState_NominalPath TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1795 TEST.VALUE:uut_prototype_stubs.getFPGAArterialPressure.return:0x801000 >>> >>> Could not find function getFPGAArterialPressure >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 549 TEST.VALUE:PresOccl.<>.dialInPumpOcclusion.data:1 >>> >>> Unknown parameter/object name dialInPumpOcclusion >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 550 TEST.VALUE:PresOccl.<>.dialOutPumpOcclusion.data:1 >>> >>> Unknown parameter/object name dialOutPumpOcclusion >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 554 TEST.VALUE:uut_prototype_stubs.getFPGADialInPumpOcclusion.return:300 >>> >>> Could not find function getFPGADialInPumpOcclusion >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 555 TEST.VALUE:uut_prototype_stubs.getFPGADialOutPumpOcclusion.return:400 >>> >>> Could not find function getFPGADialOutPumpOcclusion >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 560 TEST.EXPECTED:PresOccl.<>.dialInPumpOcclusion.data:300 >>> >>> Unknown parameter/object name dialInPumpOcclusion >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 561 TEST.EXPECTED:PresOccl.<>.dialOutPumpOcclusion.data:400 >>> >>> Unknown parameter/object name dialOutPumpOcclusion >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 290 TEST.VALUE:PresOccl.<>.bloodPumpOcclusionPressureThresholdmmHG:500.0 >>> >>> Unknown parameter/object name bloodPumpOcclusionPressureThresholdmmHG >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 291 TEST.VALUE:PresOccl.<>.dialInPumpOcclusionPressureThresholdmmHG:500.0 >>> >>> Unknown parameter/object name dialInPumpOcclusionPressureThresholdmmHG >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 292 TEST.VALUE:PresOccl.<>.dialOutPumpOcclusionPressureThresholdmmHG:500.0 >>> >>> Unknown parameter/object name dialOutPumpOcclusionPressureThresholdmmHG >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 304 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusionPressureThresholdmmHG:500.0 >>> >>> Unknown parameter/object name bloodPumpOcclusionPressureThresholdmmHG >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 305 TEST.EXPECTED:PresOccl.<>.dialInPumpOcclusionPressureThresholdmmHG:500.0 >>> >>> Unknown parameter/object name dialInPumpOcclusionPressureThresholdmmHG >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 306 TEST.EXPECTED:PresOccl.<>.dialOutPumpOcclusionPressureThresholdmmHG:500.0 >>> >>> Unknown parameter/object name dialOutPumpOcclusionPressureThresholdmmHG >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:PresOccl.<>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE TEST.VALUE:PresOccl.<>.arterialPressure.data:1.0 TEST.VALUE:PresOccl.<>.venousPressure.data:1.0 TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.data:1 TEST.VALUE:uut_prototype_stubs.getFPGAVenousPressure.return:9000 TEST.VALUE:uut_prototype_stubs.getFPGABloodPumpOcclusion.return:200 TEST.EXPECTED:PresOccl.<>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE TEST.EXPECTED:PresOccl.<>.arterialPressure.data:-1939.22 TEST.EXPECTED:PresOccl.<>.venousPressure.data:191.401 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusion.data:200 TEST.EXPECTED:PresOccl.handlePresOcclContReadState.return:PRESSURE_CONTINUOUS_READ_STATE TEST.END -- Subprogram: handlePresOcclWaitForPOSTState -- Test Case: handlePresOcclWaitForPOSTState.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:handlePresOcclWaitForPOSTState TEST.NEW TEST.NAME:handlePresOcclWaitForPOSTState.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((PRESSURE_TEST_STATE_COMPLETE) == presOcclPostState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.presOcclPostState:PRESSURE_SELF_TEST_STATE_START TEST.EXPECTED:PresOccl.<>.presOcclPostState:PRESSURE_SELF_TEST_STATE_START TEST.END -- Test Case: handlePresOcclWaitForPOSTState.002 TEST.UNIT:PresOccl TEST.SUBPROGRAM:handlePresOcclWaitForPOSTState TEST.NEW TEST.NAME:handlePresOcclWaitForPOSTState.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((PRESSURE_TEST_STATE_COMPLETE) == presOcclPostState) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.presOcclPostState:PRESSURE_TEST_STATE_COMPLETE TEST.EXPECTED:PresOccl.<>.presOcclPostState:PRESSURE_TEST_STATE_COMPLETE TEST.END -- Subprogram: initPresOccl -- Test Case: initPresOccl_NominalPath TEST.UNIT:PresOccl TEST.SUBPROGRAM:initPresOccl TEST.NEW TEST.NAME:initPresOccl_NominalPath TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 4400 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:0.0 >>> >>> Unexpected end of command - stopped at character 61 >>> >>> Command Ignored >>> (E) @LINE: 4401 TEST.VALUE:PresOccl.<>.shortFilteredVenousPressure:0.0 >>> >>> Unexpected end of command - stopped at character 59 >>> >>> Command Ignored >>> (E) @LINE: 4407 TEST.EXPECTED:PresOccl.<>.shortFilteredArterialPressure:0.0 >>> >>> Unexpected end of command - stopped at character 64 >>> >>> Command Ignored >>> (E) @LINE: 4408 TEST.EXPECTED:PresOccl.<>.shortFilteredVenousPressure:0.0 >>> >>> Unexpected end of command - stopped at character 62 >>> >>> Command Ignored >>> (E) @LINE: 2358 TEST.EXPECTED:uut_prototype_stubs.initPersistentAlarm.alarmIndex:ALARM_ID_ARTERIAL_PRESSURE_LOW,ALARM_ID_ARTERIAL_PRESSURE_HIGH,ALARM_ID_VENOUS_PRESSURE_LOW,ALARM_ID_VENOUS_PRESSURE_HIGH,ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_LINE_OCCLUSION >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_ARTERIAL_PRESSURE_LOW" >>> >>> Command Ignored >>> (E) @LINE: 1959 TEST.VALUE:PresOccl.<>.lastBPOcclReadCtr:0 >>> >>> Unknown parameter/object name lastBPOcclReadCtr >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1960 TEST.VALUE:PresOccl.<>.lastBPErrorCtr:0 >>> >>> Unknown parameter/object name lastBPErrorCtr >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1968 TEST.EXPECTED:PresOccl.<>.lastBPOcclReadCtr:0 >>> >>> Unknown parameter/object name lastBPOcclReadCtr >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1969 TEST.EXPECTED:PresOccl.<>.lastBPErrorCtr:0 >>> >>> Unknown parameter/object name lastBPErrorCtr >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1971 TEST.VALUE:PresOccl.<>.lastArterialPressureReadCtr:0 >>> >>> Unknown parameter/object name lastArterialPressureReadCtr >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1972 TEST.VALUE:PresOccl.<>.lastVenousPressureReadCtr:0 >>> >>> Unknown parameter/object name lastVenousPressureReadCtr >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1982 TEST.EXPECTED:PresOccl.<>.lastArterialPressureReadCtr:0 >>> >>> Unknown parameter/object name lastArterialPressureReadCtr >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1983 TEST.EXPECTED:PresOccl.<>.lastVenousPressureReadCtr:0 >>> >>> Unknown parameter/object name lastVenousPressureReadCtr >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1986 TEST.EXPECTED:uut_prototype_stubs.initPersistentAlarm.alarmIndex:ALARM_ID_HD_VENOUS_PRESSURE_READ_TIMEOUT_ERROR,ALARM_ID_VENOUS_PRESSURE_SENSOR_FAULT,ALARM_ID_HD_ARTERIAL_PRESSURE_READ_TIMEOUT_ERROR,ALARM_ID_ARTERIAL_PRESSURE_SENSOR_FAULT,ALARM_ID_ARTERIAL_PRESSURE_LOW,ALARM_ID_ARTERIAL_PRESSURE_HIGH,ALARM_ID_VENOUS_PRESSURE_LOW,ALARM_ID_VENOUS_PRESSURE_HIGH,ALARM_ID_HD_BP_OCCLUSION_READ_TIMEOUT_ERROR,ALARM_ID_HD_BP_OCCLUSION_SENSOR_ERROR,ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_LINE_OCCLUSION >>> >>> Value for 'Enumeral' out of range >>> >>> Read "ALARM_ID_HD_VENOUS_PRESSURE_READ_TIMEOUT_ERROR" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:PresOccl.<>.longFilteredArterialPressure:0.0 TEST.VALUE:PresOccl.<>.bloodPumpOcclusionAfterCartridgeInstall:0 TEST.VALUE:uut_prototype_stubs.initPersistentAlarm.alarmIndex:ALARM_ID_HD_ARTERIAL_PRESSURE_LOW TEST.VALUE:uut_prototype_stubs.initPersistentAlarm.persistentClearPeriod:0 TEST.VALUE:uut_prototype_stubs.initPersistentAlarm.persistentTriggerPeriod:1000 TEST.EXPECTED:PresOccl.<>.longFilteredArterialPressure:0.0 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusionAfterCartridgeInstall:0 TEST.EXPECTED:uut_prototype_stubs.initPersistentAlarm.alarmIndex:ALARM_ID_HD_ARTERIAL_PRESSURE_LOW,ALARM_ID_HD_ARTERIAL_PRESSURE_HIGH,ALARM_ID_HD_VENOUS_PRESSURE_LOW,ALARM_ID_HD_VENOUS_PRESSURE_HIGH,ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE,ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE,ALARM_ID_HD_VENOUS_LINE_OCCLUSION TEST.EXPECTED:uut_prototype_stubs.initPersistentAlarm.persistentClearPeriod:(8)0 TEST.EXPECTED:uut_prototype_stubs.initPersistentAlarm.persistentTriggerPeriod:(3)1000,500,(2)1000,3000,1000 TEST.END -- Subprogram: isCartridgeLoaded -- Test Case: isCartridgeLoaded_BPOcclTooLow TEST.UNIT:PresOccl TEST.SUBPROGRAM:isCartridgeLoaded TEST.NEW TEST.NAME:isCartridgeLoaded_BPOcclTooLow TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 594 TEST.VALUE:PresOccl.<>.dialInPumpOcclusion.data:5000 >>> >>> Unknown parameter/object name dialInPumpOcclusion >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 595 TEST.VALUE:PresOccl.<>.dialOutPumpOcclusion.data:5000 >>> >>> Unknown parameter/object name dialOutPumpOcclusion >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.data:4999 TEST.EXPECTED:PresOccl.isCartridgeLoaded.return:0 TEST.END -- Test Case: isCartridgeLoaded_CartridgeLoaded TEST.UNIT:PresOccl TEST.SUBPROGRAM:isCartridgeLoaded TEST.NEW TEST.NAME:isCartridgeLoaded_CartridgeLoaded TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 605 TEST.VALUE:PresOccl.<>.dialInPumpOcclusion.data:5000 >>> >>> Unknown parameter/object name dialInPumpOcclusion >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 606 TEST.VALUE:PresOccl.<>.dialOutPumpOcclusion.data:5000 >>> >>> Unknown parameter/object name dialOutPumpOcclusion >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.data:5000 TEST.EXPECTED:PresOccl.isCartridgeLoaded.return:1 TEST.END -- Test Case: isCartridgeLoaded_DPiOcclTooLow TEST.UNIT:PresOccl TEST.SUBPROGRAM:isCartridgeLoaded TEST.NEW TEST.NAME:isCartridgeLoaded_DPiOcclTooLow TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 616 TEST.VALUE:PresOccl.<>.dialInPumpOcclusion.data:4999 >>> >>> Unknown parameter/object name dialInPumpOcclusion >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 617 TEST.VALUE:PresOccl.<>.dialOutPumpOcclusion.data:5000 >>> >>> Unknown parameter/object name dialOutPumpOcclusion >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.data:5000 TEST.VALUE:PresOccl.isCartridgeLoaded.return:1 TEST.EXPECTED:PresOccl.isCartridgeLoaded.return:1 TEST.END -- Test Case: isCartridgeLoaded_DPoOcclTooLow TEST.UNIT:PresOccl TEST.SUBPROGRAM:isCartridgeLoaded TEST.NEW TEST.NAME:isCartridgeLoaded_DPoOcclTooLow TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 627 TEST.VALUE:PresOccl.<>.dialInPumpOcclusion.data:5000 >>> >>> Unknown parameter/object name dialInPumpOcclusion >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 628 TEST.VALUE:PresOccl.<>.dialOutPumpOcclusion.data:4999 >>> >>> Unknown parameter/object name dialOutPumpOcclusion >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.data:5000 TEST.VALUE:PresOccl.isCartridgeLoaded.return:1 TEST.EXPECTED:PresOccl.isCartridgeLoaded.return:1 TEST.END -- Subprogram: isCartridgeUnloaded -- Test Case: isCartridgeUnloaded.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:isCartridgeUnloaded TEST.NEW TEST.NAME:isCartridgeUnloaded.001 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) (getMeasuredBloodPumpOcclusion() <= (5000)) ==> 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:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.isCartridgeUnloaded.return:1 TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.EXPECTED:PresOccl.isCartridgeUnloaded.return:1 TEST.END -- Test Case: isCartridgeUnloaded.002 TEST.UNIT:PresOccl TEST.SUBPROGRAM:isCartridgeUnloaded TEST.NEW TEST.NAME:isCartridgeUnloaded.002 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) (getMeasuredBloodPumpOcclusion() <= (5000)) ==> 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:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.isCartridgeUnloaded.return:0 TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.EXPECTED:PresOccl.isCartridgeUnloaded.return:0 TEST.END -- Subprogram: isSalineBagEmpty -- Test Case: isSalineBagEmpty.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:isSalineBagEmpty TEST.NEW TEST.NAME:isSalineBagEmpty.001 TEST.STUB:PresOccl.getMeasuredArterialPressure TEST.VALUE:PresOccl.<>.emptySalineBagCtr:1000 TEST.VALUE:PresOccl.isSalineBagEmpty.return:1 TEST.VALUE:PresOccl.getMeasuredArterialPressure.return:-400.0 TEST.EXPECTED:PresOccl.isSalineBagEmpty.return:1 TEST.END -- Test Case: isSalineBagEmpty.002 TEST.UNIT:PresOccl TEST.SUBPROGRAM:isSalineBagEmpty TEST.NEW TEST.NAME:isSalineBagEmpty.002 TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (getMeasuredArterialPressure() < -(300.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:PresOccl.getMeasuredArterialPressure TEST.VALUE:PresOccl.isSalineBagEmpty.return:0 TEST.VALUE:PresOccl.getMeasuredArterialPressure.return:<> TEST.EXPECTED:PresOccl.isSalineBagEmpty.return:0 TEST.END -- Test Case: isSalineBagEmpty.003 TEST.UNIT:PresOccl TEST.SUBPROGRAM:isSalineBagEmpty TEST.NEW TEST.NAME:isSalineBagEmpty.003 TEST.MCDC_BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (getMeasuredArterialPressure() < -(300.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:PresOccl.getMeasuredArterialPressure TEST.VALUE:PresOccl.<>.emptySalineBagCtr:0 TEST.VALUE:PresOccl.isSalineBagEmpty.return:0 TEST.VALUE:PresOccl.getMeasuredArterialPressure.return:<> TEST.EXPECTED:PresOccl.<>.emptySalineBagCtr:0 TEST.EXPECTED:PresOccl.isSalineBagEmpty.return:0 TEST.END -- Subprogram: publishPresOcclData -- Test Case: publishPresOcclData.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:publishPresOcclData TEST.NEW TEST.NAME:publishPresOcclData.001 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (++presOcclDataPublicationTimerCounter >= getU32OverrideValue(&presOcclDataPublishInterval)) ==> 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:PresOccl.<>.presOcclDataPublicationTimerCounter:1 TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> TEST.EXPECTED:PresOccl.<>.presOcclDataPublicationTimerCounter:2 TEST.END -- Test Case: publishPresOcclData_Interval TEST.UNIT:PresOccl TEST.SUBPROGRAM:publishPresOcclData TEST.NEW TEST.NAME:publishPresOcclData_Interval TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 644 TEST.VALUE:PresOccl.<>.dialInPumpOcclusion.data:300 >>> >>> Unknown parameter/object name dialInPumpOcclusion >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 645 TEST.VALUE:PresOccl.<>.dialOutPumpOcclusion.data:400 >>> >>> Unknown parameter/object name dialOutPumpOcclusion >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 646 TEST.VALUE:uut_prototype_stubs.broadcastPresOcclData.return:1 >>> >>> Could not find function broadcastPresOcclData >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:PresOccl.<>.presOcclDataPublicationTimerCounter:19 TEST.VALUE:PresOccl.<>.presOcclDataPublishInterval.data:20 TEST.VALUE:PresOccl.<>.arterialPressure.data:100.0 TEST.VALUE:PresOccl.<>.venousPressure.data:150.0 TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.data:200 TEST.EXPECTED:PresOccl.<>.presOcclDataPublicationTimerCounter:0 TEST.END -- Test Case: publishPresOcclData_NotInterval TEST.UNIT:PresOccl TEST.SUBPROGRAM:publishPresOcclData TEST.NEW TEST.NAME:publishPresOcclData_NotInterval TEST.VALUE:PresOccl.<>.presOcclDataPublicationTimerCounter:18 TEST.VALUE:PresOccl.<>.presOcclDataPublishInterval.data:20 TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_PRESSURE_OCCLUSION_DATA TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.VALUE:uut_prototype_stubs.broadcastData.dataPtr:"" TEST.VALUE:uut_prototype_stubs.broadcastData.length:20 TEST.VALUE:uut_prototype_stubs.broadcastData.return:1 TEST.EXPECTED:PresOccl.<>.presOcclDataPublicationTimerCounter:0 TEST.EXPECTED:PresOccl.<>.presOcclDataPublishInterval.data:20 TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_PRESSURE_OCCLUSION_DATA TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.EXPECTED:uut_prototype_stubs.broadcastData.dataPtr:"" TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:48 TEST.END -- Subprogram: resetArtVenPressureOffsets -- Test Case: resetArtVenPressureOffsets.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:resetArtVenPressureOffsets TEST.NEW TEST.NAME:resetArtVenPressureOffsets.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.VALUE:PresOccl.<>.arterialPressureOffset:33.33 TEST.VALUE:PresOccl.<>.venousPressureOffset:44.23 TEST.EXPECTED:PresOccl.<>.arterialPressureOffset:0.0 TEST.EXPECTED:PresOccl.<>.venousPressureOffset:0.0 TEST.END -- Subprogram: setArtVenPressureOffsets -- Test Case: setArtVenPressureOffsets.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:setArtVenPressureOffsets TEST.NEW TEST.NAME:setArtVenPressureOffsets.001 TEST.BASIS_PATH:1 of 2 (template) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (fabs(arterialPressureOffset) > (15.0F) || fabs(venousPressureOffset) > (15.0F)) ==> FALSE Test Case Generation Notes: Cannot set return value of function fabs in branch 1 TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredArterialPressure TEST.STUB:PresOccl.getMeasuredVenousPressure TEST.VALUE:PresOccl.getMeasuredArterialPressure.return:100.0 TEST.VALUE:PresOccl.getMeasuredVenousPressure.return:120.0 TEST.EXPECTED:PresOccl.<>.arterialPressureOffset:100.0 TEST.EXPECTED:PresOccl.<>.venousPressureOffset:120.0 TEST.END -- Test Case: setArtVenPressureOffsets.002 TEST.UNIT:PresOccl TEST.SUBPROGRAM:setArtVenPressureOffsets TEST.NEW TEST.NAME:setArtVenPressureOffsets.002 TEST.BASIS_PATH:2 of 2 (template) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (fabs(arterialPressureOffset) > (15.0F) || fabs(venousPressureOffset) > (15.0F)) ==> TRUE Test Case Generation Notes: Cannot set return value of function fabs in branch 1 TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredArterialPressure TEST.STUB:PresOccl.getMeasuredVenousPressure TEST.VALUE:PresOccl.getMeasuredArterialPressure.return:10.0 TEST.VALUE:PresOccl.getMeasuredVenousPressure.return:12.0 TEST.EXPECTED:PresOccl.<>.arterialPressureOffset:10.0 TEST.EXPECTED:PresOccl.<>.venousPressureOffset:12.0 TEST.END -- Test Case: setArtVenPressureOffsets.004 TEST.UNIT:PresOccl TEST.SUBPROGRAM:setArtVenPressureOffsets TEST.NEW TEST.NAME:setArtVenPressureOffsets.004 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (fabs(arterialPressureOffset) > (15.0F) || fabs(venousPressureOffset) > (15.0F)) ==> FALSE Test Case Generation Notes: Cannot set return value of function fabs in branch 1 TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredVenousPressure TEST.VALUE:PresOccl.getMeasuredVenousPressure.return:16.0 TEST.EXPECTED:PresOccl.<>.venousPressureOffset:16.0 TEST.END -- Subprogram: setOcclusionInstallLevel -- Test Case: setOcclusionInstallLevel.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:setOcclusionInstallLevel TEST.NEW TEST.NAME:setOcclusionInstallLevel.001 TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion TEST.VALUE:PresOccl.<>.bloodPumpOcclusionAfterCartridgeInstall:1 TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:1 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusionAfterCartridgeInstall:1 TEST.END -- Subprogram: setPressureLimitsToOuterBounds -- Test Case: setPressureLimitsToOuterBounds.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:setPressureLimitsToOuterBounds TEST.NEW TEST.NAME:setPressureLimitsToOuterBounds.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.EXPECTED:PresOccl.<>.currentArterialMaxLimit:100 TEST.EXPECTED:PresOccl.<>.currentArterialMinLimit:-300 TEST.EXPECTED:PresOccl.<>.currentVenousMaxLimit:400 TEST.EXPECTED:PresOccl.<>.currentVenousMinLimit:20 TEST.END -- Subprogram: signalInitiatePressureStabilization -- Test Case: signalInitiatePressureStabilization.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:signalInitiatePressureStabilization TEST.NEW TEST.NAME:signalInitiatePressureStabilization.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 177 TEST.VALUE:PresOccl.signalInitiatePressureStabilization.useShort:20 >>> >>> Unknown parameter/object name useShort >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 178 TEST.EXPECTED:PresOccl.<>.useShortStabilizeTime:20 >>> >>> Unknown parameter/object name useShortStabilizeTime >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((PRESSURE_LIMITS_STATE_STABILIZATION) == currPresLimitsState) ==> FALSE (2) if ((PRESSURE_LIMITS_STATE_STABLE) == currPresLimitsState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_OFF TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_OFF TEST.END -- Test Case: signalInitiatePressureStabilization.002 TEST.UNIT:PresOccl TEST.SUBPROGRAM:signalInitiatePressureStabilization TEST.NEW TEST.NAME:signalInitiatePressureStabilization.002 TEST.BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((PRESSURE_LIMITS_STATE_STABILIZATION) == currPresLimitsState) ==> FALSE (2) if ((PRESSURE_LIMITS_STATE_STABLE) == currPresLimitsState) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION TEST.VALUE:PresOccl.signalInitiatePressureStabilization.stabilizationPeriod:USE_NORMAL_STABILIZATION_PERIOD TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:5000 TEST.EXPECTED:PresOccl.<>.stabilizationStartTimeMs:5000 TEST.END -- Test Case: signalInitiatePressureStabilization.003 TEST.UNIT:PresOccl TEST.SUBPROGRAM:signalInitiatePressureStabilization TEST.NEW TEST.NAME:signalInitiatePressureStabilization.003 TEST.BASIS_PATH:3 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((PRESSURE_LIMITS_STATE_STABILIZATION) == currPresLimitsState) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABLE TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:6000 TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION TEST.EXPECTED:PresOccl.<>.stabilizationStartTimeMs:6000 TEST.END -- Test Case: signalInitiatePressureStabilization.004 TEST.UNIT:PresOccl TEST.SUBPROGRAM:signalInitiatePressureStabilization TEST.NEW TEST.NAME:signalInitiatePressureStabilization.004 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((PRESSURE_LIMITS_STATE_STABILIZATION) == currPresLimitsState) ==> FALSE (2) if ((PRESSURE_LIMITS_STATE_STABLE) == currPresLimitsState) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION TEST.VALUE:PresOccl.<>.stabilizationStartTimeMs:1000 TEST.VALUE:PresOccl.signalInitiatePressureStabilization.stabilizationPeriod:USE_SHORT_STABILIZATION_PERIOD TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:54000 TEST.EXPECTED:PresOccl.<>.stabilizationStartTimeMs:1000 TEST.END -- Test Case: signalInitiatePressureStabilization.005 TEST.UNIT:PresOccl TEST.SUBPROGRAM:signalInitiatePressureStabilization TEST.NEW TEST.NAME:signalInitiatePressureStabilization.005 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((PRESSURE_LIMITS_STATE_STABILIZATION) == currPresLimitsState) ==> FALSE (2) if ((PRESSURE_LIMITS_STATE_STABLE) == currPresLimitsState) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION TEST.VALUE:PresOccl.<>.stabilizationStartTimeMs:1000 TEST.VALUE:PresOccl.signalInitiatePressureStabilization.stabilizationPeriod:USE_SHORT_STABILIZATION_PERIOD TEST.VALUE:uut_prototype_stubs.u32DiffWithWrap.return:54000 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:54000 TEST.EXPECTED:PresOccl.<>.stabilizationStartTimeMs:54000 TEST.END -- Test Case: signalInitiatePressureStabilization.006 TEST.UNIT:PresOccl TEST.SUBPROGRAM:signalInitiatePressureStabilization TEST.NEW TEST.NAME:signalInitiatePressureStabilization.006 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((PRESSURE_LIMITS_STATE_STABILIZATION) == currPresLimitsState) ==> FALSE (2) if ((PRESSURE_LIMITS_STATE_STABLE) == currPresLimitsState) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION_2 TEST.VALUE:PresOccl.<>.stabilizationStartTimeMs:1000 TEST.VALUE:PresOccl.signalInitiatePressureStabilization.stabilizationPeriod:USE_SHORT_STABILIZATION_PERIOD TEST.VALUE:uut_prototype_stubs.u32DiffWithWrap.return:54000 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:54000 TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION TEST.EXPECTED:PresOccl.<>.stabilizationStartTimeMs:54000 TEST.END -- Subprogram: signalLowVenousPressureCheck -- Test Case: signalLowVenousPressureCheck.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:signalLowVenousPressureCheck TEST.NEW TEST.NAME:signalLowVenousPressureCheck.001 TEST.EXPECTED:PresOccl.<>.lowVenousPressureExemptCheck:1 TEST.END -- Subprogram: testResetArterialPressureOverride -- Test Case: testResetArterialPressureOverride_LoggedIn TEST.UNIT:PresOccl TEST.SUBPROGRAM:testResetArterialPressureOverride TEST.NEW TEST.NAME:testResetArterialPressureOverride_LoggedIn TEST.VALUE:PresOccl.<>.arterialPressure.data:100.0 TEST.VALUE:PresOccl.<>.arterialPressure.ovInitData:0.0 TEST.VALUE:PresOccl.<>.arterialPressure.ovData:200.0 TEST.VALUE:PresOccl.<>.arterialPressure.override:0xCCC33C33 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:PresOccl.<>.arterialPressure.data:100.0 TEST.EXPECTED:PresOccl.<>.arterialPressure.ovData:0.0 TEST.EXPECTED:PresOccl.<>.arterialPressure.override:0 TEST.EXPECTED:PresOccl.testResetArterialPressureOverride.return:1 TEST.END -- Test Case: testResetArterialPressureOverride_NotLoggedIn TEST.UNIT:PresOccl TEST.SUBPROGRAM:testResetArterialPressureOverride TEST.NEW TEST.NAME:testResetArterialPressureOverride_NotLoggedIn TEST.VALUE:PresOccl.<>.arterialPressure.data:100.0 TEST.VALUE:PresOccl.<>.arterialPressure.ovInitData:0.0 TEST.VALUE:PresOccl.<>.arterialPressure.ovData:200.0 TEST.VALUE:PresOccl.<>.arterialPressure.override:0xCCC33C33 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:PresOccl.<>.arterialPressure.data:100.0 TEST.EXPECTED:PresOccl.<>.arterialPressure.ovData:200.0 TEST.EXPECTED:PresOccl.<>.arterialPressure.override:0xCCC33C33 TEST.EXPECTED:PresOccl.testResetArterialPressureOverride.return:0 TEST.END -- Test Case: testResetArterialPressureOverride_NotLoggedIn.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:testResetArterialPressureOverride TEST.NEW TEST.NAME:testResetArterialPressureOverride_NotLoggedIn.001 TEST.VALUE:PresOccl.<>.arterialPressure.data:100.0 TEST.VALUE:PresOccl.<>.arterialPressure.ovInitData:0.0 TEST.VALUE:PresOccl.<>.arterialPressure.ovData:200.0 TEST.VALUE:PresOccl.<>.arterialPressure.override:0xCCC33C33 TEST.VALUE:PresOccl.testResetArterialPressureOverride.filtered:1 TEST.VALUE:PresOccl.testResetArterialPressureOverride.return:1 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:PresOccl.<>.arterialPressure.data:100.0 TEST.EXPECTED:PresOccl.<>.arterialPressure.ovData:200.0 TEST.EXPECTED:PresOccl.<>.arterialPressure.override:0xCCC33C33 TEST.EXPECTED:PresOccl.<>.shortFilteredArterialPressure.override:0x0 TEST.EXPECTED:PresOccl.testResetArterialPressureOverride.return:1 TEST.END -- Subprogram: testResetBloodPumpOcclusionOverride -- Test Case: testResetBloodPumpOcclusionOverride_LoggedIn TEST.UNIT:PresOccl TEST.SUBPROGRAM:testResetBloodPumpOcclusionOverride TEST.NEW TEST.NAME:testResetBloodPumpOcclusionOverride_LoggedIn TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.data:200 TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.ovInitData:0 TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.ovData:300 TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.override:0xCCC33C33 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusion.data:200 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusion.ovInitData:0 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusion.ovData:0 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusion.override:0 TEST.EXPECTED:PresOccl.testResetBloodPumpOcclusionOverride.return:1 TEST.END -- Test Case: testResetBloodPumpOcclusionOverride_NotLoggedIn TEST.UNIT:PresOccl TEST.SUBPROGRAM:testResetBloodPumpOcclusionOverride TEST.NEW TEST.NAME:testResetBloodPumpOcclusionOverride_NotLoggedIn TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.data:200 TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.ovInitData:0 TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.ovData:300 TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.override:0xCCC33C33 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusion.data:200 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusion.ovInitData:0 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusion.ovData:300 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusion.override:0xCCC33C33 TEST.EXPECTED:PresOccl.testResetBloodPumpOcclusionOverride.return:0 TEST.END -- Subprogram: testResetBloodPumpPartialOcclusionBaselineOverride -- Test Case: testResetBloodPumpPartialOcclusionBaselineOverride.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:testResetBloodPumpPartialOcclusionBaselineOverride TEST.NEW TEST.NAME:testResetBloodPumpPartialOcclusionBaselineOverride.001 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:PresOccl.<>.bloodPumpPartialOcclusionBaseline.ovData:0.0 TEST.EXPECTED:PresOccl.<>.bloodPumpPartialOcclusionBaseline.override:0 TEST.END -- Test Case: testResetBloodPumpPartialOcclusionBaselineOverride.002 TEST.UNIT:PresOccl TEST.SUBPROGRAM:testResetBloodPumpPartialOcclusionBaselineOverride TEST.NEW TEST.NAME:testResetBloodPumpPartialOcclusionBaselineOverride.002 TEST.VALUE:PresOccl.<>.bloodPumpPartialOcclusionBaseline.ovData:10000.0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:PresOccl.<>.bloodPumpPartialOcclusionBaseline.ovData:10000.0 TEST.END -- Subprogram: testResetFilteredBloodPumpOcclusionOverride -- Test Case: testResetFilteredBloodPumpOcclusionOverride.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:testResetFilteredBloodPumpOcclusionOverride TEST.NEW TEST.NAME:testResetFilteredBloodPumpOcclusionOverride.001 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:PresOccl.<>.filteredBloodPumpOccl.ovData:0.0 TEST.EXPECTED:PresOccl.<>.filteredBloodPumpOccl.override:0 TEST.END -- Test Case: testResetFilteredBloodPumpOcclusionOverride.002 TEST.UNIT:PresOccl TEST.SUBPROGRAM:testResetFilteredBloodPumpOcclusionOverride TEST.NEW TEST.NAME:testResetFilteredBloodPumpOcclusionOverride.002 TEST.VALUE:PresOccl.<>.filteredBloodPumpOccl.ovData:10000.0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:PresOccl.<>.filteredBloodPumpOccl.ovData:10000.0 TEST.END -- Subprogram: testResetPresOcclDataPublishIntervalOverride -- Test Case: testResetPresOcclDataPublishIntervalOverride_LoggedIn TEST.UNIT:PresOccl TEST.SUBPROGRAM:testResetPresOcclDataPublishIntervalOverride TEST.NEW TEST.NAME:testResetPresOcclDataPublishIntervalOverride_LoggedIn TEST.VALUE:PresOccl.<>.presOcclDataPublishInterval.data:20 TEST.VALUE:PresOccl.<>.presOcclDataPublishInterval.ovInitData:0 TEST.VALUE:PresOccl.<>.presOcclDataPublishInterval.ovData:10 TEST.VALUE:PresOccl.<>.presOcclDataPublishInterval.override:0xCCC33C33 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:PresOccl.<>.presOcclDataPublishInterval.data:20 TEST.EXPECTED:PresOccl.<>.presOcclDataPublishInterval.ovInitData:0 TEST.EXPECTED:PresOccl.<>.presOcclDataPublishInterval.ovData:0 TEST.EXPECTED:PresOccl.<>.presOcclDataPublishInterval.override:0 TEST.EXPECTED:PresOccl.testResetPresOcclDataPublishIntervalOverride.return:1 TEST.END -- Test Case: testResetPresOcclDataPublishIntervalOverride_NotLoggedIn TEST.UNIT:PresOccl TEST.SUBPROGRAM:testResetPresOcclDataPublishIntervalOverride TEST.NEW TEST.NAME:testResetPresOcclDataPublishIntervalOverride_NotLoggedIn TEST.VALUE:PresOccl.<>.presOcclDataPublishInterval.data:20 TEST.VALUE:PresOccl.<>.presOcclDataPublishInterval.ovInitData:0 TEST.VALUE:PresOccl.<>.presOcclDataPublishInterval.ovData:10 TEST.VALUE:PresOccl.<>.presOcclDataPublishInterval.override:0xCCC33C33 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:PresOccl.<>.presOcclDataPublishInterval.data:20 TEST.EXPECTED:PresOccl.<>.presOcclDataPublishInterval.ovInitData:0 TEST.EXPECTED:PresOccl.<>.presOcclDataPublishInterval.ovData:10 TEST.EXPECTED:PresOccl.<>.presOcclDataPublishInterval.override:0xCCC33C33 TEST.EXPECTED:PresOccl.testResetPresOcclDataPublishIntervalOverride.return:0 TEST.END -- Subprogram: testResetVenousPressureOverride -- Test Case: testResetVenousPressureOverride_LoggedIn TEST.UNIT:PresOccl TEST.SUBPROGRAM:testResetVenousPressureOverride TEST.NEW TEST.NAME:testResetVenousPressureOverride_LoggedIn TEST.VALUE:PresOccl.<>.venousPressure.data:200.0 TEST.VALUE:PresOccl.<>.venousPressure.ovInitData:0.0 TEST.VALUE:PresOccl.<>.venousPressure.ovData:300.0 TEST.VALUE:PresOccl.<>.venousPressure.override:0xCCC33C33 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:PresOccl.<>.venousPressure.data:200.0 TEST.EXPECTED:PresOccl.<>.venousPressure.ovInitData:0.0 TEST.EXPECTED:PresOccl.<>.venousPressure.ovData:0.0 TEST.EXPECTED:PresOccl.<>.venousPressure.override:0 TEST.EXPECTED:PresOccl.testResetVenousPressureOverride.return:1 TEST.END -- Test Case: testResetVenousPressureOverride_NotLoggedIn TEST.UNIT:PresOccl TEST.SUBPROGRAM:testResetVenousPressureOverride TEST.NEW TEST.NAME:testResetVenousPressureOverride_NotLoggedIn TEST.VALUE:PresOccl.<>.venousPressure.data:200.0 TEST.VALUE:PresOccl.<>.venousPressure.ovInitData:0.0 TEST.VALUE:PresOccl.<>.venousPressure.ovData:300.0 TEST.VALUE:PresOccl.<>.venousPressure.override:0xCCC33C33 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:PresOccl.<>.venousPressure.data:200.0 TEST.EXPECTED:PresOccl.<>.venousPressure.ovInitData:0.0 TEST.EXPECTED:PresOccl.<>.venousPressure.ovData:300.0 TEST.EXPECTED:PresOccl.<>.venousPressure.override:0xCCC33C33 TEST.EXPECTED:PresOccl.testResetVenousPressureOverride.return:0 TEST.END -- Test Case: testResetVenousPressureOverride_NotLoggedIn.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:testResetVenousPressureOverride TEST.NEW TEST.NAME:testResetVenousPressureOverride_NotLoggedIn.001 TEST.VALUE:PresOccl.<>.venousPressure.data:200.0 TEST.VALUE:PresOccl.<>.venousPressure.ovInitData:0.0 TEST.VALUE:PresOccl.<>.venousPressure.ovData:300.0 TEST.VALUE:PresOccl.<>.venousPressure.override:0xCCC33C33 TEST.VALUE:PresOccl.testResetVenousPressureOverride.filtered:1 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:PresOccl.<>.venousPressure.data:200.0 TEST.EXPECTED:PresOccl.<>.venousPressure.ovInitData:0.0 TEST.EXPECTED:PresOccl.<>.venousPressure.ovData:300.0 TEST.EXPECTED:PresOccl.<>.venousPressure.override:0xCCC33C33 TEST.EXPECTED:PresOccl.<>.shortFilteredVenousPressure.override:0x0 TEST.EXPECTED:PresOccl.testResetVenousPressureOverride.return:1 TEST.END -- Subprogram: testSetArterialPressureOverride -- Test Case: testSetArterialPressureOverride_LoggedIn TEST.UNIT:PresOccl TEST.SUBPROGRAM:testSetArterialPressureOverride TEST.NEW TEST.NAME:testSetArterialPressureOverride_LoggedIn TEST.VALUE:PresOccl.<>.arterialPressure.data:200.0 TEST.VALUE:PresOccl.<>.arterialPressure.ovData:0.0 TEST.VALUE:PresOccl.<>.arterialPressure.override:0 TEST.VALUE:PresOccl.testSetArterialPressureOverride.value:300.0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:PresOccl.<>.arterialPressure.data:200.0 TEST.EXPECTED:PresOccl.<>.arterialPressure.ovData:300.0 TEST.EXPECTED:PresOccl.<>.arterialPressure.override:0xCCC33C33 TEST.EXPECTED:PresOccl.testSetArterialPressureOverride.return:1 TEST.END -- Test Case: testSetArterialPressureOverride_NotLoggedIn TEST.UNIT:PresOccl TEST.SUBPROGRAM:testSetArterialPressureOverride TEST.NEW TEST.NAME:testSetArterialPressureOverride_NotLoggedIn TEST.VALUE:PresOccl.<>.arterialPressure.data:200.0 TEST.VALUE:PresOccl.<>.arterialPressure.ovData:0.0 TEST.VALUE:PresOccl.<>.arterialPressure.override:0 TEST.VALUE:PresOccl.testSetArterialPressureOverride.value:300.0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:PresOccl.<>.arterialPressure.data:200.0 TEST.EXPECTED:PresOccl.<>.arterialPressure.ovData:0.0 TEST.EXPECTED:PresOccl.<>.arterialPressure.override:0x0 TEST.EXPECTED:PresOccl.testSetArterialPressureOverride.return:0 TEST.END -- Test Case: testSetArterialPressureOverride_NotLoggedIn.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:testSetArterialPressureOverride TEST.NEW TEST.NAME:testSetArterialPressureOverride_NotLoggedIn.001 TEST.VALUE:PresOccl.<>.arterialPressure.data:200.0 TEST.VALUE:PresOccl.<>.arterialPressure.ovData:0.0 TEST.VALUE:PresOccl.<>.arterialPressure.override:0 TEST.VALUE:PresOccl.testSetArterialPressureOverride.value:300.0 TEST.VALUE:PresOccl.testSetArterialPressureOverride.filtered:1 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:PresOccl.<>.arterialPressure.data:200.0 TEST.EXPECTED:PresOccl.<>.arterialPressure.ovData:0.0 TEST.EXPECTED:PresOccl.<>.arterialPressure.override:0x0 TEST.EXPECTED:PresOccl.<>.shortFilteredArterialPressure.ovData:300.0 TEST.EXPECTED:PresOccl.testSetArterialPressureOverride.return:1 TEST.END -- Subprogram: testSetBloodPumpOcclusionOverride -- Test Case: testSetBloodPumpOcclusionOverride_LoggedIn TEST.UNIT:PresOccl TEST.SUBPROGRAM:testSetBloodPumpOcclusionOverride TEST.NEW TEST.NAME:testSetBloodPumpOcclusionOverride_LoggedIn TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.data:200 TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.ovInitData:0 TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.ovData:0 TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.override:0 TEST.VALUE:PresOccl.testSetBloodPumpOcclusionOverride.value:300 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusion.data:200 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusion.ovInitData:0 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusion.ovData:300 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusion.override:0xCCC33C33 TEST.EXPECTED:PresOccl.testSetBloodPumpOcclusionOverride.return:1 TEST.END -- Test Case: testSetBloodPumpOcclusionOverride_NotLoggedIn TEST.UNIT:PresOccl TEST.SUBPROGRAM:testSetBloodPumpOcclusionOverride TEST.NEW TEST.NAME:testSetBloodPumpOcclusionOverride_NotLoggedIn TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.data:200 TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.ovInitData:0 TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.ovData:0 TEST.VALUE:PresOccl.<>.bloodPumpOcclusion.override:0 TEST.VALUE:PresOccl.testSetBloodPumpOcclusionOverride.value:300 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusion.data:200 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusion.ovInitData:0 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusion.ovData:0 TEST.EXPECTED:PresOccl.<>.bloodPumpOcclusion.override:0x0 TEST.EXPECTED:PresOccl.testSetBloodPumpOcclusionOverride.return:0 TEST.END -- Subprogram: testSetBloodPumpPartialOcclusionBaselineOverride -- Test Case: testSetBloodPumpPartialOcclusionBaselineOverride.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:testSetBloodPumpPartialOcclusionBaselineOverride TEST.NEW TEST.NAME:testSetBloodPumpPartialOcclusionBaselineOverride.001 TEST.VALUE:PresOccl.testSetBloodPumpPartialOcclusionBaselineOverride.value:11111.0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:PresOccl.<>.bloodPumpPartialOcclusionBaseline.ovData:11111.0 TEST.END -- Test Case: testSetBloodPumpPartialOcclusionBaselineOverride.002 TEST.UNIT:PresOccl TEST.SUBPROGRAM:testSetBloodPumpPartialOcclusionBaselineOverride TEST.NEW TEST.NAME:testSetBloodPumpPartialOcclusionBaselineOverride.002 TEST.VALUE:PresOccl.<>.bloodPumpPartialOcclusionBaseline.override:10 TEST.VALUE:PresOccl.testSetBloodPumpPartialOcclusionBaselineOverride.value:11111.0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:PresOccl.<>.bloodPumpPartialOcclusionBaseline.override:10 TEST.END -- Subprogram: testSetFilteredBloodPumpOcclusionOverride -- Test Case: testSetFilteredBloodPumpOcclusionOverride.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:testSetFilteredBloodPumpOcclusionOverride TEST.NEW TEST.NAME:testSetFilteredBloodPumpOcclusionOverride.001 TEST.VALUE:PresOccl.testSetFilteredBloodPumpOcclusionOverride.value:10000.0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:PresOccl.<>.filteredBloodPumpOccl.ovData:10000.0 TEST.END -- Test Case: testSetFilteredBloodPumpOcclusionOverride.002 TEST.UNIT:PresOccl TEST.SUBPROGRAM:testSetFilteredBloodPumpOcclusionOverride TEST.NEW TEST.NAME:testSetFilteredBloodPumpOcclusionOverride.002 TEST.VALUE:PresOccl.<>.filteredBloodPumpOccl.ovData:5000.0 TEST.VALUE:PresOccl.testSetFilteredBloodPumpOcclusionOverride.value:10000.0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:PresOccl.<>.filteredBloodPumpOccl.ovData:5000.0 TEST.END -- Subprogram: testSetPresOcclDataPublishIntervalOverride -- Test Case: testSetPresOcclDataPublishIntervalOverride_LoggedIn TEST.UNIT:PresOccl TEST.SUBPROGRAM:testSetPresOcclDataPublishIntervalOverride TEST.NEW TEST.NAME:testSetPresOcclDataPublishIntervalOverride_LoggedIn TEST.VALUE:PresOccl.<>.presOcclDataPublishInterval.data:20 TEST.VALUE:PresOccl.<>.presOcclDataPublishInterval.ovInitData:0 TEST.VALUE:PresOccl.<>.presOcclDataPublishInterval.ovData:0 TEST.VALUE:PresOccl.<>.presOcclDataPublishInterval.override:0 TEST.VALUE:PresOccl.testSetPresOcclDataPublishIntervalOverride.value:500 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:PresOccl.<>.presOcclDataPublishInterval.data:20 TEST.EXPECTED:PresOccl.<>.presOcclDataPublishInterval.ovInitData:0 TEST.EXPECTED:PresOccl.<>.presOcclDataPublishInterval.ovData:10 TEST.EXPECTED:PresOccl.<>.presOcclDataPublishInterval.override:0xCCC33C33 TEST.EXPECTED:PresOccl.testSetPresOcclDataPublishIntervalOverride.return:1 TEST.END -- Test Case: testSetPresOcclDataPublishIntervalOverride_NotLoggedIn TEST.UNIT:PresOccl TEST.SUBPROGRAM:testSetPresOcclDataPublishIntervalOverride TEST.NEW TEST.NAME:testSetPresOcclDataPublishIntervalOverride_NotLoggedIn TEST.VALUE:PresOccl.<>.presOcclDataPublishInterval.data:20 TEST.VALUE:PresOccl.<>.presOcclDataPublishInterval.ovInitData:0 TEST.VALUE:PresOccl.<>.presOcclDataPublishInterval.ovData:0 TEST.VALUE:PresOccl.<>.presOcclDataPublishInterval.override:0 TEST.VALUE:PresOccl.testSetPresOcclDataPublishIntervalOverride.value:500 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:PresOccl.<>.presOcclDataPublishInterval.data:20 TEST.EXPECTED:PresOccl.<>.presOcclDataPublishInterval.ovInitData:0 TEST.EXPECTED:PresOccl.<>.presOcclDataPublishInterval.ovData:0 TEST.EXPECTED:PresOccl.<>.presOcclDataPublishInterval.override:0x0 TEST.EXPECTED:PresOccl.testSetPresOcclDataPublishIntervalOverride.return:0 TEST.END -- Subprogram: testSetVenousPressureOverride -- Test Case: testSetVenousPressureOverride_LoggedIn TEST.UNIT:PresOccl TEST.SUBPROGRAM:testSetVenousPressureOverride TEST.NEW TEST.NAME:testSetVenousPressureOverride_LoggedIn TEST.VALUE:PresOccl.<>.venousPressure.data:200.0 TEST.VALUE:PresOccl.<>.venousPressure.ovInitData:0.0 TEST.VALUE:PresOccl.<>.venousPressure.ovData:0.0 TEST.VALUE:PresOccl.<>.venousPressure.override:0 TEST.VALUE:PresOccl.testSetVenousPressureOverride.value:300.0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:PresOccl.<>.venousPressure.data:200.0 TEST.EXPECTED:PresOccl.<>.venousPressure.ovInitData:0.0 TEST.EXPECTED:PresOccl.<>.venousPressure.ovData:300.0 TEST.EXPECTED:PresOccl.<>.venousPressure.override:0xCCC33C33 TEST.EXPECTED:PresOccl.testSetVenousPressureOverride.return:1 TEST.END -- Test Case: testSetVenousPressureOverride_NotLoggedIn TEST.UNIT:PresOccl TEST.SUBPROGRAM:testSetVenousPressureOverride TEST.NEW TEST.NAME:testSetVenousPressureOverride_NotLoggedIn TEST.VALUE:PresOccl.<>.venousPressure.data:200.0 TEST.VALUE:PresOccl.<>.venousPressure.ovInitData:0.0 TEST.VALUE:PresOccl.<>.venousPressure.ovData:0.0 TEST.VALUE:PresOccl.<>.venousPressure.override:0 TEST.VALUE:PresOccl.testSetVenousPressureOverride.value:300.0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:PresOccl.<>.venousPressure.data:200.0 TEST.EXPECTED:PresOccl.<>.venousPressure.ovInitData:0.0 TEST.EXPECTED:PresOccl.<>.venousPressure.ovData:0.0 TEST.EXPECTED:PresOccl.<>.venousPressure.override:0x0 TEST.EXPECTED:PresOccl.testSetVenousPressureOverride.return:0 TEST.END -- Test Case: testSetVenousPressureOverride_NotLoggedIn.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:testSetVenousPressureOverride TEST.NEW TEST.NAME:testSetVenousPressureOverride_NotLoggedIn.001 TEST.VALUE:PresOccl.<>.venousPressure.data:200.0 TEST.VALUE:PresOccl.<>.venousPressure.ovInitData:0.0 TEST.VALUE:PresOccl.<>.venousPressure.ovData:0.0 TEST.VALUE:PresOccl.<>.venousPressure.override:0 TEST.VALUE:PresOccl.testSetVenousPressureOverride.value:300.0 TEST.VALUE:PresOccl.testSetVenousPressureOverride.filtered:1 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:PresOccl.<>.venousPressure.data:200.0 TEST.EXPECTED:PresOccl.<>.venousPressure.ovInitData:0.0 TEST.EXPECTED:PresOccl.<>.venousPressure.ovData:0.0 TEST.EXPECTED:PresOccl.<>.venousPressure.override:0x0 TEST.EXPECTED:PresOccl.<>.shortFilteredVenousPressure.ovData:300.0 TEST.EXPECTED:PresOccl.testSetVenousPressureOverride.return:1 TEST.END -- Subprogram: updatePressureLimitWindows -- Test Case: updatePressureLimitWindows.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:updatePressureLimitWindows TEST.NEW TEST.NAME:updatePressureLimitWindows.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 195 TEST.VALUE:PresOccl.<>.useShortStabilizeTime:1 >>> >>> Unknown parameter/object name useShortStabilizeTime >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (filtArt < (0.0F)) ==> FALSE (2) if (filtVen < (0.0F)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:PresOccl.getFilteredArterialPressure TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.<>.pressureStabilizeTime:USE_SHORT_STABILIZATION_PERIOD TEST.VALUE:PresOccl.getFilteredArterialPressure.return:100.0 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:100.0 TEST.EXPECTED:PresOccl.<>.stableArterialPressure:100 TEST.EXPECTED:PresOccl.<>.stableVenousPressure:100 TEST.END -- Test Case: updatePressureLimitWindows.002 TEST.UNIT:PresOccl TEST.SUBPROGRAM:updatePressureLimitWindows TEST.NEW TEST.NAME:updatePressureLimitWindows.002 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 216 TEST.VALUE:PresOccl.<>.useShortStabilizeTime:1 >>> >>> Unknown parameter/object name useShortStabilizeTime >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (filtArt < (0.0F)) ==> FALSE (2) if (filtVen < (0.0F)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:PresOccl.getFilteredArterialPressure TEST.STUB:PresOccl.getFilteredVenousPressure TEST.VALUE:PresOccl.<>.pressureStabilizeTime:USE_SHORT_STABILIZATION_PERIOD TEST.VALUE:PresOccl.getFilteredArterialPressure.return:-95.5 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:-95.5 TEST.EXPECTED:PresOccl.<>.stableArterialPressure:-96 TEST.EXPECTED:PresOccl.<>.stableVenousPressure:-96 TEST.END -- Test Case: updatePressureLimitWindows.003 TEST.UNIT:PresOccl TEST.SUBPROGRAM:updatePressureLimitWindows TEST.NEW TEST.NAME:updatePressureLimitWindows.003 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (filtArt < (0.0F)) ==> FALSE (2) if (filtVen < (0.0F)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:PresOccl.getFilteredArterialPressure TEST.STUB:PresOccl.getLongFilteredArterialPressure TEST.STUB:PresOccl.getFilteredVenousPressure TEST.STUB:PresOccl.getLongFilteredVenousPressure TEST.VALUE:PresOccl.<>.pressureStabilizeTime:USE_NORMAL_STABILIZATION_PERIOD TEST.VALUE:PresOccl.getFilteredArterialPressure.return:100.0 TEST.VALUE:PresOccl.getLongFilteredArterialPressure.return:100.0 TEST.VALUE:PresOccl.getFilteredVenousPressure.return:100.0 TEST.VALUE:PresOccl.getLongFilteredVenousPressure.return:100.0 TEST.EXPECTED:PresOccl.<>.stableArterialPressure:100 TEST.EXPECTED:PresOccl.<>.stableVenousPressure:100 TEST.END