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

-- Subprogram: execBatteryMonitor

-- Test Case: execBatteryMonitor.001
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:execBatteryMonitor.001
TEST.STUB:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.batteryStatus:80
TEST.VALUE:Battery.<<GLOBAL>>.lostACPowerPersistentCount:3
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:0
TEST.VALUE:Battery.getBatteryData.return:1
TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_AC_POWER_LOST
TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:70
TEST.VALUE:uut_prototype_stubs.didTimeout.startMSCount:70
TEST.VALUE:uut_prototype_stubs.didTimeout.timeoutPeriod:750
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Battery.<<GLOBAL>>.hasBatteryChargerStatus:1
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:80
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:0
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:750
TEST.END

-- Test Case: execBatteryMonitor.002
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:execBatteryMonitor.002
TEST.STUB:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.batteryRemCapacity_mAh.data:0.0
TEST.VALUE:Battery.<<GLOBAL>>.batteryPackStatus:0xFF
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:1
TEST.VALUE:Battery.getBatteryData.return:0,1
TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_BATTERY_PACK_ERROR_DETECTED
TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0x0
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BATTERY_PACK_ERROR_DETECTED
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Battery.<<GLOBAL>>.batteryRemCapacity_mAh.data:0.0
TEST.EXPECTED:Battery.<<GLOBAL>>.hasBatteryChargerStatus:0
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_BATTERY_PACK_ERROR_DETECTED
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0xFF
TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BATTERY_PACK_ERROR_DETECTED
TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1
TEST.END

-- Test Case: execBatteryMonitor.003
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:execBatteryMonitor.003
TEST.MCDC_BASIS_PATH:2 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> 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.STUB:Battery.getBatteryData
TEST.VALUE:Battery.getBatteryData.return:0
TEST.VALUE:uut_prototype_stubs.didTimeout.startMSCount:70
TEST.VALUE:uut_prototype_stubs.didTimeout.timeoutPeriod:750
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Battery.<<GLOBAL>>.hasBatteryChargerStatus:1
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:0
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:750
TEST.END

-- Test Case: execBatteryMonitor.004
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:execBatteryMonitor.004
TEST.MCDC_BASIS_PATH:1 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> 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.didTimeout.return:<<MIN>>
TEST.EXPECTED:Battery.<<GLOBAL>>.hasBatteryChargerStatus:0
TEST.END

-- Test Case: execBatteryMonitor.005
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:execBatteryMonitor.005
TEST.MCDC_BASIS_PATH:3 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> TRUE
      (2) if ((0) == hasBatteryChargerStatus) ==> 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.STUB:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:1
TEST.VALUE:Battery.getBatteryData.return:0
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Battery.<<GLOBAL>>.hasBatteryChargerStatus:0
TEST.END

