-- 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: areRecordsValid

-- Test Case: areRecordsValid.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:areRecordsValid
TEST.NEW
TEST.NAME:areRecordsValid.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:
      Cannot set variable RECORDS_SPECS[NVDATAMGMT_CALIBRATION_RECORD] in branch 1 since it requires user code.
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.areRecordsValid.return:1
TEST.VALUE:uut_prototype_stubs.crc16.return:<<MIN>>
TEST.EXPECTED:NVDataMgmt.areRecordsValid.return:1
TEST.END

-- Test Case: areRecordsValid.002
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:areRecordsValid
TEST.NEW
TEST.NAME:areRecordsValid.002
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:
      Cannot set variable RECORDS_SPECS[NVDATAMGMT_CALIBRATION_RECORD] in branch 1 since it requires user code.
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.areRecordsValid.return:1
TEST.VALUE:uut_prototype_stubs.crc16.return:1
TEST.EXPECTED:NVDataMgmt.areRecordsValid.return:0
TEST.END

-- Subprogram: dequeue

-- Test Case: dequeue.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:dequeue
TEST.NEW
TEST.NAME:dequeue.001
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (!isQueueEmpty()) ==> FALSE
      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.isQueueEmpty
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.queueFrontIndex:1
TEST.VALUE:NVDataMgmt.isQueueEmpty.return:1
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.queueFrontIndex:1
TEST.END

-- 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.<<GLOBAL>>.jobQueue[0].memoryOperation:NVDATAMGMT_NONE
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.jobQueue[0].memoryLocation:NVDATAMGMT_EEPROM
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.jobQueue[0].startAddress:1000
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.jobQueue[0].buffer:<<malloc 1>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.jobQueue[0].buffer:""
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.jobQueue[0].length:8
TEST.VALUE:NVDataMgmt.isQueueEmpty.return:0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.currentJob.memoryOperation:NVDATAMGMT_NONE
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.currentJob.memoryLocation:NVDATAMGMT_EEPROM
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.currentJob.startAddress:1000
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.currentJob.buffer:""
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.jobQueue[1].memoryOperation:NVDATAMGMT_NONE
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.jobQueue[1].memoryLocation:NVDATAMGMT_EEPROM
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.jobQueue[1].startAddress:0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.jobQueue[1].buffer:<<malloc 1>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.jobQueue[1].buffer:""
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.jobQueue[1].length:0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.queueFrontIndex:<<MAX>>
TEST.VALUE:NVDataMgmt.isQueueEmpty.return:0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.currentJob.memoryOperation:NVDATAMGMT_NONE
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.currentJob.memoryLocation:NVDATAMGMT_EEPROM
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.currentJob.startAddress:0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.currentJob.buffer:""
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.currentJob.length: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.<<GLOBAL>>.queueFrontIndex:0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.queueCount:<<MAX>>
TEST.VALUE:NVDataMgmt.isQueueEmpty.return:1
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.recordQueueFrontIndex:1
TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.recordJobQueue[19].memoryOperation:NVDATAMGMT_NONE
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordJobQueue[19].memoryLocation:NVDATAMGMT_EEPROM
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordJobQueue[19].recordJob:NVDATAMGMT_CALIBRATION_RECORD
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordQueueFrontIndex:<<MAX>>
TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.recordJobQueue[19].memoryOperation:NVDATAMGMT_NONE
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.recordJobQueue[19].memoryLocation:NVDATAMGMT_EEPROM
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.recordQueueFrontIndex:0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordQueueCount:<<MAX>>
TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:1
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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:<<MIN>>
TEST.VALUE:NVDataMgmt.didCommandTimeout.state:<<malloc 1>>
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:<<MIN>>
TEST.VALUE:NVDataMgmt.didCommandTimeout.state:<<malloc 1>>
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:<<MIN>>
TEST.VALUE:NVDataMgmt.enqueue.data:<<malloc 1>>
TEST.VALUE:NVDataMgmt.enqueue.extAddress:<<malloc 1>>
TEST.VALUE:NVDataMgmt.enqueue.length:<<MIN>>
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:<<MIN>>
TEST.VALUE:NVDataMgmt.enqueue.data:<<malloc 1>>
TEST.VALUE:NVDataMgmt.enqueue.extAddress:<<malloc 1>>
TEST.VALUE:NVDataMgmt.enqueue.length:<<MIN>>
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:<<MIN>>
TEST.VALUE:NVDataMgmt.enqueue.data:<<malloc 1>>
TEST.VALUE:NVDataMgmt.enqueue.extAddress:<<malloc 1>>
TEST.VALUE:NVDataMgmt.enqueue.length:<<MIN>>
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:<<malloc 1>>
TEST.VALUE:NVDataMgmt.enqueue.extAddress:<<malloc 1>>
TEST.VALUE:NVDataMgmt.enqueue.length:<<MIN>>
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:<<MIN>>
TEST.VALUE:NVDataMgmt.enqueue.data:<<malloc 1>>
TEST.VALUE:NVDataMgmt.enqueue.extAddress:<<malloc 1>>
TEST.VALUE:NVDataMgmt.enqueue.length:<<MIN>>
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:<<MIN>>
TEST.VALUE:NVDataMgmt.enqueue.data:<<malloc 1>>
TEST.VALUE:NVDataMgmt.enqueue.extAddress:<<malloc 1>>
TEST.VALUE:NVDataMgmt.enqueue.length:<<MIN>>
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:<<malloc 1>>
TEST.VALUE:NVDataMgmt.enqueue.extAddress:<<malloc 1>>
TEST.VALUE:NVDataMgmt.enqueue.length:<<MIN>>
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

-- 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.<<GLOBAL>>.recordQueueRearIndex ) in branch 1
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordQueueRearIndex:<<MAX>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.currentJob.memoryOperation:NVDATAMGMT_NONE
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.currentJob.memoryLocation:NVDATAMGMT_EEPROM
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.currentJob.startAddress:0x0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.currentJob.buffer:<<malloc 1>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.currentJob.buffer:""
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.currentJob.length:100
TEST.VALUE:NVDataMgmt.enqueueRecordJob.ops:<<MIN>>
TEST.VALUE:NVDataMgmt.enqueueRecordJob.location:<<MIN>>
TEST.VALUE:NVDataMgmt.enqueueRecordJob.job:<<MIN>>
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.currentJob.memoryOperation:NVDATAMGMT_NONE
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.currentJob.memoryLocation:NVDATAMGMT_EEPROM
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.currentJob.startAddress:0x0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.currentJob.buffer:""
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.recordQueueRearIndex ) in branch 1
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordQueueRearIndex:<<MIN>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.currentJob.memoryOperation:NVDATAMGMT_READ
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.currentJob.memoryLocation:NUM_OF_NVDATAMGMT_LOC_STATES
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.currentJob.startAddress:0x100
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.currentJob.buffer:<<malloc 1>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.currentJob.buffer:""
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.currentJob.length:100
TEST.VALUE:NVDataMgmt.enqueueRecordJob.ops:<<MIN>>
TEST.VALUE:NVDataMgmt.enqueueRecordJob.location:<<MIN>>
TEST.VALUE:NVDataMgmt.enqueueRecordJob.job:<<MIN>>
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.currentJob.memoryOperation:NVDATAMGMT_READ
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.currentJob.memoryLocation:NUM_OF_NVDATAMGMT_LOC_STATES
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.currentJob.startAddress:0x100
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.currentJob.buffer:""
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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:<<MAX>>
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:<<MIN>>
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:<<MAX>>
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:<<MIN>>
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.STUB:NVDataMgmt.handleExecWaitForPostState
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_WAIT_FOR_POST
TEST.VALUE:NVDataMgmt.handleExecWaitForPostState.return:NVDATAMGMT_EXEC_STATE_WAIT_FOR_POST
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_WAIT_FOR_POST
TEST.END

-- Test Case: execNVDataMgmt.002
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:execNVDataMgmt
TEST.NEW
TEST.NAME:execNVDataMgmt.002
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_IDLE
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_WRITE_TO_EEPROM
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_VERIFY_EEPROM_WRITE
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_READ_FROM_EEPROM
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_ERASE_EEPROM
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_VERIFY_RTC_WRITE
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.STUB:NVDataMgmt.handleExecReadFromRAMState
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_READ_FROM_RTC
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecState:NVDATAMGMT_EXEC_STATE_WAIT_FOR_POST
TEST.END

-- Test Case: execNVDataMgmt.010
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:execNVDataMgmt
TEST.NEW
TEST.NAME:execNVDataMgmt.010
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecState:NUM_OF_NVDATAMGMT_EXEC_STATES
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_IDLE
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.nvDataMgmtExecProcessRecordState:NUM_OF_NVDATAMGMT_PROCESS_RECORD_STATES
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_IDLE
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.nvDataMgmtExecProcessRecordState:NUM_OF_NVDATAMGMT_PROCESS_RECORD_STATES
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_IDLE
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_START
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_START
TEST.END

-- Test Case: execNVDataMgmtSelfTest.002
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:execNVDataMgmtSelfTest
TEST.NEW
TEST.NAME:execNVDataMgmtSelfTest.002
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_CAL_RECORD
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_CAL_RECORD
TEST.END

-- Test Case: execNVDataMgmtSelfTest.003
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:execNVDataMgmtSelfTest
TEST.NEW
TEST.NAME:execNVDataMgmtSelfTest.003
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_SYS_RECORD
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_SYS_RECORD
TEST.END

-- Test Case: execNVDataMgmtSelfTest.004
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:execNVDataMgmtSelfTest
TEST.NEW
TEST.NAME:execNVDataMgmtSelfTest.004
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_SERVICE_RECORD
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_CHECK_CRC
TEST.END

-- Test Case: execNVDataMgmtSelfTest.005
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:execNVDataMgmtSelfTest
TEST.NEW
TEST.NAME:execNVDataMgmtSelfTest.005
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_LOG_RECORD
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_SYS_RECORD
TEST.END

