-- VectorCAST 19.sp3 (11/13/19)
-- Test Case Script
-- 
-- Environment    : UTILITIES
-- Unit(s) Under Test: Utilities
-- 
-- 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: Utilities

-- Subprogram: crc16

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Utilities
TEST.SUBPROGRAM:crc16
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) while (len-- > (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:Utilities.crc16.address:<<malloc 1>>
TEST.VALUE:Utilities.crc16.len:<<MIN>>
TEST.END

-- Test Case: NominalPath
TEST.UNIT:Utilities
TEST.SUBPROGRAM:crc16
TEST.NEW
TEST.NAME:NominalPath
TEST.VALUE:Utilities.crc16.address:<<malloc 9>>
TEST.VALUE:Utilities.crc16.address[0]:0x31
TEST.VALUE:Utilities.crc16.address[1]:0x32
TEST.VALUE:Utilities.crc16.address[2]:0x33
TEST.VALUE:Utilities.crc16.address[3]:0x34
TEST.VALUE:Utilities.crc16.address[4]:0x35
TEST.VALUE:Utilities.crc16.address[5]:0x36
TEST.VALUE:Utilities.crc16.address[6]:0x37
TEST.VALUE:Utilities.crc16.address[7]:0x38
TEST.VALUE:Utilities.crc16.address[8]:0x39
TEST.VALUE:Utilities.crc16.len:9
TEST.EXPECTED:Utilities.crc16.return:0x29B1
TEST.END

-- Test Case: ZeroLength
TEST.UNIT:Utilities
TEST.SUBPROGRAM:crc16
TEST.NEW
TEST.NAME:ZeroLength
TEST.VALUE:Utilities.crc16.address:<<malloc 4>>
TEST.VALUE:Utilities.crc16.address[0]:0xA4
TEST.VALUE:Utilities.crc16.address[1]:0x8E
TEST.VALUE:Utilities.crc16.address[2]:0x3
TEST.VALUE:Utilities.crc16.address[3]:0xDF
TEST.VALUE:Utilities.crc16.len:0
TEST.EXPECTED:Utilities.crc16.return:0xFFFF
TEST.END

-- Subprogram: crc32

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Utilities
TEST.SUBPROGRAM:crc32
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) while (len-- > (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:Utilities.crc32.initialValue:<<MIN>>
TEST.VALUE:Utilities.crc32.address:<<malloc 1>>
TEST.VALUE:Utilities.crc32.len:<<MIN>>
TEST.END

-- Test Case: crc32.001
TEST.UNIT:Utilities
TEST.SUBPROGRAM:crc32
TEST.NEW
TEST.NAME:crc32.001
TEST.VALUE:Utilities.crc32.address:<<malloc 5>>
TEST.VALUE:Utilities.crc32.address:"xxxx"
TEST.VALUE:Utilities.crc32.len:4
TEST.END

-- Subprogram: crc8

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Utilities
TEST.SUBPROGRAM:crc8
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) while (len-- > (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:Utilities.crc8.address:<<malloc 1>>
TEST.VALUE:Utilities.crc8.len:<<MIN>>
TEST.END

-- Test Case: NominalPath
TEST.UNIT:Utilities
TEST.SUBPROGRAM:crc8
TEST.NEW
TEST.NAME:NominalPath
TEST.VALUE:Utilities.crc8.address:<<malloc 2>>
TEST.VALUE:Utilities.crc8.address[0]:1
TEST.VALUE:Utilities.crc8.address[1]:2
TEST.VALUE:Utilities.crc8.len:2
TEST.EXPECTED:Utilities.crc8.return:0x96
TEST.END

-- Subprogram: getCriticalData

-- Test Case: COND_1_ROW_12_PAIR_b_FTFF-PARTIAL
TEST.UNIT:Utilities
TEST.SUBPROGRAM:getCriticalData
TEST.NEW
TEST.NAME:COND_1_ROW_12_PAIR_b_FTFF-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (((~(d.data).uInt != d.comp || isCriticalDataInRange(&d) != (1)) || d.set != (1)) || data->typ >= (NUM_OF_CRITICAL_DATA_TYPES)) ==> TRUE
      Row number 12 forms a pair with Row 16 for Condition #1, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
         Condition c ==> FALSE
         Condition d ==> FALSE
   Test Case Generation Notes:
      Cannot set variable to unknown value in branch 1
TEST.END_NOTES:
TEST.STUB:Utilities.isCriticalDataInRange
TEST.VALUE:Utilities.getCriticalData.data:<<malloc 1>>
TEST.VALUE:Utilities.getCriticalData.data[0].typ:<<MIN>>
TEST.VALUE:Utilities.getCriticalData.data[0].set:1
TEST.VALUE:Utilities.isCriticalDataInRange.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_14_PAIR_c_FFTF-PARTIAL
TEST.UNIT:Utilities
TEST.SUBPROGRAM:getCriticalData
TEST.NEW
TEST.NAME:COND_1_ROW_14_PAIR_c_FFTF-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (((~(d.data).uInt != d.comp || isCriticalDataInRange(&d) != (1)) || d.set != (1)) || data->typ >= (NUM_OF_CRITICAL_DATA_TYPES)) ==> TRUE
      Row number 14 forms a pair with Row 16 for Condition #1, subcondition "c".
         Condition a ==> FALSE
         Condition b ==> FALSE
         Condition c ==> TRUE
         Condition d ==> FALSE
   Test Case Generation Notes:
      Cannot set variable to unknown value in branch 1
TEST.END_NOTES:
TEST.STUB:Utilities.isCriticalDataInRange
TEST.VALUE:Utilities.getCriticalData.data:<<malloc 1>>
TEST.VALUE:Utilities.getCriticalData.data[0].typ:<<MIN>>
TEST.VALUE:Utilities.getCriticalData.data[0].set:<<MIN>>
TEST.VALUE:Utilities.isCriticalDataInRange.return:1
TEST.END

-- Test Case: COND_1_ROW_15_PAIR_d_FFFT-PARTIAL
TEST.UNIT:Utilities
TEST.SUBPROGRAM:getCriticalData
TEST.NEW
TEST.NAME:COND_1_ROW_15_PAIR_d_FFFT-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (((~(d.data).uInt != d.comp || isCriticalDataInRange(&d) != (1)) || d.set != (1)) || data->typ >= (NUM_OF_CRITICAL_DATA_TYPES)) ==> TRUE
      Row number 15 forms a pair with Row 16 for Condition #1, subcondition "d".
         Condition a ==> FALSE
         Condition b ==> FALSE
         Condition c ==> FALSE
         Condition d ==> TRUE
   Test Case Generation Notes:
      Cannot set variable to unknown value in branch 1
TEST.END_NOTES:
TEST.STUB:Utilities.isCriticalDataInRange
TEST.VALUE:Utilities.getCriticalData.data:<<malloc 1>>
TEST.VALUE:Utilities.getCriticalData.data[0].typ:<<MAX>>
TEST.VALUE:Utilities.getCriticalData.data[0].set:1
TEST.VALUE:Utilities.isCriticalDataInRange.return:1
TEST.END

-- Test Case: COND_1_ROW_16_PAIR_a_FFFF-PARTIAL
TEST.UNIT:Utilities
TEST.SUBPROGRAM:getCriticalData
TEST.NEW
TEST.NAME:COND_1_ROW_16_PAIR_a_FFFF-PARTIAL
TEST.MCDC_BASIS_PATH:1 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (((~(d.data).uInt != d.comp || isCriticalDataInRange(&d) != (1)) || d.set != (1)) || data->typ >= (NUM_OF_CRITICAL_DATA_TYPES)) ==> FALSE
      Row number 16 forms a pair with Row 8 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
         Condition c ==> FALSE
         Condition d ==> FALSE
   Test Case Generation Notes:
      Cannot set variable to unknown value in branch 1
TEST.END_NOTES:
TEST.STUB:Utilities.isCriticalDataInRange
TEST.VALUE:Utilities.getCriticalData.data:<<malloc 1>>
TEST.VALUE:Utilities.getCriticalData.data[0].typ:<<MIN>>
TEST.VALUE:Utilities.getCriticalData.data[0].set:1
TEST.VALUE:Utilities.isCriticalDataInRange.return:1
TEST.END

-- Test Case: COND_1_ROW_8_PAIR_a_TFFF-PARTIAL
TEST.UNIT:Utilities
TEST.SUBPROGRAM:getCriticalData
TEST.NEW
TEST.NAME:COND_1_ROW_8_PAIR_a_TFFF-PARTIAL
TEST.MCDC_BASIS_PATH:2 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (((~(d.data).uInt != d.comp || isCriticalDataInRange(&d) != (1)) || d.set != (1)) || data->typ >= (NUM_OF_CRITICAL_DATA_TYPES)) ==> TRUE
      Row number 8 forms a pair with Row 16 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
         Condition c ==> FALSE
         Condition d ==> FALSE
   Test Case Generation Notes:
      Cannot set variable to unknown value in branch 1
TEST.END_NOTES:
TEST.STUB:Utilities.isCriticalDataInRange
TEST.VALUE:Utilities.getCriticalData.data:<<malloc 1>>
TEST.VALUE:Utilities.getCriticalData.data[0].typ:<<MIN>>
TEST.VALUE:Utilities.getCriticalData.data[0].set:1
TEST.VALUE:Utilities.isCriticalDataInRange.return:1
TEST.END

-- Test Case: getCriticalData_Corrupted
TEST.UNIT:Utilities
TEST.SUBPROGRAM:getCriticalData
TEST.NEW
TEST.NAME:getCriticalData_Corrupted
TEST.VALUE:Utilities.getCriticalData.data:<<malloc 1>>
TEST.VALUE:Utilities.getCriticalData.data[0].typ:CRITICAL_DATA_TYPE_U32
TEST.VALUE:Utilities.getCriticalData.data[0].minimum.uInt:0
TEST.VALUE:Utilities.getCriticalData.data[0].maximum.uInt:6
TEST.VALUE:Utilities.getCriticalData.data[0].data.uInt:5
TEST.VALUE:Utilities.getCriticalData.data[0].comp:0xFFFFFFFD
TEST.VALUE:Utilities.getCriticalData.data[0].set:1
TEST.EXPECTED:Utilities.getCriticalData.return.uInt:0
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_CRITICAL_DATA_ERROR
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0
TEST.END

-- Test Case: getCriticalData_InvalidDataType
TEST.UNIT:Utilities
TEST.SUBPROGRAM:getCriticalData
TEST.NEW
TEST.NAME:getCriticalData_InvalidDataType
TEST.VALUE:Utilities.getCriticalData.data:<<malloc 1>>
TEST.VALUE:Utilities.getCriticalData.data[0].typ:NUM_OF_CRITICAL_DATA_TYPES
TEST.VALUE:Utilities.getCriticalData.data[0].minimum.uInt:0
TEST.VALUE:Utilities.getCriticalData.data[0].maximum.uInt:6
TEST.VALUE:Utilities.getCriticalData.data[0].data.uInt:5
TEST.VALUE:Utilities.getCriticalData.data[0].comp:0xFFFFFFFA
TEST.VALUE:Utilities.getCriticalData.data[0].set:1
TEST.EXPECTED:Utilities.getCriticalData.return.uInt:0
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_CRITICAL_DATA_ERROR
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0
TEST.END

-- Test Case: getCriticalData_NominalPath
TEST.UNIT:Utilities
TEST.SUBPROGRAM:getCriticalData
TEST.NEW
TEST.NAME:getCriticalData_NominalPath
TEST.VALUE:Utilities.getCriticalData.data:<<malloc 1>>
TEST.VALUE:Utilities.getCriticalData.data[0].typ:CRITICAL_DATA_TYPE_U32
TEST.VALUE:Utilities.getCriticalData.data[0].minimum.uInt:0
TEST.VALUE:Utilities.getCriticalData.data[0].maximum.uInt:6
TEST.VALUE:Utilities.getCriticalData.data[0].data.uInt:5
TEST.VALUE:Utilities.getCriticalData.data[0].comp:0xFFFFFFFA
TEST.VALUE:Utilities.getCriticalData.data[0].set:1
TEST.EXPECTED:Utilities.getCriticalData.return.uInt:5
TEST.END

-- Test Case: getCriticalData_NotSet
TEST.UNIT:Utilities
TEST.SUBPROGRAM:getCriticalData
TEST.NEW
TEST.NAME:getCriticalData_NotSet
TEST.VALUE:Utilities.getCriticalData.data:<<malloc 1>>
TEST.VALUE:Utilities.getCriticalData.data[0].typ:CRITICAL_DATA_TYPE_U32
TEST.VALUE:Utilities.getCriticalData.data[0].minimum.uInt:0
TEST.VALUE:Utilities.getCriticalData.data[0].maximum.uInt:6
TEST.VALUE:Utilities.getCriticalData.data[0].data.uInt:5
TEST.VALUE:Utilities.getCriticalData.data[0].comp:0xFFFFFFFA
TEST.VALUE:Utilities.getCriticalData.data[0].set:0
TEST.EXPECTED:Utilities.getCriticalData.return.uInt:0
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_CRITICAL_DATA_ERROR
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0
TEST.END

-- Test Case: getCriticalData_OutOfRange_High
TEST.UNIT:Utilities
TEST.SUBPROGRAM:getCriticalData
TEST.NEW
TEST.NAME:getCriticalData_OutOfRange_High
TEST.VALUE:Utilities.getCriticalData.data:<<malloc 1>>
TEST.VALUE:Utilities.getCriticalData.data[0].typ:CRITICAL_DATA_TYPE_U32
TEST.VALUE:Utilities.getCriticalData.data[0].minimum.uInt:0
TEST.VALUE:Utilities.getCriticalData.data[0].maximum.uInt:4
TEST.VALUE:Utilities.getCriticalData.data[0].data.uInt:5
TEST.VALUE:Utilities.getCriticalData.data[0].comp:0xFFFFFFFA
TEST.VALUE:Utilities.getCriticalData.data[0].set:1
TEST.EXPECTED:Utilities.getCriticalData.return.uInt:0
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_CRITICAL_DATA_ERROR
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0
TEST.END

-- Test Case: getCriticalData_OutOfRange_Low
TEST.UNIT:Utilities
TEST.SUBPROGRAM:getCriticalData
TEST.NEW
TEST.NAME:getCriticalData_OutOfRange_Low
TEST.VALUE:Utilities.getCriticalData.data:<<malloc 1>>
TEST.VALUE:Utilities.getCriticalData.data[0].typ:CRITICAL_DATA_TYPE_U32
TEST.VALUE:Utilities.getCriticalData.data[0].minimum.uInt:6
TEST.VALUE:Utilities.getCriticalData.data[0].maximum.uInt:6
TEST.VALUE:Utilities.getCriticalData.data[0].data.uInt:5
TEST.VALUE:Utilities.getCriticalData.data[0].comp:0xFFFFFFFA
TEST.VALUE:Utilities.getCriticalData.data[0].set:1
TEST.EXPECTED:Utilities.getCriticalData.return.uInt:0
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_CRITICAL_DATA_ERROR
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0
TEST.END

-- Subprogram: hexStrToDec

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Utilities
TEST.SUBPROGRAM:hexStrToDec
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (ii < size) ==> 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:Utilities.hexStrToDec.valuePtr:<<malloc 1>>
TEST.VALUE:Utilities.hexStrToDec.size:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Utilities
TEST.SUBPROGRAM:hexStrToDec
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (ii < size) ==> 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:Utilities.hexStrToDec.valuePtr:<<malloc 1>>
TEST.VALUE:Utilities.hexStrToDec.size:0
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Utilities
TEST.SUBPROGRAM:hexStrToDec
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) for (ii < size) ==> TRUE
      (2) if (valuePtr[ii] < 0x41) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set ii due to assignment
TEST.END_NOTES:
TEST.VALUE:Utilities.hexStrToDec.valuePtr:<<malloc 1>>
TEST.VALUE:Utilities.hexStrToDec.valuePtr[0]:<<MIN>>
TEST.VALUE:Utilities.hexStrToDec.size:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Utilities
TEST.SUBPROGRAM:hexStrToDec
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) for (ii < size) ==> TRUE
      (2) if (valuePtr[ii] < 0x41) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set ii due to assignment
TEST.END_NOTES:
TEST.VALUE:Utilities.hexStrToDec.valuePtr:<<malloc 1>>
TEST.VALUE:Utilities.hexStrToDec.valuePtr[0]:<<MAX>>
TEST.VALUE:Utilities.hexStrToDec.size:1
TEST.END

-- Test Case: hexStrToDec_NominalPath
TEST.UNIT:Utilities
TEST.SUBPROGRAM:hexStrToDec
TEST.NEW
TEST.NAME:hexStrToDec_NominalPath
TEST.VALUE:Utilities.hexStrToDec.valuePtr:<<malloc 2>>
TEST.VALUE:Utilities.hexStrToDec.valuePtr[0]:0x41
TEST.VALUE:Utilities.hexStrToDec.valuePtr[1]:0x31
TEST.VALUE:Utilities.hexStrToDec.size:2
TEST.EXPECTED:Utilities.hexStrToDec.return:0xA1
TEST.END

-- Subprogram: incTimeWindowedCount

-- Test Case: COND_1_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:Utilities
TEST.SUBPROGRAM:incTimeWindowedCount
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT-PARTIAL
TEST.MCDC_BASIS_PATH:2 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (cnt < (NUM_OF_TIME_WINDOWED_COUNTS) && (1) == timeWindowedCountsInitialized[cnt]) ==> 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:
      Conflict: Cannot resolve multiple comparisons ( Utilities.incTimeWindowedCount.cnt ) in branch 1
TEST.END_NOTES:
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsInitialized[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:1
TEST.VALUE:Utilities.incTimeWindowedCount.cnt:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:Utilities
TEST.SUBPROGRAM:incTimeWindowedCount
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (cnt < (NUM_OF_TIME_WINDOWED_COUNTS) && (1) == timeWindowedCountsInitialized[cnt]) ==> 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:
      Conflict: Cannot resolve multiple comparisons ( Utilities.incTimeWindowedCount.cnt ) in branch 1
TEST.END_NOTES:
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsInitialized[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:<<MIN>>
TEST.VALUE:Utilities.incTimeWindowedCount.cnt:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:Utilities
TEST.SUBPROGRAM:incTimeWindowedCount
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT-PARTIAL
TEST.MCDC_BASIS_PATH:1 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (cnt < (NUM_OF_TIME_WINDOWED_COUNTS) && (1) == timeWindowedCountsInitialized[cnt]) ==> 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:
      Conflict: Cannot resolve multiple comparisons ( Utilities.incTimeWindowedCount.cnt ) in branch 1
TEST.END_NOTES:
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsInitialized[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:1
TEST.VALUE:Utilities.incTimeWindowedCount.cnt:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Utilities
TEST.SUBPROGRAM:incTimeWindowedCount
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (cnt < (NUM_OF_TIME_WINDOWED_COUNTS) && (1) == timeWindowedCountsInitialized[cnt]) ==> TRUE
      (2) (timeWindowedCountIndexes[cnt] >= timeWindowedCountsMaxCount[cnt] - (1)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Cannot resolve multiple comparisons ( Utilities.incTimeWindowedCount.cnt ) in branch 1
TEST.END_NOTES:
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsInitialized[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:1
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountIndexes[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:<<MIN>>
TEST.VALUE:Utilities.incTimeWindowedCount.cnt:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:Utilities
TEST.SUBPROGRAM:incTimeWindowedCount
TEST.NEW
TEST.NAME:COND_3_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 (cnt < (NUM_OF_TIME_WINDOWED_COUNTS) && (1) == timeWindowedCountsInitialized[cnt]) ==> TRUE
      (3) (timeWindowedCountCounts[cnt] >= timeWindowedCountsMaxCount[cnt]) ==> 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.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsInitialized[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:1
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsMaxCount[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:<<MIN>>
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:<<MAX>>
TEST.VALUE:Utilities.incTimeWindowedCount.cnt:TIME_WINDOWED_COUNT_BAD_MSG_CRC
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:Utilities
TEST.SUBPROGRAM:incTimeWindowedCount
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 (cnt < (NUM_OF_TIME_WINDOWED_COUNTS) && (1) == timeWindowedCountsInitialized[cnt]) ==> TRUE
      (3) (timeWindowedCountCounts[cnt] >= timeWindowedCountsMaxCount[cnt]) ==> 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.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsInitialized[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:1
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsMaxCount[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:<<MAX>>
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:<<MIN>>
TEST.VALUE:Utilities.incTimeWindowedCount.cnt:TIME_WINDOWED_COUNT_BAD_MSG_CRC
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_TT
TEST.UNIT:Utilities
TEST.SUBPROGRAM:incTimeWindowedCount
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:9 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if (cnt < (NUM_OF_TIME_WINDOWED_COUNTS) && (1) == timeWindowedCountsInitialized[cnt]) ==> TRUE
      (4) if (timeWindowedCountCounts[cnt] >= timeWindowedCountsMaxCount[cnt] && timeInMS <= timeWindowedCountsWindowMs[cnt]) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #4, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsInitialized[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:1
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsMaxCount[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:<<MIN>>
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsWindowMs[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:<<MAX>>
TEST.VALUE:Utilities.incTimeWindowedCount.cnt:TIME_WINDOWED_COUNT_BAD_MSG_CRC
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_b_TF
TEST.UNIT:Utilities
TEST.SUBPROGRAM:incTimeWindowedCount
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:10 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if (cnt < (NUM_OF_TIME_WINDOWED_COUNTS) && (1) == timeWindowedCountsInitialized[cnt]) ==> TRUE
      (4) if (timeWindowedCountCounts[cnt] >= timeWindowedCountsMaxCount[cnt] && timeInMS <= timeWindowedCountsWindowMs[cnt]) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsInitialized[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:1
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsMaxCount[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:<<MIN>>
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsWindowMs[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:<<MIN>>
TEST.VALUE:Utilities.incTimeWindowedCount.cnt:TIME_WINDOWED_COUNT_BAD_MSG_CRC
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<<MAX>>
TEST.END

-- Test Case: COND_4_ROW_3_PAIR_a_FT
TEST.UNIT:Utilities
TEST.SUBPROGRAM:incTimeWindowedCount
TEST.NEW
TEST.NAME:COND_4_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:8 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if (cnt < (NUM_OF_TIME_WINDOWED_COUNTS) && (1) == timeWindowedCountsInitialized[cnt]) ==> TRUE
      (4) if (timeWindowedCountCounts[cnt] >= timeWindowedCountsMaxCount[cnt] && timeInMS <= timeWindowedCountsWindowMs[cnt]) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsInitialized[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:1
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsMaxCount[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:<<MAX>>
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsWindowMs[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:<<MAX>>
TEST.VALUE:Utilities.incTimeWindowedCount.cnt:TIME_WINDOWED_COUNT_BAD_MSG_CRC
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<<MIN>>
TEST.END

-- Test Case: incTimeWindowedCount_InvalidCount
TEST.UNIT:Utilities
TEST.SUBPROGRAM:incTimeWindowedCount
TEST.NEW
TEST.NAME:incTimeWindowedCount_InvalidCount
TEST.VALUE:Utilities.incTimeWindowedCount.cnt:NUM_OF_TIME_WINDOWED_COUNTS
TEST.EXPECTED:Utilities.incTimeWindowedCount.return:0
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:67
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.END

-- Test Case: incTimeWindowedCount_NotInitialized
TEST.UNIT:Utilities
TEST.SUBPROGRAM:incTimeWindowedCount
TEST.NEW
TEST.NAME:incTimeWindowedCount_NotInitialized
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsInitialized[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:0
TEST.VALUE:Utilities.incTimeWindowedCount.cnt:TIME_WINDOWED_COUNT_BAD_MSG_CRC
TEST.EXPECTED:Utilities.incTimeWindowedCount.return:0
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:67
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0
TEST.END

-- Test Case: incTimeWindowedCount_NotTooManyInstances
TEST.UNIT:Utilities
TEST.SUBPROGRAM:incTimeWindowedCount
TEST.NEW
TEST.NAME:incTimeWindowedCount_NotTooManyInstances
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsInitialized[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:1
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsMaxCount[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:3
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsWindowMs[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:1000
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][0]:102050
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][1]:0
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][2]:0
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountIndexes[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:1
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:1
TEST.VALUE:Utilities.incTimeWindowedCount.cnt:TIME_WINDOWED_COUNT_BAD_MSG_CRC
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:102550
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][0]:102050
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][1]:102550
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][2]:0
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCountIndexes[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:2
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCountCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:2
TEST.EXPECTED:Utilities.incTimeWindowedCount.return:0
TEST.END

-- Test Case: incTimeWindowedCount_NotTooManyInstances2
TEST.UNIT:Utilities
TEST.SUBPROGRAM:incTimeWindowedCount
TEST.NEW
TEST.NAME:incTimeWindowedCount_NotTooManyInstances2
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsInitialized[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:1
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsMaxCount[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:3
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsWindowMs[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:1000
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][0]:102050
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][1]:102550
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][2]:0
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountIndexes[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:2
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:2
TEST.VALUE:Utilities.incTimeWindowedCount.cnt:TIME_WINDOWED_COUNT_BAD_MSG_CRC
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:103100
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:1050
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][0]:102050
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][1]:102550
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][2]:103100
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCountIndexes[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:0
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCountCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:3
TEST.EXPECTED:Utilities.incTimeWindowedCount.return:0
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:102050
TEST.END

-- Test Case: incTimeWindowedCount_TooManyInstances
TEST.UNIT:Utilities
TEST.SUBPROGRAM:incTimeWindowedCount
TEST.NEW
TEST.NAME:incTimeWindowedCount_TooManyInstances
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsInitialized[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:1
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsMaxCount[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:3
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsWindowMs[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:1000
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][0]:100000
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][1]:102050
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][2]:102550
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountIndexes[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:0
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:3
TEST.VALUE:Utilities.incTimeWindowedCount.cnt:TIME_WINDOWED_COUNT_BAD_MSG_CRC
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:103000
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:950
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][0]:103000
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][1]:102050
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][2]:102550
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCountIndexes[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:1
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCountCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:3
TEST.EXPECTED:Utilities.incTimeWindowedCount.return:1
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:102050
TEST.END

-- Subprogram: initTimeWindowedCount

-- Test Case: COND_1_ROW_1_PAIR_a_TT
TEST.UNIT:Utilities
TEST.SUBPROGRAM:initTimeWindowedCount
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 (cnt < (NUM_OF_TIME_WINDOWED_COUNTS) && maxCnt <= (5)) ==> 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:Utilities.initTimeWindowedCount.cnt:<<MIN>>
TEST.VALUE:Utilities.initTimeWindowedCount.maxCnt:<<MIN>>
TEST.VALUE:Utilities.initTimeWindowedCount.winMs:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF
TEST.UNIT:Utilities
TEST.SUBPROGRAM:initTimeWindowedCount
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 (cnt < (NUM_OF_TIME_WINDOWED_COUNTS) && maxCnt <= (5)) ==> 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:Utilities.initTimeWindowedCount.cnt:<<MIN>>
TEST.VALUE:Utilities.initTimeWindowedCount.maxCnt:<<MAX>>
TEST.VALUE:Utilities.initTimeWindowedCount.winMs:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT
TEST.UNIT:Utilities
TEST.SUBPROGRAM:initTimeWindowedCount
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 (cnt < (NUM_OF_TIME_WINDOWED_COUNTS) && maxCnt <= (5)) ==> 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:Utilities.initTimeWindowedCount.cnt:<<MAX>>
TEST.VALUE:Utilities.initTimeWindowedCount.maxCnt:<<MIN>>
TEST.VALUE:Utilities.initTimeWindowedCount.winMs:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Utilities
TEST.SUBPROGRAM:initTimeWindowedCount
TEST.NEW
TEST.NAME:COND_2_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
      (1) if (cnt < (NUM_OF_TIME_WINDOWED_COUNTS) && maxCnt <= (5)) ==> TRUE
      (2) for (i < (5)) ==> 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:Utilities.initTimeWindowedCount.cnt:<<MIN>>
TEST.VALUE:Utilities.initTimeWindowedCount.maxCnt:<<MIN>>
TEST.VALUE:Utilities.initTimeWindowedCount.winMs:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Utilities
TEST.SUBPROGRAM:initTimeWindowedCount
TEST.NEW
TEST.NAME:COND_2_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
      (1) if (cnt < (NUM_OF_TIME_WINDOWED_COUNTS) && maxCnt <= (5)) ==> TRUE
      (2) for (i < (5)) ==> 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:Utilities.initTimeWindowedCount.cnt:<<MIN>>
TEST.VALUE:Utilities.initTimeWindowedCount.maxCnt:<<MIN>>
TEST.VALUE:Utilities.initTimeWindowedCount.winMs:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Utilities
TEST.SUBPROGRAM:initTimeWindowedCount
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (cnt < (NUM_OF_TIME_WINDOWED_COUNTS) && maxCnt <= (5)) ==> FALSE
      (3) if (cnt < (NUM_OF_TIME_WINDOWED_COUNTS)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Cannot resolve multiple comparisons ( Utilities.initTimeWindowedCount.cnt ) in branch 3
      Conflict: Trying to set variable Utilities.initTimeWindowedCount.cnt 'less than' and 'greater than' same value in branches 1/3
TEST.END_NOTES:
TEST.VALUE:Utilities.initTimeWindowedCount.cnt:<<MIN>>
TEST.VALUE:Utilities.initTimeWindowedCount.maxCnt:<<MAX>>
TEST.VALUE:Utilities.initTimeWindowedCount.winMs:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:Utilities
TEST.SUBPROGRAM:initTimeWindowedCount
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:4 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (cnt < (NUM_OF_TIME_WINDOWED_COUNTS) && maxCnt <= (5)) ==> FALSE
      (3) if (cnt < (NUM_OF_TIME_WINDOWED_COUNTS)) ==> 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.VALUE:Utilities.initTimeWindowedCount.cnt:<<MAX>>
TEST.VALUE:Utilities.initTimeWindowedCount.maxCnt:<<MAX>>
TEST.VALUE:Utilities.initTimeWindowedCount.winMs:<<MIN>>
TEST.END

-- Test Case: initTimeWindowedCount_InvalidCount
TEST.UNIT:Utilities
TEST.SUBPROGRAM:initTimeWindowedCount
TEST.NEW
TEST.NAME:initTimeWindowedCount_InvalidCount
TEST.VALUE:Utilities.initTimeWindowedCount.cnt:NUM_OF_TIME_WINDOWED_COUNTS
TEST.VALUE:Utilities.initTimeWindowedCount.maxCnt:2
TEST.VALUE:Utilities.initTimeWindowedCount.winMs:1000
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:72
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.END

-- Test Case: initTimeWindowedCount_InvalidMaxCount
TEST.UNIT:Utilities
TEST.SUBPROGRAM:initTimeWindowedCount
TEST.NEW
TEST.NAME:initTimeWindowedCount_InvalidMaxCount
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsInitialized[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:1
TEST.VALUE:Utilities.initTimeWindowedCount.cnt:TIME_WINDOWED_COUNT_BAD_MSG_CRC
TEST.VALUE:Utilities.initTimeWindowedCount.maxCnt:6
TEST.VALUE:Utilities.initTimeWindowedCount.winMs:1000
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCountsInitialized[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:0
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:73
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:6
TEST.END

-- Test Case: initTimeWindowedCount_NominalPath
TEST.UNIT:Utilities
TEST.SUBPROGRAM:initTimeWindowedCount
TEST.NEW
TEST.NAME:initTimeWindowedCount_NominalPath
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsInitialized[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:0
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsMaxCount[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:0
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountsWindowMs[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:0
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][0]:1
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][1]:1
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][2]:1
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][3]:1
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][4]:1
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountIndexes[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:1
TEST.VALUE:Utilities.<<GLOBAL>>.timeWindowedCountCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:1
TEST.VALUE:Utilities.initTimeWindowedCount.cnt:TIME_WINDOWED_COUNT_BAD_MSG_CRC
TEST.VALUE:Utilities.initTimeWindowedCount.maxCnt:3
TEST.VALUE:Utilities.initTimeWindowedCount.winMs:1000
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCountsInitialized[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:1
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCountsMaxCount[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:3
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCountsWindowMs[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:1000
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][0]:0
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][1]:0
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][2]:0
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][3]:0
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC][4]:0
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCountIndexes[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:0
TEST.EXPECTED:Utilities.<<GLOBAL>>.timeWindowedCountCounts[TIME_WINDOWED_COUNT_BAD_MSG_CRC]:0
TEST.END

-- Subprogram: isCriticalDataInRange

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataInRange
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 ((CRITICAL_DATA_TYPE_F32) == data->typ) ==> 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:Utilities.isCriticalDataInRange.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].typ:CRITICAL_DATA_TYPE_F32
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataInRange
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 ((CRITICAL_DATA_TYPE_F32) == data->typ) ==> 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:Utilities.isCriticalDataInRange.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].typ:CRITICAL_DATA_TYPE_U32
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_TT
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataInRange
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:12 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) if ((CRITICAL_DATA_TYPE_F32) == data->typ) ==> TRUE
      (2) if ((data->data).sFlt >= (data->minimum).sFlt && (data->data).sFlt <= (data->maximum).sFlt) ==> 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:Utilities.isCriticalDataInRange.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].typ:CRITICAL_DATA_TYPE_F32
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].minimum.sFlt:<<MIN>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].maximum.sFlt:<<MAX>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].data.sFlt:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_b_TF
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataInRange
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:13 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (1) if ((CRITICAL_DATA_TYPE_F32) == data->typ) ==> TRUE
      (2) if ((data->data).sFlt >= (data->minimum).sFlt && (data->data).sFlt <= (data->maximum).sFlt) ==> 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:Utilities.isCriticalDataInRange.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].typ:CRITICAL_DATA_TYPE_F32
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].minimum.sFlt:<<MIN>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].data.sFlt:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_3_PAIR_a_FT
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataInRange
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:11 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if ((CRITICAL_DATA_TYPE_F32) == data->typ) ==> TRUE
      (2) if ((data->data).sFlt >= (data->minimum).sFlt && (data->data).sFlt <= (data->maximum).sFlt) ==> 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:Utilities.isCriticalDataInRange.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].typ:CRITICAL_DATA_TYPE_F32
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].minimum.sFlt:<<MAX>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].data.sFlt:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataInRange
TEST.NEW
TEST.NAME:COND_3_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 ((CRITICAL_DATA_TYPE_F32) == data->typ) ==> FALSE
      (3) if ((CRITICAL_DATA_TYPE_S32) == data->typ) ==> 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.VALUE:Utilities.isCriticalDataInRange.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].typ:CRITICAL_DATA_TYPE_S32
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataInRange
TEST.NEW
TEST.NAME:COND_3_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 ((CRITICAL_DATA_TYPE_F32) == data->typ) ==> FALSE
      (3) if ((CRITICAL_DATA_TYPE_S32) == data->typ) ==> 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.VALUE:Utilities.isCriticalDataInRange.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].typ:CRITICAL_DATA_TYPE_U32
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_TT
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataInRange
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:9 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((CRITICAL_DATA_TYPE_F32) == data->typ) ==> FALSE
      (3) if ((CRITICAL_DATA_TYPE_S32) == data->typ) ==> TRUE
      (4) if ((data->data).sInt >= (data->minimum).sInt && (data->data).sInt <= (data->maximum).sInt) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #4, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Utilities.isCriticalDataInRange.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].typ:CRITICAL_DATA_TYPE_S32
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].minimum.sInt:<<MIN>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].maximum.sInt:<<MAX>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].data.sInt:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_b_TF
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataInRange
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:10 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if ((CRITICAL_DATA_TYPE_F32) == data->typ) ==> FALSE
      (3) if ((CRITICAL_DATA_TYPE_S32) == data->typ) ==> TRUE
      (4) if ((data->data).sInt >= (data->minimum).sInt && (data->data).sInt <= (data->maximum).sInt) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Utilities.isCriticalDataInRange.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].typ:CRITICAL_DATA_TYPE_S32
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].minimum.sInt:<<MIN>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].data.sInt:<<MAX>>
TEST.END

