Index: vectorcast/Hercules_RM46_HD_Project/environment/OPERATIONMODES/OPERATIONMODES.tst =================================================================== diff -u -r202a7e6c312e5dc5b85c0d2a30689c6d35a4358b -r9ae1fea30a4479603c9c413f026836fff06e103b --- vectorcast/Hercules_RM46_HD_Project/environment/OPERATIONMODES/OPERATIONMODES.tst (.../OPERATIONMODES.tst) (revision 202a7e6c312e5dc5b85c0d2a30689c6d35a4358b) +++ vectorcast/Hercules_RM46_HD_Project/environment/OPERATIONMODES/OPERATIONMODES.tst (.../OPERATIONMODES.tst) (revision 9ae1fea30a4479603c9c413f026836fff06e103b) @@ -238,6 +238,32 @@ TEST.EXPECTED:OperationModes.addConfirmationRequest.return:GENERIC_CONFIRM_ID_NONE TEST.END +-- Test Case: addConfirmationRequest.008 +TEST.UNIT:OperationModes +TEST.SUBPROGRAM:addConfirmationRequest +TEST.NEW +TEST.NAME:addConfirmationRequest.008 +TEST.NOTES: +This is an automatically generated test case. + Test Path 1 + (1) for (i < 4) ==> FALSE + Test Case Generation Notes: + Conflict: Unable to control expression-to-expression comparison in branch 1 +TEST.END_NOTES: +TEST.VALUE:OperationModes.<>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH +TEST.VALUE:OperationModes.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING +TEST.VALUE:OperationModes.<>.confirmRequests[1].requestID:GENERIC_CONFIRM_ID_DISINFECT_STOP_HEAT +TEST.VALUE:OperationModes.<>.confirmRequests[1].status:CONFIRMATION_REQUEST_STATUS_PENDING +TEST.VALUE:OperationModes.<>.confirmRequests[2].requestID:GENERIC_CONFIRM_ID_DISINFECT_STOP_CHEMICAL +TEST.VALUE:OperationModes.<>.confirmRequests[2].status:CONFIRMATION_REQUEST_STATUS_PENDING +TEST.VALUE:OperationModes.<>.confirmRequests[3].requestID:GENERIC_CONFIRM_ID_DISINFECT_STOP_CHEMICAL_FLUSH +TEST.VALUE:OperationModes.<>.confirmRequests[3].requestType:GENERIC_CONFIRM_CMD_TIMEOUT_CLOSE +TEST.VALUE:OperationModes.<>.confirmRequests[3].status:CONFIRMATION_REQUEST_STATUS_PENDING +TEST.VALUE:OperationModes.addConfirmationRequest.requestID:GENERIC_CONFIRM_ID_DISINFECT_CHEM_FLUSH_SAMPLE_PASS_FAIL +TEST.VALUE:OperationModes.addConfirmationRequest.return:GENERIC_CONFIRM_ID_NONE +TEST.EXPECTED:OperationModes.addConfirmationRequest.return:GENERIC_CONFIRM_ID_NONE +TEST.END + -- Subprogram: arbitrateModeRequest -- Test Case: NoRequestPending @@ -491,6 +517,20 @@ TEST.EXPECTED:OperationModes.<>.currentMode:MODE_POST TEST.END +-- Test Case: TreatmentToPostTreatMode.001 +TEST.UNIT:OperationModes +TEST.SUBPROGRAM:execOperationModes +TEST.NEW +TEST.NAME:TreatmentToPostTreatMode.001 +TEST.STUB:OperationModes.arbitrateModeRequest +TEST.VALUE:OperationModes.<>.modeRequest[0..6]:0 +TEST.VALUE:OperationModes.<>.modeRequest[7]:1 +TEST.VALUE:OperationModes.<>.lastMode:MODE_TREA +TEST.VALUE:OperationModes.<>.currentMode:MODE_TREA +TEST.VALUE:OperationModes.arbitrateModeRequest.return:MODE_TREA +TEST.EXPECTED:OperationModes.<>.currentMode:MODE_TREA +TEST.END + -- Test Case: execOperationModes.001 TEST.UNIT:OperationModes TEST.SUBPROGRAM:execOperationModes Index: vectorcast/Hercules_RM46_HD_Project/environment/PERSISTENTALARM/PERSISTENTALARM.tst =================================================================== diff -u -r202a7e6c312e5dc5b85c0d2a30689c6d35a4358b -r9ae1fea30a4479603c9c413f026836fff06e103b --- vectorcast/Hercules_RM46_HD_Project/environment/PERSISTENTALARM/PERSISTENTALARM.tst (.../PERSISTENTALARM.tst) (revision 202a7e6c312e5dc5b85c0d2a30689c6d35a4358b) +++ vectorcast/Hercules_RM46_HD_Project/environment/PERSISTENTALARM/PERSISTENTALARM.tst (.../PERSISTENTALARM.tst) (revision 9ae1fea30a4479603c9c413f026836fff06e103b) @@ -688,7 +688,7 @@ TEST.VALUE:PersistentAlarm.isPersistentAlarmConditionCleared.return:0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 -TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:SW_FAULT_ID_PERSISTENT_ALARM_INVALID_INDEX +TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:MACRO=SW_FAULT_ID_PERSISTENT_ALARM_INVALID_INDEX TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0 TEST.EXPECTED:PersistentAlarm.isPersistentAlarmConditionCleared.return:0 @@ -893,7 +893,7 @@ TEST.VALUE:PersistentAlarm.isPersistentAlarmTriggered.return:0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 -TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:SW_FAULT_ID_PERSISTENT_ALARM_INVALID_INDEX +TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:MACRO=SW_FAULT_ID_PERSISTENT_ALARM_INVALID_INDEX TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0 TEST.EXPECTED:PersistentAlarm.isPersistentAlarmTriggered.alarmId:NUM_OF_ALARM_IDS Index: vectorcast/Hercules_RM46_HD_Project/environment/PRESOCCL/PRESOCCL.tst =================================================================== diff -u -r202a7e6c312e5dc5b85c0d2a30689c6d35a4358b -r9ae1fea30a4479603c9c413f026836fff06e103b --- vectorcast/Hercules_RM46_HD_Project/environment/PRESOCCL/PRESOCCL.tst (.../PRESOCCL.tst) (revision 202a7e6c312e5dc5b85c0d2a30689c6d35a4358b) +++ vectorcast/Hercules_RM46_HD_Project/environment/PRESOCCL/PRESOCCL.tst (.../PRESOCCL.tst) (revision 9ae1fea30a4479603c9c413f026836fff06e103b) @@ -23,13 +23,13 @@ TEST.NEW TEST.NAME:checkArterialPressureInRange.001 TEST.IMPORT_FAILURES: -(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) 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. @@ -62,13 +62,13 @@ TEST.NEW TEST.NAME:checkArterialPressureInRange.002 TEST.IMPORT_FAILURES: -(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) 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. @@ -119,13 +119,16 @@ 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 @@ -157,10 +160,13 @@ (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.getTreatmentParameterS32.return:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.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 @@ -192,10 +198,14 @@ (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.getTreatmentParameterS32.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> +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 @@ -204,15 +214,17 @@ TEST.NEW TEST.NAME:checkArterialPressureInRange.006 TEST.IMPORT_FAILURES: -(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 +(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:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_RTC_BATTERY_LOW +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 @@ -221,7 +233,8 @@ 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.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0 +TEST.EXPECTED:PresOccl.<>.pressureLimitsActive:1 TEST.END -- Test Case: checkArterialPressureInRange.007 @@ -230,14 +243,18 @@ TEST.NEW TEST.NAME:checkArterialPressureInRange.007 TEST.IMPORT_FAILURES: -(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 +(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 @@ -248,6 +265,7 @@ 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 @@ -256,15 +274,19 @@ TEST.NEW TEST.NAME:checkArterialPressureInRange.008 TEST.IMPORT_FAILURES: -(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 +(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 @@ -273,50 +295,23 @@ 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:0,1 TEST.END --- Test Case: checkArterialPressureInRange.009 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkArterialPressureInRange -TEST.NEW -TEST.NAME:checkArterialPressureInRange.009 -TEST.IMPORT_FAILURES: -(E) @LINE: 261 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:1000.0 - >>> Unexpected end of command - stopped at character 61 - >>> Command Ignored -(E) @LINE: 272 TEST.EXPECTED:PresOccl.<>.shortFilteredArterialPressure:1000.0 - >>> Unexpected end of command - stopped at character 64 - >>> Command Ignored -TEST.END_IMPORT_FAILURES: -TEST.VALUE:PresOccl.<>.currentArterialMaxLimit:<> -TEST.VALUE:PresOccl.<>.pressureLimitsActive:1 -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.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) @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) 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. @@ -345,13 +340,13 @@ TEST.NEW TEST.NAME:checkArterialPressureInRange_Mode_Tx_Only_Pres_Not_Low_Alarm TEST.IMPORT_FAILURES: -(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) 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. @@ -375,13 +370,13 @@ TEST.NEW TEST.NAME:checkArterialPressureInRange_Mode_Tx_Only_Pres_Not_Low_Alarm_Saline_Bolus_State TEST.IMPORT_FAILURES: -(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) 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. @@ -405,9 +400,10 @@ TEST.NEW TEST.NAME:checkArterialPressureInRange_Pres_Out_Of_Range TEST.IMPORT_FAILURES: -(E) @LINE: 363 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:1000.0 - >>> Unexpected end of command - stopped at character 61 - >>> Command Ignored +(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 @@ -428,9 +424,10 @@ TEST.NEW TEST.NAME:checkArterialPressureInRange_Pres_Out_Of_Range_High TEST.IMPORT_FAILURES: -(E) @LINE: 380 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:3000.0 - >>> Unexpected end of command - stopped at character 61 - >>> Command Ignored +(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 @@ -451,9 +448,10 @@ TEST.NEW TEST.NAME:checkArterialPressureInRange_Pres_Out_Of_Range_Low TEST.IMPORT_FAILURES: -(E) @LINE: 397 TEST.VALUE:PresOccl.<>.shortFilteredArterialPressure:-4000.0 - >>> Unexpected end of command - stopped at character 61 - >>> Command Ignored +(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 @@ -474,13 +472,13 @@ TEST.NEW TEST.NAME:checkArterialPressureInRange_Tx_State_<=_Dialysis_Pre_High TEST.IMPORT_FAILURES: -(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) 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. @@ -520,13 +518,13 @@ TEST.NEW TEST.NAME:checkArterialPressureInRange_Tx_State_<=_Dialysis_Pre_High_Pump_NC TEST.IMPORT_FAILURES: -(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) 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" @@ -563,13 +561,13 @@ TEST.NEW TEST.NAME:checkArterialPressureInRange_Tx_State_<=_Dialysis_Pre_High_artPres_>.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) Errors from previous script import(s) + >>> (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. @@ -609,13 +607,13 @@ TEST.NEW TEST.NAME:checkArterialPressureInRange_Tx_State_<=_Dialysis_Pre_Low TEST.IMPORT_FAILURES: -(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) 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. @@ -655,13 +653,13 @@ TEST.NEW TEST.NAME:checkArterialPressureInRange_Tx_State_<=_Dialysis_Pre_Low_artPres_>_artLow TEST.IMPORT_FAILURES: -(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) 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. @@ -697,44 +695,6 @@ -- Subprogram: checkOcclusions --- Test Case: COND_3_ROW_1_PAIR_a_TT -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkOcclusions -TEST.NEW -TEST.NAME:COND_3_ROW_1_PAIR_a_TT -TEST.MCDC_BASIS_PATH:7 of 33 -TEST.NOTES: -This is an automatically generated test case. - Test Path 7 - (3) ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> TRUE - Row number 1 forms a pair with Row 3 for Condition #3, subcondition "a". - Condition a ==> TRUE - Condition b ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA,MODE_PRET -TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:MACRO=HD_PRE_TREATMENT_CART_INSTALL_STATE -TEST.END - --- Test Case: COND_3_ROW_1_PAIR_b_TT -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkOcclusions -TEST.NEW -TEST.NAME:COND_3_ROW_1_PAIR_b_TT -TEST.MCDC_BASIS_PATH:9 of 33 -TEST.NOTES: -This is an automatically generated test case. - Test Path 9 - (3) ((MODE_PRET) == hdMode && hdSubMode > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) ==> TRUE - Row number 1 forms a pair with Row 2 for Condition #3, subcondition "b". - Condition a ==> TRUE - Condition b ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET -TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> -TEST.END - -- Test Case: checkOcclusions.001 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions @@ -1482,417 +1442,18 @@ (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:0 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL -TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.END - --- Test Case: checkOcclusions.020 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkOcclusions -TEST.NEW -TEST.NAME:checkOcclusions.020 -TEST.BASIS_PATH:2 of 15 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (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)) ==> TRUE - (13) if (((1) == txMode || (1) == ptxMode) && venPres > (400.0F) + (50.0F)) ==> FALSE - Test Case Generation Notes: - Cannot set local variable txMode in branch 13 - Cannot set local variable ptxMode in branch 13 -TEST.END_NOTES: -TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion -TEST.VALUE:PresOccl.getMeasuredVenousPressure.return:<> -TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL -TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.END - --- Test Case: checkOcclusions.021 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkOcclusions -TEST.NEW -TEST.NAME:checkOcclusions.021 -TEST.BASIS_PATH:3 of 15 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (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)) ==> TRUE - (13) if (((1) == txMode || (1) == ptxMode) && venPres > (400.0F) + (50.0F)) ==> TRUE - (14) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_LINE_OCCLUSION, 1)) ==> FALSE - Test Case Generation Notes: - Cannot set local variable txMode in branch 13 - Cannot set local variable ptxMode in branch 13 -TEST.END_NOTES: -TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion -TEST.VALUE:PresOccl.getMeasuredVenousPressure.return:<> -TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> -TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL -TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.END - --- Test Case: checkOcclusions.022 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkOcclusions -TEST.NEW -TEST.NAME:checkOcclusions.022 -TEST.BASIS_PATH:4 of 15 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (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)) ==> TRUE - (13) if (((1) == txMode || (1) == ptxMode) && venPres > (400.0F) + (50.0F)) ==> TRUE - (14) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_LINE_OCCLUSION, 1)) ==> TRUE - Test Case Generation Notes: - Cannot set local variable txMode in branch 13 - Cannot set local variable ptxMode in branch 13 - Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 4/14 -TEST.END_NOTES: -TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion -TEST.VALUE:PresOccl.getMeasuredVenousPressure.return:<> -TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> -TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL -TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.END - --- Test Case: checkOcclusions.023 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkOcclusions -TEST.NEW -TEST.NAME:checkOcclusions.023 -TEST.BASIS_PATH:5 of 15 -TEST.NOTES: -This is an automatically generated test case. - Test Path 5 - (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) ==> TRUE - (12) if (isBloodPumpRunning() != (0)) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion -TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:2000 -TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:0 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL -TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.END - --- Test Case: checkOcclusions.024 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkOcclusions -TEST.NEW -TEST.NAME:checkOcclusions.024 -TEST.BASIS_PATH:6 of 15 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 6 - (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()) ==> TRUE - (9) if ((1) == isBloodPumpRunning()) ==> FALSE - (11) if (bpOccl <= (5000) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE - (12) if (isBloodPumpRunning() != (0)) ==> 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 -TEST.END_NOTES: -TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion -TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> -TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:0 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL -TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.END - --- Test Case: checkOcclusions.025 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkOcclusions -TEST.NEW -TEST.NAME:checkOcclusions.025 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 202 TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> - >>> >>> Warning: Value already set - >>> >>> Previous value 2000 ignored -TEST.END_IMPORT_FAILURES: -TEST.BASIS_PATH:7 of 15 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 7 - (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()) ==> TRUE - (9) if ((1) == isBloodPumpRunning()) ==> TRUE - (10) if (bpOccl > (5500) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE - (11) if (bpOccl <= (5000) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE - (12) if (isBloodPumpRunning() != (0)) ==> 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 - Conflict: Multiple equality operators with different values (uut_prototype_stubs.isBloodPumpRunning.return) in branches 9/12 -TEST.END_NOTES: -TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion -TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> -TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL -TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.END - --- Test Case: checkOcclusions.026 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkOcclusions -TEST.NEW -TEST.NAME:checkOcclusions.026 -TEST.BASIS_PATH:8 of 15 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 8 - (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()) ==> TRUE - (9) if ((1) == isBloodPumpRunning()) ==> TRUE - (10) if (bpOccl > (5500) + bloodPumpOcclusionAfterCartridgeInstall) ==> TRUE - (11) if (bpOccl <= (5000) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE - (12) if (isBloodPumpRunning() != (0)) ==> 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 - Conflict: Multiple equality operators with different values (uut_prototype_stubs.isBloodPumpRunning.return) in branches 9/12 -TEST.END_NOTES: -TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion -TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> -TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL -TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.END - --- Test Case: checkOcclusions.027 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkOcclusions -TEST.NEW -TEST.NAME:checkOcclusions.027 -TEST.BASIS_PATH:9 of 15 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 9 - (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()) ==> TRUE - (6) if (((1) == isBloodPumpRunning() && getPreTreatmentSubState() > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) && getDrySelfTestsState() > (DRY_SELF_TESTS_START_STATE)) ==> FALSE - (11) if (bpOccl <= (5000) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE - (12) if (isBloodPumpRunning() != (0)) ==> 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/5 -TEST.END_NOTES: -TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion -TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> -TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:0 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL -TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.VALUE:uut_prototype_stubs.getPreTreatmentSubState.return:<> -TEST.VALUE:uut_prototype_stubs.getDrySelfTestsState.return:<> -TEST.END - --- Test Case: checkOcclusions.028 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkOcclusions -TEST.NEW -TEST.NAME:checkOcclusions.028 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 302 TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> - >>> >>> Warning: Value already set - >>> >>> Previous value 2000 ignored -TEST.END_IMPORT_FAILURES: -TEST.BASIS_PATH:10 of 15 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 10 - (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()) ==> TRUE - (6) if (((1) == isBloodPumpRunning() && getPreTreatmentSubState() > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) && getDrySelfTestsState() > (DRY_SELF_TESTS_START_STATE)) ==> TRUE - (7) if (bpOccl > (5500) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE - (11) if (bpOccl <= (5000) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE - (12) if (isBloodPumpRunning() != (0)) ==> 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/5 - Conflict: Multiple equality operators with different values (uut_prototype_stubs.isBloodPumpRunning.return) in branches 6/12 -TEST.END_NOTES: -TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion -TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> -TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL -TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.VALUE:uut_prototype_stubs.getPreTreatmentSubState.return:<> -TEST.VALUE:uut_prototype_stubs.getDrySelfTestsState.return:<> -TEST.END - --- Test Case: checkOcclusions.029 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkOcclusions -TEST.NEW -TEST.NAME:checkOcclusions.029 -TEST.BASIS_PATH:11 of 15 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 11 - (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()) ==> TRUE - (6) if (((1) == isBloodPumpRunning() && getPreTreatmentSubState() > (HD_PRE_TREATMENT_CART_INSTALL_STATE)) && getDrySelfTestsState() > (DRY_SELF_TESTS_START_STATE)) ==> TRUE - (7) if (bpOccl > (5500) + bloodPumpOcclusionAfterCartridgeInstall) ==> TRUE - (11) if (bpOccl <= (5000) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE - (12) if (isBloodPumpRunning() != (0)) ==> 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/5 - Conflict: Multiple equality operators with different values (uut_prototype_stubs.isBloodPumpRunning.return) in branches 6/12 -TEST.END_NOTES: -TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion -TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> -TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL -TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.VALUE:uut_prototype_stubs.getPreTreatmentSubState.return:<> -TEST.VALUE:uut_prototype_stubs.getDrySelfTestsState.return:<> -TEST.END - --- Test Case: checkOcclusions.030 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkOcclusions -TEST.NEW -TEST.NAME:checkOcclusions.030 -TEST.BASIS_PATH:13 of 15 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 13 - (1) if (bpOccl < (2000)) ==> 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 <= (5000) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE - (12) if (isBloodPumpRunning() != (0)) ==> 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 -TEST.END_NOTES: -TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion -TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> -TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:0 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET -TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.END - --- Test Case: checkOcclusions.031 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkOcclusions -TEST.NEW -TEST.NAME:checkOcclusions.031 -TEST.BASIS_PATH:14 of 15 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 14 - (1) if (bpOccl < (2000)) ==> 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 <= (5000) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE - (12) if (isBloodPumpRunning() != (0)) ==> 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 -TEST.END_NOTES: -TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion -TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<> -TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:0 +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:<> +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.032 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkOcclusions -TEST.NEW -TEST.NAME:checkOcclusions.032 -TEST.BASIS_PATH:15 of 15 -TEST.NOTES: -This is an automatically generated test case. - Test Path 15 - (1) if (bpOccl < (2000)) ==> TRUE - (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.getMeasuredBloodPumpOcclusion -TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:1999 -TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:0 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL -TEST.VALUE:uut_prototype_stubs.getCurrentSubMode.return:<> -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.END - -- Test Case: checkOcclusions_BP_Occlusion_Out_Of_Range TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkOcclusions @@ -1962,35 +1523,6 @@ TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(3)0 TEST.END --- Test Case: checkVenousPressureInRange.003 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkVenousPressureInRange -TEST.NEW -TEST.NAME:checkVenousPressureInRange.003 -TEST.MCDC_BASIS_PATH:14 of 20 -TEST.NOTES: -This is an automatically generated test case. - Test Path 14 - (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 - Row number 1 forms a pair with Row 2 for Condition #6, 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/6 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_VENOUS_PRESSURE_HIGH -TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 -TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:0 -TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 -TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0 -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<> -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 -TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_CLOSED -TEST.END - -- Test Case: checkVenousPressureInRange.004 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange @@ -2034,170 +1566,6 @@ TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1,(2)0 TEST.END --- Test Case: checkVenousPressureInRange.005 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkVenousPressureInRange -TEST.NEW -TEST.NAME:checkVenousPressureInRange.005 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 1315 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: 488 TEST.VALUE:uut_prototype_stubs.getDialysisState.return:DIALYSIS_START_STATE ->>> >>> Could not find function getDialysisState ->>> >>> in unit uut_prototype_stubs. ->>> >>> Value Line Error - Command Ignored -TEST.END_IMPORT_FAILURES: -TEST.BASIS_PATH:7 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 7 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0F)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0F))) ==> FALSE -(2) if (((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_DIALYSIS_STATE) == getTreatmentState()) && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE -(3) if (isBloodPumpRampComplete() != (1)) ==> FALSE -(4) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> TRUE -(5) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_LOW, venPres < venLowLimit)) ==> TRUE -(6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_HIGH, venPres > venHighLimit)) ==> 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/5 -TEST.END_NOTES: -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.return:<> -TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_CLOSED -TEST.END - --- Test Case: checkVenousPressureInRange.006 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkVenousPressureInRange -TEST.NEW -TEST.NAME:checkVenousPressureInRange.006 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 1345 TEST.VALUE:uut_prototype_stubs.isBloodPumpRampComplete.return:<> - >>> >>> Could not find function isBloodPumpRampComplete - >>> >>> in unit uut_prototype_stubs. - >>> >>> Value Line Error - Command Ignored ->>> (E) @LINE: 512 TEST.VALUE:uut_prototype_stubs.getDialysisState.return:DIALYSIS_START_STATE ->>> >>> Could not find function getDialysisState ->>> >>> in unit uut_prototype_stubs. ->>> >>> Value Line Error - Command Ignored -TEST.END_IMPORT_FAILURES: -TEST.BASIS_PATH:8 of 9 -TEST.NOTES: -This is an automatically generated test case. -Test Path 8 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0F)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0F))) ==> FALSE -(2) if (((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_DIALYSIS_STATE) == getTreatmentState()) && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE -(3) if (isBloodPumpRampComplete() != (1)) ==> TRUE -(4) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> FALSE -(6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_HIGH, venPres > venHighLimit)) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -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.return:<> -TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_OPEN -TEST.END - --- Test Case: checkVenousPressureInRange.007 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkVenousPressureInRange -TEST.NEW -TEST.NAME:checkVenousPressureInRange.007 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 1424 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: 1369 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.NOTES: -This is an automatically generated test case. -Test Path 7 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0F)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0F))) ==> FALSE -(2) if (((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_DIALYSIS_STATE) == getTreatmentState()) && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE -(3) if (isBloodPumpRampComplete() != (1)) ==> FALSE -(4) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> TRUE -(5) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_LOW, venPres < venLowLimit)) ==> TRUE -(6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_HIGH, venPres > venHighLimit)) ==> 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/5 -TEST.END_NOTES: -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.return:<> -TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_CLOSED -TEST.END - --- Test Case: checkVenousPressureInRange.008 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkVenousPressureInRange -TEST.NEW -TEST.NAME:checkVenousPressureInRange.008 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 1394 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.NOTES: -This is an automatically generated test case. -Test Path 7 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0F)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0F))) ==> FALSE -(2) if (((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_DIALYSIS_STATE) == getTreatmentState()) && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE -(3) if (isBloodPumpRampComplete() != (1)) ==> FALSE -(4) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> TRUE -(5) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_LOW, venPres < venLowLimit)) ==> TRUE -(6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_HIGH, venPres > venHighLimit)) ==> 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/5 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:<> -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 -TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_CLOSED -TEST.END - --- Test Case: checkVenousPressureInRange.009 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkVenousPressureInRange -TEST.NEW -TEST.NAME:checkVenousPressureInRange.009 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 1419 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.NOTES: -This is an automatically generated test case. -Test Path 7 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0F)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0F))) ==> FALSE -(2) if (((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_DIALYSIS_STATE) == getTreatmentState()) && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE -(3) if (isBloodPumpRampComplete() != (1)) ==> FALSE -(4) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> TRUE -(5) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_LOW, venPres < venLowLimit)) ==> TRUE -(6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_HIGH, venPres > venHighLimit)) ==> 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/5 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:<> -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 -TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_CLOSED -TEST.END - -- Test Case: checkVenousPressureInRange.010 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange @@ -2317,191 +1685,6 @@ TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:(3)0 TEST.END --- Test Case: checkVenousPressureInRange.014 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkVenousPressureInRange -TEST.NEW -TEST.NAME:checkVenousPressureInRange.014 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 1628 TEST.VALUE:uut_prototype_stubs.getS32TreatmentParamLowerRangeLimit.return:<> - >>> >>> Could not find function getS32TreatmentParamLowerRangeLimit - >>> >>> in unit uut_prototype_stubs. - >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 1631 TEST.VALUE:uut_prototype_stubs.getDialysisState.return:DIALYSIS_START_STATE - >>> >>> Could not find function getDialysisState - >>> >>> in unit uut_prototype_stubs. - >>> >>> Value Line Error - Command Ignored -TEST.END_IMPORT_FAILURES: -TEST.BASIS_PATH:6 of 14 -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.0F) || venPres < -(1500.0F))) ==> FALSE - (2) if ((MODE_TREA) == getCurrentOperationMode() && (((TREATMENT_DIALYSIS_STATE) == txState && (DIALYSIS_UF_STATE) == getDialysisState()) && (1) == didTimeout(venPressureLimitDelayStart, 60 * 1000) || (TREATMENT_STOP_STATE) == txState && (1) == isBloodPumpRunning())) ==> FALSE - (9) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE - (10) if (venPres < venLowLimit) ==> TRUE - (11) if (venPres > venHighLimit) ==> FALSE - (12) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_HIGH, venPresHigh)) ==> FALSE - (13) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_LOW, venPresLow)) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -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:<> -TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> -TEST.END - --- Test Case: checkVenousPressureInRange.015 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkVenousPressureInRange -TEST.NEW -TEST.NAME:checkVenousPressureInRange.015 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 1665 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: 1589 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:9 of 14 -TEST.NOTES: -This is an automatically generated test case. -Test Path 9 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0F) || venPres < -(1500.0F))) ==> FALSE -(2) if ((MODE_TREA) == getCurrentOperationMode() && (((TREATMENT_DIALYSIS_STATE) == txState && (DIALYSIS_UF_STATE) == getDialysisState()) && (1) == didTimeout(venPressureLimitDelayStart, 60 * 1000) || (TREATMENT_STOP_STATE) == txState && (1) == isBloodPumpRunning())) ==> TRUE -(3) if (isBloodPumpRampComplete() != (1)) ==> FALSE -(4) if (venPres < venLowLimit) ==> FALSE -(5) if (venPres > venHighLimit) ==> FALSE -(6) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> TRUE -(7) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_LOW, venPresLow)) ==> FALSE -(8) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_HIGH, venPresHigh)) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:0 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_CLOSED -TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 -TEST.END - --- Test Case: checkVenousPressureInRange.016 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkVenousPressureInRange -TEST.NEW -TEST.NAME:checkVenousPressureInRange.016 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 1699 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: 1617 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 14 -TEST.NOTES: -This is an automatically generated test case. -Test Path 11 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0F) || venPres < -(1500.0F))) ==> FALSE -(2) if ((MODE_TREA) == getCurrentOperationMode() && (((TREATMENT_DIALYSIS_STATE) == txState && (DIALYSIS_UF_STATE) == getDialysisState()) && (1) == didTimeout(venPressureLimitDelayStart, 60 * 1000) || (TREATMENT_STOP_STATE) == txState && (1) == isBloodPumpRunning())) ==> TRUE -(3) if (isBloodPumpRampComplete() != (1)) ==> FALSE -(4) if (venPres < venLowLimit) ==> FALSE -(5) if (venPres > venHighLimit) ==> TRUE -(6) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> FALSE -(8) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_HIGH, venPresHigh)) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:<> -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_OPEN -TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 -TEST.END - --- Test Case: checkVenousPressureInRange.017 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkVenousPressureInRange -TEST.NEW -TEST.NAME:checkVenousPressureInRange.017 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 1733 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: 1645 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:12 of 14 -TEST.NOTES: -This is an automatically generated test case. -Test Path 12 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0F) || venPres < -(1500.0F))) ==> FALSE -(2) if ((MODE_TREA) == getCurrentOperationMode() && (((TREATMENT_DIALYSIS_STATE) == txState && (DIALYSIS_UF_STATE) == getDialysisState()) && (1) == didTimeout(venPressureLimitDelayStart, 60 * 1000) || (TREATMENT_STOP_STATE) == txState && (1) == isBloodPumpRunning())) ==> TRUE -(3) if (isBloodPumpRampComplete() != (1)) ==> FALSE -(4) if (venPres < venLowLimit) ==> TRUE -(5) if (venPres > venHighLimit) ==> FALSE -(6) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> FALSE -(8) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_HIGH, venPresHigh)) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:<> -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_OPEN -TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 -TEST.END - --- Test Case: checkVenousPressureInRange.018 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkVenousPressureInRange -TEST.NEW -TEST.NAME:checkVenousPressureInRange.018 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 1767 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: 1673 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.NOTES: -This is an automatically generated test case. -Test Path 9 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0F) || venPres < -(1500.0F))) ==> FALSE -(2) if ((MODE_TREA) == getCurrentOperationMode() && (((TREATMENT_DIALYSIS_STATE) == txState && (DIALYSIS_UF_STATE) == getDialysisState()) && (1) == didTimeout(venPressureLimitDelayStart, 60 * 1000) || (TREATMENT_STOP_STATE) == txState && (1) == isBloodPumpRunning())) ==> TRUE -(3) if (isBloodPumpRampComplete() != (1)) ==> FALSE -(4) if (venPres < venLowLimit) ==> FALSE -(5) if (venPres > venHighLimit) ==> FALSE -(6) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> TRUE -(7) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_LOW, venPresLow)) ==> FALSE -(8) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_HIGH, venPresHigh)) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:0 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_CLOSED -TEST.VALUE:uut_prototype_stubs.didTimeout.return:0 -TEST.END - -- Test Case: checkVenousPressureInRange.019 TEST.UNIT:PresOccl TEST.SUBPROGRAM:checkVenousPressureInRange @@ -2897,79 +2080,6 @@ -- Subprogram: convertOcclusionPressures --- Test Case: convertOcclusionPressures.003 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:convertOcclusionPressures -TEST.NEW -TEST.NAME:convertOcclusionPressures.003 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 1172 TEST.VALUE:PresOccl.<>.lastBPOcclReadCtr:1 - >>> >>> Unknown parameter/object name lastBPOcclReadCtr - >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 1173 TEST.VALUE:PresOccl.<>.lastBPErrorCtr:0 - >>> >>> Unknown parameter/object name lastBPErrorCtr - >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 1176 TEST.EXPECTED:PresOccl.<>.lastBPErrorCtr:0 - >>> >>> Unknown parameter/object name lastBPErrorCtr - >>> >>> Value Line Error - Command Ignored -TEST.END_IMPORT_FAILURES: -TEST.MCDC_BASIS_PATH:6 of 8 -TEST.NOTES: -This is an automatically generated test case. - Test Path 6 - (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_SENSOR_ERROR, bpErrorCtr != lastBPErrorCtr)) ==> FALSE - (3) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_READ_TIMEOUT_ERROR, bpReadCtr == lastBPOcclReadCtr)) ==> TRUE - (4) (bpReadCtr == lastBPOcclReadCtr) ==> FALSE - Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a". - Condition a ==> FALSE - Test Case Generation Notes: - Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/3 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getFPGABloodPumpOcclusionReadCounter.return:<> -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.END - --- Test Case: convertOcclusionPressures.004 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:convertOcclusionPressures -TEST.NEW -TEST.NAME:convertOcclusionPressures.004 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 2010 TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_SYRINGE_PUMP_RUNNING_WHILE_BP_OFF_ERROR - >>> >>> Could not find function activateAlarmNoData - >>> >>> in unit uut_prototype_stubs. - >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 1202 TEST.VALUE:PresOccl.<>.lastBPOcclReadCtr:0 - >>> >>> Unknown parameter/object name lastBPOcclReadCtr - >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 1203 TEST.VALUE:PresOccl.<>.lastBPErrorCtr:0 - >>> >>> Unknown parameter/object name lastBPErrorCtr - >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 1207 TEST.EXPECTED:PresOccl.<>.lastBPErrorCtr:1 - >>> >>> Unknown parameter/object name lastBPErrorCtr - >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 1238 TEST.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_BP_OCCLUSION_READ_TIMEOUT_ERROR - >>> >>> Value for 'Enumeral' out of range - >>> >>> Read "ALARM_ID_HD_BP_OCCLUSION_READ_TIMEOUT_ERROR" - >>> >>> 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_BP_OCCLUSION_SENSOR_ERROR, bpErrorCtr != lastBPErrorCtr)) ==> FALSE - (3) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_READ_TIMEOUT_ERROR, bpReadCtr == lastBPOcclReadCtr)) ==> TRUE - (4) (bpReadCtr == lastBPOcclReadCtr) ==> FALSE - Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a". - Condition a ==> FALSE - Test Case Generation Notes: - Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/3 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getFPGABloodPumpOcclusionErrorCounter.return:1 -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 -TEST.END - -- Test Case: convertOcclusionPressures_NominalPath TEST.UNIT:PresOccl TEST.SUBPROGRAM:convertOcclusionPressures @@ -3018,7 +2128,15 @@ (6) if (currPresLimitsState > (PRESSURE_LIMITS_STATE_IDLE)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: -TEST.VALUE:PresOccl.<>.currPresLimitsState:<> +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 @@ -3034,7 +2152,10 @@ (6) if (currPresLimitsState > (PRESSURE_LIMITS_STATE_IDLE)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: -TEST.VALUE:PresOccl.<>.currPresLimitsState:<> +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 @@ -3060,6 +2181,9 @@ 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 @@ -3085,6 +2209,9 @@ 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 @@ -3110,6 +2237,9 @@ 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 @@ -3135,111 +2265,11 @@ 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.BASIS_PATH:7 of 7 (template) -TEST.NOTES: -This is an automatically generated test case. - Test Path 7 - (1) if ((PRESSURE_LIMITS_STATE_STABLE) == currPresLimitsState) ==> TRUE - (2) if (currentArterialMinLimit < -(300.0F)) ==> TRUE - (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.END - --- Test Case: determineArtVenPressureLimits.008 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:determineArtVenPressureLimits -TEST.NEW -TEST.NAME:determineArtVenPressureLimits.008 -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:<> -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:<> -TEST.END - --- Test Case: determineArtVenPressureLimits.009 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:determineArtVenPressureLimits -TEST.NEW -TEST.NAME:determineArtVenPressureLimits.009 -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.<>.stableVenousPressure:<> -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:<> -TEST.END - --- Test Case: determineArtVenPressureLimits.010 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:determineArtVenPressureLimits -TEST.NEW -TEST.NAME:determineArtVenPressureLimits.010 -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.<>.stableVenousPressure:100 -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:10 -TEST.END - -- Subprogram: execPresOccl -- Test Case: execPresOccl_ContReadState @@ -3598,66 +2628,10 @@ (17) case currPresLimitsState ==> default Test Case Generation Notes: TEST.END_NOTES: -TEST.VALUE:PresOccl.<>.currPresLimitsState:NUM_OF_PRESSURE_LIMITS_STATES TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA +TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_WIDE TEST.END --- Test Case: execPressureLimits.002 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:execPressureLimits -TEST.NEW -TEST.NAME:execPressureLimits.002 -TEST.BASIS_PATH:2 of 17 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (currMode != (MODE_TREA)) ==> FALSE - (2) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_OFF - (3) if ((MODE_TREA) == currMode) ==> 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 1/3 -TEST.END_NOTES: -TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_OFF -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA -TEST.END - --- Test Case: execPressureLimits.003 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:execPressureLimits -TEST.NEW -TEST.NAME:execPressureLimits.003 -TEST.BASIS_PATH:3 of 17 -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if (currMode != (MODE_TREA)) ==> FALSE - (2) case currPresLimitsState ==> PRESSURE_LIMITS_STATE_OFF - (3) if ((MODE_TREA) == currMode) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_OFF -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA -TEST.END - --- Test Case: execPressureLimits.004 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:execPressureLimits -TEST.NEW -TEST.NAME:execPressureLimits.004 -TEST.BASIS_PATH:4 of 17 -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.getCurrentOperationMode.return:MODE_TREA -TEST.END - -- Test Case: execPressureLimits.005 TEST.UNIT:PresOccl TEST.SUBPROGRAM:execPressureLimits @@ -3674,7 +2648,9 @@ 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 @@ -3693,9 +2669,10 @@ 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.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 @@ -3717,6 +2694,7 @@ 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 @@ -3733,9 +2711,11 @@ (7) if (bpRunning != (1)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: -TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_WIDE +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 @@ -3755,10 +2735,12 @@ Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION +TEST.VALUE:PresOccl.<>.useShortStabilizeTime:1 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 @@ -3778,10 +2760,12 @@ Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION +TEST.VALUE:PresOccl.<>.useShortStabilizeTime:0 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_STABLE TEST.END -- Test Case: execPressureLimits.011 @@ -3803,6 +2787,7 @@ 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 @@ -3820,8 +2805,10 @@ Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION -TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:<> +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 @@ -3844,7 +2831,8 @@ 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.VALUE:uut_prototype_stubs.didTimeout.return:1 +TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION TEST.END -- Test Case: execPressureLimits.014 @@ -3864,10 +2852,11 @@ 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.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 @@ -3887,8 +2876,9 @@ 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_START_STATE +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 @@ -3906,8 +2896,10 @@ Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABLE -TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:<> +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 @@ -3925,6 +2917,7 @@ 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 @@ -3945,6 +2938,7 @@ 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 @@ -3961,10 +2955,11 @@ (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: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 @@ -3981,10 +2976,11 @@ (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: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 @@ -4004,8 +3000,51 @@ 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 + -- Subprogram: filterInlinePressureReadings -- Test Case: filterInlinePressureReadings.001 @@ -4014,18 +3053,19 @@ TEST.NEW TEST.NAME:filterInlinePressureReadings.001 TEST.IMPORT_FAILURES: -(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 +(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: @@ -4162,18 +3202,19 @@ TEST.NEW TEST.NAME:filterInlinePressureReadings.006 TEST.IMPORT_FAILURES: -(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 +(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. @@ -4207,18 +3248,19 @@ TEST.NEW TEST.NAME:filterInlinePressureReadings.007 TEST.IMPORT_FAILURES: -(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 +(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. @@ -4293,6 +3335,8 @@ 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 @@ -4474,19 +3518,19 @@ TEST.NEW TEST.NAME:initPresOccl_NominalPath TEST.IMPORT_FAILURES: -(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) 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" @@ -4784,6 +3828,10 @@ 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 @@ -4801,6 +3849,12 @@ 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 @@ -4816,22 +3870,12 @@ Test Case Generation Notes: Cannot set return value of function fabs in branch 1 TEST.END_NOTES: -TEST.END - --- Test Case: setArtVenPressureOffsets.003 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:setArtVenPressureOffsets -TEST.NEW -TEST.NAME:setArtVenPressureOffsets.003 -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.VALUE:PresOccl.getMeasuredArterialPressure.return:16.0 +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 @@ -4848,6 +3892,7 @@ TEST.END_NOTES: TEST.STUB:PresOccl.getMeasuredVenousPressure TEST.VALUE:PresOccl.getMeasuredVenousPressure.return:16.0 +TEST.EXPECTED:PresOccl.<>.venousPressureOffset:16.0 TEST.END -- Subprogram: setOcclusionInstallLevel @@ -4874,6 +3919,10 @@ 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 @@ -4892,6 +3941,8 @@ Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_OFF +TEST.VALUE:PresOccl.signalInitiatePressureStabilization.useShort:20 +TEST.EXPECTED:PresOccl.<>.useShortStabilizeTime:20 TEST.END -- Test Case: signalInitiatePressureStabilization.002 @@ -4907,7 +3958,9 @@ (2) if ((PRESSURE_LIMITS_STATE_STABLE) == currPresLimitsState) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: -TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABLE +TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION +TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:5000 +TEST.EXPECTED:PresOccl.<>.stabilizationStartTimeMs:5000 TEST.END -- Test Case: signalInitiatePressureStabilization.003 @@ -4922,7 +3975,10 @@ (1) if ((PRESSURE_LIMITS_STATE_STABILIZATION) == currPresLimitsState) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: -TEST.VALUE:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_STABILIZATION +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 -- Subprogram: testResetArterialPressureOverride @@ -4959,6 +4015,25 @@ 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 @@ -5067,6 +4142,25 @@ 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 @@ -5101,6 +4195,24 @@ 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 @@ -5215,6 +4327,26 @@ 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 @@ -5232,8 +4364,11 @@ TEST.END_NOTES: TEST.STUB:PresOccl.getFilteredArterialPressure TEST.STUB:PresOccl.getFilteredVenousPressure -TEST.VALUE:PresOccl.getFilteredArterialPressure.return:<> -TEST.VALUE:PresOccl.getFilteredVenousPressure.return:<> +TEST.VALUE:PresOccl.<>.useShortStabilizeTime:1 +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 @@ -5251,66 +4386,9 @@ TEST.END_NOTES: TEST.STUB:PresOccl.getFilteredArterialPressure TEST.STUB:PresOccl.getFilteredVenousPressure -TEST.VALUE:PresOccl.getFilteredArterialPressure.return:<> -TEST.VALUE:PresOccl.getFilteredVenousPressure.return:<> +TEST.VALUE:PresOccl.<>.useShortStabilizeTime:1 +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.BASIS_PATH:3 of 3 -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if (filtArt < (0.0F)) ==> TRUE - (2) if (filtVen < (0.0F)) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:PresOccl.getFilteredArterialPressure -TEST.STUB:PresOccl.getFilteredVenousPressure -TEST.VALUE:PresOccl.getFilteredArterialPressure.return:<> -TEST.VALUE:PresOccl.getFilteredVenousPressure.return:<> -TEST.END - --- Test Case: updatePressureLimitWindows.004 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:updatePressureLimitWindows -TEST.NEW -TEST.NAME:updatePressureLimitWindows.004 -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.VALUE:PresOccl.<>.stableArterialPressure:1 -TEST.VALUE:PresOccl.getFilteredArterialPressure.return:<> -TEST.VALUE:PresOccl.getLongFilteredArterialPressure.return:<> -TEST.VALUE:PresOccl.getFilteredVenousPressure.return:<> -TEST.END - --- Test Case: updatePressureLimitWindows.005 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:updatePressureLimitWindows -TEST.NEW -TEST.NAME:updatePressureLimitWindows.005 -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.STUB:PresOccl.getLongFilteredVenousPressure -TEST.VALUE:PresOccl.getFilteredArterialPressure.return:<> -TEST.VALUE:PresOccl.getFilteredVenousPressure.return:<> -TEST.VALUE:PresOccl.getLongFilteredVenousPressure.return:<> -TEST.END Index: vectorcast/Hercules_RM46_HD_Project/environment/PRETREATMENTRECIRC/PRETREATMENTRECIRC.tst =================================================================== diff -u -r8d6cb96810d734a0a1645bdec85b90c6347b1313 -r9ae1fea30a4479603c9c413f026836fff06e103b --- vectorcast/Hercules_RM46_HD_Project/environment/PRETREATMENTRECIRC/PRETREATMENTRECIRC.tst (.../PRETREATMENTRECIRC.tst) (revision 8d6cb96810d734a0a1645bdec85b90c6347b1313) +++ vectorcast/Hercules_RM46_HD_Project/environment/PRETREATMENTRECIRC/PRETREATMENTRECIRC.tst (.../PRETREATMENTRECIRC.tst) (revision 9ae1fea30a4479603c9c413f026836fff06e103b) @@ -285,4 +285,5 @@ TEST.NAME:transitionToPreTreatmentRecirc.001 TEST.STUB:PreTreatmentRecirc.initPreTreatmentRecirc TEST.STUB:PreTreatmentRecirc.setupPreTreatmentRecirculate +TEST.EXPECTED:PreTreatmentRecirc.<>.currentPreTreatmentRecircState:PRE_TREATMENT_RECIRC_STATE TEST.END Index: vectorcast/Hercules_RM46_HD_Project/environment/PRIME/PRIME.tst =================================================================== diff -u -r12f36f73c7bbdfa3cfe7f5f3bc485b11b17d6810 -r9ae1fea30a4479603c9c413f026836fff06e103b --- vectorcast/Hercules_RM46_HD_Project/environment/PRIME/PRIME.tst (.../PRIME.tst) (revision 12f36f73c7bbdfa3cfe7f5f3bc485b11b17d6810) +++ vectorcast/Hercules_RM46_HD_Project/environment/PRIME/PRIME.tst (.../PRIME.tst) (revision 9ae1fea30a4479603c9c413f026836fff06e103b) @@ -82,7 +82,7 @@ >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Prime.<>.currentPrimeState:HD_PRIME_WAIT_FOR_USER_START_STATE -TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:TRUE +TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:MACRO=TRUE TEST.EXPECTED:Prime.<>.currentPrimeState:HD_PRIME_PAUSE TEST.END @@ -1835,12 +1835,13 @@ TEST.NEW TEST.NAME:purgeAirValvesBloodPumpControl.002 TEST.IMPORT_FAILURES: -(E) @LINE: 1778 TEST.VALUE:Prime.<>.primeFirstPurgePass:1 - >>> Unknown parameter/object name primeFirstPurgePass - >>> Value Line Error - Command Ignored -(E) @LINE: 1782 TEST.EXPECTED:Prime.<>.primeFirstPurgePass:1 - >>> Unknown parameter/object name primeFirstPurgePass - >>> Value Line Error - Command Ignored +(E) Errors from previous script import(s) + >>> (E) @LINE: 1778 TEST.VALUE:Prime.<>.primeFirstPurgePass:1 + >>> >>> Unknown parameter/object name primeFirstPurgePass + >>> >>> Value Line Error - Command Ignored + >>> (E) @LINE: 1782 TEST.EXPECTED:Prime.<>.primeFirstPurgePass:1 + >>> >>> Unknown parameter/object name primeFirstPurgePass + >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE