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

-- Subprogram: execFluidLeak

-- Test Case: execFluidLeak.001
TEST.UNIT:FluidLeak
TEST.SUBPROGRAM:execFluidLeak
TEST.NEW
TEST.NAME:execFluidLeak.001
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (getCurrentOperationMode() != (MODE_INIT)) ==> 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:FluidLeak.<<GLOBAL>>.fluidLeakState.data:MACRO=FLUID_LEAK_STATE_WET
TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_FLUID_LEAK_DETECTED
TEST.VALUE:uut_prototype_stubs.noFPGAFluidLeakDetected.return:0
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.EXPECTED:FluidLeak.<<GLOBAL>>.fluidLeakState.data:MACRO=FLUID_LEAK_STATE_WET
TEST.END

-- Test Case: execFluidLeak.002
TEST.UNIT:FluidLeak
TEST.SUBPROGRAM:execFluidLeak
TEST.NEW
TEST.NAME:execFluidLeak.002
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (getCurrentOperationMode() != (MODE_INIT)) ==> 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:FluidLeak.publishFluidLeakState
TEST.VALUE:uut_prototype_stubs.noFPGAFluidLeakDetected.return:1
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT
TEST.END

-- Test Case: execFluidLeak.003
TEST.UNIT:FluidLeak
TEST.SUBPROGRAM:execFluidLeak
TEST.NEW
TEST.NAME:execFluidLeak.003
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (getCurrentOperationMode() != (MODE_INIT)) ==> TRUE
      (2) if ((1) == noFluidLeakDetected) ==> 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:FluidLeak.<<GLOBAL>>.fluidLeakState.data:MACRO=FLUID_LEAK_STATE_DRY
TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_FLUID_LEAK_DETECTED
TEST.VALUE:uut_prototype_stubs.noFPGAFluidLeakDetected.return:1
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.EXPECTED:FluidLeak.<<GLOBAL>>.fluidLeakState.data:MACRO=FLUID_LEAK_STATE_DRY
TEST.EXPECTED:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_FLUID_LEAK_DETECTED
TEST.END

-- Subprogram: getFluidLeakState

-- Test Case: getFluidLeakState.001
TEST.UNIT:FluidLeak
TEST.SUBPROGRAM:getFluidLeakState
TEST.NEW
TEST.NAME:getFluidLeakState.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0xccc33c33U == fluidLeakState.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:FluidLeak.<<GLOBAL>>.fluidLeakState.ovData:100
TEST.VALUE:FluidLeak.<<GLOBAL>>.fluidLeakState.override:0xCCC33C33
TEST.VALUE:FluidLeak.getFluidLeakState.return:NUM_OF_FLUID_LEAK_STATES
TEST.EXPECTED:FluidLeak.<<GLOBAL>>.fluidLeakState.ovData:100
TEST.EXPECTED:FluidLeak.getFluidLeakState.return:100
TEST.END

-- Test Case: getFluidLeakState.002
TEST.UNIT:FluidLeak
TEST.SUBPROGRAM:getFluidLeakState
TEST.NEW
TEST.NAME:getFluidLeakState.002
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0xccc33c33U == fluidLeakState.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:FluidLeak.<<GLOBAL>>.fluidLeakState.data:100
TEST.VALUE:FluidLeak.<<GLOBAL>>.fluidLeakState.override:0xCCC33C34
TEST.VALUE:FluidLeak.getFluidLeakState.return:NUM_OF_FLUID_LEAK_STATES
TEST.EXPECTED:FluidLeak.<<GLOBAL>>.fluidLeakState.data:100
TEST.EXPECTED:FluidLeak.getFluidLeakState.return:100
TEST.END

-- Subprogram: initFluidLeak

-- Test Case: initFluidLeak.001
TEST.UNIT:FluidLeak
TEST.SUBPROGRAM:initFluidLeak
TEST.NEW
TEST.NAME:initFluidLeak.001
TEST.VALUE:FluidLeak.<<GLOBAL>>.fluidLeakState.data:MACRO=FLUID_LEAK_STATE_DRY
TEST.VALUE:FluidLeak.<<GLOBAL>>.fluidLeakState.ovInitData:MACRO=FLUID_LEAK_STATE_DRY
TEST.VALUE:FluidLeak.<<GLOBAL>>.fluidLeakState.ovData:MACRO=FLUID_LEAK_STATE_DRY
TEST.VALUE:FluidLeak.<<GLOBAL>>.fluidLeakState.override:0x0
TEST.EXPECTED:FluidLeak.<<GLOBAL>>.fluidLeakState.data:MACRO=FLUID_LEAK_STATE_DRY
TEST.EXPECTED:FluidLeak.<<GLOBAL>>.fluidLeakState.ovInitData:MACRO=FLUID_LEAK_STATE_DRY
TEST.EXPECTED:FluidLeak.<<GLOBAL>>.fluidLeakState.ovData:MACRO=FLUID_LEAK_STATE_DRY
TEST.EXPECTED:FluidLeak.<<GLOBAL>>.fluidLeakState.override:0x0
TEST.END

-- Subprogram: publishFluidLeakState

-- Test Case: publishFluidLeakState.001
TEST.UNIT:FluidLeak
TEST.SUBPROGRAM:publishFluidLeakState
TEST.NEW
TEST.NAME:publishFluidLeakState.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (++fluidLeakStatePublicationTimerCounter >= getU32OverrideValue(&fluidLeakStatePublishInterval)) ==> 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.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_FLUID_LEAK_STATE
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:4
TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_FLUID_LEAK_STATE
TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:4
TEST.END

