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

-- Subprogram: execStandbyMode

-- Test Case: execStandbyMode.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:execStandbyMode
TEST.NEW
TEST.NAME:execStandbyMode.001
TEST.BASIS_PATH:1 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (13) case currentStandbyState ==> default
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:NUM_OF_STANDBY_STATES
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_START_STATE
TEST.END

-- Test Case: execStandbyMode.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:execStandbyMode
TEST.NEW
TEST.NAME:execStandbyMode.002
TEST.BASIS_PATH:2 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) case currentStandbyState ==> STANDBY_START_STATE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_START_STATE
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_START_STATE
TEST.END

-- Test Case: execStandbyMode.003
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:execStandbyMode
TEST.NEW
TEST.NAME:execStandbyMode.003
TEST.BASIS_PATH:3 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (2) case currentStandbyState ==> STANDBY_WAIT_FOR_TREATMENT_STATE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.END

-- Test Case: execStandbyMode.004
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:execStandbyMode
TEST.NEW
TEST.NAME:execStandbyMode.004
TEST.BASIS_PATH:4 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (3) case currentStandbyState ==> STANDBY_WAIT_FOR_DISINFECT_STATE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE
TEST.END

-- Test Case: execStandbyMode.005
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:execStandbyMode
TEST.NEW
TEST.NAME:execStandbyMode.005
TEST.BASIS_PATH:5 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (4) case currentStandbyState ==> STANDBY_WAIT_FOR_DG_FLUSH_CMD_RESPONSE_STATE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DG_FLUSH_CMD_RESPONSE_STATE
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DG_FLUSH_CMD_RESPONSE_STATE
TEST.END

-- Test Case: execStandbyMode.006
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:execStandbyMode
TEST.NEW
TEST.NAME:execStandbyMode.006
TEST.BASIS_PATH:6 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (5) case currentStandbyState ==> STANDBY_WAIT_FOR_DG_FLUSH_TO_START_STATE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DG_FLUSH_TO_START_STATE
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DG_FLUSH_TO_START_STATE
TEST.END

-- Test Case: execStandbyMode.007
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:execStandbyMode
TEST.NEW
TEST.NAME:execStandbyMode.007
TEST.BASIS_PATH:7 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (6) case currentStandbyState ==> STANDBY_DG_FLUSH_IN_PROGRESS_STATE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.END

-- Test Case: execStandbyMode.008
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:execStandbyMode
TEST.NEW
TEST.NAME:execStandbyMode.008
TEST.BASIS_PATH:8 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (7) case currentStandbyState ==> STANDBY_WAIT_FOR_DG_HEAT_DISINFECT_CMD_RESPONSE_STATE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DG_HEAT_DISINFECT_CMD_RESPONSE_STATE
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DG_HEAT_DISINFECT_CMD_RESPONSE_STATE
TEST.END

-- Test Case: execStandbyMode.009
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:execStandbyMode
TEST.NEW
TEST.NAME:execStandbyMode.009
TEST.BASIS_PATH:9 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (8) case currentStandbyState ==> STANDBY_WAIT_FOR_DG_HEAT_DISINFECT_TO_START_STATE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DG_HEAT_DISINFECT_TO_START_STATE
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DG_HEAT_DISINFECT_TO_START_STATE
TEST.END

-- Test Case: execStandbyMode.010
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:execStandbyMode
TEST.NEW
TEST.NAME:execStandbyMode.010
TEST.BASIS_PATH:10 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (9) case currentStandbyState ==> STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.END

-- Test Case: execStandbyMode.011
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:execStandbyMode
TEST.NEW
TEST.NAME:execStandbyMode.011
TEST.BASIS_PATH:11 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (10) case currentStandbyState ==> STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_CMD_RESPONSE_STATE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_CMD_RESPONSE_STATE
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_CMD_RESPONSE_STATE
TEST.END

-- Test Case: execStandbyMode.012
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:execStandbyMode
TEST.NEW
TEST.NAME:execStandbyMode.012
TEST.BASIS_PATH:12 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (11) case currentStandbyState ==> STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_TO_START_STATE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_TO_START_STATE
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_TO_START_STATE
TEST.END

