-- VectorCAST 19.sp3 (11/13/19)
-- Test Case Script
-- 
-- Environment    : TREATMENTEND
-- Unit(s) Under Test: TreatmentEnd
-- 
-- Script Features
TEST.SCRIPT_FEATURE:C_DIRECT_ARRAY_INDEXING
TEST.SCRIPT_FEATURE:CPP_CLASS_OBJECT_REVISION
TEST.SCRIPT_FEATURE:MULTIPLE_UUT_SUPPORT
TEST.SCRIPT_FEATURE:MIXED_CASE_NAMES
TEST.SCRIPT_FEATURE:STATIC_HEADER_FUNCS_IN_UUTS
TEST.SCRIPT_FEATURE:VCAST_MAIN_NOT_RENAMED
--

-- Unit: TreatmentEnd

-- Subprogram: execTreatmentEnd

-- Test Case: execTreatmentEnd.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:execTreatmentEnd
TEST.NEW
TEST.NAME:execTreatmentEnd.001
TEST.STUB:TreatmentEnd.handleTxEndWait4RinsebackState
TEST.VALUE:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.treatmentEndState:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.END

-- Test Case: execTreatmentEnd.002
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:execTreatmentEnd
TEST.NEW
TEST.NAME:execTreatmentEnd.002
TEST.STUB:TreatmentEnd.handleTxEndPausedState
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.treatmentEndState:TREATMENT_END_PAUSED_STATE
TEST.VALUE:TreatmentEnd.handleTxEndPausedState.return:TREATMENT_END_PAUSED_STATE
TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.treatmentEndState:TREATMENT_END_PAUSED_STATE
TEST.END

-- Test Case: execTreatmentEnd.003
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:execTreatmentEnd
TEST.NEW
TEST.NAME:execTreatmentEnd.003
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.treatmentEndState:NUM_OF_TREATMENT_END_STATES
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:98
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:2
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:98
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:2
TEST.END

-- Test Case: execTreatmentEnd.004
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:execTreatmentEnd
TEST.NEW
TEST.NAME:execTreatmentEnd.004
TEST.STUB:TreatmentEnd.handleTxEndWait4RinsebackState
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.treatmentEndState:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.VALUE:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_PAUSED_STATE
TEST.VALUE:uut_prototype_stubs.sendEvent.event:HD_EVENT_SUB_STATE_CHANGE
TEST.VALUE:uut_prototype_stubs.sendEvent.dat1.dataType:EVENT_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.sendEvent.dat2.dataType:EVENT_DATA_TYPE_U32
TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.treatmentEndState:TREATMENT_END_PAUSED_STATE
TEST.EXPECTED:uut_prototype_stubs.sendEvent.event:HD_EVENT_SUB_STATE_CHANGE
TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat1.dataType:EVENT_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat1.data.uInt.data:0
TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat2.dataType:EVENT_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat2.data.uInt.data:1
TEST.END

-- Test Case: execTreatmentEnd.005
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:execTreatmentEnd
TEST.NEW
TEST.NAME:execTreatmentEnd.005
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 87 TEST.VALUE:uut_prototype_stubs.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_ACCEPTED
    >>>     >>> Could not find function getConfirmationRequestStatus
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 84 TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_TREATMENT_END
    >>>     >>> Unknown parameter/object name request_id
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.STUB:TreatmentEnd.handleTxEndWait4RinsebackState
TEST.VALUE:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.treatmentEndState:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.END

-- Test Case: execTreatmentEnd.006
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:execTreatmentEnd
TEST.NEW
TEST.NAME:execTreatmentEnd.006
TEST.STUB:TreatmentEnd.handleTxEndWait4RinsebackState
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndTimerCtr:1000000000
TEST.VALUE:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.treatmentEndState:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.END

-- Test Case: execTreatmentEnd.007
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:execTreatmentEnd
TEST.NEW
TEST.NAME:execTreatmentEnd.007
TEST.STUB:TreatmentEnd.handleTxEndWait4RinsebackState
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndTimerCtr:1000000000
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:MACRO=TRUE
TEST.VALUE:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.treatmentEndState:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.END

-- Subprogram: getCurrentTreatmentEndState

