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

-- Subprogram: checkFPGAPersistentAlarms

-- Test Case: checkFPGAPersistentAlarms.001
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:checkFPGAPersistentAlarms
TEST.NEW
TEST.NAME:checkFPGAPersistentAlarms.001
TEST.IMPORT_FAILURES:
(E) @LINE: 33 TEST.VALUE:PersistentAlarm.checkFPGAPersistentAlarms.errorCount:<<MIN>>
    >>> Unknown parameter/object name errorCount
    >>> Value Line Error - Command Ignored
(E) @LINE: 36 TEST.EXPECTED:PersistentAlarm.checkFPGAPersistentAlarms.errorCount:0
    >>> Unknown parameter/object name errorCount
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.BASIS_PATH:1 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (group < (NUM_OF_FPGA_SENSOR_GROUPS)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:PersistentAlarm.checkFPGAPersistentAlarms.group:<<MAX>>
TEST.VALUE:PersistentAlarm.checkFPGAPersistentAlarms.readCount:<<MIN>>
TEST.EXPECTED:PersistentAlarm.checkFPGAPersistentAlarms.group:NUM_OF_FPGA_SENSOR_GROUPS
TEST.EXPECTED:PersistentAlarm.checkFPGAPersistentAlarms.readCount:0
TEST.END

-- Test Case: checkFPGAPersistentAlarms.002
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:checkFPGAPersistentAlarms
TEST.NEW
TEST.NAME:checkFPGAPersistentAlarms.002
TEST.IMPORT_FAILURES:
(E) @LINE: 63 TEST.VALUE:PersistentAlarm.checkFPGAPersistentAlarms.errorCount:<<MIN>>
    >>> Unknown parameter/object name errorCount
    >>> Value Line Error - Command Ignored
(E) @LINE: 65 TEST.EXPECTED:PersistentAlarm.checkFPGAPersistentAlarms.errorCount:0
    >>> Unknown parameter/object name errorCount
    >>> Value Line Error - Command Ignored
(E) Errors from previous script import(s)
    >>> (E) @LINE: 58 TEST.EXPECTED:PersistentAlarm.checkFPGAPersistentAlarms.group:PLACE_HOLDER
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "PLACE_HOLDER"
    >>>     >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.BASIS_PATH:2 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (group < (NUM_OF_FPGA_SENSOR_GROUPS)) ==> TRUE
      (2) if ((1) == isReadPersTrgrd) ==> FALSE
      (3) if ((1) == isErroPersTrgrd) ==> FALSE
      (4) if ((1) == isReadPersTrgrd || (1) == isErroPersTrgrd) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:PersistentAlarm.checkFPGAPersistentAlarms.group:<<MIN>>
TEST.VALUE:PersistentAlarm.checkFPGAPersistentAlarms.readCount:<<MIN>>
TEST.EXPECTED:PersistentAlarm.checkFPGAPersistentAlarms.readCount:0
TEST.END

-- Test Case: checkFPGAPersistentAlarms.003
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:checkFPGAPersistentAlarms
TEST.NEW
TEST.NAME:checkFPGAPersistentAlarms.003
TEST.IMPORT_FAILURES:
(E) @LINE: 92 TEST.VALUE:PersistentAlarm.checkFPGAPersistentAlarms.errorCount:<<MIN>>
    >>> Unknown parameter/object name errorCount
    >>> Value Line Error - Command Ignored
(E) @LINE: 97 TEST.EXPECTED:PersistentAlarm.checkFPGAPersistentAlarms.errorCount:0
    >>> Unknown parameter/object name errorCount
    >>> Value Line Error - Command Ignored
(E) Errors from previous script import(s)
    >>> (E) @LINE: 84 TEST.EXPECTED:PersistentAlarm.checkFPGAPersistentAlarms.group:PLACE_HOLDER
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "PLACE_HOLDER"
    >>>     >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (group < (NUM_OF_FPGA_SENSOR_GROUPS)) ==> TRUE
      (2) if ((1) == isReadPersTrgrd) ==> FALSE
      (3) if ((1) == isErroPersTrgrd) ==> FALSE
      (4) if ((1) == isReadPersTrgrd || (1) == isErroPersTrgrd) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:PersistentAlarm.isFPGAPersistentAlarmTriggered
TEST.VALUE:PersistentAlarm.checkFPGAPersistentAlarms.group:<<MIN>>
TEST.VALUE:PersistentAlarm.checkFPGAPersistentAlarms.readCount:<<MIN>>
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.fpgaCount:0
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.errorType:FPGA_READ_ERROR
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.return:1
TEST.EXPECTED:PersistentAlarm.checkFPGAPersistentAlarms.group:FPGA_PERS_ERROR_OCCLUSION_PRESSURE_SENSOR
TEST.EXPECTED:PersistentAlarm.checkFPGAPersistentAlarms.readCount:0
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.fpgaCount:0
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.errorType:FPGA_READ_ERROR
TEST.END

-- Subprogram: checkFPGAPersistentErrorCountAlarm

-- Test Case: checkFPGAPersistentErrorCountAlarm.001
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:checkFPGAPersistentErrorCountAlarm
TEST.NEW
TEST.NAME:checkFPGAPersistentErrorCountAlarm.001
TEST.BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (group < (NUM_OF_FPGA_SENSOR_GROUPS)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:PersistentAlarm.checkFPGAPersistentErrorCountAlarm.group:<<MAX>>
TEST.VALUE:PersistentAlarm.checkFPGAPersistentErrorCountAlarm.errorCount:<<MIN>>
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:PersistentAlarm.checkFPGAPersistentErrorCountAlarm.group:NUM_OF_FPGA_SENSOR_GROUPS
TEST.EXPECTED:PersistentAlarm.checkFPGAPersistentErrorCountAlarm.errorCount: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:141
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:5
TEST.END

-- Test Case: checkFPGAPersistentErrorCountAlarm.002
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:checkFPGAPersistentErrorCountAlarm
TEST.NEW
TEST.NAME:checkFPGAPersistentErrorCountAlarm.002
TEST.BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (group < (NUM_OF_FPGA_SENSOR_GROUPS)) ==> TRUE
      (2) if ((1) == isErrorPersTrgrd) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:PersistentAlarm.checkFPGAPersistentErrorCountAlarm.group:<<MIN>>
TEST.VALUE:PersistentAlarm.checkFPGAPersistentErrorCountAlarm.errorCount:<<MIN>>
TEST.EXPECTED:PersistentAlarm.checkFPGAPersistentErrorCountAlarm.group:FPGA_PERS_ERROR_OCCLUSION_PRESSURE_SENSOR
TEST.EXPECTED:PersistentAlarm.checkFPGAPersistentErrorCountAlarm.errorCount:0
TEST.END

-- Test Case: checkFPGAPersistentErrorCountAlarm.003
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:checkFPGAPersistentErrorCountAlarm
TEST.NEW
TEST.NAME:checkFPGAPersistentErrorCountAlarm.003
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (group < (NUM_OF_FPGA_SENSOR_GROUPS)) ==> TRUE
      (2) if ((1) == isErrorPersTrgrd) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:PersistentAlarm.isFPGAPersistentAlarmTriggered
TEST.VALUE:PersistentAlarm.checkFPGAPersistentErrorCountAlarm.group:<<MIN>>
TEST.VALUE:PersistentAlarm.checkFPGAPersistentErrorCountAlarm.errorCount:<<MIN>>
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.return:1
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:PersistentAlarm.checkFPGAPersistentErrorCountAlarm.group:FPGA_PERS_ERROR_OCCLUSION_PRESSURE_SENSOR
TEST.EXPECTED:PersistentAlarm.checkFPGAPersistentErrorCountAlarm.errorCount:0
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup[0].fpgaAlarm:ALARM_ID_NO_ALARM
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup[0].fpgaPersistentClearPeriod:0
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup[0].fpgaPersistentTriggerPeriod:0
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.fpgaCount:0
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.errorType:FPGA_ERROR_ERROR
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_NO_ALARM
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:1
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: checkPersistentAlarm

-- Test Case: checkPersistentAlarm.001
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:checkPersistentAlarm
TEST.NEW
TEST.NAME:checkPersistentAlarm.001
TEST.BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isPersistentAlarmTriggered(alarm, isErrorOccured)) ==> FALSE
      (2) if ((1) == isPersistentAlarmConditionCleared(alarm, isErrorOccured)) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:PersistentAlarm.isPersistentAlarmTriggered
TEST.STUB:PersistentAlarm.isPersistentAlarmConditionCleared
TEST.VALUE:PersistentAlarm.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:PersistentAlarm.isPersistentAlarmConditionCleared.return:1
TEST.VALUE:PersistentAlarm.checkPersistentAlarm.alarm:<<MIN>>
TEST.VALUE:PersistentAlarm.checkPersistentAlarm.isErrorOccured:<<MIN>>
TEST.VALUE:PersistentAlarm.checkPersistentAlarm.data:<<MIN>>
TEST.VALUE:PersistentAlarm.checkPersistentAlarm.limit:<<MIN>>
TEST.EXPECTED:PersistentAlarm.checkPersistentAlarm.alarm:ALARM_ID_NO_ALARM
TEST.EXPECTED:PersistentAlarm.checkPersistentAlarm.isErrorOccured:0
TEST.EXPECTED:PersistentAlarm.checkPersistentAlarm.data:-3.40282E+38
TEST.EXPECTED:PersistentAlarm.checkPersistentAlarm.limit:-3.40282E+38
TEST.END

-- Test Case: checkPersistentAlarm.002
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:checkPersistentAlarm
TEST.NEW
TEST.NAME:checkPersistentAlarm.002
TEST.BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == isPersistentAlarmTriggered(alarm, isErrorOccured)) ==> TRUE
      (2) if ((1) == isPersistentAlarmConditionCleared(alarm, isErrorOccured)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:PersistentAlarm.isPersistentAlarmTriggered
TEST.STUB:PersistentAlarm.isPersistentAlarmConditionCleared
TEST.VALUE:PersistentAlarm.isPersistentAlarmTriggered.return:1
TEST.VALUE:PersistentAlarm.isPersistentAlarmConditionCleared.return:<<MIN>>
TEST.VALUE:PersistentAlarm.checkPersistentAlarm.alarm:<<MIN>>
TEST.VALUE:PersistentAlarm.checkPersistentAlarm.isErrorOccured:<<MIN>>
TEST.VALUE:PersistentAlarm.checkPersistentAlarm.data:<<MIN>>
TEST.VALUE:PersistentAlarm.checkPersistentAlarm.limit:<<MIN>>
TEST.EXPECTED:PersistentAlarm.checkPersistentAlarm.alarm:ALARM_ID_NO_ALARM
TEST.EXPECTED:PersistentAlarm.checkPersistentAlarm.isErrorOccured:0
TEST.EXPECTED:PersistentAlarm.checkPersistentAlarm.data:-3.40282E+38
TEST.EXPECTED:PersistentAlarm.checkPersistentAlarm.limit:-3.40282E+38
TEST.END

-- Subprogram: initFPGAPersistentAlarm

-- Test Case: initFPGAPersistentAlarm.001
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:initFPGAPersistentAlarm
TEST.NEW
TEST.NAME:initFPGAPersistentAlarm.001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (group < (NUM_OF_FPGA_SENSOR_GROUPS) && alarmIndex < (NUM_OF_ALARM_IDS)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:PersistentAlarm.initFPGAPersistentAlarm.group:<<MAX>>
TEST.VALUE:PersistentAlarm.initFPGAPersistentAlarm.alarmIndex:<<MAX>>
TEST.VALUE:PersistentAlarm.initFPGAPersistentAlarm.persistentClearPeriod:<<MIN>>
TEST.VALUE:PersistentAlarm.initFPGAPersistentAlarm.persistentTriggerPeriod:<<MIN>>
TEST.EXPECTED:PersistentAlarm.initFPGAPersistentAlarm.group:NUM_OF_FPGA_SENSOR_GROUPS
TEST.EXPECTED:PersistentAlarm.initFPGAPersistentAlarm.alarmIndex:NUM_OF_ALARM_IDS
TEST.EXPECTED:PersistentAlarm.initFPGAPersistentAlarm.persistentClearPeriod:0
TEST.EXPECTED:PersistentAlarm.initFPGAPersistentAlarm.persistentTriggerPeriod:0
TEST.END

-- Test Case: initFPGAPersistentAlarm.002
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:initFPGAPersistentAlarm
TEST.NEW
TEST.NAME:initFPGAPersistentAlarm.002
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 215 TEST.EXPECTED:PersistentAlarm.initFPGAPersistentAlarm.group:PLACE_HOLDER
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "PLACE_HOLDER"
    >>>     >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (group < (NUM_OF_FPGA_SENSOR_GROUPS) && alarmIndex < (NUM_OF_ALARM_IDS)) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:PersistentAlarm.initFPGAPersistentAlarm.group:<<MIN>>
TEST.VALUE:PersistentAlarm.initFPGAPersistentAlarm.alarmIndex:<<MIN>>
TEST.VALUE:PersistentAlarm.initFPGAPersistentAlarm.persistentClearPeriod:<<MIN>>
TEST.VALUE:PersistentAlarm.initFPGAPersistentAlarm.persistentTriggerPeriod:<<MIN>>
TEST.EXPECTED:PersistentAlarm.<<GLOBAL>>.fpgaPersistentAlarmGroup[FPGA_PERS_ERROR_OCCLUSION_PRESSURE_SENSOR].fpgaAlarm:ALARM_ID_NO_ALARM
TEST.EXPECTED:PersistentAlarm.<<GLOBAL>>.fpgaPersistentAlarmGroup[FPGA_PERS_ERROR_OCCLUSION_PRESSURE_SENSOR].fpgaPersistentClearPeriod:0
TEST.EXPECTED:PersistentAlarm.<<GLOBAL>>.fpgaPersistentAlarmGroup[FPGA_PERS_ERROR_OCCLUSION_PRESSURE_SENSOR].fpgaPersistentTriggerPeriod:0
TEST.EXPECTED:PersistentAlarm.<<GLOBAL>>.fpgaPersistentAlarmGroup[FPGA_PERS_ERROR_OCCLUSION_PRESSURE_SENSOR].fpgaAlarmData[FPGA_READ_ERROR].fpagErrorClearedStartTime:0
TEST.EXPECTED:PersistentAlarm.<<GLOBAL>>.fpgaPersistentAlarmGroup[FPGA_PERS_ERROR_OCCLUSION_PRESSURE_SENSOR].fpgaAlarmData[FPGA_READ_ERROR].fpgaErrorOccurredStartTime:0
TEST.EXPECTED:PersistentAlarm.<<GLOBAL>>.fpgaPersistentAlarmGroup[FPGA_PERS_ERROR_OCCLUSION_PRESSURE_SENSOR].fpgaAlarmData[FPGA_READ_ERROR].fpgaPreviousCount:0
TEST.EXPECTED:PersistentAlarm.<<GLOBAL>>.fpgaPersistentAlarmGroup[FPGA_PERS_ERROR_OCCLUSION_PRESSURE_SENSOR].fpgaAlarmData[FPGA_READ_ERROR].fpgaIsConditionClear:1
TEST.EXPECTED:PersistentAlarm.<<GLOBAL>>.fpgaPersistentAlarmGroup[FPGA_PERS_ERROR_OCCLUSION_PRESSURE_SENSOR].fpgaAlarmData[FPGA_ERROR_ERROR].fpagErrorClearedStartTime:0
TEST.EXPECTED:PersistentAlarm.<<GLOBAL>>.fpgaPersistentAlarmGroup[FPGA_PERS_ERROR_OCCLUSION_PRESSURE_SENSOR].fpgaAlarmData[FPGA_ERROR_ERROR].fpgaErrorOccurredStartTime:0
TEST.EXPECTED:PersistentAlarm.<<GLOBAL>>.fpgaPersistentAlarmGroup[FPGA_PERS_ERROR_OCCLUSION_PRESSURE_SENSOR].fpgaAlarmData[FPGA_ERROR_ERROR].fpgaPreviousCount:0
TEST.EXPECTED:PersistentAlarm.<<GLOBAL>>.fpgaPersistentAlarmGroup[FPGA_PERS_ERROR_OCCLUSION_PRESSURE_SENSOR].fpgaAlarmData[FPGA_ERROR_ERROR].fpgaIsConditionClear:1
TEST.EXPECTED:PersistentAlarm.initFPGAPersistentAlarm.group:FPGA_PERS_ERROR_OCCLUSION_PRESSURE_SENSOR
TEST.EXPECTED:PersistentAlarm.initFPGAPersistentAlarm.alarmIndex:ALARM_ID_NO_ALARM
TEST.EXPECTED:PersistentAlarm.initFPGAPersistentAlarm.persistentClearPeriod:0
TEST.EXPECTED:PersistentAlarm.initFPGAPersistentAlarm.persistentTriggerPeriod:0
TEST.END

-- Test Case: initFPGAPersistentAlarm.003
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:initFPGAPersistentAlarm
TEST.NEW
TEST.NAME:initFPGAPersistentAlarm.003
TEST.VALUE:PersistentAlarm.initFPGAPersistentAlarm.alarmIndex:<<MAX>>
TEST.EXPECTED:PersistentAlarm.initFPGAPersistentAlarm.alarmIndex:NUM_OF_ALARM_IDS
TEST.END

-- Subprogram: initPersistentAlarm

-- Test Case: initPersistentAlarm.001
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:initPersistentAlarm
TEST.NEW
TEST.NAME:initPersistentAlarm.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (alarmId < (NUM_OF_ALARM_IDS)) ==> 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:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].persistentClearPeriod:0
TEST.VALUE:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].persistentTriggerPeriod:0
TEST.VALUE:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].errorClearedStartTime:0
TEST.VALUE:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].errorOccurredStartTime:0
TEST.VALUE:PersistentAlarm.initPersistentAlarm.persistentClearPeriod:<<MIN>>
TEST.VALUE:PersistentAlarm.initPersistentAlarm.persistentTriggerPeriod:<<MIN>>
TEST.EXPECTED:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].persistentClearPeriod:0
TEST.EXPECTED:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].persistentTriggerPeriod:0
TEST.EXPECTED:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].errorClearedStartTime:0
TEST.EXPECTED:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].errorOccurredStartTime:0
TEST.END