-- Test Case: execStandbyMode.013
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:execStandbyMode
TEST.NEW
TEST.NAME:execStandbyMode.013
TEST.BASIS_PATH:13 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (12) case currentStandbyState ==> STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.END

-- Subprogram: handleStandbyModeDGChemDisininfectInProgressState

-- Test Case: handleStandbyModeDGChemDisininfectInProgressState.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeDGChemDisininfectInProgressState
TEST.NEW
TEST.NAME:handleStandbyModeDGChemDisininfectInProgressState.001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (getDGOpMode() != (DG_MODE_CHEM)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_CHEM
TEST.END

-- Test Case: handleStandbyModeDGChemDisininfectInProgressState.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeDGChemDisininfectInProgressState
TEST.NEW
TEST.NAME:handleStandbyModeDGChemDisininfectInProgressState.002
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (getDGOpMode() != (DG_MODE_CHEM)) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.END

-- Subprogram: handleStandbyModeDGFlushInProgressState

-- Test Case: handleStandbyModeDGFlushInProgressState.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeDGFlushInProgressState
TEST.NEW
TEST.NAME:handleStandbyModeDGFlushInProgressState.001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (getDGOpMode() != (DG_MODE_FLUS)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FLUS
TEST.END

-- Test Case: handleStandbyModeDGFlushInProgressState.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeDGFlushInProgressState
TEST.NEW
TEST.NAME:handleStandbyModeDGFlushInProgressState.002
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (getDGOpMode() != (DG_MODE_FLUS)) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.END

-- Subprogram: handleStandbyModeDGHeatDisinfectInProgressState

-- Test Case: handleStandbyModeDGHeatDisinfectInProgressState.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeDGHeatDisinfectInProgressState
TEST.NEW
TEST.NAME:handleStandbyModeDGHeatDisinfectInProgressState.001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (getDGOpMode() != (DG_MODE_HEAT)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_HEAT
TEST.END

-- Test Case: handleStandbyModeDGHeatDisinfectInProgressState.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeDGHeatDisinfectInProgressState
TEST.NEW
TEST.NAME:handleStandbyModeDGHeatDisinfectInProgressState.002
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (getDGOpMode() != (DG_MODE_HEAT)) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.END

-- Subprogram: handleStandbyModeStartState

-- Test Case: handleStandbyModeStartState.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeStartState
TEST.NEW
TEST.NAME:handleStandbyModeStartState.001
TEST.BASIS_PATH:1 of 4 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (homingInitiated != (1) && (STATE_CLOSED) == getSwitchStatus(FRONT_DOOR)) ==> FALSE
      (3) if ((1) == homingInitiated && (1) == isSyringePumpHome()) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable homingInitiated in branch 1
      Cannot set homingInitiated due to assignment
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_CARTRIDGE_DOOR_OPENED
TEST.VALUE:uut_prototype_stubs.homeBloodPump.return:0
TEST.VALUE:uut_prototype_stubs.homeDialInPump.return:0
TEST.VALUE:uut_prototype_stubs.homeDialOutPump.return:0
TEST.VALUE:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR
TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN
TEST.VALUE:uut_prototype_stubs.retractSyringePump.return:0
TEST.VALUE:uut_prototype_stubs.isSyringePumpHome.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.homeValve.valve:NUM_OF_VALVES
TEST.VALUE:uut_prototype_stubs.homeValve.return:0
TEST.EXPECTED:ModeStandby.handleStandbyModeStartState.return:STANDBY_START_STATE
TEST.END

-- Test Case: handleStandbyModeStartState.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeStartState
TEST.NEW
TEST.NAME:handleStandbyModeStartState.002
TEST.BASIS_PATH:3 of 4 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (homingInitiated != (1) && (STATE_CLOSED) == getSwitchStatus(FRONT_DOOR)) ==> TRUE
      (2) for (valve < (NUM_OF_VALVES)) ==> FALSE
      (3) if ((1) == homingInitiated && (1) == isSyringePumpHome()) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable homingInitiated in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 2
      Cannot set homingInitiated due to assignment
TEST.END_NOTES:
TEST.VALUE:ModeStandby.handleStandbyModeStartState.return:STANDBY_START_STATE
TEST.VALUE:uut_prototype_stubs.homeBloodPump.return:0
TEST.VALUE:uut_prototype_stubs.homeDialInPump.return:0
TEST.VALUE:uut_prototype_stubs.homeDialOutPump.return:0
TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED
TEST.VALUE:uut_prototype_stubs.retractSyringePump.return:0
TEST.VALUE:uut_prototype_stubs.isSyringePumpHome.return:1
TEST.VALUE:uut_prototype_stubs.homeValve.return:0
TEST.EXPECTED:ModeStandby.handleStandbyModeStartState.return:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.END

-- Test Case: handleStandbyModeStartState.003
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeStartState
TEST.NEW
TEST.NAME:handleStandbyModeStartState.003
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (homingInitiated != (1) && (STATE_CLOSED) == getSwitchStatus(FRONT_DOOR)) ==> FALSE
      (3) if ((1) == homingInitiated && (1) == isSyringePumpHome()) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable homingInitiated in branch 1
      Cannot set homingInitiated due to assignment
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_CARTRIDGE_DOOR_OPENED
TEST.VALUE:uut_prototype_stubs.homeBloodPump.return:0
TEST.VALUE:uut_prototype_stubs.homeDialInPump.return:0
TEST.VALUE:uut_prototype_stubs.homeDialOutPump.return:0
TEST.VALUE:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR
TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN
TEST.VALUE:uut_prototype_stubs.retractSyringePump.return:0
TEST.VALUE:uut_prototype_stubs.isSyringePumpHome.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.homeValve.valve:NUM_OF_VALVES
TEST.VALUE:uut_prototype_stubs.homeValve.return:0
TEST.EXPECTED:ModeStandby.handleStandbyModeStartState.return:STANDBY_START_STATE
TEST.END

-- Subprogram: handleStandbyModeWaitForDGChemDisinfectCmdResponseState

-- Test Case: handleStandbyModeWaitForDGChemDisinfectCmdResponseState.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDGChemDisinfectCmdResponseState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDGChemDisinfectCmdResponseState.001
TEST.BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == getDGCommandResponse(DG_CMD_START_CHEM_DISINFECT, &dgCmdResp)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.handleStandbyModeWaitForDGChemDisinfectCmdResponseState.return:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_CMD_RESPONSE_STATE
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<<MIN>>
TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDGChemDisinfectCmdResponseState.return:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_CMD_RESPONSE_STATE
TEST.END

-- Test Case: handleStandbyModeWaitForDGChemDisinfectCmdResponseState.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDGChemDisinfectCmdResponseState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDGChemDisinfectCmdResponseState.002
TEST.BASIS_PATH:2 of 3 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == getDGCommandResponse(DG_CMD_START_CHEM_DISINFECT, &dgCmdResp)) ==> TRUE
      (2) if ((DG_CMD_REQUEST_REJECT_REASON_NONE) == dgCmdResp.rejectCode) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable dgCmdResp in branch 2
TEST.END_NOTES:
TEST.VALUE:ModeStandby.handleStandbyModeWaitForDGChemDisinfectCmdResponseState.return:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_CMD_RESPONSE_STATE
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1
TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0
TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:0
TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.chemDisinfectStartReqReceived:0
TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDGChemDisinfectCmdResponseState.return:STANDBY_WAIT_FOR_DISINFECT_STATE
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0
TEST.END

-- Subprogram: handleStandbyModeWaitForDGChemDisinfectStartState

-- Test Case: handleStandbyModeWaitForDGChemDisinfectStartState.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDGChemDisinfectStartState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDGChemDisinfectStartState.001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((DG_MODE_CHEM) == getDGOpMode()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.END

-- Test Case: handleStandbyModeWaitForDGChemDisinfectStartState.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDGChemDisinfectStartState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDGChemDisinfectStartState.002
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((DG_MODE_CHEM) == getDGOpMode()) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_CHEM
TEST.END

-- Subprogram: handleStandbyModeWaitForDGFlushCmdResponseState

-- Test Case: handleStandbyModeWaitForDGFlushCmdResponseState.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDGFlushCmdResponseState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDGFlushCmdResponseState.001
TEST.BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == getDGCommandResponse(DG_CMD_START_FLUSH, &dgCmdResp)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.handleStandbyModeWaitForDGFlushCmdResponseState.return:STANDBY_WAIT_FOR_DG_FLUSH_CMD_RESPONSE_STATE
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<<MIN>>
TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDGFlushCmdResponseState.return:STANDBY_WAIT_FOR_DG_FLUSH_CMD_RESPONSE_STATE
TEST.END

-- Test Case: handleStandbyModeWaitForDGFlushCmdResponseState.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDGFlushCmdResponseState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDGFlushCmdResponseState.002
TEST.BASIS_PATH:2 of 3 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == getDGCommandResponse(DG_CMD_START_FLUSH, &dgCmdResp)) ==> TRUE
      (2) if ((DG_CMD_REQUEST_REJECT_REASON_NONE) == dgCmdResp.rejectCode) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable dgCmdResp in branch 2
TEST.END_NOTES:
TEST.VALUE:ModeStandby.handleStandbyModeWaitForDGFlushCmdResponseState.return:STANDBY_WAIT_FOR_DG_FLUSH_CMD_RESPONSE_STATE
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1
TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:1
TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.flushStartReqReceived:0
TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDGFlushCmdResponseState.return:STANDBY_WAIT_FOR_DISINFECT_STATE
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0
TEST.END

-- Subprogram: handleStandbyModeWaitForDGFlushToStartState

-- Test Case: handleStandbyModeWaitForDGFlushToStartState.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDGFlushToStartState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDGFlushToStartState.001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((DG_MODE_FLUS) == getDGOpMode()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.END

-- Test Case: handleStandbyModeWaitForDGFlushToStartState.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDGFlushToStartState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDGFlushToStartState.002
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((DG_MODE_FLUS) == getDGOpMode()) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FLUS
TEST.END

-- Subprogram: handleStandbyModeWaitForDGHeatDisinfectCmdResponseState

-- Test Case: handleStandbyModeWaitForDGHeatDisinfectCmdResponseState.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDGHeatDisinfectCmdResponseState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDGHeatDisinfectCmdResponseState.001
TEST.BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == getDGCommandResponse(DG_CMD_START_HEAT_DISINFECT, &dgCmdResp)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.handleStandbyModeWaitForDGHeatDisinfectCmdResponseState.return:STANDBY_WAIT_FOR_DG_HEAT_DISINFECT_CMD_RESPONSE_STATE
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<<MIN>>
TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDGHeatDisinfectCmdResponseState.return:STANDBY_WAIT_FOR_DG_HEAT_DISINFECT_CMD_RESPONSE_STATE
TEST.END

-- Test Case: handleStandbyModeWaitForDGHeatDisinfectCmdResponseState.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDGHeatDisinfectCmdResponseState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDGHeatDisinfectCmdResponseState.002
TEST.BASIS_PATH:2 of 3 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == getDGCommandResponse(DG_CMD_START_HEAT_DISINFECT, &dgCmdResp)) ==> TRUE
      (2) if ((DG_CMD_REQUEST_REJECT_REASON_NONE) == dgCmdResp.rejectCode) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable dgCmdResp in branch 2
TEST.END_NOTES:
TEST.VALUE:ModeStandby.handleStandbyModeWaitForDGHeatDisinfectCmdResponseState.return:STANDBY_WAIT_FOR_DG_HEAT_DISINFECT_CMD_RESPONSE_STATE
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.heatDisinfectStartReqReceived:0
TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDGHeatDisinfectCmdResponseState.return:STANDBY_WAIT_FOR_DISINFECT_STATE
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0
TEST.END

-- Subprogram: handleStandbyModeWaitForDGHeatDisinfectStartState

-- Test Case: handleStandbyModeWaitForDGHeatDisinfectStartState.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDGHeatDisinfectStartState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDGHeatDisinfectStartState.001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((DG_MODE_HEAT) == getDGOpMode()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.END

-- Test Case: handleStandbyModeWaitForDGHeatDisinfectStartState.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDGHeatDisinfectStartState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDGHeatDisinfectStartState.002
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((DG_MODE_HEAT) == getDGOpMode()) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_HEAT
TEST.END

-- Subprogram: handleStandbyModeWaitForDisinfectState

-- Test Case: handleStandbyModeWaitForDisinfectState.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDisinfectState.001
TEST.BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == flushStartReqReceived) ==> FALSE
      (2) if ((1) == heatDisinfectStartReqReceived) ==> FALSE
      (3) if ((1) == chemDisinfectStartReqReceived) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.flushStartReqReceived:<<MIN>>
TEST.VALUE:ModeStandby.<<GLOBAL>>.heatDisinfectStartReqReceived:<<MIN>>
TEST.VALUE:ModeStandby.<<GLOBAL>>.chemDisinfectStartReqReceived:<<MIN>>
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.flushStartReqReceived:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.heatDisinfectStartReqReceived:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.chemDisinfectStartReqReceived:0
TEST.END

-- Test Case: handleStandbyModeWaitForDisinfectState.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDisinfectState.002
TEST.BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == flushStartReqReceived) ==> FALSE
      (2) if ((1) == heatDisinfectStartReqReceived) ==> FALSE
      (3) if ((1) == chemDisinfectStartReqReceived) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.flushStartReqReceived:<<MIN>>
TEST.VALUE:ModeStandby.<<GLOBAL>>.heatDisinfectStartReqReceived:<<MIN>>
TEST.VALUE:ModeStandby.<<GLOBAL>>.chemDisinfectStartReqReceived:1
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.flushStartReqReceived:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.heatDisinfectStartReqReceived:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.chemDisinfectStartReqReceived:1
TEST.END

-- Test Case: handleStandbyModeWaitForDisinfectState.003
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDisinfectState.003
TEST.BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == flushStartReqReceived) ==> FALSE
      (2) if ((1) == heatDisinfectStartReqReceived) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.flushStartReqReceived:<<MIN>>