-- Test Case: execBatteryMonitor.006
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:execBatteryMonitor.006
TEST.MCDC_BASIS_PATH:16 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 16
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> TRUE
      (2) if ((0) == hasBatteryChargerStatus) ==> TRUE
      (3) if ((1) == getBatteryData(0x9, 0x13, &batteryStatus)) ==> TRUE
      (4) if (0 == (batteryStatus & 0x8000)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.batteryStatus:0
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:0
TEST.VALUE:Battery.getBatteryData.return:1
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Battery.<<GLOBAL>>.hasBatteryChargerStatus:1
TEST.END

-- Test Case: execBatteryMonitor.007
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:execBatteryMonitor.007
TEST.MCDC_BASIS_PATH:15 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 15
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> TRUE
      (2) if ((0) == hasBatteryChargerStatus) ==> TRUE
      (3) if ((1) == getBatteryData(0x9, 0x13, &batteryStatus)) ==> TRUE
      (4) if (0 == (batteryStatus & 0x8000)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.batteryStatus:32768
TEST.VALUE:Battery.<<GLOBAL>>.lostACPowerPersistentCount:1
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:0
TEST.VALUE:Battery.getBatteryData.return:1
TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_AC_POWER_LOST
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Battery.<<GLOBAL>>.lostACPowerPersistentCount:0
TEST.EXPECTED:Battery.<<GLOBAL>>.hasBatteryChargerStatus:1
TEST.END

-- Test Case: execBatteryMonitor.008
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:execBatteryMonitor.008
TEST.MCDC_BASIS_PATH:6 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> TRUE
      (2) if ((0) == hasBatteryChargerStatus) ==> FALSE
      (6) if ((1) == getBatteryData(0xb, 0xd, &relStateOfCharge_pct)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.batteryRelStateOfCharge_pct:0
TEST.VALUE:Battery.<<GLOBAL>>.batteryRemCapacity_mAh.data:0.0
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:1
TEST.VALUE:Battery.getBatteryData.return:1
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Battery.<<GLOBAL>>.batteryRelStateOfCharge_pct:32764
TEST.EXPECTED:Battery.<<GLOBAL>>.batteryRemCapacity_mAh.data:0.0
TEST.EXPECTED:Battery.<<GLOBAL>>.hasBatteryChargerStatus:0
TEST.END

-- Subprogram: generateStopCondition

-- Test Case: generateStopCondition.001
TEST.UNIT:Battery
TEST.SUBPROGRAM:generateStopCondition
TEST.NEW
TEST.NAME:generateStopCondition.001
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10
TEST.VALUE:uut_prototype_stubs.didTimeout.startMSCount:0
TEST.VALUE:uut_prototype_stubs.didTimeout.timeoutPeriod:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0,1
TEST.EXPECTED:Battery.<<GLOBAL>>.hasBatteryChargerStatus:0
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:10
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:1
TEST.END

-- Test Case: generateStopCondition.002
TEST.UNIT:Battery
TEST.SUBPROGRAM:generateStopCondition
TEST.NEW
TEST.NAME:generateStopCondition.002
TEST.MCDC_BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) while ((0) == i2cIsStopDetected((i2cBASE_t *)0xfff7d400U) && (0) == timeout) ==> 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:
      Cannot set local variable timeout in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.i2cIsStopDetected.return:1
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10
TEST.EXPECTED:Battery.<<GLOBAL>>.hasBatteryChargerStatus:0
TEST.END

-- Subprogram: getBatteryData

-- Test Case: getBatteryData.001
TEST.UNIT:Battery
TEST.SUBPROGRAM:getBatteryData
TEST.NEW
TEST.NAME:getBatteryData.001
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == startCommTx(slaveAddr)) ==> 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.STUB:Battery.startCommTx
TEST.STUB:Battery.getData
TEST.VALUE:Battery.getBatteryData.slaveAddr:<<MIN>>
TEST.VALUE:Battery.getBatteryData.command:<<MIN>>
TEST.VALUE:Battery.getBatteryData.dataPtr:<<malloc 1>>
TEST.VALUE:Battery.getBatteryData.dataPtr[0]:10
TEST.VALUE:Battery.startCommTx.return:1
TEST.VALUE:Battery.getData.return:1
TEST.EXPECTED:Battery.getBatteryData.return:1
TEST.EXPECTED:Battery.startCommTx.slaveAddr:<<MIN>>
TEST.EXPECTED:Battery.getData.command:<<MIN>>
TEST.EXPECTED:Battery.getData.dataPtr[0]:10
TEST.END

-- Test Case: getBatteryData.002
TEST.UNIT:Battery
TEST.SUBPROGRAM:getBatteryData
TEST.NEW
TEST.NAME:getBatteryData.002
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == startCommTx(slaveAddr)) ==> 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:Battery.startCommTx
TEST.VALUE:Battery.getBatteryData.slaveAddr:<<MIN>>
TEST.VALUE:Battery.getBatteryData.command:<<MIN>>
TEST.VALUE:Battery.getBatteryData.dataPtr:<<malloc 1>>
TEST.VALUE:Battery.startCommTx.return:<<MIN>>
TEST.EXPECTED:Battery.getBatteryData.return:0
TEST.EXPECTED:Battery.startCommTx.slaveAddr:<<MIN>>
TEST.END

-- Test Case: getBatteryData.003
TEST.UNIT:Battery
TEST.SUBPROGRAM:getBatteryData
TEST.NEW
TEST.NAME:getBatteryData.003
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == startCommTx(slaveAddr)) ==> TRUE
      (2) if ((1) == getData(command, dataPtr)) ==> 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.STUB:Battery.startCommTx