-- Test Case: initPersistentAlarm.002
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:initPersistentAlarm
TEST.NEW
TEST.NAME:initPersistentAlarm.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (alarmId < (NUM_OF_ALARM_IDS)) ==> 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:PersistentAlarm.initPersistentAlarm.alarmId:<<MAX>>
TEST.VALUE:PersistentAlarm.initPersistentAlarm.persistentClearPeriod:<<MIN>>
TEST.VALUE:PersistentAlarm.initPersistentAlarm.persistentTriggerPeriod:<<MIN>>
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.alarmData1.data.uInt.data:82
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:289
TEST.EXPECTED:PersistentAlarm.initPersistentAlarm.alarmId:NUM_OF_ALARM_IDS
TEST.EXPECTED:PersistentAlarm.initPersistentAlarm.persistentClearPeriod:0
TEST.EXPECTED:PersistentAlarm.initPersistentAlarm.persistentTriggerPeriod: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:82
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:322
TEST.END

-- Subprogram: isFPGAPersistentAlarmTriggered

-- Test Case: isFPGAPersistentAlarmTriggered.001
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isFPGAPersistentAlarmTriggered
TEST.NEW
TEST.NAME:isFPGAPersistentAlarmTriggered.001
TEST.BASIS_PATH:5 of 7 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (3) case errorType ==> FPGA_ERROR_ERROR
      (4) if ((alarmGroup->fpgaAlarmData[errorType]).fpgaPreviousCount != fpgaCount) ==> TRUE
      (5) if ((1) == hasErrorOccured) ==> FALSE
   Test Case Generation Notes:
      Conflict: Multiple equality operators with different values (PersistentAlarm.isFPGAPersistentAlarmTriggered.errorType) in branches 3/4
      Cannot set hasErrorOccured due to assignment