-- Test Case: COND_4_ROW_3_PAIR_a_FT
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataInRange
TEST.NEW
TEST.NAME:COND_4_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:8 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((CRITICAL_DATA_TYPE_F32) == data->typ) ==> FALSE
      (3) if ((CRITICAL_DATA_TYPE_S32) == data->typ) ==> TRUE
      (4) if ((data->data).sInt >= (data->minimum).sInt && (data->data).sInt <= (data->maximum).sInt) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Utilities.isCriticalDataInRange.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].typ:CRITICAL_DATA_TYPE_S32
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].minimum.sInt:<<MAX>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].data.sInt:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_TT
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataInRange
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:6 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((CRITICAL_DATA_TYPE_F32) == data->typ) ==> FALSE
      (3) if ((CRITICAL_DATA_TYPE_S32) == data->typ) ==> FALSE
      (5) if ((data->data).uInt >= (data->minimum).uInt && (data->data).uInt <= (data->maximum).uInt) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #5, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Utilities.isCriticalDataInRange.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].typ:CRITICAL_DATA_TYPE_U32
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].minimum.uInt:<<MIN>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].maximum.uInt:<<MAX>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].data.uInt:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_b_TF
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataInRange
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:7 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((CRITICAL_DATA_TYPE_F32) == data->typ) ==> FALSE
      (3) if ((CRITICAL_DATA_TYPE_S32) == data->typ) ==> FALSE
      (5) if ((data->data).uInt >= (data->minimum).uInt && (data->data).uInt <= (data->maximum).uInt) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Utilities.isCriticalDataInRange.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].typ:CRITICAL_DATA_TYPE_U32
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].minimum.uInt:<<MIN>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].data.uInt:<<MAX>>
TEST.END