TEST.STUB:Battery.getData
TEST.VALUE:Battery.getBatteryData.slaveAddr:<<MIN>>
TEST.VALUE:Battery.getBatteryData.command:<<MIN>>
TEST.VALUE:Battery.getBatteryData.dataPtr:<<malloc 1>>
TEST.VALUE:Battery.startCommTx.return:1
TEST.VALUE:Battery.getData.return:<<MIN>>
TEST.EXPECTED:Battery.getBatteryData.return:0
TEST.END

-- Test Case: getBatteryData.004
TEST.UNIT:Battery
TEST.SUBPROGRAM:getBatteryData
TEST.NEW
TEST.NAME:getBatteryData.004
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == startCommTx(slaveAddr)) ==> 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:Battery.startCommTx
TEST.VALUE:Battery.getBatteryData.slaveAddr:<<MIN>>
TEST.VALUE:Battery.getBatteryData.command:<<MIN>>
TEST.VALUE:Battery.getBatteryData.dataPtr:<<malloc 1>>
TEST.VALUE:Battery.startCommTx.return:<<MIN>>
TEST.EXPECTED:Battery.getBatteryData.return:0
TEST.END

-- Subprogram: getBatteryRemainingCapacity_mWh

-- Test Case: getBatteryRemainingCapacity_mWh.001
TEST.UNIT:Battery
TEST.SUBPROGRAM:getBatteryRemainingCapacity_mWh
TEST.NEW
TEST.NAME:getBatteryRemainingCapacity_mWh.001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (0xccc33c33U == batteryRemCapacity_mAh.override) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Battery.<<GLOBAL>>.batteryRemCapacity_mAh.data:100.0
TEST.VALUE:Battery.<<GLOBAL>>.batteryRemCapacity_mAh.override:<<MIN>>
TEST.EXPECTED:Battery.<<GLOBAL>>.batteryRemCapacity_mAh.override:0
TEST.EXPECTED:Battery.getBatteryRemainingCapacity_mWh.return:100.0
TEST.END

-- Test Case: getBatteryRemainingCapacity_mWh.002
TEST.UNIT:Battery
TEST.SUBPROGRAM:getBatteryRemainingCapacity_mWh
TEST.NEW
TEST.NAME:getBatteryRemainingCapacity_mWh.002
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0xccc33c33U == batteryRemCapacity_mAh.override) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Battery.<<GLOBAL>>.batteryRemCapacity_mAh.data:10.0
TEST.VALUE:Battery.<<GLOBAL>>.batteryRemCapacity_mAh.ovData:100.0
TEST.VALUE:Battery.<<GLOBAL>>.batteryRemCapacity_mAh.override:3435346995
TEST.VALUE:Battery.getBatteryRemainingCapacity_mWh.return:10.0
TEST.EXPECTED:Battery.<<GLOBAL>>.batteryRemCapacity_mAh.override:3435346995
TEST.EXPECTED:Battery.getBatteryRemainingCapacity_mWh.return:100.0
TEST.END

-- Subprogram: getData

-- Test Case: getData.001
TEST.UNIT:Battery
TEST.SUBPROGRAM:getData
TEST.NEW
TEST.NAME:getData.001
TEST.MCDC_BASIS_PATH:2 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == waitForTxReady()) ==> 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.STUB:Battery.waitForTxReady
TEST.STUB:Battery.waitForRxReady
TEST.VALUE:Battery.waitForTxReady.return:1
TEST.VALUE:Battery.waitForRxReady.return:1
TEST.VALUE:Battery.getData.command:<<MIN>>
TEST.VALUE:Battery.getData.dataPtr:<<malloc 1>>
TEST.EXPECTED:Battery.getData.return:1
TEST.END

-- Test Case: getData.002
TEST.UNIT:Battery
TEST.SUBPROGRAM:getData
TEST.NEW
TEST.NAME:getData.002
TEST.MCDC_BASIS_PATH:1 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == waitForTxReady()) ==> 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:Battery.waitForTxReady
TEST.STUB:Battery.waitForRxReady
TEST.VALUE:Battery.waitForTxReady.return:1
TEST.VALUE:Battery.waitForRxReady.return:0
TEST.VALUE:Battery.getData.command:<<MIN>>
TEST.VALUE:Battery.getData.dataPtr:<<malloc 1>>
TEST.VALUE:Battery.getData.return:1
TEST.VALUE:uut_prototype_stubs.i2cSetDirection.dir:0
TEST.EXPECTED:Battery.getData.return:0
TEST.EXPECTED:uut_prototype_stubs.i2cSendByte.byte:<<MIN>>
TEST.EXPECTED:uut_prototype_stubs.i2cSetDirection.dir:0
TEST.END