TEST.END_NOTES:
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup:<<malloc 1>>
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup[0].fpgaAlarmData[FPGA_READ_ERROR].fpgaPreviousCount:<<MIN>>
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.fpgaCount:1
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.errorType:FPGA_ERROR_ERROR
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup[0].fpgaAlarmData[FPGA_READ_ERROR].fpgaPreviousCount:0
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.fpgaCount:1
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.errorType:FPGA_ERROR_ERROR
TEST.END

-- Test Case: isFPGAPersistentAlarmTriggered.002
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isFPGAPersistentAlarmTriggered
TEST.NEW
TEST.NAME:isFPGAPersistentAlarmTriggered.002
TEST.BASIS_PATH:6 of 7 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) case errorType ==> FPGA_READ_ERROR
      (2) if (fpgaCount == (alarmGroup->fpgaAlarmData[errorType]).fpgaPreviousCount) ==> FALSE
      (5) if ((1) == hasErrorOccured) ==> FALSE
   Test Case Generation Notes:
      Cannot set hasErrorOccured due to assignment
TEST.END_NOTES:
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup:<<malloc 1>>
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup[0].fpgaAlarmData[FPGA_READ_ERROR].fpgaPreviousCount:1
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.fpgaCount:<<MIN>>
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.errorType:FPGA_READ_ERROR
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup[0].fpgaAlarmData[FPGA_READ_ERROR].fpgaPreviousCount:0
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.fpgaCount:0
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.errorType:FPGA_READ_ERROR
TEST.END