-- Test Case: execNVDataMgmtSelfTest.006
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:execNVDataMgmtSelfTest
TEST.NEW
TEST.NAME:execNVDataMgmtSelfTest.006
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_TREATMENT_TIME
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_READ_LOG_RECORD
TEST.END

-- Test Case: execNVDataMgmtSelfTest.007
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:execNVDataMgmtSelfTest
TEST.NEW
TEST.NAME:execNVDataMgmtSelfTest.007
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_CHECK_CRC
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_COMPLETE
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.nvDataMgmtSelfTestState:NUM_OF_NVDATAMGMT_SELF_TEST_STATES
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_COMPLETE
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: getCalibrationRecord

-- Test Case: getCalibrationRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getCalibrationRecord
TEST.NEW
TEST.NAME:getCalibrationRecord.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (nvDataMgmtExecProcessRecordState == (NVDATAMGMT_PROCESS_RECORD_STATE_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.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_IDLE
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_IDLE
TEST.END

-- Test Case: getCalibrationRecord.002
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getCalibrationRecord
TEST.NEW
TEST.NAME:getCalibrationRecord.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (nvDataMgmtExecProcessRecordState == (NVDATAMGMT_PROCESS_RECORD_STATE_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.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD
TEST.END

-- Subprogram: getHDAccelerometerSensorCalibrationRecord

-- Test Case: getHDAccelerometerSensorCalibrationRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getHDAccelerometerSensorCalibrationRecord
TEST.NEW
TEST.NAME:getHDAccelerometerSensorCalibrationRecord.001
TEST.VALUE:NVDataMgmt.getHDAccelerometerSensorCalibrationRecord.return.accelXOffset:0.0
TEST.VALUE:NVDataMgmt.getHDAccelerometerSensorCalibrationRecord.return.accelYOffset:0.0
TEST.VALUE:NVDataMgmt.getHDAccelerometerSensorCalibrationRecord.return.accelZOffset:0.0
TEST.VALUE:NVDataMgmt.getHDAccelerometerSensorCalibrationRecord.return.calibrationTime:0
TEST.VALUE:NVDataMgmt.getHDAccelerometerSensorCalibrationRecord.return.crc:0
TEST.EXPECTED:NVDataMgmt.getHDAccelerometerSensorCalibrationRecord.return.accelXOffset:0.0
TEST.EXPECTED:NVDataMgmt.getHDAccelerometerSensorCalibrationRecord.return.accelYOffset:0.0
TEST.EXPECTED:NVDataMgmt.getHDAccelerometerSensorCalibrationRecord.return.accelZOffset:0.0
TEST.EXPECTED:NVDataMgmt.getHDAccelerometerSensorCalibrationRecord.return.calibrationTime:0
TEST.EXPECTED:NVDataMgmt.getHDAccelerometerSensorCalibrationRecord.return.crc:0
TEST.END

-- Subprogram: getHDFlowSensorsCalibrationRecord

-- Test Case: getHDFlowSensorsCalibrationRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getHDFlowSensorsCalibrationRecord
TEST.NEW
TEST.NAME:getHDFlowSensorsCalibrationRecord.001
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.flowSensorsCalRecord.hdFlowSensors[CAL_DATA_HD_BLOOD_FLOW_SENSOR].fourthOrderCoeff:0.0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.flowSensorsCalRecord.hdFlowSensors[CAL_DATA_HD_BLOOD_FLOW_SENSOR].thirdOrderCoeff:0.0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.flowSensorsCalRecord.hdFlowSensors[CAL_DATA_HD_BLOOD_FLOW_SENSOR].secondOrderCoeff:0.0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.flowSensorsCalRecord.hdFlowSensors[CAL_DATA_HD_BLOOD_FLOW_SENSOR].gain:0.0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.flowSensorsCalRecord.hdFlowSensors[CAL_DATA_HD_BLOOD_FLOW_SENSOR].offset:0.0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.flowSensorsCalRecord.hdFlowSensors[CAL_DATA_HD_BLOOD_FLOW_SENSOR].calibrationTime:0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.flowSensorsCalRecord.hdFlowSensors[CAL_DATA_HD_BLOOD_FLOW_SENSOR].crc:0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.flowSensorsCalRecord.hdFlowSensors[CAL_DATA_HD_BLOOD_FLOW_SENSOR].fourthOrderCoeff:0.0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.flowSensorsCalRecord.hdFlowSensors[CAL_DATA_HD_BLOOD_FLOW_SENSOR].thirdOrderCoeff:0.0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.flowSensorsCalRecord.hdFlowSensors[CAL_DATA_HD_BLOOD_FLOW_SENSOR].secondOrderCoeff:0.0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.flowSensorsCalRecord.hdFlowSensors[CAL_DATA_HD_BLOOD_FLOW_SENSOR].gain:0.0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.flowSensorsCalRecord.hdFlowSensors[CAL_DATA_HD_BLOOD_FLOW_SENSOR].offset:0.0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.flowSensorsCalRecord.hdFlowSensors[CAL_DATA_HD_BLOOD_FLOW_SENSOR].calibrationTime:0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.flowSensorsCalRecord.hdFlowSensors[CAL_DATA_HD_BLOOD_FLOW_SENSOR].crc:0
TEST.END

-- Subprogram: getHDHeparinForceSensorCalibrationRecord

-- Test Case: getHDHeparinForceSensorCalibrationRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getHDHeparinForceSensorCalibrationRecord
TEST.NEW
TEST.NAME:getHDHeparinForceSensorCalibrationRecord.001
TEST.VALUE:NVDataMgmt.getHDHeparinForceSensorCalibrationRecord.return.hdHeparinForceSensor.fourthOrderCoeff:0.0
TEST.VALUE:NVDataMgmt.getHDHeparinForceSensorCalibrationRecord.return.hdHeparinForceSensor.thirdOrderCoeff:0.0
TEST.VALUE:NVDataMgmt.getHDHeparinForceSensorCalibrationRecord.return.hdHeparinForceSensor.secondOrderCoeff:0.0
TEST.VALUE:NVDataMgmt.getHDHeparinForceSensorCalibrationRecord.return.hdHeparinForceSensor.gain:0.0
TEST.VALUE:NVDataMgmt.getHDHeparinForceSensorCalibrationRecord.return.hdHeparinForceSensor.offset:0.0
TEST.VALUE:NVDataMgmt.getHDHeparinForceSensorCalibrationRecord.return.hdHeparinForceSensor.calibrationTime:0
TEST.VALUE:NVDataMgmt.getHDHeparinForceSensorCalibrationRecord.return.hdHeparinForceSensor.crc:0
TEST.EXPECTED:NVDataMgmt.getHDHeparinForceSensorCalibrationRecord.return.hdHeparinForceSensor.fourthOrderCoeff:0.0
TEST.EXPECTED:NVDataMgmt.getHDHeparinForceSensorCalibrationRecord.return.hdHeparinForceSensor.thirdOrderCoeff:0.0
TEST.EXPECTED:NVDataMgmt.getHDHeparinForceSensorCalibrationRecord.return.hdHeparinForceSensor.secondOrderCoeff:0.0
TEST.EXPECTED:NVDataMgmt.getHDHeparinForceSensorCalibrationRecord.return.hdHeparinForceSensor.gain:0.0
TEST.EXPECTED:NVDataMgmt.getHDHeparinForceSensorCalibrationRecord.return.hdHeparinForceSensor.offset:0.0
TEST.EXPECTED:NVDataMgmt.getHDHeparinForceSensorCalibrationRecord.return.hdHeparinForceSensor.calibrationTime:0
TEST.EXPECTED:NVDataMgmt.getHDHeparinForceSensorCalibrationRecord.return.hdHeparinForceSensor.crc:0
TEST.END

-- Subprogram: getHDOcclusionSensrosCalibrationRecord

-- Test Case: getHDOcclusionSensrosCalibrationRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getHDOcclusionSensrosCalibrationRecord
TEST.NEW
TEST.NAME:getHDOcclusionSensrosCalibrationRecord.001
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.occlusionSensorsCalRecord.hdOcclusionSensors[CAL_DATA_BLOOD_PUMP_OCCLUSION_SENSOR].fourthOrderCoeff:0.0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.occlusionSensorsCalRecord.hdOcclusionSensors[CAL_DATA_BLOOD_PUMP_OCCLUSION_SENSOR].thirdOrderCoeff:0.0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.occlusionSensorsCalRecord.hdOcclusionSensors[CAL_DATA_BLOOD_PUMP_OCCLUSION_SENSOR].secondOrderCoeff:0.0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.occlusionSensorsCalRecord.hdOcclusionSensors[CAL_DATA_BLOOD_PUMP_OCCLUSION_SENSOR].gain:0.0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.occlusionSensorsCalRecord.hdOcclusionSensors[CAL_DATA_BLOOD_PUMP_OCCLUSION_SENSOR].offset:0.0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.occlusionSensorsCalRecord.hdOcclusionSensors[CAL_DATA_BLOOD_PUMP_OCCLUSION_SENSOR].calibrationTime:0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.occlusionSensorsCalRecord.hdOcclusionSensors[CAL_DATA_BLOOD_PUMP_OCCLUSION_SENSOR].crc:0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.occlusionSensorsCalRecord.hdOcclusionSensors[CAL_DATA_BLOOD_PUMP_OCCLUSION_SENSOR].fourthOrderCoeff:0.0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.occlusionSensorsCalRecord.hdOcclusionSensors[CAL_DATA_BLOOD_PUMP_OCCLUSION_SENSOR].thirdOrderCoeff:0.0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.occlusionSensorsCalRecord.hdOcclusionSensors[CAL_DATA_BLOOD_PUMP_OCCLUSION_SENSOR].secondOrderCoeff:0.0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.occlusionSensorsCalRecord.hdOcclusionSensors[CAL_DATA_BLOOD_PUMP_OCCLUSION_SENSOR].gain:0.0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.occlusionSensorsCalRecord.hdOcclusionSensors[CAL_DATA_BLOOD_PUMP_OCCLUSION_SENSOR].offset:0.0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.occlusionSensorsCalRecord.hdOcclusionSensors[CAL_DATA_BLOOD_PUMP_OCCLUSION_SENSOR].calibrationTime:0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.occlusionSensorsCalRecord.hdOcclusionSensors[CAL_DATA_BLOOD_PUMP_OCCLUSION_SENSOR].crc:0
TEST.END

-- Subprogram: getHDPressureSensorsCalibrationRecord

-- Test Case: getHDPressureSensorsCalibrationRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getHDPressureSensorsCalibrationRecord
TEST.NEW
TEST.NAME:getHDPressureSensorsCalibrationRecord.001
TEST.VALUE:NVDataMgmt.getHDPressureSensorsCalibrationRecord.return.hdPressureSensors[CAL_DATA_ARTERIAL_PRESSURE_SENSOR].fourthOrderCoeff:0.0
TEST.VALUE:NVDataMgmt.getHDPressureSensorsCalibrationRecord.return.hdPressureSensors[CAL_DATA_ARTERIAL_PRESSURE_SENSOR].thirdOrderCoeff:0.0
TEST.VALUE:NVDataMgmt.getHDPressureSensorsCalibrationRecord.return.hdPressureSensors[CAL_DATA_ARTERIAL_PRESSURE_SENSOR].secondOrderCoeff:0.0
TEST.VALUE:NVDataMgmt.getHDPressureSensorsCalibrationRecord.return.hdPressureSensors[CAL_DATA_ARTERIAL_PRESSURE_SENSOR].gain:0.0
TEST.VALUE:NVDataMgmt.getHDPressureSensorsCalibrationRecord.return.hdPressureSensors[CAL_DATA_ARTERIAL_PRESSURE_SENSOR].offset:0.0
TEST.VALUE:NVDataMgmt.getHDPressureSensorsCalibrationRecord.return.hdPressureSensors[CAL_DATA_ARTERIAL_PRESSURE_SENSOR].calibrationTime:0
TEST.VALUE:NVDataMgmt.getHDPressureSensorsCalibrationRecord.return.hdPressureSensors[CAL_DATA_ARTERIAL_PRESSURE_SENSOR].crc:0
TEST.EXPECTED:NVDataMgmt.getHDPressureSensorsCalibrationRecord.return.hdPressureSensors[CAL_DATA_ARTERIAL_PRESSURE_SENSOR].fourthOrderCoeff:0.0
TEST.EXPECTED:NVDataMgmt.getHDPressureSensorsCalibrationRecord.return.hdPressureSensors[CAL_DATA_ARTERIAL_PRESSURE_SENSOR].thirdOrderCoeff:0.0
TEST.EXPECTED:NVDataMgmt.getHDPressureSensorsCalibrationRecord.return.hdPressureSensors[CAL_DATA_ARTERIAL_PRESSURE_SENSOR].secondOrderCoeff:0.0
TEST.EXPECTED:NVDataMgmt.getHDPressureSensorsCalibrationRecord.return.hdPressureSensors[CAL_DATA_ARTERIAL_PRESSURE_SENSOR].gain:0.0
TEST.EXPECTED:NVDataMgmt.getHDPressureSensorsCalibrationRecord.return.hdPressureSensors[CAL_DATA_ARTERIAL_PRESSURE_SENSOR].offset:0.0
TEST.EXPECTED:NVDataMgmt.getHDPressureSensorsCalibrationRecord.return.hdPressureSensors[CAL_DATA_ARTERIAL_PRESSURE_SENSOR].calibrationTime:0
TEST.EXPECTED:NVDataMgmt.getHDPressureSensorsCalibrationRecord.return.hdPressureSensors[CAL_DATA_ARTERIAL_PRESSURE_SENSOR].crc:0
TEST.END

-- Subprogram: getHDPumpsCalibrationRecord

-- Test Case: getHDPumpsCalibrationRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getHDPumpsCalibrationRecord
TEST.NEW
TEST.NAME:getHDPumpsCalibrationRecord.001
TEST.STUB:NVDataMgmt.isHDCalibrationRecordValid
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.pumpsCalRecord.hdPumps[CAL_DATA_BLOOD_PUMP].pwm2Speed:0.0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.pumpsCalRecord.hdPumps[CAL_DATA_BLOOD_PUMP].speed2Flow:0.0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.pumpsCalRecord.hdPumps[CAL_DATA_BLOOD_PUMP].minCurrentLimit:0.0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.pumpsCalRecord.hdPumps[CAL_DATA_BLOOD_PUMP].maxCurrentLimit:0.0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.pumpsCalRecord.hdPumps[CAL_DATA_BLOOD_PUMP].calibrationTime:0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.pumpsCalRecord.hdPumps[CAL_DATA_BLOOD_PUMP].crc:0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.pumpsCalRecord.hdPumps[CAL_DATA_BLOOD_PUMP].pwm2Speed:0.0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.pumpsCalRecord.hdPumps[CAL_DATA_BLOOD_PUMP].speed2Flow:0.0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.pumpsCalRecord.hdPumps[CAL_DATA_BLOOD_PUMP].minCurrentLimit:0.0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.pumpsCalRecord.hdPumps[CAL_DATA_BLOOD_PUMP].maxCurrentLimit:0.0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.pumpsCalRecord.hdPumps[CAL_DATA_BLOOD_PUMP].calibrationTime:0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.pumpsCalRecord.hdPumps[CAL_DATA_BLOOD_PUMP].crc:0
TEST.END

-- Subprogram: getHDServiceRecord

-- Test Case: getHDServiceRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getHDServiceRecord
TEST.NEW
TEST.NAME:getHDServiceRecord.001
TEST.VALUE:NVDataMgmt.getHDServiceRecord.return.serviceLoc:0
TEST.VALUE:NVDataMgmt.getHDServiceRecord.return.lastServiceEpochDate:0
TEST.VALUE:NVDataMgmt.getHDServiceRecord.return.serviceIntervalSeconds:0
TEST.VALUE:NVDataMgmt.getHDServiceRecord.return.crc:0
TEST.EXPECTED:NVDataMgmt.getHDServiceRecord.return.serviceLoc:0
TEST.EXPECTED:NVDataMgmt.getHDServiceRecord.return.lastServiceEpochDate:0
TEST.EXPECTED:NVDataMgmt.getHDServiceRecord.return.serviceIntervalSeconds:0
TEST.EXPECTED:NVDataMgmt.getHDServiceRecord.return.crc:0
TEST.END

-- Subprogram: getHDSystemRecord

-- Test Case: getHDSystemRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getHDSystemRecord
TEST.NEW
TEST.NAME:getHDSystemRecord.001
TEST.VALUE:NVDataMgmt.getHDSystemRecord.return.topLevelPN:<<malloc 1>>
TEST.VALUE:NVDataMgmt.getHDSystemRecord.return.topLevelPN:""
TEST.VALUE:NVDataMgmt.getHDSystemRecord.return.topLevelSN:<<malloc 1>>
TEST.VALUE:NVDataMgmt.getHDSystemRecord.return.topLevelSN:""
TEST.VALUE:NVDataMgmt.getHDSystemRecord.return.mfgLocation:0
TEST.VALUE:NVDataMgmt.getHDSystemRecord.return.mfgDate:0
TEST.VALUE:NVDataMgmt.getHDSystemRecord.return.crc:0
TEST.EXPECTED:NVDataMgmt.getHDSystemRecord.return.topLevelPN:""
TEST.EXPECTED:NVDataMgmt.getHDSystemRecord.return.topLevelSN:""
TEST.EXPECTED:NVDataMgmt.getHDSystemRecord.return.mfgLocation:0
TEST.EXPECTED:NVDataMgmt.getHDSystemRecord.return.mfgDate:0
TEST.EXPECTED:NVDataMgmt.getHDSystemRecord.return.crc:0
TEST.END

-- Subprogram: getHDTemperatureSensorsCalibrationRecord

-- Test Case: getHDTemperatureSensorsCalibrationRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getHDTemperatureSensorsCalibrationRecord
TEST.NEW
TEST.NAME:getHDTemperatureSensorsCalibrationRecord.001
TEST.VALUE:NVDataMgmt.getHDTemperatureSensorsCalibrationRecord.return.hdTemperatureSensors[CAL_DATA_HD_BOARD_TEMP_SENSOR_1].fourthOrderCoeff:0.0
TEST.VALUE:NVDataMgmt.getHDTemperatureSensorsCalibrationRecord.return.hdTemperatureSensors[CAL_DATA_HD_BOARD_TEMP_SENSOR_1].thirdOrderCoeff:0.0
TEST.VALUE:NVDataMgmt.getHDTemperatureSensorsCalibrationRecord.return.hdTemperatureSensors[CAL_DATA_HD_BOARD_TEMP_SENSOR_1].secondOrderCoeff:0.0
TEST.VALUE:NVDataMgmt.getHDTemperatureSensorsCalibrationRecord.return.hdTemperatureSensors[CAL_DATA_HD_BOARD_TEMP_SENSOR_1].gain:0.0
TEST.VALUE:NVDataMgmt.getHDTemperatureSensorsCalibrationRecord.return.hdTemperatureSensors[CAL_DATA_HD_BOARD_TEMP_SENSOR_1].offset:0.0
TEST.VALUE:NVDataMgmt.getHDTemperatureSensorsCalibrationRecord.return.hdTemperatureSensors[CAL_DATA_HD_BOARD_TEMP_SENSOR_1].calibrationTime:0
TEST.VALUE:NVDataMgmt.getHDTemperatureSensorsCalibrationRecord.return.hdTemperatureSensors[CAL_DATA_HD_BOARD_TEMP_SENSOR_1].crc:0
TEST.EXPECTED:NVDataMgmt.getHDTemperatureSensorsCalibrationRecord.return.hdTemperatureSensors[CAL_DATA_HD_BOARD_TEMP_SENSOR_1].fourthOrderCoeff:0.0
TEST.EXPECTED:NVDataMgmt.getHDTemperatureSensorsCalibrationRecord.return.hdTemperatureSensors[CAL_DATA_HD_BOARD_TEMP_SENSOR_1].thirdOrderCoeff:0.0
TEST.EXPECTED:NVDataMgmt.getHDTemperatureSensorsCalibrationRecord.return.hdTemperatureSensors[CAL_DATA_HD_BOARD_TEMP_SENSOR_1].secondOrderCoeff:0.0
TEST.EXPECTED:NVDataMgmt.getHDTemperatureSensorsCalibrationRecord.return.hdTemperatureSensors[CAL_DATA_HD_BOARD_TEMP_SENSOR_1].gain:0.0
TEST.EXPECTED:NVDataMgmt.getHDTemperatureSensorsCalibrationRecord.return.hdTemperatureSensors[CAL_DATA_HD_BOARD_TEMP_SENSOR_1].offset:0.0
TEST.EXPECTED:NVDataMgmt.getHDTemperatureSensorsCalibrationRecord.return.hdTemperatureSensors[CAL_DATA_HD_BOARD_TEMP_SENSOR_1].calibrationTime:0
TEST.EXPECTED:NVDataMgmt.getHDTemperatureSensorsCalibrationRecord.return.hdTemperatureSensors[CAL_DATA_HD_BOARD_TEMP_SENSOR_1].crc:0
TEST.END

-- Subprogram: getHDValvesCalibrationRecord

-- Test Case: getHDValvesCalibrationRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getHDValvesCalibrationRecord
TEST.NEW
TEST.NAME:getHDValvesCalibrationRecord.001
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.valvesCalRecord.hdvalves[CAL_DATA_BLOOD_VENOUS_VALVE].counts2Position:0.0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.valvesCalRecord.hdvalves[CAL_DATA_BLOOD_VENOUS_VALVE].calibrationTime:0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.valvesCalRecord.hdvalves[CAL_DATA_BLOOD_VENOUS_VALVE].crc:0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.valvesCalRecord.hdvalves[CAL_DATA_BLOOD_VENOUS_VALVE].counts2Position:0.0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.valvesCalRecord.hdvalves[CAL_DATA_BLOOD_VENOUS_VALVE].calibrationTime:0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.valvesCalRecord.hdvalves[CAL_DATA_BLOOD_VENOUS_VALVE].crc:0
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:<<malloc 1>>
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.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.bloodLeakSensorCalRecord.calibrationTime:10
TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_BLOOD_LEAK_SENSOR
TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:<<malloc 1>>
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.<<GLOBAL>>.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:<<malloc 1>>
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.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.tempSensorsCalRecord.hdTemperatureSensors[CAL_DATA_HD_BOARD_TEMP_SENSOR_1].calibrationTime:10
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.bloodLeakSensorCalRecord.calibrationTime:10
TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_TEMPERATURE_SESNORS
TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:<<malloc 1>>
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.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.tempSensorsCalRecord.hdTemperatureSensors[CAL_DATA_HD_BOARD_TEMP_SENSOR_1].calibrationTime:10
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.tempSensorsCalRecord.hdTemperatureSensors[CAL_DATA_HD_BOARD_TEMP_SENSOR_1].calibrationTime:10
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdCalibrationRecord.hdCalibrationGroups.bloodLeakSensorCalRecord.calibrationTime:10
TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvData:GET_CAL_TEMPERATURE_SESNORS
TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:<<malloc 1>>
TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferAddress:""
TEST.VALUE:NVDataMgmt.getNVRecord2Driver.bufferLength:25
TEST.VALUE:NVDataMgmt.getNVRecord2Driver.numOfSnsrs2Check:0
TEST.VALUE:NVDataMgmt.getNVRecord2Driver.nvAlarm:ALARM_ID_NO_ALARM
TEST.VALUE: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:<<malloc 1>>
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

-- Subprogram: getServiceRecord

-- Test Case: getServiceRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getServiceRecord
TEST.NEW
TEST.NAME:getServiceRecord.001
TEST.MCDC_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
      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.<<GLOBAL>>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_IDLE
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_IDLE
TEST.END

-- Test Case: getServiceRecord.002
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getServiceRecord
TEST.NEW
TEST.NAME:getServiceRecord.002
TEST.MCDC_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
      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.<<GLOBAL>>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD
TEST.END

-- Subprogram: getSystemRecord

-- Test Case: getSystemRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getSystemRecord
TEST.NEW
TEST.NAME:getSystemRecord.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (nvDataMgmtExecProcessRecordState == (NVDATAMGMT_PROCESS_RECORD_STATE_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.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_IDLE
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_IDLE
TEST.END

-- Test Case: getSystemRecord.002
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getSystemRecord
TEST.NEW
TEST.NAME:getSystemRecord.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (nvDataMgmtExecProcessRecordState == (NVDATAMGMT_PROCESS_RECORD_STATE_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.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecProcessRecordState:NVDATAMGMT_PROCESS_RECORD_STATE_SEND_RECORD
TEST.END

-- Subprogram: getTreatmentTime

-- Test Case: getTreatmentTime.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getTreatmentTime
TEST.NEW
TEST.NAME:getTreatmentTime.001
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdUsageInfoGroup.hdUsageInfo.treatmentTime:0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.hdUsageInfoGroup.hdUsageInfo.crc:0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdUsageInfoGroup.hdUsageInfo.treatmentTime:0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.hdUsageInfoGroup.hdUsageInfo.crc:0
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.<<GLOBAL>>.FSMStatus:2
TEST.VALUE:NVDataMgmt.handleExecEraseState.return:NVDATAMGMT_EXEC_STATE_IDLE
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<<MIN>>
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.<<GLOBAL>>.FSMStatus:<<MIN>>
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.<<GLOBAL>>.FSMStatus:<<MIN>>
TEST.VALUE:NVDataMgmt.handleExecEraseState.return:NVDATAMGMT_EXEC_STATE_IDLE
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<<MIN>>
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.<<GLOBAL>>.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.<<GLOBAL>>.powerOffIsImminent:<<MIN>>
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.<<GLOBAL>>.powerOffIsImminent:<<MIN>>
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

-- 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.<<GLOBAL>>.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.<<GLOBAL>>.hasPublishRecordBeenRequested:<<MIN>>
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.<<GLOBAL>>.calPublishMessageCount:<<MIN>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.calPublishTotalMessages:<<MAX>>
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.<<GLOBAL>>.calPublishMessageCount:<<MAX>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.calPublishTotalMessages:<<MIN>>
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.<<GLOBAL>>.calPublishMessageCount:<<MIN>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.calPublishTotalMessages:<<MAX>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.recordToPublish:NVDATAMGMT_SYSTEM_RECORD
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.calPublishMessageCount:<<MIN>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.calPublishTotalMessages:<<MAX>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.recordToPublish:NVDATAMGMT_SERVICE_RECORD
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.calPublishMessageCount:<<MIN>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.calPublishTotalMessages:<<MAX>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.recordToPublish:NVDATAMGMT_SERVICE_RECORD
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.calPublishMessageCount:3
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.calPublishTotalMessages:4
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.FSMStatus:2
TEST.VALUE:NVDataMgmt.handleExecReadFromEEPROMState.return:NVDATAMGMT_EXEC_STATE_IDLE
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<<MIN>>
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.<<GLOBAL>>.FSMStatus:<<MIN>>
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.<<GLOBAL>>.FSMStatus:<<MIN>>
TEST.VALUE:NVDataMgmt.handleExecReadFromEEPROMState.return:NVDATAMGMT_EXEC_STATE_READ_FROM_EEPROM
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<<MIN>>
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.<<GLOBAL>>.FSMStatus:2
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.activeQueue:NVDATAMGMT_PROCESS_LOGS
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.currentJob.externalAddress:<<malloc 1>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.currentJob.externalAddress[0].status:NVDATAMGMT_READ_COMPLETE
TEST.VALUE:NVDataMgmt.handleExecReadFromEEPROMState.return:NVDATAMGMT_EXEC_STATE_IDLE
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<<MIN>>
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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:<<MIN>>
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.<<GLOBAL>>.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.<<GLOBAL>>.activeQueue:NVDATAMGMT_PROCESS_RECORDS
TEST.VALUE:NVDataMgmt.handleExecReadFromRAMState.return:NVDATAMGMT_EXEC_STATE_READ_FROM_RTC
TEST.VALUE:NVDataMgmt.didCommandTimeout.alarm:ALARM_ID_RTC_RAM_OPS_ERROR
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:1
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.activeQueue:NVDATAMGMT_PROCESS_RECORDS
TEST.EXPECTED:NVDataMgmt.didCommandTimeout.alarm:ALARM_ID_RTC_RAM_OPS_ERROR
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.<<GLOBAL>>.activeQueue:NVDATAMGMT_PROCESS_RECORDS
TEST.VALUE:NVDataMgmt.handleExecReadFromRAMState.return:NVDATAMGMT_EXEC_STATE_READ_FROM_RTC
TEST.VALUE:NVDataMgmt.didCommandTimeout.alarm:ALARM_ID_RTC_RAM_OPS_ERROR
TEST.VALUE:NVDataMgmt.didCommandTimeout.state:""
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:1
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.activeQueue:NVDATAMGMT_PROCESS_RECORDS
TEST.EXPECTED:NVDataMgmt.didCommandTimeout.alarm:ALARM_ID_RTC_RAM_OPS_ERROR
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.<<GLOBAL>>.FSMStatus:2
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordCurrentJob.memoryLocation:NVDATAMGMT_EEPROM
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.FSMStatus:<<MIN>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordCurrentJob.memoryLocation:NVDATAMGMT_EEPROM
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.FSMStatus:2
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordCurrentJob.memoryLocation:NVDATAMGMT_RTC
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.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

-- 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.<<GLOBAL>>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD
TEST.VALUE:NVDataMgmt.handleExecVerifyRTCWriteState.return:NVDATAMGMT_EXEC_STATE_WRITE_TO_RTC
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<<MIN>>
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.<<GLOBAL>>.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.<<GLOBAL>>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD
TEST.VALUE:NVDataMgmt.handleExecVerifyRTCWriteState.return:NVDATAMGMT_EXEC_STATE_VERIFY_RTC_WRITE
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<<MIN>>
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: handleExecWaitForPostState

-- Test Case: handleExecWaitForPostState.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWaitForPostState
TEST.NEW
TEST.NAME:handleExecWaitForPostState.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (nvDataMgmtSelfTestState == (NVDATAMGMT_SELF_TEST_STATE_COMPLETE)) ==> 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.<<GLOBAL>>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_COMPLETE
TEST.VALUE:NVDataMgmt.handleExecWaitForPostState.return:NVDATAMGMT_EXEC_STATE_IDLE
TEST.EXPECTED:NVDataMgmt.handleExecWaitForPostState.return:NVDATAMGMT_EXEC_STATE_IDLE
TEST.END

-- Test Case: handleExecWaitForPostState.002
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWaitForPostState
TEST.NEW
TEST.NAME:handleExecWaitForPostState.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (nvDataMgmtSelfTestState == (NVDATAMGMT_SELF_TEST_STATE_COMPLETE)) ==> 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.<<GLOBAL>>.nvDataMgmtSelfTestState:NVDATAMGMT_SELF_TEST_STATE_START
TEST.VALUE:NVDataMgmt.handleExecWaitForPostState.return:NVDATAMGMT_EXEC_STATE_WAIT_FOR_POST
TEST.EXPECTED:NVDataMgmt.handleExecWaitForPostState.return:NVDATAMGMT_EXEC_STATE_WAIT_FOR_POST
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.<<GLOBAL>>.FSMStatus:2
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.FSMStatus:<<MIN>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.FSMStatus:2
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.FSMStatus:2
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.FSMStatus:<<MIN>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.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

-- 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.<<GLOBAL>>.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.<<GLOBAL>>.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.<<GLOBAL>>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.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.MCDC_BASIS_PATH:4 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE)) ==> FALSE
      (6) if (timeoutStatus == (1)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.didCommandTimeout
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD
TEST.VALUE:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_IDLE
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:1
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IN_PROGRESS
TEST.EXPECTED:NVDataMgmt.handleExecWriteToRAMState.return:NVDATAMGMT_EXEC_STATE_IDLE
TEST.END

-- 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.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.areRecordsValid
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:0
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.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

-- Subprogram: handleSelfTestReadCalibrationRecord

-- Test Case: handleSelfTestReadCalibrationRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadCalibrationRecord
TEST.NEW
TEST.NAME:handleSelfTestReadCalibrationRecord.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.<<GLOBAL>>.FSMStatus:2
TEST.VALUE:NVDataMgmt.handleSelfTestReadCalibrationRecord.return:NVDATAMGMT_SELF_TEST_STATE_READ_SYS_RECORD
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<<MIN>>
TEST.EXPECTED:NVDataMgmt.handleSelfTestReadCalibrationRecord.return:NVDATAMGMT_SELF_TEST_STATE_READ_SYS_RECORD
TEST.END

-- Test Case: handleSelfTestReadCalibrationRecord.002
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadCalibrationRecord
TEST.NEW
TEST.NAME:handleSelfTestReadCalibrationRecord.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.<<GLOBAL>>.FSMStatus:<<MIN>>
TEST.VALUE:NVDataMgmt.handleSelfTestReadCalibrationRecord.return:NVDATAMGMT_SELF_TEST_STATE_READ_SYS_RECORD
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:1
TEST.EXPECTED:NVDataMgmt.handleSelfTestReadCalibrationRecord.return:NVDATAMGMT_SELF_TEST_STATE_READ_SYS_RECORD
TEST.END

-- Test Case: handleSelfTestReadCalibrationRecord.003
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadCalibrationRecord
TEST.NEW
TEST.NAME:handleSelfTestReadCalibrationRecord.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.<<GLOBAL>>.FSMStatus:<<MIN>>
TEST.VALUE:NVDataMgmt.handleSelfTestReadCalibrationRecord.return:NVDATAMGMT_SELF_TEST_STATE_READ_CAL_RECORD
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<<MIN>>
TEST.EXPECTED:NVDataMgmt.handleSelfTestReadCalibrationRecord.return:NVDATAMGMT_SELF_TEST_STATE_READ_CAL_RECORD
TEST.END

-- Subprogram: handleSelfTestReadHDTreatmentTime

-- Test Case: handleSelfTestReadHDTreatmentTime.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadHDTreatmentTime
TEST.NEW
TEST.NAME:handleSelfTestReadHDTreatmentTime.001
TEST.MCDC_BASIS_PATH:2 of 5
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.handleSelfTestReadHDTreatmentTime.return:NVDATAMGMT_SELF_TEST_STATE_READ_LOG_RECORD
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.EXPECTED:NVDataMgmt.handleSelfTestReadHDTreatmentTime.return:NVDATAMGMT_SELF_TEST_STATE_READ_LOG_RECORD
TEST.END

-- Test Case: handleSelfTestReadHDTreatmentTime.002
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadHDTreatmentTime
TEST.NEW
TEST.NAME:handleSelfTestReadHDTreatmentTime.002
TEST.MCDC_BASIS_PATH:3 of 5
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.handleSelfTestReadHDTreatmentTime.return:NVDATAMGMT_SELF_TEST_STATE_READ_LOG_RECORD
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:1
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IN_PROGRESS
TEST.EXPECTED:NVDataMgmt.handleSelfTestReadHDTreatmentTime.return:NVDATAMGMT_SELF_TEST_STATE_READ_LOG_RECORD
TEST.END

-- Test Case: handleSelfTestReadHDTreatmentTime.003
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadHDTreatmentTime
TEST.NEW
TEST.NAME:handleSelfTestReadHDTreatmentTime.003
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.handleSelfTestReadHDTreatmentTime.return:NVDATAMGMT_SELF_TEST_STATE_READ_TREATMENT_TIME
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IN_PROGRESS
TEST.EXPECTED:NVDataMgmt.handleSelfTestReadHDTreatmentTime.return:NVDATAMGMT_SELF_TEST_STATE_READ_TREATMENT_TIME
TEST.END

-- Test Case: handleSelfTestReadHDTreatmentTime.004
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadHDTreatmentTime
TEST.NEW
TEST.NAME:handleSelfTestReadHDTreatmentTime.004
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 (getRTCRAMState() == (RTC_RAM_STATE_READY)) ==> 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.handleSelfTestReadHDTreatmentTime.return:NVDATAMGMT_SELF_TEST_STATE_READ_LOG_RECORD
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:1
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.VALUE:uut_prototype_stubs.getRTCRAMState.return:RTC_RAM_STATE_READY
TEST.EXPECTED:NVDataMgmt.handleSelfTestReadHDTreatmentTime.return:NVDATAMGMT_SELF_TEST_STATE_READ_LOG_RECORD
TEST.END

-- Test Case: handleSelfTestReadHDTreatmentTime.005
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadHDTreatmentTime
TEST.NEW
TEST.NAME:handleSelfTestReadHDTreatmentTime.005
TEST.MCDC_BASIS_PATH:4 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE) || timeoutStatus == (1)) ==> TRUE
      (2) if (getRTCRAMState() == (RTC_RAM_STATE_READY)) ==> 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.handleSelfTestReadHDTreatmentTime.return:NVDATAMGMT_SELF_TEST_STATE_READ_TREATMENT_TIME
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:1
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.VALUE:uut_prototype_stubs.getRTCRAMState.return:RTC_RAM_STATE_BUSY
TEST.EXPECTED:NVDataMgmt.handleSelfTestReadHDTreatmentTime.return:NVDATAMGMT_SELF_TEST_STATE_READ_TREATMENT_TIME
TEST.END

-- Subprogram: handleSelfTestReadLogRecord

-- Test Case: handleSelfTestReadLogRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadLogRecord
TEST.NEW
TEST.NAME:handleSelfTestReadLogRecord.001
TEST.MCDC_BASIS_PATH:2 of 3
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.handleSelfTestReadLogRecord.return:NVDATAMGMT_SELF_TEST_STATE_READ_SYS_RECORD
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.EXPECTED:NVDataMgmt.handleSelfTestReadLogRecord.return:NVDATAMGMT_SELF_TEST_STATE_READ_SYS_RECORD
TEST.END

-- Test Case: handleSelfTestReadLogRecord.002
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadLogRecord
TEST.NEW
TEST.NAME:handleSelfTestReadLogRecord.002
TEST.MCDC_BASIS_PATH:3 of 3
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.handleSelfTestReadLogRecord.return:NVDATAMGMT_SELF_TEST_STATE_READ_SYS_RECORD
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:1
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IN_PROGRESS
TEST.EXPECTED:NVDataMgmt.handleSelfTestReadLogRecord.return:NVDATAMGMT_SELF_TEST_STATE_READ_SYS_RECORD
TEST.END

-- Test Case: handleSelfTestReadLogRecord.003
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadLogRecord
TEST.NEW
TEST.NAME:handleSelfTestReadLogRecord.003
TEST.MCDC_BASIS_PATH:1 of 3
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.handleSelfTestReadLogRecord.return:NVDATAMGMT_SELF_TEST_STATE_READ_LOG_RECORD
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IN_PROGRESS
TEST.EXPECTED:NVDataMgmt.handleSelfTestReadLogRecord.return:NVDATAMGMT_SELF_TEST_STATE_READ_LOG_RECORD
TEST.END

-- Subprogram: handleSelfTestReadServiceRecord

-- Test Case: handleSelfTestReadServiceRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadServiceRecord
TEST.NEW
TEST.NAME:handleSelfTestReadServiceRecord.001
TEST.VALUE:NVDataMgmt.handleSelfTestReadServiceRecord.return:NVDATAMGMT_SELF_TEST_STATE_CHECK_CRC
TEST.VALUE:uut_prototype_stubs.getRTCRAMState.return:RTC_RAM_STATE_BUSY
TEST.EXPECTED:NVDataMgmt.handleSelfTestReadServiceRecord.return:NVDATAMGMT_SELF_TEST_STATE_CHECK_CRC
TEST.END

-- Test Case: handleSelfTestReadServiceRecord.002
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadServiceRecord
TEST.NEW
TEST.NAME:handleSelfTestReadServiceRecord.002
TEST.STUB:NVDataMgmt.didCommandTimeout
TEST.VALUE:NVDataMgmt.handleSelfTestReadServiceRecord.return:NVDATAMGMT_SELF_TEST_STATE_CHECK_CRC
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:1
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_FAILED
TEST.EXPECTED:NVDataMgmt.handleSelfTestReadServiceRecord.return:NVDATAMGMT_SELF_TEST_STATE_CHECK_CRC
TEST.END

-- Test Case: handleSelfTestReadServiceRecord.003
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadServiceRecord
TEST.NEW
TEST.NAME:handleSelfTestReadServiceRecord.003
TEST.MCDC_BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((RTC_RAM_STATUS_IDLE) == getRTCRAMStatus() || (1) == timeoutStatus) ==> 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.VALUE:NVDataMgmt.handleSelfTestReadServiceRecord.return:NVDATAMGMT_SELF_TEST_STATE_READ_SERVICE_RECORD
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IN_PROGRESS
TEST.EXPECTED:NVDataMgmt.handleSelfTestReadServiceRecord.return:NVDATAMGMT_SELF_TEST_STATE_READ_SERVICE_RECORD
TEST.END

-- Subprogram: handleSelfTestReadSystemRecord

-- Test Case: handleSelfTestReadSystemRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadSystemRecord
TEST.NEW
TEST.NAME:handleSelfTestReadSystemRecord.001
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.FSMStatus:2
TEST.VALUE:NVDataMgmt.handleSelfTestReadSystemRecord.return:NVDATAMGMT_SELF_TEST_STATE_READ_SERVICE_RECORD
TEST.EXPECTED:NVDataMgmt.handleSelfTestReadSystemRecord.return:NVDATAMGMT_SELF_TEST_STATE_READ_SERVICE_RECORD
TEST.END

-- Test Case: handleSelfTestReadSystemRecord.002
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadSystemRecord
TEST.NEW
TEST.NAME:handleSelfTestReadSystemRecord.002
TEST.STUB:NVDataMgmt.didCommandTimeout
TEST.VALUE:NVDataMgmt.handleSelfTestReadSystemRecord.return:NVDATAMGMT_SELF_TEST_STATE_READ_SERVICE_RECORD
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:1
TEST.EXPECTED:NVDataMgmt.handleSelfTestReadSystemRecord.return:NVDATAMGMT_SELF_TEST_STATE_READ_SERVICE_RECORD
TEST.END

-- Test Case: handleSelfTestReadSystemRecord.003
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadSystemRecord
TEST.NEW
TEST.NAME:handleSelfTestReadSystemRecord.003
TEST.MCDC_BASIS_PATH:3 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((Fapi_Status_FsmReady) == FSMStatus || (1) == timeoutStatus) ==> 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.VALUE:NVDataMgmt.<<GLOBAL>>.FSMStatus:<<MIN>>
TEST.VALUE:NVDataMgmt.handleSelfTestReadSystemRecord.return:NVDATAMGMT_SELF_TEST_STATE_READ_SYS_RECORD
TEST.EXPECTED:NVDataMgmt.handleSelfTestReadSystemRecord.return:NVDATAMGMT_SELF_TEST_STATE_READ_SYS_RECORD
TEST.END

-- Test Case: handleSelfTestReadSystemRecord.004
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadSystemRecord
TEST.NEW
TEST.NAME:handleSelfTestReadSystemRecord.004
TEST.MCDC_BASIS_PATH:4 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((Fapi_Status_FsmReady) == FSMStatus || (1) == timeoutStatus) ==> TRUE
      (2) if ((RTC_RAM_STATE_READY) == getRTCRAMState()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.FSMStatus:2
TEST.VALUE:NVDataMgmt.handleSelfTestReadSystemRecord.return:NVDATAMGMT_SELF_TEST_STATE_READ_SYS_RECORD
TEST.VALUE:uut_prototype_stubs.getRTCRAMState.return:RTC_RAM_STATE_BUSY
TEST.EXPECTED:NVDataMgmt.handleSelfTestReadSystemRecord.return:NVDATAMGMT_SELF_TEST_STATE_READ_SYS_RECORD
TEST.END

-- Subprogram: handleSelfTestStart

-- Test Case: handleSelfTestStart.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestStart
TEST.NEW
TEST.NAME:handleSelfTestStart.001
TEST.MCDC_BASIS_PATH:2 of 2
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.VALUE:NVDataMgmt.<<GLOBAL>>.FSMStatus:2
TEST.VALUE:NVDataMgmt.handleSelfTestStart.return:NVDATAMGMT_SELF_TEST_STATE_READ_CAL_RECORD
TEST.EXPECTED:NVDataMgmt.handleSelfTestStart.return:NVDATAMGMT_SELF_TEST_STATE_READ_CAL_RECORD
TEST.END

-- Test Case: handleSelfTestStart.002
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestStart
TEST.NEW
TEST.NAME:handleSelfTestStart.002
TEST.MCDC_BASIS_PATH:1 of 2
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.VALUE:NVDataMgmt.<<GLOBAL>>.FSMStatus:<<MIN>>
TEST.VALUE:NVDataMgmt.handleSelfTestStart.return:NVDATAMGMT_SELF_TEST_STATE_START
TEST.EXPECTED:NVDataMgmt.handleSelfTestStart.return:NVDATAMGMT_SELF_TEST_STATE_START
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:<<malloc 1>>
TEST.VALUE:NVDataMgmt.isHDAccelerometerSensorValid.record[0].crc:1
TEST.VALUE:NVDataMgmt.isHDAccelerometerSensorValid.return:0
TEST.VALUE:uut_prototype_stubs.crc16.return:<<MIN>>
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:<<malloc 1>>
TEST.VALUE:NVDataMgmt.isHDAccelerometerSensorValid.record[0].crc:<<MIN>>
TEST.VALUE:NVDataMgmt.isHDAccelerometerSensorValid.return:1
TEST.VALUE:uut_prototype_stubs.crc16.return:<<MIN>>
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.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

-- 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:<<malloc 1>>
TEST.VALUE:NVDataMgmt.isHDPumpRecordValid.record[0].crc:1
TEST.VALUE:NVDataMgmt.isHDPumpRecordValid.return:0
TEST.VALUE:uut_prototype_stubs.crc16.return:<<MIN>>
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:<<malloc 1>>
TEST.VALUE:NVDataMgmt.isHDPumpRecordValid.record[0].crc:<<MIN>>
TEST.VALUE:NVDataMgmt.isHDPumpRecordValid.return:1
TEST.VALUE:uut_prototype_stubs.crc16.return:<<MIN>>
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.<<GLOBAL>>.hdServiceGroup.hdServiceRecord.crc:1
TEST.VALUE:NVDataMgmt.isHDServiceRecordValid.return:0
TEST.VALUE:uut_prototype_stubs.crc16.return:<<MIN>>
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.<<GLOBAL>>.hdServiceGroup.hdServiceRecord.crc:<<MIN>>
TEST.VALUE:NVDataMgmt.isHDServiceRecordValid.return:1
TEST.VALUE:uut_prototype_stubs.crc16.return:<<MIN>>
TEST.EXPECTED:NVDataMgmt.isHDServiceRecordValid.return:1
TEST.END

-- Subprogram: isHDSystemRecordValid

-- 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.<<GLOBAL>>.hdSystemGroup.hdsystemRecord.crc:1
TEST.VALUE:NVDataMgmt.isHDSystemRecordValid.return:0
TEST.VALUE:uut_prototype_stubs.crc16.return:<<MIN>>
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.<<GLOBAL>>.hdSystemGroup.hdsystemRecord.crc:<<MIN>>
TEST.VALUE:NVDataMgmt.isHDSystemRecordValid.return:1
TEST.VALUE:uut_prototype_stubs.crc16.return:<<MIN>>
TEST.EXPECTED:NVDataMgmt.isHDSystemRecordValid.return:1
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:<<malloc 1>>
TEST.VALUE:NVDataMgmt.isHDValveRecordValid.record[0].crc:1
TEST.VALUE:NVDataMgmt.isHDValveRecordValid.return:0
TEST.VALUE:uut_prototype_stubs.crc16.return:<<MIN>>
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:<<malloc 1>>
TEST.VALUE:NVDataMgmt.isHDValveRecordValid.record[0].crc:<<MIN>>
TEST.VALUE:NVDataMgmt.isHDValveRecordValid.return:1
TEST.VALUE:uut_prototype_stubs.crc16.return:<<MIN>>
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:<<malloc 1>>
TEST.VALUE:NVDataMgmt.isPolynomialRecordValid.record[0].crc:1
TEST.VALUE:NVDataMgmt.isPolynomialRecordValid.return:0
TEST.VALUE:uut_prototype_stubs.crc16.return:<<MIN>>
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:<<malloc 1>>
TEST.VALUE:NVDataMgmt.isPolynomialRecordValid.record[0].crc:<<MIN>>
TEST.VALUE:NVDataMgmt.isPolynomialRecordValid.return:1
TEST.VALUE:uut_prototype_stubs.crc16.return:<<MIN>>
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.<<GLOBAL>>.queueCount:<<MAX>>
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.<<GLOBAL>>.queueCount:<<MIN>>
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.<<GLOBAL>>.queueCount:<<MAX>>
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.<<GLOBAL>>.queueCount:<<MIN>>
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.<<GLOBAL>>.recordQueueCount:<<MAX>>
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.<<GLOBAL>>.recordQueueCount:<<MIN>>
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.<<GLOBAL>>.isNewCalAvailable:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.isNewCalAvailable:<<MIN>>
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.<<GLOBAL>>.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:<<MIN>>
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.<<GLOBAL>>.logRecord.logHeader.nextReadIndex:<<MAX>>
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.<<GLOBAL>>.logRecord.logHeader.nextReadIndex:<<MIN>>
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.<<GLOBAL>>.logRecord.logHeader.isHdrCorrupted:1
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.<<GLOBAL>>.logRecord.logHeader.isHdrCorrupted:<<MIN>>
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.<<GLOBAL>>.logRecord.logHeader.nextReadIndex:<<MAX>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.logRecord.logHeader.isHdrCorrupted:1
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:<<malloc 1>>
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.<<GLOBAL>>.logRecord.logHeader.recordCount:<<MAX>>
TEST.VALUE:NVDataMgmt.prepareWriteLogJobAndGetStartAddress.data:<<malloc 1>>
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.<<GLOBAL>>.logRecord.logHeader.nextWriteIndex:<<MAX>>
TEST.VALUE:NVDataMgmt.prepareWriteLogJobAndGetStartAddress.data:<<malloc 1>>
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:<<malloc 1>>
TEST.VALUE:NVDataMgmt.readLogData.length:<<MIN>>
TEST.VALUE:NVDataMgmt.readLogData.return:0
TEST.VALUE:NVDataMgmt.getAvailableQueueCount.return:<<MIN>>
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:<<malloc 1>>
TEST.VALUE:NVDataMgmt.readLogData.length:<<MIN>>
TEST.VALUE:NVDataMgmt.readLogData.return:1
TEST.VALUE:NVDataMgmt.getAvailableQueueCount.return:<<MAX>>
TEST.EXPECTED:NVDataMgmt.readLogData.return:1
TEST.END

-- Subprogram: setCalibrationRecord

-- Test Case: setCalibrationRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setCalibrationRecord
TEST.NEW
TEST.NAME:setCalibrationRecord.001
TEST.MCDC_BASIS_PATH:2 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> 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.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE
TEST.VALUE:NVDataMgmt.setCalibrationRecord.currentMessage:1
TEST.VALUE:NVDataMgmt.setCalibrationRecord.totalMessages:<<MIN>>
TEST.VALUE:NVDataMgmt.setCalibrationRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setCalibrationRecord.addressPtr:<<malloc 1>>
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.EXPECTED:NVDataMgmt.setCalibrationRecord.currentMessage:1
TEST.EXPECTED:NVDataMgmt.setCalibrationRecord.totalMessages:0
TEST.EXPECTED:NVDataMgmt.setCalibrationRecord.length:0
TEST.END

-- Test Case: setCalibrationRecord.002
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setCalibrationRecord
TEST.NEW
TEST.NAME:setCalibrationRecord.002
TEST.MCDC_BASIS_PATH:3 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> 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.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.VALUE:NVDataMgmt.setCalibrationRecord.currentMessage:1
TEST.VALUE:NVDataMgmt.setCalibrationRecord.totalMessages:<<MIN>>
TEST.VALUE:NVDataMgmt.setCalibrationRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setCalibrationRecord.addressPtr:<<malloc 1>>
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.EXPECTED:NVDataMgmt.setCalibrationRecord.currentMessage:1
TEST.EXPECTED:NVDataMgmt.setCalibrationRecord.totalMessages:0
TEST.EXPECTED:NVDataMgmt.setCalibrationRecord.length:0
TEST.END

-- Test Case: setCalibrationRecord.003
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setCalibrationRecord
TEST.NEW
TEST.NAME:setCalibrationRecord.003
TEST.MCDC_BASIS_PATH:1 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> 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.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE
TEST.VALUE:NVDataMgmt.setCalibrationRecord.currentMessage:<<MIN>>
TEST.VALUE:NVDataMgmt.setCalibrationRecord.totalMessages:<<MIN>>
TEST.VALUE:NVDataMgmt.setCalibrationRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setCalibrationRecord.addressPtr:<<malloc 1>>
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE
TEST.END

-- Test Case: setCalibrationRecord.004
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setCalibrationRecord
TEST.NEW
TEST.NAME:setCalibrationRecord.004
TEST.MCDC_BASIS_PATH:5 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE
      (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.VALUE:NVDataMgmt.setCalibrationRecord.currentMessage:<<MIN>>
TEST.VALUE:NVDataMgmt.setCalibrationRecord.totalMessages:<<MAX>>
TEST.VALUE:NVDataMgmt.setCalibrationRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setCalibrationRecord.addressPtr:<<malloc 1>>
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE
TEST.END

-- Test Case: setCalibrationRecord.005
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setCalibrationRecord
TEST.NEW
TEST.NAME:setCalibrationRecord.005
TEST.MCDC_BASIS_PATH:6 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE
      (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> 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:
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.VALUE:NVDataMgmt.setCalibrationRecord.currentMessage:<<MAX>>
TEST.VALUE:NVDataMgmt.setCalibrationRecord.totalMessages:<<MIN>>
TEST.VALUE:NVDataMgmt.setCalibrationRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setCalibrationRecord.addressPtr:<<malloc 1>>
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.END

-- Test Case: setCalibrationRecord.006
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setCalibrationRecord
TEST.NEW
TEST.NAME:setCalibrationRecord.006
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE
      (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.previousCalMessageNum:1
TEST.VALUE:NVDataMgmt.setCalibrationRecord.currentMessage:2
TEST.VALUE:NVDataMgmt.setCalibrationRecord.totalMessages:<<MAX>>
TEST.VALUE:NVDataMgmt.setCalibrationRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setCalibrationRecord.addressPtr:<<malloc 1>>
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.previousCalMessageNum:2
TEST.EXPECTED:NVDataMgmt.setCalibrationRecord.currentMessage:2
TEST.END

-- Test Case: setCalibrationRecord.007
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setCalibrationRecord
TEST.NEW
TEST.NAME:setCalibrationRecord.007
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE
      (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.previousCalMessageNum:1
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.isNewCalAvailable:1
TEST.VALUE:NVDataMgmt.setCalibrationRecord.currentMessage:2
TEST.VALUE:NVDataMgmt.setCalibrationRecord.totalMessages:2
TEST.VALUE:NVDataMgmt.setCalibrationRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setCalibrationRecord.addressPtr:<<malloc 1>>
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.isNewCalAvailable:1
TEST.EXPECTED:NVDataMgmt.setCalibrationRecord.currentMessage:2
TEST.EXPECTED:NVDataMgmt.setCalibrationRecord.totalMessages:2
TEST.END

-- Test Case: setCalibrationRecord.008
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setCalibrationRecord
TEST.NEW
TEST.NAME:setCalibrationRecord.008
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE
      (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.previousCalMessageNum:1
TEST.VALUE:NVDataMgmt.setCalibrationRecord.currentMessage:2
TEST.VALUE:NVDataMgmt.setCalibrationRecord.totalMessages:2
TEST.VALUE:NVDataMgmt.setCalibrationRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setCalibrationRecord.addressPtr:<<malloc 1>>
TEST.VALUE:uut_prototype_stubs.crc16.return:100
TEST.EXPECTED:NVDataMgmt.setCalibrationRecord.currentMessage:2
TEST.EXPECTED:NVDataMgmt.setCalibrationRecord.totalMessages:2
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.<<GLOBAL>>.jobQueue[0].memoryOperation:NVDATAMGMT_NONE
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.jobQueue[0].memoryLocation:NVDATAMGMT_EEPROM
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.jobQueue[0].startAddress:0x0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.jobQueue[0].buffer:<<malloc 1>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.jobQueue[0].buffer:""
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.jobQueue[0].externalAddress:<<malloc 1>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.jobQueue[0].length:0
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.ops:<<MIN>>
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.location:<<MIN>>
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.startAddress:<<MIN>>
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.data:<<malloc 1>>
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.extAddress:<<malloc 1>>
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.length:<<MIN>>
TEST.VALUE:NVDataMgmt.isQueueFull.return:0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.jobQueue[0].memoryOperation:NVDATAMGMT_NONE
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.jobQueue[0].memoryLocation:NVDATAMGMT_EEPROM
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.jobQueue[0].startAddress:0x0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.jobQueue[0].buffer:""
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.queueRearIndex:100
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.ops:<<MIN>>
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.location:<<MIN>>
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.startAddress:<<MIN>>
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.data:<<malloc 1>>
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.extAddress:<<malloc 1>>
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.length:<<MIN>>
TEST.VALUE:NVDataMgmt.isQueueFull.return:1
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.queueRearIndex:100
TEST.END

-- Test Case: setMemoryOpsStruct.003
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setMemoryOpsStruct
TEST.NEW
TEST.NAME:setMemoryOpsStruct.003
TEST.MCDC_BASIS_PATH:3 of 6
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.<<GLOBAL>>.queueRearIndex:<<MAX>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.queueCount:100
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.ops:<<MIN>>
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.location:<<MIN>>
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.startAddress:<<MIN>>
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.data:<<malloc 1>>
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.extAddress:<<malloc 1>>
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.length:<<MIN>>
TEST.VALUE:NVDataMgmt.isQueueFull.return:0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.queueCount:101
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.<<GLOBAL>>.queueRearIndex:0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.queueCount:0
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.ops:<<MIN>>
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.location:<<MIN>>
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.startAddress:<<MIN>>
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.data:<<malloc 1>>
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.extAddress:<<null>>
TEST.VALUE:NVDataMgmt.setMemoryOpsStruct.length:<<MIN>>
TEST.VALUE:NVDataMgmt.isQueueFull.return:0
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.queueCount:1
TEST.END

-- Subprogram: setServiceRecord

-- Test Case: setServiceRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setServiceRecord
TEST.NEW
TEST.NAME:setServiceRecord.001
TEST.MCDC_BASIS_PATH:2 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == currentMessage && nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_IDLE)) ==> 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.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE
TEST.VALUE:NVDataMgmt.setServiceRecord.currentMessage:1
TEST.VALUE:NVDataMgmt.setServiceRecord.totalMessages:<<MIN>>
TEST.VALUE:NVDataMgmt.setServiceRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setServiceRecord.addressPtr:<<malloc 1>>
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.END

-- Test Case: setServiceRecord.002
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setServiceRecord
TEST.NEW
TEST.NAME:setServiceRecord.002
TEST.MCDC_BASIS_PATH:3 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == currentMessage && nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_IDLE)) ==> 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.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.VALUE:NVDataMgmt.setServiceRecord.currentMessage:1
TEST.VALUE:NVDataMgmt.setServiceRecord.totalMessages:<<MIN>>
TEST.VALUE:NVDataMgmt.setServiceRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setServiceRecord.addressPtr:<<malloc 1>>
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.END

-- Test Case: setServiceRecord.003
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setServiceRecord
TEST.NEW
TEST.NAME:setServiceRecord.003
TEST.MCDC_BASIS_PATH:1 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == currentMessage && nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_IDLE)) ==> 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.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE
TEST.VALUE:NVDataMgmt.setServiceRecord.currentMessage:<<MIN>>
TEST.VALUE:NVDataMgmt.setServiceRecord.totalMessages:<<MIN>>
TEST.VALUE:NVDataMgmt.setServiceRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setServiceRecord.addressPtr:<<malloc 1>>
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE
TEST.END

-- Test Case: setServiceRecord.004
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setServiceRecord
TEST.NEW
TEST.NAME:setServiceRecord.004
TEST.MCDC_BASIS_PATH:5 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == currentMessage && nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_IDLE)) ==> FALSE
      (2) if (nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_RECEIVE) && currentMessage <= totalMessages) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.VALUE:NVDataMgmt.setServiceRecord.currentMessage:<<MIN>>
TEST.VALUE:NVDataMgmt.setServiceRecord.totalMessages:<<MAX>>
TEST.VALUE:NVDataMgmt.setServiceRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setServiceRecord.addressPtr:<<malloc 1>>
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.END

-- Test Case: setServiceRecord.005
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setServiceRecord
TEST.NEW
TEST.NAME:setServiceRecord.005
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == currentMessage && nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_IDLE)) ==> FALSE
      (2) if (nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_RECEIVE) && currentMessage <= totalMessages) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.previousCalMessageNum:1