-- Test Case: getData.003
TEST.UNIT:Battery
TEST.SUBPROGRAM:getData
TEST.NEW
TEST.NAME:getData.003
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == waitForTxReady()) ==> 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.STUB:Battery.waitForTxReady
TEST.STUB:Battery.waitForRxReady
TEST.VALUE:Battery.waitForTxReady.return:0
TEST.VALUE:Battery.waitForRxReady.return:0
TEST.VALUE:Battery.getData.command:<<MIN>>
TEST.VALUE:Battery.getData.dataPtr:<<malloc 1>>
TEST.EXPECTED:Battery.getData.return:0
TEST.END

-- Test Case: getData.004
TEST.UNIT:Battery
TEST.SUBPROGRAM:getData
TEST.NEW
TEST.NAME:getData.004
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == waitForTxReady()) ==> 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:Battery.waitForTxReady
TEST.STUB:Battery.waitForRxReady
TEST.VALUE:Battery.waitForTxReady.return:1
TEST.VALUE:Battery.waitForRxReady.return:1,0
TEST.VALUE:Battery.getData.command:<<MIN>>
TEST.VALUE:Battery.getData.dataPtr:<<malloc 1>>
TEST.VALUE:uut_prototype_stubs.i2cSendByte.byte:<<MIN>>
TEST.VALUE:uut_prototype_stubs.i2cSetDirection.dir:0
TEST.EXPECTED:Battery.getData.return:0
TEST.EXPECTED:uut_prototype_stubs.i2cSetDirection.dir:0
TEST.END

-- Subprogram: initBattery

-- Test Case: initBattery.001
TEST.UNIT:Battery
TEST.SUBPROGRAM:initBattery
TEST.NEW
TEST.NAME:initBattery.001
TEST.STUB:Battery.setupI2CDriver
TEST.VALUE:uut_prototype_stubs.initPersistentAlarm.alarmIndex:ALARM_ID_HD_BATTERY_PACK_ERROR_DETECTED
TEST.VALUE:uut_prototype_stubs.initPersistentAlarm.persistentClearPeriod:0
TEST.VALUE:uut_prototype_stubs.initPersistentAlarm.persistentTriggerPeriod:BATT_STATUS_ERROR_PERSIST_MS
TEST.EXPECTED:Battery.<<GLOBAL>>.batteryStatus:0
TEST.EXPECTED:Battery.<<GLOBAL>>.batteryRelStateOfCharge_pct:0
TEST.EXPECTED:Battery.<<GLOBAL>>.batteryPackStatus:0
TEST.EXPECTED:Battery.<<GLOBAL>>.lastBatteryMonitorTime:0
TEST.EXPECTED:Battery.<<GLOBAL>>.lostACPowerPersistentCount:0
TEST.EXPECTED:Battery.<<GLOBAL>>.hasBatteryChargerStatus:0
TEST.EXPECTED:Battery.<<GLOBAL>>.commFaultPersistentCount:0
TEST.END

-- Subprogram: isBatteryCharged

-- Test Case: isBatteryCharged.001
TEST.UNIT:Battery
TEST.SUBPROGRAM:isBatteryCharged
TEST.NEW
TEST.NAME:isBatteryCharged.001
TEST.IMPORT_FAILURES:
(E) @LINE: 490 TEST.STUB:Battery.getBatteryRemainingPercent
    >>> Could not find function getBatteryRemainingPercent
    >>>    in unit Battery.
    >>> Value Line Error - Command Ignored
(E) @LINE: 490 
    >>> Could not stub Battery.getBatteryRemainingPercent
(E) @LINE: 491 TEST.VALUE:Battery.getBatteryRemainingPercent.return:<<MAX>>
    >>> Subprogram 'getBatteryRemainingPercent' is invalid
    >>> Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) (getBatteryRemainingPercent() > (50)) ==> 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.EXPECTED:Battery.isBatteryCharged.return:1
TEST.END

-- Subprogram: setupI2CDriver