-- Test Case: isFPGAPersistentAlarmTriggered.003
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isFPGAPersistentAlarmTriggered
TEST.NEW
TEST.NAME:isFPGAPersistentAlarmTriggered.003
TEST.BASIS_PATH:1 of 8 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (5) case errorType ==> default
      (6) if ((1) == hasErrorOccured) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable hasErrorOccured in branch 6
TEST.END_NOTES:
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup:<<malloc 1>>
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.fpgaCount:<<MIN>>
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.errorType:NUM_OF_FPGA_ERROR_TYPES
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.fpgaCount:0
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.errorType:NUM_OF_FPGA_ERROR_TYPES
TEST.END

-- Test Case: isFPGAPersistentAlarmTriggered.004
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isFPGAPersistentAlarmTriggered
TEST.NEW
TEST.NAME:isFPGAPersistentAlarmTriggered.004
TEST.BASIS_PATH:7 of 8 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (3) case errorType ==> FPGA_ERROR_ERROR
      (4) if ((alarmGroup->fpgaAlarmData[errorType]).fpgaPreviousCount != fpgaCount) ==> FALSE
      (6) if ((1) == hasErrorOccured) ==> FALSE
   Test Case Generation Notes:
      Conflict: Multiple equality operators with different values (PersistentAlarm.isFPGAPersistentAlarmTriggered.errorType) in branches 3/4
      Cannot set hasErrorOccured due to assignment