TEST.VALUE:NVDataMgmt.setServiceRecord.currentMessage:2
TEST.VALUE:NVDataMgmt.setServiceRecord.totalMessages:<<MAX>>
TEST.VALUE:NVDataMgmt.setServiceRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setServiceRecord.addressPtr:<<malloc 1>>
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.EXPECTED:NVDataMgmt.setServiceRecord.currentMessage:2
TEST.END

-- Test Case: setServiceRecord.006
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setServiceRecord
TEST.NEW
TEST.NAME:setServiceRecord.006
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == currentMessage && nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_IDLE)) ==> FALSE
      (2) if (nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_RECEIVE) && currentMessage <= totalMessages) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.previousCalMessageNum:1
TEST.VALUE:NVDataMgmt.setServiceRecord.currentMessage:2
TEST.VALUE:NVDataMgmt.setServiceRecord.totalMessages:2
TEST.VALUE:NVDataMgmt.setServiceRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setServiceRecord.addressPtr:<<malloc 1>>
TEST.EXPECTED:NVDataMgmt.setServiceRecord.currentMessage:2
TEST.END

-- Test Case: setServiceRecord.007
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setServiceRecord
TEST.NEW
TEST.NAME:setServiceRecord.007
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == currentMessage && nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_IDLE)) ==> FALSE
      (2) if (nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_RECEIVE) && currentMessage <= totalMessages) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.previousCalMessageNum:1
