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

-- Subprogram: execBloodPrime

-- Test Case: execBloodPrime.001
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:execBloodPrime
TEST.NEW
TEST.NAME:execBloodPrime.001
TEST.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeState:BLOOD_PRIME_RAMP_STATE
TEST.END

-- Test Case: execBloodPrime.002
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:execBloodPrime
TEST.NEW
TEST.NAME:execBloodPrime.002
TEST.VALUE:BloodPrime.<<GLOBAL>>.bloodPrimeState:NUM_OF_BLOOD_PRIME_STATES
TEST.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeState:NUM_OF_BLOOD_PRIME_STATES
TEST.END

-- Subprogram: getBloodPrimeVolume

-- Test Case: getBloodPrimeVolume.001
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:getBloodPrimeVolume
TEST.NEW
TEST.NAME:getBloodPrimeVolume.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0xccc33c33U == cumulativeBloodPrimeVolume_mL.override) ==> 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:BloodPrime.<<GLOBAL>>.cumulativeBloodPrimeVolume_mL.override:3435346995
TEST.EXPECTED:BloodPrime.getBloodPrimeVolume.return:0.0
TEST.END

-- Test Case: getBloodPrimeVolume.002
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:getBloodPrimeVolume
TEST.NEW
TEST.NAME:getBloodPrimeVolume.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (0xccc33c33U == cumulativeBloodPrimeVolume_mL.override) ==> 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:BloodPrime.<<GLOBAL>>.cumulativeBloodPrimeVolume_mL.override:<<MIN>>
TEST.EXPECTED:BloodPrime.getBloodPrimeVolume.return:0.0
TEST.END

-- Subprogram: getCurrentBloodPrimeState

-- Test Case: getCurrentBloodPrimeState.001
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:getCurrentBloodPrimeState
TEST.NEW
TEST.NAME:getCurrentBloodPrimeState.001
TEST.EXPECTED:BloodPrime.getCurrentBloodPrimeState.return:BLOOD_PRIME_RAMP_STATE
TEST.END

-- Subprogram: handleBloodPrimeRampState

-- Test Case: handleBloodPrimeRampState.001
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:handleBloodPrimeRampState
TEST.NEW
TEST.NAME:handleBloodPrimeRampState.001
TEST.STUB:BloodPrime.getBloodPrimeVolume
TEST.VALUE:BloodPrime.getBloodPrimeVolume.return:0.0
TEST.EXPECTED:BloodPrime.handleBloodPrimeRampState.return:BLOOD_PRIME_RAMP_STATE
TEST.END

-- Test Case: handleBloodPrimeRampState.002
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:handleBloodPrimeRampState
TEST.NEW
TEST.NAME:handleBloodPrimeRampState.002
TEST.STUB:BloodPrime.getBloodPrimeVolume
TEST.VALUE:BloodPrime.getBloodPrimeVolume.return:0.0
TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1
TEST.EXPECTED:BloodPrime.handleBloodPrimeRampState.return:BLOOD_PRIME_RAMP_STATE
TEST.EXPECTED:uut_prototype_stubs.getTestConfigStatus.config:TEST_CONFIG_SKIP_BLOOD_PRIME
TEST.END

-- Test Case: handleBloodPrimeRampState.005
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:handleBloodPrimeRampState
TEST.NEW
TEST.NAME:handleBloodPrimeRampState.005
TEST.MCDC_BASIS_PATH:1 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (getBloodPrimeVolume() >= (300.0)) ==> 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.STUB:BloodPrime.getBloodPrimeVolume
TEST.VALUE:BloodPrime.getBloodPrimeVolume.return:<<MIN>>
TEST.EXPECTED:BloodPrime.handleBloodPrimeRampState.return:BLOOD_PRIME_RAMP_STATE
TEST.END

-- Test Case: handleBloodPrimeRampState_else_Statement_Control_Time_Flow_<_BP_Rate
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:handleBloodPrimeRampState
TEST.NEW
TEST.NAME:handleBloodPrimeRampState_else_Statement_Control_Time_Flow_<_BP_Rate
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 126 TEST.VALUE:BloodPrime.<<GLOBAL>>.expectedBloodPrimeVolume_mL:100.0
    >>>     >>> Unknown parameter/object name expectedBloodPrimeVolume_mL
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:BloodPrime.<<GLOBAL>>.bloodPrimeRampFlowRate_mL_min:100.0
TEST.VALUE:BloodPrime.<<GLOBAL>>.bloodPrimeTargetVolume_mL:120.0
TEST.VALUE:BloodPrime.<<GLOBAL>>.bloodPrimeRampControlTimerCtr:100
TEST.VALUE:BloodPrime.<<GLOBAL>>.cumulativeBloodPrimeVolume_mL.data:110.0
TEST.VALUE:BloodPrime.<<GLOBAL>>.cumulativeBloodPrimeVolume_mL.override:0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.param:TREATMENT_PARAM_BLOOD_FLOW
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:120
TEST.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeRampControlTimerCtr:0
TEST.EXPECTED:BloodPrime.handleBloodPrimeRampState.return:BLOOD_PRIME_RAMP_STATE
TEST.END