TEST.END_NOTES:
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup:<<malloc 1>>
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup[0].fpgaAlarmData[FPGA_READ_ERROR].fpgaPreviousCount:<<MIN>>
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.fpgaCount:<<MIN>>
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.errorType:FPGA_ERROR_ERROR
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup[0].fpgaAlarmData[FPGA_READ_ERROR].fpgaPreviousCount:0
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.fpgaCount:0
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.errorType:FPGA_ERROR_ERROR
TEST.END

-- Test Case: isFPGAPersistentAlarmTriggered.005
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isFPGAPersistentAlarmTriggered
TEST.NEW
TEST.NAME:isFPGAPersistentAlarmTriggered.005
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) case errorType ==> FPGA_READ_ERROR
      (2) if (fpgaCount == (alarmGroup->fpgaAlarmData[errorType]).fpgaPreviousCount) ==> FALSE
      (5) if ((1) == hasErrorOccured) ==> FALSE
   Test Case Generation Notes:
      Cannot set hasErrorOccured due to assignment
TEST.END_NOTES:
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup:<<malloc 1>>
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup[0].fpgaAlarmData[FPGA_READ_ERROR].fpgaPreviousCount:2
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.fpgaCount:2
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.errorType:FPGA_READ_ERROR
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup[0].fpgaAlarmData[FPGA_READ_ERROR].fpgaPreviousCount:2
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup[0].fpgaAlarmData[FPGA_ERROR_ERROR].fpgaPreviousCount:0
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.fpgaCount:2
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.errorType:FPGA_READ_ERROR
TEST.END

