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

-- Subprogram: execSampleWater

-- Test Case: execSampleWater.001
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:execSampleWater
TEST.NEW
TEST.NAME:execSampleWater.001
TEST.STUB:SampleWater.handleWaterSampleSetupState
TEST.VALUE:SampleWater.<<GLOBAL>>.currentSampleWaterState:SAMPLE_WATER_SETUP_STATE
TEST.VALUE:SampleWater.handleWaterSampleSetupState.return:SAMPLE_WATER_SETUP_STATE
TEST.EXPECTED:SampleWater.<<GLOBAL>>.currentSampleWaterState:SAMPLE_WATER_SETUP_STATE
TEST.END

-- Test Case: execSampleWater.002
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:execSampleWater
TEST.NEW
TEST.NAME:execSampleWater.002
TEST.STUB:SampleWater.handleWaterSampleState
TEST.VALUE:SampleWater.<<GLOBAL>>.currentSampleWaterState:SAMPLE_WATER_STATE
TEST.VALUE:SampleWater.handleWaterSampleState.return:SAMPLE_WATER_STATE
TEST.EXPECTED:SampleWater.<<GLOBAL>>.currentSampleWaterState:SAMPLE_WATER_STATE
TEST.END

-- Test Case: execSampleWater.003
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:execSampleWater
TEST.NEW
TEST.NAME:execSampleWater.003
TEST.VALUE:SampleWater.<<GLOBAL>>.currentSampleWaterState:SAMPLE_WATER_COMPLETE_STATE
TEST.EXPECTED:SampleWater.<<GLOBAL>>.currentSampleWaterState:SAMPLE_WATER_SETUP_STATE
TEST.END

-- Test Case: execSampleWater.004
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:execSampleWater
TEST.NEW
TEST.NAME:execSampleWater.004
TEST.VALUE:SampleWater.<<GLOBAL>>.currentSampleWaterState:NUM_OF_SAMPLE_WATER_STATES
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:120
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:3
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:120
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:3
TEST.END

-- Subprogram: getSampleWaterResult

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

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

-- Subprogram: getSampleWaterState

-- Test Case: getSampleWaterState.001
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:getSampleWaterState
TEST.NEW
TEST.NAME:getSampleWaterState.001
TEST.VALUE:SampleWater.<<GLOBAL>>.currentSampleWaterState:SAMPLE_WATER_STATE
TEST.VALUE:SampleWater.getSampleWaterState.return:1
TEST.EXPECTED:SampleWater.getSampleWaterState.return:1
TEST.END

-- Subprogram: handleWaterSampleSetupState

-- Test Case: handleWaterSampleSetupState.001
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:handleWaterSampleSetupState
TEST.NEW
TEST.NAME:handleWaterSampleSetupState.001
TEST.MCDC_BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((DG_MODE_STAN) == dgOpMode && (DG_STANDBY_MODE_STATE_FLUSH_FILTER_IDLE) == dgSubMode) ==> 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:SampleWater.handleWaterSampleSetupState.return:SAMPLE_WATER_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:3
TEST.EXPECTED:SampleWater.handleWaterSampleSetupState.return:SAMPLE_WATER_STATE
TEST.END

-- Test Case: handleWaterSampleSetupState.002
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:handleWaterSampleSetupState
TEST.NEW
TEST.NAME:handleWaterSampleSetupState.002
TEST.MCDC_BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((DG_MODE_STAN) == dgOpMode && (DG_STANDBY_MODE_STATE_FLUSH_FILTER_IDLE) == dgSubMode) ==> 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:SampleWater.handleWaterSampleSetupState.return:SAMPLE_WATER_SETUP_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.EXPECTED:SampleWater.handleWaterSampleSetupState.return:SAMPLE_WATER_SETUP_STATE
TEST.END

-- Test Case: handleWaterSampleSetupState.003
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:handleWaterSampleSetupState
TEST.NEW
TEST.NAME:handleWaterSampleSetupState.003
TEST.MCDC_BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((DG_MODE_STAN) == dgOpMode && (DG_STANDBY_MODE_STATE_FLUSH_FILTER_IDLE) == dgSubMode) ==> 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:SampleWater.handleWaterSampleSetupState.return:SAMPLE_WATER_SETUP_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:3
TEST.EXPECTED:SampleWater.handleWaterSampleSetupState.return:SAMPLE_WATER_SETUP_STATE
TEST.END

-- Subprogram: handleWaterSampleState