-- Test Case: setupI2CDriver.001
TEST.UNIT:Battery
TEST.SUBPROGRAM:setupI2CDriver
TEST.NEW
TEST.NAME:setupI2CDriver.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.VALUE:Battery.<<GLOBAL>>.prt_i2cBase:<<malloc 1>>
TEST.VALUE:Battery.<<GLOBAL>>.prt_i2cBase[0].MDR:1
TEST.EXPECTED:Battery.<<GLOBAL>>.prt_i2cBase[0].MDR:1696
TEST.END

-- Subprogram: startCommTx

-- Test Case: startCommTx.001
TEST.UNIT:Battery
TEST.SUBPROGRAM:startCommTx
TEST.NEW
TEST.NAME:startCommTx.001
TEST.STUB:Battery.waitForAccessReady
TEST.VALUE:Battery.<<GLOBAL>>.prt_i2cBase:<<malloc 1>>
TEST.VALUE:Battery.<<GLOBAL>>.prt_i2cBase[0].MDR:1696
TEST.VALUE:Battery.waitForAccessReady.return:1
TEST.VALUE:uut_prototype_stubs.i2cSetSlaveAdd.sadd:0x0
TEST.VALUE:uut_prototype_stubs.i2cIsBusBusy.return:true
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0
TEST.EXPECTED:uut_prototype_stubs.i2cSetSlaveAdd.sadd:0x0
TEST.END

-- Test Case: startCommTx.002
TEST.UNIT:Battery
TEST.SUBPROGRAM:startCommTx
TEST.NEW
TEST.NAME:startCommTx.002
TEST.STUB:Battery.waitForAccessReady
TEST.VALUE:Battery.<<GLOBAL>>.prt_i2cBase:<<malloc 1>>
TEST.VALUE:Battery.<<GLOBAL>>.prt_i2cBase[0].MDR:1696
TEST.VALUE:Battery.waitForAccessReady.return:0
TEST.VALUE:uut_prototype_stubs.i2cSetSlaveAdd.sadd:0x0
TEST.VALUE:uut_prototype_stubs.i2cSetMode.mode:0
TEST.VALUE:uut_prototype_stubs.i2cSetDirection.dir:0
TEST.VALUE:uut_prototype_stubs.i2cIsBusBusy.return:false
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0
TEST.EXPECTED:Battery.startCommTx.return:0
TEST.EXPECTED:uut_prototype_stubs.i2cSetSlaveAdd.sadd:0x0
TEST.EXPECTED:uut_prototype_stubs.i2cSetMode.mode:1024
TEST.EXPECTED:uut_prototype_stubs.i2cSetDirection.dir:512
TEST.END

-- Test Case: startCommTx.003
TEST.UNIT:Battery
TEST.SUBPROGRAM:startCommTx
TEST.NEW
TEST.NAME:startCommTx.003
TEST.STUB:Battery.setupI2CDriver
TEST.STUB:Battery.waitForAccessReady
TEST.VALUE:Battery.<<GLOBAL>>.prt_i2cBase:<<malloc 1>>
TEST.VALUE:Battery.<<GLOBAL>>.commFaultPersistentCount:4
TEST.VALUE:Battery.waitForAccessReady.return:1
TEST.VALUE:Battery.startCommTx.return:0
TEST.VALUE:uut_prototype_stubs.i2cSetSlaveAdd.sadd:0x0
TEST.VALUE:uut_prototype_stubs.i2cSetMode.mode:0
TEST.VALUE:uut_prototype_stubs.i2cSetDirection.dir:0
TEST.VALUE:uut_prototype_stubs.i2cIsBusBusy.return:false
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0
TEST.EXPECTED:Battery.<<GLOBAL>>.commFaultPersistentCount:0
TEST.EXPECTED:Battery.startCommTx.return:1
TEST.EXPECTED:uut_prototype_stubs.i2cSetSlaveAdd.sadd:0x0
TEST.EXPECTED:uut_prototype_stubs.i2cSetMode.mode:1024
TEST.EXPECTED:uut_prototype_stubs.i2cSetDirection.dir:512
TEST.END