-- Test Case: getCurrentTreatmentEndState.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:getCurrentTreatmentEndState
TEST.NEW
TEST.NAME:getCurrentTreatmentEndState.001
TEST.VALUE:TreatmentEnd.getCurrentTreatmentEndState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.EXPECTED:TreatmentEnd.getCurrentTreatmentEndState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.END

-- Subprogram: handleTxEndPausedState

-- Test Case: handleTxEndPausedState.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:handleTxEndPausedState.001
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:1
TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:1
TEST.EXPECTED:TreatmentEnd.handleTxEndPausedState.return:TREATMENT_END_PAUSED_STATE
TEST.END

-- Test Case: handleTxEndPausedState.002
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:handleTxEndPausedState.002
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:1
TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:1
TEST.EXPECTED:TreatmentEnd.handleTxEndPausedState.return:TREATMENT_END_PAUSED_STATE
TEST.END

-- Test Case: handleTxEndPausedState.003
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:handleTxEndPausedState.003
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 134 TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmResumeRequested:1
    >>>     >>> Unknown parameter/object name txEndAlarmResumeRequested
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 135 TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.txEndAlarmResumeRequested:1
    >>>     >>> Unknown parameter/object name txEndAlarmResumeRequested
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.STUB:TreatmentEnd.setupForTxEndWait4RinsebackState
TEST.EXPECTED:TreatmentEnd.handleTxEndPausedState.return:TREATMENT_END_PAUSED_STATE
TEST.END

-- Test Case: handleTxEndPausedState.004
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:handleTxEndPausedState.004
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:1
TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:1
TEST.EXPECTED:TreatmentEnd.handleTxEndPausedState.return:TREATMENT_END_PAUSED_STATE
TEST.END

-- Test Case: handleTxEndPausedState.005
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:handleTxEndPausedState.005
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.bloodSittingTimerCtr:5000
TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_END_OF_TREATMENT_ALARM
TEST.EXPECTED:TreatmentEnd.handleTxEndPausedState.return:TREATMENT_END_PAUSED_STATE
TEST.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_END_OF_TREATMENT_ALARM
TEST.END

-- Test Case: handleTxEndPausedState.006
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:handleTxEndPausedState.006
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
>>> (E) @LINE: 127 TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_END_OF_TREATMENT_ALARM,ALARM_ID_HD_END_OF_TREATMENT_HIGH
>>>     >>> Value for 'Enumeral' out of range
>>>     >>>   Read "ALARM_ID_END_OF_TREATMENT_ALARM"
>>>     >>>   Command Ignored
>>> (E) @LINE: 129 TEST.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_END_OF_TREATMENT_ALARM,ALARM_ID_HD_END_OF_TREATMENT_HIGH
>>>     >>> Value for 'Enumeral' out of range
>>>     >>>   Read "ALARM_ID_END_OF_TREATMENT_ALARM"
>>>     >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.bloodSittingTimerCtr:7000
TEST.EXPECTED:TreatmentEnd.handleTxEndPausedState.return:TREATMENT_END_PAUSED_STATE
TEST.END

-- Test Case: handleTxEndPausedState.007
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:handleTxEndPausedState.007
TEST.MCDC_BASIS_PATH:1 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == txEndRinsebackRequested || (1) == txEndAlarmRinsebackRequested) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:<<MIN>>
TEST.EXPECTED:TreatmentEnd.handleTxEndPausedState.return:TREATMENT_END_PAUSED_STATE
TEST.END

-- Test Case: handleTxEndPausedState.008
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:handleTxEndPausedState.008
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.bloodSittingTimerCtr:5000
TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_END_OF_TREATMENT_ALARM
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateEndTxOnly.return:1
TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.bloodSittingTimerCtr:5001
TEST.EXPECTED:TreatmentEnd.handleTxEndPausedState.return:TREATMENT_END_PAUSED_STATE
TEST.END

-- Subprogram: handleTxEndRinsebackUserAction

-- Test Case: handleTxEndRinsebackUserAction.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndRinsebackUserAction
TEST.NEW
TEST.NAME:handleTxEndRinsebackUserAction.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((TREATMENT_END_WAIT_FOR_RINSEBACK_STATE) == treatmentEndState) ==> 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:TreatmentEnd.<<GLOBAL>>.treatmentEndState:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:1
TEST.VALUE:TreatmentEnd.handleTxEndRinsebackUserAction.rejReason:<<malloc 1>>
TEST.VALUE:TreatmentEnd.handleTxEndRinsebackUserAction.return:0
TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:1
TEST.EXPECTED:TreatmentEnd.handleTxEndRinsebackUserAction.return:1
TEST.END

