-- 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: 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:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:82
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:289
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.return:0
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:82
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:289
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.return:0
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:82
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:289
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