-- Test Case: handleBloodPrimeRampState_else_Statement_Control_Time_Flow_>_BP_Rate
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:handleBloodPrimeRampState
TEST.NEW
TEST.NAME:handleBloodPrimeRampState_else_Statement_Control_Time_Flow_>_BP_Rate
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 143 TEST.VALUE:BloodPrime.<<GLOBAL>>.expectedBloodPrimeVolume_mL:100.0
    >>>     >>> Unknown parameter/object name expectedBloodPrimeVolume_mL
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:BloodPrime.<<GLOBAL>>.bloodPrimeRampFlowRate_mL_min:120.0
TEST.VALUE:BloodPrime.<<GLOBAL>>.bloodPrimeTargetVolume_mL:120.0
TEST.VALUE:BloodPrime.<<GLOBAL>>.bloodPrimeRampControlTimerCtr:100
TEST.VALUE:BloodPrime.<<GLOBAL>>.cumulativeBloodPrimeVolume_mL.data:110.0
TEST.VALUE:BloodPrime.<<GLOBAL>>.cumulativeBloodPrimeVolume_mL.override:0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.param:TREATMENT_PARAM_BLOOD_FLOW
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:110
TEST.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeRampControlTimerCtr:0
TEST.EXPECTED:BloodPrime.handleBloodPrimeRampState.return:BLOOD_PRIME_RAMP_STATE
TEST.END

-- Test Case: handleBloodPrimeRampState_else_Statement_Not_Control_Time
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:handleBloodPrimeRampState
TEST.NEW
TEST.NAME:handleBloodPrimeRampState_else_Statement_Not_Control_Time
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 159 TEST.VALUE:BloodPrime.<<GLOBAL>>.expectedBloodPrimeVolume_mL:100.0
    >>>     >>> Unknown parameter/object name expectedBloodPrimeVolume_mL
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:BloodPrime.<<GLOBAL>>.bloodPrimeTargetVolume_mL:120.0
TEST.VALUE:BloodPrime.<<GLOBAL>>.bloodPrimeRampControlTimerCtr:15
TEST.VALUE:BloodPrime.<<GLOBAL>>.cumulativeBloodPrimeVolume_mL.data:110.0
TEST.VALUE:BloodPrime.<<GLOBAL>>.cumulativeBloodPrimeVolume_mL.override:0
TEST.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeRampControlTimerCtr:16
TEST.EXPECTED:BloodPrime.handleBloodPrimeRampState.return:BLOOD_PRIME_RAMP_STATE
TEST.END

-- Subprogram: initBloodPrime

-- Test Case: initBloodPrime_<_60_seconds
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:initBloodPrime
TEST.NEW
TEST.NAME:initBloodPrime_<_60_seconds
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.param:TREATMENT_PARAM_BLOOD_FLOW
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:350
TEST.VALUE:uut_prototype_stubs.getDialyzerBloodVolume.return:100
TEST.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeState:BLOOD_PRIME_RAMP_STATE
TEST.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeRampFlowRate_mL_min:250.0
TEST.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeRampStep_mL:1.66667
TEST.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeTargetVolume_mL:206.6
TEST.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeRampControlTimerCtr:0
TEST.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimePublishTimerCtr:18
TEST.END

-- Subprogram: publishBloodPrimeData

-- Test Case: publishBloodPrimeData.001
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:publishBloodPrimeData
TEST.NEW
TEST.NAME:publishBloodPrimeData.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (++bloodPrimePublishTimerCtr >= getU32OverrideValue(&bloodPrimePublishInterval)) ==> 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.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeRampControlTimerCtr:0
TEST.END

-- Test Case: publishBloodPrimeData.002
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:publishBloodPrimeData
TEST.NEW
TEST.NAME:publishBloodPrimeData.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++bloodPrimePublishTimerCtr >= getU32OverrideValue(&bloodPrimePublishInterval)) ==> 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.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeRampControlTimerCtr:0
TEST.END