-- Test Case: handleTxEndRinsebackUserAction.002
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndRinsebackUserAction
TEST.NEW
TEST.NAME:handleTxEndRinsebackUserAction.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((TREATMENT_END_WAIT_FOR_RINSEBACK_STATE) == treatmentEndState) ==> 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:TreatmentEnd.<<GLOBAL>>.treatmentEndState:TREATMENT_END_PAUSED_STATE
TEST.VALUE:TreatmentEnd.handleTxEndRinsebackUserAction.rejReason:<<malloc 1>>
TEST.VALUE:TreatmentEnd.handleTxEndRinsebackUserAction.rejReason[0]:REQUEST_REJECT_REASON_ACTION_DISABLED_IN_CURRENT_STATE
TEST.VALUE:TreatmentEnd.handleTxEndRinsebackUserAction.return:0
TEST.EXPECTED:TreatmentEnd.handleTxEndRinsebackUserAction.return:0
TEST.END

-- Subprogram: handleTxEndWait4RinsebackState

-- Test Case: handleTxEndWait4RinsebackState.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:handleTxEndWait4RinsebackState.001
TEST.MCDC_BASIS_PATH:3 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.EXPECTED:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.END

-- Test Case: handleTxEndWait4RinsebackState.002
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:handleTxEndWait4RinsebackState.002
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.VALUE:uut_prototype_stubs.getDGInactiveReservoir.return:DG_RESERVOIR_2
TEST.EXPECTED:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.END

-- Test Case: handleTxEndWait4RinsebackState.003
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:handleTxEndWait4RinsebackState.003
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 260 TEST.VALUE:uut_prototype_stubs.cmdSetDGActiveReservoir.resID:DG_RESERVOIR_2
    >>>     >>> Unknown parameter/object name resID
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:14 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
      (2) if (getDGInactiveReservoir() != (DG_RESERVOIR_1)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:2
TEST.VALUE:uut_prototype_stubs.getDGInactiveReservoir.return:DG_RESERVOIR_2
TEST.EXPECTED:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.END

-- Test Case: handleTxEndWait4RinsebackState.004
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:handleTxEndWait4RinsebackState.004
TEST.MCDC_BASIS_PATH:5 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:TreatmentEnd.setupForTxEndPausedState
TEST.VALUE:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.EXPECTED:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_PAUSED_STATE
TEST.END

-- Test Case: handleTxEndWait4RinsebackState.005
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:handleTxEndWait4RinsebackState.005
TEST.MCDC_BASIS_PATH:7 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (4) if ((1) == txEndAlarmEndTreatmentRequested) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:1
TEST.VALUE:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:1
TEST.EXPECTED:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.END

-- Test Case: handleTxEndWait4RinsebackState.006
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:handleTxEndWait4RinsebackState.006
TEST.MCDC_BASIS_PATH:9 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (4) if ((1) == txEndAlarmEndTreatmentRequested) ==> FALSE
      (5) if ((1) == txEndRinsebackRequested || (1) == txEndAlarmRinsebackRequested) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #5, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:1
TEST.VALUE:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.EXPECTED:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.END

-- Test Case: handleTxEndWait4RinsebackState.007
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:handleTxEndWait4RinsebackState.007
TEST.MCDC_BASIS_PATH:10 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (4) if ((1) == txEndAlarmEndTreatmentRequested) ==> FALSE
      (5) if ((1) == txEndRinsebackRequested || (1) == txEndAlarmRinsebackRequested) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #5, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:1
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.EXPECTED:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.END

-- Test Case: handleTxEndWait4RinsebackState.008
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:handleTxEndWait4RinsebackState.008
TEST.MCDC_BASIS_PATH:12 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (4) if ((1) == txEndAlarmEndTreatmentRequested) ==> FALSE
      (5) if ((1) == txEndRinsebackRequested || (1) == txEndAlarmRinsebackRequested) ==> FALSE
      (6) if (txEndTimerCtr > TX_END_TIMEOUT_MS) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndTimerCtr:<<MAX>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_END_TREATMENT_TIMEOUT_ALARM
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.EXPECTED:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.END

-- Test Case: handleTxEndWait4RinsebackState.009
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:handleTxEndWait4RinsebackState.009
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndDrainCmdSent:1
TEST.VALUE:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.EXPECTED:TreatmentEnd.handleTxEndWait4RinsebackState.return:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.END

-- Subprogram: initTreatmentEnd

-- Test Case: initTreatmentEnd.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:initTreatmentEnd
TEST.NEW
TEST.NAME:initTreatmentEnd.001
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndTimerCtr:0
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.bloodSittingTimerCtr:0
TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.treatmentEndState:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.txEndTimerCtr:0
TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.bloodSittingTimerCtr:0
TEST.END

-- Subprogram: publishTreatmentEndData

-- Test Case: publishTreatmentEndData.004
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:publishTreatmentEndData
TEST.NEW
TEST.NAME:publishTreatmentEndData.004
TEST.BASIS_PATH:4 of 4 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (++treatmentEndPublishTimerCtr >= 1000 / 50) ==> TRUE
      (2) if (bloodSittingTimerCtr > (0)) ==> TRUE
      (3) if (bloodSittingTimerCtr >= ((5 * 60) * 1000) / 50) ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.bloodSittingTimerCtr:<<MAX>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.treatmentEndPublishTimerCtr:15
TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.treatmentEndPublishTimerCtr:16
TEST.END

-- Test Case: publishTreatmentEndData.005
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:publishTreatmentEndData
TEST.NEW
TEST.NAME:publishTreatmentEndData.005
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++treatmentEndPublishTimerCtr >= 1000 / 50) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.treatmentEndPublishTimerCtr:20
TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TREATMENT_STOP_TIMER_DATA
TEST.END