-- Test Case: isFPGAPersistentAlarmTriggered.006
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isFPGAPersistentAlarmTriggered
TEST.NEW
TEST.NAME:isFPGAPersistentAlarmTriggered.006
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (3) case errorType ==> FPGA_ERROR_ERROR
      (4) if ((alarmGroup->fpgaAlarmData[errorType]).fpgaPreviousCount != fpgaCount) ==> TRUE
      (5) if ((1) == hasErrorOccured) ==> FALSE
   Test Case Generation Notes:
      Conflict: Multiple equality operators with different values (PersistentAlarm.isFPGAPersistentAlarmTriggered.errorType) in branches 3/4
      Cannot set hasErrorOccured due to assignment
TEST.END_NOTES:
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup:<<malloc 1>>
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup[0].fpgaAlarmData[FPGA_READ_ERROR].fpgaPreviousCount:<<MIN>>
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup[0].fpgaAlarmData[FPGA_READ_ERROR].fpgaIsConditionClear:1
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup[0].fpgaAlarmData[FPGA_ERROR_ERROR].fpgaIsConditionClear:1
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.fpgaCount:1
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.errorType:FPGA_ERROR_ERROR
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup[0].fpgaAlarmData[FPGA_READ_ERROR].fpgaPreviousCount:0
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup[0].fpgaAlarmData[FPGA_READ_ERROR].fpgaIsConditionClear:1
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup[0].fpgaAlarmData[FPGA_ERROR_ERROR].fpgaIsConditionClear:0
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.fpgaCount:1
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.errorType:FPGA_ERROR_ERROR
TEST.END

-- Test Case: isFPGAPersistentAlarmTriggered.007
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isFPGAPersistentAlarmTriggered
TEST.NEW
TEST.NAME:isFPGAPersistentAlarmTriggered.007
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (3) case errorType ==> FPGA_ERROR_ERROR
      (4) if ((alarmGroup->fpgaAlarmData[errorType]).fpgaPreviousCount != fpgaCount) ==> TRUE
      (5) if ((1) == hasErrorOccured) ==> FALSE
   Test Case Generation Notes:
      Conflict: Multiple equality operators with different values (PersistentAlarm.isFPGAPersistentAlarmTriggered.errorType) in branches 3/4
      Cannot set hasErrorOccured due to assignment