-- Test Case: handleWaterSampleState.001
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:handleWaterSampleState
TEST.NEW
TEST.NAME:handleWaterSampleState.001
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == sampleWaterResultEntered) ==> 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:SampleWater.<<GLOBAL>>.sampleWaterResultEntered:1
TEST.VALUE:SampleWater.handleWaterSampleState.return:SAMPLE_WATER_COMPLETE_STATE
TEST.EXPECTED:SampleWater.<<GLOBAL>>.sampleWaterResultEntered:0
TEST.EXPECTED:SampleWater.handleWaterSampleState.return:SAMPLE_WATER_COMPLETE_STATE
TEST.END

-- Test Case: handleWaterSampleState.002
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:handleWaterSampleState
TEST.NEW
TEST.NAME:handleWaterSampleState.002
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == sampleWaterResultEntered) ==> FALSE
      (2) if ((1) == sampleWaterStartRequested) ==> 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:SampleWater.<<GLOBAL>>.sampleWaterStartRequested:1
TEST.VALUE:SampleWater.<<GLOBAL>>.sampleWaterResultEntered:<<MIN>>
TEST.VALUE:SampleWater.handleWaterSampleState.return:SAMPLE_WATER_STATE
TEST.VALUE:uut_prototype_stubs.cmdDGSampleWater.cmd:SAMPLE_WATER_CMD_START
TEST.EXPECTED:SampleWater.<<GLOBAL>>.sampleWaterStartRequested:0
TEST.EXPECTED:SampleWater.handleWaterSampleState.return:SAMPLE_WATER_STATE
TEST.EXPECTED:uut_prototype_stubs.cmdDGSampleWater.cmd:SAMPLE_WATER_CMD_START
TEST.END

-- Test Case: handleWaterSampleState.003
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:handleWaterSampleState
TEST.NEW
TEST.NAME:handleWaterSampleState.003
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == sampleWaterResultEntered) ==> FALSE
      (2) if ((1) == sampleWaterStartRequested) ==> FALSE
      (3) if ((1) == sampleWaterStopRequested) ==> 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:SampleWater.<<GLOBAL>>.sampleWaterStartRequested:<<MIN>>
TEST.VALUE:SampleWater.<<GLOBAL>>.sampleWaterStopRequested:1
TEST.VALUE:SampleWater.<<GLOBAL>>.sampleWaterResultEntered:<<MIN>>
TEST.VALUE:SampleWater.handleWaterSampleState.return:SAMPLE_WATER_STATE
TEST.VALUE:uut_prototype_stubs.cmdDGSampleWater.cmd:SAMPLE_WATER_CMD_STOP
TEST.EXPECTED:SampleWater.<<GLOBAL>>.sampleWaterStopRequested:0
TEST.EXPECTED:SampleWater.handleWaterSampleState.return:SAMPLE_WATER_STATE
TEST.EXPECTED:uut_prototype_stubs.cmdDGSampleWater.cmd:SAMPLE_WATER_CMD_STOP
TEST.END

-- Subprogram: hasDGRestarted

-- Test Case: hasDGRestarted.001
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:hasDGRestarted
TEST.NEW
TEST.NAME:hasDGRestarted.001
TEST.MCDC_BASIS_PATH:2 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((DG_MODE_STAN) == getDGOpMode() && (DG_STANDBY_MODE_STATE_IDLE) == getDGSubMode()) ==> 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:SampleWater.<<GLOBAL>>.dgRestartedPersistentCount:0
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.EXPECTED:SampleWater.<<GLOBAL>>.dgRestartedPersistentCount:1
TEST.END

-- Test Case: hasDGRestarted.002
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:hasDGRestarted
TEST.NEW
TEST.NAME:hasDGRestarted.002
TEST.MCDC_BASIS_PATH:3 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((DG_MODE_STAN) == getDGOpMode() && (DG_STANDBY_MODE_STATE_IDLE) == getDGSubMode()) ==> 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:SampleWater.<<GLOBAL>>.dgRestartedPersistentCount:0
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.EXPECTED:SampleWater.<<GLOBAL>>.dgRestartedPersistentCount:0
TEST.END

-- Test Case: hasDGRestarted.003
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:hasDGRestarted
TEST.NEW
TEST.NAME:hasDGRestarted.003
TEST.MCDC_BASIS_PATH:1 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((DG_MODE_STAN) == getDGOpMode() && (DG_STANDBY_MODE_STATE_IDLE) == getDGSubMode()) ==> 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:SampleWater.<<GLOBAL>>.dgRestartedPersistentCount:0
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.EXPECTED:SampleWater.<<GLOBAL>>.dgRestartedPersistentCount:0
TEST.END

