-- 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: 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: crc32.001
TEST.UNIT:Utilities
TEST.SUBPROGRAM:crc32
TEST.NEW
TEST.NAME:crc32.001
TEST.VALUE:Utilities.crc32.initialValue:0
TEST.VALUE:Utilities.crc32.address:<<malloc 5>>
TEST.VALUE:Utilities.crc32.address:"xxxx"
TEST.VALUE:Utilities.crc32.len:4
TEST.VALUE:Utilities.crc32.return:0
TEST.EXPECTED:Utilities.crc32.initialValue:0
TEST.EXPECTED:Utilities.crc32.return:1299642540
TEST.END

-- Subprogram: crc4

-- Test Case: crc4.001
TEST.UNIT:Utilities
TEST.SUBPROGRAM:crc4
TEST.NEW
TEST.NAME:crc4.001
TEST.BASIS_PATH:1 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (count < byteCount) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Utilities.crc4.buffer:<<malloc 1>>
TEST.VALUE:Utilities.crc4.byteCount:0
TEST.EXPECTED:Utilities.crc4.byteCount:0
TEST.EXPECTED:Utilities.crc4.return:0
TEST.END

-- Test Case: crc4.002
TEST.UNIT:Utilities
TEST.SUBPROGRAM:crc4
TEST.NEW
TEST.NAME:crc4.002
TEST.BASIS_PATH:2 of 5 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (count < byteCount) ==> TRUE
      (2) if ((1) == count % (2)) ==> FALSE
      (3) for (nBit > 0) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.VALUE:Utilities.crc4.buffer:<<malloc 1>>
TEST.VALUE:Utilities.crc4.byteCount:1
TEST.EXPECTED:Utilities.crc4.byteCount:1
TEST.EXPECTED:Utilities.crc4.return:0
TEST.END

-- Subprogram: crc8

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

