-- 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: checkTooManyCommFaults -- Test Case: checkTooManyCommFaults.001 TEST.UNIT:Battery TEST.SUBPROGRAM:checkTooManyCommFaults TEST.NEW TEST.NAME:checkTooManyCommFaults.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == incTimeWindowedCount(TIME_WINDOWED_COUNT_BATT_COMM_ERROR)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.incTimeWindowedCount.return:<> TEST.EXPECTED:uut_prototype_stubs.incTimeWindowedCount.cnt:TIME_WINDOWED_COUNT_BATT_COMM_ERROR TEST.END -- Test Case: checkTooManyCommFaults.002 TEST.UNIT:Battery TEST.SUBPROGRAM:checkTooManyCommFaults TEST.NEW TEST.NAME:checkTooManyCommFaults.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == incTimeWindowedCount(TIME_WINDOWED_COUNT_BATT_COMM_ERROR)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.incTimeWindowedCount.return:1 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:MACRO=TIME_WINDOWED_COUNT_BATT_COMM_ERROR TEST.EXPECTED:uut_prototype_stubs.incTimeWindowedCount.cnt:TIME_WINDOWED_COUNT_BATT_COMM_ERROR TEST.END -- Subprogram: execBatteryMonitor -- Test Case: execBatteryMonitor TEST.UNIT:Battery TEST.SUBPROGRAM:execBatteryMonitor TEST.NEW TEST.NAME:execBatteryMonitor TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 106 TEST.EXPECTED:Battery.<>.hasBatteryChargerStatus:0 >>> >>> Unknown parameter/object name hasBatteryChargerStatus >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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:<> TEST.END -- Test Case: execBatteryMonitor.001 TEST.UNIT:Battery TEST.SUBPROGRAM:execBatteryMonitor TEST.NEW TEST.NAME:execBatteryMonitor.001 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.STUB:Battery.getBatteryManagementData TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:Battery.<>.lastBatteryMonitorTime:10 TEST.END -- Subprogram: generateStopCondition -- Test Case: generateStopCondition TEST.UNIT:Battery TEST.SUBPROGRAM:generateStopCondition TEST.NEW TEST.NAME:generateStopCondition TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 226 TEST.EXPECTED:Battery.<>.hasBatteryChargerStatus:0 >>> >>> Unknown parameter/object name hasBatteryChargerStatus >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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:uut_prototype_stubs.didTimeout.startMSCount:(2)10 TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:(2)2 TEST.END -- Test Case: generateStopCondition.001 TEST.UNIT:Battery TEST.SUBPROGRAM:generateStopCondition TEST.NEW TEST.NAME:generateStopCondition.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 102 TEST.STUB:Battery.testSetBatteryRemainingPercentOverride >>> >>> Could not find function testSetBatteryRemainingPercentOverride >>> >>> in unit Battery. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 102 >>> >>> Could not stub Battery.testSetBatteryRemainingPercentOverride >>> (E) @LINE: 103 TEST.STUB:Battery.testResetSetBatteryRemainingPercentOverride >>> >>> Could not find function testResetSetBatteryRemainingPercentOverride >>> >>> in unit Battery. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 103 >>> >>> Could not stub Battery.testResetSetBatteryRemainingPercentOverride TEST.END_IMPORT_FAILURES: TEST.STUB:Battery.initBattery TEST.STUB:Battery.execBatteryMonitor TEST.STUB:Battery.isBatteryCharged TEST.STUB:Battery.getBatteryRemainingCapacity_mWh TEST.STUB:Battery.setupI2CDriver TEST.STUB:Battery.waitForTxReady TEST.STUB:Battery.waitForRxReady TEST.STUB:Battery.waitForAccessReady TEST.STUB:Battery.getBatteryData TEST.STUB:Battery.startCommTx TEST.STUB:Battery.getData TEST.STUB:Battery.getBatteryManagementData TEST.STUB:Battery.publishBatteryManagementData TEST.STUB:Battery.publishBatteryStatusData TEST.VALUE:uut_prototype_stubs.i2cIsStopDetected.return:1 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.END -- Subprogram: getBatteryChargerStatus -- Test Case: getBatteryChargerStatus.001 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryChargerStatus TEST.NEW TEST.NAME:getBatteryChargerStatus.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (0xccc33c33U == batteryChargerStatus.override) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Battery.<>.batteryChargerStatus.override:<> TEST.EXPECTED:Battery.<>.batteryChargerStatus.override:0 TEST.END -- Test Case: getBatteryChargerStatus.002 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryChargerStatus TEST.NEW TEST.NAME:getBatteryChargerStatus.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (0xccc33c33U == batteryChargerStatus.override) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Battery.<>.batteryChargerStatus.override:3435346995 TEST.EXPECTED:Battery.<>.batteryChargerStatus.override:3435346995 TEST.END -- Subprogram: getBatteryData -- Test Case: getBatteryData TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryData TEST.NEW TEST.NAME:getBatteryData 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:<> TEST.VALUE:Battery.getBatteryData.command:<> TEST.VALUE:Battery.getBatteryData.dataPtr:<> 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:<> TEST.EXPECTED:Battery.getData.command:<> TEST.EXPECTED:Battery.getData.dataPtr[0]:10 TEST.END -- Test Case: getBatteryData.001 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryData TEST.NEW TEST.NAME:getBatteryData.001 TEST.BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == startCommTx(slaveAddr)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Battery.startCommTx TEST.VALUE:Battery.getBatteryData.slaveAddr:<> TEST.VALUE:Battery.getBatteryData.command:<> TEST.VALUE:Battery.getBatteryData.dataPtr:<> TEST.VALUE:Battery.startCommTx.return:<> TEST.EXPECTED:Battery.getBatteryData.slaveAddr:0 TEST.EXPECTED:Battery.getBatteryData.command:0 TEST.END -- Test Case: getBatteryData.002 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryData TEST.NEW TEST.NAME:getBatteryData.002 TEST.BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == startCommTx(slaveAddr)) ==> TRUE (2) if ((1) == getData(command, &data)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Battery.startCommTx TEST.STUB:Battery.getData TEST.VALUE:Battery.getBatteryData.slaveAddr:<> TEST.VALUE:Battery.getBatteryData.command:<> TEST.VALUE:Battery.getBatteryData.dataPtr:<> TEST.VALUE:Battery.startCommTx.return:1 TEST.VALUE:Battery.getData.return:<> TEST.EXPECTED:Battery.getBatteryData.slaveAddr:0 TEST.EXPECTED:Battery.getBatteryData.command:0 TEST.END -- Subprogram: getBatteryManagementData -- Test Case: getBatteryManagementData.001 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.001 TEST.BASIS_PATH:15 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 15 (14) case current_BM_value ==> BATTERY_PACK_BATTERY_MODE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_AT_RATE_TIME_TO_FULL TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_REMAINING_CAPACITY2 TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:15 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.002 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.002 TEST.BASIS_PATH:2 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) case current_BM_value ==> BATTERY_PACK_REMAINING_CAPACITY1 Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_REMAINING_CAPACITY2 TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_BATTERY_STATUS2 TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:22 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.003 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.003 TEST.BASIS_PATH:3 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 3 (2) case current_BM_value ==> BATTERY_PACK_REMAINING_CAPACITY2 Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_REMAINING_CAPACITY3 TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_BATTERY_STATUS3 TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:22 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.004 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.004 TEST.BASIS_PATH:4 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 4 (3) case current_BM_value ==> BATTERY_PACK_REMAINING_CAPACITY3 Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_REMAINING_CAPACITY4 TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_BATTERY_STATUS4 TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:22 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.005 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.005 TEST.BASIS_PATH:5 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 5 (4) case current_BM_value ==> BATTERY_PACK_REMAINING_CAPACITY4 Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_REMAINING_CAPACITY5 TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_BATTERY_STATUS5 TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:22 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.006 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.006 TEST.BASIS_PATH:6 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 6 (5) case current_BM_value ==> BATTERY_PACK_REMAINING_CAPACITY5 Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.STUB:Battery.publishBatteryStatusData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_BATTERY_STATUS1 TEST.VALUE:Battery.getBatteryData.return:1 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_CHARGER_STATUS1 TEST.EXPECTED:Battery.getBatteryData.slaveAddr:9 TEST.EXPECTED:Battery.getBatteryData.command:19 TEST.END -- Test Case: getBatteryManagementData.007 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.007 TEST.BASIS_PATH:7 of 50 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 7 (6) case current_BM_value ==> BATTERY_PACK_BATTERY_STATUS1 (11) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BATTERY_PACK_ERROR_DETECTED, (BatteryStatusData.BatteryStatus & (0xf)) != (0))) ==> FALSE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.STUB:Battery.publishBatteryStatusData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_BATTERY_STATUS2 TEST.VALUE:Battery.getBatteryData.return:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_CHARGER_STATUS2 TEST.EXPECTED:Battery.getBatteryData.slaveAddr:9 TEST.EXPECTED:Battery.getBatteryData.command:19 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.008 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.008 TEST.BASIS_PATH:8 of 50 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 8 (6) case current_BM_value ==> BATTERY_PACK_BATTERY_STATUS1 (11) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BATTERY_PACK_ERROR_DETECTED, (BatteryStatusData.BatteryStatus & (0xf)) != (0))) ==> TRUE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.STUB:Battery.publishBatteryStatusData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_BATTERY_STATUS3 TEST.VALUE:Battery.getBatteryData.return:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_CHARGER_STATUS3 TEST.EXPECTED:Battery.getBatteryData.slaveAddr:9 TEST.EXPECTED:Battery.getBatteryData.command:19 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.009 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.009 TEST.BASIS_PATH:9 of 50 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 9 (7) case current_BM_value ==> BATTERY_PACK_BATTERY_STATUS2 (11) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BATTERY_PACK_ERROR_DETECTED, (BatteryStatusData.BatteryStatus & (0xf)) != (0))) ==> FALSE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.STUB:Battery.publishBatteryStatusData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_BATTERY_STATUS4 TEST.VALUE:Battery.getBatteryData.return:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_CHARGER_STATUS4 TEST.EXPECTED:Battery.getBatteryData.slaveAddr:9 TEST.EXPECTED:Battery.getBatteryData.command:19 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.011 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.011 TEST.BASIS_PATH:11 of 50 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 11 (9) case current_BM_value ==> BATTERY_PACK_BATTERY_STATUS4 (11) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BATTERY_PACK_ERROR_DETECTED, (BatteryStatusData.BatteryStatus & (0xf)) != (0))) ==> FALSE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_REMAINING_CAPACITY_ALARM TEST.VALUE:Battery.getBatteryData.return:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_REMAINING_TIME_ALARM TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:2 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.012 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.012 TEST.BASIS_PATH:12 of 50 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 12 (10) case current_BM_value ==> BATTERY_PACK_BATTERY_STATUS5 (11) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BATTERY_PACK_ERROR_DETECTED, (BatteryStatusData.BatteryStatus & (0xf)) != (0))) ==> FALSE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_REMAINING_TIME_ALARM TEST.VALUE:Battery.getBatteryData.return:0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_BATTERY_MODE TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:3 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.013 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.013 TEST.BASIS_PATH:13 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 13 (12) case current_BM_value ==> BATTERY_PACK_REMAINING_CAPACITY_ALARM Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_BATTERY_MODE TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_AT_RATE TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:4 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.014 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.014 TEST.BASIS_PATH:14 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 14 (13) case current_BM_value ==> BATTERY_PACK_REMAINING_TIME_ALARM Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_AT_RATE TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_AT_RATE_TIME_TO_FULL TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:5 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.015 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.015 TEST.NOTES: This is an automatically generated test case. Test Path 10 (8) case current_BM_value ==> BATTERY_PACK_BATTERY_STATUS3 (11) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BATTERY_PACK_ERROR_DETECTED, (BatteryStatusData.BatteryStatus & (0xf)) != (0))) ==> FALSE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.STUB:Battery.publishBatteryStatusData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_BATTERY_STATUS5 TEST.VALUE:Battery.getBatteryData.return:1 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_CHARGER_STATUS5 TEST.EXPECTED:Battery.getBatteryData.slaveAddr:9 TEST.EXPECTED:Battery.getBatteryData.command:19 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.016 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.016 TEST.BASIS_PATH:16 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 16 (15) case current_BM_value ==> BATTERY_PACK_AT_RATE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_AT_RATE_TIME_TO_EMPTY TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_AT_RATE_OK TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:7 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.017 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.017 TEST.BASIS_PATH:17 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 17 (16) case current_BM_value ==> BATTERY_PACK_AT_RATE_TIME_TO_FULL Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_AT_RATE_OK TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_TEMPERATURE TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:8 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.018 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.018 TEST.BASIS_PATH:18 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 18 (17) case current_BM_value ==> BATTERY_PACK_AT_RATE_TIME_TO_EMPTY Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_TEMPERATURE TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_VOLTAGE TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:9 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.019 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.019 TEST.BASIS_PATH:19 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 19 (18) case current_BM_value ==> BATTERY_PACK_AT_RATE_OK Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_VOLTAGE TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_CURRENT TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:10 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.020 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.020 TEST.BASIS_PATH:20 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 20 (19) case current_BM_value ==> BATTERY_PACK_TEMPERATURE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_CURRENT TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_AVERAGE_CURRENT TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:11 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.021 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.021 TEST.BASIS_PATH:21 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 21 (20) case current_BM_value ==> BATTERY_PACK_VOLTAGE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_AVERAGE_CURRENT TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_REMAINING_CAPACITY3 TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:15 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.022 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.022 TEST.BASIS_PATH:22 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 22 (21) case current_BM_value ==> BATTERY_PACK_CURRENT Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_MAX_ERROR TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_RELATIVE_STATE_OF_CHARGE TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:13 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.023 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.023 TEST.BASIS_PATH:23 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 23 (22) case current_BM_value ==> BATTERY_PACK_AVERAGE_CURRENT Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_RELATIVE_STATE_OF_CHARGE TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_ABSOLUTE_STATE_OF_CHARGE TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:14 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.024 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.024 TEST.BASIS_PATH:24 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 24 (23) case current_BM_value ==> BATTERY_PACK_MAX_ERROR Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_ABSOLUTE_STATE_OF_CHARGE TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_FULL_CHARGE_CAPACITY TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:16 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.025 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.025 TEST.BASIS_PATH:25 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 25 (24) case current_BM_value ==> BATTERY_PACK_RELATIVE_STATE_OF_CHARGE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_FULL_CHARGE_CAPACITY TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_RUN_TIME_TO_EMPTY TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:17 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.026 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.026 TEST.BASIS_PATH:26 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 26 (25) case current_BM_value ==> BATTERY_PACK_ABSOLUTE_STATE_OF_CHARGE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_RUN_TIME_TO_EMPTY TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_AVERAGE_TIME_TO_EMPTY TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:18 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.027 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.027 TEST.BASIS_PATH:27 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 27 (26) case current_BM_value ==> BATTERY_PACK_FULL_CHARGE_CAPACITY Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_AVERAGE_TIME_TO_EMPTY TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_AVERAGE_TIME_TO_FULL TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:19 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.028 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.028 TEST.BASIS_PATH:28 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 28 (27) case current_BM_value ==> BATTERY_PACK_RUN_TIME_TO_EMPTY Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_AVERAGE_TIME_TO_FULL TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_REMAINING_CAPACITY4 TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:15 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.029 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.029 TEST.BASIS_PATH:29 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 29 (28) case current_BM_value ==> BATTERY_PACK_AVERAGE_TIME_TO_EMPTY Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_CHARGING_CURRENT TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_CHARGING_VOLTAGE TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:21 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.030 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.030 TEST.BASIS_PATH:30 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 30 (29) case current_BM_value ==> BATTERY_PACK_AVERAGE_TIME_TO_FULL Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_CHARGING_VOLTAGE TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_CYCLE_COUNT TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:23 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.031 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.031 TEST.BASIS_PATH:31 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 31 (30) case current_BM_value ==> BATTERY_PACK_CHARGING_CURRENT Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_CYCLE_COUNT TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_DESIGN_CAPACITY TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:24 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.032 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.032 TEST.BASIS_PATH:32 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 32 (31) case current_BM_value ==> BATTERY_PACK_CHARGING_VOLTAGE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_DESIGN_CAPACITY TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_DESIGN_VOLTAGE TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:25 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.033 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.033 TEST.BASIS_PATH:33 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 33 (32) case current_BM_value ==> BATTERY_PACK_CYCLE_COUNT Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_DESIGN_VOLTAGE TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_SPECIFICATION_INFO TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:26 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.034 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.034 TEST.BASIS_PATH:34 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 34 (33) case current_BM_value ==> BATTERY_PACK_DESIGN_CAPACITY Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_SPECIFICATION_INFO TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_MANUFACTURE_DATE TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:27 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.035 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.035 TEST.BASIS_PATH:35 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 35 (34) case current_BM_value ==> BATTERY_PACK_DESIGN_VOLTAGE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_MANUFACTURE_DATE TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_REMAINING_CAPACITY5 TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:15 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.036 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.036 TEST.BASIS_PATH:36 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 36 (35) case current_BM_value ==> BATTERY_PACK_SPECIFICATION_INFO Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_SERIAL_NUMBER TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_MANUFACTURER_NAME TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:32 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.037 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.037 TEST.BASIS_PATH:37 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 37 (36) case current_BM_value ==> BATTERY_PACK_MANUFACTURE_DATE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_MANUFACTURER_NAME TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_DEVICE_NAME TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:33 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.038 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.038 TEST.BASIS_PATH:38 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 38 (37) case current_BM_value ==> BATTERY_PACK_SERIAL_NUMBER Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_DEVICE_NAME TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_DEVICE_CHEMISTRY TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:34 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.039 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.039 TEST.BASIS_PATH:39 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 39 (38) case current_BM_value ==> BATTERY_PACK_MANUFACTURER_NAME Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_DEVICE_CHEMISTRY TEST.EXPECTED:Battery.<>.current_BM_value:BEGINNING_OF_LIST TEST.END -- Test Case: getBatteryManagementData.040 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.040 TEST.BASIS_PATH:40 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 40 (39) case current_BM_value ==> BATTERY_PACK_DEVICE_NAME Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_CHARGER_STATUS1 TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_REMAINING_CAPACITY_ALARM TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:1 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.041 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.041 TEST.BASIS_PATH:41 of 50 (template) TEST.NOTES: This is an automatically generated test case. Test Path 41 (40) case current_BM_value ==> BATTERY_PACK_DEVICE_CHEMISTRY Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_CHARGER_STATUS2 TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_AT_RATE_TIME_TO_EMPTY TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:6 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.042 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.042 TEST.BASIS_PATH:42 of 50 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 42 (41) case current_BM_value ==> BATTERY_CHARGER_STATUS1 (46) if ((1) == getBatteryData(0x9, 0x13, &(BatteryStatusData.BatteryChargerStatus))) ==> FALSE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_REMAINING_CAPACITY1 TEST.VALUE:Battery.getBatteryData.return:<> TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_BATTERY_STATUS1 TEST.END -- Test Case: getBatteryManagementData.043 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.043 TEST.BASIS_PATH:43 of 50 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 43 (41) case current_BM_value ==> BATTERY_CHARGER_STATUS1 (46) if ((1) == getBatteryData(0x9, 0x13, &(BatteryStatusData.BatteryChargerStatus))) ==> TRUE (47) if ((0) == (BatteryStatusData.BatteryChargerStatus & (0x8000))) ==> FALSE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_CHARGER_STATUS3 TEST.VALUE:Battery.<>.BatteryStatusData.BatteryChargerStatus:32768 TEST.VALUE:Battery.getBatteryData.return:1 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_MAX_ERROR TEST.EXPECTED:Battery.<>.BatteryStatusData.BatteryChargerStatus:32768 TEST.END -- Test Case: getBatteryManagementData.044 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.044 TEST.BASIS_PATH:44 of 50 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 44 (41) case current_BM_value ==> BATTERY_CHARGER_STATUS1 (46) if ((1) == getBatteryData(0x9, 0x13, &(BatteryStatusData.BatteryChargerStatus))) ==> TRUE (47) if ((0) == (BatteryStatusData.BatteryChargerStatus & (0x8000))) ==> TRUE (48) if ((opMode == (MODE_PRET) || opMode == (MODE_TREA)) || opMode == (MODE_POST)) ==> FALSE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_CHARGER_STATUS4 TEST.VALUE:Battery.<>.BatteryStatusData.BatteryChargerStatus:0 TEST.VALUE:Battery.getBatteryData.return:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_CHARGING_CURRENT TEST.EXPECTED:Battery.<>.BatteryStatusData.BatteryChargerStatus:0 TEST.END -- Test Case: getBatteryManagementData.045 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.045 TEST.BASIS_PATH:45 of 50 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 45 (41) case current_BM_value ==> BATTERY_CHARGER_STATUS1 (46) if ((1) == getBatteryData(0x9, 0x13, &(BatteryStatusData.BatteryChargerStatus))) ==> TRUE (47) if ((0) == (BatteryStatusData.BatteryChargerStatus & (0x8000))) ==> TRUE (48) if ((opMode == (MODE_PRET) || opMode == (MODE_TREA)) || opMode == (MODE_POST)) ==> TRUE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_CHARGER_STATUS5 TEST.VALUE:Battery.<>.BatteryStatusData.BatteryChargerStatus:0 TEST.VALUE:Battery.getBatteryData.return:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_SERIAL_NUMBER TEST.EXPECTED:Battery.<>.BatteryStatusData.BatteryChargerStatus:0 TEST.END -- Test Case: getBatteryManagementData.046 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.046 TEST.BASIS_PATH:46 of 50 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 46 (42) case current_BM_value ==> BATTERY_CHARGER_STATUS2 (46) if ((1) == getBatteryData(0x9, 0x13, &(BatteryStatusData.BatteryChargerStatus))) ==> FALSE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:END_OF_LIST TEST.VALUE:Battery.getBatteryData.return:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.END -- Test Case: getBatteryManagementData.047 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.047 TEST.BASIS_PATH:47 of 50 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 47 (43) case current_BM_value ==> BATTERY_CHARGER_STATUS3 (46) if ((1) == getBatteryData(0x9, 0x13, &(BatteryStatusData.BatteryChargerStatus))) ==> FALSE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.getBatteryData.return:0 TEST.EXPECTED:Battery.getBatteryData.slaveAddr:11 TEST.EXPECTED:Battery.getBatteryData.command:15 TEST.EXPECTED:Battery.getBatteryData.dataPtr[0]:0 TEST.END -- Test Case: getBatteryManagementData.048 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.048 TEST.NOTES: This is an automatically generated test case. Test Path 42 (41) case current_BM_value ==> BATTERY_CHARGER_STATUS1 (46) if ((1) == getBatteryData(0x9, 0x13, &(BatteryStatusData.BatteryChargerStatus))) ==> FALSE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_REMAINING_CAPACITY1 TEST.VALUE:Battery.getBatteryData.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BATTERY_PACK_ERROR_DETECTED TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_BATTERY_STATUS1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BATTERY_PACK_ERROR_DETECTED TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:0 TEST.END -- Test Case: getBatteryManagementData.049 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryManagementData TEST.NEW TEST.NAME:getBatteryManagementData.049 TEST.NOTES: This is an automatically generated test case. Test Path 42 (41) case current_BM_value ==> BATTERY_CHARGER_STATUS1 (46) if ((1) == getBatteryData(0x9, 0x13, &(BatteryStatusData.BatteryChargerStatus))) ==> FALSE Test Case Generation Notes: Cannot set current_BM_value due to assignment TEST.END_NOTES: TEST.STUB:Battery.getBatteryData TEST.VALUE:Battery.<>.current_BM_value:BATTERY_PACK_REMAINING_CAPACITY1 TEST.VALUE:Battery.<>.BatteryStatusData.BatteryStatus:1 TEST.VALUE:Battery.getBatteryData.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BATTERY_PACK_ERROR_DETECTED TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.EXPECTED:Battery.<>.current_BM_value:BATTERY_PACK_BATTERY_STATUS1 TEST.EXPECTED:Battery.<>.BatteryStatusData.BatteryStatus:1 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.alarmIndex:ALARM_ID_HD_BATTERY_PACK_ERROR_DETECTED TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.isErrorOccurred:1 TEST.END -- Subprogram: getBatteryRemainingCapacity_mWh -- Test Case: getBatteryRemainingCapacity_mWh TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryRemainingCapacity_mWh TEST.NEW TEST.NAME:getBatteryRemainingCapacity_mWh TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1389 TEST.VALUE:Battery.<>.batteryRemCapacity_mAh.data:100.0 >>> >>> Unknown parameter/object name batteryRemCapacity_mAh >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1390 TEST.VALUE:Battery.<>.batteryRemCapacity_mAh.override:<> >>> >>> Unknown parameter/object name batteryRemCapacity_mAh >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1391 TEST.EXPECTED:Battery.<>.batteryRemCapacity_mAh.override:0 >>> >>> Unknown parameter/object name batteryRemCapacity_mAh >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.EXPECTED:Battery.getBatteryRemainingCapacity_mWh.return:0.0 TEST.END -- Test Case: getBatteryRemainingCapacity_mWh.001 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryRemainingCapacity_mWh TEST.NEW TEST.NAME:getBatteryRemainingCapacity_mWh.001 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.<>.batteryRemCapacity_mWh.ovData:100.0 TEST.VALUE:Battery.<>.batteryRemCapacity_mWh.override:0xCCC33C33 TEST.EXPECTED:Battery.getBatteryRemainingCapacity_mWh.return:100.0 TEST.END -- Subprogram: getBatteryStatus -- Test Case: getBatteryStatus.001 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryStatus TEST.NEW TEST.NAME:getBatteryStatus.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (0xccc33c33U == batteryStatus.override) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Battery.<>.batteryStatus.override:<> TEST.EXPECTED:Battery.<>.batteryStatus.override:0 TEST.END -- Test Case: getBatteryStatus.002 TEST.UNIT:Battery TEST.SUBPROGRAM:getBatteryStatus TEST.NEW TEST.NAME:getBatteryStatus.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (0xccc33c33U == batteryStatus.override) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Battery.<>.batteryStatus.override:3435346995 TEST.EXPECTED:Battery.<>.batteryStatus.override:3435346995 TEST.END -- Subprogram: getData -- Test Case: getData TEST.UNIT:Battery TEST.SUBPROGRAM:getData TEST.NEW TEST.NAME:getData 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:<> TEST.VALUE:Battery.getData.dataPtr:<> TEST.EXPECTED:Battery.getData.return:1 TEST.END -- Test Case: getData.001 TEST.UNIT:Battery TEST.SUBPROGRAM:getData TEST.NEW TEST.NAME:getData.001 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:0 TEST.VALUE:Battery.getData.command:<> TEST.VALUE:Battery.getData.dataPtr:<> TEST.EXPECTED:Battery.getData.command:0 TEST.EXPECTED:Battery.getData.return:0 TEST.END -- Test Case: getData.002 TEST.UNIT:Battery TEST.SUBPROGRAM:getData TEST.NEW TEST.NAME:getData.002 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:<> TEST.VALUE:Battery.getData.dataPtr:<> TEST.EXPECTED:Battery.getData.return:1 TEST.END -- Test Case: getData.003 TEST.UNIT:Battery TEST.SUBPROGRAM:getData TEST.NEW TEST.NAME:getData.003 TEST.BASIS_PATH:1 of 7 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == waitForTxReady()) ==> FALSE (2) if ((1) == waitForTxReady()) ==> FALSE (5) if ((0) == result) ==> FALSE Test Case Generation Notes: Cannot set local variable result in branch 5 TEST.END_NOTES: TEST.STUB:Battery.waitForTxReady TEST.VALUE:Battery.waitForTxReady.return:<> TEST.VALUE:Battery.getData.command:<> TEST.VALUE:Battery.getData.dataPtr:<> TEST.EXPECTED:Battery.getData.command:0 TEST.END -- Test Case: getData.004 TEST.UNIT:Battery TEST.SUBPROGRAM:getData TEST.NEW TEST.NAME:getData.004 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1516 TEST.VALUE:Battery.<>.commFaultPersistentCount:6 >>> >>> Unknown parameter/object name commFaultPersistentCount >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1521 TEST.EXPECTED:Battery.<>.commFaultPersistentCount:7 >>> >>> Unknown parameter/object name commFaultPersistentCount >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1597 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_BATTERY_COMM_FAULT >>> >>> Could not find function activateAlarm1Data >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1598 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 >>> >>> Could not find function activateAlarm1Data >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1599 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:10 >>> >>> Could not find function activateAlarm1Data >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1603 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_BATTERY_COMM_FAULT >>> >>> Could not find function activateAlarm1Data >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1604 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 >>> >>> Could not find function activateAlarm1Data >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == waitForTxReady()) ==> FALSE (2) if ((1) == waitForTxReady()) ==> FALSE (5) if ((0) == result) ==> FALSE Test Case Generation Notes: Cannot set local variable result in branch 5 TEST.END_NOTES: TEST.STUB:Battery.waitForTxReady TEST.VALUE:Battery.waitForTxReady.return:<> TEST.VALUE:Battery.getData.command:<> TEST.VALUE:Battery.getData.dataPtr:<> TEST.VALUE:Battery.getData.dataPtr[0]:10 TEST.EXPECTED:Battery.getData.command:0 TEST.EXPECTED:Battery.getData.dataPtr[0]:10 TEST.END -- Test Case: getData.005 TEST.UNIT:Battery TEST.SUBPROGRAM:getData TEST.NEW TEST.NAME:getData.005 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,0 TEST.VALUE:Battery.getData.command:<> TEST.VALUE:Battery.getData.dataPtr:<> TEST.EXPECTED:Battery.getData.command:0 TEST.EXPECTED:Battery.getData.return:0 TEST.END -- Subprogram: getI2CStatusRegister -- Test Case: getI2CStatusRegister.001 TEST.UNIT:Battery TEST.SUBPROGRAM:getI2CStatusRegister TEST.NEW TEST.NAME:getI2CStatusRegister.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (0xccc33c33U == batteryI2CStatusRegister.override) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Battery.<>.prt_i2cBase:<> TEST.VALUE:Battery.<>.batteryI2CStatusRegister.override:<> TEST.EXPECTED:Battery.<>.batteryI2CStatusRegister.override:0 TEST.END -- Test Case: getI2CStatusRegister.002 TEST.UNIT:Battery TEST.SUBPROGRAM:getI2CStatusRegister TEST.NEW TEST.NAME:getI2CStatusRegister.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (0xccc33c33U == batteryI2CStatusRegister.override) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Battery.<>.prt_i2cBase:<> TEST.VALUE:Battery.<>.batteryI2CStatusRegister.override:3435346995 TEST.EXPECTED:Battery.<>.batteryI2CStatusRegister.override:3435346995 TEST.END -- Subprogram: initBattery -- Test Case: initBattery TEST.UNIT:Battery TEST.SUBPROGRAM:initBattery TEST.NEW TEST.NAME:initBattery TEST.IMPORT_FAILURES: (I) @LINE: 1672 >>> 'BATT_STATUS_ERROR_PERSIST_MS' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) >>> (I) @LINE: 1651 >>> >>> 'BATT_STATUS_ERROR_PERSIST_MS' was specified as a macro, but it is in the symbol dictionary. >>> (E) @LINE: 1653 TEST.EXPECTED:Battery.<>.commFaultPersistentCount:0 >>> >>> Unknown parameter/object name commFaultPersistentCount >>> >>> Value Line Error - Command Ignored >>> (I) @LINE: 1689 >>> >>> 'BATT_STATUS_ERROR_PERSIST_MS' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 1702 >>> >>> 'BATT_STATUS_ERROR_PERSIST_MS' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 1584 >>> >>> 'BATT_STATUS_ERROR_PERSIST_MS' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 1557 >>> >>> 'BATT_STATUS_ERROR_PERSIST_MS' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 1547 >>> >>> 'BATT_STATUS_ERROR_PERSIST_MS' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 976 >>> >>> 'BATT_STATUS_ERROR_PERSIST_MS' was specified as a macro, but it is in the symbol dictionary. >>> (E) @LINE: 501 TEST.EXPECTED:Battery.<>.batteryStatus:0 >>> >>> Unknown parameter/object name batteryStatus >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 502 TEST.EXPECTED:Battery.<>.batteryRelStateOfCharge_pct:0 >>> >>> Unknown parameter/object name batteryRelStateOfCharge_pct >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 503 TEST.EXPECTED:Battery.<>.batteryPackStatus:0 >>> >>> Unknown parameter/object name batteryPackStatus >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 505 TEST.EXPECTED:Battery.<>.lostACPowerPersistentCount:0 >>> >>> Unknown parameter/object name lostACPowerPersistentCount >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 506 TEST.EXPECTED:Battery.<>.hasBatteryChargerStatus:0 >>> >>> Unknown parameter/object name hasBatteryChargerStatus >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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:MACRO=BATT_STATUS_ERROR_PERSIST_MS TEST.EXPECTED:Battery.<>.lastBatteryMonitorTime:0 TEST.END -- Subprogram: isACPowerLost -- Test Case: isACPowerLost.001 TEST.UNIT:Battery TEST.SUBPROGRAM:isACPowerLost TEST.NEW TEST.NAME:isACPowerLost.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((0) == isAlarmConditionDetected(ALARM_ID_HD_AC_POWER_LOST) && (0) == isAlarmConditionDetected(ALARM_ID_HD_AC_POWER_LOST_IN_TREATMENT)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isAlarmConditionDetected.return:1 TEST.END -- Test Case: isACPowerLost.002 TEST.UNIT:Battery TEST.SUBPROGRAM:isACPowerLost TEST.NEW TEST.NAME:isACPowerLost.002 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((0) == isAlarmConditionDetected(ALARM_ID_HD_AC_POWER_LOST) && (0) == isAlarmConditionDetected(ALARM_ID_HD_AC_POWER_LOST_IN_TREATMENT)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isAlarmConditionDetected.alarm:ALARM_ID_HD_AC_POWER_LOST TEST.VALUE:uut_prototype_stubs.isAlarmConditionDetected.return:0 TEST.END -- Test Case: isACPowerLost.003 TEST.UNIT:Battery TEST.SUBPROGRAM:isACPowerLost TEST.NEW TEST.NAME:isACPowerLost.003 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((0) == isAlarmConditionDetected(ALARM_ID_HD_AC_POWER_LOST) && (0) == isAlarmConditionDetected(ALARM_ID_HD_AC_POWER_LOST_IN_TREATMENT)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isAlarmConditionDetected.alarm:ALARM_ID_HD_AC_POWER_LOST,ALARM_ID_HD_AC_POWER_LOST_IN_TREATMENT TEST.VALUE:uut_prototype_stubs.isAlarmConditionDetected.return:0,1 TEST.END -- Subprogram: isBatteryCharged -- Test Case: Subprogram TEST.UNIT:Battery TEST.SUBPROGRAM:isBatteryCharged TEST.NEW TEST.NAME:Subprogram 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.STUB:Battery.getBatteryRemainingCapacity_mWh TEST.VALUE:Battery.getBatteryRemainingCapacity_mWh.return:5001.0 TEST.EXPECTED:Battery.isBatteryCharged.return:1 TEST.END -- Test Case: isBatteryCharged TEST.UNIT:Battery TEST.SUBPROGRAM:isBatteryCharged TEST.NEW TEST.NAME:isBatteryCharged TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (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:<> >>> >>> 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:0 TEST.END -- Subprogram: publishBatteryManagementData -- Test Case: publishBatteryManagementData.001 TEST.UNIT:Battery TEST.SUBPROGRAM:publishBatteryManagementData TEST.NEW TEST.NAME:publishBatteryManagementData.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_BATTERY_MANAGEMENT_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:116 TEST.END -- Subprogram: publishBatteryStatusData -- Test Case: publishBatteryStatusData.001 TEST.UNIT:Battery TEST.SUBPROGRAM:publishBatteryStatusData TEST.NEW TEST.NAME:publishBatteryStatusData.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.STUB:Battery.getI2CStatusRegister TEST.STUB:Battery.getBatteryRemainingCapacity_mWh TEST.STUB:Battery.getBatteryStatus TEST.STUB:Battery.getBatteryChargerStatus TEST.VALUE:Battery.getI2CStatusRegister.return:10 TEST.VALUE:Battery.getBatteryRemainingCapacity_mWh.return:50.0 TEST.VALUE:Battery.getBatteryStatus.return:10 TEST.VALUE:Battery.getBatteryChargerStatus.return:10 TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_BATTERY_STATUS_DATA TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.VALUE:uut_prototype_stubs.broadcastData.dataPtr:"2" TEST.VALUE:uut_prototype_stubs.broadcastData.length:12 TEST.VALUE:uut_prototype_stubs.broadcastData.return:0 TEST.EXPECTED:Battery.<>.BatteryStatusData.RemainingCapacity:0 TEST.EXPECTED:Battery.<>.BatteryStatusData.BatteryStatus:0 TEST.EXPECTED:Battery.<>.BatteryStatusData.BatteryChargerStatus:0 TEST.EXPECTED:Battery.<>.BatteryStatusData.BatteryI2CStatus:0 TEST.END -- Subprogram: setupI2CDriver -- Test Case: setupI2CDriver TEST.UNIT:Battery TEST.SUBPROGRAM:setupI2CDriver TEST.NEW TEST.NAME:setupI2CDriver TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.VALUE:Battery.<>.prt_i2cBase:<> TEST.VALUE:Battery.<>.prt_i2cBase[0].MDR:1 TEST.EXPECTED:Battery.<>.prt_i2cBase[0].MDR:1696 TEST.END -- Subprogram: startCommTx -- Test Case: startCommTx TEST.UNIT:Battery TEST.SUBPROGRAM:startCommTx TEST.NEW TEST.NAME:startCommTx TEST.STUB:Battery.waitForAccessReady TEST.VALUE:Battery.<>.prt_i2cBase:<> TEST.VALUE:Battery.<>.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.001 TEST.UNIT:Battery TEST.SUBPROGRAM:startCommTx TEST.NEW TEST.NAME:startCommTx.001 TEST.BASIS_PATH:3 of 6 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (0 == i2cIsBusBusy(prt_i2cBase)) ==> TRUE (2) if ((1) == waitForAccessReady()) ==> FALSE (5) if ((0) == result) ==> FALSE Test Case Generation Notes: Cannot set local variable result in branch 5 TEST.END_NOTES: TEST.STUB:Battery.setupI2CDriver TEST.STUB:Battery.waitForAccessReady TEST.VALUE:Battery.waitForAccessReady.return:<> TEST.VALUE:Battery.startCommTx.slaveAddr:<> TEST.VALUE:uut_prototype_stubs.i2cIsBusBusy.return:false TEST.EXPECTED:Battery.startCommTx.return:0 TEST.END -- Test Case: startCommTx.002 TEST.UNIT:Battery TEST.SUBPROGRAM:startCommTx TEST.NEW TEST.NAME:startCommTx.002 TEST.BASIS_PATH:5 of 6 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (0 == i2cIsBusBusy(prt_i2cBase)) ==> TRUE (2) if ((1) == waitForAccessReady()) ==> TRUE (3) if ((0) == (prt_i2cBase->STR & ((U32)I2C_NACK | (U32)I2C_AL))) ==> FALSE (4) if (++commFaultPersistentCount > (5)) ==> TRUE (5) if ((0) == result) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 4 Cannot set local variable result in branch 5 TEST.END_NOTES: TEST.STUB:Battery.waitForAccessReady TEST.VALUE:Battery.<>.prt_i2cBase:<> TEST.VALUE:Battery.<>.prt_i2cBase[0].STR:3 TEST.VALUE:Battery.waitForAccessReady.return:1 TEST.VALUE:Battery.startCommTx.slaveAddr:<> TEST.VALUE:uut_prototype_stubs.i2cIsBusBusy.return:false TEST.EXPECTED:Battery.<>.prt_i2cBase[0].STR:3 TEST.END -- Test Case: startCommTx.003 TEST.UNIT:Battery TEST.SUBPROGRAM:startCommTx TEST.NEW TEST.NAME:startCommTx.003 TEST.BASIS_PATH:6 of 6 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (0 == i2cIsBusBusy(prt_i2cBase)) ==> TRUE (2) if ((1) == waitForAccessReady()) ==> TRUE (3) if ((0) == (prt_i2cBase->STR & ((U32)I2C_NACK | (U32)I2C_AL))) ==> TRUE (5) if ((0) == result) ==> FALSE Test Case Generation Notes: Cannot set result due to assignment TEST.END_NOTES: TEST.STUB:Battery.waitForAccessReady TEST.VALUE:Battery.<>.prt_i2cBase:<> TEST.VALUE:Battery.<>.prt_i2cBase[0].STR:0 TEST.VALUE:Battery.waitForAccessReady.return:1 TEST.VALUE:Battery.startCommTx.slaveAddr:<> TEST.VALUE:uut_prototype_stubs.i2cIsBusBusy.return:false TEST.EXPECTED:Battery.<>.prt_i2cBase[0].STR:0 TEST.EXPECTED:Battery.startCommTx.slaveAddr:0 TEST.END -- Test Case: startCommTx.004 TEST.UNIT:Battery TEST.SUBPROGRAM:startCommTx TEST.NEW TEST.NAME:startCommTx.004 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1927 TEST.VALUE:Battery.<>.commFaultPersistentCount:6 >>> >>> Unknown parameter/object name commFaultPersistentCount >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1933 TEST.EXPECTED:Battery.<>.commFaultPersistentCount:7 >>> >>> Unknown parameter/object name commFaultPersistentCount >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (0 == i2cIsBusBusy(prt_i2cBase)) ==> TRUE (2) if ((1) == waitForAccessReady()) ==> TRUE (3) if ((0) == (prt_i2cBase->STR & ((U32)I2C_NACK | (U32)I2C_AL))) ==> TRUE (5) if ((0) == result) ==> FALSE Test Case Generation Notes: Cannot set result due to assignment TEST.END_NOTES: TEST.STUB:Battery.waitForAccessReady TEST.STUB:Battery.generateStopCondition TEST.VALUE:Battery.<>.prt_i2cBase:<> TEST.VALUE:Battery.<>.prt_i2cBase[0].STR:0 TEST.VALUE:Battery.waitForAccessReady.return:1 TEST.VALUE:Battery.startCommTx.slaveAddr:<> TEST.VALUE:uut_prototype_stubs.i2cIsBusBusy.i2c[0].STR:1 TEST.VALUE:uut_prototype_stubs.i2cIsBusBusy.return:false TEST.EXPECTED:Battery.<>.prt_i2cBase[0].STR:1 TEST.EXPECTED:Battery.startCommTx.slaveAddr:0 TEST.EXPECTED:uut_prototype_stubs.i2cIsBusBusy.i2c[0].STR:0 TEST.END -- Subprogram: testResetBatteryChargerStatusOverride -- Test Case: testResetBatteryChargerStatusOverride.001 TEST.UNIT:Battery TEST.SUBPROGRAM:testResetBatteryChargerStatusOverride TEST.NEW TEST.NAME:testResetBatteryChargerStatusOverride.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Test Case: testResetBatteryChargerStatusOverride.002 TEST.UNIT:Battery TEST.SUBPROGRAM:testResetBatteryChargerStatusOverride TEST.NEW TEST.NAME:testResetBatteryChargerStatusOverride.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Subprogram: testResetBatteryI2CStatusOverride -- Test Case: testResetBatteryI2CStatusOverride.001 TEST.UNIT:Battery TEST.SUBPROGRAM:testResetBatteryI2CStatusOverride TEST.NEW TEST.NAME:testResetBatteryI2CStatusOverride.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Test Case: testResetBatteryI2CStatusOverride.002 TEST.UNIT:Battery TEST.SUBPROGRAM:testResetBatteryI2CStatusOverride TEST.NEW TEST.NAME:testResetBatteryI2CStatusOverride.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Subprogram: testResetBatteryRemainingCapacityOverride -- Test Case: testResetBatteryRemainingCapacityOverride.001 TEST.UNIT:Battery TEST.SUBPROGRAM:testResetBatteryRemainingCapacityOverride TEST.NEW TEST.NAME:testResetBatteryRemainingCapacityOverride.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Test Case: testResetBatteryRemainingCapacityOverride.002 TEST.UNIT:Battery TEST.SUBPROGRAM:testResetBatteryRemainingCapacityOverride TEST.NEW TEST.NAME:testResetBatteryRemainingCapacityOverride.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Subprogram: testResetBatteryStatusOverride -- Test Case: testResetBatteryStatusOverride.001 TEST.UNIT:Battery TEST.SUBPROGRAM:testResetBatteryStatusOverride TEST.NEW TEST.NAME:testResetBatteryStatusOverride.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Test Case: testResetBatteryStatusOverride.002 TEST.UNIT:Battery TEST.SUBPROGRAM:testResetBatteryStatusOverride TEST.NEW TEST.NAME:testResetBatteryStatusOverride.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Subprogram: testSetBatteryChargerStatusOverride -- Test Case: testSetBatteryChargerStatusOverride.001 TEST.UNIT:Battery TEST.SUBPROGRAM:testSetBatteryChargerStatusOverride TEST.NEW TEST.NAME:testSetBatteryChargerStatusOverride.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Battery.testSetBatteryChargerStatusOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:Battery.testSetBatteryChargerStatusOverride.value:0 TEST.END -- Test Case: testSetBatteryChargerStatusOverride.002 TEST.UNIT:Battery TEST.SUBPROGRAM:testSetBatteryChargerStatusOverride TEST.NEW TEST.NAME:testSetBatteryChargerStatusOverride.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Battery.testSetBatteryChargerStatusOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Battery.testSetBatteryChargerStatusOverride.value:0 TEST.END -- Subprogram: testSetBatteryI2CStatusOverride -- Test Case: testSetBatteryI2CStatusOverride.001 TEST.UNIT:Battery TEST.SUBPROGRAM:testSetBatteryI2CStatusOverride TEST.NEW TEST.NAME:testSetBatteryI2CStatusOverride.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Battery.testSetBatteryI2CStatusOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:Battery.testSetBatteryI2CStatusOverride.value:0 TEST.END -- Test Case: testSetBatteryI2CStatusOverride.002 TEST.UNIT:Battery TEST.SUBPROGRAM:testSetBatteryI2CStatusOverride TEST.NEW TEST.NAME:testSetBatteryI2CStatusOverride.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Battery.testSetBatteryI2CStatusOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Battery.testSetBatteryI2CStatusOverride.value:0 TEST.END -- Subprogram: testSetBatteryRemainingCapacityOverride -- Test Case: testSetBatteryRemainingCapacityOverride.001 TEST.UNIT:Battery TEST.SUBPROGRAM:testSetBatteryRemainingCapacityOverride TEST.NEW TEST.NAME:testSetBatteryRemainingCapacityOverride.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Battery.testSetBatteryRemainingCapacityOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:Battery.testSetBatteryRemainingCapacityOverride.value:-3.40282E+38 TEST.END -- Test Case: testSetBatteryRemainingCapacityOverride.002 TEST.UNIT:Battery TEST.SUBPROGRAM:testSetBatteryRemainingCapacityOverride TEST.NEW TEST.NAME:testSetBatteryRemainingCapacityOverride.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Battery.testSetBatteryRemainingCapacityOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Battery.testSetBatteryRemainingCapacityOverride.value:-3.40282E+38 TEST.END -- Subprogram: testSetBatteryStatusOverride -- Test Case: testSetBatteryStatusOverride.001 TEST.UNIT:Battery TEST.SUBPROGRAM:testSetBatteryStatusOverride TEST.NEW TEST.NAME:testSetBatteryStatusOverride.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Battery.testSetBatteryStatusOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:Battery.testSetBatteryStatusOverride.value:0 TEST.END -- Test Case: testSetBatteryStatusOverride.002 TEST.UNIT:Battery TEST.SUBPROGRAM:testSetBatteryStatusOverride TEST.NEW TEST.NAME:testSetBatteryStatusOverride.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Battery.testSetBatteryStatusOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Subprogram: waitForAccessReady -- Test Case: waitForAccessReady TEST.UNIT:Battery TEST.SUBPROGRAM:waitForAccessReady TEST.NEW TEST.NAME:waitForAccessReady TEST.VALUE:Battery.<>.prt_i2cBase:<> TEST.VALUE:Battery.<>.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.001 TEST.UNIT:Battery TEST.SUBPROGRAM:waitForAccessReady TEST.NEW TEST.NAME:waitForAccessReady.001 TEST.BASIS_PATH:3 of 3 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) while ((0) == (prt_i2cBase->STR & (U32)I2C_ARDY) && (0) == timeout) ==> TRUE (2) if ((1) == timeout) ==> FALSE Test Case Generation Notes: Cannot set local variable timeout in branch 1 TEST.END_NOTES: TEST.VALUE:Battery.<>.prt_i2cBase:<> TEST.VALUE:Battery.<>.prt_i2cBase[0].STR:0 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:Battery.<>.prt_i2cBase[0].STR:0 TEST.END -- Test Case: waitForAccessReady.002 TEST.UNIT:Battery TEST.SUBPROGRAM:waitForAccessReady TEST.NEW TEST.NAME:waitForAccessReady.002 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) while ((0) == (prt_i2cBase->STR & (U32)I2C_ARDY) && (0) == timeout) ==> TRUE (2) if ((1) == timeout) ==> FALSE Test Case Generation Notes: Cannot set local variable timeout in branch 1 TEST.END_NOTES: TEST.VALUE:Battery.<>.prt_i2cBase:<> TEST.VALUE:Battery.<>.prt_i2cBase[0].STR:0 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:Battery.<>.prt_i2cBase[0].STR:0 TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:0 TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:2 TEST.END -- Subprogram: waitForRxReady -- Test Case: waitForRxReady TEST.UNIT:Battery TEST.SUBPROGRAM:waitForRxReady TEST.NEW TEST.NAME:waitForRxReady 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:(2)10 TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:(2)2 TEST.END -- Test Case: waitForRxReady.001 TEST.UNIT:Battery TEST.SUBPROGRAM:waitForRxReady TEST.NEW TEST.NAME:waitForRxReady.001 TEST.BASIS_PATH:1 of 3 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) while ((0) == i2cIsRxReady(prt_i2cBase) && (0) == timeout) ==> FALSE (2) if ((1) == timeout) ==> FALSE Test Case Generation Notes: Cannot set local variable timeout in branch 1 Cannot set local variable timeout in branch 2 TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.i2cIsRxReady.return:1 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10 TEST.END -- Subprogram: waitForTxReady -- Test Case: waitForTxReady TEST.UNIT:Battery TEST.SUBPROGRAM:waitForTxReady TEST.NEW TEST.NAME:waitForTxReady 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:(2)10 TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:(2)2 TEST.END -- Test Case: waitForTxReady.001 TEST.UNIT:Battery TEST.SUBPROGRAM:waitForTxReady TEST.NEW TEST.NAME:waitForTxReady.001 TEST.BASIS_PATH:1 of 3 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) while ((0) == i2cIsTxReady(prt_i2cBase) && (0) == timeout) ==> FALSE (2) if ((1) == timeout) ==> FALSE Test Case Generation Notes: Cannot set local variable timeout in branch 1 Cannot set local variable timeout in branch 2 TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.i2cIsTxReady.return:1 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:100 TEST.END