-- Test Case: hasDGRestarted.004
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:hasDGRestarted
TEST.NEW
TEST.NAME:hasDGRestarted.004
TEST.MCDC_BASIS_PATH:5 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((DG_MODE_STAN) == getDGOpMode() && (DG_STANDBY_MODE_STATE_IDLE) == getDGSubMode()) ==> TRUE
      (2) if (dgRestartedPersistentCount++ >= (5 * 1000) / 50) ==> 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:SampleWater.<<GLOBAL>>.dgRestartedPersistentCount:<<MAX>>
TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_DG_RESTARTED_FAULT
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_DG_RESTARTED_FAULT
TEST.END

-- Subprogram: initSampleWater

-- Test Case: initSampleWater.001
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:initSampleWater
TEST.NEW
TEST.NAME:initSampleWater.001
TEST.VALUE:SampleWater.<<GLOBAL>>.sampleWaterStartRequested:0
TEST.VALUE:SampleWater.<<GLOBAL>>.sampleWaterStopRequested:0
TEST.VALUE:SampleWater.<<GLOBAL>>.sampleWaterResultEntered:0
TEST.VALUE:SampleWater.<<GLOBAL>>.currentSampleWaterState:SAMPLE_WATER_SETUP_STATE
TEST.VALUE:SampleWater.<<GLOBAL>>.sampleWaterResult:0
TEST.EXPECTED:SampleWater.<<GLOBAL>>.sampleWaterStartRequested:0
TEST.EXPECTED:SampleWater.<<GLOBAL>>.sampleWaterStopRequested:0
TEST.EXPECTED:SampleWater.<<GLOBAL>>.sampleWaterResultEntered:0
TEST.EXPECTED:SampleWater.<<GLOBAL>>.currentSampleWaterState:SAMPLE_WATER_SETUP_STATE
TEST.EXPECTED:SampleWater.<<GLOBAL>>.sampleWaterResult:0
TEST.END

-- Subprogram: setSampleWaterResult

-- Test Case: setSampleWaterResult.001
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:setSampleWaterResult
TEST.NEW
TEST.NAME:setSampleWaterResult.001
TEST.VALUE:SampleWater.<<GLOBAL>>.sampleWaterResultEntered:1
TEST.VALUE:SampleWater.<<GLOBAL>>.sampleWaterResult:1
TEST.VALUE:SampleWater.setSampleWaterResult.result:1
TEST.EXPECTED:SampleWater.<<GLOBAL>>.sampleWaterResultEntered:1
TEST.EXPECTED:SampleWater.<<GLOBAL>>.sampleWaterResult:1
TEST.END

-- Subprogram: signalSampleWaterUserAction

-- Test Case: signalSampleWaterUserAction.001
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:signalSampleWaterUserAction
TEST.NEW
TEST.NAME:signalSampleWaterUserAction.001
TEST.VALUE:SampleWater.signalSampleWaterUserAction.action:NUM_OF_REQUESTED_SAMPLE_WATER_USER_ACTIONS
TEST.VALUE:uut_prototype_stubs.sendSampleWaterCmdResponse.reason:MACRO=REQUEST_REJECT_REASON_INVALID_COMMAND
TEST.EXPECTED:uut_prototype_stubs.sendSampleWaterCmdResponse.reason:MACRO=REQUEST_REJECT_REASON_INVALID_COMMAND
TEST.END

-- Test Case: signalSampleWaterUserAction.002
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:signalSampleWaterUserAction
TEST.NEW
TEST.NAME:signalSampleWaterUserAction.002
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((0) == isAnyAlarmActive()) ==> 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:SampleWater.signalSampleWaterUserAction.action:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0
TEST.VALUE:uut_prototype_stubs.sendSampleWaterCmdResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendSampleWaterCmdResponse.accepted:0
TEST.END

-- Test Case: signalSampleWaterUserAction.003
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:signalSampleWaterUserAction
TEST.NEW
TEST.NAME:signalSampleWaterUserAction.003
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((0) == isAnyAlarmActive()) ==> 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:SampleWater.signalSampleWaterUserAction.action:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:1
TEST.VALUE:uut_prototype_stubs.sendSampleWaterCmdResponse.accepted:0
TEST.VALUE:uut_prototype_stubs.sendSampleWaterCmdResponse.reason:MACRO=REQUEST_REJECT_REASON_ALARM_IS_ACTIVE
TEST.EXPECTED:uut_prototype_stubs.sendSampleWaterCmdResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendSampleWaterCmdResponse.reason:MACRO=REQUEST_REJECT_REASON_ALARM_IS_ACTIVE
TEST.END