-- Test Case: COND_5_ROW_3_PAIR_a_FT
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataInRange
TEST.NEW
TEST.NAME:COND_5_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:5 of 13
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((CRITICAL_DATA_TYPE_F32) == data->typ) ==> FALSE
      (3) if ((CRITICAL_DATA_TYPE_S32) == data->typ) ==> FALSE
      (5) if ((data->data).uInt >= (data->minimum).uInt && (data->data).uInt <= (data->maximum).uInt) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Utilities.isCriticalDataInRange.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].typ:CRITICAL_DATA_TYPE_U32
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].minimum.uInt:<<MAX>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].data.uInt:<<MIN>>
TEST.END

-- Test Case: isCriticalDataInRange_F32_InRange
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataInRange
TEST.NEW
TEST.NAME:isCriticalDataInRange_F32_InRange
TEST.VALUE:Utilities.isCriticalDataInRange.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].typ:CRITICAL_DATA_TYPE_F32
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].minimum.sFlt:-6.0
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].maximum.sFlt:6.0
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].data.sFlt:5.0
TEST.EXPECTED:Utilities.isCriticalDataInRange.return:1
TEST.END

-- Test Case: isCriticalDataInRange_F32_OutOfRange_High
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataInRange
TEST.NEW
TEST.NAME:isCriticalDataInRange_F32_OutOfRange_High
TEST.VALUE:Utilities.isCriticalDataInRange.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].typ:CRITICAL_DATA_TYPE_F32
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].minimum.sFlt:-6.0
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].maximum.sFlt:6.0
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].data.sFlt:7.0
TEST.EXPECTED:Utilities.isCriticalDataInRange.return:0
TEST.END