TEST.VALUE:ModeStandby.<<GLOBAL>>.heatDisinfectStartReqReceived:1
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.flushStartReqReceived:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.heatDisinfectStartReqReceived:1
TEST.END

-- Test Case: handleStandbyModeWaitForDisinfectState.004
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDisinfectState.004
TEST.BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == flushStartReqReceived) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.flushStartReqReceived:1
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.flushStartReqReceived:1
TEST.END

-- Subprogram: handleStandbyModeWaitForTreatmentState

-- Test Case: handleStandbyModeWaitForTreatmentState.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForTreatmentState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForTreatmentState.001
TEST.BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((DG_MODE_FILL) == dgOperationMode) ==> FALSE
      (2) if ((DG_MODE_GENE) == dgOperationMode) ==> FALSE
      (3) if ((1) == treatStartReqReceived) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.treatStartReqReceived:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.treatStartReqReceived:0
TEST.END

-- Test Case: handleStandbyModeWaitForTreatmentState.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForTreatmentState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForTreatmentState.002
TEST.BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((DG_MODE_FILL) == dgOperationMode) ==> FALSE
      (2) if ((DG_MODE_GENE) == dgOperationMode) ==> FALSE
      (3) if ((1) == treatStartReqReceived) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.treatStartReqReceived:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.treatStartReqReceived:0
