Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_NVDATAMGMT/INT_NVDATAMGMT.env =================================================================== diff -u -rd582f46f70e37a65f3d47b0bfbbe7333a12fd1ca -r6469250222684af1c14c2bb9db35f9c6df637ad3 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_NVDATAMGMT/INT_NVDATAMGMT.env (.../INT_NVDATAMGMT.env) (revision d582f46f70e37a65f3d47b0bfbbe7333a12fd1ca) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_NVDATAMGMT/INT_NVDATAMGMT.env (.../INT_NVDATAMGMT.env) (revision 6469250222684af1c14c2bb9db35f9c6df637ad3) @@ -8,4 +8,26 @@ ENVIRO.STUB: ALL_BY_PROTOTYPE ENVIRO.TYPE_HANDLED_DIRS_ALLOWED: ENVIRO.LIBRARY_STUBS: +ENVIRO.UNIT_PREFIX_USER_CODE: +ENVIRO.UNIT_PREFIX_USER_CODE_FILE:NVDataMgmt +#include "F021.h" + +uint8_t FSMStatus; +#undef FAPI_CHECK_FSM_READY_BUSY +#define FAPI_CHECK_FSM_READY_BUSY FSMStatus +ENVIRO.END_UNIT_PREFIX_USER_CODE_FILE: +ENVIRO.END_UNIT_PREFIX_USER_CODE: +ENVIRO.COVERAGE_TYPE: FUNCTION +ENVIRO.WHITE_BOX: YES +ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/include/ +ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/source/ +ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/App/ +ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/App/Controllers/ +ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/App/Drivers/ +ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/App/Modes/ +ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/App/Services/ +ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/App/Tasks/ +ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/FWCommon/ +ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/Common/ +ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/FWCommon/FlashDrvr/ ENVIRO.END Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_NVDATAMGMT/INT_NVDATAMGMT.tst =================================================================== diff -u -rd582f46f70e37a65f3d47b0bfbbe7333a12fd1ca -r6469250222684af1c14c2bb9db35f9c6df637ad3 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_NVDATAMGMT/INT_NVDATAMGMT.tst (.../INT_NVDATAMGMT.tst) (revision d582f46f70e37a65f3d47b0bfbbe7333a12fd1ca) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_NVDATAMGMT/INT_NVDATAMGMT.tst (.../INT_NVDATAMGMT.tst) (revision 6469250222684af1c14c2bb9db35f9c6df637ad3) @@ -17,30 +17,233 @@ -- Subprogram: execInitAndPOSTMode --- Test Case: NVDataMgmt_POST +-- Test Case: NVDataMgmt_SelfTest_Check_CRC TEST.UNIT:ModeInitPOST TEST.SUBPROGRAM:execInitAndPOSTMode TEST.NEW -TEST.NAME:NVDataMgmt_POST +TEST.NAME:NVDataMgmt_SelfTest_Check_CRC +TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_NVDATAMGMT +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_CHECK_CRC +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_COMPLETE +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_PASSED +TEST.END + +-- Test Case: NVDataMgmt_SelfTest_Enable_EEPROM +TEST.UNIT:ModeInitPOST +TEST.SUBPROGRAM:execInitAndPOSTMode +TEST.NEW +TEST.NAME:NVDataMgmt_SelfTest_Enable_EEPROM +TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_NVDATAMGMT +TEST.VALUE:NVDataMgmt.<>.FSMStatus:1 +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_ENABLE_EEPROM +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_ENABLE_EEPROM +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS +TEST.END + +-- Test Case: NVDataMgmt_SelfTest_Read_Bootloader_Flag +TEST.UNIT:ModeInitPOST +TEST.SUBPROGRAM:execInitAndPOSTMode +TEST.NEW +TEST.NAME:NVDataMgmt_SelfTest_Read_Bootloader_Flag +TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_NVDATAMGMT +TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE +TEST.VALUE:uut_prototype_stubs.getRTCRAMState.return:RTC_RAM_STATE_READY +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_BOOTLOADER_FLAG +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_WATER_CONSUMPTION +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS +TEST.END + +-- Test Case: NVDataMgmt_SelfTest_Read_Cal_Record +TEST.UNIT:ModeInitPOST +TEST.SUBPROGRAM:execInitAndPOSTMode +TEST.NEW +TEST.NAME:NVDataMgmt_SelfTest_Read_Cal_Record +TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_NVDATAMGMT +TEST.VALUE:uut_prototype_stubs.getRTCRAMState.return:RTC_RAM_STATE_READY +TEST.VALUE:NVDataMgmt.<>.FSMStatus:2 +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_CAL_RECORD +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_SERVICE_RECORD +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS +TEST.END + +-- Test Case: NVDataMgmt_SelfTest_Read_DG_Water_Consumption +TEST.UNIT:ModeInitPOST +TEST.SUBPROGRAM:execInitAndPOSTMode +TEST.NEW +TEST.NAME:NVDataMgmt_SelfTest_Read_DG_Water_Consumption +TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_NVDATAMGMT +TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE +TEST.VALUE:uut_prototype_stubs.getRTCRAMState.return:RTC_RAM_STATE_READY +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_WATER_CONSUMPTION +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_LOG_RECORD +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS +TEST.END + +-- Test Case: NVDataMgmt_SelfTest_Read_Disinfection_Record +TEST.UNIT:ModeInitPOST +TEST.SUBPROGRAM:execInitAndPOSTMode +TEST.NEW +TEST.NAME:NVDataMgmt_SelfTest_Read_Disinfection_Record +TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_NVDATAMGMT +TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_LAST_DISINFECTION_DATE +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_CHECK_CRC +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS +TEST.END + +-- Test Case: NVDataMgmt_SelfTest_Read_HD_Treatment_Time +TEST.UNIT:ModeInitPOST +TEST.SUBPROGRAM:execInitAndPOSTMode +TEST.NEW +TEST.NAME:NVDataMgmt_SelfTest_Read_HD_Treatment_Time +TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_NVDATAMGMT +TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE +TEST.VALUE:uut_prototype_stubs.getRTCRAMState.return:RTC_RAM_STATE_READY +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_TREATMENT_TIME +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_LOG_RECORD +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS +TEST.END + +-- Test Case: NVDataMgmt_SelfTest_Read_Log_Record +TEST.UNIT:ModeInitPOST +TEST.SUBPROGRAM:execInitAndPOSTMode +TEST.NEW +TEST.NAME:NVDataMgmt_SelfTest_Read_Log_Record +TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_NVDATAMGMT +TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_LOG_RECORD +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_MFG_RECORD +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS +TEST.END + +-- Test Case: NVDataMgmt_SelfTest_Read_Mfg_Record +TEST.UNIT:ModeInitPOST +TEST.SUBPROGRAM:execInitAndPOSTMode +TEST.NEW +TEST.NAME:NVDataMgmt_SelfTest_Read_Mfg_Record +TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_NVDATAMGMT +TEST.VALUE:NVDataMgmt.<>.FSMStatus:2 +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_MFG_RECORD +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_CAL_RECORD +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS +TEST.END + +-- Test Case: NVDataMgmt_SelfTest_Read_Srvc_Record +TEST.UNIT:ModeInitPOST +TEST.SUBPROGRAM:execInitAndPOSTMode +TEST.NEW +TEST.NAME:NVDataMgmt_SelfTest_Read_Srvc_Record +TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_NVDATAMGMT +TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE +TEST.VALUE:uut_prototype_stubs.getRTCRAMState.return:RTC_RAM_STATE_READY +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_SERVICE_RECORD +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_LAST_DISINFECTION_DATE +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS +TEST.END + +-- Test Case: NVDataMgmt_SelfTest_Start +TEST.UNIT:ModeInitPOST +TEST.SUBPROGRAM:execInitAndPOSTMode +TEST.NEW +TEST.NAME:NVDataMgmt_SelfTest_Start +TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_NVDATAMGMT TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_START TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS -TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_START +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_ENABLE_EEPROM TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS TEST.END -- Unit: TaskBG -- Subprogram: taskBackground --- Test Case: NVDataMgmt_Exec +-- Test Case: NVDataMgmt_Exec_Erase TEST.UNIT:TaskBG TEST.SUBPROGRAM:taskBackground TEST.NEW -TEST.NAME:NVDataMgmt_Exec +TEST.NAME:NVDataMgmt_Exec_Erase +TEST.VALUE:NVDataMgmt.<>.FSMStatus:2 +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtExecState:NVDATAMGMT_EXEC_STATE_ERASE_EEPROM +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtExecState:NVDATAMGMT_EXEC_STATE_IDLE +TEST.END + +-- Test Case: NVDataMgmt_Exec_Idle +TEST.UNIT:TaskBG +TEST.SUBPROGRAM:taskBackground +TEST.NEW +TEST.NAME:NVDataMgmt_Exec_Idle +TEST.VALUE:NVDataMgmt.<>.jobQueue[0].memoryOperation:NVDATAMGMT_WRITE +TEST.VALUE:NVDataMgmt.<>.jobQueue[0].memoryLocation:NVDATAMGMT_EEPROM +TEST.VALUE:NVDataMgmt.<>.queueFrontIndex:0 +TEST.VALUE:NVDataMgmt.<>.queueCount:1 +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtExecState:NVDATAMGMT_EXEC_STATE_IDLE +TEST.EXPECTED:NVDataMgmt.<>.queueCount:0 +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtExecState:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM +TEST.END + +-- Test Case: NVDataMgmt_Exec_Read +TEST.UNIT:TaskBG +TEST.SUBPROGRAM:taskBackground +TEST.NEW +TEST.NAME:NVDataMgmt_Exec_Read +TEST.VALUE:NVDataMgmt.<>.FSMStatus:2 +TEST.VALUE:NVDataMgmt.<>.currentJob.externalAddress:<> +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtExecState:NVDATAMGMT_EXEC_STATE_READ_FROM_EEPROM +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtExecState:NVDATAMGMT_EXEC_STATE_IDLE +TEST.END + +-- Test Case: NVDataMgmt_Exec_Read_From_RTC_RAM +TEST.UNIT:TaskBG +TEST.SUBPROGRAM:taskBackground +TEST.NEW +TEST.NAME:NVDataMgmt_Exec_Read_From_RTC_RAM +TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE +TEST.VALUE:NVDataMgmt.<>.currentJob.externalAddress:<> +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtExecState:NVDATAMGMT_EXEC_STATE_READ_FROM_RTC +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtExecState:NVDATAMGMT_EXEC_STATE_IDLE +TEST.END + +-- Test Case: NVDataMgmt_Exec_Wait_For_POST +TEST.UNIT:TaskBG +TEST.SUBPROGRAM:taskBackground +TEST.NEW +TEST.NAME:NVDataMgmt_Exec_Wait_For_POST TEST.VALUE:NVDataMgmt.<>.NVDataMgmtExecState:NVDATAMGMT_EXEC_STATE_WAIT_FOR_POST +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtExecState:NVDATAMGMT_EXEC_STATE_WAIT_FOR_POST +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS TEST.END +-- Test Case: NVDataMgmt_Exec_Write +TEST.UNIT:TaskBG +TEST.SUBPROGRAM:taskBackground +TEST.NEW +TEST.NAME:NVDataMgmt_Exec_Write +TEST.VALUE:NVDataMgmt.<>.FSMStatus:2 +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtExecState:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtExecState:NVDATAMGMT_EXEC_STATE_IDLE +TEST.END + +-- Test Case: NVDataMgmt_Exec_Write_To_RTC_RAM +TEST.UNIT:TaskBG +TEST.SUBPROGRAM:taskBackground +TEST.NEW +TEST.NAME:NVDataMgmt_Exec_Write_To_RTC_RAM +TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE +TEST.VALUE:NVDataMgmt.<>.NVDataMgmtExecState:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC +TEST.EXPECTED:NVDataMgmt.<>.NVDataMgmtExecState:NVDATAMGMT_EXEC_STATE_IDLE +TEST.END + -- Unit: sys_main -- Subprogram: initSoftware Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_NVDATAMGMT/INT_NVDATAMGMT_cba.cvr =================================================================== diff -u --- vectorcast/Hercules_RM46_HD_Project/environment/INT_NVDATAMGMT/INT_NVDATAMGMT_cba.cvr (revision 0) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_NVDATAMGMT/INT_NVDATAMGMT_cba.cvr (revision 6469250222684af1c14c2bb9db35f9c6df637ad3) @@ -0,0 +1,378 @@ +-- Imported Coverage Results Script +IMPORT.BEGIN +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:8 +IMPORT.SOURCE.ORIG_FILENAME:S0000008.c +IMPORT.SOURCE.COVERAGE_STATUS:FALSE +IMPORT.SOURCE.COVERAGE_TYPE:None +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:TRUE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:TRUE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:TRUE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:TRUE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:TRUE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:TRUE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_UNKNOWN +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:TRUE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:9 +IMPORT.SOURCE.ORIG_FILENAME:ModeInitPOST.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Function +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:11 +IMPORT.SOURCE.ORIG_FILENAME:TaskBG.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Function +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:12 +IMPORT.SOURCE.ORIG_FILENAME:NVDataMgmt.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Function +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:13 +IMPORT.SOURCE.ORIG_FILENAME:sys_main.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Function +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +RESULT.CBA.BEGIN +RESULT.CBA.RESULT: CBA_NVDataMgmt +RESULT.CBA.NOTES +The interfeace functions are not used anywhere in the FW yet +Since the interface functions are not called, some of the private functions that are used to enqueue the message will be be called as well. +RESULT.CBA.NOTES_END +RESULT.CBA.UNIT: /home/fw/workspace_hd/hdfirmware/firmware/FWCommon/NVDataMgmt.c +RESULT.CBA.FUNCTION: enqueue +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +U32 quotient = 0; +U32 modulus = 0; +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.MATCHING_LINE_INDEX: 1 +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: enqueueBank7Sector0Records +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +BOOL status = +0 +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.MATCHING_LINE_INDEX: 1 +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: eraseDataLogSectors +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +BOOL status = +0 +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.MATCHING_LINE_INDEX: 1 +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: getAvailableQueueCount +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +return 20U - queueCount; +} +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: getBootloaderFlag +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +return bootloaderFlag; +} +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: getCalibrationData +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +BOOL status = +0 +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.MATCHING_LINE_INDEX: 1 +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: getDisinfectionDate +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +BOOL status = +0 +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.MATCHING_LINE_INDEX: 1 +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: getMfgData +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +BOOL status = +0 +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.MATCHING_LINE_INDEX: 1 +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: getServiceDate +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +BOOL status = +0 +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.MATCHING_LINE_INDEX: 1 +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: getTreatmentTime +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +return treatmentTimeRecord.treatmentTime; +} +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: getWaterConsumption +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +return waterConsumptionRecord.waterConsumption; +} +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: isQueueFull +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +BOOL isFull = +0 +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.MATCHING_LINE_INDEX: 1 +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: prepareReadLogJobAndGetStartAddress +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +// The read address is calculated using the next read index and is an offset from +// the start of sector 1. Sectors 1,2, and 3 have been allocated for logging data +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.MATCHING_LINE_INDEX: 1 +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: prepareWriteLogJobAndGetStartAddress +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +U32 modulus = 0; +U32 opsStartAddress = 0; +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.MATCHING_LINE_INDEX: 1 +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: readLogData +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +BOOL status = +0 +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.MATCHING_LINE_INDEX: 1 +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: setBootloaderFlag +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +BOOL status = +0 +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.MATCHING_LINE_INDEX: 1 +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: setCalibrationData +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +calibrationRecord.calData = data; +calibrationRecord.crc = crc16 ( (U08*)&calibrationRecord.calData, +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: setDisinfectionDate +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +BOOL status = +0 +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.MATCHING_LINE_INDEX: 1 +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: setMemoryOpsStruct +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +U32 myAddIndex; +; +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.MATCHING_LINE_INDEX: 1 +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: setMfgData +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +mfgRecord.mfgData = data; +mfgRecord.crc = crc16 ( (U08*)&mfgRecord.mfgData, sizeof(MFG_DATA_T) ); +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: setServiceDate +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +BOOL status = +0 +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.MATCHING_LINE_INDEX: 1 +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: setTreatmentTime +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +BOOL status = +0 +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.MATCHING_LINE_INDEX: 1 +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: setWaterConsumption +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +BOOL status = +0 +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.MATCHING_LINE_INDEX: 1 +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: writeLogData +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +BOOL status = +0 +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.MATCHING_LINE_INDEX: 1 +RESULT.CBA.LINE.END +RESULT.CBA.END +IMPORT.END Index: vectorcast/Hercules_RM46_HD_Project/project.db =================================================================== diff -u -r3c46b9a980d236277756148701266f5938c65614 -r6469250222684af1c14c2bb9db35f9c6df637ad3 Binary files differ