-- 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: COND_1_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:areRecordsValid
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-PARTIAL
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:uut_prototype_stubs.crc16.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:areRecordsValid
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE
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:
      Cannot set variable to unknown value in branch 1
      Cannot set variable RECORDS_SPECS[NVDATAMGMT_CALIBRATION_RECORD] in branch 1 since it requires user code.
TEST.END_NOTES:
TEST.END

-- Subprogram: dequeue

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:dequeue
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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.isQueueEmpty.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:dequeue
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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.isQueueEmpty.return:0
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:dequeue
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
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>>.queueFrontIndex:<<MAX>>
TEST.VALUE:NVDataMgmt.isQueueEmpty.return:0
TEST.END

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

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:dequeue
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
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.END

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

-- Subprogram: dequeueRecordJob

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:dequeueRecordJob
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (!isRecordQueueEmpty()) ==> 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.isRecordQueueEmpty
TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:dequeueRecordJob
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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.isRecordQueueEmpty.return:0
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:dequeueRecordJob
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
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>>.recordQueueFrontIndex:<<MAX>>
TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:dequeueRecordJob
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (!isRecordQueueEmpty()) ==> TRUE
      (2) (recordQueueFrontIndex >= 20U - (1)) ==> 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.isRecordQueueEmpty
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordQueueFrontIndex:<<MIN>>
TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:dequeueRecordJob
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
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.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:dequeueRecordJob
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (!isRecordQueueEmpty()) ==> FALSE
      (3) if (recordQueueCount > 0) ==> 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.isRecordQueueEmpty
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordQueueFrontIndex:0
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordQueueCount:<<MIN>>
TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:1
TEST.END

-- Subprogram: didCommandTimeout

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:didCommandTimeout
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:didCommandTimeout
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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:uut_prototype_stubs.didTimeout.return:0
TEST.END

-- Subprogram: enqueue

