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

-- Subprogram: execTreatmentStop

-- Test Case: execTreatmentStop.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:execTreatmentStop
TEST.NEW
TEST.NAME:execTreatmentStop.001
TEST.VALUE:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:7000
TEST.END

-- Test Case: execTreatmentStop.002
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:execTreatmentStop
TEST.NEW
TEST.NAME:execTreatmentStop.002
TEST.VALUE:TreatmentStop.<<GLOBAL>>.currentTxStopState:TREATMENT_STOP_NO_RECIRC_STATE
TEST.END

-- Test Case: execTreatmentStop.003
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:execTreatmentStop
TEST.NEW
TEST.NAME:execTreatmentStop.003
TEST.VALUE:TreatmentStop.<<GLOBAL>>.currentTxStopState:NUM_OF_TREATMENT_STOP_STATES
TEST.END

-- Test Case: execTreatmentStop.004
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:execTreatmentStop
TEST.NEW
TEST.NAME:execTreatmentStop.004
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (getRinsebackCompleted() != (1)) ==> 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.getRinsebackCompleted.return:1
TEST.END

-- Subprogram: getCurrentTreatmentStopState

-- Test Case: getCurrentTreatmentStopState.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:getCurrentTreatmentStopState
TEST.NEW
TEST.NAME:getCurrentTreatmentStopState.001
TEST.END

-- Subprogram: handleTreatmentStopNoRecircState

-- Test Case: handleTreatmentStopNoRecircState.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopNoRecircState
TEST.NEW
TEST.NAME:handleTreatmentStopNoRecircState.001
TEST.END

-- Subprogram: handleTreatmentStopRecircState

-- Test Case: handleTreatmentStopRecircState.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopRecircState
TEST.NEW
TEST.NAME:handleTreatmentStopRecircState.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isDialysateRecircBlocked()) ==> 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.isDialysateRecircBlocked.return:1
TEST.END

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

-- Subprogram: initTreatmentStop

-- Test Case: initTreatmentStop.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:initTreatmentStop
TEST.NEW
TEST.NAME:initTreatmentStop.001
TEST.END

-- Subprogram: publishTreatmentStopData

-- Test Case: publishTreatmentStopData.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:publishTreatmentStopData
TEST.NEW
TEST.NAME:publishTreatmentStopData.001
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> 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.getU32OverrideValue.return:<<MIN>>
TEST.END

-- Test Case: publishTreatmentStopData.002
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:publishTreatmentStopData
TEST.NEW
TEST.NAME:publishTreatmentStopData.002
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> 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.getU32OverrideValue.return:<<MAX>>
TEST.END

-- Test Case: publishTreatmentStopData.003
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:publishTreatmentStopData
TEST.NEW
TEST.NAME:publishTreatmentStopData.003
TEST.MCDC_BASIS_PATH:3 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE
      (2) if (getRinsebackCompleted() != (1)) ==> 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.getU32OverrideValue.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:1
TEST.END

-- Test Case: publishTreatmentStopData.004
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:publishTreatmentStopData
TEST.NEW
TEST.NAME:publishTreatmentStopData.004
TEST.MCDC_BASIS_PATH:5 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE
      (2) if (getRinsebackCompleted() != (1)) ==> TRUE
      (3) (bloodSittingTimerCtr >= MAX_TIME_BLOOD_SITTING) ==> 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:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<<MIN>>
TEST.END

-- Subprogram: testResetTreatmentStopPublishIntervalOverride

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

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

-- Subprogram: testSetTreatmentStopPublishIntervalOverride

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

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

-- Subprogram: transitionToTreatmentStop

-- Test Case: transitionToTreatmentStop.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:transitionToTreatmentStop
TEST.NEW
TEST.NAME:transitionToTreatmentStop.001
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == getRinsebackCompleted()) ==> 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.getRinsebackCompleted.return:1
TEST.END

-- Test Case: transitionToTreatmentStop.002
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:transitionToTreatmentStop
TEST.NEW
TEST.NAME:transitionToTreatmentStop.002
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == getRinsebackCompleted()) ==> 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.getRinsebackCompleted.return:<<MIN>>
TEST.END

-- Test Case: transitionToTreatmentStop.003
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:transitionToTreatmentStop
TEST.NEW
TEST.NAME:transitionToTreatmentStop.003
TEST.MCDC_BASIS_PATH:3 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == getRinsebackCompleted()) ==> FALSE
      (2) if ((0) == isAnyAlarmActive()) ==> 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.isAnyAlarmActive.return:1
TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<<MIN>>
TEST.END