-- Test Case: isCriticalDataInRange_F32_OutOfRange_Low
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataInRange
TEST.NEW
TEST.NAME:isCriticalDataInRange_F32_OutOfRange_Low
TEST.VALUE:Utilities.isCriticalDataInRange.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].typ:CRITICAL_DATA_TYPE_F32
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].minimum.sFlt:-6.0
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].maximum.sFlt:6.0
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].data.sFlt:-7.0
TEST.EXPECTED:Utilities.isCriticalDataInRange.return:0
TEST.END

-- Test Case: isCriticalDataInRange_S32_InRange
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataInRange
TEST.NEW
TEST.NAME:isCriticalDataInRange_S32_InRange
TEST.VALUE:Utilities.isCriticalDataInRange.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].typ:CRITICAL_DATA_TYPE_S32
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].minimum.sInt:-6
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].maximum.sInt:6
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].data.sInt:5
TEST.EXPECTED:Utilities.isCriticalDataInRange.return:1
TEST.END

-- Test Case: isCriticalDataInRange_S32_OutOfRange_High
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataInRange
TEST.NEW
TEST.NAME:isCriticalDataInRange_S32_OutOfRange_High
TEST.VALUE:Utilities.isCriticalDataInRange.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].typ:CRITICAL_DATA_TYPE_S32
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].minimum.sInt:-6
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].maximum.sInt:6
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].data.sInt:7
TEST.EXPECTED:Utilities.isCriticalDataInRange.return:0
TEST.END