TEST.END

-- Test Case: handleStandbyModeWaitForTreatmentState.003
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForTreatmentState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForTreatmentState.003
TEST.BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((DG_MODE_FILL) == dgOperationMode) ==> FALSE
      (2) if ((DG_MODE_GENE) == dgOperationMode) ==> TRUE
      (3) if ((1) == treatStartReqReceived) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.treatStartReqReceived:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.treatStartReqReceived:0
TEST.END

-- Test Case: handleStandbyModeWaitForTreatmentState.004
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForTreatmentState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForTreatmentState.004
TEST.BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((DG_MODE_FILL) == dgOperationMode) ==> TRUE
      (2) if ((DG_MODE_GENE) == dgOperationMode) ==> FALSE
      (3) if ((1) == treatStartReqReceived) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.treatStartReqReceived:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FILL
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.treatStartReqReceived:0
TEST.END

-- Subprogram: initStandbyMode

-- Test Case: initStandbyMode.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:initStandbyMode
TEST.NEW
TEST.NAME:initStandbyMode.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.END

-- Subprogram: publishDisinfectData

-- Test Case: publishDisinfectData.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:publishDisinfectData
TEST.NEW
TEST.NAME:publishDisinfectData.001
TEST.BASIS_PATH:1 of 4 (template)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++dataPublishCounter > (1 * 1000) / 50) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.dataPublishCounter:20
TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.chemDisinfectUIState:0
TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.heatDisinfectUIState:0
TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.flushUIState:0
TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_DISINFECT_STANDBY_DATA
TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.dataPublishCounter:0
TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_DISINFECT_STANDBY_DATA
TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.END

