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

-- Subprogram: execConsumableSelfTest

-- Test Case: execConsumableSelfTest.001
TEST.UNIT:ConsumableSelfTest
TEST.SUBPROGRAM:execConsumableSelfTest
TEST.NEW
TEST.NAME:execConsumableSelfTest.001
TEST.VALUE:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_COMPLETE_STATE
TEST.EXPECTED:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_COMPLETE_STATE
TEST.END

-- Test Case: execConsumableSelfTest.002
TEST.UNIT:ConsumableSelfTest
TEST.SUBPROGRAM:execConsumableSelfTest
TEST.NEW
TEST.NAME:execConsumableSelfTest.002
TEST.VALUE:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:NUM_OF_CONSUMABLE_SELF_TESTS_STATES
TEST.EXPECTED:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:NUM_OF_CONSUMABLE_SELF_TESTS_STATES
TEST.END

-- Test Case: execConsumableSelfTest.003
TEST.UNIT:ConsumableSelfTest
TEST.SUBPROGRAM:execConsumableSelfTest
TEST.NEW
TEST.NAME:execConsumableSelfTest.003
TEST.MCDC_BASIS_PATH:13 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (9) case currentConsumableSelfTestState ==> CONSUMABLE_SELF_TESTS_ACID_PUMP_CHECK_STATE
      (10) if ((DG_MODE_FILL) == getDGOpMode() && getDGSubMode() >= (DG_FILL_MODE_STATE_DIALYSATE_PRODUCTION)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #10, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_ACID_PUMP_CHECK_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FILL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MAX>>
TEST.EXPECTED:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_COMPLETE_STATE
TEST.END

-- Test Case: execConsumableSelfTest.004
TEST.UNIT:ConsumableSelfTest
TEST.SUBPROGRAM:execConsumableSelfTest
TEST.NEW
TEST.NAME:execConsumableSelfTest.004
TEST.MCDC_BASIS_PATH:14 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (9) case currentConsumableSelfTestState ==> CONSUMABLE_SELF_TESTS_ACID_PUMP_CHECK_STATE
      (10) if ((DG_MODE_FILL) == getDGOpMode() && getDGSubMode() >= (DG_FILL_MODE_STATE_DIALYSATE_PRODUCTION)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #10, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_ACID_PUMP_CHECK_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FILL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.EXPECTED:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_ACID_PUMP_CHECK_STATE
TEST.END

-- Test Case: execConsumableSelfTest.005
TEST.UNIT:ConsumableSelfTest
TEST.SUBPROGRAM:execConsumableSelfTest
TEST.NEW
TEST.NAME:execConsumableSelfTest.005
TEST.MCDC_BASIS_PATH:12 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (9) case currentConsumableSelfTestState ==> CONSUMABLE_SELF_TESTS_ACID_PUMP_CHECK_STATE
      (10) if ((DG_MODE_FILL) == getDGOpMode() && getDGSubMode() >= (DG_FILL_MODE_STATE_DIALYSATE_PRODUCTION)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #10, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_ACID_PUMP_CHECK_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MAX>>
TEST.EXPECTED:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_ACID_PUMP_CHECK_STATE
TEST.END

-- Test Case: execConsumableSelfTest.006
TEST.UNIT:ConsumableSelfTest
TEST.SUBPROGRAM:execConsumableSelfTest
TEST.NEW
TEST.NAME:execConsumableSelfTest.006
TEST.MCDC_BASIS_PATH:2 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) case currentConsumableSelfTestState ==> CONSUMABLE_SELF_TESTS_INSTALL_STATE
      (2) if ((1) == consumableInstallConfirmed) ==> 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:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_INSTALL_STATE
TEST.VALUE:ConsumableSelfTest.<<GLOBAL>>.consumableInstallConfirmed:1
TEST.EXPECTED:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_FILL_CMD_STATE
TEST.EXPECTED:ConsumableSelfTest.<<GLOBAL>>.consumableInstallConfirmed:0
TEST.END

-- Test Case: execConsumableSelfTest.007
TEST.UNIT:ConsumableSelfTest
TEST.SUBPROGRAM:execConsumableSelfTest
TEST.NEW
TEST.NAME:execConsumableSelfTest.007
TEST.MCDC_BASIS_PATH:1 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) case currentConsumableSelfTestState ==> CONSUMABLE_SELF_TESTS_INSTALL_STATE
      (2) if ((1) == consumableInstallConfirmed) ==> 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:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_INSTALL_STATE
TEST.VALUE:ConsumableSelfTest.<<GLOBAL>>.consumableInstallConfirmed:<<MIN>>
TEST.EXPECTED:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_INSTALL_STATE
TEST.END

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

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

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

-- Test Case: execConsumableSelfTest.011
TEST.UNIT:ConsumableSelfTest
TEST.SUBPROGRAM:execConsumableSelfTest
TEST.NEW
TEST.NAME:execConsumableSelfTest.011
TEST.MCDC_BASIS_PATH:7 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (5) case currentConsumableSelfTestState ==> CONSUMABLE_SELF_TESTS_WATER_QUALITY_CHECK_STATE
      (6) if ((DG_MODE_FILL) == getDGOpMode() && getDGSubMode() >= (DG_FILL_MODE_STATE_BICARB_PUMP_CHECK)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #6, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_WATER_QUALITY_CHECK_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FILL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MAX>>
TEST.EXPECTED:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_BICARB_PUMP_CHECK_STATE
TEST.END

-- Test Case: execConsumableSelfTest.012
TEST.UNIT:ConsumableSelfTest
TEST.SUBPROGRAM:execConsumableSelfTest
TEST.NEW
TEST.NAME:execConsumableSelfTest.012
TEST.MCDC_BASIS_PATH:8 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (5) case currentConsumableSelfTestState ==> CONSUMABLE_SELF_TESTS_WATER_QUALITY_CHECK_STATE
      (6) if ((DG_MODE_FILL) == getDGOpMode() && getDGSubMode() >= (DG_FILL_MODE_STATE_BICARB_PUMP_CHECK)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #6, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_WATER_QUALITY_CHECK_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FILL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.EXPECTED:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_WATER_QUALITY_CHECK_STATE
TEST.END

-- Test Case: execConsumableSelfTest.013
TEST.UNIT:ConsumableSelfTest
TEST.SUBPROGRAM:execConsumableSelfTest
TEST.NEW
TEST.NAME:execConsumableSelfTest.013
TEST.MCDC_BASIS_PATH:6 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (5) case currentConsumableSelfTestState ==> CONSUMABLE_SELF_TESTS_WATER_QUALITY_CHECK_STATE
      (6) if ((DG_MODE_FILL) == getDGOpMode() && getDGSubMode() >= (DG_FILL_MODE_STATE_BICARB_PUMP_CHECK)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #6, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_WATER_QUALITY_CHECK_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MAX>>
TEST.EXPECTED:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_WATER_QUALITY_CHECK_STATE
TEST.END

-- Test Case: execConsumableSelfTest.014
TEST.UNIT:ConsumableSelfTest
TEST.SUBPROGRAM:execConsumableSelfTest
TEST.NEW
TEST.NAME:execConsumableSelfTest.014
TEST.MCDC_BASIS_PATH:10 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (7) case currentConsumableSelfTestState ==> CONSUMABLE_SELF_TESTS_BICARB_PUMP_CHECK_STATE
      (8) if ((DG_MODE_FILL) == getDGOpMode() && getDGSubMode() >= (DG_FILL_MODE_STATE_ACID_PUMP_CHECK)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #8, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_BICARB_PUMP_CHECK_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FILL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MAX>>
TEST.EXPECTED:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_ACID_PUMP_CHECK_STATE
TEST.END

-- Test Case: execConsumableSelfTest.015
TEST.UNIT:ConsumableSelfTest
TEST.SUBPROGRAM:execConsumableSelfTest
TEST.NEW
TEST.NAME:execConsumableSelfTest.015
TEST.MCDC_BASIS_PATH:11 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (7) case currentConsumableSelfTestState ==> CONSUMABLE_SELF_TESTS_BICARB_PUMP_CHECK_STATE
      (8) if ((DG_MODE_FILL) == getDGOpMode() && getDGSubMode() >= (DG_FILL_MODE_STATE_ACID_PUMP_CHECK)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #8, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_BICARB_PUMP_CHECK_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FILL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.EXPECTED:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_BICARB_PUMP_CHECK_STATE
TEST.END

-- Test Case: execConsumableSelfTest.016
TEST.UNIT:ConsumableSelfTest
TEST.SUBPROGRAM:execConsumableSelfTest
TEST.NEW
TEST.NAME:execConsumableSelfTest.016
TEST.MCDC_BASIS_PATH:9 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (7) case currentConsumableSelfTestState ==> CONSUMABLE_SELF_TESTS_BICARB_PUMP_CHECK_STATE
      (8) if ((DG_MODE_FILL) == getDGOpMode() && getDGSubMode() >= (DG_FILL_MODE_STATE_ACID_PUMP_CHECK)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #8, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_BICARB_PUMP_CHECK_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MAX>>
TEST.EXPECTED:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_BICARB_PUMP_CHECK_STATE
TEST.END

-- Test Case: execConsumableSelfTest.017
TEST.UNIT:ConsumableSelfTest
TEST.SUBPROGRAM:execConsumableSelfTest
TEST.NEW
TEST.NAME:execConsumableSelfTest.017
TEST.BASIS_PATH:1 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (12) case currentConsumableSelfTestState ==> default
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:NUM_OF_CONSUMABLE_SELF_TESTS_STATES
TEST.EXPECTED:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:NUM_OF_CONSUMABLE_SELF_TESTS_STATES
TEST.END

-- Test Case: execConsumableSelfTest.018
TEST.UNIT:ConsumableSelfTest
TEST.SUBPROGRAM:execConsumableSelfTest
TEST.NEW
TEST.NAME:execConsumableSelfTest.018
TEST.BASIS_PATH:5 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (3) case currentConsumableSelfTestState ==> CONSUMABLE_SELF_TESTS_FILL_CMD_STATE
      (4) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_FILL_CMD_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.EXPECTED:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_WATER_QUALITY_CHECK_STATE
TEST.END

-- Subprogram: getConsumableSelfTestState

-- Test Case: getConsumableSelfTestState.001
TEST.UNIT:ConsumableSelfTest
TEST.SUBPROGRAM:getConsumableSelfTestState
TEST.NEW
TEST.NAME:getConsumableSelfTestState.001
TEST.EXPECTED:ConsumableSelfTest.getConsumableSelfTestState.return:0
TEST.END

-- Subprogram: handleConsumableSelfTestStopRequest

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

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

-- Subprogram: initConsumableSelfTest

-- Test Case: initConsumableSelfTest.001
TEST.UNIT:ConsumableSelfTest
TEST.SUBPROGRAM:initConsumableSelfTest
TEST.NEW
TEST.NAME:initConsumableSelfTest.001
TEST.EXPECTED:ConsumableSelfTest.<<GLOBAL>>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_INSTALL_STATE
TEST.EXPECTED:ConsumableSelfTest.<<GLOBAL>>.consumableInstallConfirmed:0
TEST.END

-- Subprogram: signalUserConfirmConsumableInstall

-- Test Case: signalUserConfirmConsumableInstall.001
TEST.UNIT:ConsumableSelfTest
TEST.SUBPROGRAM:signalUserConfirmConsumableInstall
TEST.NEW
TEST.NAME:signalUserConfirmConsumableInstall.001
TEST.EXPECTED:ConsumableSelfTest.<<GLOBAL>>.consumableInstallConfirmed:1
TEST.END

-- Subprogram: transitionToConsumableSelfTest

-- Test Case: transitionToConsumableSelfTest.001
TEST.UNIT:ConsumableSelfTest
TEST.SUBPROGRAM:transitionToConsumableSelfTest
TEST.NEW
TEST.NAME:transitionToConsumableSelfTest.001
TEST.EXPECTED:ConsumableSelfTest.<<GLOBAL>>.consumableInstallConfirmed:0
TEST.END