-- 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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:initPersistentAlarm
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (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.initPersistentAlarm.alarmId:<<MIN>>
TEST.VALUE:PersistentAlarm.initPersistentAlarm.persistentClearPeriod:<<MIN>>
TEST.VALUE:PersistentAlarm.initPersistentAlarm.persistentTriggerPeriod:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:initPersistentAlarm
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (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.END

-- Subprogram: isPersistentAlarmConditionCleared

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isPersistentAlarmConditionCleared
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (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.END

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

-- Test Case: COND_2_ROW_1_PAIR_a_TT
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isPersistentAlarmConditionCleared
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_TT
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 ((0) == isErrorOccurred && (persistentAlarms[alarmId]).errorClearedStartTime == (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].errorClearedStartTime:0
TEST.VALUE:PersistentAlarm.isPersistentAlarmConditionCleared.alarmId:ALARM_ID_NO_ALARM
TEST.VALUE:PersistentAlarm.isPersistentAlarmConditionCleared.isErrorOccurred:0
TEST.END

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

-- Test Case: COND_2_ROW_3_PAIR_a_FT
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isPersistentAlarmConditionCleared
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_a_FT
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.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isPersistentAlarmConditionCleared
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if (alarmId < (NUM_OF_ALARM_IDS)) ==> TRUE
      (2) if ((0) == isErrorOccurred && (persistentAlarms[alarmId]).errorClearedStartTime == (0)) ==> FALSE
      (3) if ((0) == isErrorOccurred) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Cannot resolve multiple comparisons ( PersistentAlarm.isPersistentAlarmConditionCleared.alarmId ) in branches 1/2
      Conflict: Trying to set variable PersistentAlarm.isPersistentAlarmConditionCleared.isErrorOccurred 'equal to' and 'not equal to' same value in branches 2/3
TEST.END_NOTES:
TEST.VALUE:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].errorClearedStartTime:1
TEST.VALUE:PersistentAlarm.isPersistentAlarmConditionCleared.alarmId:<<MIN>>
TEST.VALUE:PersistentAlarm.isPersistentAlarmConditionCleared.isErrorOccurred:0
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isPersistentAlarmConditionCleared
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (alarmId < (NUM_OF_ALARM_IDS)) ==> TRUE
      (2) if ((0) == isErrorOccurred && (persistentAlarms[alarmId]).errorClearedStartTime == (0)) ==> FALSE
      (3) if ((0) == isErrorOccurred) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Cannot resolve multiple comparisons ( PersistentAlarm.isPersistentAlarmConditionCleared.alarmId ) in branches 1/2
TEST.END_NOTES:
TEST.VALUE:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].errorClearedStartTime:1
TEST.VALUE:PersistentAlarm.isPersistentAlarmConditionCleared.alarmId:<<MIN>>
TEST.VALUE:PersistentAlarm.isPersistentAlarmConditionCleared.isErrorOccurred:1
TEST.END

-- Subprogram: isPersistentAlarmTriggered

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isPersistentAlarmTriggered
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (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.END

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

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

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

-- Test Case: COND_2_ROW_3_PAIR_a_FT
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isPersistentAlarmTriggered
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_a_FT
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 ((1) == isErrorOccurred && (persistentAlarms[alarmId]).errorOccurredStartTime == (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].errorOccurredStartTime:0
TEST.VALUE:PersistentAlarm.isPersistentAlarmTriggered.alarmId:ALARM_ID_NO_ALARM
TEST.VALUE:PersistentAlarm.isPersistentAlarmTriggered.isErrorOccurred:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isPersistentAlarmTriggered
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if (alarmId < (NUM_OF_ALARM_IDS)) ==> TRUE
      (2) if ((1) == isErrorOccurred && (persistentAlarms[alarmId]).errorOccurredStartTime == (0)) ==> FALSE
      (3) if ((1) == isErrorOccurred) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Cannot resolve multiple comparisons ( PersistentAlarm.isPersistentAlarmTriggered.alarmId ) in branches 1/2
      Conflict: Trying to set variable PersistentAlarm.isPersistentAlarmTriggered.isErrorOccurred 'equal to' and 'not equal to' same value in branches 2/3
TEST.END_NOTES:
TEST.VALUE:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].errorOccurredStartTime:1
TEST.VALUE:PersistentAlarm.isPersistentAlarmTriggered.alarmId:<<MIN>>
TEST.VALUE:PersistentAlarm.isPersistentAlarmTriggered.isErrorOccurred:1
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:isPersistentAlarmTriggered
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (alarmId < (NUM_OF_ALARM_IDS)) ==> TRUE
      (2) if ((1) == isErrorOccurred && (persistentAlarms[alarmId]).errorOccurredStartTime == (0)) ==> FALSE
      (3) if ((1) == isErrorOccurred) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Cannot resolve multiple comparisons ( PersistentAlarm.isPersistentAlarmTriggered.alarmId ) in branches 1/2
TEST.END_NOTES:
TEST.VALUE:PersistentAlarm.<<GLOBAL>>.persistentAlarms[ALARM_ID_NO_ALARM].errorOccurredStartTime:1
TEST.VALUE:PersistentAlarm.isPersistentAlarmTriggered.alarmId:<<MIN>>
TEST.VALUE:PersistentAlarm.isPersistentAlarmTriggered.isErrorOccurred:<<MIN>>
TEST.END

-- Subprogram: resetPersistentAlarmTimer

-- Test Case: resetPersistentAlarmTimer.001
TEST.UNIT:PersistentAlarm
TEST.SUBPROGRAM:resetPersistentAlarmTimer
TEST.NEW
TEST.NAME:resetPersistentAlarmTimer.001
TEST.END