-- Test Case: publishDisinfectData.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:publishDisinfectData
TEST.NEW
TEST.NAME:publishDisinfectData.002
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++dataPublishCounter > (1 * 1000) / 50) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE
TEST.VALUE:ModeStandby.<<GLOBAL>>.dataPublishCounter:20
TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.chemDisinfectUIState:0
TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.heatDisinfectUIState:0
TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.flushUIState:0
TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_DISINFECT_STANDBY_DATA
TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.dataPublishCounter:0
TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_DISINFECT_STANDBY_DATA
TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.END

-- Test Case: publishDisinfectData.003
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:publishDisinfectData
TEST.NEW
TEST.NAME:publishDisinfectData.003
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++dataPublishCounter > (1 * 1000) / 50) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE
TEST.VALUE:ModeStandby.<<GLOBAL>>.dataPublishCounter:20
TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.chemDisinfectUIState:0
TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.heatDisinfectUIState:0
TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.flushUIState:0
TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_DISINFECT_STANDBY_DATA
TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.dataPublishCounter:0
TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_DISINFECT_STANDBY_DATA
TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.END

-- Test Case: publishDisinfectData.004
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:publishDisinfectData
TEST.NEW
TEST.NAME:publishDisinfectData.004
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++dataPublishCounter > (1 * 1000) / 50) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE
TEST.VALUE:ModeStandby.<<GLOBAL>>.dataPublishCounter:20
TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.chemDisinfectUIState:0
TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.heatDisinfectUIState:0
TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.flushUIState:0
TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_DISINFECT_STANDBY_DATA
TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.dataPublishCounter:0
TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_DISINFECT_STANDBY_DATA
TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.END