-- Test Case: startCommTx.004
TEST.UNIT:Battery
TEST.SUBPROGRAM:startCommTx
TEST.NEW
TEST.NAME:startCommTx.004
TEST.STUB:Battery.setupI2CDriver
TEST.STUB:Battery.waitForAccessReady
TEST.VALUE:Battery.<<GLOBAL>>.prt_i2cBase:<<malloc 1>>
TEST.VALUE:Battery.<<GLOBAL>>.prt_i2cBase[0].STR:3
TEST.VALUE:Battery.<<GLOBAL>>.commFaultPersistentCount:4
TEST.VALUE:Battery.waitForAccessReady.return:1
TEST.VALUE:Battery.startCommTx.return:1
TEST.VALUE:uut_prototype_stubs.i2cSetSlaveAdd.sadd:0x0
TEST.VALUE:uut_prototype_stubs.i2cIsStopDetected.return:0
TEST.VALUE:uut_prototype_stubs.i2cSetMode.mode:0
TEST.VALUE:uut_prototype_stubs.i2cSetDirection.dir:0
TEST.VALUE:uut_prototype_stubs.i2cIsBusBusy.return:false
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Battery.<<GLOBAL>>.commFaultPersistentCount:5
TEST.EXPECTED:Battery.startCommTx.return:0
TEST.EXPECTED:uut_prototype_stubs.i2cSetSlaveAdd.sadd:0x0
TEST.EXPECTED:uut_prototype_stubs.i2cSetMode.mode:1024
TEST.EXPECTED:uut_prototype_stubs.i2cSetDirection.dir:512
TEST.END

-- Test Case: startCommTx.005
TEST.UNIT:Battery
TEST.SUBPROGRAM:startCommTx
TEST.NEW
TEST.NAME:startCommTx.005
TEST.STUB:Battery.setupI2CDriver
TEST.STUB:Battery.waitForAccessReady
TEST.VALUE:Battery.<<GLOBAL>>.prt_i2cBase:<<malloc 1>>
TEST.VALUE:Battery.<<GLOBAL>>.prt_i2cBase[0].STR:3
TEST.VALUE:Battery.<<GLOBAL>>.commFaultPersistentCount:5
TEST.VALUE:Battery.waitForAccessReady.return:1
TEST.VALUE:Battery.startCommTx.slaveAddr:4
TEST.VALUE:Battery.startCommTx.return:1
TEST.VALUE:uut_prototype_stubs.i2cSetSlaveAdd.sadd:0x0
TEST.VALUE:uut_prototype_stubs.i2cIsStopDetected.return:0
TEST.VALUE:uut_prototype_stubs.i2cSetMode.mode:0
TEST.VALUE:uut_prototype_stubs.i2cSetDirection.dir:0
TEST.VALUE:uut_prototype_stubs.i2cIsBusBusy.return:false
TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_DG_WATCHDOG_POST_TEST_FAILED
TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_S32
TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:2
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Battery.<<GLOBAL>>.commFaultPersistentCount:6
TEST.EXPECTED:Battery.startCommTx.return:0
TEST.EXPECTED:uut_prototype_stubs.i2cSetSlaveAdd.sadd:0x4
TEST.EXPECTED:uut_prototype_stubs.i2cSetMode.mode:1024
TEST.EXPECTED:uut_prototype_stubs.i2cSetDirection.dir:512
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_BATTERY_COMM_FAULT
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:4
TEST.END

-- Subprogram: testResetSetBatteryRemainingPercentOverride

-- Test Case: testResetSetBatteryRemainingPercentOverride.001
TEST.UNIT:Battery
TEST.SUBPROGRAM:testResetSetBatteryRemainingPercentOverride
TEST.NEW
TEST.NAME:testResetSetBatteryRemainingPercentOverride.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:Battery.<<GLOBAL>>.batteryRemCapacity_mAh.ovInitData:10.0
TEST.VALUE:Battery.testResetSetBatteryRemainingPercentOverride.return:0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:Battery.<<GLOBAL>>.batteryRemCapacity_mAh.ovData:10.0
TEST.EXPECTED:Battery.<<GLOBAL>>.batteryRemCapacity_mAh.override:0
TEST.EXPECTED:Battery.testResetSetBatteryRemainingPercentOverride.return:1
TEST.END

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

-- Subprogram: testSetBatteryRemainingPercentOverride