-- Test Case: COND_1_ROW_1_PAIR_a_TT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:enqueue
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT
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.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.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:enqueue
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF
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.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.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:enqueue
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT
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.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.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:enqueue
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:16 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 16
      (1) if (ops == (NVDATAMGMT_WRITE) && location == (NVDATAMGMT_EEPROM)) ==> TRUE
      (2) if (startAddress == (0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.enqueue.ops:NVDATAMGMT_WRITE
TEST.VALUE:NVDataMgmt.enqueue.location:NVDATAMGMT_EEPROM
TEST.VALUE:NVDataMgmt.enqueue.startAddress:0
TEST.VALUE:NVDataMgmt.enqueue.data:<<malloc 1>>
TEST.VALUE:NVDataMgmt.enqueue.extAddress:<<malloc 1>>
TEST.VALUE:NVDataMgmt.enqueue.length:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:enqueue
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
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.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.END

-- Test Case: COND_3_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:enqueue
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_TT-PARTIAL
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.prepareWriteLogJobAndGetStartAddress
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.END

-- Test Case: COND_3_ROW_2_PAIR_b_TF
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:enqueue
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_b_TF
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.prepareWriteLogJobAndGetStartAddress
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.END

-- Test Case: COND_3_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:enqueue
TEST.NEW
TEST.NAME:COND_3_ROW_3_PAIR_a_FT-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (ops == (NVDATAMGMT_WRITE) && location == (NVDATAMGMT_EEPROM)) ==> FALSE
      (3) if (ops == (NVDATAMGMT_READ) && location == (NVDATAMGMT_EEPROM)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
         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.prepareWriteLogJobAndGetStartAddress
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.END

-- Test Case: COND_4_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:enqueue
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:14 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (1) if (ops == (NVDATAMGMT_WRITE) && location == (NVDATAMGMT_EEPROM)) ==> FALSE
      (3) if (ops == (NVDATAMGMT_READ) && location == (NVDATAMGMT_EEPROM)) ==> TRUE
      (4) if (startAddress == (0)) ==> 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.STUB:NVDataMgmt.prepareWriteLogJobAndGetStartAddress
TEST.VALUE:NVDataMgmt.enqueue.ops:NVDATAMGMT_READ
TEST.VALUE:NVDataMgmt.enqueue.location:NVDATAMGMT_EEPROM
TEST.VALUE:NVDataMgmt.enqueue.startAddress:0
TEST.VALUE:NVDataMgmt.enqueue.data:<<malloc 1>>
TEST.VALUE:NVDataMgmt.enqueue.extAddress:<<malloc 1>>
TEST.VALUE:NVDataMgmt.enqueue.length:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:enqueue
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F
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.prepareWriteLogJobAndGetStartAddress
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.END

-- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:enqueue
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if (ops == (NVDATAMGMT_WRITE) && location == (NVDATAMGMT_EEPROM)) ==> FALSE
      (3) if (ops == (NVDATAMGMT_READ) && location == (NVDATAMGMT_EEPROM)) ==> FALSE
      (5) if (length > maxBufferLength) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable NVDataMgmt.enqueue.length 'less than' and 'greater than' same value in branch 5
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.prepareWriteLogJobAndGetStartAddress
TEST.STUB:NVDataMgmt.prepareReadLogJobAndGetStartAddress
TEST.VALUE:NVDataMgmt.enqueue.ops:NVDATAMGMT_NONE
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:<<MAX>>
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:enqueue
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:7 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if (ops == (NVDATAMGMT_WRITE) && location == (NVDATAMGMT_EEPROM)) ==> FALSE
      (3) if (ops == (NVDATAMGMT_READ) && location == (NVDATAMGMT_EEPROM)) ==> FALSE
      (5) if (length > maxBufferLength) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.prepareWriteLogJobAndGetStartAddress
TEST.STUB:NVDataMgmt.prepareReadLogJobAndGetStartAddress
TEST.VALUE:NVDataMgmt.enqueue.ops:NVDATAMGMT_NONE
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.END

-- Test Case: COND_6_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:enqueue
TEST.NEW
TEST.NAME:COND_6_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:10 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if (ops == (NVDATAMGMT_WRITE) && location == (NVDATAMGMT_EEPROM)) ==> FALSE
      (3) if (ops == (NVDATAMGMT_READ) && location == (NVDATAMGMT_EEPROM)) ==> FALSE
      (5) if (length > maxBufferLength) ==> TRUE
      (6) for (i < quotient) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set quotient due to assignment
      Conflict: Trying to set variable NVDataMgmt.enqueue.length 'less than' and 'greater than' same value in branch 5
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.prepareWriteLogJobAndGetStartAddress
TEST.STUB:NVDataMgmt.prepareReadLogJobAndGetStartAddress
TEST.VALUE:NVDataMgmt.enqueue.ops:NVDATAMGMT_NONE
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:<<MAX>>
TEST.END

-- Test Case: COND_6_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:enqueue
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if (ops == (NVDATAMGMT_WRITE) && location == (NVDATAMGMT_EEPROM)) ==> FALSE
      (3) if (ops == (NVDATAMGMT_READ) && location == (NVDATAMGMT_EEPROM)) ==> FALSE
      (5) if (length > maxBufferLength) ==> TRUE
      (6) for (i < quotient) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set quotient due to assignment
      Conflict: Trying to set variable NVDataMgmt.enqueue.length 'less than' and 'greater than' same value in branch 5
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.prepareWriteLogJobAndGetStartAddress
TEST.STUB:NVDataMgmt.prepareReadLogJobAndGetStartAddress
TEST.VALUE:NVDataMgmt.enqueue.ops:NVDATAMGMT_NONE
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:<<MAX>>
TEST.END

-- Test Case: COND_7_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:enqueue
TEST.NEW
TEST.NAME:COND_7_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:12 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) if (ops == (NVDATAMGMT_WRITE) && location == (NVDATAMGMT_EEPROM)) ==> FALSE
      (3) if (ops == (NVDATAMGMT_READ) && location == (NVDATAMGMT_EEPROM)) ==> FALSE
      (5) if (length > maxBufferLength) ==> TRUE
      (6) for (i < quotient) ==> FALSE
      (7) if (modulus != (0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set modulus due to assignment
      Conflict: Trying to set variable NVDataMgmt.enqueue.length 'less than' and 'greater than' same value in branch 5
      Cannot set quotient due to assignment
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.prepareWriteLogJobAndGetStartAddress
TEST.STUB:NVDataMgmt.prepareReadLogJobAndGetStartAddress
TEST.VALUE:NVDataMgmt.enqueue.ops:NVDATAMGMT_NONE
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:<<MAX>>
TEST.END

-- Test Case: COND_7_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:enqueue
TEST.NEW
TEST.NAME:COND_7_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:11 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if (ops == (NVDATAMGMT_WRITE) && location == (NVDATAMGMT_EEPROM)) ==> FALSE
      (3) if (ops == (NVDATAMGMT_READ) && location == (NVDATAMGMT_EEPROM)) ==> FALSE
      (5) if (length > maxBufferLength) ==> TRUE
      (6) for (i < quotient) ==> FALSE
      (7) if (modulus != (0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #7, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set modulus due to assignment
      Conflict: Trying to set variable NVDataMgmt.enqueue.length 'less than' and 'greater than' same value in branch 5
      Cannot set quotient due to assignment
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.prepareWriteLogJobAndGetStartAddress
TEST.STUB:NVDataMgmt.prepareReadLogJobAndGetStartAddress
TEST.VALUE:NVDataMgmt.enqueue.ops:NVDATAMGMT_NONE
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:<<MAX>>
TEST.END

-- Subprogram: enqueueRecordJob

-- Test Case: COND_1_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:enqueueRecordJob
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-PARTIAL
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.enqueueRecordJob.ops:<<MIN>>
TEST.VALUE:NVDataMgmt.enqueueRecordJob.location:<<MIN>>
TEST.VALUE:NVDataMgmt.enqueueRecordJob.job:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:enqueueRecordJob
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-PARTIAL
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.enqueueRecordJob.ops:<<MIN>>
TEST.VALUE:NVDataMgmt.enqueueRecordJob.location:<<MIN>>
TEST.VALUE:NVDataMgmt.enqueueRecordJob.job:<<MIN>>
TEST.END

-- Subprogram: enqueueSector0Records

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:enqueueSector0Records
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:enqueueSector0Records
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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.END

-- Subprogram: eraseDataLogSectors

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:eraseDataLogSectors
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:eraseDataLogSectors
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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.END

-- Subprogram: execNVDataMgmt

-- Test Case: execNVDataMgmt.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:execNVDataMgmt
TEST.NEW
TEST.NAME:execNVDataMgmt.001
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.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.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.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.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.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.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.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.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.END

-- Subprogram: execNVDataMgmtProcessRecord

-- Test Case: COND_4_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:execNVDataMgmtProcessRecord
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T
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.END

-- Test Case: COND_4_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:execNVDataMgmtProcessRecord
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (3) case nvDataMgmtExecProcessRecordState ==> default
      (4) if (nvDataMgmtExecReceiveRecordState != (NVDATAMGMT_RECEIVE_RECORD_IDLE)) ==> 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.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecProcessRecordState:NUM_OF_NVDATAMGMT_PROCESS_RECORD_STATES
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_IDLE
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:execNVDataMgmtProcessRecord
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T
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.END

-- Test Case: COND_5_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:execNVDataMgmtProcessRecord
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (3) case nvDataMgmtExecProcessRecordState ==> default
      (4) if (nvDataMgmtExecReceiveRecordState != (NVDATAMGMT_RECEIVE_RECORD_IDLE)) ==> TRUE
      (5) if ((1) == didTimeout(recordReceiveStartTime, 4 * 1000)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   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:<<MIN>>
TEST.END

-- 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.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.END

-- Subprogram: execNVDataMgmtSelfTest

-- Test Case: execNVDataMgmtSelfTest.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:execNVDataMgmtSelfTest
TEST.NEW
TEST.NAME:execNVDataMgmtSelfTest.001
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.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.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.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.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.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.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.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.END

-- Subprogram: getAvailableQueueCount

-- Test Case: getAvailableQueueCount.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getAvailableQueueCount
TEST.NEW
TEST.NAME:getAvailableQueueCount.001
TEST.END

-- Subprogram: getAvailableRecordQueueCount

-- Test Case: getAvailableRecordQueueCount.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getAvailableRecordQueueCount
TEST.NEW
TEST.NAME:getAvailableRecordQueueCount.001
TEST.END

-- Subprogram: getCalibrationRecord

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getCalibrationRecord
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getCalibrationRecord
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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.END

-- Subprogram: getHDAccelerometerSensorCalibrationRecord

-- Test Case: getHDAccelerometerSensorCalibrationRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getHDAccelerometerSensorCalibrationRecord
TEST.NEW
TEST.NAME:getHDAccelerometerSensorCalibrationRecord.001
TEST.END

-- Subprogram: getHDFlowSensorsCalibrationRecord

-- Test Case: getHDFlowSensorsCalibrationRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getHDFlowSensorsCalibrationRecord
TEST.NEW
TEST.NAME:getHDFlowSensorsCalibrationRecord.001
TEST.END

-- Subprogram: getHDHeparinForceSensorCalibrationRecord

-- Test Case: getHDHeparinForceSensorCalibrationRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getHDHeparinForceSensorCalibrationRecord
TEST.NEW
TEST.NAME:getHDHeparinForceSensorCalibrationRecord.001
TEST.END

-- Subprogram: getHDOcclusionSensrosCalibrationRecord

-- Test Case: getHDOcclusionSensrosCalibrationRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getHDOcclusionSensrosCalibrationRecord
TEST.NEW
TEST.NAME:getHDOcclusionSensrosCalibrationRecord.001
TEST.END

-- Subprogram: getHDPressureSensorsCalibrationRecord

-- Test Case: getHDPressureSensorsCalibrationRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getHDPressureSensorsCalibrationRecord
TEST.NEW
TEST.NAME:getHDPressureSensorsCalibrationRecord.001
TEST.END

-- Subprogram: getHDPumpsCalibrationRecord

-- Test Case: getHDPumpsCalibrationRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getHDPumpsCalibrationRecord
TEST.NEW
TEST.NAME:getHDPumpsCalibrationRecord.001
TEST.END

-- Subprogram: getHDServiceRecord

-- Test Case: getHDServiceRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getHDServiceRecord
TEST.NEW
TEST.NAME:getHDServiceRecord.001
TEST.END

-- Subprogram: getHDSystemRecord

-- Test Case: getHDSystemRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getHDSystemRecord
TEST.NEW
TEST.NAME:getHDSystemRecord.001
TEST.END

-- Subprogram: getHDTemperatureSensorsCalibrationRecord

-- Test Case: getHDTemperatureSensorsCalibrationRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getHDTemperatureSensorsCalibrationRecord
TEST.NEW
TEST.NAME:getHDTemperatureSensorsCalibrationRecord.001
TEST.END

-- Subprogram: getHDValvesCalibrationRecord

-- Test Case: getHDValvesCalibrationRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getHDValvesCalibrationRecord
TEST.NEW
TEST.NAME:getHDValvesCalibrationRecord.001
TEST.END

-- Subprogram: getServiceRecord

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getServiceRecord
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getServiceRecord
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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.END

-- Subprogram: getSystemRecord

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getSystemRecord
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getSystemRecord
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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.END

-- Subprogram: getTreatmentTime

-- Test Case: getTreatmentTime.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:getTreatmentTime
TEST.NEW
TEST.NAME:getTreatmentTime.001
TEST.END

-- Subprogram: handleExecEraseState

-- Test Case: COND_1_ROW_2_PAIR_a_TF
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecEraseState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_TF
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.didCommandTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_b_FT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecEraseState
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_b_FT
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.didCommandTimeout.return:1
TEST.END

-- Test Case: COND_1_ROW_4_PAIR_a_FF
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecEraseState
TEST.NEW
TEST.NAME:COND_1_ROW_4_PAIR_a_FF
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.didCommandTimeout.return:<<MIN>>
TEST.END

-- Subprogram: handleExecIdleState

-- Test Case: COND_10_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_10_ROW_1_PAIR_a_T-PARTIAL
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:uut_prototype_stubs.getRTCRAMState.return:RTC_RAM_STATE_READY
TEST.END

-- Test Case: COND_10_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_10_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:21 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 21
      (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)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #10, subcondition "a".
         Condition a ==> FALSE
   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:uut_prototype_stubs.getRTCRAMState.return:RTC_RAM_STATE_BUSY
TEST.END

-- Test Case: COND_11_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_11_ROW_1_PAIR_a_TT-PARTIAL
TEST.MCDC_BASIS_PATH:17 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 17
      (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)) ==> FALSE
      (11) if (ops == (NVDATAMGMT_READ) && location == (NVDATAMGMT_RTC)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #11, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable ops in branch 11
      Cannot set local variable location in branch 11
      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.END

-- Test Case: COND_11_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_11_ROW_2_PAIR_b_TF-PARTIAL
TEST.MCDC_BASIS_PATH:18 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 18
      (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)) ==> FALSE
      (11) if (ops == (NVDATAMGMT_READ) && location == (NVDATAMGMT_RTC)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #11, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable ops in branch 11
      Cannot set local variable location in branch 11
      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.END

-- Test Case: COND_11_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_11_ROW_3_PAIR_a_FT-PARTIAL
TEST.MCDC_BASIS_PATH:16 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 16
      (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)) ==> FALSE
      (11) if (ops == (NVDATAMGMT_READ) && location == (NVDATAMGMT_RTC)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #11, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable ops in branch 11
      Cannot set local variable location in branch 11
      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.END

-- Test Case: COND_12_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_12_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:20 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 20
      (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)) ==> FALSE
      (11) if (ops == (NVDATAMGMT_READ) && location == (NVDATAMGMT_RTC)) ==> TRUE
      (12) if (getRTCRAMState() == (RTC_RAM_STATE_READY)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #12, 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
      Cannot set local variable ops in branch 11
      Cannot set local variable location in branch 11
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.powerOffIsImminent:1
TEST.VALUE:uut_prototype_stubs.getRTCRAMState.return:RTC_RAM_STATE_READY
TEST.END

-- Test Case: COND_12_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_12_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:19 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 19
      (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)) ==> FALSE
      (11) if (ops == (NVDATAMGMT_READ) && location == (NVDATAMGMT_RTC)) ==> TRUE
      (12) if (getRTCRAMState() == (RTC_RAM_STATE_READY)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #12, subcondition "a".
         Condition a ==> FALSE
   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
      Cannot set local variable ops in branch 11
      Cannot set local variable location in branch 11
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.powerOffIsImminent:1
TEST.VALUE:uut_prototype_stubs.getRTCRAMState.return:RTC_RAM_STATE_BUSY
TEST.END

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (powerOffIsImminent != (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>>.powerOffIsImminent:1
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
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.isRecordQueueEmpty.return:0
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:23 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 23
      (1) if (powerOffIsImminent != (1)) ==> TRUE
      (2) if ((0) == isRecordQueueEmpty()) ==> 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.isRecordQueueEmpty
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.powerOffIsImminent:<<MIN>>
TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:1
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:26 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 26
      (1) if (powerOffIsImminent != (1)) ==> TRUE
      (2) if ((0) == isRecordQueueEmpty()) ==> TRUE
      (3) if (ops == (NVDATAMGMT_WRITE)) ==> 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>>.recordCurrentJob.memoryOperation:NVDATAMGMT_WRITE
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.powerOffIsImminent:<<MIN>>
TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:25 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 25
      (1) if (powerOffIsImminent != (1)) ==> TRUE
      (2) if ((0) == isRecordQueueEmpty()) ==> TRUE
      (3) if (ops == (NVDATAMGMT_WRITE)) ==> 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.isRecordQueueEmpty
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordCurrentJob.memoryOperation:NVDATAMGMT_NONE
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.powerOffIsImminent:<<MIN>>
TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:28 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 28
      (1) if (powerOffIsImminent != (1)) ==> TRUE
      (2) if ((0) == isRecordQueueEmpty()) ==> TRUE
      (3) if (ops == (NVDATAMGMT_WRITE)) ==> FALSE
      (4) if (ops == (NVDATAMGMT_READ)) ==> 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.STUB:NVDataMgmt.isRecordQueueEmpty
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordCurrentJob.memoryOperation:NVDATAMGMT_READ
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.powerOffIsImminent:<<MIN>>
TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:27 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 27
      (1) if (powerOffIsImminent != (1)) ==> TRUE
      (2) if ((0) == isRecordQueueEmpty()) ==> TRUE
      (3) if (ops == (NVDATAMGMT_WRITE)) ==> FALSE
      (4) if (ops == (NVDATAMGMT_READ)) ==> 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.isRecordQueueEmpty
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordCurrentJob.memoryOperation:NVDATAMGMT_NONE
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.powerOffIsImminent:<<MIN>>
TEST.VALUE:NVDataMgmt.isRecordQueueEmpty.return:0
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (powerOffIsImminent != (1)) ==> FALSE
      (5) if ((1) == areQueuesNotEmpty) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable areQueuesNotEmpty in branch 5
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.powerOffIsImminent:1
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (powerOffIsImminent != (1)) ==> FALSE
      (5) if ((1) == areQueuesNotEmpty) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable areQueuesNotEmpty in branch 5
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.powerOffIsImminent:1
TEST.END

-- Test Case: COND_6_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_6_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (powerOffIsImminent != (1)) ==> FALSE
      (5) if ((1) == areQueuesNotEmpty) ==> TRUE
      (6) if (ops == (NVDATAMGMT_ERASE_SECTOR)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable ops in branch 6
      Cannot set local variable areQueuesNotEmpty in branch 5
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.powerOffIsImminent:1
TEST.END

-- Test Case: COND_6_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (powerOffIsImminent != (1)) ==> FALSE
      (5) if ((1) == areQueuesNotEmpty) ==> TRUE
      (6) if (ops == (NVDATAMGMT_ERASE_SECTOR)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable ops in branch 6
      Cannot set local variable areQueuesNotEmpty in branch 5
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.powerOffIsImminent:1
TEST.END

-- Test Case: COND_7_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_7_ROW_1_PAIR_a_TT-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (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)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #7, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable ops in branch 7
      Cannot set local variable location in branch 7
      Cannot set local variable areQueuesNotEmpty in branch 5
      Cannot set local variable ops in branch 6
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.powerOffIsImminent:1
TEST.END

-- Test Case: COND_7_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_7_ROW_2_PAIR_b_TF-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (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
      Row number 2 forms a pair with Row 1 for Condition #7, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable ops in branch 7
      Cannot set local variable location in branch 7
      Cannot set local variable areQueuesNotEmpty in branch 5
      Cannot set local variable ops in branch 6
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.powerOffIsImminent:1
TEST.END

-- Test Case: COND_7_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_7_ROW_3_PAIR_a_FT-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (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
      Row number 3 forms a pair with Row 1 for Condition #7, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable ops in branch 7
      Cannot set local variable location in branch 7
      Cannot set local variable areQueuesNotEmpty in branch 5
      Cannot set local variable ops in branch 6
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.powerOffIsImminent:1
TEST.END

-- Test Case: COND_8_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_8_ROW_1_PAIR_a_TT-PARTIAL
TEST.MCDC_BASIS_PATH:11 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (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)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #8, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable ops in branch 8
      Cannot set local variable location in branch 8
      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
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.powerOffIsImminent:1
TEST.END

-- Test Case: COND_8_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_8_ROW_2_PAIR_b_TF-PARTIAL
TEST.MCDC_BASIS_PATH:12 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (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
      Row number 2 forms a pair with Row 1 for Condition #8, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable ops in branch 8
      Cannot set local variable location in branch 8
      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
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.powerOffIsImminent:1
TEST.END

-- Test Case: COND_8_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_8_ROW_3_PAIR_a_FT-PARTIAL
TEST.MCDC_BASIS_PATH:10 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (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
      Row number 3 forms a pair with Row 1 for Condition #8, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable ops in branch 8
      Cannot set local variable location in branch 8
      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
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.powerOffIsImminent:1
TEST.END

-- Test Case: COND_9_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_9_ROW_1_PAIR_a_TT-PARTIAL
TEST.MCDC_BASIS_PATH:14 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (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
      Row number 1 forms a pair with Row 3 for Condition #9, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable ops in branch 9
      Cannot set local variable location in branch 9
      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
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.powerOffIsImminent:1
TEST.END

-- Test Case: COND_9_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_9_ROW_2_PAIR_b_TF-PARTIAL
TEST.MCDC_BASIS_PATH:15 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 15
      (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)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #9, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable ops in branch 9
      Cannot set local variable location in branch 9
      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
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.powerOffIsImminent:1
TEST.END

-- Test Case: COND_9_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecIdleState
TEST.NEW
TEST.NAME:COND_9_ROW_3_PAIR_a_FT-PARTIAL
TEST.MCDC_BASIS_PATH:13 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (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)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #9, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable ops in branch 9
      Cannot set local variable location in branch 9
      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
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.powerOffIsImminent:1
TEST.END

-- Subprogram: handleExecProcessRecordIdleState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecProcessRecordIdleState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecProcessRecordIdleState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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.END

-- Subprogram: handleExecProcessRecordSendRecordState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecProcessRecordSendRecordState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecProcessRecordSendRecordState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecProcessRecordSendRecordState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (calPublishMessageCount < calPublishTotalMessages) ==> TRUE
      (2) if (++calSendDataIntervalCounter >= 1000 / (5 * 50)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.calPublishMessageCount:<<MIN>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.calPublishTotalMessages:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecProcessRecordSendRecordState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (calPublishMessageCount < calPublishTotalMessages) ==> TRUE
      (2) if (++calSendDataIntervalCounter >= 1000 / (5 * 50)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.calPublishMessageCount:<<MIN>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.calPublishTotalMessages:<<MAX>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecProcessRecordSendRecordState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (calPublishMessageCount < calPublishTotalMessages) ==> TRUE
      (2) if (++calSendDataIntervalCounter >= 1000 / (5 * 50)) ==> TRUE
      (3) if (calPublishMessageCount + (1) == calPublishTotalMessages) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set variable to unknown value in branch 3
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.calPublishMessageCount:<<MIN>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.calPublishTotalMessages:<<MAX>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecProcessRecordSendRecordState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (calPublishMessageCount < calPublishTotalMessages) ==> TRUE
      (2) if (++calSendDataIntervalCounter >= 1000 / (5 * 50)) ==> TRUE
      (3) if (calPublishMessageCount + (1) == calPublishTotalMessages) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set variable to unknown value in branch 3
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.calPublishMessageCount:<<MIN>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.calPublishTotalMessages:<<MAX>>
TEST.END

-- Subprogram: handleExecReadFromEEPROMState

-- Test Case: COND_1_ROW_2_PAIR_a_TF
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecReadFromEEPROMState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_TF
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.didCommandTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_b_FT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecReadFromEEPROMState
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_b_FT
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.didCommandTimeout.return:1
TEST.END

-- Test Case: COND_1_ROW_4_PAIR_a_FF
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecReadFromEEPROMState
TEST.NEW
TEST.NAME:COND_1_ROW_4_PAIR_a_FF
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.didCommandTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecReadFromEEPROMState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:4 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (FSMStatus == (Fapi_Status_FsmReady) || timeoutStatus == (1)) ==> TRUE
      (2) if (activeQueue == (NVDATAMGMT_PROCESS_LOGS)) ==> 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>>.activeQueue:NVDATAMGMT_QUEUE_NONE
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:1
TEST.END

-- Subprogram: handleExecReadFromRAMState

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

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecReadFromRAMState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
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.didCommandTimeout.return:1
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.END

-- Subprogram: handleExecVerifyEEPROMWriteState

-- Test Case: COND_1_ROW_1_PAIR_a_TT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecVerifyEEPROMWriteState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT
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.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecVerifyEEPROMWriteState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF
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.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecVerifyEEPROMWriteState
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT
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.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecVerifyEEPROMWriteState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 2836 TEST.VALUE:NVDataMgmt.<<GLOBAL>>.RECORDS_SPECS[0].maxWriteBufferSize:1
    >>>     >>> Unknown parameter/object name RECORDS_SPECS
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:5 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (recordCurrentJob.memoryLocation == (NVDATAMGMT_EEPROM) && FSMStatus == (Fapi_Status_FsmReady)) ==> TRUE
      (2) for (i < jobSpecs.maxWriteBufferSize) ==> 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>>.FSMStatus:2
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordCurrentJob.memoryLocation:NVDATAMGMT_EEPROM
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecVerifyEEPROMWriteState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 2814 TEST.VALUE:NVDataMgmt.<<GLOBAL>>.RECORDS_SPECS[0].maxWriteBufferSize:0
    >>>     >>> Unknown parameter/object name RECORDS_SPECS
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:4 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (recordCurrentJob.memoryLocation == (NVDATAMGMT_EEPROM) && FSMStatus == (Fapi_Status_FsmReady)) ==> TRUE
      (2) for (i < jobSpecs.maxWriteBufferSize) ==> 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.memoryLocation:NVDATAMGMT_EEPROM
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecVerifyEEPROMWriteState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 2863 TEST.VALUE:NVDataMgmt.<<GLOBAL>>.RECORDS_SPECS[0].maxWriteBufferSize:1
    >>>     >>> Unknown parameter/object name RECORDS_SPECS
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:6 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (recordCurrentJob.memoryLocation == (NVDATAMGMT_EEPROM) && FSMStatus == (Fapi_Status_FsmReady)) ==> TRUE
      (2) for (i < jobSpecs.maxWriteBufferSize) ==> TRUE
      (3) if (writtenRecordCheckBuffer[i] != *bufferPtr) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable bufferPtr in branch 3
      Cannot set i due to assignment
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.<<GLOBAL>>.writtenRecordCheckBuffer[0]:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecVerifyEEPROMWriteState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 2888 TEST.VALUE:NVDataMgmt.<<GLOBAL>>.RECORDS_SPECS[0].maxWriteBufferSize:1
    >>>     >>> Unknown parameter/object name RECORDS_SPECS
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:7 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if (recordCurrentJob.memoryLocation == (NVDATAMGMT_EEPROM) && FSMStatus == (Fapi_Status_FsmReady)) ==> TRUE
      (2) for (i < jobSpecs.maxWriteBufferSize) ==> TRUE
      (3) if (writtenRecordCheckBuffer[i] != *bufferPtr) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set variable to unknown value in branch 3
      Cannot set local variable bufferPtr in branch 3
      Cannot set i due to assignment
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.END

-- Subprogram: handleExecVerifyRTCWriteState

-- Test Case: COND_1_ROW_2_PAIR_a_TF
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecVerifyRTCWriteState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_TF
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.didCommandTimeout.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_b_FT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecVerifyRTCWriteState
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_b_FT
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.didCommandTimeout.return:1
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IN_PROGRESS
TEST.END

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

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecVerifyRTCWriteState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 3453 TEST.VALUE:NVDataMgmt.<<GLOBAL>>.RECORDS_SPECS[0].maxWriteBufferSize:1
    >>>     >>> Unknown parameter/object name RECORDS_SPECS
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:5 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE) || timeoutStatus == (1)) ==> TRUE
      (2) for (i < jobSpecs.maxWriteBufferSize) ==> 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>>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:1
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecVerifyRTCWriteState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 3431 TEST.VALUE:NVDataMgmt.<<GLOBAL>>.RECORDS_SPECS[0].maxWriteBufferSize:0
    >>>     >>> Unknown parameter/object name RECORDS_SPECS
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:4 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE) || timeoutStatus == (1)) ==> TRUE
      (2) for (i < jobSpecs.maxWriteBufferSize) ==> 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.didCommandTimeout.return:1
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecVerifyRTCWriteState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 3479 TEST.VALUE:NVDataMgmt.<<GLOBAL>>.RECORDS_SPECS[0].maxWriteBufferSize:1
    >>>     >>> Unknown parameter/object name RECORDS_SPECS
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:6 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE) || timeoutStatus == (1)) ==> TRUE
      (2) for (i < jobSpecs.maxWriteBufferSize) ==> TRUE
      (3) if (tempBufferToCheckData[i] != *bufferPtr) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable tempBufferToCheckData in branch 3
      Cannot set local variable bufferPtr in branch 3
      Cannot set i due to assignment
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.didCommandTimeout
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:1
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecVerifyRTCWriteState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 3505 TEST.VALUE:NVDataMgmt.<<GLOBAL>>.RECORDS_SPECS[0].maxWriteBufferSize:1
    >>>     >>> Unknown parameter/object name RECORDS_SPECS
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:7 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE) || timeoutStatus == (1)) ==> TRUE
      (2) for (i < jobSpecs.maxWriteBufferSize) ==> TRUE
      (3) if (tempBufferToCheckData[i] != *bufferPtr) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable tempBufferToCheckData in branch 3
      Cannot set local variable bufferPtr in branch 3
      Cannot set i due to assignment
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.didCommandTimeout
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD
TEST.VALUE:NVDataMgmt.didCommandTimeout.return:1
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.END

-- Subprogram: handleExecWaitForPostState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWaitForPostState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWaitForPostState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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.END

-- Subprogram: handleExecWriteToEEPROMState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToEEPROMState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToEEPROMState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToEEPROMState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:6 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (FSMStatus == (Fapi_Status_FsmReady)) ==> TRUE
      (2) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_CHECKED)) ==> 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>>.FSMStatus:2
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.writtenRecordStatus:NVDATAMGMT_RECORD_NOT_CHECKED
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToEEPROMState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
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.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToEEPROMState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:8 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if (FSMStatus == (Fapi_Status_FsmReady)) ==> TRUE
      (2) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_CHECKED)) ==> FALSE
      (3) if (writtenRecordStatus == (NVDATAMGMT_RECORD_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>>.FSMStatus:2
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.writtenRecordStatus:NVDATAMGMT_RECORD_VALID
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToEEPROMState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
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.END

-- Test Case: COND_4_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToEEPROMState
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 2726 TEST.VALUE:NVDataMgmt.<<GLOBAL>>.RECORDS_SPECS[0].sizeofJob:<<MIN>>
    >>>     >>> Unknown parameter/object name RECORDS_SPECS
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:10 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if (FSMStatus == (Fapi_Status_FsmReady)) ==> TRUE
      (2) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_CHECKED)) ==> FALSE
      (3) if (writtenRecordStatus == (NVDATAMGMT_RECORD_VALID)) ==> TRUE
      (4) if (jobSpecs.sizeofJob == recordAddressOffset) ==> 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.STUB:NVDataMgmt.didCommandTimeout
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.FSMStatus:2
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordAddressOffset:<<MIN>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.writtenRecordStatus:NVDATAMGMT_RECORD_VALID
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToEEPROMState
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 2701 TEST.VALUE:NVDataMgmt.<<GLOBAL>>.RECORDS_SPECS[0].sizeofJob:<<MIN>>
    >>>     >>> Unknown parameter/object name RECORDS_SPECS
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:9 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if (FSMStatus == (Fapi_Status_FsmReady)) ==> TRUE
      (2) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_CHECKED)) ==> FALSE
      (3) if (writtenRecordStatus == (NVDATAMGMT_RECORD_VALID)) ==> TRUE
      (4) if (jobSpecs.sizeofJob == recordAddressOffset) ==> 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>>.FSMStatus:2
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordAddressOffset:1
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.writtenRecordStatus:NVDATAMGMT_RECORD_VALID
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToEEPROMState
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T
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.didCommandTimeout.return:1
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToEEPROMState
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (FSMStatus == (Fapi_Status_FsmReady)) ==> FALSE
      (5) if (timeoutStatus == (1)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, 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.didCommandTimeout.return:<<MIN>>
TEST.END

-- Subprogram: handleExecWriteToRAMState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToRAMState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToRAMState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IN_PROGRESS
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToRAMState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:6 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE)) ==> TRUE
      (2) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_CHECKED)) ==> 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>>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.writtenRecordStatus:NVDATAMGMT_RECORD_NOT_CHECKED
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToRAMState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
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:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToRAMState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
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:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToRAMState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:7 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE)) ==> TRUE
      (2) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_CHECKED)) ==> FALSE
      (3) if (writtenRecordStatus == (NVDATAMGMT_RECORD_NOT_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>>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.writtenRecordStatus:NVDATAMGMT_RECORD_VALID
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToRAMState
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:10 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (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)) ==> 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.STUB:NVDataMgmt.didCommandTimeout
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.recordCurrentJob.recordJob:NVDATAMGMT_CALIBRATION_RECORD
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.writtenRecordStatus:NVDATAMGMT_RECORD_VALID
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToRAMState
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F
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:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_TF
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToRAMState
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_TF
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 3312 TEST.VALUE:NVDataMgmt.<<GLOBAL>>.RECORDS_SPECS[0].sizeofJob:<<MIN>>
    >>>     >>> Unknown parameter/object name RECORDS_SPECS
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 3314 TEST.VALUE:NVDataMgmt.<<GLOBAL>>.RECORDS_SPECS[0].maxWriteBufferSize:<<MAX>>
    >>>     >>> Unknown parameter/object name RECORDS_SPECS
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:12 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (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)) ==> TRUE
      (5) if (jobSpecs.sizeofJob == recordAddressOffset || jobSpecs.sizeofJob == jobSpecs.maxWriteBufferSize) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #5, 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.<<GLOBAL>>.recordAddressOffset:<<MIN>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.writtenRecordStatus:NVDATAMGMT_RECORD_VALID
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.END

