-- 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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeDGChemDisininfectInProgressState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeDGChemDisininfectInProgressState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeDGFlushInProgressState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeDGFlushInProgressState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeDGHeatDisinfectInProgressState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeDGHeatDisinfectInProgressState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:16 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 16
      (1) if ((1) == flushStartReqReceived) ==> TRUE
      (2) if ((0) == hasDisinfectCmdBeenSet) ==> 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>>.flushStartReqReceived:1
TEST.VALUE:ModeStandby.<<GLOBAL>>.hasDisinfectCmdBeenSet:0
TEST.END

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

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

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

-- Test Case: COND_5_ROW_2_PAIR_a_F
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F
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: COND_6_ROW_1_PAIR_a_T
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState
TEST.NEW
TEST.NAME:COND_6_ROW_1_PAIR_a_T
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: COND_6_ROW_2_PAIR_a_F
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:13 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (1) if ((1) == flushStartReqReceived) ==> FALSE
      (4) if ((1) == heatDisinfectStartReqReceived) ==> TRUE
      (5) if ((0) == hasDisinfectCmdBeenSet) ==> FALSE
      (6) if ((DG_MODE_HEAT) == getDGOpMode()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #6, 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.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.END

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

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

-- Test Case: COND_8_ROW_2_PAIR_a_F
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState
TEST.NEW
TEST.NAME:COND_8_ROW_2_PAIR_a_F
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: COND_9_ROW_1_PAIR_a_T
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState
TEST.NEW
TEST.NAME:COND_9_ROW_1_PAIR_a_T
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

-- Test Case: COND_9_ROW_2_PAIR_a_F
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState
TEST.NEW
TEST.NAME:COND_9_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:9 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (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()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #9, 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.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.END

-- Subprogram: handleStandbyModeWaitForTreatmentState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForTreatmentState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForTreatmentState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForTreatmentState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
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: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForTreatmentState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 6
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) ==> 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:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForTreatmentState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
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

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:handleStandbyModeWaitForTreatmentState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:5 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((DG_MODE_FILL) == dgOperationMode) ==> FALSE
      (2) if ((DG_MODE_GENE) == dgOperationMode) ==> FALSE
      (3) if ((1) == treatStartReqReceived) ==> 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>>.treatStartReqReceived:<<MIN>>
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: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:publishDisinfectData
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE
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

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

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

-- Subprogram: signalAlarmActionToStandbyMode

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

-- Subprogram: signalInitiateStandbyDisinfectSubmode

-- Test Case: COND_1_ROW_1_PAIR_a_TT
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalInitiateStandbyDisinfectSubmode
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT
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: COND_1_ROW_2_PAIR_b_TF
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalInitiateStandbyDisinfectSubmode
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF
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: COND_1_ROW_3_PAIR_a_FT
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalInitiateStandbyDisinfectSubmode
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT
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: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalInitiateStandbyDisinfectSubmode
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
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

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

-- Subprogram: signalUserInitiateChemicalDisinfectMode

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

-- Test Case: COND_2_ROW_3_PAIR_b_FT-PARTIAL
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateChemicalDisinfectMode
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_b_FT-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE
      (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (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:
      Conflict: Trying to set variable ModeStandby.<<GLOBAL>>.currentStandbyState 'equal to' and 'not equal to' same value in branch 2
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_START_STATE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.END

-- Test Case: COND_2_ROW_4_PAIR_a_FF
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateChemicalDisinfectMode
TEST.NEW
TEST.NAME:COND_2_ROW_4_PAIR_a_FF
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: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateChemicalDisinfectMode
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
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: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateChemicalDisinfectMode
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
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

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

-- Subprogram: signalUserInitiateFlushMode

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateFlushMode
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateFlushMode
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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: COND_2_ROW_2_PAIR_a_TF
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateFlushMode
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_TF
TEST.MCDC_BASIS_PATH:4 of 7
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
      Row number 2 forms a pair with Row 4 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> 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.END

-- Test Case: COND_2_ROW_3_PAIR_b_FT-PARTIAL
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateFlushMode
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_b_FT-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE
      (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (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:
      Conflict: Trying to set variable ModeStandby.<<GLOBAL>>.currentStandbyState 'equal to' and 'not equal to' same value in branch 2
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_START_STATE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.END

-- Test Case: COND_2_ROW_4_PAIR_a_FF
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateFlushMode
TEST.NEW
TEST.NAME:COND_2_ROW_4_PAIR_a_FF
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: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateFlushMode
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
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: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateFlushMode
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
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

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

-- Subprogram: signalUserInitiateHeatDisinfectMode

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateHeatDisinfectMode
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateHeatDisinfectMode
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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: COND_2_ROW_2_PAIR_a_TF
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateHeatDisinfectMode
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_TF
TEST.MCDC_BASIS_PATH:4 of 7
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
      Row number 2 forms a pair with Row 4 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> 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.END

-- Test Case: COND_2_ROW_3_PAIR_b_FT-PARTIAL
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateHeatDisinfectMode
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_b_FT-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE
      (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (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:
      Conflict: Trying to set variable ModeStandby.<<GLOBAL>>.currentStandbyState 'equal to' and 'not equal to' same value in branch 2
TEST.END_NOTES:
TEST.VALUE:ModeStandby.<<GLOBAL>>.currentStandbyState:STANDBY_START_STATE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.END

-- Test Case: COND_2_ROW_4_PAIR_a_FF
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateHeatDisinfectMode
TEST.NEW
TEST.NAME:COND_2_ROW_4_PAIR_a_FF
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: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateHeatDisinfectMode
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
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: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateHeatDisinfectMode
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
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

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

-- Subprogram: signalUserInitiateTreatment

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == getNoNewTreatmentStatus()) ==> 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.getNoNewTreatmentStatus.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_TF
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_TF
TEST.MCDC_BASIS_PATH:4 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == getNoNewTreatmentStatus()) ==> FALSE
      (2) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         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_FAUL
TEST.END

-- Test Case: COND_2_ROW_3_PAIR_b_FT
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_b_FT
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: COND_2_ROW_4_PAIR_a_FF
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:COND_2_ROW_4_PAIR_a_FF
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: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:7 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == getNoNewTreatmentStatus()) ==> FALSE
      (2) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE
      (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_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:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
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: COND_4_ROW_2_PAIR_a_TF
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_TF
TEST.MCDC_BASIS_PATH:9 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (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 2 forms a pair with Row 4 for Condition #4, subcondition "a".
         Condition a ==> TRUE
         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_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.END

-- Test Case: COND_4_ROW_3_PAIR_b_FT
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:COND_4_ROW_3_PAIR_b_FT
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: COND_4_ROW_4_PAIR_a_FF
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:COND_4_ROW_4_PAIR_a_FF
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: COND_5_ROW_1_PAIR_a_T
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:12 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (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()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, 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.getNoNewTreatmentStatus.return:<<MIN>>
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:1
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F
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

-- Test Case: COND_6_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:COND_6_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:14 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (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
      (6) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable rejReason in branch 6
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

-- Test Case: COND_6_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:signalUserInitiateTreatment
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:13 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (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
      (6) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable rejReason in branch 6
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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:testResetStandbyModePublishIntervalOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:testResetStandbyModePublishIntervalOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:testSetStandbyModePublishIntervalOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:ModeStandby
TEST.SUBPROGRAM:testSetStandbyModePublishIntervalOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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