-- Subprogram: signalAlarmActionToStandbyMode

-- Test Case: signalAlarmActionToStandbyMode.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalAlarmActionToStandbyMode
TEST.NEW
TEST.NAME:signalAlarmActionToStandbyMode.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.END

-- Subprogram: signalInitiateStandbyDisinfectSubmode

-- Test Case: signalInitiateStandbyDisinfectSubmode.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalInitiateStandbyDisinfectSubmode
TEST.NEW
TEST.NAME:signalInitiateStandbyDisinfectSubmode.001
TEST.BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((MODE_STAN) == getCurrentOperationMode() && (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_START_STATE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_START_STATE
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:1
TEST.END

-- Test Case: signalInitiateStandbyDisinfectSubmode.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalInitiateStandbyDisinfectSubmode
TEST.NEW
TEST.NAME:signalInitiateStandbyDisinfectSubmode.002
TEST.BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((MODE_STAN) == getCurrentOperationMode() && (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> TRUE
      (2) if ((1) == isDGCommunicating()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:32
TEST.END

-- Test Case: signalInitiateStandbyDisinfectSubmode.003
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalInitiateStandbyDisinfectSubmode
TEST.NEW
TEST.NAME:signalInitiateStandbyDisinfectSubmode.003
TEST.BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((MODE_STAN) == getCurrentOperationMode() && (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> TRUE
      (2) if ((1) == isDGCommunicating()) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1
TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:1
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:0
TEST.END

-- Test Case: signalInitiateStandbyDisinfectSubmode.004
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalInitiateStandbyDisinfectSubmode
TEST.NEW
TEST.NAME:signalInitiateStandbyDisinfectSubmode.004
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((MODE_STAN) == getCurrentOperationMode() && (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> TRUE
      (2) if ((1) == isDGCommunicating()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_START_STATE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_START_STATE
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:1
TEST.END

-- Subprogram: signalUserInitiateChemicalDisinfectMode

-- Test Case: signalUserInitiateChemicalDisinfectMode.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateChemicalDisinfectMode
TEST.NEW
TEST.NAME:signalUserInitiateChemicalDisinfectMode.001
TEST.BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:1
TEST.END

-- Test Case: signalUserInitiateChemicalDisinfectMode.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateChemicalDisinfectMode
TEST.NEW
TEST.NAME:signalUserInitiateChemicalDisinfectMode.002
TEST.BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE
      (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_START_STATE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_START_STATE
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:1
TEST.END

-- Test Case: signalUserInitiateChemicalDisinfectMode.003
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateChemicalDisinfectMode
TEST.NEW
TEST.NAME:signalUserInitiateChemicalDisinfectMode.003
TEST.BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE
      (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> TRUE
      (3) if ((1) == isDGCommunicating()) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1
TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.chemDisinfectStartReqReceived:1
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:1
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:0
TEST.END

-- Test Case: signalUserInitiateChemicalDisinfectMode.004
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateChemicalDisinfectMode
TEST.NEW
TEST.NAME:signalUserInitiateChemicalDisinfectMode.004
TEST.BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE
      (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> TRUE
      (3) if ((1) == isDGCommunicating()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:32
TEST.END

-- Subprogram: signalUserInitiateFlushMode

-- Test Case: signalUserInitiateFlushMode.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateFlushMode
TEST.NEW
TEST.NAME:signalUserInitiateFlushMode.001
TEST.BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0
TEST.EXPECTED:ModeStandby.signalUserInitiateFlushMode.return:0
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:1
TEST.END

-- Test Case: signalUserInitiateFlushMode.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateFlushMode
TEST.NEW
TEST.NAME:signalUserInitiateFlushMode.002
TEST.BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE
      (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_START_STATE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_START_STATE
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:1
TEST.END

-- Test Case: signalUserInitiateFlushMode.003
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateFlushMode
TEST.NEW
TEST.NAME:signalUserInitiateFlushMode.003
TEST.BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE
      (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> TRUE
      (3) if ((1) == isDGCommunicating()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:32
TEST.END

-- Test Case: signalUserInitiateFlushMode.004
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateFlushMode
TEST.NEW
TEST.NAME:signalUserInitiateFlushMode.004
TEST.BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE
      (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> TRUE
      (3) if ((1) == isDGCommunicating()) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1
TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.flushStartReqReceived:1
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:1
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:0
TEST.END

-- Subprogram: signalUserInitiateHeatDisinfectMode

-- Test Case: signalUserInitiateHeatDisinfectMode.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateHeatDisinfectMode
TEST.NEW
TEST.NAME:signalUserInitiateHeatDisinfectMode.001
TEST.BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.signalUserInitiateHeatDisinfectMode.return:0
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0
TEST.EXPECTED:ModeStandby.signalUserInitiateHeatDisinfectMode.return:0
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:1
TEST.END

-- Test Case: signalUserInitiateHeatDisinfectMode.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateHeatDisinfectMode
TEST.NEW
TEST.NAME:signalUserInitiateHeatDisinfectMode.002
TEST.BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE
      (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_START_STATE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_START_STATE
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:1
TEST.END

-- Test Case: signalUserInitiateHeatDisinfectMode.003
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateHeatDisinfectMode
TEST.NEW
TEST.NAME:signalUserInitiateHeatDisinfectMode.003
TEST.BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE
      (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> TRUE
      (3) if ((1) == isDGCommunicating()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:32
TEST.END

-- Test Case: signalUserInitiateHeatDisinfectMode.004
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateHeatDisinfectMode
TEST.NEW
TEST.NAME:signalUserInitiateHeatDisinfectMode.004
TEST.BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE
      (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> TRUE
      (3) if ((1) == isDGCommunicating()) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1
TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.heatDisinfectStartReqReceived:1
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:1
TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:0
TEST.END

-- Subprogram: signalUserInitiateTreatment

-- Test Case: signalUserInitiateTreatment.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:signalUserInitiateTreatment.001
TEST.BASIS_PATH:1 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE
      (2) if ((1) != isDGCommunicating()) ==> FALSE
      (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE
      (4) if ((0) == isBatteryCharged()) ==> FALSE
      (5) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable rejReason in branch 5
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1
TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:1
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:1
TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:0
TEST.END

-- Test Case: signalUserInitiateTreatment.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:signalUserInitiateTreatment.002
TEST.BASIS_PATH:2 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE
      (2) if ((1) != isDGCommunicating()) ==> FALSE
      (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE
      (4) if ((0) == isBatteryCharged()) ==> FALSE
      (5) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable rejReason in branch 5
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1
TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:1
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:1
TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:0
TEST.END

-- Test Case: signalUserInitiateTreatment.003
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:signalUserInitiateTreatment.003
TEST.BASIS_PATH:3 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE
      (2) if ((1) != isDGCommunicating()) ==> FALSE
      (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE
      (4) if ((0) == isBatteryCharged()) ==> TRUE
      (5) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE
   Test Case Generation Notes:
      Cannot set rejReason due to assignment
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:0
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1
TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:38
TEST.END

-- Test Case: signalUserInitiateTreatment.004
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:signalUserInitiateTreatment.004
TEST.BASIS_PATH:4 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE
      (2) if ((1) != isDGCommunicating()) ==> FALSE
      (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> TRUE
      (4) if ((0) == isBatteryCharged()) ==> FALSE
      (5) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE
   Test Case Generation Notes:
      Cannot set rejReason due to assignment
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1
TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:34
TEST.END

-- Test Case: signalUserInitiateTreatment.005
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:signalUserInitiateTreatment.005
TEST.BASIS_PATH:5 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE
      (2) if ((1) != isDGCommunicating()) ==> TRUE
      (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE
      (4) if ((0) == isBatteryCharged()) ==> FALSE
      (5) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE
   Test Case Generation Notes:
      Cannot set rejReason due to assignment
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:32
TEST.END

-- Test Case: signalUserInitiateTreatment.006
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:signalUserInitiateTreatment.006
TEST.BASIS_PATH:6 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> TRUE
      (2) if ((1) != isDGCommunicating()) ==> FALSE
      (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE
      (4) if ((0) == isBatteryCharged()) ==> FALSE
      (5) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE
   Test Case Generation Notes:
      Cannot set rejReason due to assignment
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_START_STATE
TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1
TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:0
TEST.EXPECTED:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_START_STATE
TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:1
TEST.END

-- Subprogram: testResetStandbyModePublishIntervalOverride

-- Test Case: testResetStandbyModePublishIntervalOverride.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:testResetStandbyModePublishIntervalOverride
TEST.NEW
TEST.NAME:testResetStandbyModePublishIntervalOverride.001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Test Case: testResetStandbyModePublishIntervalOverride.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:testResetStandbyModePublishIntervalOverride
TEST.NEW
TEST.NAME:testResetStandbyModePublishIntervalOverride.002
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Subprogram: testSetStandbyModePublishIntervalOverride

-- Test Case: testSetStandbyModePublishIntervalOverride.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:testSetStandbyModePublishIntervalOverride
TEST.NEW
TEST.NAME:testSetStandbyModePublishIntervalOverride.001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.testSetStandbyModePublishIntervalOverride.ms:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.EXPECTED:ModeStandby.testSetStandbyModePublishIntervalOverride.ms:0
TEST.END

-- Test Case: testSetStandbyModePublishIntervalOverride.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:testSetStandbyModePublishIntervalOverride
TEST.NEW
TEST.NAME:testSetStandbyModePublishIntervalOverride.002
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.testSetStandbyModePublishIntervalOverride.ms:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:ModeStandby.testSetStandbyModePublishIntervalOverride.ms:0
TEST.END

-- Subprogram: transitionToStandbyMode

-- Test Case: transitionToStandbyMode.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:transitionToStandbyMode
TEST.NEW
TEST.NAME:transitionToStandbyMode.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.END