-- VectorCAST 19.sp3 (11/13/19) -- Test Case Script -- -- Environment : NVDATAMGMT -- Unit(s) Under Test: NVDataMgmt -- -- Script Features TEST.SCRIPT_FEATURE:C_DIRECT_ARRAY_INDEXING TEST.SCRIPT_FEATURE:CPP_CLASS_OBJECT_REVISION TEST.SCRIPT_FEATURE:MULTIPLE_UUT_SUPPORT TEST.SCRIPT_FEATURE:MIXED_CASE_NAMES TEST.SCRIPT_FEATURE:STATIC_HEADER_FUNCS_IN_UUTS TEST.SCRIPT_FEATURE:VCAST_MAIN_NOT_RENAMED -- -- Unit: NVDataMgmt -- Subprogram: areResourcesAvailableForNextJob -- Test Case: areResourcesAvailableForNextJob.001 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.VALUE:uut_prototype_stubs.uiCommunicated.return:1 TEST.EXPECTED:NVDataMgmt.areResourcesAvailableForNextJob.return:0 TEST.END -- Test Case: areResourcesAvailableForNextJob.002 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.END -- Test Case: areResourcesAvailableForNextJob.003 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:Fapi_Status_FsmReady TEST.VALUE:NVDataMgmt.areResourcesAvailableForNextJob.return:0 TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:1 TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:1 TEST.EXPECTED:NVDataMgmt.<>.FSMStatus:2 TEST.EXPECTED:NVDataMgmt.areResourcesAvailableForNextJob.return:1 TEST.END -- Subprogram: benignPolynomialCalRecord -- Test Case: benignPolynomialCalRecord.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:benignPolynomialCalRecord TEST.NEW TEST.NAME:benignPolynomialCalRecord.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.VALUE:NVDataMgmt.benignPolynomialCalRecord.record:<> TEST.VALUE:NVDataMgmt.benignPolynomialCalRecord.record[0].fourthOrderCoeff:0.0 TEST.VALUE:NVDataMgmt.benignPolynomialCalRecord.record[0].thirdOrderCoeff:0.0 TEST.VALUE:NVDataMgmt.benignPolynomialCalRecord.record[0].secondOrderCoeff:0.0 TEST.VALUE:NVDataMgmt.benignPolynomialCalRecord.record[0].gain:1.0 TEST.VALUE:NVDataMgmt.benignPolynomialCalRecord.record[0].offset:0.0 TEST.VALUE:NVDataMgmt.benignPolynomialCalRecord.record[0].calibrationTime:0 TEST.VALUE:NVDataMgmt.benignPolynomialCalRecord.record[0].crc:100 TEST.EXPECTED:NVDataMgmt.benignPolynomialCalRecord.record[0].fourthOrderCoeff:0.0 TEST.EXPECTED:NVDataMgmt.benignPolynomialCalRecord.record[0].thirdOrderCoeff:0.0 TEST.EXPECTED:NVDataMgmt.benignPolynomialCalRecord.record[0].secondOrderCoeff:0.0 TEST.EXPECTED:NVDataMgmt.benignPolynomialCalRecord.record[0].gain:1.0 TEST.EXPECTED:NVDataMgmt.benignPolynomialCalRecord.record[0].offset:0.0 TEST.EXPECTED:NVDataMgmt.benignPolynomialCalRecord.record[0].calibrationTime:0 TEST.END -- Subprogram: dequeue -- Test Case: dequeue.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:dequeue TEST.NEW TEST.NAME:dequeue.002 TEST.MCDC_BASIS_PATH:2 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (!isQueueEmpty()) ==> TRUE 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.isQueueEmpty TEST.VALUE:NVDataMgmt.<>.jobQueue[0].memoryOperation:NVDATAMGMT_NONE TEST.VALUE:NVDataMgmt.<>.jobQueue[0].memoryLocation:NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.<>.jobQueue[0].startAddress:1000 TEST.VALUE:NVDataMgmt.<>.jobQueue[0].buffer:<> TEST.VALUE:NVDataMgmt.<>.jobQueue[0].buffer:"" TEST.VALUE:NVDataMgmt.<>.jobQueue[0].length:8 TEST.VALUE:NVDataMgmt.isQueueEmpty.return:0 TEST.EXPECTED:NVDataMgmt.<>.currentJob.memoryOperation:NVDATAMGMT_NONE TEST.EXPECTED:NVDataMgmt.<>.currentJob.memoryLocation:NVDATAMGMT_EEPROM TEST.EXPECTED:NVDataMgmt.<>.currentJob.startAddress:1000 TEST.EXPECTED:NVDataMgmt.<>.currentJob.buffer:"" TEST.EXPECTED:NVDataMgmt.<>.currentJob.length:8 TEST.END -- Test Case: dequeue.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:dequeue TEST.NEW TEST.NAME:dequeue.003 TEST.MCDC_BASIS_PATH:5 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (!isQueueEmpty()) ==> TRUE (2) (queueFrontIndex >= 20U - (1)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.isQueueEmpty TEST.VALUE:NVDataMgmt.<>.jobQueue[1].memoryOperation:NVDATAMGMT_NONE TEST.VALUE:NVDataMgmt.<>.jobQueue[1].memoryLocation:NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.<>.jobQueue[1].startAddress:0 TEST.VALUE:NVDataMgmt.<>.jobQueue[1].buffer:<> TEST.VALUE:NVDataMgmt.<>.jobQueue[1].buffer:"" TEST.VALUE:NVDataMgmt.<>.jobQueue[1].length:0 TEST.VALUE:NVDataMgmt.<>.queueFrontIndex:19 TEST.VALUE:NVDataMgmt.isQueueEmpty.return:0 TEST.EXPECTED:NVDataMgmt.<>.queueFrontIndex:0 TEST.END -- Test Case: dequeue.004 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:dequeue TEST.NEW TEST.NAME:dequeue.004 TEST.MCDC_BASIS_PATH:4 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (!isQueueEmpty()) ==> FALSE (3) if (queueCount > 0) ==> 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.isQueueEmpty TEST.VALUE:NVDataMgmt.<>.queueFrontIndex:0 TEST.VALUE:NVDataMgmt.<>.queueCount:<> TEST.VALUE:NVDataMgmt.isQueueEmpty.return:1 TEST.EXPECTED:NVDataMgmt.<>.queueCount:254 TEST.END -- Subprogram: dequeueRecordJob -- Test Case: dequeueRecordJob.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:dequeueRecordJob TEST.NEW TEST.NAME:dequeueRecordJob.001 TEST.MCDC_BASIS_PATH:2 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (!isRecordQueueEmpty()) ==> TRUE 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.isRecordQueueEmpty TEST.VALUE:NVDataMgmt.<>.recordQueueFrontIndex:1 TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0 TEST.EXPECTED:NVDataMgmt.<>.recordQueueFrontIndex:2 TEST.END -- Test Case: dequeueRecordJob.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:dequeueRecordJob TEST.NEW TEST.NAME:dequeueRecordJob.002 TEST.MCDC_BASIS_PATH:5 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (!isRecordQueueEmpty()) ==> TRUE (2) (recordQueueFrontIndex >= 20U - (1)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.isRecordQueueEmpty TEST.VALUE:NVDataMgmt.<>.recordJobQueue[19].memoryOperation:NVDATAMGMT_NONE TEST.VALUE:NVDataMgmt.<>.recordJobQueue[19].memoryLocation:NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.<>.recordJobQueue[19].recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.VALUE:NVDataMgmt.<>.recordQueueFrontIndex:<> TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0 TEST.EXPECTED:NVDataMgmt.<>.recordJobQueue[19].memoryOperation:NVDATAMGMT_NONE TEST.EXPECTED:NVDataMgmt.<>.recordJobQueue[19].memoryLocation:NVDATAMGMT_EEPROM TEST.EXPECTED:NVDataMgmt.<>.recordJobQueue[19].recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.END -- Test Case: dequeueRecordJob.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:dequeueRecordJob TEST.NEW TEST.NAME:dequeueRecordJob.003 TEST.MCDC_BASIS_PATH:4 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (!isRecordQueueEmpty()) ==> FALSE (3) if (recordQueueCount > 0) ==> 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.isRecordQueueEmpty TEST.VALUE:NVDataMgmt.<>.recordQueueFrontIndex:0 TEST.VALUE:NVDataMgmt.<>.recordQueueCount:<> TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:1 TEST.EXPECTED:NVDataMgmt.<>.recordQueueFrontIndex:0 TEST.END -- Subprogram: didCommandTimeout -- Test Case: didCommandTimeout.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:didCommandTimeout TEST.NEW TEST.NAME:didCommandTimeout.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if didTimeout(currentTime, 500U) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.didCommandTimeout.alarm:<> TEST.VALUE:NVDataMgmt.didCommandTimeout.state:<> TEST.VALUE:NVDataMgmt.didCommandTimeout.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:NVDataMgmt.didCommandTimeout.return:1 TEST.END -- Test Case: didCommandTimeout.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:didCommandTimeout TEST.NEW TEST.NAME:didCommandTimeout.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if didTimeout(currentTime, 500U) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.didCommandTimeout.alarm:<> TEST.VALUE:NVDataMgmt.didCommandTimeout.state:<> TEST.VALUE:NVDataMgmt.didCommandTimeout.return:0 TEST.VALUE:uut_prototype_stubs.didTimeout.return:0 TEST.EXPECTED:NVDataMgmt.didCommandTimeout.return:0 TEST.END -- Subprogram: enqueue -- Test Case: enqueue.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:enqueue TEST.NEW TEST.NAME:enqueue.001 TEST.MCDC_BASIS_PATH:2 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (ops == (NVDATAMGMT_WRITE) && location == (NVDATAMGMT_EEPROM)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.setMemoryOpsStruct TEST.STUB:NVDataMgmt.prepareWriteLogJobAndGetStartAddress TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.ops:NVDATAMGMT_NONE TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.location:NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.startAddress:1000 TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.data:"" TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.length:0 TEST.VALUE:NVDataMgmt.prepareWriteLogJobAndGetStartAddress.data:"" TEST.VALUE:NVDataMgmt.prepareWriteLogJobAndGetStartAddress.return:1000 TEST.VALUE:NVDataMgmt.enqueue.ops:NVDATAMGMT_WRITE TEST.VALUE:NVDataMgmt.enqueue.location:NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.enqueue.startAddress:<> TEST.VALUE:NVDataMgmt.enqueue.data:<> TEST.VALUE:NVDataMgmt.enqueue.extAddress:<> TEST.VALUE:NVDataMgmt.enqueue.length:<> TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.ops:NVDATAMGMT_WRITE TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.location:NVDATAMGMT_EEPROM TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.startAddress:1000 TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.data:"" TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.length:0 TEST.EXPECTED:NVDataMgmt.prepareWriteLogJobAndGetStartAddress.data:"" TEST.END -- Test Case: enqueue.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:enqueue TEST.NEW TEST.NAME:enqueue.002 TEST.MCDC_BASIS_PATH:3 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (ops == (NVDATAMGMT_WRITE) && location == (NVDATAMGMT_EEPROM)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.setMemoryOpsStruct TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.ops:NVDATAMGMT_WRITE TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.location:NVDATAMGMT_RTC TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.startAddress:0 TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.data:"" TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.length:0 TEST.VALUE:NVDataMgmt.enqueue.ops:NVDATAMGMT_WRITE TEST.VALUE:NVDataMgmt.enqueue.location:NVDATAMGMT_RTC TEST.VALUE:NVDataMgmt.enqueue.startAddress:<> TEST.VALUE:NVDataMgmt.enqueue.data:<> TEST.VALUE:NVDataMgmt.enqueue.extAddress:<> TEST.VALUE:NVDataMgmt.enqueue.length:<> TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.ops:NVDATAMGMT_WRITE TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.location:NVDATAMGMT_RTC TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.startAddress:0 TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.data:"" TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.length:0 TEST.END -- Test Case: enqueue.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:enqueue TEST.NEW TEST.NAME:enqueue.003 TEST.MCDC_BASIS_PATH:1 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (ops == (NVDATAMGMT_WRITE) && location == (NVDATAMGMT_EEPROM)) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.setMemoryOpsStruct TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.ops:NVDATAMGMT_READ TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.location:NVDATAMGMT_RTC TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.startAddress:0 TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.data:"" TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.length:0 TEST.VALUE:NVDataMgmt.enqueue.ops:NVDATAMGMT_NONE TEST.VALUE:NVDataMgmt.enqueue.location:NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.enqueue.startAddress:<> TEST.VALUE:NVDataMgmt.enqueue.data:<> TEST.VALUE:NVDataMgmt.enqueue.extAddress:<> TEST.VALUE:NVDataMgmt.enqueue.length:<> TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.startAddress:0 TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.data:"" TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.length:0 TEST.END -- Test Case: enqueue.004 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:enqueue TEST.NEW TEST.NAME:enqueue.004 TEST.MCDC_BASIS_PATH:15 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 15 (1) if (ops == (NVDATAMGMT_WRITE) && location == (NVDATAMGMT_EEPROM)) ==> TRUE (2) if (startAddress == (0)) ==> 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.setMemoryOpsStruct TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.ops:NVDATAMGMT_WRITE TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.location:NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.startAddress:1 TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.data:"" TEST.VALUE:NVDataMgmt.enqueue.ops:NVDATAMGMT_WRITE TEST.VALUE:NVDataMgmt.enqueue.location:NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.enqueue.startAddress:1 TEST.VALUE:NVDataMgmt.enqueue.data:<> TEST.VALUE:NVDataMgmt.enqueue.extAddress:<> TEST.VALUE:NVDataMgmt.enqueue.length:<> TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.ops:NVDATAMGMT_WRITE TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.location:NVDATAMGMT_EEPROM TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.startAddress:1 TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.data:"" TEST.END -- Test Case: enqueue.005 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:enqueue TEST.NEW TEST.NAME:enqueue.005 TEST.MCDC_BASIS_PATH:5 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (ops == (NVDATAMGMT_WRITE) && location == (NVDATAMGMT_EEPROM)) ==> FALSE (3) if (ops == (NVDATAMGMT_READ) && location == (NVDATAMGMT_EEPROM)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #3, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: Conflict: Trying to set variable NVDataMgmt.enqueue.location 'equal to' and 'not equal to' same value in branches 1/3 TEST.END_NOTES: TEST.STUB:NVDataMgmt.setMemoryOpsStruct TEST.STUB:NVDataMgmt.prepareWriteLogJobAndGetStartAddress TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.ops:NVDATAMGMT_WRITE,NVDATAMGMT_READ TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.location:NVDATAMGMT_RTC,NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.startAddress:0,4028645376 TEST.VALUE:NVDataMgmt.enqueue.ops:NVDATAMGMT_READ TEST.VALUE:NVDataMgmt.enqueue.location:NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.enqueue.startAddress:<> TEST.VALUE:NVDataMgmt.enqueue.data:<> TEST.VALUE:NVDataMgmt.enqueue.extAddress:<> TEST.VALUE:NVDataMgmt.enqueue.length:<> TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.ops:NVDATAMGMT_WRITE,NVDATAMGMT_READ TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.location:NVDATAMGMT_RTC,NVDATAMGMT_EEPROM TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.startAddress:0,4028645376 TEST.END -- Test Case: enqueue.006 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:enqueue TEST.NEW TEST.NAME:enqueue.006 TEST.MCDC_BASIS_PATH:6 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (ops == (NVDATAMGMT_WRITE) && location == (NVDATAMGMT_EEPROM)) ==> FALSE (3) if (ops == (NVDATAMGMT_READ) && location == (NVDATAMGMT_EEPROM)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.setMemoryOpsStruct TEST.STUB:NVDataMgmt.prepareWriteLogJobAndGetStartAddress TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.ops:NVDATAMGMT_READ TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.location:NVDATAMGMT_RTC TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.startAddress:0 TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.data:"" TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.length:0 TEST.VALUE:NVDataMgmt.enqueue.ops:NVDATAMGMT_READ TEST.VALUE:NVDataMgmt.enqueue.location:NVDATAMGMT_RTC TEST.VALUE:NVDataMgmt.enqueue.startAddress:<> TEST.VALUE:NVDataMgmt.enqueue.data:<> TEST.VALUE:NVDataMgmt.enqueue.extAddress:<> TEST.VALUE:NVDataMgmt.enqueue.length:<> TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.ops:NVDATAMGMT_READ TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.location:NVDATAMGMT_RTC TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.startAddress:0 TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.data:"" TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.length:0 TEST.END -- Test Case: enqueue.007 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:enqueue TEST.NEW TEST.NAME:enqueue.007 TEST.MCDC_BASIS_PATH:13 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) if (ops == (NVDATAMGMT_WRITE) && location == (NVDATAMGMT_EEPROM)) ==> FALSE (3) if (ops == (NVDATAMGMT_READ) && location == (NVDATAMGMT_EEPROM)) ==> TRUE (4) if (startAddress == (0)) ==> 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.setMemoryOpsStruct TEST.STUB:NVDataMgmt.prepareWriteLogJobAndGetStartAddress TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.ops:NVDATAMGMT_READ TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.location:NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.startAddress:1 TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.length:0 TEST.VALUE:NVDataMgmt.enqueue.ops:NVDATAMGMT_READ TEST.VALUE:NVDataMgmt.enqueue.location:NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.enqueue.startAddress:1 TEST.VALUE:NVDataMgmt.enqueue.data:<> TEST.VALUE:NVDataMgmt.enqueue.extAddress:<> TEST.VALUE:NVDataMgmt.enqueue.length:<> TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.ops:NVDATAMGMT_READ TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.location:NVDATAMGMT_EEPROM TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.startAddress:1 TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.length:0 TEST.END -- Test Case: enqueue.008 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:enqueue TEST.NEW TEST.NAME:enqueue.008 TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) if (ops == (NVDATAMGMT_WRITE) && location == (NVDATAMGMT_EEPROM)) ==> FALSE (3) if (ops == (NVDATAMGMT_READ) && location == (NVDATAMGMT_EEPROM)) ==> TRUE (4) if (startAddress == (0)) ==> 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.setMemoryOpsStruct TEST.STUB:NVDataMgmt.prepareWriteLogJobAndGetStartAddress TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.ops:NVDATAMGMT_NONE TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.location:NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.startAddress:1000 TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.data:"" TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.length:200 TEST.VALUE:NVDataMgmt.prepareWriteLogJobAndGetStartAddress.data:"" TEST.VALUE:NVDataMgmt.prepareWriteLogJobAndGetStartAddress.return:1000 TEST.VALUE:NVDataMgmt.enqueue.ops:NVDATAMGMT_WRITE TEST.VALUE:NVDataMgmt.enqueue.location:NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.enqueue.startAddress:<> TEST.VALUE:NVDataMgmt.enqueue.data:<> TEST.VALUE:NVDataMgmt.enqueue.extAddress:<> TEST.VALUE:NVDataMgmt.enqueue.length:200 TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.ops:NVDATAMGMT_WRITE TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.location:NVDATAMGMT_EEPROM TEST.EXPECTED:NVDataMgmt.prepareWriteLogJobAndGetStartAddress.data:"" TEST.END -- Test Case: enqueue.009 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:enqueue TEST.NEW TEST.NAME:enqueue.009 TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) if (ops == (NVDATAMGMT_WRITE) && location == (NVDATAMGMT_EEPROM)) ==> FALSE (3) if (ops == (NVDATAMGMT_READ) && location == (NVDATAMGMT_EEPROM)) ==> TRUE (4) if (startAddress == (0)) ==> 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.setMemoryOpsStruct TEST.STUB:NVDataMgmt.prepareWriteLogJobAndGetStartAddress TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.ops:NVDATAMGMT_NONE TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.location:NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.startAddress:1000 TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.data:"" TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.length:200 TEST.VALUE:NVDataMgmt.prepareWriteLogJobAndGetStartAddress.data:"" TEST.VALUE:NVDataMgmt.prepareWriteLogJobAndGetStartAddress.return:1000 TEST.VALUE:NVDataMgmt.enqueue.ops:NVDATAMGMT_WRITE TEST.VALUE:NVDataMgmt.enqueue.location:NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.enqueue.startAddress:<> TEST.VALUE:NVDataMgmt.enqueue.data:<> TEST.VALUE:NVDataMgmt.enqueue.extAddress:<> TEST.VALUE:NVDataMgmt.enqueue.length:32 TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.ops:NVDATAMGMT_WRITE TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.location:NVDATAMGMT_EEPROM TEST.EXPECTED:NVDataMgmt.prepareWriteLogJobAndGetStartAddress.data:"" TEST.END -- Subprogram: enqueueNVRecordsForRead -- Test Case: enqueueNVRecordsForRead.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:enqueueNVRecordsForRead TEST.NEW TEST.NAME:enqueueNVRecordsForRead.001 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (getAvailableRecordQueueCount() > (NUM_OF_NVDATMGMT_RECORDS_JOBS) && (DG_MODE_FAUL) == getCurrentOperationMode()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.enqueueRecordJob TEST.STUB:NVDataMgmt.getAvailableRecordQueueCount TEST.VALUE:NVDataMgmt.enqueueNVRecordsForRead.return:0 TEST.VALUE:NVDataMgmt.enqueueRecordJob.ops:(5)NVDATAMGMT_READ TEST.VALUE:NVDataMgmt.enqueueRecordJob.location:(3)NVDATAMGMT_EEPROM,NVDATAMGMT_RTC,NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.enqueueRecordJob.job:NVDATAMGMT_CALIBRATION_RECORD,NVDATAMGMT_SYSTEM_RECORD,NVDATAMGMT_SERVICE_RECORD,NVDATAMGMT_SW_CONFIG_RECORD,NVDATAMGMT_USAGE_INFO_RECORD TEST.VALUE:NVDataMgmt.getAvailableRecordQueueCount.return:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.EXPECTED:NVDataMgmt.enqueueNVRecordsForRead.return:1 TEST.EXPECTED:NVDataMgmt.enqueueRecordJob.ops:(5)NVDATAMGMT_READ TEST.EXPECTED:NVDataMgmt.enqueueRecordJob.location:(3)NVDATAMGMT_EEPROM,NVDATAMGMT_RTC,NVDATAMGMT_EEPROM TEST.EXPECTED:NVDataMgmt.enqueueRecordJob.job:NVDATAMGMT_CALIBRATION_RECORD,NVDATAMGMT_SYSTEM_RECORD,NVDATAMGMT_SERVICE_RECORD,NVDATAMGMT_SW_CONFIG_RECORD,NVDATAMGMT_USAGE_INFO_RECORD TEST.END -- Test Case: enqueueNVRecordsForRead.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:enqueueNVRecordsForRead TEST.NEW TEST.NAME:enqueueNVRecordsForRead.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (getAvailableRecordQueueCount() > (NUM_OF_NVDATMGMT_RECORDS_JOBS) && (DG_MODE_FAUL) == getCurrentOperationMode()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.getAvailableRecordQueueCount TEST.VALUE:NVDataMgmt.enqueueNVRecordsForRead.return:0 TEST.VALUE:NVDataMgmt.getAvailableRecordQueueCount.return:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_SERV TEST.EXPECTED:NVDataMgmt.enqueueNVRecordsForRead.return:0 TEST.END -- Test Case: enqueueNVRecordsForRead.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:enqueueNVRecordsForRead TEST.NEW TEST.NAME:enqueueNVRecordsForRead.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (getAvailableRecordQueueCount() > (NUM_OF_NVDATMGMT_RECORDS_JOBS) && (DG_MODE_FAUL) == getCurrentOperationMode()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.enqueueRecordJob TEST.STUB:NVDataMgmt.getAvailableRecordQueueCount TEST.VALUE:NVDataMgmt.enqueueNVRecordsForRead.return:0 TEST.VALUE:NVDataMgmt.getAvailableRecordQueueCount.return:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_SERV TEST.EXPECTED:NVDataMgmt.enqueueNVRecordsForRead.return:0 TEST.END -- Subprogram: enqueuePOSTReadRecords -- Test Case: enqueuePOSTReadRecords.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:enqueuePOSTReadRecords TEST.NEW TEST.NAME:enqueuePOSTReadRecords.001 TEST.BASIS_PATH:1 of 2 (template) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) for (record < (NUM_OF_NVDATMGMT_RECORDS_JOBS)) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.STUB:NVDataMgmt.enqueueRecordJob TEST.VALUE:NVDataMgmt.<>.recordsReadStatus:NVDATAMGMT_RECORDS_QUEUED TEST.VALUE:NVDataMgmt.enqueueRecordJob.ops:NVDATAMGMT_READ TEST.VALUE:NVDataMgmt.enqueueRecordJob.location:(3)NVDATAMGMT_EEPROM,NVDATAMGMT_RTC,NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.enqueueRecordJob.job:NVDATAMGMT_CALIBRATION_RECORD,NVDATAMGMT_SYSTEM_RECORD,NVDATAMGMT_SERVICE_RECORD,NVDATAMGMT_SW_CONFIG_RECORD,NVDATAMGMT_USAGE_INFO_RECORD TEST.EXPECTED:NVDataMgmt.<>.recordsReadStatus:NVDATAMGMT_RECORDS_QUEUED TEST.EXPECTED:NVDataMgmt.enqueueRecordJob.ops:(5)NVDATAMGMT_READ TEST.EXPECTED:NVDataMgmt.enqueueRecordJob.location:(3)NVDATAMGMT_EEPROM,NVDATAMGMT_RTC,NVDATAMGMT_EEPROM TEST.EXPECTED:NVDataMgmt.enqueueRecordJob.job:NVDATAMGMT_CALIBRATION_RECORD,NVDATAMGMT_SYSTEM_RECORD,NVDATAMGMT_SERVICE_RECORD,NVDATAMGMT_SW_CONFIG_RECORD,NVDATAMGMT_USAGE_INFO_RECORD TEST.END -- Subprogram: enqueueRecordJob -- Test Case: enqueueRecordJob.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:enqueueRecordJob TEST.NEW TEST.NAME:enqueueRecordJob.001 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) (recordQueueRearIndex >= 20U - (1)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( NVDataMgmt.<>.recordQueueRearIndex ) in branch 1 TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.recordQueueRearIndex:<> TEST.VALUE:NVDataMgmt.<>.currentJob.memoryOperation:NVDATAMGMT_NONE TEST.VALUE:NVDataMgmt.<>.currentJob.memoryLocation:NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.<>.currentJob.startAddress:0x0 TEST.VALUE:NVDataMgmt.<>.currentJob.buffer:<> TEST.VALUE:NVDataMgmt.<>.currentJob.buffer:"" TEST.VALUE:NVDataMgmt.<>.currentJob.length:100 TEST.VALUE:NVDataMgmt.enqueueRecordJob.ops:<> TEST.VALUE:NVDataMgmt.enqueueRecordJob.location:<> TEST.VALUE:NVDataMgmt.enqueueRecordJob.job:<> TEST.EXPECTED:NVDataMgmt.<>.currentJob.memoryOperation:NVDATAMGMT_NONE TEST.EXPECTED:NVDataMgmt.<>.currentJob.memoryLocation:NVDATAMGMT_EEPROM TEST.EXPECTED:NVDataMgmt.<>.currentJob.startAddress:0x0 TEST.EXPECTED:NVDataMgmt.<>.currentJob.buffer:"" TEST.EXPECTED:NVDataMgmt.<>.currentJob.length:100 TEST.END -- Test Case: enqueueRecordJob.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:enqueueRecordJob TEST.NEW TEST.NAME:enqueueRecordJob.002 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) (recordQueueRearIndex >= 20U - (1)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( NVDataMgmt.<>.recordQueueRearIndex ) in branch 1 TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.recordQueueRearIndex:<> TEST.VALUE:NVDataMgmt.<>.currentJob.memoryOperation:NVDATAMGMT_READ TEST.VALUE:NVDataMgmt.<>.currentJob.memoryLocation:NUM_OF_NVDATAMGMT_LOC_STATES TEST.VALUE:NVDataMgmt.<>.currentJob.startAddress:0x100 TEST.VALUE:NVDataMgmt.<>.currentJob.buffer:<> TEST.VALUE:NVDataMgmt.<>.currentJob.buffer:"" TEST.VALUE:NVDataMgmt.<>.currentJob.length:100 TEST.VALUE:NVDataMgmt.enqueueRecordJob.ops:<> TEST.VALUE:NVDataMgmt.enqueueRecordJob.location:<> TEST.VALUE:NVDataMgmt.enqueueRecordJob.job:<> TEST.EXPECTED:NVDataMgmt.<>.currentJob.memoryOperation:NVDATAMGMT_READ TEST.EXPECTED:NVDataMgmt.<>.currentJob.memoryLocation:NUM_OF_NVDATAMGMT_LOC_STATES TEST.EXPECTED:NVDataMgmt.<>.currentJob.startAddress:0x100 TEST.EXPECTED:NVDataMgmt.<>.currentJob.buffer:"" TEST.EXPECTED:NVDataMgmt.<>.currentJob.length:100 TEST.END -- Subprogram: enqueueSector0Records -- Test Case: enqueueSector0Records.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:enqueueSector0Records TEST.NEW TEST.NAME:enqueueSector0Records.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (getAvailableRecordQueueCount() >= 4U) ==> 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.getAvailableRecordQueueCount TEST.VALUE:NVDataMgmt.getAvailableRecordQueueCount.return:<> TEST.VALUE:NVDataMgmt.enqueueSector0Records.return:1 TEST.EXPECTED:NVDataMgmt.enqueueSector0Records.return:1 TEST.END -- Test Case: enqueueSector0Records.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:enqueueSector0Records TEST.NEW TEST.NAME:enqueueSector0Records.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (getAvailableRecordQueueCount() >= 4U) ==> 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.getAvailableRecordQueueCount TEST.VALUE:NVDataMgmt.getAvailableRecordQueueCount.return:<> TEST.VALUE:NVDataMgmt.enqueueSector0Records.return:0 TEST.EXPECTED:NVDataMgmt.enqueueSector0Records.return:0 TEST.END -- Subprogram: eraseDataLogSectors -- Test Case: eraseDataLogSectors.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:eraseDataLogSectors TEST.NEW TEST.NAME:eraseDataLogSectors.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (availableQueue >= 3U) ==> 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.getAvailableQueueCount TEST.VALUE:NVDataMgmt.getAvailableQueueCount.return:<> TEST.VALUE:NVDataMgmt.eraseDataLogSectors.return:1 TEST.EXPECTED:NVDataMgmt.eraseDataLogSectors.return:1 TEST.END -- Test Case: eraseDataLogSectors.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:eraseDataLogSectors TEST.NEW TEST.NAME:eraseDataLogSectors.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (availableQueue >= 3U) ==> 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.getAvailableQueueCount TEST.VALUE:NVDataMgmt.getAvailableQueueCount.return:<> TEST.VALUE:NVDataMgmt.eraseDataLogSectors.return:0 TEST.EXPECTED:NVDataMgmt.eraseDataLogSectors.return:0 TEST.END -- Subprogram: execNVDataMgmt -- Test Case: execNVDataMgmt.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmt TEST.NEW TEST.NAME:execNVDataMgmt.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 748 TEST.STUB:NVDataMgmt.handleExecWaitForPostState >>> >>> Could not find function handleExecWaitForPostState >>> >>> in unit NVDataMgmt. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 748 >>> >>> Could not stub NVDataMgmt.handleExecWaitForPostState >>> (E) @LINE: 749 TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_WAIT_FOR_POST >>> >>> Value for 'Enumeral' out of range >>> >>> Read "NVDATAMGMT_EXEC_STATE_WAIT_FOR_POST" >>> >>> Command Ignored >>> (E) @LINE: 750 TEST.VALUE:NVDataMgmt.handleExecWaitForPostState.return:NVDATAMGMT_EXEC_STATE_WAIT_FOR_POST >>> >>> Subprogram 'handleExecWaitForPostState' is invalid >>> >>> Command Ignored >>> (E) @LINE: 751 TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_WAIT_FOR_POST >>> >>> Value for 'Enumeral' out of range >>> >>> Read "NVDATAMGMT_EXEC_STATE_WAIT_FOR_POST" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.END -- Test Case: execNVDataMgmt.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmt TEST.NEW TEST.NAME:execNVDataMgmt.002 TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_IDLE TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_IDLE TEST.END -- Test Case: execNVDataMgmt.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmt TEST.NEW TEST.NAME:execNVDataMgmt.003 TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM TEST.END -- Test Case: execNVDataMgmt.004 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmt TEST.NEW TEST.NAME:execNVDataMgmt.004 TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_VERIFY_EEPROM_WRITE TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_VERIFY_EEPROM_WRITE TEST.END -- Test Case: execNVDataMgmt.005 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmt TEST.NEW TEST.NAME:execNVDataMgmt.005 TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_READ_FROM_EEPROM TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_READ_FROM_EEPROM TEST.END -- Test Case: execNVDataMgmt.006 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmt TEST.NEW TEST.NAME:execNVDataMgmt.006 TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_ERASE_EEPROM TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_ERASE_EEPROM TEST.END -- Test Case: execNVDataMgmt.007 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmt TEST.NEW TEST.NAME:execNVDataMgmt.007 TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_VERIFY_RTC_WRITE TEST.END -- Test Case: execNVDataMgmt.008 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmt TEST.NEW TEST.NAME:execNVDataMgmt.008 TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_VERIFY_RTC_WRITE TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC TEST.END -- Test Case: execNVDataMgmt.009 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmt TEST.NEW TEST.NAME:execNVDataMgmt.009 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 824 TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_WAIT_FOR_POST >>> >>> Value for 'Enumeral' out of range >>> >>> Read "NVDATAMGMT_EXEC_STATE_WAIT_FOR_POST" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.STUB:NVDataMgmt.handleExecReadFromRAMState TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_READ_FROM_RTC TEST.END -- Test Case: execNVDataMgmt.010 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmt TEST.NEW TEST.NAME:execNVDataMgmt.010 TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecState:NUM_OF_NVDATAMGMT_EXEC_STATES TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_IDLE TEST.END -- Subprogram: execNVDataMgmtProcessRecord -- Test Case: execNVDataMgmtProcessRecord.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmtProcessRecord TEST.NEW TEST.NAME:execNVDataMgmtProcessRecord.001 TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_IDLE TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_IDLE TEST.END -- Test Case: execNVDataMgmtProcessRecord.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmtProcessRecord TEST.NEW TEST.NAME:execNVDataMgmtProcessRecord.002 TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_IDLE TEST.END -- Test Case: execNVDataMgmtProcessRecord.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmtProcessRecord TEST.NEW TEST.NAME:execNVDataMgmtProcessRecord.003 TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (3) case nvDataMgmtExecProcessRecordState ==> default (4) if (nvDataMgmtExecReceiveRecordState != (NVDATAMGMT_RECEIVE_RECORD_IDLE)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecProcessRecordState:NUM_OF_NVDATAMGMT_PROCESS_RECORD_STATES TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_IDLE TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE TEST.END -- Test Case: execNVDataMgmtProcessRecord.004 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmtProcessRecord TEST.NEW TEST.NAME:execNVDataMgmtProcessRecord.004 TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (3) case nvDataMgmtExecProcessRecordState ==> default (4) if (nvDataMgmtExecReceiveRecordState != (NVDATAMGMT_RECEIVE_RECORD_IDLE)) ==> TRUE (5) if ((1) == didTimeout(recordReceiveStartTime, 4 * 1000)) ==> 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.VALUE:NVDataMgmt.<>.nvDataMgmtExecProcessRecordState:NUM_OF_NVDATAMGMT_PROCESS_RECORD_STATES TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_IDLE TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE TEST.END -- Subprogram: execNVDataMgmtSelfTest -- Test Case: execNVDataMgmtSelfTest.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmtSelfTest TEST.NEW TEST.NAME:execNVDataMgmtSelfTest.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 907 TEST.VALUE:NVDataMgmt.<>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_START >>> >>> Value for 'Enumeral' out of range >>> >>> Read "NVDATAMGMT_SELF_TEST_STATE_START" >>> >>> Command Ignored >>> (E) @LINE: 908 TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_START >>> >>> Value for 'Enumeral' out of range >>> >>> Read "NVDATAMGMT_SELF_TEST_STATE_START" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.END -- Test Case: execNVDataMgmtSelfTest.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmtSelfTest TEST.NEW TEST.NAME:execNVDataMgmtSelfTest.002 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 916 TEST.VALUE:NVDataMgmt.<>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_CAL_RECORD >>> >>> Value for 'Enumeral' out of range >>> >>> Read "NVDATAMGMT_SELF_TEST_STATE_READ_CAL_RECORD" >>> >>> Command Ignored >>> (E) @LINE: 917 TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_CAL_RECORD >>> >>> Value for 'Enumeral' out of range >>> >>> Read "NVDATAMGMT_SELF_TEST_STATE_READ_CAL_RECORD" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.END -- Test Case: execNVDataMgmtSelfTest.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmtSelfTest TEST.NEW TEST.NAME:execNVDataMgmtSelfTest.003 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 925 TEST.VALUE:NVDataMgmt.<>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_SYS_RECORD >>> >>> Value for 'Enumeral' out of range >>> >>> Read "NVDATAMGMT_SELF_TEST_STATE_READ_SYS_RECORD" >>> >>> Command Ignored >>> (E) @LINE: 926 TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_SYS_RECORD >>> >>> Value for 'Enumeral' out of range >>> >>> Read "NVDATAMGMT_SELF_TEST_STATE_READ_SYS_RECORD" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.END -- Test Case: execNVDataMgmtSelfTest.004 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmtSelfTest TEST.NEW TEST.NAME:execNVDataMgmtSelfTest.004 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 934 TEST.VALUE:NVDataMgmt.<>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_SERVICE_RECORD >>> >>> Value for 'Enumeral' out of range >>> >>> Read "NVDATAMGMT_SELF_TEST_STATE_READ_SERVICE_RECORD" >>> >>> Command Ignored >>> (E) @LINE: 935 TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_SW_CONFIG_RECORD >>> >>> Value for 'Enumeral' out of range >>> >>> Read "NVDATAMGMT_SELF_TEST_STATE_READ_SW_CONFIG_RECORD" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.END -- Test Case: execNVDataMgmtSelfTest.005 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmtSelfTest TEST.NEW TEST.NAME:execNVDataMgmtSelfTest.005 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 943 TEST.VALUE:NVDataMgmt.<>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_LOG_RECORD >>> >>> Value for 'Enumeral' out of range >>> >>> Read "NVDATAMGMT_SELF_TEST_STATE_READ_LOG_RECORD" >>> >>> Command Ignored >>> (E) @LINE: 944 TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_SYS_RECORD >>> >>> Value for 'Enumeral' out of range >>> >>> Read "NVDATAMGMT_SELF_TEST_STATE_READ_SYS_RECORD" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.END -- Test Case: execNVDataMgmtSelfTest.006 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmtSelfTest TEST.NEW TEST.NAME:execNVDataMgmtSelfTest.006 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 952 TEST.VALUE:NVDataMgmt.<>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_TREATMENT_TIME >>> >>> Value for 'Enumeral' out of range >>> >>> Read "NVDATAMGMT_SELF_TEST_STATE_READ_TREATMENT_TIME" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_CHECK_CRC TEST.END -- Test Case: execNVDataMgmtSelfTest.007 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmtSelfTest TEST.NEW TEST.NAME:execNVDataMgmtSelfTest.007 TEST.VALUE:NVDataMgmt.<>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_CHECK_CRC TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_COMPLETE TEST.END -- Test Case: execNVDataMgmtSelfTest.008 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmtSelfTest TEST.NEW TEST.NAME:execNVDataMgmtSelfTest.008 TEST.VALUE:NVDataMgmt.<>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_COMPLETE TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_COMPLETE TEST.END -- Test Case: execNVDataMgmtSelfTest.009 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmtSelfTest TEST.NEW TEST.NAME:execNVDataMgmtSelfTest.009 TEST.VALUE:NVDataMgmt.<>.nvDataMgmtSelfTestState:NUM_OF_NVDATAMGMT_SELF_TEST_STATES TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_COMPLETE TEST.END -- Test Case: execNVDataMgmtSelfTest.010 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:execNVDataMgmtSelfTest TEST.NEW TEST.NAME:execNVDataMgmtSelfTest.010 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 995 TEST.VALUE:NVDataMgmt.<>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_SW_CONFIG_RECORD >>> >>> Value for 'Enumeral' out of range >>> >>> Read "NVDATAMGMT_SELF_TEST_STATE_READ_SW_CONFIG_RECORD" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:8 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 8 (7) case nvDataMgmtSelfTestState ==> NVDATAMGMT_SELF_TEST_STATE_READ_SW_CONFIG_RECORD Test Case Generation Notes: TEST.END_NOTES: TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_CHECK_CRC TEST.END -- Subprogram: getAvailableQueueCount -- Test Case: getAvailableQueueCount.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:getAvailableQueueCount TEST.NEW TEST.NAME:getAvailableQueueCount.001 TEST.VALUE:NVDataMgmt.getAvailableQueueCount.return:20 TEST.EXPECTED:NVDataMgmt.getAvailableQueueCount.return:20 TEST.END -- Subprogram: getAvailableRecordQueueCount -- Test Case: getAvailableRecordQueueCount.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:getAvailableRecordQueueCount TEST.NEW TEST.NAME:getAvailableRecordQueueCount.001 TEST.VALUE:NVDataMgmt.getAvailableRecordQueueCount.return:20 TEST.EXPECTED:NVDataMgmt.getAvailableRecordQueueCount.return:20 TEST.END -- Subprogram: getNVRecord2Driver -- Test Case: getNVRecord2Driver.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:getNVRecord2Driver TEST.NEW TEST.NAME:getNVRecord2Driver.001 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_BLOOD_LEAK_SENSOR TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:"" TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferLength:0 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.VALUE:NVDataMgmt.getNVRecord2Driver.return:1 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_BLOOD_LEAK_SENSOR TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferAddress:"" TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferLength:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.return:1 TEST.END -- Test Case: getNVRecord2Driver.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:getNVRecord2Driver TEST.NEW TEST.NAME:getNVRecord2Driver.002 TEST.VALUE:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.bloodLeakSensorCalRecord.calibrationTime:10 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_BLOOD_LEAK_SENSOR TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:"" TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferLength:0 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.VALUE:NVDataMgmt.getNVRecord2Driver.return:1 TEST.EXPECTED:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.bloodLeakSensorCalRecord.calibrationTime:10 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_BLOOD_LEAK_SENSOR TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferAddress:"" TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferLength:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.return:1 TEST.END -- Test Case: getNVRecord2Driver.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:getNVRecord2Driver TEST.NEW TEST.NAME:getNVRecord2Driver.003 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_TEMPERATURE_SESNORS TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:"" TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferLength:0 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.VALUE:NVDataMgmt.getNVRecord2Driver.return:1 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_TEMPERATURE_SESNORS TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferAddress:"" TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferLength:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.return:1 TEST.END -- Test Case: getNVRecord2Driver.004 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:getNVRecord2Driver TEST.NEW TEST.NAME:getNVRecord2Driver.004 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1318 TEST.VALUE:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.tempSensorsCalRecord.hdTemperatureSensors[CAL_DATA_HD_BOARD_TEMP_SENSOR_1].calibrationTime:10 >>> >>> Invalid array index value CAL_DATA_HD_BOARD_TEMP_SENSOR_1 >>> >>> Command Ignored. >>> (E) @LINE: 1327 TEST.EXPECTED:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.tempSensorsCalRecord.hdTemperatureSensors[CAL_DATA_HD_BOARD_TEMP_SENSOR_1].calibrationTime:10 >>> >>> Invalid array index value CAL_DATA_HD_BOARD_TEMP_SENSOR_1 >>> >>> Command Ignored. TEST.END_IMPORT_FAILURES: TEST.VALUE:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.bloodLeakSensorCalRecord.calibrationTime:10 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_TEMPERATURE_SESNORS TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:"" TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferLength:10 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.VALUE:NVDataMgmt.getNVRecord2Driver.return:1 TEST.EXPECTED:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.bloodLeakSensorCalRecord.calibrationTime:10 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_TEMPERATURE_SESNORS TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferAddress:"" TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferLength:10 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.return:1 TEST.END -- Test Case: getNVRecord2Driver.005 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:getNVRecord2Driver TEST.NEW TEST.NAME:getNVRecord2Driver.005 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvData:GET_SRV_RECORD TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress[0]:2 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferLength:20 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.VALUE:NVDataMgmt.getNVRecord2Driver.return:1 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvData:GET_SRV_RECORD TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferLength:20 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.return:1 TEST.END -- Test Case: getNVRecord2Driver.006 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:getNVRecord2Driver TEST.NEW TEST.NAME:getNVRecord2Driver.006 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_BLOOD_LEAK_SENSOR TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:"" TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferLength:0 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.VALUE:NVDataMgmt.getNVRecord2Driver.return:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_BLOOD_LEAK_SENSOR TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferAddress:"" TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferLength:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.return:0 TEST.END -- Test Case: getNVRecord2Driver.007 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:getNVRecord2Driver TEST.NEW TEST.NAME:getNVRecord2Driver.007 TEST.BASIS_PATH:4 of 27 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 4 (24) case nvData ==> default (25) if (bufferLength >= nvDataLength && nvDataStartPtr != (0)) ==> TRUE (26) if ((0) == isNVDataValid) ==> FALSE Test Case Generation Notes: Cannot set local variable nvDataStartPtr in branch 25 Cannot set local variable isNVDataValid in branch 26 TEST.END_NOTES: TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvData:NUM_OF_NV_HD_DATA TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferLength:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvAlarm:<> TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvData:NUM_OF_NV_HD_DATA TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferLength:4294967295 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.END -- Test Case: getNVRecord2Driver.008 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:getNVRecord2Driver TEST.NEW TEST.NAME:getNVRecord2Driver.008 TEST.BASIS_PATH:8 of 27 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 8 (3) case nvData ==> GET_CAL_TEMPERATURE_SESNORS (4) for (i < (NUM_OF_CAL_DATA_HD_TEMP_SENSORS)) ==> TRUE (5) if ((0) == (((hdCalibrationRecord.hdCalibrationGroups).tempSensorsCalRecord).hdTemperatureSensors[i]).calibrationTime) ==> FALSE (25) if (bufferLength >= nvDataLength && nvDataStartPtr != (0)) ==> FALSE (26) if ((0) == isNVDataValid) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 4 Cannot set i due to assignment Cannot set nvDataStartPtr due to assignment Cannot set isNVDataValid due to assignment TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.tempSensorsCalRecord.hdTemperatureSensors[CAL_DATA_HD_THERMISTOR_ONBOARD_NTC].calibrationTime:1 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_TEMPERATURE_SESNORS TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferLength:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvAlarm:<> TEST.EXPECTED:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.tempSensorsCalRecord.hdTemperatureSensors[CAL_DATA_HD_THERMISTOR_ONBOARD_NTC].calibrationTime:1 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_TEMPERATURE_SESNORS TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferLength:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.END -- Test Case: getNVRecord2Driver.009 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:getNVRecord2Driver TEST.NEW TEST.NAME:getNVRecord2Driver.009 TEST.BASIS_PATH:10 of 27 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 10 (6) case nvData ==> GET_CAL_ACCEL_SENSORS (7) if ((0) == ((hdCalibrationRecord.hdCalibrationGroups).accelerometerSensorCalRecord).calibrationTime) ==> FALSE (25) if (bufferLength >= nvDataLength && nvDataStartPtr != (0)) ==> FALSE (26) if ((0) == isNVDataValid) ==> FALSE Test Case Generation Notes: Cannot set nvDataStartPtr due to assignment Cannot set isNVDataValid due to assignment TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.accelerometerSensorCalRecord.calibrationTime:1 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_ACCEL_SENSORS TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferLength:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvAlarm:<> TEST.EXPECTED:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.accelerometerSensorCalRecord.calibrationTime:1 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_ACCEL_SENSORS TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferLength:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.END -- Test Case: getNVRecord2Driver.010 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:getNVRecord2Driver TEST.NEW TEST.NAME:getNVRecord2Driver.010 TEST.BASIS_PATH:11 of 27 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 11 (6) case nvData ==> GET_CAL_ACCEL_SENSORS (7) if ((0) == ((hdCalibrationRecord.hdCalibrationGroups).accelerometerSensorCalRecord).calibrationTime) ==> TRUE (25) if (bufferLength >= nvDataLength && nvDataStartPtr != (0)) ==> FALSE (26) if ((0) == isNVDataValid) ==> FALSE Test Case Generation Notes: Cannot set nvDataStartPtr due to assignment Cannot set isNVDataValid due to assignment TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.accelerometerSensorCalRecord.calibrationTime:0 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_ACCEL_SENSORS TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferLength:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvAlarm:<> TEST.EXPECTED:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.accelerometerSensorCalRecord.calibrationTime:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_ACCEL_SENSORS TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferLength:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.END -- Test Case: getNVRecord2Driver.011 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:getNVRecord2Driver TEST.NEW TEST.NAME:getNVRecord2Driver.011 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1292 TEST.VALUE:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.heparinForceSensorCalRecord.hdHeparinForceSensor.calibrationTime:1 >>> >>> Expected a field name from the record type HD_HEPARIN_FORCE_SENSOR_CAL_RECORD_T >>> >>> Read: hdHeparinForceSensor >>> (E) @LINE: 1298 TEST.EXPECTED:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.heparinForceSensorCalRecord.hdHeparinForceSensor.calibrationTime:1 >>> >>> Expected a field name from the record type HD_HEPARIN_FORCE_SENSOR_CAL_RECORD_T >>> >>> Read: hdHeparinForceSensor TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:12 of 27 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 12 (8) case nvData ==> GET_CAL_HEPARIN_FORCE_SENSOR (9) if ((0) == (((hdCalibrationRecord.hdCalibrationGroups).heparinForceSensorCalRecord).hdHeparinForceSensor).calibrationTime) ==> FALSE (25) if (bufferLength >= nvDataLength && nvDataStartPtr != (0)) ==> FALSE (26) if ((0) == isNVDataValid) ==> FALSE Test Case Generation Notes: Cannot set nvDataStartPtr due to assignment Cannot set isNVDataValid due to assignment TEST.END_NOTES: TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_HEPARIN_FORCE_SENSOR TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferLength:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvAlarm:<> TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_HEPARIN_FORCE_SENSOR TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferLength:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.END -- Test Case: getNVRecord2Driver.012 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:getNVRecord2Driver TEST.NEW TEST.NAME:getNVRecord2Driver.012 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1322 TEST.VALUE:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.heparinForceSensorCalRecord.hdHeparinForceSensor.calibrationTime:0 >>> >>> Expected a field name from the record type HD_HEPARIN_FORCE_SENSOR_CAL_RECORD_T >>> >>> Read: hdHeparinForceSensor >>> (E) @LINE: 1328 TEST.EXPECTED:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.heparinForceSensorCalRecord.hdHeparinForceSensor.calibrationTime:0 >>> >>> Expected a field name from the record type HD_HEPARIN_FORCE_SENSOR_CAL_RECORD_T >>> >>> Read: hdHeparinForceSensor TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:13 of 27 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 13 (8) case nvData ==> GET_CAL_HEPARIN_FORCE_SENSOR (9) if ((0) == (((hdCalibrationRecord.hdCalibrationGroups).heparinForceSensorCalRecord).hdHeparinForceSensor).calibrationTime) ==> TRUE (25) if (bufferLength >= nvDataLength && nvDataStartPtr != (0)) ==> FALSE (26) if ((0) == isNVDataValid) ==> FALSE Test Case Generation Notes: Cannot set nvDataStartPtr due to assignment Cannot set isNVDataValid due to assignment TEST.END_NOTES: TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_HEPARIN_FORCE_SENSOR TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferLength:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvAlarm:<> TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_HEPARIN_FORCE_SENSOR TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferLength:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.END -- Test Case: getNVRecord2Driver.013 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:getNVRecord2Driver TEST.NEW TEST.NAME:getNVRecord2Driver.013 TEST.BASIS_PATH:15 of 27 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 15 (10) case nvData ==> GET_CAL_PUMPS (11) for (i < (NUM_OF_CAL_DATA_HD_PUMPS)) ==> TRUE (12) if ((0) == (((hdCalibrationRecord.hdCalibrationGroups).pumpsCalRecord).hdPumps[i]).calibrationTime) ==> FALSE (25) if (bufferLength >= nvDataLength && nvDataStartPtr != (0)) ==> FALSE (26) if ((0) == isNVDataValid) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 11 Cannot set i due to assignment Cannot set nvDataStartPtr due to assignment Cannot set isNVDataValid due to assignment TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.pumpsCalRecord.hdPumps[CAL_DATA_BLOOD_PUMP].calibrationTime:1 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_PUMPS TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferLength:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvAlarm:<> TEST.EXPECTED:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.pumpsCalRecord.hdPumps[CAL_DATA_BLOOD_PUMP].calibrationTime:1 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_PUMPS TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferLength:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.END -- Test Case: getNVRecord2Driver.014 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:getNVRecord2Driver TEST.NEW TEST.NAME:getNVRecord2Driver.014 TEST.BASIS_PATH:18 of 27 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 18 (13) case nvData ==> GET_CAL_PRESSURE_SENSORS (14) for (i < (NUM_OF_CAL_DATA_HD_PRESSURE_SESNSORS)) ==> TRUE (15) if ((0) == (((hdCalibrationRecord.hdCalibrationGroups).pressureSensorsCalRecord).hdPressureSensors[i]).calibrationTime) ==> FALSE (25) if (bufferLength >= nvDataLength && nvDataStartPtr != (0)) ==> FALSE (26) if ((0) == isNVDataValid) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 14 Cannot set i due to assignment Cannot set nvDataStartPtr due to assignment Cannot set isNVDataValid due to assignment TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.pressureSensorsCalRecord.hdPressureSensors[CAL_DATA_ARTERIAL_PRESSURE_SENSOR].calibrationTime:1 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_PRESSURE_SENSORS TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferLength:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvAlarm:<> TEST.EXPECTED:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.pressureSensorsCalRecord.hdPressureSensors[CAL_DATA_ARTERIAL_PRESSURE_SENSOR].calibrationTime:1 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_PRESSURE_SENSORS TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferLength:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.END -- Test Case: getNVRecord2Driver.015 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:getNVRecord2Driver TEST.NEW TEST.NAME:getNVRecord2Driver.015 TEST.BASIS_PATH:21 of 27 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 21 (16) case nvData ==> GET_CAL_OCCLUSION_SESNSORS (17) for (i < (NUM_OF_CAL_DATA_OCCLUSION_SENSORS)) ==> TRUE (18) if ((0) == (((hdCalibrationRecord.hdCalibrationGroups).occlusionSensorsCalRecord).hdOcclusionSensors[i]).calibrationTime) ==> FALSE (25) if (bufferLength >= nvDataLength && nvDataStartPtr != (0)) ==> FALSE (26) if ((0) == isNVDataValid) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 17 Cannot set i due to assignment Cannot set nvDataStartPtr due to assignment Cannot set isNVDataValid due to assignment TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.occlusionSensorsCalRecord.hdOcclusionSensors[CAL_DATA_BLOOD_PUMP_OCCLUSION_SENSOR].calibrationTime:1 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_OCCLUSION_SESNSORS TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferLength:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvAlarm:<> TEST.EXPECTED:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.occlusionSensorsCalRecord.hdOcclusionSensors[CAL_DATA_BLOOD_PUMP_OCCLUSION_SENSOR].calibrationTime:1 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_OCCLUSION_SESNSORS TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferLength:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.END -- Test Case: getNVRecord2Driver.016 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:getNVRecord2Driver TEST.NEW TEST.NAME:getNVRecord2Driver.016 TEST.BASIS_PATH:22 of 27 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 22 (16) case nvData ==> GET_CAL_OCCLUSION_SESNSORS (17) for (i < (NUM_OF_CAL_DATA_OCCLUSION_SENSORS)) ==> TRUE (18) if ((0) == (((hdCalibrationRecord.hdCalibrationGroups).occlusionSensorsCalRecord).hdOcclusionSensors[i]).calibrationTime) ==> TRUE (25) if (bufferLength >= nvDataLength && nvDataStartPtr != (0)) ==> FALSE (26) if ((0) == isNVDataValid) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 17 Cannot set i due to assignment Cannot set nvDataStartPtr due to assignment Cannot set isNVDataValid due to assignment TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.occlusionSensorsCalRecord.hdOcclusionSensors[CAL_DATA_BLOOD_PUMP_OCCLUSION_SENSOR].calibrationTime:0 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_OCCLUSION_SESNSORS TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferLength:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvAlarm:<> TEST.EXPECTED:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.occlusionSensorsCalRecord.hdOcclusionSensors[CAL_DATA_BLOOD_PUMP_OCCLUSION_SENSOR].calibrationTime:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_OCCLUSION_SESNSORS TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferLength:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.END -- Test Case: getNVRecord2Driver.017 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:getNVRecord2Driver TEST.NEW TEST.NAME:getNVRecord2Driver.017 TEST.BASIS_PATH:24 of 27 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 24 (19) case nvData ==> GET_CAL_VALVES (20) for (i < (NUM_OF_CAL_DATA_HD_VALVES)) ==> TRUE (21) if ((0) == (((hdCalibrationRecord.hdCalibrationGroups).valvesCalRecord).hdvalves[i]).calibrationTime) ==> FALSE (25) if (bufferLength >= nvDataLength && nvDataStartPtr != (0)) ==> FALSE (26) if ((0) == isNVDataValid) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 20 Cannot set i due to assignment Cannot set nvDataStartPtr due to assignment Cannot set isNVDataValid due to assignment TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.valvesCalRecord.hdvalves[CAL_DATA_BLOOD_VENOUS_VALVE].calibrationTime:1 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_VALVES TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferLength:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvAlarm:<> TEST.EXPECTED:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.valvesCalRecord.hdvalves[CAL_DATA_BLOOD_VENOUS_VALVE].calibrationTime:1 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_VALVES TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferLength:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.END -- Test Case: getNVRecord2Driver.018 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:getNVRecord2Driver TEST.NEW TEST.NAME:getNVRecord2Driver.018 TEST.BASIS_PATH:26 of 27 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 26 (22) case nvData ==> GET_SYS_RECORD (25) if (bufferLength >= nvDataLength && nvDataStartPtr != (0)) ==> FALSE (26) if ((0) == isNVDataValid) ==> FALSE Test Case Generation Notes: Cannot set nvDataStartPtr due to assignment Cannot set local variable isNVDataValid in branch 26 TEST.END_NOTES: TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvData:GET_SYS_RECORD TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferLength:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvAlarm:<> TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvData:GET_SYS_RECORD TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferLength:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.END -- Test Case: getNVRecord2Driver.019 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:getNVRecord2Driver TEST.NEW TEST.NAME:getNVRecord2Driver.019 TEST.NOTES: This is an automatically generated test case. Test Path 12 (8) case nvData ==> GET_CAL_HEPARIN_FORCE_SENSOR (9) if ((0) == (((hdCalibrationRecord.hdCalibrationGroups).heparinForceSensorCalRecord).hdHeparinForceSensor).calibrationTime) ==> FALSE (25) if (bufferLength >= nvDataLength && nvDataStartPtr != (0)) ==> FALSE (26) if ((0) == isNVDataValid) ==> FALSE Test Case Generation Notes: Cannot set nvDataStartPtr due to assignment Cannot set isNVDataValid due to assignment TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.hdCalibrationRecord.hdCalibrationGroups.heparinForceSensorCalRecord.calibrationTime:1 TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_HEPARIN_FORCE_SENSOR TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferLength:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:<> TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvAlarm:<> TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_HEPARIN_FORCE_SENSOR TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.bufferLength:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.EXPECTED:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM TEST.END -- Subprogram: getNVRecordsReadStatus -- Test Case: getNVRecordsReadStatus.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:getNVRecordsReadStatus TEST.NEW TEST.NAME:getNVRecordsReadStatus.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.EXPECTED:NVDataMgmt.getNVRecordsReadStatus.return:NVDATAMGMT_RECORDS_NOT_STARTED TEST.END -- Subprogram: handleExecEraseState -- Test Case: handleExecEraseState.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecEraseState TEST.NEW TEST.NAME:handleExecEraseState.001 TEST.MCDC_BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (FSMStatus == (Fapi_Status_FsmReady) || 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.<>.FSMStatus:2 TEST.VALUE:NVDataMgmt.handleExecEraseState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<> TEST.EXPECTED:NVDataMgmt.handleExecEraseState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.END -- Test Case: handleExecEraseState.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecEraseState TEST.NEW TEST.NAME:handleExecEraseState.002 TEST.MCDC_BASIS_PATH:3 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (FSMStatus == (Fapi_Status_FsmReady) || 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.<>.FSMStatus:<> TEST.VALUE:NVDataMgmt.handleExecEraseState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.VALUE:NVDataMgmt.didCommandTimeout.return:1 TEST.EXPECTED:NVDataMgmt.handleExecEraseState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.END -- Test Case: handleExecEraseState.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecEraseState TEST.NEW TEST.NAME:handleExecEraseState.003 TEST.MCDC_BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (FSMStatus == (Fapi_Status_FsmReady) || 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.<>.FSMStatus:<> TEST.VALUE:NVDataMgmt.handleExecEraseState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<> TEST.EXPECTED:NVDataMgmt.handleExecEraseState.return:NVDATAMGMT_EXEC_STATE_ERASE_EEPROM TEST.END -- Subprogram: handleExecIdleState -- Test Case: handleExecIdleState.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecIdleState TEST.NEW TEST.NAME:handleExecIdleState.001 TEST.MCDC_BASIS_PATH:22 of 28 TEST.NOTES: This is an automatically generated test case. Test Path 22 (1) if (powerOffIsImminent != (1)) ==> FALSE (5) if ((1) == areQueuesNotEmpty) ==> TRUE (6) if (ops == (NVDATAMGMT_ERASE_SECTOR)) ==> FALSE (7) if (ops == (NVDATAMGMT_WRITE) && location == (NVDATAMGMT_EEPROM)) ==> FALSE (8) if (ops == (NVDATAMGMT_READ) && location == (NVDATAMGMT_EEPROM)) ==> FALSE (9) if (ops == (NVDATAMGMT_WRITE) && location == (NVDATAMGMT_RTC)) ==> TRUE (10) if (getRTCRAMState() == (RTC_RAM_STATE_READY)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #10, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set local variable areQueuesNotEmpty in branch 5 Cannot set local variable ops in branch 6 Cannot set local variable ops in branch 7 Cannot set local variable location in branch 7 Cannot set local variable ops in branch 8 Cannot set local variable location in branch 8 Cannot set local variable ops in branch 9 Cannot set local variable location in branch 9 TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.powerOffIsImminent:1 TEST.VALUE:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.VALUE:uut_prototype_stubs.getRTCRAMState.return:RTC_RAM_STATE_READY TEST.EXPECTED:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.END -- Test Case: handleExecIdleState.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecIdleState TEST.NEW TEST.NAME:handleExecIdleState.002 TEST.MCDC_BASIS_PATH:2 of 28 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (powerOffIsImminent != (1)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.powerOffIsImminent:<> TEST.VALUE:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.EXPECTED:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.END -- Test Case: handleExecIdleState.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecIdleState TEST.NEW TEST.NAME:handleExecIdleState.003 TEST.MCDC_BASIS_PATH:24 of 28 TEST.NOTES: This is an automatically generated test case. Test Path 24 (1) if (powerOffIsImminent != (1)) ==> TRUE (2) if ((0) == isRecordQueueEmpty()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.isRecordQueueEmpty TEST.VALUE:NVDataMgmt.<>.powerOffIsImminent:<> TEST.VALUE:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0 TEST.EXPECTED:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.END -- Test Case: handleExecIdleState.004 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecIdleState TEST.NEW TEST.NAME:handleExecIdleState.004 TEST.NOTES: This is an automatically generated test case. Test Path 24 (1) if (powerOffIsImminent != (1)) ==> TRUE (2) if ((0) == isRecordQueueEmpty()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.dequeueRecordJob TEST.STUB:NVDataMgmt.areResourcesAvailableForNextJob TEST.STUB:NVDataMgmt.isRecordQueueEmpty TEST.VALUE:NVDataMgmt.<>.powerOffIsImminent:<> TEST.VALUE:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.VALUE:NVDataMgmt.areResourcesAvailableForNextJob.return:1 TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0 TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.memoryOperation:NVDATAMGMT_NONE TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.memoryLocation:NVDATAMGMT_EEPROM TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.EXPECTED:NVDataMgmt.<>.recordAddressOffset:0 TEST.EXPECTED:NVDataMgmt.<>.powerOffIsImminent:0 TEST.EXPECTED:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.END -- Test Case: handleExecIdleState.005 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecIdleState TEST.NEW TEST.NAME:handleExecIdleState.005 TEST.NOTES: This is an automatically generated test case. Test Path 24 (1) if (powerOffIsImminent != (1)) ==> TRUE (2) if ((0) == isRecordQueueEmpty()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.dequeueRecordJob TEST.STUB:NVDataMgmt.areResourcesAvailableForNextJob TEST.STUB:NVDataMgmt.isRecordQueueEmpty TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.memoryOperation:NVDATAMGMT_READ TEST.VALUE:NVDataMgmt.<>.powerOffIsImminent:<> TEST.VALUE:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.VALUE:NVDataMgmt.areResourcesAvailableForNextJob.return:1 TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0 TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.memoryOperation:NVDATAMGMT_READ TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.memoryLocation:NVDATAMGMT_EEPROM TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.EXPECTED:NVDataMgmt.<>.recordAddressOffset:0 TEST.EXPECTED:NVDataMgmt.<>.powerOffIsImminent:0 TEST.EXPECTED:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_READ_FROM_EEPROM TEST.END -- Test Case: handleExecIdleState.006 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecIdleState TEST.NEW TEST.NAME:handleExecIdleState.006 TEST.NOTES: This is an automatically generated test case. Test Path 24 (1) if (powerOffIsImminent != (1)) ==> TRUE (2) if ((0) == isRecordQueueEmpty()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.dequeueRecordJob TEST.STUB:NVDataMgmt.areResourcesAvailableForNextJob TEST.STUB:NVDataMgmt.isRecordQueueEmpty TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.memoryOperation:NVDATAMGMT_WRITE TEST.VALUE:NVDataMgmt.<>.powerOffIsImminent:<> TEST.VALUE:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.VALUE:NVDataMgmt.areResourcesAvailableForNextJob.return:1 TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0 TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.memoryOperation:NVDATAMGMT_WRITE TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.memoryLocation:NVDATAMGMT_EEPROM TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.EXPECTED:NVDataMgmt.<>.recordAddressOffset:0 TEST.EXPECTED:NVDataMgmt.<>.powerOffIsImminent:0 TEST.EXPECTED:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM TEST.END -- Test Case: handleExecIdleState.007 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecIdleState TEST.NEW TEST.NAME:handleExecIdleState.007 TEST.NOTES: This is an automatically generated test case. Test Path 24 (1) if (powerOffIsImminent != (1)) ==> TRUE (2) if ((0) == isRecordQueueEmpty()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.dequeueRecordJob TEST.STUB:NVDataMgmt.areResourcesAvailableForNextJob TEST.STUB:NVDataMgmt.isRecordQueueEmpty TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.memoryOperation:NVDATAMGMT_READ TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.memoryLocation:NVDATAMGMT_RTC TEST.VALUE:NVDataMgmt.<>.powerOffIsImminent:<> TEST.VALUE:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.VALUE:NVDataMgmt.areResourcesAvailableForNextJob.return:1 TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0 TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.memoryOperation:NVDATAMGMT_READ TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.memoryLocation:NVDATAMGMT_RTC TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.EXPECTED:NVDataMgmt.<>.recordAddressOffset:0 TEST.EXPECTED:NVDataMgmt.<>.powerOffIsImminent:0 TEST.EXPECTED:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_READ_FROM_RTC TEST.END -- Test Case: handleExecIdleState.008 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecIdleState TEST.NEW TEST.NAME:handleExecIdleState.008 TEST.NOTES: This is an automatically generated test case. Test Path 24 (1) if (powerOffIsImminent != (1)) ==> TRUE (2) if ((0) == isRecordQueueEmpty()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.dequeueRecordJob TEST.STUB:NVDataMgmt.areResourcesAvailableForNextJob TEST.STUB:NVDataMgmt.isRecordQueueEmpty TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.memoryOperation:NVDATAMGMT_ERASE_SECTOR TEST.VALUE:NVDataMgmt.<>.powerOffIsImminent:<> TEST.VALUE:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.VALUE:NVDataMgmt.areResourcesAvailableForNextJob.return:1 TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0 TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.memoryOperation:NVDATAMGMT_ERASE_SECTOR TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.memoryLocation:NVDATAMGMT_EEPROM TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.EXPECTED:NVDataMgmt.<>.recordAddressOffset:0 TEST.EXPECTED:NVDataMgmt.<>.powerOffIsImminent:0 TEST.EXPECTED:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_ERASE_EEPROM TEST.END -- Test Case: handleExecIdleState.009 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecIdleState TEST.NEW TEST.NAME:handleExecIdleState.009 TEST.NOTES: This is an automatically generated test case. Test Path 24 (1) if (powerOffIsImminent != (1)) ==> TRUE (2) if ((0) == isRecordQueueEmpty()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.dequeueRecordJob TEST.STUB:NVDataMgmt.areResourcesAvailableForNextJob TEST.STUB:NVDataMgmt.isRecordQueueEmpty TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.memoryOperation:NVDATAMGMT_WRITE TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.memoryLocation:NVDATAMGMT_RTC TEST.VALUE:NVDataMgmt.<>.powerOffIsImminent:<> TEST.VALUE:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.VALUE:NVDataMgmt.areResourcesAvailableForNextJob.return:1 TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0 TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.memoryOperation:NVDATAMGMT_WRITE TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.memoryLocation:NVDATAMGMT_RTC TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.EXPECTED:NVDataMgmt.<>.recordAddressOffset:0 TEST.EXPECTED:NVDataMgmt.<>.powerOffIsImminent:0 TEST.EXPECTED:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC TEST.END -- Test Case: handleExecIdleState.010 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecIdleState TEST.NEW TEST.NAME:handleExecIdleState.010 TEST.NOTES: This is an automatically generated test case. Test Path 24 (1) if (powerOffIsImminent != (1)) ==> TRUE (2) if ((0) == isRecordQueueEmpty()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.dequeueRecordJob TEST.STUB:NVDataMgmt.areResourcesAvailableForNextJob TEST.STUB:NVDataMgmt.isRecordQueueEmpty TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.memoryOperation:NVDATAMGMT_WRITE TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.memoryLocation:NVDATAMGMT_RTC TEST.VALUE:NVDataMgmt.<>.powerOffIsImminent:<> TEST.VALUE:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.VALUE:NVDataMgmt.areResourcesAvailableForNextJob.return:1 TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0 TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.memoryOperation:NVDATAMGMT_WRITE TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.memoryLocation:NVDATAMGMT_RTC TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.EXPECTED:NVDataMgmt.<>.recordAddressOffset:0 TEST.EXPECTED:NVDataMgmt.<>.powerOffIsImminent:0 TEST.EXPECTED:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC TEST.END -- Test Case: handleExecIdleState.011 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecIdleState TEST.NEW TEST.NAME:handleExecIdleState.011 TEST.NOTES: This is an automatically generated test case. Test Path 24 (1) if (powerOffIsImminent != (1)) ==> TRUE (2) if ((0) == isRecordQueueEmpty()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.dequeueRecordJob TEST.STUB:NVDataMgmt.areResourcesAvailableForNextJob TEST.STUB:NVDataMgmt.isRecordQueueEmpty TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.memoryOperation:NVDATAMGMT_WRITE TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.memoryLocation:NUM_OF_NVDATAMGMT_LOC_STATES TEST.VALUE:NVDataMgmt.<>.powerOffIsImminent:<> TEST.VALUE:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.VALUE:NVDataMgmt.areResourcesAvailableForNextJob.return:1 TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0 TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.memoryOperation:NVDATAMGMT_WRITE TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.memoryLocation:NUM_OF_NVDATAMGMT_LOC_STATES TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.EXPECTED:NVDataMgmt.<>.recordAddressOffset:0 TEST.EXPECTED:NVDataMgmt.<>.powerOffIsImminent:0 TEST.EXPECTED:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.END -- Test Case: handleExecIdleState.012 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecIdleState TEST.NEW TEST.NAME:handleExecIdleState.012 TEST.NOTES: This is an automatically generated test case. Test Path 24 (1) if (powerOffIsImminent != (1)) ==> TRUE (2) if ((0) == isRecordQueueEmpty()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.dequeueRecordJob TEST.STUB:NVDataMgmt.areResourcesAvailableForNextJob TEST.STUB:NVDataMgmt.isRecordQueueEmpty TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.memoryOperation:NVDATAMGMT_READ TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.memoryLocation:NUM_OF_NVDATAMGMT_LOC_STATES TEST.VALUE:NVDataMgmt.<>.powerOffIsImminent:<> TEST.VALUE:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.VALUE:NVDataMgmt.areResourcesAvailableForNextJob.return:1 TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0 TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.memoryOperation:NVDATAMGMT_READ TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.memoryLocation:NUM_OF_NVDATAMGMT_LOC_STATES TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.EXPECTED:NVDataMgmt.<>.recordAddressOffset:0 TEST.EXPECTED:NVDataMgmt.<>.powerOffIsImminent:0 TEST.EXPECTED:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.END -- Test Case: handleExecIdleState_Ops_Read TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecIdleState TEST.NEW TEST.NAME:handleExecIdleState_Ops_Read TEST.COMPOUND_ONLY TEST.NOTES: This is an automatically generated test case. Test Path 24 (1) if (powerOffIsImminent != (1)) ==> TRUE (2) if ((0) == isRecordQueueEmpty()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.recordJobQueue[1].memoryOperation:NVDATAMGMT_READ TEST.VALUE:NVDataMgmt.<>.recordJobQueue[1].memoryLocation:NVDATAMGMT_RTC TEST.VALUE:NVDataMgmt.<>.recordJobQueue[1].recordJob:NVDATAMGMT_SW_CONFIG_RECORD TEST.VALUE:NVDataMgmt.<>.recordQueueFrontIndex:1 TEST.VALUE:NVDataMgmt.<>.recordQueueCount:1 TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.memoryOperation:NVDATAMGMT_READ TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.memoryLocation:NUM_OF_NVDATAMGMT_LOC_STATES TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_USAGE_INFO_RECORD TEST.VALUE:NVDataMgmt.<>.currentJob.externalAddress:<> TEST.VALUE:NVDataMgmt.<>.powerOffIsImminent:0 TEST.VALUE:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.VALUE:uut_prototype_stubs.getRTCRAMState.return:RTC_RAM_STATE_READY TEST.EXPECTED:NVDataMgmt.<>.recordQueueCount:0 TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.memoryOperation:NVDATAMGMT_READ TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.memoryLocation:NVDATAMGMT_RTC TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_SW_CONFIG_RECORD TEST.EXPECTED:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_READ_FROM_RTC TEST.END -- Test Case: handleExecIdleState_Ops_Write TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecIdleState TEST.NEW TEST.NAME:handleExecIdleState_Ops_Write TEST.COMPOUND_ONLY TEST.NOTES: This is an automatically generated test case. Test Path 24 (1) if (powerOffIsImminent != (1)) ==> TRUE (2) if ((0) == isRecordQueueEmpty()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.isRecordQueueEmpty TEST.VALUE:NVDataMgmt.<>.recordJobQueue[1].memoryOperation:NVDATAMGMT_WRITE TEST.VALUE:NVDataMgmt.<>.recordJobQueue[1].memoryLocation:NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.<>.recordJobQueue[1].recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.VALUE:NVDataMgmt.<>.recordQueueFrontIndex:1 TEST.VALUE:NVDataMgmt.<>.recordQueueCount:1 TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.memoryOperation:NVDATAMGMT_READ TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.memoryLocation:NUM_OF_NVDATAMGMT_LOC_STATES TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_USAGE_INFO_RECORD TEST.VALUE:NVDataMgmt.<>.powerOffIsImminent:0 TEST.VALUE:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0 TEST.EXPECTED:NVDataMgmt.<>.recordQueueCount:0 TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.memoryOperation:NVDATAMGMT_WRITE TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.memoryLocation:NVDATAMGMT_EEPROM TEST.EXPECTED:NVDataMgmt.handleExecIdleState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM TEST.END -- Subprogram: handleExecProcessRecordIdleState -- Test Case: handleExecProcessRecordIdleState.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecProcessRecordIdleState TEST.NEW TEST.NAME:handleExecProcessRecordIdleState.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == hasPublishRecordBeenRequested) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.hasPublishRecordBeenRequested:1 TEST.VALUE:NVDataMgmt.handleExecProcessRecordIdleState.return:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD TEST.EXPECTED:NVDataMgmt.handleExecProcessRecordIdleState.return:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD TEST.END -- Test Case: handleExecProcessRecordIdleState.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecProcessRecordIdleState TEST.NEW TEST.NAME:handleExecProcessRecordIdleState.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == hasPublishRecordBeenRequested) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.hasPublishRecordBeenRequested:<> TEST.VALUE:NVDataMgmt.handleExecProcessRecordIdleState.return:NVDATAMGMT_PROCESS_RECORD_STATE_IDLE TEST.EXPECTED:NVDataMgmt.handleExecProcessRecordIdleState.return:NVDATAMGMT_PROCESS_RECORD_STATE_IDLE TEST.END -- Subprogram: handleExecProcessRecordSendRecordState -- Test Case: handleExecProcessRecordSendRecordState.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecProcessRecordSendRecordState TEST.NEW TEST.NAME:handleExecProcessRecordSendRecordState.001 TEST.MCDC_BASIS_PATH:2 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (calPublishMessageCount < calPublishTotalMessages) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.calPublishMessageCount:<> TEST.VALUE:NVDataMgmt.<>.calPublishTotalMessages:<> TEST.VALUE:NVDataMgmt.handleExecProcessRecordSendRecordState.return:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD TEST.EXPECTED:NVDataMgmt.handleExecProcessRecordSendRecordState.return:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD TEST.END -- Test Case: handleExecProcessRecordSendRecordState.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecProcessRecordSendRecordState TEST.NEW TEST.NAME:handleExecProcessRecordSendRecordState.002 TEST.MCDC_BASIS_PATH:1 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (calPublishMessageCount < calPublishTotalMessages) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.calPublishMessageCount:<> TEST.VALUE:NVDataMgmt.<>.calPublishTotalMessages:<> TEST.VALUE:NVDataMgmt.handleExecProcessRecordSendRecordState.return:NVDATAMGMT_PROCESS_RECORD_STATE_IDLE TEST.EXPECTED:NVDataMgmt.handleExecProcessRecordSendRecordState.return:NVDATAMGMT_PROCESS_RECORD_STATE_IDLE TEST.END -- Test Case: handleExecProcessRecordSendRecordState.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecProcessRecordSendRecordState TEST.NEW TEST.NAME:handleExecProcessRecordSendRecordState.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (calPublishMessageCount < calPublishTotalMessages) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.calPublishMessageCount:<> TEST.VALUE:NVDataMgmt.<>.calPublishTotalMessages:<> TEST.VALUE:NVDataMgmt.<>.calSendDataIntervalCounter:4 TEST.VALUE:NVDataMgmt.handleExecProcessRecordSendRecordState.return:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD TEST.EXPECTED:NVDataMgmt.handleExecProcessRecordSendRecordState.return:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD TEST.END -- Test Case: handleExecProcessRecordSendRecordState.004 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecProcessRecordSendRecordState TEST.NEW TEST.NAME:handleExecProcessRecordSendRecordState.004 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (calPublishMessageCount < calPublishTotalMessages) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.recordToPublish:NVDATAMGMT_SYSTEM_RECORD TEST.VALUE:NVDataMgmt.<>.calPublishMessageCount:<> TEST.VALUE:NVDataMgmt.<>.calPublishTotalMessages:<> TEST.VALUE:NVDataMgmt.<>.calSendDataIntervalCounter:4 TEST.VALUE:NVDataMgmt.handleExecProcessRecordSendRecordState.return:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD TEST.EXPECTED:NVDataMgmt.handleExecProcessRecordSendRecordState.return:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD TEST.END -- Test Case: handleExecProcessRecordSendRecordState.005 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecProcessRecordSendRecordState TEST.NEW TEST.NAME:handleExecProcessRecordSendRecordState.005 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (calPublishMessageCount < calPublishTotalMessages) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.recordToPublish:NVDATAMGMT_SERVICE_RECORD TEST.VALUE:NVDataMgmt.<>.calPublishMessageCount:<> TEST.VALUE:NVDataMgmt.<>.calPublishTotalMessages:<> TEST.VALUE:NVDataMgmt.<>.calSendDataIntervalCounter:4 TEST.VALUE:NVDataMgmt.handleExecProcessRecordSendRecordState.return:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD TEST.EXPECTED:NVDataMgmt.handleExecProcessRecordSendRecordState.return:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD TEST.END -- Test Case: handleExecProcessRecordSendRecordState.006 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecProcessRecordSendRecordState TEST.NEW TEST.NAME:handleExecProcessRecordSendRecordState.006 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (calPublishMessageCount < calPublishTotalMessages) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.recordToPublish:NVDATAMGMT_SERVICE_RECORD TEST.VALUE:NVDataMgmt.<>.calPublishMessageCount:3 TEST.VALUE:NVDataMgmt.<>.calPublishTotalMessages:4 TEST.VALUE:NVDataMgmt.<>.calSendDataIntervalCounter:4 TEST.VALUE:NVDataMgmt.handleExecProcessRecordSendRecordState.return:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD TEST.EXPECTED:NVDataMgmt.handleExecProcessRecordSendRecordState.return:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD TEST.END -- Test Case: handleExecProcessRecordSendRecordState.007 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecProcessRecordSendRecordState TEST.NEW TEST.NAME:handleExecProcessRecordSendRecordState.007 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (calPublishMessageCount < calPublishTotalMessages) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.recordToPublish:NUM_OF_NVDATMGMT_RECORDS_JOBS TEST.VALUE:NVDataMgmt.<>.calPublishMessageCount:3 TEST.VALUE:NVDataMgmt.<>.calPublishTotalMessages:4 TEST.VALUE:NVDataMgmt.<>.calSendDataIntervalCounter:4 TEST.VALUE:NVDataMgmt.handleExecProcessRecordSendRecordState.return:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD TEST.EXPECTED:NVDataMgmt.handleExecProcessRecordSendRecordState.return:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD TEST.END -- Test Case: handleExecProcessRecordSendRecordState.008 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecProcessRecordSendRecordState TEST.NEW TEST.NAME:handleExecProcessRecordSendRecordState.008 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (calPublishMessageCount < calPublishTotalMessages) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.recordToPublish:NVDATAMGMT_SW_CONFIG_RECORD TEST.VALUE:NVDataMgmt.<>.calPublishMessageCount:<> TEST.VALUE:NVDataMgmt.<>.calPublishTotalMessages:<> TEST.VALUE:NVDataMgmt.<>.calSendDataIntervalCounter:4 TEST.VALUE:NVDataMgmt.handleExecProcessRecordSendRecordState.return:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD TEST.EXPECTED:NVDataMgmt.handleExecProcessRecordSendRecordState.return:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD TEST.END -- Test Case: handleExecProcessRecordSendRecordState.009 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecProcessRecordSendRecordState TEST.NEW TEST.NAME:handleExecProcessRecordSendRecordState.009 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (calPublishMessageCount < calPublishTotalMessages) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.recordToPublish:NVDATAMGMT_USAGE_INFO_RECORD TEST.VALUE:NVDataMgmt.<>.calPublishMessageCount:<> TEST.VALUE:NVDataMgmt.<>.calPublishTotalMessages:<> TEST.VALUE:NVDataMgmt.<>.calSendDataIntervalCounter:4 TEST.VALUE:NVDataMgmt.handleExecProcessRecordSendRecordState.return:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD TEST.EXPECTED:NVDataMgmt.handleExecProcessRecordSendRecordState.return:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD TEST.END -- Subprogram: handleExecReadFromEEPROMState -- Test Case: handleExecReadFromEEPROMState.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecReadFromEEPROMState TEST.NEW TEST.NAME:handleExecReadFromEEPROMState.001 TEST.MCDC_BASIS_PATH:2 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (FSMStatus == (Fapi_Status_FsmReady) || 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.<>.FSMStatus:2 TEST.VALUE:NVDataMgmt.handleExecReadFromEEPROMState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<> TEST.EXPECTED:NVDataMgmt.handleExecReadFromEEPROMState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.END -- Test Case: handleExecReadFromEEPROMState.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecReadFromEEPROMState TEST.NEW TEST.NAME:handleExecReadFromEEPROMState.002 TEST.MCDC_BASIS_PATH:3 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (FSMStatus == (Fapi_Status_FsmReady) || 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.<>.FSMStatus:<> TEST.VALUE:NVDataMgmt.handleExecReadFromEEPROMState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.VALUE:NVDataMgmt.didCommandTimeout.return:1 TEST.EXPECTED:NVDataMgmt.handleExecReadFromEEPROMState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.END -- Test Case: handleExecReadFromEEPROMState.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecReadFromEEPROMState TEST.NEW TEST.NAME:handleExecReadFromEEPROMState.003 TEST.MCDC_BASIS_PATH:1 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (FSMStatus == (Fapi_Status_FsmReady) || 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.<>.FSMStatus:<> TEST.VALUE:NVDataMgmt.handleExecReadFromEEPROMState.return:NVDATAMGMT_EXEC_STATE_READ_FROM_EEPROM TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<> TEST.EXPECTED:NVDataMgmt.handleExecReadFromEEPROMState.return:NVDATAMGMT_EXEC_STATE_READ_FROM_EEPROM TEST.END -- Test Case: handleExecReadFromEEPROMState.004 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecReadFromEEPROMState TEST.NEW TEST.NAME:handleExecReadFromEEPROMState.004 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (FSMStatus == (Fapi_Status_FsmReady) || 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.<>.FSMStatus:2 TEST.VALUE:NVDataMgmt.<>.activeQueue:NVDATAMGMT_PROCESS_LOGS TEST.VALUE:NVDataMgmt.<>.currentJob.externalAddress:<> TEST.VALUE:NVDataMgmt.<>.currentJob.externalAddress[0].status:NVDATAMGMT_READ_COMPLETE TEST.VALUE:NVDataMgmt.handleExecReadFromEEPROMState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<> TEST.EXPECTED:NVDataMgmt.<>.activeQueue:NVDATAMGMT_QUEUE_NONE TEST.EXPECTED:NVDataMgmt.handleExecReadFromEEPROMState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.END -- Subprogram: handleExecReadFromRAMState -- Test Case: handleExecReadFromRAMState.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecReadFromRAMState TEST.NEW TEST.NAME:handleExecReadFromRAMState.001 TEST.MCDC_BASIS_PATH:1 of 5 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.END_NOTES: TEST.STUB:NVDataMgmt.didCommandTimeout TEST.VALUE:NVDataMgmt.handleExecReadFromRAMState.return:NVDATAMGMT_EXEC_STATE_READ_FROM_RTC TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<> TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IN_PROGRESS TEST.EXPECTED:NVDataMgmt.handleExecReadFromRAMState.return:NVDATAMGMT_EXEC_STATE_READ_FROM_RTC TEST.END -- Test Case: handleExecReadFromRAMState.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecReadFromRAMState TEST.NEW TEST.NAME:handleExecReadFromRAMState.002 TEST.MCDC_BASIS_PATH:5 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE) || timeoutStatus == (1)) ==> TRUE (2) if (activeQueue == (NVDATAMGMT_PROCESS_RECORDS)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.didCommandTimeout TEST.VALUE:NVDataMgmt.<>.activeQueue:NVDATAMGMT_PROCESS_RECORDS TEST.VALUE:NVDataMgmt.handleExecReadFromRAMState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.VALUE:NVDataMgmt.didCommandTimeout.return:1 TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE TEST.EXPECTED:NVDataMgmt.handleExecReadFromRAMState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.END -- Test Case: handleExecReadFromRAMState.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecReadFromRAMState TEST.NEW TEST.NAME:handleExecReadFromRAMState.003 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.END_NOTES: TEST.STUB:NVDataMgmt.didCommandTimeout TEST.VALUE:NVDataMgmt.handleExecReadFromRAMState.return:NVDATAMGMT_EXEC_STATE_READ_FROM_RTC TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<> TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IN_PROGRESS TEST.VALUE:uut_prototype_stubs.isSemaphoreReleased.return:1 TEST.EXPECTED:NVDataMgmt.handleExecReadFromRAMState.return:NVDATAMGMT_EXEC_STATE_READ_FROM_RTC TEST.END -- Test Case: handleExecReadFromRAMState.004 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecReadFromRAMState TEST.NEW TEST.NAME:handleExecReadFromRAMState.004 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.END_NOTES: TEST.STUB:NVDataMgmt.didCommandTimeout TEST.VALUE:NVDataMgmt.handleExecReadFromRAMState.return:NVDATAMGMT_EXEC_STATE_READ_FROM_RTC TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<> TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE TEST.VALUE:uut_prototype_stubs.isSemaphoreReleased.return:1 TEST.EXPECTED:NVDataMgmt.handleExecReadFromRAMState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.END -- Subprogram: handleExecVerifyEEPROMWriteState -- Test Case: handleExecVerifyEEPROMWriteState.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecVerifyEEPROMWriteState TEST.NEW TEST.NAME:handleExecVerifyEEPROMWriteState.001 TEST.MCDC_BASIS_PATH:2 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (recordCurrentJob.memoryLocation == (NVDATAMGMT_EEPROM) && FSMStatus == (Fapi_Status_FsmReady)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.didCommandTimeout TEST.VALUE:NVDataMgmt.<>.FSMStatus:2 TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.memoryLocation:NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.VALUE:NVDataMgmt.handleExecVerifyEEPROMWriteState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM TEST.EXPECTED:NVDataMgmt.handleExecVerifyEEPROMWriteState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM TEST.END -- Test Case: handleExecVerifyEEPROMWriteState.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecVerifyEEPROMWriteState TEST.NEW TEST.NAME:handleExecVerifyEEPROMWriteState.002 TEST.MCDC_BASIS_PATH:3 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (recordCurrentJob.memoryLocation == (NVDATAMGMT_EEPROM) && FSMStatus == (Fapi_Status_FsmReady)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.didCommandTimeout TEST.VALUE:NVDataMgmt.<>.FSMStatus:<> TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.memoryLocation:NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.VALUE:NVDataMgmt.handleExecVerifyEEPROMWriteState.return:NVDATAMGMT_EXEC_STATE_VERIFY_EEPROM_WRITE TEST.EXPECTED:NVDataMgmt.handleExecVerifyEEPROMWriteState.return:NVDATAMGMT_EXEC_STATE_VERIFY_EEPROM_WRITE TEST.END -- Test Case: handleExecVerifyEEPROMWriteState.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecVerifyEEPROMWriteState TEST.NEW TEST.NAME:handleExecVerifyEEPROMWriteState.003 TEST.MCDC_BASIS_PATH:1 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (recordCurrentJob.memoryLocation == (NVDATAMGMT_EEPROM) && FSMStatus == (Fapi_Status_FsmReady)) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.didCommandTimeout TEST.VALUE:NVDataMgmt.<>.FSMStatus:2 TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.memoryLocation:NVDATAMGMT_RTC TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.VALUE:NVDataMgmt.handleExecVerifyEEPROMWriteState.return:NVDATAMGMT_EXEC_STATE_VERIFY_EEPROM_WRITE TEST.EXPECTED:NVDataMgmt.handleExecVerifyEEPROMWriteState.return:NVDATAMGMT_EXEC_STATE_VERIFY_EEPROM_WRITE TEST.END -- Test Case: handleExecVerifyEEPROMWriteState.004 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecVerifyEEPROMWriteState TEST.NEW TEST.NAME:handleExecVerifyEEPROMWriteState.004 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (recordCurrentJob.memoryLocation == (NVDATAMGMT_EEPROM) && FSMStatus == (Fapi_Status_FsmReady)) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.didCommandTimeout TEST.VALUE:NVDataMgmt.<>.FSMStatus:2 TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.memoryLocation:NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.VALUE:NVDataMgmt.<>.writtenRecordCheckBuffer:<> TEST.VALUE:NVDataMgmt.<>.writtenRecordCheckBuffer:"abc" TEST.VALUE:NVDataMgmt.handleExecVerifyEEPROMWriteState.return:NVDATAMGMT_EXEC_STATE_VERIFY_EEPROM_WRITE TEST.EXPECTED:NVDataMgmt.handleExecVerifyEEPROMWriteState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.END -- Subprogram: handleExecVerifyRTCWriteState -- Test Case: handleExecVerifyRTCWriteState.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecVerifyRTCWriteState TEST.NEW TEST.NAME:handleExecVerifyRTCWriteState.001 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.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.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecVerifyRTCWriteState TEST.NEW TEST.NAME:handleExecVerifyRTCWriteState.002 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.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:1 TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IN_PROGRESS TEST.EXPECTED:NVDataMgmt.handleExecVerifyRTCWriteState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC TEST.END -- Test Case: handleExecVerifyRTCWriteState.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecVerifyRTCWriteState TEST.NEW TEST.NAME:handleExecVerifyRTCWriteState.003 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.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.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 -- Subprogram: handleExecWriteToEEPROMState -- Test Case: handleExecWriteToEEPROMState.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecWriteToEEPROMState TEST.NEW TEST.NAME:handleExecWriteToEEPROMState.001 TEST.MCDC_BASIS_PATH:2 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (FSMStatus == (Fapi_Status_FsmReady)) ==> 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.<>.FSMStatus:2 TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.VALUE:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_VERIFY_EEPROM_WRITE TEST.EXPECTED:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_VERIFY_EEPROM_WRITE TEST.END -- Test Case: handleExecWriteToEEPROMState.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecWriteToEEPROMState TEST.NEW TEST.NAME:handleExecWriteToEEPROMState.002 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.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.EXPECTED:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM TEST.END -- Test Case: handleExecWriteToEEPROMState.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecWriteToEEPROMState TEST.NEW TEST.NAME:handleExecWriteToEEPROMState.003 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.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.EXPECTED:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM TEST.END -- Test Case: handleExecWriteToEEPROMState.004 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecWriteToEEPROMState TEST.NEW TEST.NAME:handleExecWriteToEEPROMState.004 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.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.EXPECTED:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM TEST.END -- Test Case: handleExecWriteToEEPROMState.005 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecWriteToEEPROMState TEST.NEW TEST.NAME:handleExecWriteToEEPROMState.005 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.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.didCommandTimeout.return:1 TEST.EXPECTED:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.END -- Test Case: handleExecWriteToEEPROMState.006 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecWriteToEEPROMState TEST.NEW TEST.NAME:handleExecWriteToEEPROMState.006 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.END_NOTES: TEST.STUB:NVDataMgmt.didCommandTimeout TEST.VALUE:NVDataMgmt.<>.FSMStatus:2 TEST.VALUE:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.VALUE:NVDataMgmt.<>.recordAddressOffset:32 TEST.VALUE:NVDataMgmt.<>.writtenRecordStatus:NVDATAMGMT_RECORD_VALID TEST.VALUE:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM TEST.EXPECTED:NVDataMgmt.<>.FSMStatus:2 TEST.EXPECTED:NVDataMgmt.<>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD TEST.EXPECTED:NVDataMgmt.<>.recordAddressOffset:48 TEST.EXPECTED:NVDataMgmt.<>.writtenRecordStatus:NVDATAMGMT_RECORD_NOT_CHECKED TEST.EXPECTED:NVDataMgmt.handleExecWriteToEEPROMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM TEST.END -- Subprogram: handleExecWriteToRAMState -- Test Case: handleExecWriteToRAMState.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecWriteToRAMState TEST.NEW TEST.NAME:handleExecWriteToRAMState.001 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.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:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE TEST.EXPECTED:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_VERIFY_RTC_WRITE TEST.END -- Test Case: handleExecWriteToRAMState.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecWriteToRAMState TEST.NEW TEST.NAME:handleExecWriteToRAMState.002 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.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:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IN_PROGRESS TEST.EXPECTED:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC TEST.END -- Test Case: handleExecWriteToRAMState.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecWriteToRAMState TEST.NEW TEST.NAME:handleExecWriteToRAMState.003 TEST.MCDC_BASIS_PATH:5 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.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.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC TEST.END -- Test Case: handleExecWriteToRAMState.004 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecWriteToRAMState TEST.NEW TEST.NAME:handleExecWriteToRAMState.004 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.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:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE TEST.EXPECTED:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC TEST.END -- Test Case: handleExecWriteToRAMState.005 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecWriteToRAMState TEST.NEW TEST.NAME:handleExecWriteToRAMState.005 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.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:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE TEST.EXPECTED:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC TEST.END -- Test Case: handleExecWriteToRAMState.006 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecWriteToRAMState TEST.NEW TEST.NAME:handleExecWriteToRAMState.006 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.<>.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.END -- Test Case: handleExecWriteToRAMState.007 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleExecWriteToRAMState TEST.NEW TEST.NAME:handleExecWriteToRAMState.007 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.EXPECTED:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_IDLE TEST.EXPECTED:NVDataMgmt.didCommandTimeout.alarm:ALARM_ID_RTC_RAM_OPS_ERROR TEST.EXPECTED:NVDataMgmt.didCommandTimeout.state:"\5" TEST.END -- Subprogram: handleSelfTestCheckCRC -- Test Case: handleSelfTestCheckCRC.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleSelfTestCheckCRC TEST.NEW TEST.NAME:handleSelfTestCheckCRC.001 TEST.MCDC_BASIS_PATH:2 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == haveCalGroupsPassed) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.handleSelfTestCheckCRC.return:NVDATAMGMT_SELF_TEST_STATE_COMPLETE TEST.EXPECTED:NVDataMgmt.handleSelfTestCheckCRC.return:NVDATAMGMT_SELF_TEST_STATE_COMPLETE TEST.END -- Test Case: handleSelfTestCheckCRC.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleSelfTestCheckCRC TEST.NEW TEST.NAME:handleSelfTestCheckCRC.002 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == haveCalGroupsPassed) ==> 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.isHDCalibrationRecordValid TEST.VALUE:NVDataMgmt.handleSelfTestCheckCRC.return:NVDATAMGMT_SELF_TEST_STATE_COMPLETE TEST.VALUE:NVDataMgmt.isHDCalibrationRecordValid.return:0 TEST.EXPECTED:NVDataMgmt.handleSelfTestCheckCRC.return:NVDATAMGMT_SELF_TEST_STATE_COMPLETE TEST.END -- Test Case: handleSelfTestCheckCRC.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleSelfTestCheckCRC TEST.NEW TEST.NAME:handleSelfTestCheckCRC.003 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 2841 TEST.STUB:NVDataMgmt.areRecordsValid >>> >>> Could not find function areRecordsValid >>> >>> in unit NVDataMgmt. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 2841 >>> >>> Could not stub NVDataMgmt.areRecordsValid TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == haveCalGroupsPassed) ==> 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.isHDSystemRecordValid TEST.STUB:NVDataMgmt.isHDCalibrationRecordValid TEST.VALUE:NVDataMgmt.handleSelfTestCheckCRC.return:NVDATAMGMT_SELF_TEST_STATE_COMPLETE TEST.VALUE:NVDataMgmt.isHDCalibrationRecordValid.return:1 TEST.EXPECTED:NVDataMgmt.handleSelfTestCheckCRC.return:NVDATAMGMT_SELF_TEST_STATE_COMPLETE TEST.END -- Test Case: handleSelfTestCheckCRC.004 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleSelfTestCheckCRC TEST.NEW TEST.NAME:handleSelfTestCheckCRC.004 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == haveCalGroupsPassed) ==> 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.isHDSystemRecordValid TEST.STUB:NVDataMgmt.isHDServiceRecordValid TEST.VALUE:NVDataMgmt.handleSelfTestCheckCRC.return:NVDATAMGMT_SELF_TEST_STATE_COMPLETE TEST.VALUE:NVDataMgmt.isHDSystemRecordValid.return:1 TEST.VALUE:NVDataMgmt.isHDServiceRecordValid.return:0 TEST.EXPECTED:NVDataMgmt.handleSelfTestCheckCRC.return:NVDATAMGMT_SELF_TEST_STATE_COMPLETE TEST.END -- Test Case: handleSelfTestCheckCRC.005 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleSelfTestCheckCRC TEST.NEW TEST.NAME:handleSelfTestCheckCRC.005 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == haveCalGroupsPassed) ==> 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.isHDUsageRecordValid TEST.VALUE:NVDataMgmt.handleSelfTestCheckCRC.return:NVDATAMGMT_SELF_TEST_STATE_COMPLETE TEST.VALUE:NVDataMgmt.isHDUsageRecordValid.return:0 TEST.VALUE:uut_prototype_stubs.sendEvent.dat1.dataType:EVENT_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.sendEvent.dat2.dataType:EVENT_DATA_TYPE_U32 TEST.EXPECTED:NVDataMgmt.handleSelfTestCheckCRC.return:NVDATAMGMT_SELF_TEST_STATE_COMPLETE 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: handleSelfTestReadRecords -- Test Case: handleSelfTestReadRecords.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleSelfTestReadRecords TEST.NEW TEST.NAME:handleSelfTestReadRecords.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isRecordQueueEmpty()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.isRecordQueueEmpty TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:<> TEST.EXPECTED:NVDataMgmt.handleSelfTestReadRecords.return:NVDATAMGMT_SELF_TEST_STATE_READ_RECORDS TEST.END -- Test Case: handleSelfTestReadRecords.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:handleSelfTestReadRecords TEST.NEW TEST.NAME:handleSelfTestReadRecords.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isRecordQueueEmpty()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.isRecordQueueEmpty TEST.VALUE:NVDataMgmt.handleSelfTestReadRecords.return:NVDATAMGMT_SELF_TEST_STATE_READ_RECORDS TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:1 TEST.EXPECTED:NVDataMgmt.<>.recordsReadStatus:NVDATAMGMT_RECORDS_READ TEST.EXPECTED:NVDataMgmt.handleSelfTestReadRecords.return:NVDATAMGMT_SELF_TEST_STATE_CHECK_CRC TEST.END -- Subprogram: initNVDataMgmt -- Test Case: initNVDataMgmt.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:initNVDataMgmt TEST.NEW TEST.NAME:initNVDataMgmt.001 TEST.VALUE:uut_prototype_stubs.Fapi_enableEepromBankSectors.u32SectorsEnables_31_0:0xF TEST.VALUE:uut_prototype_stubs.Fapi_enableEepromBankSectors.u32SectorsEnables_63_32:0x0 TEST.EXPECTED:uut_prototype_stubs.Fapi_enableEepromBankSectors.u32SectorsEnables_31_0:0xF TEST.EXPECTED:uut_prototype_stubs.Fapi_enableEepromBankSectors.u32SectorsEnables_63_32:0x0 TEST.END -- Subprogram: isHDAccelerometerSensorValid -- Test Case: isHDAccelerometerSensorValid.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isHDAccelerometerSensorValid TEST.NEW TEST.NAME:isHDAccelerometerSensorValid.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (calcCRC != recordCRC) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.isHDAccelerometerSensorValid.record:<> TEST.VALUE:NVDataMgmt.isHDAccelerometerSensorValid.record[0].crc:1 TEST.VALUE:NVDataMgmt.isHDAccelerometerSensorValid.return:0 TEST.VALUE:uut_prototype_stubs.crc16.return:<> TEST.EXPECTED:NVDataMgmt.isHDAccelerometerSensorValid.return:0 TEST.END -- Test Case: isHDAccelerometerSensorValid.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isHDAccelerometerSensorValid TEST.NEW TEST.NAME:isHDAccelerometerSensorValid.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (calcCRC != recordCRC) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.isHDAccelerometerSensorValid.record:<> TEST.VALUE:NVDataMgmt.isHDAccelerometerSensorValid.record[0].crc:<> TEST.VALUE:NVDataMgmt.isHDAccelerometerSensorValid.return:1 TEST.VALUE:uut_prototype_stubs.crc16.return:<> TEST.EXPECTED:NVDataMgmt.isHDAccelerometerSensorValid.return:1 TEST.END -- Subprogram: isHDBloodLeakSesnorValid -- Test Case: isHDBloodLeakSesnorValid.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isHDBloodLeakSesnorValid TEST.NEW TEST.NAME:isHDBloodLeakSesnorValid.001 TEST.VALUE:NVDataMgmt.isHDBloodLeakSesnorValid.record:<> TEST.VALUE:NVDataMgmt.isHDBloodLeakSesnorValid.record[0].crc:1 TEST.VALUE:NVDataMgmt.isHDBloodLeakSesnorValid.return:1 TEST.EXPECTED:NVDataMgmt.isHDBloodLeakSesnorValid.return:0 TEST.END -- Test Case: isHDBloodLeakSesnorValid.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isHDBloodLeakSesnorValid TEST.NEW TEST.NAME:isHDBloodLeakSesnorValid.002 TEST.VALUE:NVDataMgmt.isHDBloodLeakSesnorValid.record:<> TEST.VALUE:NVDataMgmt.isHDBloodLeakSesnorValid.record[0].crc:0 TEST.VALUE:NVDataMgmt.isHDBloodLeakSesnorValid.return:1 TEST.EXPECTED:NVDataMgmt.isHDBloodLeakSesnorValid.return:1 TEST.END -- Subprogram: isHDCalibrationRecordValid -- Test Case: isHDCalibrationRecordValid.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isHDCalibrationRecordValid TEST.NEW TEST.NAME:isHDCalibrationRecordValid.001 TEST.MCDC_BASIS_PATH:19 of 28 TEST.NOTES: This is an automatically generated test case. Test Path 19 (1) for (i < (NUM_OF_CAL_DATA_HD_PUMPS)) ==> FALSE (3) for (i < (NUM_OF_CAL_DATA_HD_VALVES)) ==> FALSE (5) for (i < (NUM_OF_CAL_DATA_OCCLUSION_SENSORS)) ==> FALSE (7) for (i < (NUM_OF_CAL_DATA_HD_FLOW_SENSORS)) ==> FALSE (9) for (i < (NUM_OF_CAL_DATA_HD_PRESSURE_SESNSORS)) ==> TRUE (10) (isCalRecordValid == (0)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #10, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set local variable isCalRecordValid in branch 10 Conflict: Unable to control expression-to-expression comparison in branch 1 Conflict: Unable to control expression-to-expression comparison in branch 3 Conflict: Unable to control expression-to-expression comparison in branch 5 Conflict: Unable to control expression-to-expression comparison in branch 7 Conflict: Unable to control expression-to-expression comparison in branch 9 TEST.END_NOTES: TEST.STUB:NVDataMgmt.isPolynomialRecordValid TEST.VALUE:NVDataMgmt.isHDCalibrationRecordValid.return:0 TEST.EXPECTED:NVDataMgmt.isHDCalibrationRecordValid.return:0 TEST.END -- Test Case: isHDCalibrationRecordValid.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isHDCalibrationRecordValid TEST.NEW TEST.NAME:isHDCalibrationRecordValid.002 TEST.MCDC_BASIS_PATH:12 of 28 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) for (i < (NUM_OF_CAL_DATA_HD_PUMPS)) ==> FALSE (3) for (i < (NUM_OF_CAL_DATA_HD_VALVES)) ==> FALSE (5) for (i < (NUM_OF_CAL_DATA_OCCLUSION_SENSORS)) ==> FALSE (7) for (i < (NUM_OF_CAL_DATA_HD_FLOW_SENSORS)) ==> FALSE (9) for (i < (NUM_OF_CAL_DATA_HD_PRESSURE_SESNSORS)) ==> FALSE (11) for (i < (NUM_OF_CAL_DATA_HD_TEMP_SENSORS)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #11, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 11 Conflict: Unable to control expression-to-expression comparison in branch 1 Conflict: Unable to control expression-to-expression comparison in branch 3 Conflict: Unable to control expression-to-expression comparison in branch 5 Conflict: Unable to control expression-to-expression comparison in branch 7 Conflict: Unable to control expression-to-expression comparison in branch 9 TEST.END_NOTES: TEST.VALUE:NVDataMgmt.isHDCalibrationRecordValid.return:1 TEST.EXPECTED:NVDataMgmt.isHDCalibrationRecordValid.return:1 TEST.END -- Test Case: isHDCalibrationRecordValid.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isHDCalibrationRecordValid TEST.NEW TEST.NAME:isHDCalibrationRecordValid.003 TEST.MCDC_BASIS_PATH:27 of 28 TEST.NOTES: This is an automatically generated test case. Test Path 27 (1) for (i < (NUM_OF_CAL_DATA_HD_PUMPS)) ==> TRUE (2) (isCalRecordValid == (0)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set local variable isCalRecordValid in branch 2 Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.STUB:NVDataMgmt.isHDPumpRecordValid TEST.VALUE:NVDataMgmt.isHDCalibrationRecordValid.return:0 TEST.EXPECTED:NVDataMgmt.isHDCalibrationRecordValid.return:0 TEST.END -- Test Case: isHDCalibrationRecordValid.004 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isHDCalibrationRecordValid TEST.NEW TEST.NAME:isHDCalibrationRecordValid.004 TEST.VALUE:NVDataMgmt.<>.hdCalibrationRecord.crc:1 TEST.EXPECTED:NVDataMgmt.<>.hdCalibrationRecord.crc:0 TEST.END -- Subprogram: isHDHeparinPumpRecordValid -- Test Case: isHDHeparinPumpRecordValid.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isHDHeparinPumpRecordValid TEST.NEW TEST.NAME:isHDHeparinPumpRecordValid.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (calcCRC != recordCRC) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.isHDHeparinPumpRecordValid.record:<> TEST.VALUE:NVDataMgmt.isHDHeparinPumpRecordValid.record[0].crc:<> TEST.VALUE:NVDataMgmt.isHDHeparinPumpRecordValid.return:1 TEST.VALUE:uut_prototype_stubs.crc16.return:<> TEST.EXPECTED:NVDataMgmt.isHDHeparinPumpRecordValid.record[0].crc:0 TEST.END -- Test Case: isHDHeparinPumpRecordValid.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isHDHeparinPumpRecordValid TEST.NEW TEST.NAME:isHDHeparinPumpRecordValid.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (calcCRC != recordCRC) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.isHDHeparinPumpRecordValid.record:<> TEST.VALUE:NVDataMgmt.isHDHeparinPumpRecordValid.record[0].crc:1 TEST.VALUE:NVDataMgmt.isHDHeparinPumpRecordValid.return:1 TEST.VALUE:uut_prototype_stubs.crc16.return:<> TEST.EXPECTED:NVDataMgmt.isHDHeparinPumpRecordValid.record[0].crc:0 TEST.EXPECTED:NVDataMgmt.isHDHeparinPumpRecordValid.return:0 TEST.END -- Subprogram: isHDPumpRecordValid -- Test Case: isHDPumpRecordValid.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isHDPumpRecordValid TEST.NEW TEST.NAME:isHDPumpRecordValid.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (calcCRC != recordCRC) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.isHDPumpRecordValid.record:<> TEST.VALUE:NVDataMgmt.isHDPumpRecordValid.record[0].crc:1 TEST.VALUE:NVDataMgmt.isHDPumpRecordValid.return:0 TEST.VALUE:uut_prototype_stubs.crc16.return:<> TEST.EXPECTED:NVDataMgmt.isHDPumpRecordValid.return:0 TEST.END -- Test Case: isHDPumpRecordValid.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isHDPumpRecordValid TEST.NEW TEST.NAME:isHDPumpRecordValid.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (calcCRC != recordCRC) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.isHDPumpRecordValid.record:<> TEST.VALUE:NVDataMgmt.isHDPumpRecordValid.record[0].crc:<> TEST.VALUE:NVDataMgmt.isHDPumpRecordValid.return:1 TEST.VALUE:uut_prototype_stubs.crc16.return:<> TEST.EXPECTED:NVDataMgmt.isHDPumpRecordValid.return:1 TEST.END -- Subprogram: isHDServiceRecordValid -- Test Case: isHDServiceRecordValid.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isHDServiceRecordValid TEST.NEW TEST.NAME:isHDServiceRecordValid.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (calcCRC != recordCRC) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.hdServiceGroup.hdServiceRecord.crc:1 TEST.VALUE:NVDataMgmt.isHDServiceRecordValid.return:0 TEST.VALUE:uut_prototype_stubs.crc16.return:<> TEST.EXPECTED:NVDataMgmt.isHDServiceRecordValid.return:0 TEST.END -- Test Case: isHDServiceRecordValid.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isHDServiceRecordValid TEST.NEW TEST.NAME:isHDServiceRecordValid.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (calcCRC != recordCRC) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.hdServiceGroup.hdServiceRecord.crc:<> TEST.VALUE:NVDataMgmt.isHDServiceRecordValid.return:1 TEST.VALUE:uut_prototype_stubs.crc16.return:<> TEST.EXPECTED:NVDataMgmt.isHDServiceRecordValid.return:1 TEST.END -- Subprogram: isHDSystemRecordValid -- Test Case: BASIS-PATH-002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isHDSystemRecordValid TEST.NEW TEST.NAME:BASIS-PATH-002 TEST.BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (calcCRC != recordCRC) ==> FALSE (2) if (32 == (hdSystemGroup.hdsystemRecord).topLevelSN[0]) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.hdSystemGroup.hdsystemRecord.topLevelSN[0]:' ' TEST.VALUE:NVDataMgmt.<>.hdSystemGroup.hdsystemRecord.crc:<> TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_INVALID_SERIAL_NUMBER TEST.VALUE:uut_prototype_stubs.crc16.return:<> TEST.EXPECTED:NVDataMgmt.<>.hdSystemGroup.hdsystemRecord.topLevelSN[0]:' ' TEST.EXPECTED:NVDataMgmt.<>.hdSystemGroup.hdsystemRecord.crc:0 TEST.EXPECTED:NVDataMgmt.isHDSystemRecordValid.return:1 TEST.END -- Test Case: isHDSystemRecordValid.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isHDSystemRecordValid TEST.NEW TEST.NAME:isHDSystemRecordValid.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (calcCRC != recordCRC) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.hdSystemGroup.hdsystemRecord.crc:1 TEST.VALUE:NVDataMgmt.isHDSystemRecordValid.return:0 TEST.VALUE:uut_prototype_stubs.crc16.return:<> TEST.EXPECTED:NVDataMgmt.isHDSystemRecordValid.return:0 TEST.END -- Test Case: isHDSystemRecordValid.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isHDSystemRecordValid TEST.NEW TEST.NAME:isHDSystemRecordValid.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (calcCRC != recordCRC) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.hdSystemGroup.hdsystemRecord.crc:<> TEST.VALUE:NVDataMgmt.isHDSystemRecordValid.return:1 TEST.VALUE:uut_prototype_stubs.crc16.return:<> TEST.EXPECTED:NVDataMgmt.isHDSystemRecordValid.return:1 TEST.END -- Subprogram: isHDUsageRecordValid -- Test Case: BASIS-PATH-001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isHDUsageRecordValid TEST.NEW TEST.NAME:BASIS-PATH-001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (calcCRC != recordCRC) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.hdUsageInfoGroup.hdUsageInfo.crc:<> TEST.VALUE:uut_prototype_stubs.crc16.return:<> TEST.EXPECTED:NVDataMgmt.<>.hdUsageInfoGroup.hdUsageInfo.crc:0 TEST.END -- Test Case: BASIS-PATH-002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isHDUsageRecordValid TEST.NEW TEST.NAME:BASIS-PATH-002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (calcCRC != recordCRC) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.hdUsageInfoGroup.hdUsageInfo.crc:1 TEST.VALUE:uut_prototype_stubs.crc16.return:<> TEST.EXPECTED:NVDataMgmt.<>.hdUsageInfoGroup.hdUsageInfo.crc:0 TEST.END -- Subprogram: isHDValveRecordValid -- Test Case: isHDValveRecordValid.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isHDValveRecordValid TEST.NEW TEST.NAME:isHDValveRecordValid.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (calcCRC != recordCRC) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.isHDValveRecordValid.record:<> TEST.VALUE:NVDataMgmt.isHDValveRecordValid.record[0].crc:1 TEST.VALUE:NVDataMgmt.isHDValveRecordValid.return:0 TEST.VALUE:uut_prototype_stubs.crc16.return:<> TEST.EXPECTED:NVDataMgmt.isHDValveRecordValid.return:0 TEST.END -- Test Case: isHDValveRecordValid.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isHDValveRecordValid TEST.NEW TEST.NAME:isHDValveRecordValid.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (calcCRC != recordCRC) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.isHDValveRecordValid.record:<> TEST.VALUE:NVDataMgmt.isHDValveRecordValid.record[0].crc:<> TEST.VALUE:NVDataMgmt.isHDValveRecordValid.return:1 TEST.VALUE:uut_prototype_stubs.crc16.return:<> TEST.EXPECTED:NVDataMgmt.isHDValveRecordValid.return:1 TEST.END -- Subprogram: isNewCalibrationRecordAvailable -- Test Case: isNewCalibrationRecordAvailable.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isNewCalibrationRecordAvailable TEST.NEW TEST.NAME:isNewCalibrationRecordAvailable.001 TEST.VALUE:NVDataMgmt.isNewCalibrationRecordAvailable.return:0 TEST.EXPECTED:NVDataMgmt.isNewCalibrationRecordAvailable.return:0 TEST.END -- Subprogram: isPolynomialRecordValid -- Test Case: isPolynomialRecordValid.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isPolynomialRecordValid TEST.NEW TEST.NAME:isPolynomialRecordValid.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (calcCRC != recordCRC) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.isPolynomialRecordValid.record:<> TEST.VALUE:NVDataMgmt.isPolynomialRecordValid.record[0].crc:1 TEST.VALUE:NVDataMgmt.isPolynomialRecordValid.return:0 TEST.VALUE:uut_prototype_stubs.crc16.return:<> TEST.EXPECTED:NVDataMgmt.isPolynomialRecordValid.return:0 TEST.END -- Test Case: isPolynomialRecordValid.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isPolynomialRecordValid TEST.NEW TEST.NAME:isPolynomialRecordValid.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (calcCRC != recordCRC) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.isPolynomialRecordValid.record:<> TEST.VALUE:NVDataMgmt.isPolynomialRecordValid.record[0].crc:<> TEST.VALUE:NVDataMgmt.isPolynomialRecordValid.return:1 TEST.VALUE:uut_prototype_stubs.crc16.return:<> TEST.EXPECTED:NVDataMgmt.isPolynomialRecordValid.return:1 TEST.END -- Subprogram: isQueueEmpty -- Test Case: isQueueEmpty.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isQueueEmpty TEST.NEW TEST.NAME:isQueueEmpty.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (queueCount > 0) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.queueCount:<> TEST.VALUE:NVDataMgmt.isQueueEmpty.return:0 TEST.EXPECTED:NVDataMgmt.isQueueEmpty.return:0 TEST.END -- Test Case: isQueueEmpty.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isQueueEmpty TEST.NEW TEST.NAME:isQueueEmpty.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (queueCount > 0) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.queueCount:<> TEST.VALUE:NVDataMgmt.isQueueEmpty.return:1 TEST.EXPECTED:NVDataMgmt.isQueueEmpty.return:1 TEST.END -- Subprogram: isQueueFull -- Test Case: isQueueFull.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isQueueFull TEST.NEW TEST.NAME:isQueueFull.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (queueCount >= 20U - (1)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.queueCount:<> TEST.VALUE:NVDataMgmt.isQueueFull.return:1 TEST.EXPECTED:NVDataMgmt.isQueueFull.return:1 TEST.END -- Test Case: isQueueFull.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isQueueFull TEST.NEW TEST.NAME:isQueueFull.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (queueCount >= 20U - (1)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.queueCount:<> TEST.VALUE:NVDataMgmt.isQueueFull.return:0 TEST.EXPECTED:NVDataMgmt.isQueueFull.return:0 TEST.END -- Subprogram: isRecordQueueEmpty -- Test Case: isRecordQueueEmpty.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isRecordQueueEmpty TEST.NEW TEST.NAME:isRecordQueueEmpty.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (recordQueueCount > 0) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.recordQueueCount:<> TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0 TEST.EXPECTED:NVDataMgmt.isRecordQueueEmpty.return:0 TEST.END -- Test Case: isRecordQueueEmpty.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:isRecordQueueEmpty TEST.NEW TEST.NAME:isRecordQueueEmpty.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (recordQueueCount > 0) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.recordQueueCount:<> TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:1 TEST.EXPECTED:NVDataMgmt.isRecordQueueEmpty.return:1 TEST.END -- Subprogram: monitorNewCalSignal -- Test Case: monitorNewCalSignal.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:monitorNewCalSignal TEST.NEW TEST.NAME:monitorNewCalSignal.001 TEST.MCDC_BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(newCalStartTimer, 1 * 1000) && (1) == isNewCalAvailable) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.isNewCalAvailable:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:NVDataMgmt.<>.isNewCalAvailable:0 TEST.END -- Test Case: monitorNewCalSignal.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:monitorNewCalSignal TEST.NEW TEST.NAME:monitorNewCalSignal.002 TEST.MCDC_BASIS_PATH:3 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == didTimeout(newCalStartTimer, 1 * 1000) && (1) == isNewCalAvailable) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.isNewCalAvailable:<> TEST.VALUE:uut_prototype_stubs.didTimeout.startMSCount:0 TEST.VALUE:uut_prototype_stubs.didTimeout.timeoutPeriod:1000 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:0 TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:1000 TEST.END -- Test Case: monitorNewCalSignal.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:monitorNewCalSignal TEST.NEW TEST.NAME:monitorNewCalSignal.003 TEST.MCDC_BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == didTimeout(newCalStartTimer, 1 * 1000) && (1) == isNewCalAvailable) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.isNewCalAvailable:1 TEST.VALUE:uut_prototype_stubs.didTimeout.startMSCount:0 TEST.VALUE:uut_prototype_stubs.didTimeout.timeoutPeriod:1000 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:0 TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:1000 TEST.END -- Subprogram: prepareReadLogJobAndGetStartAddress -- Test Case: prepareReadLogJobAndGetStartAddress.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:prepareReadLogJobAndGetStartAddress TEST.NEW TEST.NAME:prepareReadLogJobAndGetStartAddress.001 TEST.MCDC_BASIS_PATH:1 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) ((logRecord.logHeader).nextReadIndex >= 3U * (((0xf0207fffU + (1)) - 0xf0204000U) / 32U) - (1)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.logRecord.logHeader.nextReadIndex:<> TEST.VALUE:NVDataMgmt.prepareReadLogJobAndGetStartAddress.return:1 TEST.EXPECTED:NVDataMgmt.prepareReadLogJobAndGetStartAddress.return:4030742496 TEST.END -- Test Case: prepareReadLogJobAndGetStartAddress.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:prepareReadLogJobAndGetStartAddress TEST.NEW TEST.NAME:prepareReadLogJobAndGetStartAddress.002 TEST.MCDC_BASIS_PATH:2 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) ((logRecord.logHeader).nextReadIndex >= 3U * (((0xf0207fffU + (1)) - 0xf0204000U) / 32U) - (1)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.logRecord.logHeader.nextReadIndex:<> TEST.VALUE:NVDataMgmt.prepareReadLogJobAndGetStartAddress.return:1 TEST.EXPECTED:NVDataMgmt.prepareReadLogJobAndGetStartAddress.return:4028645376 TEST.END -- Test Case: prepareReadLogJobAndGetStartAddress.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:prepareReadLogJobAndGetStartAddress TEST.NEW TEST.NAME:prepareReadLogJobAndGetStartAddress.003 TEST.MCDC_BASIS_PATH:3 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 3 (2) if ((logRecord.logHeader).nextReadIndex == 0 && (logRecord.logHeader).isHdrCorrupted == (1)) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: Cannot set local variable readIndexChange in branch 2 TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.logRecord.logHeader.isHdrCorrupted:1 TEST.VALUE:NVDataMgmt.prepareReadLogJobAndGetStartAddress.return:1 TEST.EXPECTED:NVDataMgmt.prepareReadLogJobAndGetStartAddress.return:4028645376 TEST.END -- Test Case: prepareReadLogJobAndGetStartAddress.004 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:prepareReadLogJobAndGetStartAddress TEST.NEW TEST.NAME:prepareReadLogJobAndGetStartAddress.004 TEST.MCDC_BASIS_PATH:5 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 5 (2) if ((logRecord.logHeader).nextReadIndex == 0 && (logRecord.logHeader).isHdrCorrupted == (1)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: Cannot set local variable readIndexChange in branch 2 TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.logRecord.logHeader.isHdrCorrupted:<> TEST.VALUE:NVDataMgmt.prepareReadLogJobAndGetStartAddress.return:0 TEST.EXPECTED:NVDataMgmt.prepareReadLogJobAndGetStartAddress.return:4028645376 TEST.END -- Test Case: prepareReadLogJobAndGetStartAddress.005 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:prepareReadLogJobAndGetStartAddress TEST.NEW TEST.NAME:prepareReadLogJobAndGetStartAddress.005 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) ((logRecord.logHeader).nextReadIndex >= 3U * (((0xf0207fffU + (1)) - 0xf0204000U) / 32U) - (1)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.logRecord.logHeader.nextReadIndex:<> TEST.VALUE:NVDataMgmt.<>.logRecord.logHeader.isHdrCorrupted:1 TEST.VALUE:NVDataMgmt.prepareReadLogJobAndGetStartAddress.return:1 TEST.EXPECTED:NVDataMgmt.prepareReadLogJobAndGetStartAddress.return:4030742496 TEST.END -- Test Case: prepareReadLogJobAndGetStartAddress.006 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:prepareReadLogJobAndGetStartAddress TEST.NEW TEST.NAME:prepareReadLogJobAndGetStartAddress.006 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) ((logRecord.logHeader).nextReadIndex >= 3U * (((0xf0207fffU + (1)) - 0xf0204000U) / 32U) - (1)) ==> 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.eraseDataLogSectors TEST.VALUE:NVDataMgmt.<>.logRecord.logHeader.nextReadIndex:<> TEST.VALUE:NVDataMgmt.<>.logRecord.logHeader.isHdrCorrupted:1 TEST.VALUE:NVDataMgmt.prepareReadLogJobAndGetStartAddress.return:9 TEST.VALUE:NVDataMgmt.eraseDataLogSectors.return:0 TEST.EXPECTED:NVDataMgmt.prepareReadLogJobAndGetStartAddress.return:4030742496 TEST.END -- Subprogram: prepareWriteLogJobAndGetStartAddress -- Test Case: prepareWriteLogJobAndGetStartAddress.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:prepareWriteLogJobAndGetStartAddress TEST.NEW TEST.NAME:prepareWriteLogJobAndGetStartAddress.001 TEST.MCDC_BASIS_PATH:2 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (modulus == (0)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set modulus due to assignment TEST.END_NOTES: TEST.STUB:NVDataMgmt.setMemoryOpsStruct TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.ops:NVDATAMGMT_ERASE_SECTOR,NVDATAMGMT_WRITE TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.location:NVDATAMGMT_EEPROM,NVDATAMGMT_RTC TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.startAddress:0xF0204000,0x0 TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.length:0,12 TEST.VALUE:NVDataMgmt.prepareWriteLogJobAndGetStartAddress.data:<> TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.ops:NVDATAMGMT_ERASE_SECTOR,NVDATAMGMT_WRITE TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.location:NVDATAMGMT_EEPROM,NVDATAMGMT_RTC TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.startAddress:0xF0204000,0x0 TEST.EXPECTED:NVDataMgmt.setMemoryOpsStruct.length:0,12 TEST.END -- Test Case: prepareWriteLogJobAndGetStartAddress.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:prepareWriteLogJobAndGetStartAddress TEST.NEW TEST.NAME:prepareWriteLogJobAndGetStartAddress.002 TEST.MCDC_BASIS_PATH:6 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (modulus == (0)) ==> TRUE (2) if ((logRecord.logHeader).recordCount >= 3U * (((0xf0207fffU + (1)) - 0xf0204000U) / 32U) - (1)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set modulus due to assignment TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.logRecord.logHeader.recordCount:<> TEST.VALUE:NVDataMgmt.prepareWriteLogJobAndGetStartAddress.data:<> TEST.VALUE:NVDataMgmt.prepareWriteLogJobAndGetStartAddress.return:1 TEST.EXPECTED:NVDataMgmt.prepareWriteLogJobAndGetStartAddress.return:4028645376 TEST.END -- Test Case: prepareWriteLogJobAndGetStartAddress.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:prepareWriteLogJobAndGetStartAddress TEST.NEW TEST.NAME:prepareWriteLogJobAndGetStartAddress.003 TEST.MCDC_BASIS_PATH:3 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (modulus == (0)) ==> FALSE (3) ((logRecord.logHeader).nextWriteIndex >= 3U * (((0xf0207fffU + (1)) - 0xf0204000U) / 32U) - (1)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set modulus due to assignment TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.logRecord.logHeader.nextWriteIndex:<> TEST.VALUE:NVDataMgmt.prepareWriteLogJobAndGetStartAddress.data:<> TEST.VALUE:NVDataMgmt.prepareWriteLogJobAndGetStartAddress.return:1 TEST.EXPECTED:NVDataMgmt.prepareWriteLogJobAndGetStartAddress.return:4030742496 TEST.END -- Subprogram: readLogData -- Test Case: readLogData.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:readLogData TEST.NEW TEST.NAME:readLogData.001 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (availableQueue >= 3U) ==> 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.getAvailableQueueCount TEST.VALUE:NVDataMgmt.readLogData.buffer:<> TEST.VALUE:NVDataMgmt.readLogData.length:<> TEST.VALUE:NVDataMgmt.readLogData.return:0 TEST.VALUE:NVDataMgmt.getAvailableQueueCount.return:<> TEST.EXPECTED:NVDataMgmt.readLogData.return:0 TEST.END -- Test Case: readLogData.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:readLogData TEST.NEW TEST.NAME:readLogData.002 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (availableQueue >= 3U) ==> 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.getAvailableQueueCount TEST.VALUE:NVDataMgmt.readLogData.buffer:<> TEST.VALUE:NVDataMgmt.readLogData.length:<> TEST.VALUE:NVDataMgmt.readLogData.return:1 TEST.VALUE:NVDataMgmt.getAvailableQueueCount.return:<> TEST.EXPECTED:NVDataMgmt.readLogData.return:1 TEST.END -- Subprogram: receiveRecordFromDialin -- Test Case: receiveRecordFromDialin.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:receiveRecordFromDialin TEST.NEW TEST.NAME:receiveRecordFromDialin.001 TEST.BASIS_PATH:1 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NUM_OF_NVDATAMGMT_RECEIVE_RECORD_STATES TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.job:<> TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.currentMessage:<> TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.totalMessages:<> TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.length:<> TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.addressPtr:<> TEST.EXPECTED:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NUM_OF_NVDATAMGMT_RECEIVE_RECORD_STATES TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.job:NVDATAMGMT_CALIBRATION_RECORD TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.currentMessage:4294967295 TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.totalMessages:0 TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.length:0 TEST.END -- Test Case: receiveRecordFromDialin.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:receiveRecordFromDialin TEST.NEW TEST.NAME:receiveRecordFromDialin.002 TEST.BASIS_PATH:2 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.END_NOTES: TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.job:<> TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.currentMessage:<> 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:0 TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.totalMessages:4294967295 TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.length:0 TEST.END -- Test Case: receiveRecordFromDialin.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:receiveRecordFromDialin TEST.NEW TEST.NAME:receiveRecordFromDialin.003 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:<> 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.length:0 TEST.END -- Test Case: receiveRecordFromDialin.004 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:receiveRecordFromDialin TEST.NEW 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.END_NOTES: 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.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.length:0 TEST.END -- Test Case: receiveRecordFromDialin.005 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:receiveRecordFromDialin TEST.NEW 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.END_NOTES: TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.job:<> TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.currentMessage:1 TEST.VALUE:NVDataMgmt.receiveRecordFromDialin.totalMessages:0 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:0 TEST.EXPECTED:NVDataMgmt.receiveRecordFromDialin.length:0 TEST.END -- Test Case: receiveRecordFromDialin.006 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:receiveRecordFromDialin TEST.NEW 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.END_NOTES: TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE 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.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.007 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:receiveRecordFromDialin TEST.NEW 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.END_NOTES: TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE 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:<> 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.008 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:receiveRecordFromDialin TEST.NEW 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.END_NOTES: TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE 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.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 -- Subprogram: sendRecordToDialin -- Test Case: sendRecordToDialin.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:sendRecordToDialin TEST.NEW TEST.NAME:sendRecordToDialin.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((NVDATAMGMT_PROCESS_RECORD_STATE_IDLE) == nvDataMgmtExecProcessRecordState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD TEST.VALUE:NVDataMgmt.sendRecordToDialin.job:<> TEST.END -- Test Case: sendRecordToDialin.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:sendRecordToDialin TEST.NEW TEST.NAME:sendRecordToDialin.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((NVDATAMGMT_PROCESS_RECORD_STATE_IDLE) == nvDataMgmtExecProcessRecordState) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:NVDataMgmt.<>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_IDLE TEST.VALUE:NVDataMgmt.sendRecordToDialin.job:<> TEST.END -- Subprogram: setMemoryOpsStruct -- Test Case: setMemoryOpsStruct.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:setMemoryOpsStruct TEST.NEW TEST.NAME:setMemoryOpsStruct.001 TEST.MCDC_BASIS_PATH:2 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isQueueFull()) ==> 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.isQueueFull TEST.VALUE:NVDataMgmt.<>.jobQueue[0].memoryOperation:NVDATAMGMT_NONE TEST.VALUE:NVDataMgmt.<>.jobQueue[0].memoryLocation:NVDATAMGMT_EEPROM TEST.VALUE:NVDataMgmt.<>.jobQueue[0].startAddress:0x0 TEST.VALUE:NVDataMgmt.<>.jobQueue[0].buffer:<> TEST.VALUE:NVDataMgmt.<>.jobQueue[0].buffer:"" TEST.VALUE:NVDataMgmt.<>.jobQueue[0].externalAddress:<> TEST.VALUE:NVDataMgmt.<>.jobQueue[0].length:0 TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.ops:<> TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.location:<> TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.startAddress:<> TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.data:<> TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.extAddress:<> TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.length:<> TEST.VALUE:NVDataMgmt.isQueueFull.return:0 TEST.EXPECTED:NVDataMgmt.<>.jobQueue[0].memoryOperation:NVDATAMGMT_NONE TEST.EXPECTED:NVDataMgmt.<>.jobQueue[0].memoryLocation:NVDATAMGMT_EEPROM TEST.EXPECTED:NVDataMgmt.<>.jobQueue[0].startAddress:0x0 TEST.EXPECTED:NVDataMgmt.<>.jobQueue[0].buffer:"" TEST.EXPECTED:NVDataMgmt.<>.jobQueue[0].length:0 TEST.END -- Test Case: setMemoryOpsStruct.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:setMemoryOpsStruct TEST.NEW TEST.NAME:setMemoryOpsStruct.002 TEST.MCDC_BASIS_PATH:1 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((0) == isQueueFull()) ==> 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.isQueueFull TEST.VALUE:NVDataMgmt.<>.queueRearIndex:100 TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.ops:<> TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.location:<> TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.startAddress:<> TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.data:<> TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.extAddress:<> TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.length:<> TEST.VALUE:NVDataMgmt.isQueueFull.return:1 TEST.EXPECTED:NVDataMgmt.<>.queueRearIndex:100 TEST.END -- Test Case: setMemoryOpsStruct.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:setMemoryOpsStruct TEST.NEW TEST.NAME:setMemoryOpsStruct.003 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((0) == isQueueFull()) ==> TRUE (2) (queueRearIndex >= 20U - (1)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.isQueueFull TEST.VALUE:NVDataMgmt.<>.queueRearIndex:20 TEST.VALUE:NVDataMgmt.isQueueFull.return:0 TEST.EXPECTED:NVDataMgmt.<>.jobQueue[0].memoryOperation:NVDATAMGMT_NONE TEST.EXPECTED:NVDataMgmt.<>.jobQueue[0].memoryLocation:NVDATAMGMT_EEPROM TEST.EXPECTED:NVDataMgmt.<>.jobQueue[0].startAddress:0 TEST.EXPECTED:NVDataMgmt.<>.jobQueue[0].length:0 TEST.END -- Test Case: setMemoryOpsStruct.004 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:setMemoryOpsStruct TEST.NEW TEST.NAME:setMemoryOpsStruct.004 TEST.MCDC_BASIS_PATH:6 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((0) == isQueueFull()) ==> TRUE (3) if (extAddress == (0)) ==> 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.isQueueFull TEST.VALUE:NVDataMgmt.<>.queueRearIndex:0 TEST.VALUE:NVDataMgmt.<>.queueCount:0 TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.ops:<> TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.location:<> TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.startAddress:<> TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.data:<> TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.extAddress:<> TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.length:<> TEST.VALUE:NVDataMgmt.isQueueFull.return:0 TEST.EXPECTED:NVDataMgmt.<>.queueCount:1 TEST.END -- Subprogram: setServiceTime -- Test Case: setServiceTime.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:setServiceTime TEST.NEW TEST.NAME:setServiceTime.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (getAvailableRecordQueueCount() >= 4U + (1)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.getAvailableRecordQueueCount TEST.VALUE:NVDataMgmt.setServiceTime.return:1 TEST.VALUE:NVDataMgmt.getAvailableRecordQueueCount.return:<> TEST.EXPECTED:NVDataMgmt.setServiceTime.return:0 TEST.END -- Test Case: setServiceTime.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:setServiceTime TEST.NEW TEST.NAME:setServiceTime.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (getAvailableRecordQueueCount() >= 4U + (1)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.enqueueRecordJob TEST.STUB:NVDataMgmt.getAvailableRecordQueueCount TEST.STUB:NVDataMgmt.enqueueSector0Records TEST.VALUE:NVDataMgmt.setServiceTime.return:1 TEST.VALUE:NVDataMgmt.getAvailableRecordQueueCount.return:<> TEST.VALUE:NVDataMgmt.enqueueSector0Records.return:0 TEST.VALUE:uut_prototype_stubs.getRTCTimestamp.return:0 TEST.VALUE:uut_prototype_stubs.sendEvent.dat1.dataType:EVENT_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.sendEvent.dat2.dataType:EVENT_DATA_TYPE_U32 TEST.EXPECTED:NVDataMgmt.setServiceTime.return:0 TEST.EXPECTED:NVDataMgmt.enqueueRecordJob.ops:NVDATAMGMT_WRITE TEST.EXPECTED:NVDataMgmt.enqueueRecordJob.location:NVDATAMGMT_EEPROM TEST.EXPECTED:NVDataMgmt.enqueueRecordJob.job:NVDATAMGMT_USAGE_INFO_RECORD TEST.EXPECTED:uut_prototype_stubs.sendEvent.event:HD_EVENT_STARTUP,HD_EVENT_SERVICE_UPDATE TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat1.dataType:(2)EVENT_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat1.data.uInt.data:(2)0 TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat2.dataType:(2)EVENT_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat2.data.uInt.data:(2)0 TEST.END -- Subprogram: setTxLastStartTimeEpoch -- Test Case: setTxLastStartTimeEpoch.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:setTxLastStartTimeEpoch TEST.NEW TEST.NAME:setTxLastStartTimeEpoch.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((0) == isQueueFull()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.isQueueFull TEST.VALUE:NVDataMgmt.setTxLastStartTimeEpoch.epoch:<> TEST.VALUE:NVDataMgmt.isQueueFull.return:1 TEST.EXPECTED:NVDataMgmt.setTxLastStartTimeEpoch.epoch:0 TEST.END -- Test Case: setTxLastStartTimeEpoch.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:setTxLastStartTimeEpoch TEST.NEW TEST.NAME:setTxLastStartTimeEpoch.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isQueueFull()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.isQueueFull TEST.VALUE:NVDataMgmt.setTxLastStartTimeEpoch.epoch:<> TEST.VALUE:NVDataMgmt.isQueueFull.return:0 TEST.EXPECTED:NVDataMgmt.setTxLastStartTimeEpoch.epoch:0 TEST.END -- Test Case: setTxLastStartTimeEpoch.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:setTxLastStartTimeEpoch TEST.NEW TEST.NAME:setTxLastStartTimeEpoch.003 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((0) == isQueueFull()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.isQueueFull TEST.VALUE:NVDataMgmt.<>.usageWriteTries:100 TEST.VALUE:NVDataMgmt.setTxLastStartTimeEpoch.epoch:<> TEST.VALUE:NVDataMgmt.isQueueFull.return:1 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:NVDataMgmt.<>.usageWriteTries:101 TEST.EXPECTED:NVDataMgmt.setTxLastStartTimeEpoch.epoch:0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:142 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:1 TEST.END -- Subprogram: setTxTimeHours -- Test Case: setTxTimeHours.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:setTxTimeHours TEST.NEW TEST.NAME:setTxTimeHours.001 TEST.IMPORT_FAILURES: (E) @LINE: 4499 TEST.VALUE:NVDataMgmt.setTxTimeHours.isServiceDone:<> >>> Unknown parameter/object name isServiceDone >>> Value Line Error - Command Ignored (E) @LINE: 4502 TEST.EXPECTED:NVDataMgmt.setTxTimeHours.isServiceDone:0 >>> Unknown parameter/object name isServiceDone >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isServiceDone) ==> FALSE (2) if ((0) == isQueueFull()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.isQueueFull TEST.VALUE:NVDataMgmt.setTxTimeHours.hours:<> TEST.VALUE:NVDataMgmt.isQueueFull.return:1 TEST.EXPECTED:NVDataMgmt.setTxTimeHours.hours:-3.40282E+38 TEST.END -- Test Case: setTxTimeHours.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:setTxTimeHours TEST.NEW TEST.NAME:setTxTimeHours.002 TEST.IMPORT_FAILURES: (E) @LINE: 4520 TEST.VALUE:NVDataMgmt.setTxTimeHours.isServiceDone:<> >>> Unknown parameter/object name isServiceDone >>> Value Line Error - Command Ignored (E) @LINE: 4523 TEST.EXPECTED:NVDataMgmt.setTxTimeHours.isServiceDone:0 >>> Unknown parameter/object name isServiceDone >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isServiceDone) ==> FALSE (2) if ((0) == isQueueFull()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.isQueueFull TEST.VALUE:NVDataMgmt.setTxTimeHours.hours:<> TEST.VALUE:NVDataMgmt.isQueueFull.return:0 TEST.EXPECTED:NVDataMgmt.setTxTimeHours.hours:-3.40282E+38 TEST.END -- Test Case: setTxTimeHours.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:setTxTimeHours TEST.NEW TEST.NAME:setTxTimeHours.003 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isServiceDone) ==> FALSE (2) if ((0) == isQueueFull()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.isQueueFull TEST.VALUE:NVDataMgmt.<>.usageWriteTries:4 TEST.VALUE:NVDataMgmt.setTxTimeHours.hours:<> TEST.VALUE:NVDataMgmt.isQueueFull.return:1 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:NVDataMgmt.<>.usageWriteTries:5 TEST.EXPECTED:NVDataMgmt.setTxTimeHours.hours:-3.40282E+38 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:142 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0 TEST.END -- Subprogram: signalPowerOffWarning -- Test Case: signalPowerOffWarning.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:signalPowerOffWarning TEST.NEW TEST.NAME:signalPowerOffWarning.001 TEST.VALUE:NVDataMgmt.<>.powerOffIsImminent:1 TEST.EXPECTED:NVDataMgmt.<>.powerOffIsImminent:1 TEST.END -- Subprogram: writeLogData -- Test Case: writeLogData.001 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:writeLogData TEST.NEW TEST.NAME:writeLogData.001 TEST.MCDC_BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (!isQueueFull() && (logRecord.logHeader).isHdrCorrupted == (0)) ==> FALSE Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.isQueueFull TEST.VALUE:NVDataMgmt.<>.logRecord.logHeader.isHdrCorrupted:0 TEST.VALUE:NVDataMgmt.writeLogData.data:<> TEST.VALUE:NVDataMgmt.writeLogData.return:0 TEST.VALUE:NVDataMgmt.isQueueFull.return:1 TEST.EXPECTED:NVDataMgmt.writeLogData.return:0 TEST.END -- Test Case: writeLogData.002 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:writeLogData TEST.NEW TEST.NAME:writeLogData.002 TEST.MCDC_BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (!isQueueFull() && (logRecord.logHeader).isHdrCorrupted == (0)) ==> TRUE Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.isQueueFull TEST.VALUE:NVDataMgmt.<>.logRecord.logHeader.isHdrCorrupted:0 TEST.VALUE:NVDataMgmt.writeLogData.data:<> TEST.VALUE:NVDataMgmt.writeLogData.return:1 TEST.VALUE:NVDataMgmt.isQueueFull.return:0 TEST.EXPECTED:NVDataMgmt.writeLogData.return:1 TEST.END -- Test Case: writeLogData.003 TEST.UNIT:NVDataMgmt TEST.SUBPROGRAM:writeLogData TEST.NEW TEST.NAME:writeLogData.003 TEST.MCDC_BASIS_PATH:3 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (!isQueueFull() && (logRecord.logHeader).isHdrCorrupted == (0)) ==> FALSE Row number 4 forms a pair with Row 3 for Condition #1, subcondition "b". Condition a ==> FALSE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:NVDataMgmt.isQueueFull TEST.VALUE:NVDataMgmt.<>.logRecord.logHeader.isHdrCorrupted:1 TEST.VALUE:NVDataMgmt.writeLogData.data:<> TEST.VALUE:NVDataMgmt.writeLogData.return:0 TEST.VALUE:NVDataMgmt.isQueueFull.return:0 TEST.EXPECTED:NVDataMgmt.writeLogData.return:0 TEST.END