-- Test Case: isCriticalDataInRange_S32_OutOfRange_Low
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataInRange
TEST.NEW
TEST.NAME:isCriticalDataInRange_S32_OutOfRange_Low
TEST.VALUE:Utilities.isCriticalDataInRange.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].typ:CRITICAL_DATA_TYPE_S32
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].minimum.sInt:-6
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].maximum.sInt:6
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].data.sInt:-7
TEST.EXPECTED:Utilities.isCriticalDataInRange.return:0
TEST.END

-- Test Case: isCriticalDataInRange_U32_InRange
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataInRange
TEST.NEW
TEST.NAME:isCriticalDataInRange_U32_InRange
TEST.VALUE:Utilities.isCriticalDataInRange.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].typ:CRITICAL_DATA_TYPE_U32
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].minimum.uInt:0
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].maximum.uInt:6
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].data.uInt:5
TEST.EXPECTED:Utilities.isCriticalDataInRange.return:1
TEST.END

-- Test Case: isCriticalDataInRange_U32_OutOfRange_High
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataInRange
TEST.NEW
TEST.NAME:isCriticalDataInRange_U32_OutOfRange_High
TEST.VALUE:Utilities.isCriticalDataInRange.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].typ:CRITICAL_DATA_TYPE_U32
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].minimum.uInt:0
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].maximum.uInt:6
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].data.uInt:7
TEST.EXPECTED:Utilities.isCriticalDataInRange.return:0
TEST.END