TEST.VALUE:NVDataMgmt.setServiceRecord.currentMessage:2
TEST.VALUE:NVDataMgmt.setServiceRecord.totalMessages:2
TEST.VALUE:NVDataMgmt.setServiceRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setServiceRecord.addressPtr:<<malloc 1>>
TEST.VALUE:uut_prototype_stubs.crc16.address:""
TEST.VALUE:uut_prototype_stubs.crc16.len:62
TEST.VALUE:uut_prototype_stubs.crc16.return:1
TEST.EXPECTED:NVDataMgmt.setServiceRecord.currentMessage:2
TEST.EXPECTED:uut_prototype_stubs.crc16.len:62
TEST.END

-- Subprogram: setSystemRecord

-- Test Case: setSystemRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setSystemRecord
TEST.NEW
TEST.NAME:setSystemRecord.001
TEST.MCDC_BASIS_PATH:2 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> 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.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE
TEST.VALUE:NVDataMgmt.setSystemRecord.currentMessage:1
TEST.VALUE:NVDataMgmt.setSystemRecord.totalMessages:<<MIN>>
TEST.VALUE:NVDataMgmt.setSystemRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setSystemRecord.addressPtr:<<malloc 1>>
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.END

-- Test Case: setSystemRecord.002
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setSystemRecord
TEST.NEW
TEST.NAME:setSystemRecord.002
TEST.MCDC_BASIS_PATH:3 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> 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.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.VALUE:NVDataMgmt.setSystemRecord.currentMessage:1
TEST.VALUE:NVDataMgmt.setSystemRecord.totalMessages:<<MIN>>
TEST.VALUE:NVDataMgmt.setSystemRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setSystemRecord.addressPtr:<<malloc 1>>
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.END