-- Test Case: publishFluidLeakState.002
TEST.UNIT:FluidLeak
TEST.SUBPROGRAM:publishFluidLeakState
TEST.NEW
TEST.NAME:publishFluidLeakState.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++fluidLeakStatePublicationTimerCounter >= getU32OverrideValue(&fluidLeakStatePublishInterval)) ==> 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:FluidLeak.<<GLOBAL>>.fluidLeakStatePublicationTimerCounter:0
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<<MAX>>
TEST.EXPECTED:FluidLeak.<<GLOBAL>>.fluidLeakStatePublicationTimerCounter:0
TEST.END

-- Subprogram: testResetFluidLeakStateOverride

-- Test Case: testResetFluidLeakStateOverride.001
TEST.UNIT:FluidLeak
TEST.SUBPROGRAM:testResetFluidLeakStateOverride
TEST.NEW
TEST.NAME:testResetFluidLeakStateOverride.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:FluidLeak.<<GLOBAL>>.fluidLeakState.ovInitData:100
TEST.VALUE:FluidLeak.<<GLOBAL>>.fluidLeakState.override:0x0
TEST.VALUE:FluidLeak.testResetFluidLeakStateOverride.return:1
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:FluidLeak.<<GLOBAL>>.fluidLeakState.ovData:100
TEST.EXPECTED:FluidLeak.<<GLOBAL>>.fluidLeakState.override:0x0
TEST.EXPECTED:FluidLeak.testResetFluidLeakStateOverride.return:1
TEST.END

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

-- Subprogram: testResetFluidLeakStatePublishIntervalOverride

-- Test Case: testResetFluidLeakStatePublishIntervalOverride.001
TEST.UNIT:FluidLeak
TEST.SUBPROGRAM:testResetFluidLeakStatePublishIntervalOverride
TEST.NEW
TEST.NAME:testResetFluidLeakStatePublishIntervalOverride.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:FluidLeak.<<GLOBAL>>.fluidLeakStatePublishInterval.ovInitData:100
TEST.VALUE:FluidLeak.<<GLOBAL>>.fluidLeakStatePublishInterval.override:0x0
TEST.VALUE:FluidLeak.testResetFluidLeakStatePublishIntervalOverride.return:1
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:FluidLeak.<<GLOBAL>>.fluidLeakStatePublishInterval.ovData:100
TEST.EXPECTED:FluidLeak.<<GLOBAL>>.fluidLeakStatePublishInterval.override:0x0
TEST.EXPECTED:FluidLeak.testResetFluidLeakStatePublishIntervalOverride.return:1
TEST.END

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

-- Subprogram: testSetFluidLeakStateOverride

-- Test Case: testSetFluidLeakStateOverride.001
TEST.UNIT:FluidLeak
TEST.SUBPROGRAM:testSetFluidLeakStateOverride
TEST.NEW
TEST.NAME:testSetFluidLeakStateOverride.001
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (state < (NUM_OF_FLUID_LEAK_STATES)) ==> 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:FluidLeak.testSetFluidLeakStateOverride.state:<<MIN>>
TEST.VALUE:FluidLeak.testSetFluidLeakStateOverride.return:0
TEST.EXPECTED:FluidLeak.testSetFluidLeakStateOverride.return:0
TEST.END

-- Test Case: testSetFluidLeakStateOverride.002
TEST.UNIT:FluidLeak
TEST.SUBPROGRAM:testSetFluidLeakStateOverride
TEST.NEW
TEST.NAME:testSetFluidLeakStateOverride.002
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (state < (NUM_OF_FLUID_LEAK_STATES)) ==> 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:FluidLeak.testSetFluidLeakStateOverride.state:<<MAX>>
TEST.VALUE:FluidLeak.testSetFluidLeakStateOverride.return:0
TEST.EXPECTED:FluidLeak.testSetFluidLeakStateOverride.return:0
TEST.END

-- Test Case: testSetFluidLeakStateOverride.003
TEST.UNIT:FluidLeak
TEST.SUBPROGRAM:testSetFluidLeakStateOverride
TEST.NEW
TEST.NAME:testSetFluidLeakStateOverride.003
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (state < (NUM_OF_FLUID_LEAK_STATES)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> 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:FluidLeak.<<GLOBAL>>.fluidLeakState.override:0xCCC33C33
TEST.VALUE:FluidLeak.testSetFluidLeakStateOverride.state:<<MIN>>
TEST.VALUE:FluidLeak.testSetFluidLeakStateOverride.return:1
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:FluidLeak.<<GLOBAL>>.fluidLeakState.override:0xCCC33C33
TEST.EXPECTED:FluidLeak.testSetFluidLeakStateOverride.return:1
TEST.END

-- Subprogram: testSetFluidLeakStatePublishIntervalOverride

-- Test Case: testSetFluidLeakStatePublishIntervalOverride.001
TEST.UNIT:FluidLeak
TEST.SUBPROGRAM:testSetFluidLeakStatePublishIntervalOverride
TEST.NEW
TEST.NAME:testSetFluidLeakStatePublishIntervalOverride.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:FluidLeak.<<GLOBAL>>.fluidLeakStatePublishInterval.data:100
TEST.VALUE:FluidLeak.<<GLOBAL>>.fluidLeakStatePublishInterval.override:0xCCC33C33
TEST.VALUE:FluidLeak.testSetFluidLeakStatePublishIntervalOverride.value:<<MIN>>
TEST.VALUE:FluidLeak.testSetFluidLeakStatePublishIntervalOverride.return:1
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:FluidLeak.<<GLOBAL>>.fluidLeakStatePublishInterval.data:100
TEST.EXPECTED:FluidLeak.<<GLOBAL>>.fluidLeakStatePublishInterval.override:0xCCC33C33
TEST.END

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