-- Test Case: isCriticalDataInRange_U32_OutOfRange_Low
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataInRange
TEST.NEW
TEST.NAME:isCriticalDataInRange_U32_OutOfRange_Low
TEST.VALUE:Utilities.isCriticalDataInRange.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].typ:CRITICAL_DATA_TYPE_U32
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].minimum.uInt:2
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].maximum.uInt:6
TEST.VALUE:Utilities.isCriticalDataInRange.data[0].data.uInt:1
TEST.EXPECTED:Utilities.isCriticalDataInRange.return:0
TEST.END

-- Subprogram: resetCriticalData

-- Test Case: resetCriticalData_NominalPath
TEST.UNIT:Utilities
TEST.SUBPROGRAM:resetCriticalData
TEST.NEW
TEST.NAME:resetCriticalData_NominalPath
TEST.VALUE:Utilities.resetCriticalData.data:<<malloc 1>>
TEST.VALUE:Utilities.resetCriticalData.data[0].typ:CRITICAL_DATA_TYPE_U32
TEST.VALUE:Utilities.resetCriticalData.data[0].data.uInt:5
TEST.VALUE:Utilities.resetCriticalData.data[0].comp:0xFFFFFFFA
TEST.VALUE:Utilities.resetCriticalData.data[0].set:1
TEST.EXPECTED:Utilities.resetCriticalData.data[0].typ:CRITICAL_DATA_TYPE_U32
TEST.EXPECTED:Utilities.resetCriticalData.data[0].data.uInt:0
TEST.EXPECTED:Utilities.resetCriticalData.data[0].comp:0xFFFFFFFF
TEST.EXPECTED:Utilities.resetCriticalData.data[0].set:0
TEST.END