-- Test Case: testSetBatteryRemainingPercentOverride.001
TEST.UNIT:Battery
TEST.SUBPROGRAM:testSetBatteryRemainingPercentOverride
TEST.NEW
TEST.NAME:testSetBatteryRemainingPercentOverride.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:Battery.testSetBatteryRemainingPercentOverride.value:0
TEST.VALUE:Battery.testSetBatteryRemainingPercentOverride.return:0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:Battery.<<GLOBAL>>.batteryRemCapacity_mAh.ovData:0.0
TEST.EXPECTED:Battery.<<GLOBAL>>.batteryRemCapacity_mAh.override:0xCCC33C33
TEST.EXPECTED:Battery.testSetBatteryRemainingPercentOverride.return:1
TEST.END

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

-- Subprogram: waitForAccessReady

-- Test Case: waitForAccessReady.001
TEST.UNIT:Battery
TEST.SUBPROGRAM:waitForAccessReady
TEST.NEW
TEST.NAME:waitForAccessReady.001
TEST.VALUE:Battery.<<GLOBAL>>.prt_i2cBase:<<malloc 1>>
TEST.VALUE:Battery.<<GLOBAL>>.prt_i2cBase[0].STR:4
TEST.VALUE:Battery.waitForAccessReady.return:0
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:100
TEST.VALUE:uut_prototype_stubs.didTimeout.startMSCount:100
TEST.VALUE:uut_prototype_stubs.didTimeout.timeoutPeriod:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0
TEST.EXPECTED:Battery.waitForAccessReady.return:1
TEST.END

-- Test Case: waitForAccessReady.002
TEST.UNIT:Battery
TEST.SUBPROGRAM:waitForAccessReady
TEST.NEW
TEST.NAME:waitForAccessReady.002
TEST.VALUE:Battery.<<GLOBAL>>.prt_i2cBase:<<malloc 1>>
TEST.VALUE:Battery.<<GLOBAL>>.prt_i2cBase[0].STR:1
TEST.VALUE:Battery.waitForAccessReady.return:1
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:100
TEST.VALUE:uut_prototype_stubs.didTimeout.startMSCount:100
TEST.VALUE:uut_prototype_stubs.didTimeout.timeoutPeriod:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Battery.waitForAccessReady.return:0
TEST.END

-- Subprogram: waitForRxReady

-- Test Case: waitForRxReady.001
TEST.UNIT:Battery
TEST.SUBPROGRAM:waitForRxReady
TEST.NEW
TEST.NAME:waitForRxReady.001
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10
TEST.VALUE:uut_prototype_stubs.didTimeout.startMSCount:0
TEST.VALUE:uut_prototype_stubs.didTimeout.timeoutPeriod:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0,1
TEST.EXPECTED:Battery.waitForRxReady.return:0
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:10
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:1
TEST.END

-- Test Case: waitForRxReady.002
TEST.UNIT:Battery
TEST.SUBPROGRAM:waitForRxReady
TEST.NEW
TEST.NAME:waitForRxReady.002
TEST.MCDC_BASIS_PATH:1 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) while ((0) == i2cIsRxReady((i2cBASE_t *)0xfff7d400U) && (0) == timeout) ==> 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:
      Cannot set local variable timeout in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.i2cIsRxReady.return:1
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10
TEST.EXPECTED:Battery.waitForRxReady.return:1
TEST.END

-- Subprogram: waitForTxReady

-- Test Case: waitForTxReady.001
TEST.UNIT:Battery
TEST.SUBPROGRAM:waitForTxReady
TEST.NEW
TEST.NAME:waitForTxReady.001
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10
TEST.VALUE:uut_prototype_stubs.didTimeout.startMSCount:0
TEST.VALUE:uut_prototype_stubs.didTimeout.timeoutPeriod:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0,1
TEST.EXPECTED:Battery.waitForTxReady.return:0
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:10
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:1
TEST.END

-- Test Case: waitForTxReady.002
TEST.UNIT:Battery
TEST.SUBPROGRAM:waitForTxReady
TEST.NEW
TEST.NAME:waitForTxReady.002
TEST.MCDC_BASIS_PATH:1 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) while ((0) == i2cIsTxReady((i2cBASE_t *)0xfff7d400U) && (0) == timeout) ==> 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:
      Cannot set local variable timeout in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.i2cIsTxReady.return:1
TEST.EXPECTED:Battery.waitForTxReady.return:1
TEST.END