-- VectorCAST 19.sp3 (11/13/19)
-- Test Case Script
-- 
-- Environment    : PRETREATMENTRECIRC
-- Unit(s) Under Test: PreTreatmentRecirc
-- 
-- 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: PreTreatmentRecirc

-- Subprogram: execPreTreatmentRecirc

-- Test Case: execPreTreatmentRecirc.001
TEST.UNIT:PreTreatmentRecirc
TEST.SUBPROGRAM:execPreTreatmentRecirc
TEST.NEW
TEST.NAME:execPreTreatmentRecirc.001
TEST.STUB:PreTreatmentRecirc.handlePreTreatmentRecirculateState
TEST.VALUE:PreTreatmentRecirc.<<GLOBAL>>.currentPreTreatmentRecircState:PRE_TREATMENT_RECIRC_STATE
TEST.VALUE:PreTreatmentRecirc.handlePreTreatmentRecirculateState.return:PRE_TREATMENT_RECIRC_STATE
TEST.EXPECTED:PreTreatmentRecirc.<<GLOBAL>>.currentPreTreatmentRecircState:PRE_TREATMENT_RECIRC_STATE
TEST.END

-- Test Case: execPreTreatmentRecirc.002
TEST.UNIT:PreTreatmentRecirc
TEST.SUBPROGRAM:execPreTreatmentRecirc
TEST.NEW
TEST.NAME:execPreTreatmentRecirc.002
TEST.STUB:PreTreatmentRecirc.handlePreTreatmentRecirculateStoppedState
TEST.VALUE:PreTreatmentRecirc.<<GLOBAL>>.currentPreTreatmentRecircState:PRE_TREATMENT_RECIRC_STOPPED_STATE
TEST.VALUE:PreTreatmentRecirc.handlePreTreatmentRecirculateStoppedState.return:PRE_TREATMENT_RECIRC_STOPPED_STATE
TEST.EXPECTED:PreTreatmentRecirc.<<GLOBAL>>.currentPreTreatmentRecircState:PRE_TREATMENT_RECIRC_STOPPED_STATE
TEST.END

-- Test Case: execPreTreatmentRecirc.003
TEST.UNIT:PreTreatmentRecirc
TEST.SUBPROGRAM:execPreTreatmentRecirc
TEST.NEW
TEST.NAME:execPreTreatmentRecirc.003
TEST.VALUE:PreTreatmentRecirc.<<GLOBAL>>.currentPreTreatmentRecircState:NUM_OF_PRE_TREATMENT_RECIRC_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:106
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:106
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:2
TEST.END

-- Subprogram: getPreTreatmentRecircState

-- Test Case: getPreTreatmentRecircState.001
TEST.UNIT:PreTreatmentRecirc
TEST.SUBPROGRAM:getPreTreatmentRecircState
TEST.NEW
TEST.NAME:getPreTreatmentRecircState.001
TEST.VALUE:PreTreatmentRecirc.getPreTreatmentRecircState.return:0
TEST.EXPECTED:PreTreatmentRecirc.getPreTreatmentRecircState.return:0
TEST.END

-- Subprogram: handlePreTreatmentRecirculateState

-- Test Case: handlePreTreatmentRecirculateState.001
TEST.UNIT:PreTreatmentRecirc
TEST.SUBPROGRAM:handlePreTreatmentRecirculateState
TEST.NEW
TEST.NAME:handlePreTreatmentRecirculateState.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == doesAlarmStatusIndicateStop()) ==> 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:PreTreatmentRecirc.handlePreTreatmentRecirculateState.return:PRE_TREATMENT_RECIRC_STOPPED_STATE
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.EXPECTED:PreTreatmentRecirc.handlePreTreatmentRecirculateState.return:PRE_TREATMENT_RECIRC_STOPPED_STATE
TEST.END

-- Test Case: handlePreTreatmentRecirculateState.002
TEST.UNIT:PreTreatmentRecirc
TEST.SUBPROGRAM:handlePreTreatmentRecirculateState
TEST.NEW
TEST.NAME:handlePreTreatmentRecirculateState.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == doesAlarmStatusIndicateStop()) ==> 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:PreTreatmentRecirc.handlePreTreatmentRecirculateState.return:PRE_TREATMENT_RECIRC_STATE
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.EXPECTED:PreTreatmentRecirc.handlePreTreatmentRecirculateState.return:PRE_TREATMENT_RECIRC_STATE
TEST.END

