Index: vectorcast/Hercules_RM46_HD_Project/environment/MODETREATMENT/MODETREATMENT.tst =================================================================== diff -u -r46e54bc6459e656b7da7454e956048060c377ddc -r3c15aa49ad836b84ab5072232a451ebab30e1531 --- vectorcast/Hercules_RM46_HD_Project/environment/MODETREATMENT/MODETREATMENT.tst (.../MODETREATMENT.tst) (revision 46e54bc6459e656b7da7454e956048060c377ddc) +++ vectorcast/Hercules_RM46_HD_Project/environment/MODETREATMENT/MODETREATMENT.tst (.../MODETREATMENT.tst) (revision 3c15aa49ad836b84ab5072232a451ebab30e1531) @@ -1330,6 +1330,17 @@ TEST.EXPECTED:ModeTreatment.handleTreatmentBloodPrimeState.return:TREATMENT_DIALYSIS_STATE TEST.END +-- Test Case: handleTreatmentBloodPrimeState.004 +TEST.UNIT:ModeTreatment +TEST.SUBPROGRAM:handleTreatmentBloodPrimeState +TEST.NEW +TEST.NAME:handleTreatmentBloodPrimeState.004 +TEST.VALUE:ModeTreatment.<>.presUFRate:0.2 +TEST.VALUE:ModeTreatment.<>.bloodPrimeToDialysisRequest:1 +TEST.VALUE:ModeTreatment.handleTreatmentBloodPrimeState.return:TREATMENT_STOP_STATE +TEST.EXPECTED:ModeTreatment.handleTreatmentBloodPrimeState.return:TREATMENT_DIALYSIS_STATE +TEST.END + -- Subprogram: handleTreatmentDialysisState -- Test Case: handleTreatmentDialysisState.001 @@ -3838,11 +3849,13 @@ TEST.NEW TEST.NAME:verifyTreatmentDurationSettingChange_DialVolOutOfRange TEST.IMPORT_FAILURES: -(I) @LINE: 3902 +(I) @LINE: 3906 >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) >>> (I) @LINE: 3902 >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 3902 + >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 3865 >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 3862 @@ -4996,9 +5009,11 @@ TEST.NEW TEST.NAME:verifyUFSettingsConfirmation_Accepted_AdjTime TEST.IMPORT_FAILURES: -(I) @LINE: 5071 +(I) @LINE: 5077 >>> 'UF_ADJ_TREATMENT_TIME' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 5071 + >>> >>> 'UF_ADJ_TREATMENT_TIME' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 5069 >>> >>> 'UF_ADJ_TREATMENT_TIME' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 5030 @@ -5104,9 +5119,11 @@ TEST.NEW TEST.NAME:verifyUFSettingsConfirmation_Accepted_AdjUFRate TEST.IMPORT_FAILURES: -(I) @LINE: 5181 +(I) @LINE: 5189 >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 5181 + >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 5177 >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 5136 @@ -5208,9 +5225,11 @@ TEST.NEW TEST.NAME:verifyUFSettingsConfirmation_Accepted_NoResume_Bolus TEST.IMPORT_FAILURES: -(I) @LINE: 5279 +(I) @LINE: 5289 >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 5279 + >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 5273 >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 5230 @@ -5308,9 +5327,11 @@ TEST.NEW TEST.NAME:verifyUFSettingsConfirmation_Accepted_NoResume_Stopped TEST.IMPORT_FAILURES: -(I) @LINE: 5377 +(I) @LINE: 5389 >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 5377 + >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 5369 >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 5324 @@ -5409,9 +5430,11 @@ TEST.NEW TEST.NAME:verifyUFSettingsConfirmation_ConfirmationTimeout TEST.IMPORT_FAILURES: -(I) @LINE: 5476 +(I) @LINE: 5490 >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 5476 + >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 5466 >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 5419 @@ -5510,9 +5533,11 @@ TEST.NEW TEST.NAME:verifyUFSettingsConfirmation_NotInTreatmentMode TEST.IMPORT_FAILURES: -(I) @LINE: 5575 +(I) @LINE: 5591 >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 5575 + >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 5563 >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 5514 Index: vectorcast/Hercules_RM46_HD_Project/environment/MODETREATMENT/MODETREATMENT_cba.cvr =================================================================== diff -u -r46e54bc6459e656b7da7454e956048060c377ddc -r3c15aa49ad836b84ab5072232a451ebab30e1531 --- vectorcast/Hercules_RM46_HD_Project/environment/MODETREATMENT/MODETREATMENT_cba.cvr (.../MODETREATMENT_cba.cvr) (revision 46e54bc6459e656b7da7454e956048060c377ddc) +++ vectorcast/Hercules_RM46_HD_Project/environment/MODETREATMENT/MODETREATMENT_cba.cvr (.../MODETREATMENT_cba.cvr) (revision 3c15aa49ad836b84ab5072232a451ebab30e1531) @@ -1,46 +1 @@ --- 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:ModeTreatment.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Statement+MCDC -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:TRUE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:TRUE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:TRUE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:TRUE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:TRUE -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.END Index: vectorcast/Hercules_RM46_HD_Project/environment/NVDATAMGMT/NVDATAMGMT.mfg =================================================================== diff -u -r093d127f4e5acc9861a574c4f85addd4922a5f3d -r3c15aa49ad836b84ab5072232a451ebab30e1531 --- vectorcast/Hercules_RM46_HD_Project/environment/NVDATAMGMT/NVDATAMGMT.mfg (.../NVDATAMGMT.mfg) (revision 093d127f4e5acc9861a574c4f85addd4922a5f3d) +++ vectorcast/Hercules_RM46_HD_Project/environment/NVDATAMGMT/NVDATAMGMT.mfg (.../NVDATAMGMT.mfg) (revision 3c15aa49ad836b84ab5072232a451ebab30e1531) @@ -4,5 +4,7 @@ COVERAGE_TYPE STATEMENT+MCDC + $(VCAST_SRC_DIR)/FWCommon/ + $(VCAST_SRC_DIR)/Common/ $(VCAST_SRC_DIR)/../../fwcommon/FlashDrvr/ Index: vectorcast/Hercules_RM46_HD_Project/environment/NVDATAMGMT/NVDATAMGMT.tst =================================================================== diff -u -r202a7e6c312e5dc5b85c0d2a30689c6d35a4358b -r3c15aa49ad836b84ab5072232a451ebab30e1531 --- vectorcast/Hercules_RM46_HD_Project/environment/NVDATAMGMT/NVDATAMGMT.tst (.../NVDATAMGMT.tst) (revision 202a7e6c312e5dc5b85c0d2a30689c6d35a4358b) +++ vectorcast/Hercules_RM46_HD_Project/environment/NVDATAMGMT/NVDATAMGMT.tst (.../NVDATAMGMT.tst) (revision 3c15aa49ad836b84ab5072232a451ebab30e1531) @@ -17,130 +17,163 @@ -- Subprogram: areResourcesAvailableForNextJob --- Test Case: areResourcesAvailableForNextJob.001 +-- Test Case: areResourcesAvailableForNextJob_EEPROM_job_FSM_ready_ui_comm_FAPI_not_ready TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:areResourcesAvailableForNextJob TEST.NEW -TEST.NAME:areResourcesAvailableForNextJob.001 -TEST.BASIS_PATH:6 of 7 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 6 - (1) if ((0) == isRecordQueueEmpty()) ==> FALSE - (2) if ((1) == uiCommunicated()) ==> TRUE - (3) if ((NVDATAMGMT_RTC) == tempJob.memoryLocation && (1) == checkUIStatus) ==> FALSE - (5) if ((NVDATAMGMT_EEPROM) == tempJob.memoryLocation && (1) == checkUIStatus) ==> FALSE - Test Case Generation Notes: - Cannot set local variable tempJob in branch 3 - Cannot set checkUIStatus due to assignment - Cannot set local variable tempJob in branch 5 -TEST.END_NOTES: -TEST.STUB:NVDataMgmt.isRecordQueueEmpty -TEST.VALUE:NVDataMgmt.areResourcesAvailableForNextJob.return:0 -TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:1 +TEST.NAME:areResourcesAvailableForNextJob_EEPROM_job_FSM_ready_ui_comm_FAPI_not_ready +TEST.VALUE:NVDataMgmt.<>.FSMStatus:1 +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].memoryOperation:NVDATAMGMT_READ +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].memoryLocation:NVDATAMGMT_EEPROM +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].recordJob:NVDATAMGMT_USAGE_INFO_RECORD +TEST.VALUE:NVDataMgmt.<>.recordQueueFrontIndex:0 +TEST.VALUE:NVDataMgmt.<>.recordQueueCount:2 +TEST.VALUE:NVDataMgmt.areResourcesAvailableForNextJob.return:1 TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:1 TEST.EXPECTED:NVDataMgmt.areResourcesAvailableForNextJob.return:0 TEST.END --- Test Case: areResourcesAvailableForNextJob.002 +-- Test Case: areResourcesAvailableForNextJob_EEPROM_job_FSM_ready_ui_comm_FAPI_ready TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:areResourcesAvailableForNextJob TEST.NEW -TEST.NAME:areResourcesAvailableForNextJob.002 -TEST.BASIS_PATH:7 of 7 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 7 - (1) if ((0) == isRecordQueueEmpty()) ==> TRUE - (2) if ((1) == uiCommunicated()) ==> FALSE - (3) if ((NVDATAMGMT_RTC) == tempJob.memoryLocation && (1) == checkUIStatus) ==> FALSE - (5) if ((NVDATAMGMT_EEPROM) == tempJob.memoryLocation && (1) == checkUIStatus) ==> FALSE - Test Case Generation Notes: - Cannot set checkUIStatus due to assignment -TEST.END_NOTES: -TEST.STUB:NVDataMgmt.isRecordQueueEmpty -TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].memoryLocation:NUM_OF_NVDATAMGMT_LOC_STATES -TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0 -TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:<> -TEST.EXPECTED:NVDataMgmt.<>.recordJobQueue[0].memoryLocation:NUM_OF_NVDATAMGMT_LOC_STATES +TEST.NAME:areResourcesAvailableForNextJob_EEPROM_job_FSM_ready_ui_comm_FAPI_ready +TEST.VALUE:NVDataMgmt.<>.FSMStatus:2 +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].memoryOperation:NVDATAMGMT_READ +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].memoryLocation:NVDATAMGMT_EEPROM +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].recordJob:NVDATAMGMT_USAGE_INFO_RECORD +TEST.VALUE:NVDataMgmt.<>.recordQueueFrontIndex:0 +TEST.VALUE:NVDataMgmt.<>.recordQueueCount:2 +TEST.VALUE:NVDataMgmt.areResourcesAvailableForNextJob.return:0 +TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:1 +TEST.EXPECTED:NVDataMgmt.areResourcesAvailableForNextJob.return:1 TEST.END --- Test Case: areResourcesAvailableForNextJob.003 +-- Test Case: areResourcesAvailableForNextJob_EEPROM_job_FSM_ready_ui_not_comm TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:areResourcesAvailableForNextJob TEST.NEW -TEST.NAME:areResourcesAvailableForNextJob.003 -TEST.NOTES: -This is an automatically generated test case. - Test Path 6 - (1) if ((0) == isRecordQueueEmpty()) ==> FALSE - (2) if ((1) == uiCommunicated()) ==> TRUE - (3) if ((NVDATAMGMT_RTC) == tempJob.memoryLocation && (1) == checkUIStatus) ==> FALSE - (5) if ((NVDATAMGMT_EEPROM) == tempJob.memoryLocation && (1) == checkUIStatus) ==> FALSE - Test Case Generation Notes: - Cannot set local variable tempJob in branch 3 - Cannot set checkUIStatus due to assignment - Cannot set local variable tempJob in branch 5 -TEST.END_NOTES: -TEST.STUB:NVDataMgmt.isRecordQueueEmpty -TEST.VALUE:NVDataMgmt.<>.FSMStatus:MACRO=Fapi_Status_FsmReady +TEST.NAME:areResourcesAvailableForNextJob_EEPROM_job_FSM_ready_ui_not_comm +TEST.VALUE:NVDataMgmt.<>.FSMStatus:2 +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].memoryOperation:NVDATAMGMT_READ +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].memoryLocation:NVDATAMGMT_EEPROM +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].recordJob:NVDATAMGMT_USAGE_INFO_RECORD +TEST.VALUE:NVDataMgmt.<>.recordQueueFrontIndex:0 +TEST.VALUE:NVDataMgmt.<>.recordQueueCount:2 +TEST.VALUE:NVDataMgmt.areResourcesAvailableForNextJob.return:1 +TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:0 +TEST.EXPECTED:NVDataMgmt.areResourcesAvailableForNextJob.return:0 +TEST.END + +-- Test Case: areResourcesAvailableForNextJob_RTC_job_semaphore_ready +TEST.UNIT:NVDataMgmt +TEST.SUBPROGRAM:areResourcesAvailableForNextJob +TEST.NEW +TEST.NAME:areResourcesAvailableForNextJob_RTC_job_semaphore_ready +TEST.VALUE:NVDataMgmt.<>.FSMStatus:0 +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].memoryOperation:NVDATAMGMT_READ +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].memoryLocation:NVDATAMGMT_RTC +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].recordJob:NVDATAMGMT_USAGE_INFO_RECORD +TEST.VALUE:NVDataMgmt.<>.recordQueueFrontIndex:0 +TEST.VALUE:NVDataMgmt.<>.recordQueueCount:2 TEST.VALUE:NVDataMgmt.areResourcesAvailableForNextJob.return:0 -TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:1 +TEST.VALUE:uut_prototype_stubs.getRTCRAMState.return:RTC_RAM_STATE_READY TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:1 -TEST.EXPECTED:NVDataMgmt.<>.FSMStatus:2 +TEST.VALUE:uut_prototype_stubs.getSemaphore.return:1 TEST.EXPECTED:NVDataMgmt.areResourcesAvailableForNextJob.return:1 TEST.END --- Test Case: areResourcesAvailableForNextJob.004 +-- Test Case: areResourcesAvailableForNextJob_RTC_job_ui_not_comm TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:areResourcesAvailableForNextJob TEST.NEW -TEST.NAME:areResourcesAvailableForNextJob.004 -TEST.BASIS_PATH:5 of 7 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 5 - (1) if ((0) == isRecordQueueEmpty()) ==> FALSE - (2) if ((1) == uiCommunicated()) ==> FALSE - (3) if ((NVDATAMGMT_RTC) == tempJob.memoryLocation && (1) == checkUIStatus) ==> TRUE - (4) if ((RTC_RAM_STATE_READY) == getRTCRAMState() && (1) == getSemaphore(SEMAPHORE_RTC)) ==> TRUE - Test Case Generation Notes: - Cannot set tempJob.memoryLocation due to assignment - Cannot set checkUIStatus due to assignment -TEST.END_NOTES: -TEST.STUB:NVDataMgmt.isRecordQueueEmpty +TEST.NAME:areResourcesAvailableForNextJob_RTC_job_ui_not_comm +TEST.VALUE:NVDataMgmt.<>.FSMStatus:0 +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].memoryOperation:NVDATAMGMT_READ +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].memoryLocation:NVDATAMGMT_RTC +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].recordJob:NVDATAMGMT_USAGE_INFO_RECORD +TEST.VALUE:NVDataMgmt.<>.recordQueueFrontIndex:0 +TEST.VALUE:NVDataMgmt.<>.recordQueueCount:2 TEST.VALUE:NVDataMgmt.areResourcesAvailableForNextJob.return:1 -TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:1 TEST.VALUE:uut_prototype_stubs.getRTCRAMState.return:RTC_RAM_STATE_READY -TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:<> -TEST.VALUE:uut_prototype_stubs.getSemaphore.return:1 +TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:0 +TEST.VALUE:uut_prototype_stubs.getSemaphore.return:0 TEST.EXPECTED:NVDataMgmt.areResourcesAvailableForNextJob.return:0 TEST.END --- Test Case: areResourcesAvailableForNextJob.005 +-- Test Case: areResourcesAvailableForNextJob_RTC_not_ready_semaphore_ready TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:areResourcesAvailableForNextJob TEST.NEW -TEST.NAME:areResourcesAvailableForNextJob.005 -TEST.NOTES: -This is an automatically generated test case. - Test Path 6 - (1) if ((0) == isRecordQueueEmpty()) ==> FALSE - (2) if ((1) == uiCommunicated()) ==> TRUE - (3) if ((NVDATAMGMT_RTC) == tempJob.memoryLocation && (1) == checkUIStatus) ==> FALSE - (5) if ((NVDATAMGMT_EEPROM) == tempJob.memoryLocation && (1) == checkUIStatus) ==> FALSE - Test Case Generation Notes: - Cannot set local variable tempJob in branch 3 - Cannot set checkUIStatus due to assignment - Cannot set local variable tempJob in branch 5 -TEST.END_NOTES: -TEST.STUB:NVDataMgmt.isRecordQueueEmpty -TEST.VALUE:NVDataMgmt.areResourcesAvailableForNextJob.return:0 -TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:1 +TEST.NAME:areResourcesAvailableForNextJob_RTC_not_ready_semaphore_ready +TEST.VALUE:NVDataMgmt.<>.FSMStatus:0 +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].memoryOperation:NVDATAMGMT_READ +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].memoryLocation:NVDATAMGMT_RTC +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].recordJob:NVDATAMGMT_USAGE_INFO_RECORD +TEST.VALUE:NVDataMgmt.<>.recordQueueFrontIndex:0 +TEST.VALUE:NVDataMgmt.<>.recordQueueCount:2 +TEST.VALUE:NVDataMgmt.areResourcesAvailableForNextJob.return:1 +TEST.VALUE:uut_prototype_stubs.getRTCRAMState.return:RTC_RAM_STATE_BUSY TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:1 +TEST.VALUE:uut_prototype_stubs.getSemaphore.return:0 TEST.EXPECTED:NVDataMgmt.areResourcesAvailableForNextJob.return:0 TEST.END +-- Test Case: areResourcesAvailableForNextJob_RTC_ready_semaphore_not_ready +TEST.UNIT:NVDataMgmt +TEST.SUBPROGRAM:areResourcesAvailableForNextJob +TEST.NEW +TEST.NAME:areResourcesAvailableForNextJob_RTC_ready_semaphore_not_ready +TEST.VALUE:NVDataMgmt.<>.FSMStatus:0 +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].memoryOperation:NVDATAMGMT_READ +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].memoryLocation:NVDATAMGMT_RTC +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].recordJob:NVDATAMGMT_USAGE_INFO_RECORD +TEST.VALUE:NVDataMgmt.<>.recordQueueFrontIndex:0 +TEST.VALUE:NVDataMgmt.<>.recordQueueCount:2 +TEST.VALUE:NVDataMgmt.areResourcesAvailableForNextJob.return:1 +TEST.VALUE:uut_prototype_stubs.getRTCRAMState.return:RTC_RAM_STATE_READY +TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:1 +TEST.VALUE:uut_prototype_stubs.getSemaphore.return:0 +TEST.EXPECTED:NVDataMgmt.areResourcesAvailableForNextJob.return:0 +TEST.END + +-- Test Case: areResourcesAvailableForNextJob_all_false +TEST.UNIT:NVDataMgmt +TEST.SUBPROGRAM:areResourcesAvailableForNextJob +TEST.NEW +TEST.NAME:areResourcesAvailableForNextJob_all_false +TEST.VALUE:NVDataMgmt.<>.FSMStatus:0 +TEST.VALUE:NVDataMgmt.<>.recordQueueCount:2 +TEST.VALUE:NVDataMgmt.areResourcesAvailableForNextJob.return:1 +TEST.EXPECTED:NVDataMgmt.areResourcesAvailableForNextJob.return:0 +TEST.END + +-- Test Case: areResourcesAvailableForNextJob_no_memory_job +TEST.UNIT:NVDataMgmt +TEST.SUBPROGRAM:areResourcesAvailableForNextJob +TEST.NEW +TEST.NAME:areResourcesAvailableForNextJob_no_memory_job +TEST.VALUE:NVDataMgmt.<>.FSMStatus:2 +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].memoryOperation:NVDATAMGMT_READ +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].memoryLocation:NUM_OF_NVDATAMGMT_LOC_STATES +TEST.VALUE:NVDataMgmt.<>.recordJobQueue[0].recordJob:NVDATAMGMT_USAGE_INFO_RECORD +TEST.VALUE:NVDataMgmt.<>.recordQueueFrontIndex:0 +TEST.VALUE:NVDataMgmt.<>.recordQueueCount:2 +TEST.VALUE:NVDataMgmt.areResourcesAvailableForNextJob.return:1 +TEST.EXPECTED:NVDataMgmt.areResourcesAvailableForNextJob.return:0 +TEST.END + +-- Test Case: areResourcesAvailableForNextJob_nothing_in_Q +TEST.UNIT:NVDataMgmt +TEST.SUBPROGRAM:areResourcesAvailableForNextJob +TEST.NEW +TEST.NAME:areResourcesAvailableForNextJob_nothing_in_Q +TEST.VALUE:NVDataMgmt.<>.FSMStatus:0 +TEST.VALUE:NVDataMgmt.<>.recordQueueCount:0 +TEST.VALUE:NVDataMgmt.areResourcesAvailableForNextJob.return:1 +TEST.EXPECTED:NVDataMgmt.areResourcesAvailableForNextJob.return:0 +TEST.END + -- Subprogram: benignPolynomialCalRecord -- Test Case: benignPolynomialCalRecord.001 @@ -2870,16 +2903,16 @@ TEST.MCDC_BASIS_PATH:2 of 7 TEST.NOTES: This is an automatically generated test case. - Test Path 2 - (1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE) || timeoutStatus == (1)) ==> TRUE - Row number 2 forms a pair with Row 4 for Condition #1, subcondition "a". - Condition a ==> TRUE - Condition b ==> FALSE - Test Case Generation Notes: +Test Path 2 +(1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE) || timeoutStatus == (1)) ==> TRUE +Row number 2 forms a pair with Row 4 for Condition #1, subcondition "a". +Condition a ==> TRUE +Condition b ==> FALSE +Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.didCommandTimeout TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD -TEST.VALUE:NVDataMgmt.handleExecVerifyRTCWriteState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC +TEST.VALUE:NVDataMgmt.handleExecVerifyRTCWriteState.return:NVDATAMGMT_EXEC_STATE_VERIFY_RTC_WRITE TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<> TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE TEST.EXPECTED:NVDataMgmt.handleExecVerifyRTCWriteState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC @@ -2893,16 +2926,16 @@ TEST.MCDC_BASIS_PATH:3 of 7 TEST.NOTES: This is an automatically generated test case. - Test Path 3 - (1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE) || timeoutStatus == (1)) ==> TRUE - Row number 3 forms a pair with Row 4 for Condition #1, subcondition "b". - Condition a ==> FALSE - Condition b ==> TRUE - Test Case Generation Notes: +Test Path 3 +(1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE) || timeoutStatus == (1)) ==> TRUE +Row number 3 forms a pair with Row 4 for Condition #1, subcondition "b". +Condition a ==> FALSE +Condition b ==> TRUE +Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.didCommandTimeout TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD -TEST.VALUE:NVDataMgmt.handleExecVerifyRTCWriteState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC +TEST.VALUE:NVDataMgmt.handleExecVerifyRTCWriteState.return:NVDATAMGMT_EXEC_STATE_ERASE_EEPROM TEST.VALUE:NVDataMgmt.didCommandTimeout.return:1 TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IN_PROGRESS TEST.EXPECTED:NVDataMgmt.handleExecVerifyRTCWriteState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC @@ -2916,87 +2949,197 @@ TEST.MCDC_BASIS_PATH:1 of 7 TEST.NOTES: This is an automatically generated test case. - Test Path 1 - (1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE) || timeoutStatus == (1)) ==> FALSE - Row number 4 forms a pair with Row 2 for Condition #1, subcondition "a". - Condition a ==> FALSE - Condition b ==> FALSE - Test Case Generation Notes: +Test Path 1 +(1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE) || timeoutStatus == (1)) ==> FALSE +Row number 4 forms a pair with Row 2 for Condition #1, subcondition "a". +Condition a ==> FALSE +Condition b ==> FALSE +Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.didCommandTimeout TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD -TEST.VALUE:NVDataMgmt.handleExecVerifyRTCWriteState.return:NVDATAMGMT_EXEC_STATE_VERIFY_RTC_WRITE +TEST.VALUE:NVDataMgmt.handleExecVerifyRTCWriteState.return:NVDATAMGMT_EXEC_STATE_READ_FROM_EEPROM TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<> TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IN_PROGRESS TEST.EXPECTED:NVDataMgmt.handleExecVerifyRTCWriteState.return:NVDATAMGMT_EXEC_STATE_VERIFY_RTC_WRITE TEST.END --- Test Case: handleExecVerifyRTCWriteState.004 +-- Test Case: handleExecVerifyRTCWriteState_record_valid TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecVerifyRTCWriteState TEST.NEW -TEST.NAME:handleExecVerifyRTCWriteState.004 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE) || timeoutStatus == (1)) ==> TRUE - Row number 2 forms a pair with Row 4 for Condition #1, subcondition "a". - Condition a ==> TRUE - Condition b ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:NVDataMgmt.didCommandTimeout -TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD -TEST.VALUE:NVDataMgmt.handleExecVerifyRTCWriteState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC -TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<> -TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE +TEST.NAME:handleExecVerifyRTCWriteState_record_valid +TEST.IMPORT_FAILURES: +(E) @LINE: 78 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.dgUsageInfo.roWaterGenTotalL:0.0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 79 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.dgUsageInfo.roWaterGenSinceLastServiceL:0.0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 80 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.dgUsageInfo.lastBasicFlushCompleteDateEpoch:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 81 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.dgUsageInfo.lastChemDisStartDateEpoch:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 82 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.dgUsageInfo.lastChemDisCompleteDateEpoch:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 83 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.dgUsageInfo.lastChemDisFlushCompleteDateEpoch:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 84 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.dgUsageInfo.lastHeatDisCompleteDateEpoch:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 85 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.dgUsageInfo.lastHeatActiveCoolCompleteDateEpoch:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 86 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.dgUsageInfo.lastFilterFlushCompleteDateEpoch:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 87 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.dgUsageInfo.lastResetTimeEpoch:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 88 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.dgUsageInfo.crc:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 89 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.padding[0]:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 90 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.padding[1]:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 91 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.padding[2]:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 92 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.padding[3]:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 93 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.padding[4]:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 94 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.padding[5]:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 95 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.padding[6]:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 96 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.padding[7]:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 97 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.padding[8]:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 98 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.padding[9]:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 99 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.padding[10]:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 100 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.padding[11]:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 101 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.padding[12]:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 102 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.padding[13]:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 103 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.padding[14]:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 104 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.padding[15]:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 105 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.padding[16]:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 106 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.padding[17]:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 107 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.padding[18]:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 108 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.padding[19]:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +(E) @LINE: 109 TEST.VALUE:NVDataMgmt.<>.dgUsageInfoGroup.crc:0 + >>> Unknown parameter/object name dgUsageInfoGroup + >>> Value Line Error - Command Ignored +TEST.END_IMPORT_FAILURES: +TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_USAGE_INFO_RECORD +TEST.VALUE:NVDataMgmt.<>.recordAddressOffset:0 +TEST.VALUE:NVDataMgmt.<>.writtenRecordStatus:NVDATAMGMT_RECORD_NOT_CHECKED +TEST.VALUE:NVDataMgmt.handleExecVerifyRTCWriteState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[0]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[1]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[2]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[3]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[4]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[5]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[6]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[7]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[8]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[9]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[10]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[11]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[12]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[13]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[14]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[15]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[16]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[17]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[18]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[19]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[20]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[21]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[22]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[23]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[24]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[25]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[26]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[27]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[28]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[29]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[30]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[31]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[32]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[33]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[34]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[35]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[36]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[37]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[38]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[39]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[40]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[41]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[42]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[43]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[44]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[45]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[46]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[47]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[48]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[49]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[50]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[51]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[52]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[53]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[54]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[55]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[56]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[57]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[58]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[59]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[60]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[61]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[62]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.externalBuffer[63]:0 +TEST.VALUE:uut_prototype_stubs.getDataFromRAM.length:64 +TEST.EXPECTED:NVDataMgmt.<>.writtenRecordStatus:NVDATAMGMT_RECORD_VALID TEST.EXPECTED:NVDataMgmt.handleExecVerifyRTCWriteState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC TEST.END --- Test Case: handleExecVerifyRTCWriteState.005 -TEST.UNIT:NVDataMgmt -TEST.SUBPROGRAM:handleExecVerifyRTCWriteState -TEST.NEW -TEST.NAME:handleExecVerifyRTCWriteState.005 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE) || timeoutStatus == (1)) ==> TRUE - Row number 2 forms a pair with Row 4 for Condition #1, subcondition "a". - Condition a ==> TRUE - Condition b ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:NVDataMgmt.didCommandTimeout -TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD -TEST.VALUE:NVDataMgmt.handleExecVerifyRTCWriteState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC -TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<> -TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE -TEST.EXPECTED:NVDataMgmt.handleExecVerifyRTCWriteState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC -TEST.END - --- Test Case: handleExecVerifyRTCWriteState.006 -TEST.UNIT:NVDataMgmt -TEST.SUBPROGRAM:handleExecVerifyRTCWriteState -TEST.NEW -TEST.NAME:handleExecVerifyRTCWriteState.006 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE) || timeoutStatus == (1)) ==> TRUE - Row number 2 forms a pair with Row 4 for Condition #1, subcondition "a". - Condition a ==> TRUE - Condition b ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:NVDataMgmt.didCommandTimeout -TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD -TEST.VALUE:NVDataMgmt.handleExecVerifyRTCWriteState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC -TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<> -TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE -TEST.EXPECTED:NVDataMgmt.handleExecVerifyRTCWriteState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC -TEST.END - -- Subprogram: handleExecWriteToEEPROMState -- Test Case: handleExecWriteToEEPROMState.001 @@ -3028,16 +3171,16 @@ TEST.MCDC_BASIS_PATH:1 of 10 TEST.NOTES: This is an automatically generated test case. - Test Path 1 - (1) if (FSMStatus == (Fapi_Status_FsmReady)) ==> FALSE - Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". - Condition a ==> FALSE - Test Case Generation Notes: +Test Path 1 +(1) if (FSMStatus == (Fapi_Status_FsmReady)) ==> 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:NVDataMgmt.didCommandTimeout TEST.VALUE:NVDataMgmt.<>.FSMStatus:<> TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD -TEST.VALUE:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_VERIFY_EEPROM_WRITE +TEST.VALUE:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC TEST.EXPECTED:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM TEST.END @@ -3049,18 +3192,18 @@ TEST.MCDC_BASIS_PATH:5 of 10 TEST.NOTES: This is an automatically generated test case. - Test Path 5 - (1) if (FSMStatus == (Fapi_Status_FsmReady)) ==> TRUE - (2) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_CHECKED)) ==> FALSE - Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". - Condition a ==> FALSE - Test Case Generation Notes: +Test Path 5 +(1) if (FSMStatus == (Fapi_Status_FsmReady)) ==> TRUE +(2) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_CHECKED)) ==> FALSE +Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". +Condition a ==> FALSE +Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.didCommandTimeout TEST.VALUE:NVDataMgmt.<>.FSMStatus:2 TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.VALUE:NVDataMgmt.<>.writtenRecordStatus:NVDATAMGMT_RECORD_VALID -TEST.VALUE:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM +TEST.VALUE:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC TEST.EXPECTED:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM TEST.END @@ -3072,19 +3215,19 @@ TEST.MCDC_BASIS_PATH:7 of 10 TEST.NOTES: This is an automatically generated test case. - Test Path 7 - (1) if (FSMStatus == (Fapi_Status_FsmReady)) ==> TRUE - (2) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_CHECKED)) ==> FALSE - (3) if (writtenRecordStatus == (NVDATAMGMT_RECORD_VALID)) ==> FALSE - Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". - Condition a ==> FALSE - Test Case Generation Notes: +Test Path 7 +(1) if (FSMStatus == (Fapi_Status_FsmReady)) ==> TRUE +(2) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_CHECKED)) ==> FALSE +(3) if (writtenRecordStatus == (NVDATAMGMT_RECORD_VALID)) ==> FALSE +Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". +Condition a ==> FALSE +Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.didCommandTimeout TEST.VALUE:NVDataMgmt.<>.FSMStatus:2 TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.VALUE:NVDataMgmt.<>.writtenRecordStatus:NVDATAMGMT_RECORD_NOT_VALID -TEST.VALUE:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM +TEST.VALUE:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_VERIFY_EEPROM_WRITE TEST.EXPECTED:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM TEST.END @@ -3096,41 +3239,41 @@ TEST.MCDC_BASIS_PATH:4 of 10 TEST.NOTES: This is an automatically generated test case. - Test Path 4 - (1) if (FSMStatus == (Fapi_Status_FsmReady)) ==> FALSE - (5) if (timeoutStatus == (1)) ==> TRUE - Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a". - Condition a ==> TRUE - Test Case Generation Notes: +Test Path 4 +(1) if (FSMStatus == (Fapi_Status_FsmReady)) ==> FALSE +(5) if (timeoutStatus == (1)) ==> TRUE +Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a". +Condition a ==> TRUE +Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.didCommandTimeout TEST.VALUE:NVDataMgmt.<>.FSMStatus:<> TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD -TEST.VALUE:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_IDLE +TEST.VALUE:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_VERIFY_EEPROM_WRITE TEST.VALUE:NVDataMgmt.didCommandTimeout.return:1 TEST.EXPECTED:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.END --- Test Case: handleExecWriteToEEPROMState.007 +-- Test Case: handleExecWriteToEEPROMState_address_==_job_size TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecWriteToEEPROMState TEST.NEW -TEST.NAME:handleExecWriteToEEPROMState.007 +TEST.NAME:handleExecWriteToEEPROMState_address_==_job_size TEST.NOTES: This is an automatically generated test case. - Test Path 5 - (1) if (FSMStatus == (Fapi_Status_FsmReady)) ==> TRUE - (2) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_CHECKED)) ==> FALSE - Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". - Condition a ==> FALSE - Test Case Generation Notes: +Test Path 5 +(1) if (FSMStatus == (Fapi_Status_FsmReady)) ==> TRUE +(2) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_CHECKED)) ==> FALSE +Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". +Condition a ==> FALSE +Test Case Generation Notes: TEST.END_NOTES: -TEST.STUB:NVDataMgmt.didCommandTimeout TEST.VALUE:NVDataMgmt.<>.FSMStatus:2 -TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD +TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_USAGE_INFO_RECORD +TEST.VALUE:NVDataMgmt.<>.recordAddressOffset:64 TEST.VALUE:NVDataMgmt.<>.writtenRecordStatus:NVDATAMGMT_RECORD_VALID -TEST.VALUE:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM -TEST.EXPECTED:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM +TEST.VALUE:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC +TEST.EXPECTED:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.END -- Subprogram: handleExecWriteToRAMState @@ -3143,15 +3286,15 @@ TEST.MCDC_BASIS_PATH:2 of 13 TEST.NOTES: This is an automatically generated test case. - Test Path 2 - (1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE)) ==> TRUE - Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". - Condition a ==> TRUE - Test Case Generation Notes: +Test Path 2 +(1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE)) ==> 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:NVDataMgmt.didCommandTimeout TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD -TEST.VALUE:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_VERIFY_RTC_WRITE +TEST.VALUE:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE TEST.EXPECTED:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_VERIFY_RTC_WRITE TEST.END @@ -3164,15 +3307,15 @@ TEST.MCDC_BASIS_PATH:1 of 13 TEST.NOTES: This is an automatically generated test case. - Test Path 1 - (1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE)) ==> FALSE - Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". - Condition a ==> FALSE - Test Case Generation Notes: +Test Path 1 +(1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE)) ==> 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:NVDataMgmt.didCommandTimeout TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD -TEST.VALUE:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC +TEST.VALUE:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_ERASE_EEPROM TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IN_PROGRESS TEST.EXPECTED:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC TEST.END @@ -3208,18 +3351,18 @@ TEST.MCDC_BASIS_PATH:8 of 13 TEST.NOTES: This is an automatically generated test case. - Test Path 8 - (1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE)) ==> TRUE - (2) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_CHECKED)) ==> FALSE - (3) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_VALID)) ==> TRUE - Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". - Condition a ==> TRUE - Test Case Generation Notes: +Test Path 8 +(1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE)) ==> TRUE +(2) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_CHECKED)) ==> FALSE +(3) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_VALID)) ==> TRUE +Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". +Condition a ==> TRUE +Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.didCommandTimeout TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.VALUE:NVDataMgmt.<>.writtenRecordStatus:NVDATAMGMT_RECORD_NOT_VALID -TEST.VALUE:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC +TEST.VALUE:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_READ_FROM_EEPROM TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE TEST.EXPECTED:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC TEST.END @@ -3232,19 +3375,19 @@ TEST.MCDC_BASIS_PATH:9 of 13 TEST.NOTES: This is an automatically generated test case. - Test Path 9 - (1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE)) ==> TRUE - (2) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_CHECKED)) ==> FALSE - (3) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_VALID)) ==> FALSE - (4) if (writtenRecordStatus == (NVDATAMGMT_RECORD_VALID)) ==> FALSE - Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a". - Condition a ==> FALSE - Test Case Generation Notes: +Test Path 9 +(1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE)) ==> TRUE +(2) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_CHECKED)) ==> FALSE +(3) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_VALID)) ==> FALSE +(4) if (writtenRecordStatus == (NVDATAMGMT_RECORD_VALID)) ==> FALSE +Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a". +Condition a ==> FALSE +Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.didCommandTimeout TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.VALUE:NVDataMgmt.<>.writtenRecordStatus:NUM_OF_NVDATAMGMT_RECORD_VALIDITY_CHECK -TEST.VALUE:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC +TEST.VALUE:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_ERASE_EEPROM TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE TEST.EXPECTED:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC TEST.END @@ -3254,47 +3397,75 @@ TEST.SUBPROGRAM:handleExecWriteToRAMState TEST.NEW TEST.NAME:handleExecWriteToRAMState.006 +TEST.MCDC_BASIS_PATH:4 of 13 TEST.NOTES: This is an automatically generated test case. - Test Path 5 - (1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE)) ==> TRUE - (2) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_CHECKED)) ==> FALSE - Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". - Condition a ==> FALSE - Test Case Generation Notes: +Test Path 4 +(1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE)) ==> FALSE +(6) if (timeoutStatus == (1)) ==> TRUE +Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a". +Condition a ==> TRUE +Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.didCommandTimeout TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD -TEST.VALUE:NVDataMgmt.<>.writtenRecordStatus:NVDATAMGMT_RECORD_VALID -TEST.VALUE:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC -TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE -TEST.EXPECTED:NVDataMgmt.<>.recordAddressOffset:16 -TEST.EXPECTED:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC +TEST.VALUE:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM +TEST.VALUE:NVDataMgmt.didCommandTimeout.return:1 +TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IN_PROGRESS +TEST.EXPECTED:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.END -- Test Case: handleExecWriteToRAMState.007 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecWriteToRAMState TEST.NEW TEST.NAME:handleExecWriteToRAMState.007 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 3153 TEST.EXPECTED:NVDataMgmt.didCommandTimeout.alarm:ALARM_ID_RTC_RAM_OPS_ERROR - >>> >>> Unknown parameter/object name alarm - >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 3154 TEST.EXPECTED:NVDataMgmt.didCommandTimeout.state:"\5" - >>> >>> Value for 'Enumeral' out of range - >>> >>> Read "\5" - >>> >>> Command Ignored -TEST.END_IMPORT_FAILURES: +TEST.NOTES: +This is an automatically generated test case. +Test Path 5 +(1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE)) ==> TRUE +(2) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_CHECKED)) ==> FALSE +Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". +Condition a ==> FALSE +Test Case Generation Notes: +TEST.END_NOTES: TEST.STUB:NVDataMgmt.didCommandTimeout -TEST.VALUE:NVDataMgmt.<>.recordAddressOffset:1 -TEST.VALUE:NVDataMgmt.didCommandTimeout.return:1 -TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IN_PROGRESS -TEST.EXPECTED:NVDataMgmt.<>.recordAddressOffset:0 +TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_USAGE_INFO_RECORD +TEST.VALUE:NVDataMgmt.<>.recordAddressOffset:8 +TEST.VALUE:NVDataMgmt.<>.writtenRecordStatus:NVDATAMGMT_RECORD_VALID +TEST.VALUE:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC +TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE +TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_USAGE_INFO_RECORD +TEST.EXPECTED:NVDataMgmt.<>.recordAddressOffset:8 +TEST.EXPECTED:NVDataMgmt.<>.writtenRecordStatus:NVDATAMGMT_RECORD_NOT_CHECKED TEST.EXPECTED:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.END +-- Test Case: handleExecWriteToRAMState_size_of_job_==_record_address_offset +TEST.UNIT:NVDataMgmt +TEST.SUBPROGRAM:handleExecWriteToRAMState +TEST.NEW +TEST.NAME:handleExecWriteToRAMState_size_of_job_==_record_address_offset +TEST.NOTES: +This is an automatically generated test case. +Test Path 5 +(1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE)) ==> TRUE +(2) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_CHECKED)) ==> FALSE +Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". +Condition a ==> FALSE +Test Case Generation Notes: +TEST.END_NOTES: +TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_USAGE_INFO_RECORD +TEST.VALUE:NVDataMgmt.<>.recordAddressOffset:64 +TEST.VALUE:NVDataMgmt.<>.writtenRecordStatus:NVDATAMGMT_RECORD_VALID +TEST.VALUE:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC +TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE +TEST.VALUE:uut_prototype_stubs.didTimeout.return:0 +TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_USAGE_INFO_RECORD +TEST.EXPECTED:NVDataMgmt.<>.writtenRecordStatus:NVDATAMGMT_RECORD_NOT_CHECKED +TEST.EXPECTED:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_IDLE +TEST.END + -- Subprogram: handleSelfTestCheckCRC -- Test Case: handleSelfTestCheckCRC.001 @@ -4416,25 +4587,25 @@ TEST.SUBPROGRAM:receiveRecordFromDialin TEST.NEW TEST.NAME:receiveRecordFromDialin.003 +TEST.BASIS_PATH:7 of 7 (partial) TEST.NOTES: This is an automatically generated test case. - Test Path 2 - (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE - (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE - (3) if ((1) == currentMessage - previousCalMessageNum) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 3 +Test Path 7 +(1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> TRUE +(2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> FALSE +Test Case Generation Notes: +Cannot set nvDataMgmtExecReceiveRecordState due to assignment TEST.END_NOTES: -TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE +TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.job:<> TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.currentMessage:1 -TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.totalMessages:<> +TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.totalMessages:<> TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.length:<> TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.addressPtr:<> TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.job:NVDATAMGMT_CALIBRATION_RECORD TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.currentMessage:1 -TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.totalMessages:4294967295 +TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.totalMessages:0 TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.length:0 TEST.END @@ -4445,14 +4616,14 @@ TEST.NAME:receiveRecordFromDialin.004 TEST.NOTES: This is an automatically generated test case. - Test Path 2 - (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE - (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE - (3) if ((1) == currentMessage - previousCalMessageNum) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 3 +Test Path 2 +(1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE +(2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE +(3) if ((1) == currentMessage - previousCalMessageNum) ==> FALSE +Test Case Generation Notes: +Conflict: Unable to control expression-to-expression comparison in branch 3 TEST.END_NOTES: -TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE +TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.job:<> TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.currentMessage:1 TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.totalMessages:<> @@ -4472,23 +4643,23 @@ TEST.NAME:receiveRecordFromDialin.005 TEST.NOTES: This is an automatically generated test case. - Test Path 2 - (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE - (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE - (3) if ((1) == currentMessage - previousCalMessageNum) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 3 +Test Path 2 +(1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE +(2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE +(3) if ((1) == currentMessage - previousCalMessageNum) ==> FALSE +Test Case Generation Notes: +Conflict: Unable to control expression-to-expression comparison in branch 3 TEST.END_NOTES: -TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE +TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.job:<> TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.currentMessage:1 -TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.totalMessages:0 +TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.totalMessages:1 TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.length:<> TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.addressPtr:<> -TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE +TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.job:NVDATAMGMT_CALIBRATION_RECORD TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.currentMessage:1 -TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.totalMessages:0 +TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.totalMessages:1 TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.length:0 TEST.END @@ -4499,19 +4670,20 @@ TEST.NAME:receiveRecordFromDialin.006 TEST.NOTES: This is an automatically generated test case. - Test Path 2 - (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE - (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE - (3) if ((1) == currentMessage - previousCalMessageNum) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 3 +Test Path 2 +(1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE +(2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE +(3) if ((1) == currentMessage - previousCalMessageNum) ==> FALSE +Test Case Generation Notes: +Conflict: Unable to control expression-to-expression comparison in branch 3 TEST.END_NOTES: -TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE +TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.job:<> TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.currentMessage:1 TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.totalMessages:1 TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.length:<> TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.addressPtr:<> +TEST.VALUE:uut_prototype_stubs.crc16.return:100 TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.job:NVDATAMGMT_CALIBRATION_RECORD TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.currentMessage:1 @@ -4526,20 +4698,19 @@ TEST.NAME:receiveRecordFromDialin.007 TEST.NOTES: This is an automatically generated test case. - Test Path 2 - (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE - (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE - (3) if ((1) == currentMessage - previousCalMessageNum) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 3 +Test Path 2 +(1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE +(2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE +(3) if ((1) == currentMessage - previousCalMessageNum) ==> FALSE +Test Case Generation Notes: +Conflict: Unable to control expression-to-expression comparison in branch 3 TEST.END_NOTES: -TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE -TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.job:<> +TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE +TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.job:NVDATAMGMT_CALIBRATION_RECORD TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.currentMessage:1 TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.totalMessages:1 TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.length:<> TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.addressPtr:<> -TEST.VALUE:uut_prototype_stubs.crc16.return:<> TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.job:NVDATAMGMT_CALIBRATION_RECORD TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.currentMessage:1 @@ -4554,14 +4725,14 @@ TEST.NAME:receiveRecordFromDialin.008 TEST.NOTES: This is an automatically generated test case. - Test Path 2 - (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE - (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE - (3) if ((1) == currentMessage - previousCalMessageNum) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 3 +Test Path 2 +(1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE +(2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE +(3) if ((1) == currentMessage - previousCalMessageNum) ==> FALSE +Test Case Generation Notes: +Conflict: Unable to control expression-to-expression comparison in branch 3 TEST.END_NOTES: -TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE +TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.job:<> TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.currentMessage:1 TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.totalMessages:1 @@ -4574,6 +4745,75 @@ TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.length:0 TEST.END +-- Test Case: receiveRecordFromDialin.009 +TEST.UNIT:NVDataMgmt +TEST.SUBPROGRAM:receiveRecordFromDialin +TEST.NEW +TEST.NAME:receiveRecordFromDialin.009 +TEST.NOTES: +This is an automatically generated test case. +Test Path 2 +(1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE +(2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE +(3) if ((1) == currentMessage - previousCalMessageNum) ==> FALSE +Test Case Generation Notes: +Conflict: Unable to control expression-to-expression comparison in branch 3 +TEST.END_NOTES: +TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE +TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.job:<> +TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.currentMessage:1 +TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.totalMessages:1 +TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.length:<> +TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.addressPtr:<> +TEST.VALUE:uut_prototype_stubs.crc16.address[0]:0 +TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE +TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.job:NVDATAMGMT_CALIBRATION_RECORD +TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.currentMessage:1 +TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.totalMessages:1 +TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.length:0 +TEST.END + +-- Test Case: receiveRecordFromDialin_not_EEPROM_job +TEST.UNIT:NVDataMgmt +TEST.SUBPROGRAM:receiveRecordFromDialin +TEST.NEW +TEST.NAME:receiveRecordFromDialin_not_EEPROM_job +TEST.IMPORT_FAILURES: +(E) @LINE: 211 TEST.VALUE:uut_prototype_stubs.sendEvent.event:DG_EVENT_STARTUP + >>> Value for 'Enumeral' out of range + >>> Read "DG_EVENT_STARTUP" + >>> Command Ignored +(E) @LINE: 217 TEST.EXPECTED:uut_prototype_stubs.sendEvent.event:DG_EVENT_USAGE_INFO_UPDATE + >>> Value for 'Enumeral' out of range + >>> Read "DG_EVENT_USAGE_INFO_UPDATE" + >>> Command Ignored +TEST.END_IMPORT_FAILURES: +TEST.NOTES: +This is an automatically generated test case. +Test Path 2 +(1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE +(2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE +(3) if ((1) == currentMessage - previousCalMessageNum) ==> FALSE +Test Case Generation Notes: +Conflict: Unable to control expression-to-expression comparison in branch 3 +TEST.END_NOTES: +TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE +TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.job:NVDATAMGMT_USAGE_INFO_RECORD +TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.currentMessage:1 +TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.totalMessages:1 +TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.length:<> +TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.addressPtr:<> +TEST.VALUE:uut_prototype_stubs.sendEvent.dat1.dataType:EVENT_DATA_TYPE_NONE +TEST.VALUE:uut_prototype_stubs.sendEvent.dat1.data.uInt.data:1 +TEST.VALUE:uut_prototype_stubs.sendEvent.dat2.dataType:EVENT_DATA_TYPE_BOOL +TEST.VALUE:uut_prototype_stubs.sendEvent.dat2.data.uInt.data:1 +TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE +TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat1.dataType:EVENT_DATA_TYPE_U32 +TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat1.data.uInt.data:0 +TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat2.dataType:EVENT_DATA_TYPE_U32 +TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat2.data.uInt.data:0 +TEST.END + -- Subprogram: resetNVDataMgmtPOSTState -- Test Case: resetNVDataMgmtPOSTState.001