-- Subprogram: setCriticalData

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Utilities
TEST.SUBPROGRAM:setCriticalData
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (data->typ < (NUM_OF_CRITICAL_DATA_TYPES)) ==> 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:Utilities.setCriticalData.data:<<malloc 1>>
TEST.VALUE:Utilities.setCriticalData.data[0].typ:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Utilities
TEST.SUBPROGRAM:setCriticalData
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (data->typ < (NUM_OF_CRITICAL_DATA_TYPES)) ==> 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:Utilities.setCriticalData.data:<<malloc 1>>
TEST.VALUE:Utilities.setCriticalData.data[0].typ:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:Utilities
TEST.SUBPROGRAM:setCriticalData
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (data->typ < (NUM_OF_CRITICAL_DATA_TYPES)) ==> TRUE
      (2) if ((1) == isCriticalDataInRange(&tmp)) ==> 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:Utilities.isCriticalDataInRange
TEST.VALUE:Utilities.isCriticalDataInRange.return:1
TEST.VALUE:Utilities.setCriticalData.data:<<malloc 1>>
TEST.VALUE:Utilities.setCriticalData.data[0].typ:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:Utilities
TEST.SUBPROGRAM:setCriticalData
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (data->typ < (NUM_OF_CRITICAL_DATA_TYPES)) ==> TRUE
      (2) if ((1) == isCriticalDataInRange(&tmp)) ==> 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:Utilities.isCriticalDataInRange
TEST.VALUE:Utilities.isCriticalDataInRange.return:<<MIN>>
TEST.VALUE:Utilities.setCriticalData.data:<<malloc 1>>
TEST.VALUE:Utilities.setCriticalData.data[0].typ:<<MIN>>
TEST.END

-- Test Case: setCriticalData_InvalidDataType
TEST.UNIT:Utilities
TEST.SUBPROGRAM:setCriticalData
TEST.NEW
TEST.NAME:setCriticalData_InvalidDataType
TEST.VALUE:Utilities.setCriticalData.data:<<malloc 1>>
TEST.VALUE:Utilities.setCriticalData.data[0].typ:NUM_OF_CRITICAL_DATA_TYPES
TEST.VALUE:Utilities.setCriticalData.data[0].set:0
TEST.VALUE:Utilities.setCriticalData.value.uInt:0x40B33333
TEST.EXPECTED:Utilities.setCriticalData.data[0].typ:NUM_OF_CRITICAL_DATA_TYPES
TEST.EXPECTED:Utilities.setCriticalData.data[0].set:0
TEST.EXPECTED:Utilities.setCriticalData.return:0
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_CRITICAL_DATA_ERROR
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:1
TEST.END

-- Test Case: setCriticalData_NominalPath
TEST.UNIT:Utilities
TEST.SUBPROGRAM:setCriticalData
TEST.NEW
TEST.NAME:setCriticalData_NominalPath
TEST.VALUE:Utilities.setCriticalData.data:<<malloc 1>>
TEST.VALUE:Utilities.setCriticalData.data[0].typ:CRITICAL_DATA_TYPE_F32
TEST.VALUE:Utilities.setCriticalData.data[0].minimum.uInt:0
TEST.VALUE:Utilities.setCriticalData.data[0].maximum.uInt:0x20000000
TEST.VALUE:Utilities.setCriticalData.data[0].set:0
TEST.VALUE:Utilities.setCriticalData.value.uInt:0x12345678
TEST.EXPECTED:Utilities.setCriticalData.data[0].typ:CRITICAL_DATA_TYPE_F32
TEST.EXPECTED:Utilities.setCriticalData.data[0].data.uInt:0x12345678
TEST.EXPECTED:Utilities.setCriticalData.data[0].comp:0xEDCBA987
TEST.EXPECTED:Utilities.setCriticalData.data[0].set:1
TEST.EXPECTED:Utilities.setCriticalData.return:1
TEST.END