-- Test Case: COND_5_ROW_3_PAIR_b_FT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToRAMState
TEST.NEW
TEST.NAME:COND_5_ROW_3_PAIR_b_FT
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 3340 TEST.VALUE:NVDataMgmt.<<GLOBAL>>.RECORDS_SPECS[0].sizeofJob:<<MIN>>
    >>>     >>> Unknown parameter/object name RECORDS_SPECS
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 3341 TEST.VALUE:NVDataMgmt.<<GLOBAL>>.RECORDS_SPECS[0].maxWriteBufferSize:<<MIN>>
    >>>     >>> Unknown parameter/object name RECORDS_SPECS
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:13 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (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)) ==> TRUE
      (5) if (jobSpecs.sizeofJob == recordAddressOffset || jobSpecs.sizeofJob == jobSpecs.maxWriteBufferSize) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #5, 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.<<GLOBAL>>.recordAddressOffset:<<MAX>>
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.writtenRecordStatus:NVDATAMGMT_RECORD_VALID
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.END

-- Test Case: COND_5_ROW_4_PAIR_a_FF
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToRAMState
TEST.NEW
TEST.NAME:COND_5_ROW_4_PAIR_a_FF
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 3284 TEST.VALUE:NVDataMgmt.<<GLOBAL>>.RECORDS_SPECS[0].sizeofJob:<<MIN>>
    >>>     >>> Unknown parameter/object name RECORDS_SPECS
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 3286 TEST.VALUE:NVDataMgmt.<<GLOBAL>>.RECORDS_SPECS[0].maxWriteBufferSize:1
    >>>     >>> Unknown parameter/object name RECORDS_SPECS
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:11 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (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)) ==> TRUE
      (5) if (jobSpecs.sizeofJob == recordAddressOffset || jobSpecs.sizeofJob == jobSpecs.maxWriteBufferSize) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #5, 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.<<GLOBAL>>.recordAddressOffset:1
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.writtenRecordStatus:NVDATAMGMT_RECORD_VALID
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.END