-- Test Case: publishBloodPrimeData.003
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:publishBloodPrimeData
TEST.NEW
TEST.NAME:publishBloodPrimeData.003
TEST.BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (++bloodPrimePublishTimerCtr >= getU32OverrideValue(&bloodPrimePublishInterval)) ==> TRUE
      (2) if ((0.0) < getBloodPrimeVolume()) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:BloodPrime.getBloodPrimeVolume
TEST.VALUE:BloodPrime.getBloodPrimeVolume.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_BLOOD_PRIME_PROGRESS_DATA
TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.VALUE:uut_prototype_stubs.broadcastData.dataPtr:""
TEST.VALUE:uut_prototype_stubs.broadcastData.length:8
TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_BLOOD_PRIME_PROGRESS_DATA
TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.EXPECTED:uut_prototype_stubs.broadcastData.dataPtr:""
TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:8
TEST.END

-- Subprogram: resetBloodPrimeFlags

-- Test Case: resetBloodPrimeFlags.001
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:resetBloodPrimeFlags
TEST.NEW
TEST.NAME:resetBloodPrimeFlags.001
TEST.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeRampControlTimerCtr:0
TEST.END

-- Subprogram: testResetBloodPrimePublishIntervalOverride

-- Test Case: testResetBloodPrimePublishIntervalOverride.001
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:testResetBloodPrimePublishIntervalOverride
TEST.NEW
TEST.NAME:testResetBloodPrimePublishIntervalOverride.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.EXPECTED:BloodPrime.testResetBloodPrimePublishIntervalOverride.return:1
TEST.END

-- Test Case: testResetBloodPrimePublishIntervalOverride.002
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:testResetBloodPrimePublishIntervalOverride
TEST.NEW
TEST.NAME:testResetBloodPrimePublishIntervalOverride.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.EXPECTED:BloodPrime.testResetBloodPrimePublishIntervalOverride.return:0
TEST.END

-- Subprogram: testResetBloodPrimeVolumeOverride

-- Test Case: testResetBloodPrimeVolumeOverride.001
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:testResetBloodPrimeVolumeOverride
TEST.NEW
TEST.NAME:testResetBloodPrimeVolumeOverride.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.EXPECTED:BloodPrime.testResetBloodPrimeVolumeOverride.return:1
TEST.END

-- Test Case: testResetBloodPrimeVolumeOverride.002
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:testResetBloodPrimeVolumeOverride
TEST.NEW
TEST.NAME:testResetBloodPrimeVolumeOverride.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.EXPECTED:BloodPrime.testResetBloodPrimeVolumeOverride.return:0
TEST.END

-- Subprogram: testSetBloodPrimePublishIntervalOverride

-- Test Case: testSetBloodPrimePublishIntervalOverride.001
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:testSetBloodPrimePublishIntervalOverride
TEST.NEW
TEST.NAME:testSetBloodPrimePublishIntervalOverride.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:BloodPrime.testSetBloodPrimePublishIntervalOverride.ms:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:BloodPrime.testSetBloodPrimePublishIntervalOverride.return:1
TEST.END

-- Test Case: testSetBloodPrimePublishIntervalOverride.002
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:testSetBloodPrimePublishIntervalOverride
TEST.NEW
TEST.NAME:testSetBloodPrimePublishIntervalOverride.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:BloodPrime.testSetBloodPrimePublishIntervalOverride.ms:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.EXPECTED:BloodPrime.testSetBloodPrimePublishIntervalOverride.return:0
TEST.END

-- Subprogram: testSetBloodPrimeVolumeOverride

-- Test Case: testSetBloodPrimeVolumeOverride.001
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:testSetBloodPrimeVolumeOverride
TEST.NEW
TEST.NAME:testSetBloodPrimeVolumeOverride.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:BloodPrime.testSetBloodPrimeVolumeOverride.vol:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:BloodPrime.testSetBloodPrimeVolumeOverride.return:1
TEST.END

-- Test Case: testSetBloodPrimeVolumeOverride.002
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:testSetBloodPrimeVolumeOverride
TEST.NEW
TEST.NAME:testSetBloodPrimeVolumeOverride.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:BloodPrime.testSetBloodPrimeVolumeOverride.vol:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.EXPECTED:BloodPrime.testSetBloodPrimeVolumeOverride.return:0
TEST.END

-- Subprogram: transitionToBloodPrime

-- Test Case: transitionToBloodPrime.001
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:transitionToBloodPrime
TEST.NEW
TEST.NAME:transitionToBloodPrime.001
TEST.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeState:BLOOD_PRIME_RAMP_STATE
TEST.END