-- Test Case: publishTreatmentEndData.006
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:publishTreatmentEndData
TEST.NEW
TEST.NAME:publishTreatmentEndData.006
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++treatmentEndPublishTimerCtr >= 1000 / 50) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.bloodSittingTimerCtr:1
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.treatmentEndPublishTimerCtr:20
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: publishTreatmentEndData.007
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:publishTreatmentEndData
TEST.NEW
TEST.NAME:publishTreatmentEndData.007
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++treatmentEndPublishTimerCtr >= 1000 / 50) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.bloodSittingTimerCtr:1000000000
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.treatmentEndPublishTimerCtr:20
TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TREATMENT_STOP_TIMER_DATA
TEST.END

-- Subprogram: resetTreatmentEndFlags

-- Test Case: resetTreatmentEndFlags.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:resetTreatmentEndFlags
TEST.NEW
TEST.NAME:resetTreatmentEndFlags.001
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 623 TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmResumeRequested:0
    >>>     >>> Unknown parameter/object name txEndAlarmResumeRequested
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 627 TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.txEndAlarmResumeRequested:0
    >>>     >>> Unknown parameter/object name txEndAlarmResumeRequested
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:0
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:0
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:0
TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:0
TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:0
TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:0
TEST.END

-- Subprogram: setupForTxEndPausedState

-- Test Case: setupForTxEndPausedState.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:setupForTxEndPausedState
TEST.NEW
TEST.NAME:setupForTxEndPausedState.001
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VBA,VBV
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VBA,VBV
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.END

-- Subprogram: setupForTxEndWait4RinsebackState

-- Test Case: setupForTxEndWait4RinsebackState.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:setupForTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:setupForTxEndWait4RinsebackState.001
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.bloodSittingTimerCtr:0
TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RESUME
TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:0
TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.flowRate:100
TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD
TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.param:TREATMENT_PARAM_BLOOD_FLOW
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:450
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VBA,VBV
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_B_OPEN
TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.bloodSittingTimerCtr:0
TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.flowRate:450
TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD
TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VBA,VBV
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_B_OPEN
TEST.END

-- Subprogram: signalTreatmentEndAlarmEndTxUserAction

-- Test Case: signalTreatmentEndAlarmEndTxUserAction.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:signalTreatmentEndAlarmEndTxUserAction
TEST.NEW
TEST.NAME:signalTreatmentEndAlarmEndTxUserAction.001
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:1
TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:1
TEST.END