-- Test Case: setCriticalData_OutOfRange_High
TEST.UNIT:Utilities
TEST.SUBPROGRAM:setCriticalData
TEST.NEW
TEST.NAME:setCriticalData_OutOfRange_High
TEST.VALUE:Utilities.setCriticalData.data:<<malloc 1>>
TEST.VALUE:Utilities.setCriticalData.data[0].typ:CRITICAL_DATA_TYPE_U32
TEST.VALUE:Utilities.setCriticalData.data[0].minimum.uInt:0x0
TEST.VALUE:Utilities.setCriticalData.data[0].maximum.uInt:0x40000000
TEST.VALUE:Utilities.setCriticalData.data[0].set:0
TEST.VALUE:Utilities.setCriticalData.value.uInt:0x40B33333
TEST.EXPECTED:Utilities.setCriticalData.data[0].set:0
TEST.EXPECTED:Utilities.setCriticalData.return:0
TEST.END

-- Test Case: setCriticalData_OutOfRange_Low
TEST.UNIT:Utilities
TEST.SUBPROGRAM:setCriticalData
TEST.NEW
TEST.NAME:setCriticalData_OutOfRange_Low
TEST.VALUE:Utilities.setCriticalData.data:<<malloc 1>>
TEST.VALUE:Utilities.setCriticalData.data[0].typ:CRITICAL_DATA_TYPE_U32
TEST.VALUE:Utilities.setCriticalData.data[0].minimum.uInt:0x41000000
TEST.VALUE:Utilities.setCriticalData.data[0].maximum.uInt:0x60000000
TEST.VALUE:Utilities.setCriticalData.data[0].set:0
TEST.VALUE:Utilities.setCriticalData.value.uInt:0x40B33333
TEST.EXPECTED:Utilities.setCriticalData.data[0].set:0
TEST.EXPECTED:Utilities.setCriticalData.return:0
TEST.END

-- Subprogram: u16BiDiffWithWrap

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Utilities
TEST.SUBPROGRAM:u16BiDiffWithWrap
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) (end >= start) ==> 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:Utilities.u16BiDiffWithWrap.start:<<MIN>>
TEST.VALUE:Utilities.u16BiDiffWithWrap.end:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Utilities
TEST.SUBPROGRAM:u16BiDiffWithWrap
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) (end >= start) ==> 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:Utilities.u16BiDiffWithWrap.start:<<MAX>>
TEST.VALUE:Utilities.u16BiDiffWithWrap.end:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Utilities
TEST.SUBPROGRAM:u16BiDiffWithWrap
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (2) if (incDelta < decDelta) ==> 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 incDelta in branch 2
      Cannot set local variable decDelta in branch 2
TEST.END_NOTES:
TEST.VALUE:Utilities.u16BiDiffWithWrap.start:<<MIN>>
TEST.VALUE:Utilities.u16BiDiffWithWrap.end:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Utilities
TEST.SUBPROGRAM:u16BiDiffWithWrap
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (2) if (incDelta < decDelta) ==> 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 incDelta in branch 2
      Cannot set local variable decDelta in branch 2
TEST.END_NOTES:
TEST.VALUE:Utilities.u16BiDiffWithWrap.start:<<MIN>>
TEST.VALUE:Utilities.u16BiDiffWithWrap.end:<<MIN>>
TEST.END

-- Subprogram: u16DiffWithWrap

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Utilities
TEST.SUBPROGRAM:u16DiffWithWrap
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) (end >= start) ==> 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:Utilities.u16DiffWithWrap.start:<<MIN>>
TEST.VALUE:Utilities.u16DiffWithWrap.end:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Utilities
TEST.SUBPROGRAM:u16DiffWithWrap
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) (end >= start) ==> 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:Utilities.u16DiffWithWrap.start:<<MAX>>
TEST.VALUE:Utilities.u16DiffWithWrap.end:<<MIN>>
TEST.END

-- Subprogram: u32BiDiffWithWrap

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Utilities
TEST.SUBPROGRAM:u32BiDiffWithWrap
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) (end >= start) ==> 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:Utilities.u32BiDiffWithWrap.start:<<MIN>>
TEST.VALUE:Utilities.u32BiDiffWithWrap.end:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Utilities
TEST.SUBPROGRAM:u32BiDiffWithWrap
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) (end >= start) ==> 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:Utilities.u32BiDiffWithWrap.start:<<MAX>>
TEST.VALUE:Utilities.u32BiDiffWithWrap.end:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Utilities
TEST.SUBPROGRAM:u32BiDiffWithWrap
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (2) if (incDelta < decDelta) ==> 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 incDelta in branch 2
      Cannot set local variable decDelta in branch 2
TEST.END_NOTES:
TEST.VALUE:Utilities.u32BiDiffWithWrap.start:<<MIN>>
TEST.VALUE:Utilities.u32BiDiffWithWrap.end:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Utilities
TEST.SUBPROGRAM:u32BiDiffWithWrap
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (2) if (incDelta < decDelta) ==> 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 incDelta in branch 2
      Cannot set local variable decDelta in branch 2
TEST.END_NOTES:
TEST.VALUE:Utilities.u32BiDiffWithWrap.start:<<MIN>>
TEST.VALUE:Utilities.u32BiDiffWithWrap.end:<<MIN>>
TEST.END

-- Subprogram: u32DiffWithWrap

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Utilities
TEST.SUBPROGRAM:u32DiffWithWrap
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) (end >= start) ==> 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:Utilities.u32DiffWithWrap.start:<<MIN>>
TEST.VALUE:Utilities.u32DiffWithWrap.end:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Utilities
TEST.SUBPROGRAM:u32DiffWithWrap
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) (end >= start) ==> 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:Utilities.u32DiffWithWrap.start:<<MAX>>
TEST.VALUE:Utilities.u32DiffWithWrap.end:<<MIN>>
TEST.END

-- Test Case: u32DiffWithWrap_NominalPath
TEST.UNIT:Utilities
TEST.SUBPROGRAM:u32DiffWithWrap
TEST.NEW
TEST.NAME:u32DiffWithWrap_NominalPath
TEST.VALUE:Utilities.u32DiffWithWrap.start:1000000
TEST.VALUE:Utilities.u32DiffWithWrap.end:1100000
TEST.EXPECTED:Utilities.u32DiffWithWrap.return:100000
TEST.END

-- Test Case: u32DiffWithWrap_Wrap
TEST.UNIT:Utilities
TEST.SUBPROGRAM:u32DiffWithWrap
TEST.NEW
TEST.NAME:u32DiffWithWrap_Wrap
TEST.VALUE:Utilities.u32DiffWithWrap.start:0xFFFFFF00
TEST.VALUE:Utilities.u32DiffWithWrap.end:0x100
TEST.EXPECTED:Utilities.u32DiffWithWrap.return:0x200
TEST.END