TEST.END_NOTES:
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup:<<malloc 1>>
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup[0].fpgaAlarmData[FPGA_READ_ERROR].fpgaPreviousCount:<<MIN>>
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.fpgaCount:1
TEST.VALUE:PersistentAlarm.isFPGAPersistentAlarmTriggered.errorType:FPGA_ERROR_ERROR
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.alarmGroup[0].fpgaAlarmData[FPGA_READ_ERROR].fpgaPreviousCount:0
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.fpgaCount:1
TEST.EXPECTED:PersistentAlarm.isFPGAPersistentAlarmTriggered.errorType:FPGA_ERROR_ERROR
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:0
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:0
TEST.END

-- Subprogram: isPersistentAlarmConditionCleared

-- Test Case: isPersistentAlarmConditionCleared.001
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isPersistentAlarmConditionCleared
TEST.NEW
TEST.NAME:isPersistentAlarmConditionCleared.001
TEST.MCDC_BASIS_PATH:2 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (alarmId < (NUM_OF_ALARM_IDS)) ==> 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:PersistentAlarm.isPersistentAlarmConditionCleared.alarmId:<<MIN>>
TEST.VALUE:PersistentAlarm.isPersistentAlarmConditionCleared.isErrorOccurred:<<MIN>>
TEST.VALUE:PersistentAlarm.isPersistentAlarmConditionCleared.return:0
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.startMSCount:1
TEST.VALUE:uut_prototype_stubs.didTimeout.timeoutPeriod:0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0
TEST.EXPECTED:PersistentAlarm.isPersistentAlarmConditionCleared.return:0
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:1
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:0
TEST.END

-- Test Case: isPersistentAlarmConditionCleared.002
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isPersistentAlarmConditionCleared
TEST.NEW
TEST.NAME:isPersistentAlarmConditionCleared.002
TEST.MCDC_BASIS_PATH:1 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (alarmId < (NUM_OF_ALARM_IDS)) ==> 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:PersistentAlarm.isPersistentAlarmConditionCleared.alarmId:<<MAX>>
TEST.VALUE:PersistentAlarm.isPersistentAlarmConditionCleared.isErrorOccurred:<<MIN>>
TEST.VALUE:PersistentAlarm.isPersistentAlarmConditionCleared.return:0
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.alarmData1.data.uInt.data:82
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:289
TEST.EXPECTED:PersistentAlarm.isPersistentAlarmConditionCleared.alarmId:NUM_OF_ALARM_IDS
TEST.EXPECTED:PersistentAlarm.isPersistentAlarmConditionCleared.isErrorOccurred:0
TEST.EXPECTED:PersistentAlarm.isPersistentAlarmConditionCleared.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:82
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:322
TEST.END

-- Test Case: isPersistentAlarmConditionCleared.003
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isPersistentAlarmConditionCleared
TEST.NEW
TEST.NAME:isPersistentAlarmConditionCleared.003
TEST.MCDC_BASIS_PATH:5 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (alarmId < (NUM_OF_ALARM_IDS)) ==> TRUE
      (2) if ((0) == isErrorOccurred && (persistentAlarms[alarmId]).errorClearedStartTime == (0)) ==> 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:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].errorClearedStartTime:1
TEST.VALUE:PersistentAlarm.isPersistentAlarmConditionCleared.alarmId:ALARM_ID_NO_ALARM
TEST.VALUE:PersistentAlarm.isPersistentAlarmConditionCleared.isErrorOccurred:0
TEST.VALUE:PersistentAlarm.isPersistentAlarmConditionCleared.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.startMSCount:1
TEST.VALUE:uut_prototype_stubs.didTimeout.timeoutPeriod:0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:PersistentAlarm.isPersistentAlarmConditionCleared.return:1
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:1
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:0
TEST.END

-- Test Case: isPersistentAlarmConditionCleared.004
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isPersistentAlarmConditionCleared
TEST.NEW
TEST.NAME:isPersistentAlarmConditionCleared.004
TEST.MCDC_BASIS_PATH:3 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (alarmId < (NUM_OF_ALARM_IDS)) ==> TRUE
      (2) if ((0) == isErrorOccurred && (persistentAlarms[alarmId]).errorClearedStartTime == (0)) ==> 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:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].errorClearedStartTime:0
TEST.VALUE:PersistentAlarm.isPersistentAlarmConditionCleared.alarmId:ALARM_ID_NO_ALARM
TEST.VALUE:PersistentAlarm.isPersistentAlarmConditionCleared.isErrorOccurred:1
TEST.VALUE:PersistentAlarm.isPersistentAlarmConditionCleared.return:0
TEST.EXPECTED:PersistentAlarm.isPersistentAlarmConditionCleared.return:0
TEST.END