-- Subprogram: handlePreTreatmentRecirculateStoppedState

-- Test Case: handlePreTreatmentRecirculateStoppedState.001
TEST.UNIT:PreTreatmentRecirc
TEST.SUBPROGRAM:handlePreTreatmentRecirculateStoppedState
TEST.NEW
TEST.NAME:handlePreTreatmentRecirculateStoppedState.001
TEST.VALUE:PreTreatmentRecirc.<<GLOBAL>>.recircResumeRequested:0
TEST.EXPECTED:PreTreatmentRecirc.<<GLOBAL>>.recircResumeRequested:0
TEST.END

-- Test Case: setupPreTreatmentRecirculate.001
TEST.UNIT:PreTreatmentRecirc
TEST.SUBPROGRAM:handlePreTreatmentRecirculateStoppedState
TEST.NEW
TEST.NAME:setupPreTreatmentRecirculate.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == recircResumeRequested) ==> 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:PreTreatmentRecirc.<<GLOBAL>>.recircResumeRequested:1
TEST.VALUE:PreTreatmentRecirc.handlePreTreatmentRecirculateStoppedState.return:PRE_TREATMENT_RECIRC_STATE
TEST.EXPECTED:PreTreatmentRecirc.handlePreTreatmentRecirculateStoppedState.return:PRE_TREATMENT_RECIRC_STATE
TEST.END

-- Subprogram: initPreTreatmentRecirc

-- Test Case: initPreTreatmentRecirc.001
TEST.UNIT:PreTreatmentRecirc
TEST.SUBPROGRAM:initPreTreatmentRecirc
TEST.NEW
TEST.NAME:initPreTreatmentRecirc.001
TEST.VALUE:PreTreatmentRecirc.<<GLOBAL>>.currentPreTreatmentRecircState:PRE_TREATMENT_RECIRC_STATE
TEST.EXPECTED:PreTreatmentRecirc.<<GLOBAL>>.currentPreTreatmentRecircState:PRE_TREATMENT_RECIRC_STATE
TEST.END

-- Subprogram: resetPreTreatmentRecircFlags

-- Test Case: resetPreTreatmentRecircFlags.001
TEST.UNIT:PreTreatmentRecirc
TEST.SUBPROGRAM:resetPreTreatmentRecircFlags
TEST.NEW
TEST.NAME:resetPreTreatmentRecircFlags.001
TEST.VALUE:PreTreatmentRecirc.<<GLOBAL>>.recircResumeRequested:0
TEST.EXPECTED:PreTreatmentRecirc.<<GLOBAL>>.recircResumeRequested:0
TEST.END

-- Subprogram: setupPreTreatmentRecirculate

-- Test Case: setupPreTreatmentRecirculate.001
TEST.UNIT:PreTreatmentRecirc
TEST.SUBPROGRAM:setupPreTreatmentRecirculate
TEST.NEW
TEST.NAME:setupPreTreatmentRecirculate.001
TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.flowRate:100
TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD
TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_OPEN_LOOP
TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.flowRate:100,250
TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD
TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_OPEN_LOOP
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
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_OPEN_LOOP
TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.flowRate:100
TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD
TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_OPEN_LOOP
TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.door:1
TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.pumpTrack:1
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.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.END

-- Subprogram: signalResumePreTreatmentRecirc

-- Test Case: signalResumePreTreatmentRecirc.001
TEST.UNIT:PreTreatmentRecirc
TEST.SUBPROGRAM:signalResumePreTreatmentRecirc
TEST.NEW
TEST.NAME:signalResumePreTreatmentRecirc.001
TEST.VALUE:PreTreatmentRecirc.<<GLOBAL>>.recircResumeRequested:1
TEST.EXPECTED:PreTreatmentRecirc.<<GLOBAL>>.recircResumeRequested:1
TEST.END

-- Subprogram: transitionToPreTreatmentRecirc

-- Test Case: transitionToPreTreatmentRecirc.001
TEST.UNIT:PreTreatmentRecirc
TEST.SUBPROGRAM:transitionToPreTreatmentRecirc
TEST.NEW
TEST.NAME:transitionToPreTreatmentRecirc.001
TEST.STUB:PreTreatmentRecirc.initPreTreatmentRecirc
TEST.STUB:PreTreatmentRecirc.setupPreTreatmentRecirculate
TEST.END