Index: vectorcast/Hercules_RM46_HD_Project/environment/TASKGENERAL/TASKGENERAL.tst =================================================================== diff -u -rcc538186e2781ad1776a673ad5e936e138eb23b1 -rc940950c4a9ab810baf557fa933e761525b72500 --- vectorcast/Hercules_RM46_HD_Project/environment/TASKGENERAL/TASKGENERAL.tst (.../TASKGENERAL.tst) (revision cc538186e2781ad1776a673ad5e936e138eb23b1) +++ vectorcast/Hercules_RM46_HD_Project/environment/TASKGENERAL/TASKGENERAL.tst (.../TASKGENERAL.tst) (revision c940950c4a9ab810baf557fa933e761525b72500) @@ -17,40 +17,48 @@ -- Subprogram: taskGeneral --- Test Case: taskGeneral.001 +-- Test Case: taskGeneral_Nominal TEST.UNIT:TaskGeneral TEST.SUBPROGRAM:taskGeneral TEST.NEW -TEST.NAME:taskGeneral.001 +TEST.NAME:taskGeneral_Nominal TEST.MCDC_BASIS_PATH:2 of 2 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if ((1) == uiCommunicated()) ==> TRUE - Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". - Condition a ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:1 TEST.VALUE:uut_prototype_stubs.checkInWithWatchdogMgmt.task:TASK_GENERAL TEST.EXPECTED:uut_prototype_stubs.checkInWithWatchdogMgmt.task:TASK_GENERAL TEST.END --- Test Case: taskGeneral.002 +-- Test Case: taskGeneral_UIHaNotCommunicated TEST.UNIT:TaskGeneral TEST.SUBPROGRAM:taskGeneral TEST.NEW -TEST.NAME:taskGeneral.002 +TEST.NAME:taskGeneral_UIHaNotCommunicated TEST.MCDC_BASIS_PATH:1 of 2 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if ((1) == uiCommunicated()) ==> FALSE - Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". - Condition a ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:<> +TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:0 TEST.VALUE:uut_prototype_stubs.checkInWithWatchdogMgmt.task:TASK_GENERAL TEST.EXPECTED:uut_prototype_stubs.checkInWithWatchdogMgmt.task:TASK_GENERAL TEST.END + +-- Test Case: taskGeneral_UIPOSTFailedAndDGActive +TEST.UNIT:TaskGeneral +TEST.SUBPROGRAM:taskGeneral +TEST.NEW +TEST.NAME:taskGeneral_UIPOSTFailedAndDGActive +TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 +TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:0 +TEST.VALUE:uut_prototype_stubs.isHDOnlyCANNode.return:0 +TEST.VALUE:uut_prototype_stubs.checkInWithWatchdogMgmt.task:TASK_GENERAL +TEST.EXPECTED:uut_prototype_stubs.isAlarmActive.alarm:ALARM_ID_HD_UI_COMM_POST_FAILED +TEST.EXPECTED:uut_prototype_stubs.checkInWithWatchdogMgmt.task:TASK_GENERAL +TEST.END + +-- Test Case: taskGeneral_UIPOSTFailedAndDGNotActive +TEST.UNIT:TaskGeneral +TEST.SUBPROGRAM:taskGeneral +TEST.NEW +TEST.NAME:taskGeneral_UIPOSTFailedAndDGNotActive +TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:0 +TEST.VALUE:uut_prototype_stubs.isHDOnlyCANNode.return:1 +TEST.VALUE:uut_prototype_stubs.checkInWithWatchdogMgmt.task:TASK_GENERAL +TEST.EXPECTED:uut_prototype_stubs.checkInWithWatchdogMgmt.task:TASK_GENERAL +TEST.END Index: vectorcast/Hercules_RM46_HD_Project/environment/TREATMENTSTOP/TREATMENTSTOP.tst =================================================================== diff -u -r226b9b90b6578ce1e886e8741a02b5fb54ac8063 -rc940950c4a9ab810baf557fa933e761525b72500 --- vectorcast/Hercules_RM46_HD_Project/environment/TREATMENTSTOP/TREATMENTSTOP.tst (.../TREATMENTSTOP.tst) (revision 226b9b90b6578ce1e886e8741a02b5fb54ac8063) +++ vectorcast/Hercules_RM46_HD_Project/environment/TREATMENTSTOP/TREATMENTSTOP.tst (.../TREATMENTSTOP.tst) (revision c940950c4a9ab810baf557fa933e761525b72500) @@ -197,309 +197,145 @@ -- Subprogram: handleTreatmentStopAlarmsAndSignals --- Test Case: handleTreatmentStopAlarmsAndSignals.001 +-- Test Case: handleTreatmentStopAlarmsAndSignals_GoToNoRecirc TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals TEST.NEW -TEST.NAME:handleTreatmentStopAlarmsAndSignals.001 -TEST.BASIS_PATH:2 of 5 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (((TREATMENT_STOP_RECIRC_STATE) != state && 0 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE - (2) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && 1 == dialysateRecircBlocked) && 1 == bloodRecircBlocked) ==> FALSE - (3) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && 1 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE - (4) if (((TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE) != state && 1 == bloodRecircBlocked) && 0 == dialysateRecircBlocked) ==> TRUE - Test Case Generation Notes: - Conflict: Trying to set variable uut_prototype_stubs.isBloodRecircBlocked.return 'equal to' and 'not equal to' same value in branches 1/4 -TEST.END_NOTES: -TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE -TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:2 -TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:0 -TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE -TEST.END - --- Test Case: handleTreatmentStopAlarmsAndSignals.002 -TEST.UNIT:TreatmentStop -TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals -TEST.NEW -TEST.NAME:handleTreatmentStopAlarmsAndSignals.002 -TEST.BASIS_PATH:4 of 5 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) if (((TREATMENT_STOP_RECIRC_STATE) != state && 0 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE - (2) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && 1 == dialysateRecircBlocked) && 1 == bloodRecircBlocked) ==> TRUE - (3) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && 1 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE - (4) if (((TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE) != state && 1 == bloodRecircBlocked) && 0 == dialysateRecircBlocked) ==> FALSE - Test Case Generation Notes: - Conflict: Trying to set variable uut_prototype_stubs.isDialysateRecircBlocked.return 'equal to' and 'not equal to' same value in branches 2/3 - Conflict: Trying to set variable uut_prototype_stubs.isBloodRecircBlocked.return 'equal to' and 'not equal to' same value in branches 2/4 -TEST.END_NOTES: +TEST.NAME:handleTreatmentStopAlarmsAndSignals_GoToNoRecirc TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:1 TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:1 -TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE +TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_NO_RECIRC_STATE +TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VBA,VBV +TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE TEST.END --- Test Case: handleTreatmentStopAlarmsAndSignals.003 +-- Test Case: handleTreatmentStopAlarmsAndSignals_GoToRecirc TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals TEST.NEW -TEST.NAME:handleTreatmentStopAlarmsAndSignals.003 -TEST.BASIS_PATH:5 of 5 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 5 - (1) if (((TREATMENT_STOP_RECIRC_STATE) != state && 0 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> TRUE - (2) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && 1 == dialysateRecircBlocked) && 1 == bloodRecircBlocked) ==> FALSE - (3) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && 1 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE - (4) if (((TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE) != state && 1 == bloodRecircBlocked) && 0 == dialysateRecircBlocked) ==> FALSE - Test Case Generation Notes: - Conflict: Trying to set variable uut_prototype_stubs.isBloodRecircBlocked.return 'equal to' and 'not equal to' same value in branches 1/3 - Conflict: Trying to set variable uut_prototype_stubs.isDialysateRecircBlocked.return 'equal to' and 'not equal to' same value in branches 1/4 -TEST.END_NOTES: +TEST.NAME:handleTreatmentStopAlarmsAndSignals_GoToRecirc +TEST.VALUE:TreatmentStop.<>.bloodSittingTimerCtr:1 TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:0 TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:0 -TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE +TEST.EXPECTED:TreatmentStop.<>.bloodSittingTimerCtr:0 +TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_RECIRC_STATE +TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD +TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.flowRate:250 +TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD +TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP +TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.door:1 +TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.pumpTrack:1 +TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VBA,VBV +TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_B_OPEN TEST.END --- Test Case: handleTreatmentStopAlarmsAndSignals.004 +-- Test Case: handleTreatmentStopAlarmsAndSignals_GoToRecircBloodOnly TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals TEST.NEW -TEST.NAME:handleTreatmentStopAlarmsAndSignals.004 -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) if (((TREATMENT_STOP_RECIRC_STATE) != state && 0 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE - (2) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && 1 == dialysateRecircBlocked) && 1 == bloodRecircBlocked) ==> TRUE - (3) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && 1 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE - (4) if (((TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE) != state && 1 == bloodRecircBlocked) && 0 == dialysateRecircBlocked) ==> FALSE - Test Case Generation Notes: - Conflict: Trying to set variable uut_prototype_stubs.isDialysateRecircBlocked.return 'equal to' and 'not equal to' same value in branches 2/3 - Conflict: Trying to set variable uut_prototype_stubs.isBloodRecircBlocked.return 'equal to' and 'not equal to' same value in branches 2/4 -TEST.END_NOTES: +TEST.NAME:handleTreatmentStopAlarmsAndSignals_GoToRecircBloodOnly TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:0 TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:1 -TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE +TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE TEST.END --- Test Case: handleTreatmentStopAlarmsAndSignals.005 +-- Test Case: handleTreatmentStopAlarmsAndSignals_GoToRecircDialysateOnly TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals TEST.NEW -TEST.NAME:handleTreatmentStopAlarmsAndSignals.005 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (((TREATMENT_STOP_RECIRC_STATE) != state && 0 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE - (2) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && 1 == dialysateRecircBlocked) && 1 == bloodRecircBlocked) ==> FALSE - (3) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && 1 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE - (4) if (((TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE) != state && 1 == bloodRecircBlocked) && 0 == dialysateRecircBlocked) ==> TRUE - Test Case Generation Notes: - Conflict: Trying to set variable uut_prototype_stubs.isBloodRecircBlocked.return 'equal to' and 'not equal to' same value in branches 1/4 -TEST.END_NOTES: -TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_STATE -TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:2 +TEST.NAME:handleTreatmentStopAlarmsAndSignals_GoToRecircDialysateOnly +TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE +TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:1 TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:0 -TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_STATE -TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_RECIRC_STATE +TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE +TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VBA,VBV +TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE TEST.END --- Test Case: handleTreatmentStopAlarmsAndSignals.006 +-- Test Case: handleTreatmentStopAlarmsAndSignals_GoToRecoverBloodDetect TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals TEST.NEW -TEST.NAME:handleTreatmentStopAlarmsAndSignals.006 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (((TREATMENT_STOP_RECIRC_STATE) != state && 0 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE - (2) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && 1 == dialysateRecircBlocked) && 1 == bloodRecircBlocked) ==> FALSE - (3) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && 1 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE - (4) if (((TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE) != state && 1 == bloodRecircBlocked) && 0 == dialysateRecircBlocked) ==> TRUE - Test Case Generation Notes: - Conflict: Trying to set variable uut_prototype_stubs.isBloodRecircBlocked.return 'equal to' and 'not equal to' same value in branches 1/4 -TEST.END_NOTES: -TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_NO_RECIRC_STATE -TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:2 +TEST.NAME:handleTreatmentStopAlarmsAndSignals_GoToRecoverBloodDetect +TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_STATE +TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1,0 TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:0 -TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_NO_RECIRC_STATE -TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_NO_RECIRC_STATE +TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_RECOVER_BLOOD_DETECT_STATE +TEST.EXPECTED:uut_prototype_stubs.isAlarmActive.alarm:ALARM_ID_HD_BLOOD_LEAK_RECOVERING_PLEASE_WAIT,ALARM_ID_HD_BLOOD_LEAK_DETECTED +TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.flowRate:600 +TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD +TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP +TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.door:1 +TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.pumpTrack:1 TEST.END --- Test Case: handleTreatmentStopAlarmsAndSignals.007 +-- Test Case: handleTreatmentStopAlarmsAndSignals_GoToRecoverBloodDetect2 TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals TEST.NEW -TEST.NAME:handleTreatmentStopAlarmsAndSignals.007 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (((TREATMENT_STOP_RECIRC_STATE) != state && 0 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE - (2) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && 1 == dialysateRecircBlocked) && 1 == bloodRecircBlocked) ==> FALSE - (3) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && 1 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE - (4) if (((TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE) != state && 1 == bloodRecircBlocked) && 0 == dialysateRecircBlocked) ==> TRUE - Test Case Generation Notes: - Conflict: Trying to set variable uut_prototype_stubs.isBloodRecircBlocked.return 'equal to' and 'not equal to' same value in branches 1/4 -TEST.END_NOTES: -TEST.STUB:TreatmentStop.setupForBloodRecirculationStopState -TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE -TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:1 +TEST.NAME:handleTreatmentStopAlarmsAndSignals_GoToRecoverBloodDetect2 +TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_STATE +TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:(2)1 TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:0 -TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE -TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE +TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_RECIRC_STATE +TEST.EXPECTED:uut_prototype_stubs.isAlarmActive.alarm:ALARM_ID_HD_BLOOD_LEAK_RECOVERING_PLEASE_WAIT,ALARM_ID_HD_BLOOD_LEAK_DETECTED TEST.END --- Test Case: handleTreatmentStopAlarmsAndSignals.008 +-- Test Case: handleTreatmentStopAlarmsAndSignals_NoRecirc TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals TEST.NEW -TEST.NAME:handleTreatmentStopAlarmsAndSignals.008 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (((TREATMENT_STOP_RECIRC_STATE) != state && 0 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE - (2) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && 1 == dialysateRecircBlocked) && 1 == bloodRecircBlocked) ==> FALSE - (3) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && 1 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE - (4) if (((TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE) != state && 1 == bloodRecircBlocked) && 0 == dialysateRecircBlocked) ==> TRUE - Test Case Generation Notes: - Conflict: Trying to set variable uut_prototype_stubs.isBloodRecircBlocked.return 'equal to' and 'not equal to' same value in branches 1/4 -TEST.END_NOTES: -TEST.STUB:TreatmentStop.setupForBloodRecirculationStopState -TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE +TEST.NAME:handleTreatmentStopAlarmsAndSignals_NoRecirc +TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_NO_RECIRC_STATE TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:1 TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:1 -TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_NO_RECIRC_STATE TEST.END --- Test Case: handleTreatmentStopAlarmsAndSignals.009 +-- Test Case: handleTreatmentStopAlarmsAndSignals_Recirc TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals TEST.NEW -TEST.NAME:handleTreatmentStopAlarmsAndSignals.009 -TEST.BASIS_PATH:1 of 6 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if ((((TREATMENT_STOP_RECOVER_BLOOD_DETECT_STATE) != state && dialysateRecircBlocked != (1)) && (1) == isAlarmActive(ALARM_ID_HD_BLOOD_LEAK_RECOVERING_PLEASE_WAIT)) && (0) == isAlarmActive(ALARM_ID_HD_BLOOD_LEAK_DETECTED)) ==> FALSE - (2) if (((TREATMENT_STOP_RECIRC_STATE) != state && (0) == dialysateRecircBlocked) && (0) == bloodRecircBlocked) ==> FALSE - (3) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && (1) == dialysateRecircBlocked) && (1) == bloodRecircBlocked) ==> FALSE - (4) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && (1) == dialysateRecircBlocked) && (0) == bloodRecircBlocked) ==> FALSE - (5) if (((TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE) != state && (1) == bloodRecircBlocked) && (0) == dialysateRecircBlocked) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE -TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:2 -TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:2 -TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:2 -TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE +TEST.NAME:handleTreatmentStopAlarmsAndSignals_Recirc +TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_STATE +TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:0 +TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:0 +TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_RECIRC_STATE TEST.END --- Test Case: handleTreatmentStopAlarmsAndSignals.010 +-- Test Case: handleTreatmentStopAlarmsAndSignals_RecircBloodOnly TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals TEST.NEW -TEST.NAME:handleTreatmentStopAlarmsAndSignals.010 -TEST.BASIS_PATH:3 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if ((((TREATMENT_STOP_RECOVER_BLOOD_DETECT_STATE) != state && dialysateRecircBlocked != (1)) && (1) == isAlarmActive(ALARM_ID_HD_BLOOD_LEAK_RECOVERING_PLEASE_WAIT)) && (0) == isAlarmActive(ALARM_ID_HD_BLOOD_LEAK_DETECTED)) ==> FALSE - (2) if (((TREATMENT_STOP_RECIRC_STATE) != state && (0) == dialysateRecircBlocked) && (0) == bloodRecircBlocked) ==> FALSE - (3) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && (1) == dialysateRecircBlocked) && (1) == bloodRecircBlocked) ==> FALSE - (4) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && (1) == dialysateRecircBlocked) && (0) == bloodRecircBlocked) ==> TRUE - Test Case Generation Notes: - Conflict: Trying to set variable uut_prototype_stubs.isBloodRecircBlocked.return 'equal to' and 'not equal to' same value in branches 2/4 -TEST.END_NOTES: -TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_NO_RECIRC_STATE -TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:2 -TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:2 +TEST.NAME:handleTreatmentStopAlarmsAndSignals_RecircBloodOnly +TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE +TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:0 TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:1 -TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_NO_RECIRC_STATE +TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE TEST.END --- Test Case: handleTreatmentStopAlarmsAndSignals.011 +-- Test Case: handleTreatmentStopAlarmsAndSignals_RecircDialysateOnly TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals TEST.NEW -TEST.NAME:handleTreatmentStopAlarmsAndSignals.011 -TEST.BASIS_PATH:6 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 6 - (1) if ((((TREATMENT_STOP_RECOVER_BLOOD_DETECT_STATE) != state && dialysateRecircBlocked != (1)) && (1) == isAlarmActive(ALARM_ID_HD_BLOOD_LEAK_RECOVERING_PLEASE_WAIT)) && (0) == isAlarmActive(ALARM_ID_HD_BLOOD_LEAK_DETECTED)) ==> TRUE - Test Case Generation Notes: - Conflict: Multiple equality operators with different values (uut_prototype_stubs.isAlarmActive.return) in branch 1 -TEST.END_NOTES: -TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_STATE -TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 -TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:<> -TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_STATE -TEST.END - --- Test Case: handleTreatmentStopAlarmsAndSignals.012 -TEST.UNIT:TreatmentStop -TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals -TEST.NEW -TEST.NAME:handleTreatmentStopAlarmsAndSignals.012 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (((TREATMENT_STOP_RECIRC_STATE) != state && 0 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE - (2) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && 1 == dialysateRecircBlocked) && 1 == bloodRecircBlocked) ==> FALSE - (3) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && 1 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE - (4) if (((TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE) != state && 1 == bloodRecircBlocked) && 0 == dialysateRecircBlocked) ==> TRUE - Test Case Generation Notes: - Conflict: Trying to set variable uut_prototype_stubs.isBloodRecircBlocked.return 'equal to' and 'not equal to' same value in branches 1/4 -TEST.END_NOTES: +TEST.NAME:handleTreatmentStopAlarmsAndSignals_RecircDialysateOnly TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE -TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:2 -TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:1 -TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE +TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:1 +TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:0 +TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE TEST.END --- Test Case: handleTreatmentStopAlarmsAndSignals.013 +-- Test Case: handleTreatmentStopAlarmsAndSignals_RecoverBloodDetect TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals TEST.NEW -TEST.NAME:handleTreatmentStopAlarmsAndSignals.013 -TEST.NOTES: -This is an automatically generated test case. - Test Path 6 - (1) if ((((TREATMENT_STOP_RECOVER_BLOOD_DETECT_STATE) != state && dialysateRecircBlocked != (1)) && (1) == isAlarmActive(ALARM_ID_HD_BLOOD_LEAK_RECOVERING_PLEASE_WAIT)) && (0) == isAlarmActive(ALARM_ID_HD_BLOOD_LEAK_DETECTED)) ==> TRUE - Test Case Generation Notes: - Conflict: Multiple equality operators with different values (uut_prototype_stubs.isAlarmActive.return) in branch 1 -TEST.END_NOTES: -TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_STATE -TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 -TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:<> -TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_STATE -TEST.END - --- Test Case: handleTreatmentStopAlarmsAndSignals.014 -TEST.UNIT:TreatmentStop -TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals -TEST.NEW -TEST.NAME:handleTreatmentStopAlarmsAndSignals.014 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (((TREATMENT_STOP_RECIRC_STATE) != state && 0 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE - (2) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && 1 == dialysateRecircBlocked) && 1 == bloodRecircBlocked) ==> FALSE - (3) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && 1 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE - (4) if (((TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE) != state && 1 == bloodRecircBlocked) && 0 == dialysateRecircBlocked) ==> TRUE - Test Case Generation Notes: - Conflict: Trying to set variable uut_prototype_stubs.isBloodRecircBlocked.return 'equal to' and 'not equal to' same value in branches 1/4 -TEST.END_NOTES: +TEST.NAME:handleTreatmentStopAlarmsAndSignals_RecoverBloodDetect TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECOVER_BLOOD_DETECT_STATE -TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:2 TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:0 -TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECOVER_BLOOD_DETECT_STATE +TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_RECIRC_STATE TEST.END -- Subprogram: handleTreatmentStopBloodRecircState @@ -713,303 +549,127 @@ -- Subprogram: publishTreatmentStopData --- Test Case: publishTreatmentStopData.001 +-- Test Case: publishTreatmentStopData_NotTimeToPublish TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:publishTreatmentStopData TEST.NEW -TEST.NAME:publishTreatmentStopData.001 -TEST.MCDC_BASIS_PATH:2 of 6 +TEST.NAME:publishTreatmentStopData_NotTimeToPublish TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE - Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". - Condition a ==> TRUE - Test Case Generation Notes: +Test case where it is not yet time to publish. TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> -TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TREATMENT_STOP_TIMER_DATA -TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST -TEST.VALUE:uut_prototype_stubs.broadcastData.dataPtr:"" -TEST.VALUE:uut_prototype_stubs.broadcastData.length:8 -TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TREATMENT_STOP_TIMER_DATA -TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST -TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:8 +TEST.VALUE:TreatmentStop.<>.stopPublishTimerCtr:18 +TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:20 +TEST.EXPECTED:TreatmentStop.<>.stopPublishTimerCtr:19 TEST.END --- Test Case: publishTreatmentStopData.002 +-- Test Case: publishTreatmentStopData_PublishBloodNotSitting TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:publishTreatmentStopData TEST.NEW -TEST.NAME:publishTreatmentStopData.002 -TEST.MCDC_BASIS_PATH:1 of 6 +TEST.NAME:publishTreatmentStopData_PublishBloodNotSitting TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> FALSE - Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". - Condition a ==> FALSE - Test Case Generation Notes: +Test case where it is time to publish - blood not sitting. TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.ovU32[0].data:20 -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.ovU32[0].ovInitData:20 -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.ovU32[0].ovData:20 -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.ovU32[0].override:0 -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> -TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].data:20 -TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].ovInitData:20 -TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].ovData:20 -TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].override:0 +TEST.VALUE:TreatmentStop.<>.bloodSittingTimerCtr:0 +TEST.VALUE:TreatmentStop.<>.stopPublishTimerCtr:19 +TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0 +TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:20 +TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:0 +TEST.EXPECTED:TreatmentStop.<>.stopPublishTimerCtr:0 +TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TREATMENT_STOP_TIMER_DATA +TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.END --- Test Case: publishTreatmentStopData.003 +-- Test Case: publishTreatmentStopData_PublishBloodSitting TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:publishTreatmentStopData TEST.NEW -TEST.NAME:publishTreatmentStopData.003 -TEST.MCDC_BASIS_PATH:3 of 6 +TEST.NAME:publishTreatmentStopData_PublishBloodSitting TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE - (2) if (getRinsebackCompleted() != (1)) ==> FALSE - Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". - Condition a ==> FALSE - Test Case Generation Notes: +Test case where it is time to publish - blood sitting. TEST.END_NOTES: -TEST.VALUE:TreatmentStop.<>.stopPublishTimerCtr:0 -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> -TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:1 -TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TREATMENT_STOP_TIMER_DATA -TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST -TEST.VALUE:uut_prototype_stubs.broadcastData.dataPtr:"" -TEST.VALUE:uut_prototype_stubs.broadcastData.length:8 +TEST.VALUE:TreatmentStop.<>.bloodSittingTimerCtr:100 +TEST.VALUE:TreatmentStop.<>.stopPublishTimerCtr:19 +TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0 +TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:20 +TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:0 TEST.EXPECTED:TreatmentStop.<>.stopPublishTimerCtr:0 TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TREATMENT_STOP_TIMER_DATA TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST -TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:8 TEST.END --- Test Case: publishTreatmentStopData.004 +-- Test Case: publishTreatmentStopData_PublishBloodSittingMoreThan5Minutes TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:publishTreatmentStopData TEST.NEW -TEST.NAME:publishTreatmentStopData.004 -TEST.MCDC_BASIS_PATH:5 of 6 +TEST.NAME:publishTreatmentStopData_PublishBloodSittingMoreThan5Minutes TEST.NOTES: -This is an automatically generated test case. - Test Path 5 - (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE - (2) if (getRinsebackCompleted() != (1)) ==> TRUE - (3) (bloodSittingTimerCtr >= MAX_TIME_BLOOD_SITTING) ==> TRUE - Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". - Condition a ==> TRUE - Test Case Generation Notes: +Test case where it is time to publish - blood sitting > 5 minutes. TEST.END_NOTES: -TEST.VALUE:TreatmentStop.<>.bloodSittingTimerCtr:<> -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> -TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<> -TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TREATMENT_STOP_TIMER_DATA -TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST -TEST.VALUE:uut_prototype_stubs.broadcastData.dataPtr:"" -TEST.VALUE:uut_prototype_stubs.broadcastData.length:8 +TEST.VALUE:TreatmentStop.<>.bloodSittingTimerCtr:6001 +TEST.VALUE:TreatmentStop.<>.stopPublishTimerCtr:19 +TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0 +TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:20 +TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:0 +TEST.EXPECTED:TreatmentStop.<>.stopPublishTimerCtr:0 TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TREATMENT_STOP_TIMER_DATA TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST -TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:8 TEST.END --- Test Case: publishTreatmentStopData.005 +-- Test Case: publishTreatmentStopData_PublishNoRBAlarm TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:publishTreatmentStopData TEST.NEW -TEST.NAME:publishTreatmentStopData.005 +TEST.NAME:publishTreatmentStopData_PublishNoRBAlarm TEST.NOTES: -This is an automatically generated test case. - Test Path 5 - (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE - (2) if (getRinsebackCompleted() != (1)) ==> TRUE - (3) (bloodSittingTimerCtr >= MAX_TIME_BLOOD_SITTING) ==> TRUE - Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". - Condition a ==> TRUE - Test Case Generation Notes: +Test case where it is time to publish - Tx stopped no rinseback alarm. TEST.END_NOTES: -TEST.VALUE:TreatmentStop.<>.bloodSittingTimerCtr:5900 -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> -TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<> -TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TREATMENT_STOP_TIMER_DATA -TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST -TEST.VALUE:uut_prototype_stubs.broadcastData.dataPtr:"" -TEST.VALUE:uut_prototype_stubs.broadcastData.length:8 +TEST.VALUE:TreatmentStop.<>.bloodSittingTimerCtr:100 +TEST.VALUE:TreatmentStop.<>.stopPublishTimerCtr:19 +TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:0,1 +TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:20 +TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:0 +TEST.EXPECTED:TreatmentStop.<>.stopPublishTimerCtr:0 +TEST.EXPECTED:uut_prototype_stubs.isAlarmActive.alarm:ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM,ALARM_ID_HD_TREATMENT_STOPPED_NO_RINSEBACK TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TREATMENT_STOP_TIMER_DATA TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST -TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:8 TEST.END --- Test Case: publishTreatmentStopData.006 +-- Test Case: publishTreatmentStopData_PublishRBCompleted TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:publishTreatmentStopData TEST.NEW -TEST.NAME:publishTreatmentStopData.006 -TEST.BASIS_PATH:1 of 5 +TEST.NAME:publishTreatmentStopData_PublishRBCompleted TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> FALSE - Test Case Generation Notes: +Test case where it is time to publish - rinseback completed. TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> -TEST.END - --- Test Case: publishTreatmentStopData.007 -TEST.UNIT:TreatmentStop -TEST.SUBPROGRAM:publishTreatmentStopData -TEST.NEW -TEST.NAME:publishTreatmentStopData.007 -TEST.BASIS_PATH:2 of 5 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE - (2) if ((getRinsebackCompleted() != (1) && isAlarmActive(ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM) != (1)) && isAlarmActive(ALARM_ID_HD_TREATMENT_STOPPED_NO_RINSEBACK) != (1)) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> +TEST.VALUE:TreatmentStop.<>.bloodSittingTimerCtr:0 +TEST.VALUE:TreatmentStop.<>.stopPublishTimerCtr:19 +TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0 +TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:20 TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:1 +TEST.EXPECTED:TreatmentStop.<>.stopPublishTimerCtr:0 +TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TREATMENT_STOP_TIMER_DATA +TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.END --- Test Case: publishTreatmentStopData.008 +-- Test Case: publishTreatmentStopData_PublishRBTimeout TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:publishTreatmentStopData TEST.NEW -TEST.NAME:publishTreatmentStopData.008 -TEST.BASIS_PATH:3 of 5 +TEST.NAME:publishTreatmentStopData_PublishRBTimeout TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE - (2) if ((getRinsebackCompleted() != (1) && isAlarmActive(ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM) != (1)) && isAlarmActive(ALARM_ID_HD_TREATMENT_STOPPED_NO_RINSEBACK) != (1)) ==> TRUE - (3) if (bloodSittingTimerCtr > (0)) ==> FALSE - Test Case Generation Notes: +Test case where it is time to publish - rinseback t/o alarm. TEST.END_NOTES: -TEST.VALUE:TreatmentStop.<>.bloodSittingTimerCtr:<> -TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<> -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> -TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<> -TEST.EXPECTED:TreatmentStop.<>.bloodSittingTimerCtr:0 -TEST.END - --- Test Case: publishTreatmentStopData.009 -TEST.UNIT:TreatmentStop -TEST.SUBPROGRAM:publishTreatmentStopData -TEST.NEW -TEST.NAME:publishTreatmentStopData.009 -TEST.BASIS_PATH:4 of 5 -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE - (2) if ((getRinsebackCompleted() != (1) && isAlarmActive(ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM) != (1)) && isAlarmActive(ALARM_ID_HD_TREATMENT_STOPPED_NO_RINSEBACK) != (1)) ==> TRUE - (3) if (bloodSittingTimerCtr > (0)) ==> TRUE - (4) if (bloodSittingTimerCtr >= ((5 * 60) * 1000) / 50) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:TreatmentStop.<>.bloodSittingTimerCtr:1 -TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<> -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> -TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<> -TEST.EXPECTED:TreatmentStop.<>.bloodSittingTimerCtr:1 -TEST.END - --- Test Case: publishTreatmentStopData.010 -TEST.UNIT:TreatmentStop -TEST.SUBPROGRAM:publishTreatmentStopData -TEST.NEW -TEST.NAME:publishTreatmentStopData.010 -TEST.BASIS_PATH:5 of 5 -TEST.NOTES: -This is an automatically generated test case. - Test Path 5 - (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE - (2) if ((getRinsebackCompleted() != (1) && isAlarmActive(ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM) != (1)) && isAlarmActive(ALARM_ID_HD_TREATMENT_STOPPED_NO_RINSEBACK) != (1)) ==> TRUE - (3) if (bloodSittingTimerCtr > (0)) ==> TRUE - (4) if (bloodSittingTimerCtr >= ((5 * 60) * 1000) / 50) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:TreatmentStop.<>.bloodSittingTimerCtr:<> -TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<> -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> -TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<> -TEST.EXPECTED:TreatmentStop.<>.bloodSittingTimerCtr:4294967295 -TEST.END - --- Test Case: publishTreatmentStopData.011 -TEST.UNIT:TreatmentStop -TEST.SUBPROGRAM:publishTreatmentStopData -TEST.NEW -TEST.NAME:publishTreatmentStopData.011 -TEST.NOTES: -This is an automatically generated test case. - Test Path 5 - (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE - (2) if ((getRinsebackCompleted() != (1) && isAlarmActive(ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM) != (1)) && isAlarmActive(ALARM_ID_HD_TREATMENT_STOPPED_NO_RINSEBACK) != (1)) ==> TRUE - (3) if (bloodSittingTimerCtr > (0)) ==> TRUE - (4) if (bloodSittingTimerCtr >= ((5 * 60) * 1000) / 50) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:TreatmentStop.<>.bloodSittingTimerCtr:<> +TEST.VALUE:TreatmentStop.<>.bloodSittingTimerCtr:0 +TEST.VALUE:TreatmentStop.<>.stopPublishTimerCtr:19 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> -TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<> -TEST.EXPECTED:TreatmentStop.<>.bloodSittingTimerCtr:4294967295 -TEST.END - --- Test Case: publishTreatmentStopData.012 -TEST.UNIT:TreatmentStop -TEST.SUBPROGRAM:publishTreatmentStopData -TEST.NEW -TEST.NAME:publishTreatmentStopData.012 -TEST.NOTES: -This is an automatically generated test case. - Test Path 5 - (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE - (2) if ((getRinsebackCompleted() != (1) && isAlarmActive(ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM) != (1)) && isAlarmActive(ALARM_ID_HD_TREATMENT_STOPPED_NO_RINSEBACK) != (1)) ==> TRUE - (3) if (bloodSittingTimerCtr > (0)) ==> TRUE - (4) if (bloodSittingTimerCtr >= ((5 * 60) * 1000) / 50) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:TreatmentStop.<>.bloodSittingTimerCtr:<> -TEST.VALUE:uut_prototype_stubs.isAlarmActive.alarm:ALARM_ID_HD_TREATMENT_STOPPED_NO_RINSEBACK -TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 -TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:1 -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> -TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<> -TEST.EXPECTED:TreatmentStop.<>.bloodSittingTimerCtr:4294967295 -TEST.END - --- Test Case: publishTreatmentStopData.013 -TEST.UNIT:TreatmentStop -TEST.SUBPROGRAM:publishTreatmentStopData -TEST.NEW -TEST.NAME:publishTreatmentStopData.013 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE - Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". - Condition a ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isAlarmActive.alarm:ALARM_ID_HD_TREATMENT_STOPPED_NO_RINSEBACK -TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> -TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TREATMENT_STOP_TIMER_DATA -TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST -TEST.VALUE:uut_prototype_stubs.broadcastData.dataPtr:"" -TEST.VALUE:uut_prototype_stubs.broadcastData.length:8 +TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:20 +TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:0 +TEST.EXPECTED:TreatmentStop.<>.stopPublishTimerCtr:0 +TEST.EXPECTED:uut_prototype_stubs.isAlarmActive.alarm:ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TREATMENT_STOP_TIMER_DATA TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST -TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:8 TEST.END -- Subprogram: setupForBloodRecirculationState