-- Test Case: setSystemRecord.003
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setSystemRecord
TEST.NEW
TEST.NAME:setSystemRecord.003
TEST.MCDC_BASIS_PATH:1 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> 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.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE
TEST.VALUE:NVDataMgmt.setSystemRecord.currentMessage:<<MIN>>
TEST.VALUE:NVDataMgmt.setSystemRecord.totalMessages:<<MIN>>
TEST.VALUE:NVDataMgmt.setSystemRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setSystemRecord.addressPtr:<<malloc 1>>
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE
TEST.END

-- Test Case: setSystemRecord.004
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setSystemRecord
TEST.NEW
TEST.NAME:setSystemRecord.004
TEST.MCDC_BASIS_PATH:5 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE
      (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.VALUE:NVDataMgmt.setSystemRecord.currentMessage:<<MIN>>
TEST.VALUE:NVDataMgmt.setSystemRecord.totalMessages:<<MAX>>
TEST.VALUE:NVDataMgmt.setSystemRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setSystemRecord.addressPtr:<<malloc 1>>
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.END

-- Test Case: setSystemRecord.005
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setSystemRecord
TEST.NEW
TEST.NAME:setSystemRecord.005
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE
      (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.previousCalMessageNum:2
TEST.VALUE:NVDataMgmt.setSystemRecord.currentMessage:3
TEST.VALUE:NVDataMgmt.setSystemRecord.totalMessages:<<MAX>>
TEST.VALUE:NVDataMgmt.setSystemRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setSystemRecord.addressPtr:<<malloc 1>>
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.previousCalMessageNum:3
TEST.EXPECTED:NVDataMgmt.setSystemRecord.currentMessage:3
TEST.END

-- Test Case: setSystemRecord.006
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setSystemRecord
TEST.NEW
TEST.NAME:setSystemRecord.006
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE
      (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.previousCalMessageNum:2
TEST.VALUE:NVDataMgmt.setSystemRecord.currentMessage:3
TEST.VALUE:NVDataMgmt.setSystemRecord.totalMessages:3
TEST.VALUE:NVDataMgmt.setSystemRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setSystemRecord.addressPtr:<<malloc 1>>
TEST.EXPECTED:NVDataMgmt.setSystemRecord.currentMessage:3
TEST.EXPECTED:NVDataMgmt.setSystemRecord.totalMessages:3
TEST.END

-- Test Case: setSystemRecord.007
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setSystemRecord
TEST.NEW
TEST.NAME:setSystemRecord.007
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE
      (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.previousCalMessageNum:2
TEST.VALUE:NVDataMgmt.setSystemRecord.currentMessage:3
TEST.VALUE:NVDataMgmt.setSystemRecord.totalMessages:3
TEST.VALUE:NVDataMgmt.setSystemRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setSystemRecord.addressPtr:<<malloc 1>>
TEST.VALUE:uut_prototype_stubs.crc16.address:""
TEST.VALUE:uut_prototype_stubs.crc16.len:46
TEST.VALUE:uut_prototype_stubs.crc16.return:1
TEST.EXPECTED:NVDataMgmt.setSystemRecord.currentMessage:3
TEST.EXPECTED:NVDataMgmt.setSystemRecord.totalMessages:3
TEST.EXPECTED:uut_prototype_stubs.crc16.len:46
TEST.END

-- Subprogram: setTreatmentTime

-- Test Case: setTreatmentTim.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setTreatmentTime
TEST.NEW
TEST.NAME:setTreatmentTim.001
TEST.MCDC_BASIS_PATH:2 of 2
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.setTreatmentTime.hours:<<MIN>>
TEST.VALUE:NVDataMgmt.setTreatmentTime.return:1
TEST.VALUE:NVDataMgmt.isQueueFull.return:0
TEST.EXPECTED:NVDataMgmt.setTreatmentTime.return:1
TEST.END

-- Test Case: setTreatmentTim.002
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setTreatmentTime
TEST.NEW
TEST.NAME:setTreatmentTim.002
TEST.MCDC_BASIS_PATH:1 of 2
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.setTreatmentTime.hours:<<MIN>>
TEST.VALUE:NVDataMgmt.setTreatmentTime.return:0
TEST.VALUE:NVDataMgmt.isQueueFull.return:1
TEST.EXPECTED:NVDataMgmt.setTreatmentTime.return:0
TEST.END

-- Subprogram: signalPowerOffWarning

-- Test Case: signalPowerOffWarning.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:signalPowerOffWarning
TEST.NEW
TEST.NAME:signalPowerOffWarning.001
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.powerOffIsImminent:1
TEST.EXPECTED:NVDataMgmt.<<GLOBAL>>.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.<<GLOBAL>>.logRecord.logHeader.isHdrCorrupted:0
TEST.VALUE:NVDataMgmt.writeLogData.data:<<malloc 1>>
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.<<GLOBAL>>.logRecord.logHeader.isHdrCorrupted:0
TEST.VALUE:NVDataMgmt.writeLogData.data:<<malloc 1>>
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.<<GLOBAL>>.logRecord.logHeader.isHdrCorrupted:1
TEST.VALUE:NVDataMgmt.writeLogData.data:<<malloc 1>>
TEST.VALUE:NVDataMgmt.writeLogData.return:0
TEST.VALUE:NVDataMgmt.isQueueFull.return:0
TEST.EXPECTED:NVDataMgmt.writeLogData.return:0
TEST.END