-- Test Case: getSemaphore.001
TEST.UNIT:Utilities
TEST.SUBPROGRAM:getSemaphore
TEST.NEW
TEST.NAME:getSemaphore.001
TEST.BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((0) == (sempahoreStatus[s]).isSemaphoreTaken) ==> FALSE
      (2) if ((1) == didTimeout((sempahoreStatus[s]).semaphoreStartTimeMS, 10 * 1000)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Utilities.<<GLOBAL>>.sempahoreStatus[SEMAPHORE_RTC].isSemaphoreTaken:1
TEST.VALUE:Utilities.getSemaphore.s:SEMAPHORE_RTC
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.EXPECTED:Utilities.<<GLOBAL>>.sempahoreStatus[SEMAPHORE_RTC].isSemaphoreTaken:1
TEST.EXPECTED:Utilities.getSemaphore.s:SEMAPHORE_RTC
TEST.EXPECTED:Utilities.getSemaphore.return:0
TEST.END

-- Test Case: getSemaphore.002
TEST.UNIT:Utilities
TEST.SUBPROGRAM:getSemaphore
TEST.NEW
TEST.NAME:getSemaphore.002
TEST.BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((0) == (sempahoreStatus[s]).isSemaphoreTaken) ==> FALSE
      (2) if ((1) == didTimeout((sempahoreStatus[s]).semaphoreStartTimeMS, 10 * 1000)) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Utilities.<<GLOBAL>>.sempahoreStatus[SEMAPHORE_RTC].isSemaphoreTaken:1
TEST.VALUE:Utilities.getSemaphore.s:SEMAPHORE_RTC
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Utilities.getSemaphore.return:0
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:140
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0
TEST.END

-- Test Case: getSemaphore.003
TEST.UNIT:Utilities
TEST.SUBPROGRAM:getSemaphore
TEST.NEW
TEST.NAME:getSemaphore.003
TEST.BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((0) == (sempahoreStatus[s]).isSemaphoreTaken) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Utilities.<<GLOBAL>>.sempahoreStatus[SEMAPHORE_RTC].semaphoreStartTimeMS:1
TEST.VALUE:Utilities.<<GLOBAL>>.sempahoreStatus[SEMAPHORE_RTC].isSemaphoreTaken:0
TEST.VALUE:Utilities.getSemaphore.s:SEMAPHORE_RTC
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0
TEST.EXPECTED:Utilities.<<GLOBAL>>.sempahoreStatus[SEMAPHORE_RTC].semaphoreStartTimeMS:0
TEST.EXPECTED:Utilities.<<GLOBAL>>.sempahoreStatus[SEMAPHORE_RTC].isSemaphoreTaken:1
TEST.EXPECTED:Utilities.getSemaphore.return:1
TEST.END

-- Subprogram: hexStrToDec

-- Test Case: hexStrToDec.001
TEST.UNIT:Utilities
TEST.SUBPROGRAM:hexStrToDec
TEST.NEW
TEST.NAME:hexStrToDec.001
TEST.BASIS_PATH:1 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (size <= 8) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Utilities.hexStrToDec.valuePtr:<<malloc 1>>
TEST.VALUE:Utilities.hexStrToDec.convValuePtr:<<malloc 1>>
TEST.VALUE:Utilities.hexStrToDec.size:<<MAX>>
TEST.EXPECTED:Utilities.hexStrToDec.size:255
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.END

-- Subprogram: incTimeWindowedCount

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

-- Test Case: initSemaphores.001
TEST.UNIT:Utilities
TEST.SUBPROGRAM:initSemaphores
TEST.NEW
TEST.NAME:initSemaphores.001
TEST.BASIS_PATH:1 of 2 (template)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (i < (NUM_OF_SEMAPHORES)) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.EXPECTED:Utilities.<<GLOBAL>>.sempahoreStatus[SEMAPHORE_RTC].semaphoreStartTimeMS:0
TEST.EXPECTED:Utilities.<<GLOBAL>>.sempahoreStatus[SEMAPHORE_RTC].isSemaphoreTaken:0
TEST.END

-- Subprogram: initTimeWindowedCount

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

-- Test Case: isCriticalDataSet.001
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataSet
TEST.NEW
TEST.NAME:isCriticalDataSet.001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (d.set != (0)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Utilities.isCriticalDataSet.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataSet.data[0].set:0
TEST.EXPECTED:Utilities.isCriticalDataSet.data[0].set:0
TEST.END

-- Test Case: isCriticalDataSet.002
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isCriticalDataSet
TEST.NEW
TEST.NAME:isCriticalDataSet.002
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (d.set != (0)) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Utilities.isCriticalDataSet.data:<<malloc 1>>
TEST.VALUE:Utilities.isCriticalDataSet.data[0].set:1
TEST.EXPECTED:Utilities.isCriticalDataSet.data[0].set:1
TEST.END

-- Subprogram: isSemaphoreReleased

-- Test Case: isSemaphoreReleased.001
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isSemaphoreReleased
TEST.NEW
TEST.NAME:isSemaphoreReleased.001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == (sempahoreStatus[s]).isSemaphoreTaken) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Utilities.<<GLOBAL>>.sempahoreStatus[SEMAPHORE_RTC].isSemaphoreTaken:<<MIN>>
TEST.VALUE:Utilities.isSemaphoreReleased.s:SEMAPHORE_RTC
TEST.EXPECTED:Utilities.<<GLOBAL>>.sempahoreStatus[SEMAPHORE_RTC].isSemaphoreTaken:0
TEST.EXPECTED:Utilities.isSemaphoreReleased.s:SEMAPHORE_RTC
TEST.END

-- Test Case: isSemaphoreReleased.002
TEST.UNIT:Utilities
TEST.SUBPROGRAM:isSemaphoreReleased
TEST.NEW
TEST.NAME:isSemaphoreReleased.002
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == (sempahoreStatus[s]).isSemaphoreTaken) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Utilities.<<GLOBAL>>.sempahoreStatus[SEMAPHORE_RTC].isSemaphoreTaken:1
TEST.VALUE:Utilities.isSemaphoreReleased.s:SEMAPHORE_RTC
TEST.EXPECTED:Utilities.<<GLOBAL>>.sempahoreStatus[SEMAPHORE_RTC].isSemaphoreTaken:1
TEST.EXPECTED:Utilities.isSemaphoreReleased.s:SEMAPHORE_RTC
TEST.END