-- Subprogram: isPersistentAlarmTriggered

-- Test Case: isPersistentAlarmTriggered.001
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isPersistentAlarmTriggered
TEST.NEW
TEST.NAME:isPersistentAlarmTriggered.001
TEST.MCDC_BASIS_PATH:2 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (alarmId < (NUM_OF_ALARM_IDS)) ==> 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:PersistentAlarm.isPersistentAlarmTriggered.alarmId:<<MIN>>
TEST.VALUE:PersistentAlarm.isPersistentAlarmTriggered.isErrorOccurred:<<MIN>>
TEST.VALUE:PersistentAlarm.isPersistentAlarmTriggered.return:0
TEST.EXPECTED:PersistentAlarm.isPersistentAlarmTriggered.return:0
TEST.END

-- Test Case: isPersistentAlarmTriggered.002
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isPersistentAlarmTriggered
TEST.NEW
TEST.NAME:isPersistentAlarmTriggered.002
TEST.MCDC_BASIS_PATH:1 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (alarmId < (NUM_OF_ALARM_IDS)) ==> 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:PersistentAlarm.isPersistentAlarmTriggered.alarmId:<<MAX>>
TEST.VALUE:PersistentAlarm.isPersistentAlarmTriggered.isErrorOccurred:<<MIN>>
TEST.VALUE:PersistentAlarm.isPersistentAlarmTriggered.return:0
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.alarmData1.data.uInt.data:82
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:289
TEST.EXPECTED:PersistentAlarm.isPersistentAlarmTriggered.alarmId:NUM_OF_ALARM_IDS
TEST.EXPECTED:PersistentAlarm.isPersistentAlarmTriggered.isErrorOccurred:0
TEST.EXPECTED:PersistentAlarm.isPersistentAlarmTriggered.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:82
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:322
TEST.END

-- Test Case: isPersistentAlarmTriggered.003
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isPersistentAlarmTriggered
TEST.NEW
TEST.NAME:isPersistentAlarmTriggered.003
TEST.MCDC_BASIS_PATH:4 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (alarmId < (NUM_OF_ALARM_IDS)) ==> TRUE
      (2) if ((1) == isErrorOccurred && (persistentAlarms[alarmId]).errorOccurredStartTime == (0)) ==> 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:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].errorOccurredStartTime:0
TEST.VALUE:PersistentAlarm.isPersistentAlarmTriggered.alarmId:ALARM_ID_NO_ALARM
TEST.VALUE:PersistentAlarm.isPersistentAlarmTriggered.isErrorOccurred:1
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0
TEST.VALUE:uut_prototype_stubs.didTimeout.startMSCount:0
TEST.VALUE:uut_prototype_stubs.didTimeout.timeoutPeriod:0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:0
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:0
TEST.END

-- Test Case: isPersistentAlarmTriggered.004
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isPersistentAlarmTriggered
TEST.NEW
TEST.NAME:isPersistentAlarmTriggered.004
TEST.MCDC_BASIS_PATH:5 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (alarmId < (NUM_OF_ALARM_IDS)) ==> TRUE
      (2) if ((1) == isErrorOccurred && (persistentAlarms[alarmId]).errorOccurredStartTime == (0)) ==> 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:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].errorOccurredStartTime:1
TEST.VALUE:PersistentAlarm.isPersistentAlarmTriggered.alarmId:ALARM_ID_NO_ALARM
TEST.VALUE:PersistentAlarm.isPersistentAlarmTriggered.isErrorOccurred:1
TEST.VALUE:uut_prototype_stubs.didTimeout.startMSCount:1
TEST.VALUE:uut_prototype_stubs.didTimeout.timeoutPeriod:0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:1
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:0
TEST.END

-- Subprogram: resetPersistentAlarmTimer

-- Test Case: resetPersistentAlarmTimer.001
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:resetPersistentAlarmTimer
TEST.NEW
TEST.NAME:resetPersistentAlarmTimer.001
TEST.VALUE:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].alarm:ALARM_ID_NO_ALARM
TEST.VALUE:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].persistentClearPeriod:0
TEST.VALUE:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].persistentTriggerPeriod:0
TEST.VALUE:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].errorClearedStartTime:0
TEST.VALUE:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].errorOccurredStartTime:0
TEST.EXPECTED:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].alarm:ALARM_ID_NO_ALARM
TEST.EXPECTED:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].persistentClearPeriod:0
TEST.EXPECTED:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].persistentTriggerPeriod:0
TEST.EXPECTED:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].errorClearedStartTime:0
TEST.EXPECTED:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].errorOccurredStartTime:0
TEST.END