-- Test Case: COND_6_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToRAMState
TEST.NEW
TEST.NAME:COND_6_ROW_1_PAIR_a_T
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.didCommandTimeout.return:1
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IN_PROGRESS
TEST.END

-- Test Case: COND_6_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleExecWriteToRAMState
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (getRTCRAMStatus() == (RTC_RAM_STATUS_IDLE)) ==> FALSE
      (6) if (timeoutStatus == (1)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #6, 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.didCommandTimeout.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IN_PROGRESS
TEST.END

-- Subprogram: handleSelfTestCheckCRC

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestCheckCRC
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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.isHDCalibrationRecordValid.return:0
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestCheckCRC
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((0) == haveCalGroupsPassed) ==> 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.isHDCalibrationRecordValid.return:1
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_TTTT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestCheckCRC
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_TTTT
TEST.MCDC_BASIS_PATH:4 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((0) == haveCalGroupsPassed) ==> FALSE
      (2) if ((((1) == haveCalGroupsPassed && (1) == haveRecordsPassed) && (1) == hasSystemRecordPassed) && (1) == hasServiceRecordPassed) ==> TRUE
      Row number 1 forms a pair with Row 9 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> TRUE
         Condition d ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.areRecordsValid.return:1
TEST.VALUE:NVDataMgmt.isHDSystemRecordValid.return:1
TEST.VALUE:NVDataMgmt.isHDServiceRecordValid.return:1
TEST.VALUE:NVDataMgmt.isHDCalibrationRecordValid.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_d_TTTF
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestCheckCRC
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_d_TTTF
TEST.MCDC_BASIS_PATH:7 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((0) == haveCalGroupsPassed) ==> FALSE
      (2) if ((((1) == haveCalGroupsPassed && (1) == haveRecordsPassed) && (1) == hasSystemRecordPassed) && (1) == hasServiceRecordPassed) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "d".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> TRUE
         Condition d ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.areRecordsValid.return:1
TEST.VALUE:NVDataMgmt.isHDSystemRecordValid.return:1
TEST.VALUE:NVDataMgmt.isHDServiceRecordValid.return:<<MIN>>
TEST.VALUE:NVDataMgmt.isHDCalibrationRecordValid.return:1
TEST.END

-- Test Case: COND_2_ROW_3_PAIR_c_TTFT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestCheckCRC
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_c_TTFT
TEST.MCDC_BASIS_PATH:6 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((0) == haveCalGroupsPassed) ==> FALSE
      (2) if ((((1) == haveCalGroupsPassed && (1) == haveRecordsPassed) && (1) == hasSystemRecordPassed) && (1) == hasServiceRecordPassed) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #2, subcondition "c".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> FALSE
         Condition d ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.areRecordsValid.return:1
TEST.VALUE:NVDataMgmt.isHDSystemRecordValid.return:<<MIN>>
TEST.VALUE:NVDataMgmt.isHDServiceRecordValid.return:1
TEST.VALUE:NVDataMgmt.isHDCalibrationRecordValid.return:1
TEST.END

-- Test Case: COND_2_ROW_5_PAIR_b_TFTT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestCheckCRC
TEST.NEW
TEST.NAME:COND_2_ROW_5_PAIR_b_TFTT
TEST.MCDC_BASIS_PATH:5 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((0) == haveCalGroupsPassed) ==> FALSE
      (2) if ((((1) == haveCalGroupsPassed && (1) == haveRecordsPassed) && (1) == hasSystemRecordPassed) && (1) == hasServiceRecordPassed) ==> FALSE
      Row number 5 forms a pair with Row 1 for Condition #2, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
         Condition c ==> TRUE
         Condition d ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.areRecordsValid.return:<<MIN>>
TEST.VALUE:NVDataMgmt.isHDSystemRecordValid.return:1
TEST.VALUE:NVDataMgmt.isHDServiceRecordValid.return:1
TEST.VALUE:NVDataMgmt.isHDCalibrationRecordValid.return:1
TEST.END

-- Test Case: COND_2_ROW_9_PAIR_a_FTTT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestCheckCRC
TEST.NEW
TEST.NAME:COND_2_ROW_9_PAIR_a_FTTT
TEST.MCDC_BASIS_PATH:3 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((0) == haveCalGroupsPassed) ==> FALSE
      (2) if ((((1) == haveCalGroupsPassed && (1) == haveRecordsPassed) && (1) == hasSystemRecordPassed) && (1) == hasServiceRecordPassed) ==> FALSE
      Row number 9 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
         Condition c ==> TRUE
         Condition d ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.areRecordsValid.return:1
TEST.VALUE:NVDataMgmt.isHDSystemRecordValid.return:1
TEST.VALUE:NVDataMgmt.isHDServiceRecordValid.return:1
TEST.VALUE:NVDataMgmt.isHDCalibrationRecordValid.return:2
TEST.END

-- Subprogram: handleSelfTestReadCalibrationRecord

-- Test Case: COND_1_ROW_2_PAIR_a_TF
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadCalibrationRecord
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_TF
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.didCommandTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_b_FT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadCalibrationRecord
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_b_FT
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.didCommandTimeout.return:1
TEST.END

-- Test Case: COND_1_ROW_4_PAIR_a_FF
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadCalibrationRecord
TEST.NEW
TEST.NAME:COND_1_ROW_4_PAIR_a_FF
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.didCommandTimeout.return:<<MIN>>
TEST.END

-- Subprogram: handleSelfTestReadHDTreatmentTime

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

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

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

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadHDTreatmentTime
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
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.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.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadHDTreatmentTime
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
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.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.END

-- Subprogram: handleSelfTestReadLogRecord

-- Test Case: COND_1_ROW_2_PAIR_a_TF
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadLogRecord
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_TF
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.didCommandTimeout.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IDLE
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_b_FT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadLogRecord
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_b_FT
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.didCommandTimeout.return:1
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IN_PROGRESS
TEST.END

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

-- Subprogram: handleSelfTestReadServiceRecord

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

-- Test Case: COND_1_ROW_3_PAIR_b_FT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadServiceRecord
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_b_FT
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.didCommandTimeout.return:1
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_IN_PROGRESS
TEST.END

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

-- Test Case: handleSelfTestReadServiceRecord.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadServiceRecord
TEST.NEW
TEST.NAME:handleSelfTestReadServiceRecord.001
TEST.VALUE:uut_prototype_stubs.getRTCRAMState.return:RTC_RAM_STATE_BUSY
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.didCommandTimeout.return:1
TEST.VALUE:uut_prototype_stubs.getRTCRAMStatus.return:RTC_RAM_STATUS_FAILED
TEST.END

-- Subprogram: handleSelfTestReadSystemRecord

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

-- Test Case: COND_1_ROW_3_PAIR_b_FT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadSystemRecord
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_b_FT
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.didCommandTimeout.return:1
TEST.END

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

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

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestReadSystemRecord
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
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.didCommandTimeout.return:1
TEST.VALUE:uut_prototype_stubs.getRTCRAMState.return:RTC_RAM_STATE_BUSY
TEST.END

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

-- Subprogram: handleSelfTestStart

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestStart
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:handleSelfTestStart
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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.END

-- Subprogram: initNVDataMgmt

-- Test Case: initNVDataMgmt.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:initNVDataMgmt
TEST.NEW
TEST.NAME:initNVDataMgmt.001
TEST.END

-- Subprogram: isHDAccelerometerSensorValid

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDAccelerometerSensorValid
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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:uut_prototype_stubs.crc16.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDAccelerometerSensorValid
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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:uut_prototype_stubs.crc16.return:<<MIN>>
TEST.END

-- Subprogram: isHDCalibrationRecordValid

-- Test Case: COND_10_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_10_ROW_1_PAIR_a_T-PARTIAL
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.END

-- Test Case: COND_10_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_10_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:20 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 20
      (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)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #10, subcondition "a".
         Condition a ==> FALSE
   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.END

-- Test Case: COND_11_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_11_ROW_1_PAIR_a_T-TEMPLATE
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.END

-- Test Case: COND_11_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_11_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:11 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (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)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #11, subcondition "a".
         Condition a ==> FALSE
   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.END

-- Test Case: COND_12_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_12_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:17 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 17
      (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
      (12) (isCalRecordValid == (0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #12, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable isCalRecordValid in branch 12
      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
      Conflict: Unable to control expression-to-expression comparison in branch 11
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.isPolynomialRecordValid
TEST.END

-- Test Case: COND_12_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_12_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:18 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 18
      (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
      (12) (isCalRecordValid == (0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #12, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable isCalRecordValid in branch 12
      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
      Conflict: Unable to control expression-to-expression comparison in branch 11
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.isPolynomialRecordValid
TEST.END

-- Test Case: COND_13_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_13_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:13 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (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)) ==> FALSE
      (13) (isCalRecordValid == (0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #13, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable isCalRecordValid in branch 13
      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
      Conflict: Unable to control expression-to-expression comparison in branch 11
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.isPolynomialRecordValid
TEST.END

-- Test Case: COND_13_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_13_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:14 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (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)) ==> FALSE
      (13) (isCalRecordValid == (0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #13, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable isCalRecordValid in branch 13
      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
      Conflict: Unable to control expression-to-expression comparison in branch 11
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.isPolynomialRecordValid
TEST.END

-- Test Case: COND_14_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_14_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:15 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 15
      (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)) ==> FALSE
      (14) (isCalRecordValid == (0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #14, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set isCalRecordValid due to assignment
      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
      Conflict: Unable to control expression-to-expression comparison in branch 11
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.isHDAccelerometerSensorValid
TEST.END

-- Test Case: COND_14_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_14_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:16 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 16
      (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)) ==> FALSE
      (14) (isCalRecordValid == (0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #14, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set isCalRecordValid due to assignment
      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
      Conflict: Unable to control expression-to-expression comparison in branch 11
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.isHDAccelerometerSensorValid
TEST.END

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:2 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (i < (NUM_OF_CAL_DATA_HD_PUMPS)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:1 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (i < (NUM_OF_CAL_DATA_HD_PUMPS)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
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.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:28 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 28
      (1) for (i < (NUM_OF_CAL_DATA_HD_PUMPS)) ==> TRUE
      (2) (isCalRecordValid == (0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   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.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:4 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) for (i < (NUM_OF_CAL_DATA_HD_PUMPS)) ==> FALSE
      (3) for (i < (NUM_OF_CAL_DATA_HD_VALVES)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:3 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) for (i < (NUM_OF_CAL_DATA_HD_PUMPS)) ==> FALSE
      (3) for (i < (NUM_OF_CAL_DATA_HD_VALVES)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:25 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 25
      (1) for (i < (NUM_OF_CAL_DATA_HD_PUMPS)) ==> FALSE
      (3) for (i < (NUM_OF_CAL_DATA_HD_VALVES)) ==> TRUE
      (4) (isCalRecordValid == (0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable isCalRecordValid in branch 4
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.isHDValveRecordValid
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:26 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 26
      (1) for (i < (NUM_OF_CAL_DATA_HD_PUMPS)) ==> FALSE
      (3) for (i < (NUM_OF_CAL_DATA_HD_VALVES)) ==> TRUE
      (4) (isCalRecordValid == (0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable isCalRecordValid in branch 4
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.isHDValveRecordValid
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:6 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (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)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 5
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:5 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (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
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 5
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.END

-- Test Case: COND_6_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_6_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:23 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 23
      (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)) ==> TRUE
      (6) (isCalRecordValid == (0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable isCalRecordValid in branch 6
      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
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.isPolynomialRecordValid
TEST.END

-- Test Case: COND_6_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:24 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 24
      (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)) ==> TRUE
      (6) (isCalRecordValid == (0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable isCalRecordValid in branch 6
      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
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.isPolynomialRecordValid
TEST.END

-- Test Case: COND_7_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_7_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:8 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (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)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 7
      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
TEST.END_NOTES:
TEST.END

-- Test Case: COND_7_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_7_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:7 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (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
      Row number 2 forms a pair with Row 1 for Condition #7, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 7
      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
TEST.END_NOTES:
TEST.END

-- Test Case: COND_8_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_8_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:21 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 21
      (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)) ==> TRUE
      (8) (isCalRecordValid == (0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #8, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable isCalRecordValid in branch 8
      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
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.isPolynomialRecordValid
TEST.END

-- Test Case: COND_8_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_8_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:22 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 22
      (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)) ==> TRUE
      (8) (isCalRecordValid == (0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #8, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable isCalRecordValid in branch 8
      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
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.isPolynomialRecordValid
TEST.END

-- Test Case: COND_9_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_9_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:10 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (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
      Row number 1 forms a pair with Row 2 for Condition #9, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 9
      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
TEST.END_NOTES:
TEST.END

-- Test Case: COND_9_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDCalibrationRecordValid
TEST.NEW
TEST.NAME:COND_9_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:9 of 28
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (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
      Row number 2 forms a pair with Row 1 for Condition #9, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 9
      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
TEST.END_NOTES:
TEST.END

-- Subprogram: isHDPumpRecordValid

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDPumpRecordValid
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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:uut_prototype_stubs.crc16.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDPumpRecordValid
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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:uut_prototype_stubs.crc16.return:<<MIN>>
TEST.END

-- Subprogram: isHDServiceRecordValid

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDServiceRecordValid
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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:uut_prototype_stubs.crc16.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDServiceRecordValid
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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:uut_prototype_stubs.crc16.return:<<MIN>>
TEST.END

-- Subprogram: isHDSystemRecordValid

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDSystemRecordValid
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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:uut_prototype_stubs.crc16.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDSystemRecordValid
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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:uut_prototype_stubs.crc16.return:<<MIN>>
TEST.END

-- Subprogram: isHDValveRecordValid

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDValveRecordValid
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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:uut_prototype_stubs.crc16.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isHDValveRecordValid
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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:uut_prototype_stubs.crc16.return:<<MIN>>
TEST.END

-- Subprogram: isNewCalibrationRecordAvailable

-- Test Case: isNewCalibrationRecordAvailable.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isNewCalibrationRecordAvailable
TEST.NEW
TEST.NAME:isNewCalibrationRecordAvailable.001
TEST.END

-- Subprogram: isPolynomialRecordValid

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isPolynomialRecordValid
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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:uut_prototype_stubs.crc16.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isPolynomialRecordValid
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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:uut_prototype_stubs.crc16.return:<<MIN>>
TEST.END

-- Subprogram: isQueueEmpty

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isQueueEmpty
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isQueueEmpty
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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.END

-- Subprogram: isQueueFull

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isQueueFull
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isQueueFull
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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.END

-- Subprogram: isRecordQueueEmpty

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isRecordQueueEmpty
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:isRecordQueueEmpty
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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.END

-- Subprogram: monitorNewCalSignal

-- Test Case: COND_1_ROW_1_PAIR_a_TT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:monitorNewCalSignal
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT
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.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:monitorNewCalSignal
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF
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.return:1
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:monitorNewCalSignal
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT
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.return:<<MIN>>
TEST.END

-- Subprogram: prepareReadLogJobAndGetStartAddress

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:prepareReadLogJobAndGetStartAddress
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:prepareReadLogJobAndGetStartAddress
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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: COND_2_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:prepareReadLogJobAndGetStartAddress
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_TT-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (2) if ((logRecord.logHeader).nextReadIndex == 0 && (logRecord.logHeader).isHdrCorrupted == (1)) ==> 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:
      Cannot set local variable readIndexChange in branch 2
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.logRecord.logHeader.isHdrCorrupted:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:prepareReadLogJobAndGetStartAddress
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_b_TF-PARTIAL
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: COND_2_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:prepareReadLogJobAndGetStartAddress
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_a_FT-PARTIAL
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: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:prepareReadLogJobAndGetStartAddress
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (2) if ((logRecord.logHeader).nextReadIndex == 0 && (logRecord.logHeader).isHdrCorrupted == (1)) ==> TRUE
      (3) if eraseDataLogSectors() ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable readIndexChange in branch 2
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.eraseDataLogSectors
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.logRecord.logHeader.isHdrCorrupted:1
TEST.VALUE:NVDataMgmt.eraseDataLogSectors.return:1
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:prepareReadLogJobAndGetStartAddress
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (2) if ((logRecord.logHeader).nextReadIndex == 0 && (logRecord.logHeader).isHdrCorrupted == (1)) ==> TRUE
      (3) if eraseDataLogSectors() ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable readIndexChange in branch 2
TEST.END_NOTES:
TEST.STUB:NVDataMgmt.eraseDataLogSectors
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.logRecord.logHeader.isHdrCorrupted:1
TEST.VALUE:NVDataMgmt.eraseDataLogSectors.return:0
TEST.END

-- Subprogram: prepareWriteLogJobAndGetStartAddress

-- Test Case: COND_1_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:prepareWriteLogJobAndGetStartAddress
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-PARTIAL
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.VALUE:NVDataMgmt.prepareWriteLogJobAndGetStartAddress.data:<<malloc 1>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:prepareWriteLogJobAndGetStartAddress
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (modulus == (0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set modulus due to assignment
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.prepareWriteLogJobAndGetStartAddress.data:<<malloc 1>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:prepareWriteLogJobAndGetStartAddress
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
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: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:prepareWriteLogJobAndGetStartAddress
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (modulus == (0)) ==> TRUE
      (2) if ((logRecord.logHeader).recordCount >= 3U * (((0xf0207fffU + (1)) - 0xf0204000U) / 32U) - (1)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set modulus due to assignment
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.logRecord.logHeader.recordCount:<<MIN>>
TEST.VALUE:NVDataMgmt.prepareWriteLogJobAndGetStartAddress.data:<<malloc 1>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:prepareWriteLogJobAndGetStartAddress
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
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

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:prepareWriteLogJobAndGetStartAddress
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (modulus == (0)) ==> FALSE
      (3) ((logRecord.logHeader).nextWriteIndex >= 3U * (((0xf0207fffU + (1)) - 0xf0204000U) / 32U) - (1)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set modulus due to assignment
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.logRecord.logHeader.nextWriteIndex:<<MIN>>
TEST.VALUE:NVDataMgmt.prepareWriteLogJobAndGetStartAddress.data:<<malloc 1>>
TEST.END

-- Subprogram: readLogData

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:readLogData
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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.getAvailableQueueCount.return:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:readLogData
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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.getAvailableQueueCount.return:<<MIN>>
TEST.END

-- Subprogram: setCalibrationRecord

-- Test Case: COND_1_ROW_1_PAIR_a_TT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setCalibrationRecord
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT
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.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setCalibrationRecord
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF
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.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setCalibrationRecord
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT
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.END

-- Test Case: COND_2_ROW_1_PAIR_a_TT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setCalibrationRecord
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_TT
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.END

-- Test Case: COND_2_ROW_2_PAIR_b_TF
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setCalibrationRecord
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_b_TF
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.END

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

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setCalibrationRecord
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE
      (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE
      (3) if ((1) == currentMessage - previousCalMessageNum) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
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.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setCalibrationRecord
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE
      (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE
      (3) if ((1) == currentMessage - previousCalMessageNum) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
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.END

-- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setCalibrationRecord
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:10 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE
      (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE
      (3) if ((1) == currentMessage - previousCalMessageNum) ==> TRUE
      (4) if (currentMessage == totalMessages) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
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.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setCalibrationRecord
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE
      (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE
      (3) if ((1) == currentMessage - previousCalMessageNum) ==> TRUE
      (4) if (currentMessage == totalMessages) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
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.END

-- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setCalibrationRecord
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:12 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE
      (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE
      (3) if ((1) == currentMessage - previousCalMessageNum) ==> TRUE
      (4) if (currentMessage == totalMessages) ==> TRUE
      (5) if (calcCRC != recordCRC) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set variable RECORDS_SPECS[NVDATAMGMT_CALIBRATION_RECORD] in branch 4 since it requires user code.
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
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.VALUE:uut_prototype_stubs.crc16.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setCalibrationRecord
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:11 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE
      (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE
      (3) if ((1) == currentMessage - previousCalMessageNum) ==> TRUE
      (4) if (currentMessage == totalMessages) ==> TRUE
      (5) if (calcCRC != recordCRC) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set variable to unknown value in branch 5
      Cannot set variable RECORDS_SPECS[NVDATAMGMT_CALIBRATION_RECORD] in branch 4 since it requires user code.
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
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.END

-- Subprogram: setMemoryOpsStruct

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setMemoryOpsStruct
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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.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.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setMemoryOpsStruct
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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.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.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setMemoryOpsStruct
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
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.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.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setMemoryOpsStruct
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((0) == isQueueFull()) ==> TRUE
      (2) (queueRearIndex >= 20U - (1)) ==> 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.isQueueFull
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.queueRearIndex:<<MIN>>
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.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setMemoryOpsStruct
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
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.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.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setMemoryOpsStruct
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:5 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((0) == isQueueFull()) ==> TRUE
      (3) if (extAddress == (0)) ==> 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.isQueueFull
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.queueRearIndex: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.END

-- Subprogram: setServiceRecord

-- Test Case: COND_1_ROW_1_PAIR_a_TT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setServiceRecord
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT
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.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setServiceRecord
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF
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.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setServiceRecord
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT
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.END

-- Test Case: COND_2_ROW_1_PAIR_a_TT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setServiceRecord
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_TT
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.END

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

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

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setServiceRecord
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == currentMessage && nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_IDLE)) ==> FALSE
      (2) if (nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_RECEIVE) && currentMessage <= totalMessages) ==> TRUE
      (3) if ((1) == currentMessage - previousCalMessageNum) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
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.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setServiceRecord
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == currentMessage && nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_IDLE)) ==> FALSE
      (2) if (nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_RECEIVE) && currentMessage <= totalMessages) ==> TRUE
      (3) if ((1) == currentMessage - previousCalMessageNum) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
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.END

-- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setServiceRecord
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:10 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if ((1) == currentMessage && nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_IDLE)) ==> FALSE
      (2) if (nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_RECEIVE) && currentMessage <= totalMessages) ==> TRUE
      (3) if ((1) == currentMessage - previousCalMessageNum) ==> TRUE
      (4) if (currentMessage == totalMessages) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
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.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setServiceRecord
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((1) == currentMessage && nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_IDLE)) ==> FALSE
      (2) if (nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_RECEIVE) && currentMessage <= totalMessages) ==> TRUE
      (3) if ((1) == currentMessage - previousCalMessageNum) ==> TRUE
      (4) if (currentMessage == totalMessages) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
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.END

-- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setServiceRecord
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:12 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) if ((1) == currentMessage && nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_IDLE)) ==> FALSE
      (2) if (nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_RECEIVE) && currentMessage <= totalMessages) ==> TRUE
      (3) if ((1) == currentMessage - previousCalMessageNum) ==> TRUE
      (4) if (currentMessage == totalMessages) ==> TRUE
      (5) if (calcCRC != recordCRC) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set variable RECORDS_SPECS[NVDATAMGMT_SERVICE_RECORD] in branch 4 since it requires user code.
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
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.VALUE:uut_prototype_stubs.crc16.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setServiceRecord
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:11 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if ((1) == currentMessage && nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_IDLE)) ==> FALSE
      (2) if (nvDataMgmtExecReceiveRecordState == (NVDATAMGMT_RECEIVE_RECORD_RECEIVE) && currentMessage <= totalMessages) ==> TRUE
      (3) if ((1) == currentMessage - previousCalMessageNum) ==> TRUE
      (4) if (currentMessage == totalMessages) ==> TRUE
      (5) if (calcCRC != recordCRC) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set variable to unknown value in branch 5
      Cannot set variable RECORDS_SPECS[NVDATAMGMT_SERVICE_RECORD] in branch 4 since it requires user code.
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
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.END

-- Subprogram: setSystemRecord

-- Test Case: COND_1_ROW_1_PAIR_a_TT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setSystemRecord
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT
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.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setSystemRecord
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF
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.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setSystemRecord
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT
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.END

-- Test Case: COND_2_ROW_1_PAIR_a_TT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setSystemRecord
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_TT
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.END

-- Test Case: COND_2_ROW_2_PAIR_b_TF
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setSystemRecord
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_b_TF
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.setSystemRecord.currentMessage:<<MAX>>
TEST.VALUE:NVDataMgmt.setSystemRecord.totalMessages:<<MIN>>
TEST.VALUE:NVDataMgmt.setSystemRecord.length:<<MIN>>
TEST.VALUE:NVDataMgmt.setSystemRecord.addressPtr:<<malloc 1>>
TEST.END

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

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setSystemRecord
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE
      (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE
      (3) if ((1) == currentMessage - previousCalMessageNum) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
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.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setSystemRecord
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE
      (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE
      (3) if ((1) == currentMessage - previousCalMessageNum) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
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.END

-- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setSystemRecord
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:10 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE
      (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE
      (3) if ((1) == currentMessage - previousCalMessageNum) ==> TRUE
      (4) if (currentMessage == totalMessages) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
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.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setSystemRecord
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE
      (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE
      (3) if ((1) == currentMessage - previousCalMessageNum) ==> TRUE
      (4) if (currentMessage == totalMessages) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
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.END

-- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setSystemRecord
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:12 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE
      (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE
      (3) if ((1) == currentMessage - previousCalMessageNum) ==> TRUE
      (4) if (currentMessage == totalMessages) ==> TRUE
      (5) if (calcCRC != recordCRC) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set variable RECORDS_SPECS[NVDATAMGMT_SYSTEM_RECORD] in branch 4 since it requires user code.
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
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.VALUE:uut_prototype_stubs.crc16.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setSystemRecord
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:11 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if ((1) == currentMessage && (NVDATAMGMT_RECEIVE_RECORD_IDLE) == nvDataMgmtExecReceiveRecordState) ==> FALSE
      (2) if ((NVDATAMGMT_RECEIVE_RECORD_RECEIVE) == nvDataMgmtExecReceiveRecordState && currentMessage <= totalMessages) ==> TRUE
      (3) if ((1) == currentMessage - previousCalMessageNum) ==> TRUE
      (4) if (currentMessage == totalMessages) ==> TRUE
      (5) if (calcCRC != recordCRC) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set variable to unknown value in branch 5
      Cannot set variable RECORDS_SPECS[NVDATAMGMT_SYSTEM_RECORD] in branch 4 since it requires user code.
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.VALUE:NVDataMgmt.<<GLOBAL>>.nvDataMgmtExecReceiveRecordState:NVDATAMGMT_RECEIVE_RECORD_RECEIVE
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.END

-- Subprogram: setTreatmentTime

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setTreatmentTime
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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.isQueueFull.return:0
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:setTreatmentTime
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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.isQueueFull.return:1
TEST.END

-- Subprogram: signalPowerOffWarning

-- Test Case: signalPowerOffWarning.001
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:signalPowerOffWarning
TEST.NEW
TEST.NAME:signalPowerOffWarning.001
TEST.END

-- Subprogram: writeLogData

-- Test Case: COND_1_ROW_1_PAIR_a_TT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:writeLogData
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT
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.isQueueFull.return:1
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:writeLogData
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT
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.isQueueFull.return:0
TEST.END

-- Test Case: COND_1_ROW_4_PAIR_b_FF
TEST.UNIT:NVDataMgmt
TEST.SUBPROGRAM:writeLogData
TEST.NEW
TEST.NAME:COND_1_ROW_4_PAIR_b_FF
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.isQueueFull.return:0
TEST.END