-- Subprogram: releaseSemaphore

-- Test Case: releaseSemaphore.001
TEST.UNIT:Utilities
TEST.SUBPROGRAM:releaseSemaphore
TEST.NEW
TEST.NAME:releaseSemaphore.001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == (sempahoreStatus[s]).isSemaphoreTaken) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Utilities.<<GLOBAL>>.sempahoreStatus[SEMAPHORE_RTC].isSemaphoreTaken:<<MIN>>
TEST.VALUE:Utilities.releaseSemaphore.s:SEMAPHORE_RTC
TEST.EXPECTED:Utilities.<<GLOBAL>>.sempahoreStatus[SEMAPHORE_RTC].isSemaphoreTaken:0
TEST.EXPECTED:Utilities.releaseSemaphore.s:SEMAPHORE_RTC
TEST.END

-- Test Case: releaseSemaphore.002
TEST.UNIT:Utilities
TEST.SUBPROGRAM:releaseSemaphore
TEST.NEW
TEST.NAME:releaseSemaphore.002
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == (sempahoreStatus[s]).isSemaphoreTaken) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Utilities.<<GLOBAL>>.sempahoreStatus[SEMAPHORE_RTC].isSemaphoreTaken:1
TEST.VALUE:Utilities.releaseSemaphore.s:SEMAPHORE_RTC
TEST.EXPECTED:Utilities.<<GLOBAL>>.sempahoreStatus[SEMAPHORE_RTC].isSemaphoreTaken:0
TEST.EXPECTED:Utilities.releaseSemaphore.s:SEMAPHORE_RTC
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: 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: u16BiDiffWithWrap.001
TEST.UNIT:Utilities
TEST.SUBPROGRAM:u16BiDiffWithWrap
TEST.NEW
TEST.NAME:u16BiDiffWithWrap.001
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.VALUE:Utilities.u16BiDiffWithWrap.return:-1
TEST.EXPECTED:Utilities.u16BiDiffWithWrap.return:-1
TEST.END

-- Test Case: u16BiDiffWithWrap.002
TEST.UNIT:Utilities
TEST.SUBPROGRAM:u16BiDiffWithWrap
TEST.NEW
TEST.NAME:u16BiDiffWithWrap.002
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.VALUE:Utilities.u16BiDiffWithWrap.return:1
TEST.EXPECTED:Utilities.u16BiDiffWithWrap.return:1
TEST.END

-- Subprogram: u16DiffWithWrap

-- Test Case: u16DiffWithWrap.001
TEST.UNIT:Utilities
TEST.SUBPROGRAM:u16DiffWithWrap
TEST.NEW
TEST.NAME:u16DiffWithWrap.001
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.VALUE:Utilities.u16DiffWithWrap.return:65535
TEST.EXPECTED:Utilities.u16DiffWithWrap.return:65535
TEST.END

-- Test Case: u16DiffWithWrap.002
TEST.UNIT:Utilities
TEST.SUBPROGRAM:u16DiffWithWrap
TEST.NEW
TEST.NAME:u16DiffWithWrap.002
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.VALUE:Utilities.u16DiffWithWrap.return:1
TEST.EXPECTED:Utilities.u16DiffWithWrap.return:1
TEST.END

-- Subprogram: u32BiDiffWithWrap

-- Test Case: u32BiDiffWithWrap.001
TEST.UNIT:Utilities
TEST.SUBPROGRAM:u32BiDiffWithWrap
TEST.NEW
TEST.NAME:u32BiDiffWithWrap.001
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.VALUE:Utilities.u32BiDiffWithWrap.return:-1
TEST.EXPECTED:Utilities.u32BiDiffWithWrap.return:-1
TEST.END

-- Test Case: u32BiDiffWithWrap.002
TEST.UNIT:Utilities
TEST.SUBPROGRAM:u32BiDiffWithWrap
TEST.NEW
TEST.NAME:u32BiDiffWithWrap.002
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.VALUE:Utilities.u32BiDiffWithWrap.return:1
TEST.EXPECTED:Utilities.u32BiDiffWithWrap.return:1
TEST.END

-- Subprogram: u32DiffWithWrap

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