-- 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.END

-- Test Case: execStandbyMode.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:execStandbyMode
TEST.NEW
TEST.NAME:execStandbyMode.002
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.END

-- Test Case: execStandbyMode.003
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:execStandbyMode
TEST.NEW
TEST.NAME:execStandbyMode.003
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE
TEST.END

-- Test Case: execStandbyMode.004
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:execStandbyMode
TEST.NEW
TEST.NAME:execStandbyMode.004
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE
TEST.END

-- Test Case: execStandbyMode.005
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:execStandbyMode
TEST.NEW
TEST.NAME:execStandbyMode.005
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE
TEST.END

-- Test Case: execStandbyMode.006
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:execStandbyMode
TEST.NEW
TEST.NAME:execStandbyMode.006
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE
TEST.END

-- Test Case: execStandbyMode.007
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:execStandbyMode
TEST.NEW
TEST.NAME:execStandbyMode.007
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:NUM_OF_STANDBY_STATES
TEST.END

-- Subprogram: handleStandbyModeDGChemDisininfectInProgressState

-- Test Case: handleStandbyModeDGChemDisininfectInProgressState.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeDGChemDisininfectInProgressState
TEST.NEW
TEST.NAME:handleStandbyModeDGChemDisininfectInProgressState.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (getDGOpMode() != (DG_MODE_CHEM)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.END

-- Test Case: handleStandbyModeDGChemDisininfectInProgressState.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeDGChemDisininfectInProgressState
TEST.NEW
TEST.NAME:handleStandbyModeDGChemDisininfectInProgressState.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (getDGOpMode() != (DG_MODE_CHEM)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_CHEM
TEST.END

-- Subprogram: handleStandbyModeDGFlushInProgressState

-- Test Case: handleStandbyModeDGFlushInProgressState.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeDGFlushInProgressState
TEST.NEW
TEST.NAME:handleStandbyModeDGFlushInProgressState.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (getDGOpMode() != (DG_MODE_FLUS)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.END

-- Test Case: handleStandbyModeDGFlushInProgressState.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeDGFlushInProgressState
TEST.NEW
TEST.NAME:handleStandbyModeDGFlushInProgressState.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (getDGOpMode() != (DG_MODE_FLUS)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FLUS
TEST.END

-- Subprogram: handleStandbyModeDGHeatDisinfectInProgressState

-- Test Case: handleStandbyModeDGHeatDisinfectInProgressState.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeDGHeatDisinfectInProgressState
TEST.NEW
TEST.NAME:handleStandbyModeDGHeatDisinfectInProgressState.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (getDGOpMode() != (DG_MODE_HEAT)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.END

-- Test Case: handleStandbyModeDGHeatDisinfectInProgressState.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeDGHeatDisinfectInProgressState
TEST.NEW
TEST.NAME:handleStandbyModeDGHeatDisinfectInProgressState.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (getDGOpMode() != (DG_MODE_HEAT)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.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.MCDC_BASIS_PATH:2 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == flushStartReqReceived) ==> 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:ModeStandby.<<GLOBAL>>.flushStartReqReceived:1
TEST.END

-- Test Case: handleStandbyModeWaitForDisinfectState.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDisinfectState.002
TEST.MCDC_BASIS_PATH:1 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == flushStartReqReceived) ==> 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:ModeStandby.<<GLOBAL>>.flushStartReqReceived:<<MIN>>
TEST.END

-- Test Case: handleStandbyModeWaitForDisinfectState.003
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDisinfectState.003
TEST.MCDC_BASIS_PATH:15 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 15
      (1) if ((1) == flushStartReqReceived) ==> TRUE
      (2) if ((0) == hasDisinfectCmdBeenSet) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.flushStartReqReceived:1
TEST.VALUE:ModeStandby.<<GLOBAL>>.hasDisinfectCmdBeenSet:1
TEST.END

-- Test Case: handleStandbyModeWaitForDisinfectState.004
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDisinfectState.004
TEST.MCDC_BASIS_PATH:18 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 18
      (1) if ((1) == flushStartReqReceived) ==> TRUE
      (2) if ((0) == hasDisinfectCmdBeenSet) ==> FALSE
      (3) if ((DG_MODE_FLUS) == getDGOpMode()) ==> 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.VALUE:ModeStandby.<<GLOBAL>>.flushStartReqReceived:1
TEST.VALUE:ModeStandby.<<GLOBAL>>.hasDisinfectCmdBeenSet:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FLUS
TEST.END

-- Test Case: handleStandbyModeWaitForDisinfectState.005
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDisinfectState.005
TEST.MCDC_BASIS_PATH:4 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == flushStartReqReceived) ==> FALSE
      (4) if ((1) == heatDisinfectStartReqReceived) ==> 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:ModeStandby.<<GLOBAL>>.flushStartReqReceived:<<MIN>>
TEST.VALUE:ModeStandby.<<GLOBAL>>.heatDisinfectStartReqReceived:1
TEST.END

-- Test Case: handleStandbyModeWaitForDisinfectState.006
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDisinfectState.006
TEST.MCDC_BASIS_PATH:11 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if ((1) == flushStartReqReceived) ==> FALSE
      (4) if ((1) == heatDisinfectStartReqReceived) ==> TRUE
      (5) if ((0) == hasDisinfectCmdBeenSet) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.flushStartReqReceived:<<MIN>>
TEST.VALUE:ModeStandby.<<GLOBAL>>.heatDisinfectStartReqReceived:1
TEST.VALUE:ModeStandby.<<GLOBAL>>.hasDisinfectCmdBeenSet:1
TEST.END

-- Test Case: handleStandbyModeWaitForDisinfectState.007
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDisinfectState.007
TEST.MCDC_BASIS_PATH:14 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (1) if ((1) == flushStartReqReceived) ==> FALSE
      (4) if ((1) == heatDisinfectStartReqReceived) ==> TRUE
      (5) if ((0) == hasDisinfectCmdBeenSet) ==> FALSE
      (6) if ((DG_MODE_HEAT) == getDGOpMode()) ==> 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:ModeStandby.<<GLOBAL>>.flushStartReqReceived:<<MIN>>
TEST.VALUE:ModeStandby.<<GLOBAL>>.heatDisinfectStartReqReceived:1
TEST.VALUE:ModeStandby.<<GLOBAL>>.hasDisinfectCmdBeenSet:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_HEAT
TEST.END

-- Test Case: handleStandbyModeWaitForDisinfectState.008
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDisinfectState.008
TEST.MCDC_BASIS_PATH:6 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == flushStartReqReceived) ==> FALSE
      (4) if ((1) == heatDisinfectStartReqReceived) ==> FALSE
      (7) if ((1) == chemDisinfectStartReqReceived) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a".
         Condition a ==> 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.END

-- Test Case: handleStandbyModeWaitForDisinfectState.009
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDisinfectState.009
TEST.MCDC_BASIS_PATH:7 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == flushStartReqReceived) ==> FALSE
      (4) if ((1) == heatDisinfectStartReqReceived) ==> FALSE
      (7) if ((1) == chemDisinfectStartReqReceived) ==> TRUE
      (8) if ((0) == hasDisinfectCmdBeenSet) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #8, subcondition "a".
         Condition a ==> 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:1
TEST.VALUE:ModeStandby.<<GLOBAL>>.hasDisinfectCmdBeenSet:1
TEST.END

-- Test Case: handleStandbyModeWaitForDisinfectState.010
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForDisinfectState.010
TEST.MCDC_BASIS_PATH:10 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if ((1) == flushStartReqReceived) ==> FALSE
      (4) if ((1) == heatDisinfectStartReqReceived) ==> FALSE
      (7) if ((1) == chemDisinfectStartReqReceived) ==> TRUE
      (8) if ((0) == hasDisinfectCmdBeenSet) ==> FALSE
      (9) if ((DG_MODE_CHEM) == getDGOpMode()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #9, subcondition "a".
         Condition a ==> 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.VALUE:ModeStandby.<<GLOBAL>>.hasDisinfectCmdBeenSet:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_CHEM
TEST.END

-- Subprogram: handleStandbyModeWaitForTreatmentState

-- Test Case: handleStandbyModeWaitForTreatmentState.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForTreatmentState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForTreatmentState.001
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((DG_MODE_FILL) == dgOperationMode) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FILL
TEST.END

-- Test Case: handleStandbyModeWaitForTreatmentState.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForTreatmentState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForTreatmentState.002
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((DG_MODE_FILL) == dgOperationMode) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.END

-- Test Case: handleStandbyModeWaitForTreatmentState.003
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForTreatmentState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForTreatmentState.003
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((DG_MODE_FILL) == dgOperationMode) ==> FALSE
      (2) if ((DG_MODE_GENE) == dgOperationMode) ==> 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:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.END

-- Test Case: handleStandbyModeWaitForTreatmentState.004
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForTreatmentState
TEST.NEW
TEST.NAME:handleStandbyModeWaitForTreatmentState.004
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((DG_MODE_FILL) == dgOperationMode) ==> FALSE
      (2) if ((DG_MODE_GENE) == dgOperationMode) ==> FALSE
      (3) if ((1) == treatStartReqReceived) ==> 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.VALUE:ModeStandby.<<GLOBAL>>.treatStartReqReceived:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.END

-- Subprogram: initStandbyMode

-- Test Case: initStandbyMode.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:initStandbyMode
TEST.NEW
TEST.NAME:initStandbyMode.001
TEST.END

-- Subprogram: publishDisinfectData

-- Test Case: publishDisinfectData.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:publishDisinfectData
TEST.NEW
TEST.NAME:publishDisinfectData.001
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE
TEST.VALUE:ModeStandby.<<GLOBAL>>.dataPublishCounter:100
TEST.END

-- Test Case: publishDisinfectData.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:publishDisinfectData
TEST.NEW
TEST.NAME:publishDisinfectData.002
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE
TEST.VALUE:ModeStandby.<<GLOBAL>>.dataPublishCounter:100
TEST.END

-- Test Case: publishDisinfectData.003
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:publishDisinfectData
TEST.NEW
TEST.NAME:publishDisinfectData.003
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE
TEST.VALUE:ModeStandby.<<GLOBAL>>.dataPublishCounter:100
TEST.END

-- Test Case: publishDisinfectData.004
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:publishDisinfectData
TEST.NEW
TEST.NAME:publishDisinfectData.004
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (++dataPublishCounter > (1 * 1000) / 50) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Subprogram: signalAlarmActionToStandbyMode

-- Test Case: signalAlarmActionToStandbyMode.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalAlarmActionToStandbyMode
TEST.NEW
TEST.NAME:signalAlarmActionToStandbyMode.001
TEST.END

-- Subprogram: signalInitiateStandbyDisinfectSubmode

-- Test Case: signalInitiateStandbyDisinfectSubmode.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalInitiateStandbyDisinfectSubmode
TEST.NEW
TEST.NAME:signalInitiateStandbyDisinfectSubmode.001
TEST.MCDC_BASIS_PATH:2 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((MODE_STAN) == getCurrentOperationMode() && (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> 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.END

-- Test Case: signalInitiateStandbyDisinfectSubmode.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalInitiateStandbyDisinfectSubmode
TEST.NEW
TEST.NAME:signalInitiateStandbyDisinfectSubmode.002
TEST.MCDC_BASIS_PATH:3 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((MODE_STAN) == getCurrentOperationMode() && (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> 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:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_START_STATE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.END

-- Test Case: signalInitiateStandbyDisinfectSubmode.003
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalInitiateStandbyDisinfectSubmode
TEST.NEW
TEST.NAME:signalInitiateStandbyDisinfectSubmode.003
TEST.MCDC_BASIS_PATH:1 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((MODE_STAN) == getCurrentOperationMode() && (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> 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_FAUL
TEST.END

-- Test Case: signalInitiateStandbyDisinfectSubmode.004
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalInitiateStandbyDisinfectSubmode
TEST.NEW
TEST.NAME:signalInitiateStandbyDisinfectSubmode.004
TEST.MCDC_BASIS_PATH:5 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((MODE_STAN) == getCurrentOperationMode() && (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> TRUE
      (2) if ((1) == isDGCommunicating()) ==> 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: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.END

-- Subprogram: signalUserInitiateChemicalDisinfectMode

-- Test Case: signalUserInitiateChemicalDisinfectMode.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateChemicalDisinfectMode
TEST.NEW
TEST.NAME:signalUserInitiateChemicalDisinfectMode.001
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (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
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> 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.END

-- Test Case: signalUserInitiateChemicalDisinfectMode.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateChemicalDisinfectMode
TEST.NEW
TEST.NAME:signalUserInitiateChemicalDisinfectMode.002
TEST.MCDC_BASIS_PATH:1 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.END

-- Test Case: signalUserInitiateChemicalDisinfectMode.003
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateChemicalDisinfectMode
TEST.NEW
TEST.NAME:signalUserInitiateChemicalDisinfectMode.003
TEST.MCDC_BASIS_PATH:3 of 7
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) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> 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.END

-- Test Case: signalUserInitiateChemicalDisinfectMode.004
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateChemicalDisinfectMode
TEST.NEW
TEST.NAME:signalUserInitiateChemicalDisinfectMode.004
TEST.MCDC_BASIS_PATH:7 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (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
      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.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.END

-- Test Case: signalUserInitiateChemicalDisinfectMode.005
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateChemicalDisinfectMode
TEST.NEW
TEST.NAME:signalUserInitiateChemicalDisinfectMode.005
TEST.MCDC_BASIS_PATH:6 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (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
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> 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.END

-- Subprogram: signalUserInitiateFlushMode

-- Test Case: signalUserInitiateFlushMode.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateFlushMode
TEST.NEW
TEST.NAME:signalUserInitiateFlushMode.001
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (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
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> 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.END

-- Test Case: signalUserInitiateFlushMode.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateFlushMode
TEST.NEW
TEST.NAME:signalUserInitiateFlushMode.002
TEST.MCDC_BASIS_PATH:2 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.END

-- Test Case: signalUserInitiateFlushMode.003
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateFlushMode
TEST.NEW
TEST.NAME:signalUserInitiateFlushMode.003
TEST.MCDC_BASIS_PATH:1 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.END

-- Test Case: signalUserInitiateFlushMode.004
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateFlushMode
TEST.NEW
TEST.NAME:signalUserInitiateFlushMode.004
TEST.MCDC_BASIS_PATH:7 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (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
      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.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.END

-- Subprogram: signalUserInitiateHeatDisinfectMode

-- Test Case: signalUserInitiateHeatDisinfectMode.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateHeatDisinfectMode
TEST.NEW
TEST.NAME:signalUserInitiateHeatDisinfectMode.001
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (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
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> 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.END

-- Test Case: signalUserInitiateHeatDisinfectMode.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateHeatDisinfectMode
TEST.NEW
TEST.NAME:signalUserInitiateHeatDisinfectMode.002
TEST.MCDC_BASIS_PATH:2 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.END

-- Test Case: signalUserInitiateHeatDisinfectMode.003
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateHeatDisinfectMode
TEST.NEW
TEST.NAME:signalUserInitiateHeatDisinfectMode.003
TEST.MCDC_BASIS_PATH:1 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.END

-- Test Case: signalUserInitiateHeatDisinfectMode.004
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateHeatDisinfectMode
TEST.NEW
TEST.NAME:signalUserInitiateHeatDisinfectMode.004
TEST.MCDC_BASIS_PATH:7 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (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
      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.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.END

-- Subprogram: signalUserInitiateTreatment

-- Test Case: signalUserInitiateTreatment.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:signalUserInitiateTreatment.001
TEST.MCDC_BASIS_PATH:2 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == getNoNewTreatmentStatus()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getNoNewTreatmentStatus.return:1
TEST.END

-- Test Case: signalUserInitiateTreatment.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:signalUserInitiateTreatment.002
TEST.MCDC_BASIS_PATH:5 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == getNoNewTreatmentStatus()) ==> FALSE
      (2) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #2, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_START_STATE
TEST.VALUE:uut_prototype_stubs.getNoNewTreatmentStatus.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.END

-- Test Case: signalUserInitiateTreatment.003
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:signalUserInitiateTreatment.003
TEST.MCDC_BASIS_PATH:3 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == getNoNewTreatmentStatus()) ==> FALSE
      (2) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.VALUE:uut_prototype_stubs.getNoNewTreatmentStatus.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.END

-- Test Case: signalUserInitiateTreatment.004
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:signalUserInitiateTreatment.004
TEST.MCDC_BASIS_PATH:6 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == getNoNewTreatmentStatus()) ==> FALSE
      (2) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE
      (3) if ((1) != isDGCommunicating()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.VALUE:uut_prototype_stubs.getNoNewTreatmentStatus.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1
TEST.END

-- Test Case: signalUserInitiateTreatment.005
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:signalUserInitiateTreatment.005
TEST.MCDC_BASIS_PATH:10 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if ((1) == getNoNewTreatmentStatus()) ==> FALSE
      (2) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE
      (3) if ((1) != isDGCommunicating()) ==> FALSE
      (4) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #4, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.VALUE:uut_prototype_stubs.getNoNewTreatmentStatus.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1
TEST.END

-- Test Case: signalUserInitiateTreatment.006
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:signalUserInitiateTreatment.006
TEST.MCDC_BASIS_PATH:8 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == getNoNewTreatmentStatus()) ==> FALSE
      (2) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE
      (3) if ((1) != isDGCommunicating()) ==> FALSE
      (4) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.VALUE:uut_prototype_stubs.getNoNewTreatmentStatus.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN
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.END

-- Test Case: signalUserInitiateTreatment.007
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:signalUserInitiateTreatment.007
TEST.MCDC_BASIS_PATH:11 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if ((1) == getNoNewTreatmentStatus()) ==> FALSE
      (2) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE
      (3) if ((1) != isDGCommunicating()) ==> FALSE
      (4) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE
      (5) if ((0) == isBatteryCharged()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE
TEST.VALUE:uut_prototype_stubs.getNoNewTreatmentStatus.return:<<MIN>>
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:1
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1
TEST.END

-- Subprogram: testResetStandbyModePublishIntervalOverride

-- Test Case: testResetStandbyModePublishIntervalOverride.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:testResetStandbyModePublishIntervalOverride
TEST.NEW
TEST.NAME:testResetStandbyModePublishIntervalOverride.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: testResetStandbyModePublishIntervalOverride.002
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:testResetStandbyModePublishIntervalOverride
TEST.NEW
TEST.NAME:testResetStandbyModePublishIntervalOverride.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSetStandbyModePublishIntervalOverride

-- Test Case: testSetStandbyModePublishIntervalOverride.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:testSetStandbyModePublishIntervalOverride
TEST.NEW
TEST.NAME:testSetStandbyModePublishIntervalOverride.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> 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:ModeStandby.testSetStandbyModePublishIntervalOverride.ms:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

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

-- Subprogram: transitionToStandbyMode

-- Test Case: transitionToStandbyMode.001
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:transitionToStandbyMode
TEST.NEW
TEST.NAME:transitionToStandbyMode.001
TEST.END