-- Subprogram: signalTreatmentEndAlarmRinsebackUserAction

-- Test Case: signalTreatmentEndAlarmRinsebackUserAction.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:signalTreatmentEndAlarmRinsebackUserAction
TEST.NEW
TEST.NAME:signalTreatmentEndAlarmRinsebackUserAction.001
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:1
TEST.EXPECTED:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:1
TEST.END

-- Subprogram: signalTreatmentEndUserAction

-- Test Case: signalTreatmentEndUserAction.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:signalTreatmentEndUserAction
TEST.NEW
TEST.NAME:signalTreatmentEndUserAction.001
TEST.VALUE:TreatmentEnd.signalTreatmentEndUserAction.action:NUM_OF_REQUESTED_TX_END_USER_ACTIONS
TEST.VALUE:uut_prototype_stubs.sendTreatmentEndCmdResponse.accepted:0
TEST.VALUE:uut_prototype_stubs.sendTreatmentEndCmdResponse.rejReason:MACRO=REQUEST_REJECT_REASON_NONE
TEST.EXPECTED:uut_prototype_stubs.sendTreatmentEndCmdResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendTreatmentEndCmdResponse.rejReason:MACRO=REQUEST_REJECT_REASON_INVALID_COMMAND
TEST.END

-- Test Case: signalTreatmentEndUserAction.002
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:signalTreatmentEndUserAction
TEST.NEW
TEST.NAME:signalTreatmentEndUserAction.002
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((0) == isAnyAlarmActive()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:TreatmentEnd.handleTxEndRinsebackUserAction
TEST.VALUE:TreatmentEnd.signalTreatmentEndUserAction.action:<<MIN>>
TEST.VALUE:TreatmentEnd.handleTxEndRinsebackUserAction.rejReason[0]:REQUEST_REJECT_REASON_NONE
TEST.VALUE:TreatmentEnd.handleTxEndRinsebackUserAction.return:1
TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0
TEST.VALUE:uut_prototype_stubs.sendTreatmentEndCmdResponse.accepted:1
TEST.VALUE:uut_prototype_stubs.sendTreatmentEndCmdResponse.rejReason:MACRO=REQUEST_REJECT_REASON_NONE
TEST.EXPECTED:uut_prototype_stubs.sendTreatmentEndCmdResponse.accepted:1
TEST.EXPECTED:uut_prototype_stubs.sendTreatmentEndCmdResponse.rejReason:MACRO=REQUEST_REJECT_REASON_NONE
TEST.END

-- Test Case: signalTreatmentEndUserAction.003
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:signalTreatmentEndUserAction
TEST.NEW
TEST.NAME:signalTreatmentEndUserAction.003
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((0) == isAnyAlarmActive()) ==> 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:TreatmentEnd.signalTreatmentEndUserAction.action:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:1
TEST.VALUE:uut_prototype_stubs.sendTreatmentEndCmdResponse.accepted:0
TEST.VALUE:uut_prototype_stubs.sendTreatmentEndCmdResponse.rejReason:MACRO=REQUEST_REJECT_REASON_ALARM_IS_ACTIVE
TEST.EXPECTED:uut_prototype_stubs.sendTreatmentEndCmdResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendTreatmentEndCmdResponse.rejReason:MACRO=REQUEST_REJECT_REASON_ALARM_IS_ACTIVE
TEST.END

-- Subprogram: transitionToTreatmentEnd

-- Test Case: transitionToTreatmentEnd.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:transitionToTreatmentEnd
TEST.NEW
TEST.NAME:transitionToTreatmentEnd.001
TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RESUME,ALARM_USER_ACTION_RINSEBACK,ALARM_USER_ACTION_END_TREATMENT
TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:1
TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.flowRate:100
TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD
TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.param:TREATMENT_PARAM_BLOOD_FLOW
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:450
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:(2)VALVE_POSITION_C_CLOSE,(2)VALVE_POSITION_B_OPEN
TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RESUME,ALARM_USER_ACTION_RINSEBACK,ALARM_USER_ACTION_END_TREATMENT
TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:0,(2)1
TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.flowRate:450
TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD
TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:(2)VALVE_POSITION_C_CLOSE,(2)VALVE_POSITION_B_OPEN
TEST.END