-- Test Case: signalSampleWaterUserAction.004
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:signalSampleWaterUserAction
TEST.NEW
TEST.NAME:signalSampleWaterUserAction.004
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((0) == isAnyAlarmActive()) ==> TRUE
      (2) case action ==> REQUESTED_USER_ACTION_SAMPLE_WATER_STOP
      (3) if ((SAMPLE_WATER_STATE) == currentSampleWaterState) ==> 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:SampleWater.<<GLOBAL>>.sampleWaterStopRequested:1
TEST.VALUE:SampleWater.<<GLOBAL>>.currentSampleWaterState:SAMPLE_WATER_STATE
TEST.VALUE:SampleWater.signalSampleWaterUserAction.action:REQUESTED_USER_ACTION_SAMPLE_WATER_STOP
TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0
TEST.VALUE:uut_prototype_stubs.sendSampleWaterCmdResponse.accepted:1
TEST.VALUE:uut_prototype_stubs.sendSampleWaterCmdResponse.reason:MACRO=REQUEST_REJECT_REASON_NONE
TEST.EXPECTED:SampleWater.<<GLOBAL>>.sampleWaterStopRequested:1
TEST.EXPECTED:uut_prototype_stubs.sendSampleWaterCmdResponse.accepted:1
TEST.EXPECTED:uut_prototype_stubs.sendSampleWaterCmdResponse.reason:MACRO=REQUEST_REJECT_REASON_NONE
TEST.END

-- Test Case: signalSampleWaterUserAction.005
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:signalSampleWaterUserAction
TEST.NEW
TEST.NAME:signalSampleWaterUserAction.005
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((0) == isAnyAlarmActive()) ==> TRUE
      (4) case action ==> REQUESTED_USER_ACTION_SAMPLE_WATER_START
      (5) if ((SAMPLE_WATER_STATE) == currentSampleWaterState) ==> 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:SampleWater.<<GLOBAL>>.sampleWaterStartRequested:1
TEST.VALUE:SampleWater.<<GLOBAL>>.currentSampleWaterState:SAMPLE_WATER_STATE
TEST.VALUE:SampleWater.signalSampleWaterUserAction.action:REQUESTED_USER_ACTION_SAMPLE_WATER_START
TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0
TEST.VALUE:uut_prototype_stubs.sendSampleWaterCmdResponse.accepted:1
TEST.VALUE:uut_prototype_stubs.sendSampleWaterCmdResponse.reason:MACRO=REQUEST_REJECT_REASON_NONE
TEST.EXPECTED:SampleWater.<<GLOBAL>>.sampleWaterStartRequested:1
TEST.EXPECTED:uut_prototype_stubs.sendSampleWaterCmdResponse.accepted:1
TEST.EXPECTED:uut_prototype_stubs.sendSampleWaterCmdResponse.reason:MACRO=REQUEST_REJECT_REASON_NONE
TEST.END

-- Test Case: signalSampleWaterUserAction.006
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:signalSampleWaterUserAction
TEST.NEW
TEST.NAME:signalSampleWaterUserAction.006
TEST.MCDC_BASIS_PATH:5 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((0) == isAnyAlarmActive()) ==> TRUE
      (4) case action ==> REQUESTED_USER_ACTION_SAMPLE_WATER_START
      (5) if ((SAMPLE_WATER_STATE) == currentSampleWaterState) ==> 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:SampleWater.<<GLOBAL>>.currentSampleWaterState:SAMPLE_WATER_SETUP_STATE
TEST.VALUE:SampleWater.signalSampleWaterUserAction.action:REQUESTED_USER_ACTION_SAMPLE_WATER_START
TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0
TEST.VALUE:uut_prototype_stubs.sendSampleWaterCmdResponse.accepted:0
TEST.VALUE:uut_prototype_stubs.sendSampleWaterCmdResponse.reason:MACRO=REQUEST_REJECT_REASON_ACTION_DISABLED_IN_CURRENT_STATE
TEST.EXPECTED:uut_prototype_stubs.sendSampleWaterCmdResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendSampleWaterCmdResponse.reason:MACRO=REQUEST_REJECT_REASON_ACTION_DISABLED_IN_CURRENT_STATE
TEST.END

-- Subprogram: transitionToSampleWater

-- Test Case: transitionToSampleWater.001
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:transitionToSampleWater
TEST.NEW
TEST.NAME:transitionToSampleWater.001
TEST.VALUE:uut_prototype_stubs.cmdDGSampleWater.cmd:SAMPLE_WATER_CMD_FLUSH
TEST.EXPECTED:uut_prototype_stubs.cmdDGSampleWater.cmd:SAMPLE_WATER_CMD_FLUSH
TEST.END