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

-- Subprogram: activateSafetyShutdown

-- Test Case: activateSafetyShutdown_NominalPath
TEST.UNIT:SafetyShutdown
TEST.SUBPROGRAM:activateSafetyShutdown
TEST.NEW
TEST.NAME:activateSafetyShutdown_NominalPath
TEST.EXPECTED:uut_prototype_stubs.gioSetBit.bit:3
TEST.EXPECTED:uut_prototype_stubs.gioSetBit.value:1
TEST.END

-- Subprogram: execSafetyShutdownTest

-- Test Case: execSafetyShutdownTest.001
TEST.UNIT:SafetyShutdown
TEST.SUBPROGRAM:execSafetyShutdownTest
TEST.NEW
TEST.NAME:execSafetyShutdownTest.001
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownSelfTestState:SAFETY_SHUTDOWN_SELF_TEST_STATE_START
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownSelfTestTimerCount:0
TEST.EXPECTED:SafetyShutdown.<<GLOBAL>>.safetyShutdownSelfTestState:SAFETY_SHUTDOWN_SELF_TEST_STATE_IN_PROGRESS
TEST.EXPECTED:SafetyShutdown.<<GLOBAL>>.safetyShutdownSelfTestTimerCount:0
TEST.END

-- Test Case: execSafetyShutdownTest.002
TEST.UNIT:SafetyShutdown
TEST.SUBPROGRAM:execSafetyShutdownTest
TEST.NEW
TEST.NAME:execSafetyShutdownTest.002
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownSelfTestState:SAFETY_SHUTDOWN_SELF_TEST_STATE_COMPLETE
TEST.VALUE:SafetyShutdown.execSafetyShutdownTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.EXPECTED:SafetyShutdown.execSafetyShutdownTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.END

-- Test Case: execSafetyShutdownTest.003
TEST.UNIT:SafetyShutdown
TEST.SUBPROGRAM:execSafetyShutdownTest
TEST.NEW
TEST.NAME:execSafetyShutdownTest.003
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownSelfTestState:NUM_OF_SAFETY_SHUTDOWN_SELF_TEST_STATES
TEST.VALUE:SafetyShutdown.execSafetyShutdownTest.return:SELF_TEST_STATUS_FAILED
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:132
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:4
TEST.EXPECTED:SafetyShutdown.execSafetyShutdownTest.return:SELF_TEST_STATUS_FAILED
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:132
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:4
TEST.END

-- Test Case: execSafetyShutdownTest.004
TEST.UNIT:SafetyShutdown
TEST.SUBPROGRAM:execSafetyShutdownTest
TEST.NEW
TEST.NAME:execSafetyShutdownTest.004
TEST.MCDC_BASIS_PATH:2 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (2) case safetyShutdownSelfTestState ==> SAFETY_SHUTDOWN_SELF_TEST_STATE_IN_PROGRESS
      (3) if ((1) == didTimeout(safetyShutdownSelfTestTimerCount, 500)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SafetyShutdown.isSafetyShutdownActivated
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownSelfTestState:SAFETY_SHUTDOWN_SELF_TEST_STATE_IN_PROGRESS
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownSelfTestTimerCount:100
TEST.VALUE:SafetyShutdown.isSafetyShutdownActivated.return:0
TEST.VALUE:SafetyShutdown.execSafetyShutdownTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:100
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:SafetyShutdown.<<GLOBAL>>.safetyShutdownSelfTestTimerCount:100
TEST.EXPECTED:SafetyShutdown.execSafetyShutdownTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.END

-- Test Case: execSafetyShutdownTest.005
TEST.UNIT:SafetyShutdown
TEST.SUBPROGRAM:execSafetyShutdownTest
TEST.NEW
TEST.NAME:execSafetyShutdownTest.005
TEST.MCDC_BASIS_PATH:1 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (2) case safetyShutdownSelfTestState ==> SAFETY_SHUTDOWN_SELF_TEST_STATE_IN_PROGRESS
      (3) if ((1) == didTimeout(safetyShutdownSelfTestTimerCount, 500)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownSelfTestState:SAFETY_SHUTDOWN_SELF_TEST_STATE_IN_PROGRESS
TEST.VALUE:SafetyShutdown.execSafetyShutdownTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.EXPECTED:SafetyShutdown.execSafetyShutdownTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.END

-- Test Case: execSafetyShutdownTest.006
TEST.UNIT:SafetyShutdown
TEST.SUBPROGRAM:execSafetyShutdownTest
TEST.NEW
TEST.NAME:execSafetyShutdownTest.006
TEST.MCDC_BASIS_PATH:4 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (2) case safetyShutdownSelfTestState ==> SAFETY_SHUTDOWN_SELF_TEST_STATE_IN_PROGRESS
      (3) if ((1) == didTimeout(safetyShutdownSelfTestTimerCount, 500)) ==> TRUE
      (4) if (v24 > (5.0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownSelfTestState:SAFETY_SHUTDOWN_SELF_TEST_STATE_IN_PROGRESS
TEST.VALUE:SafetyShutdown.execSafetyShutdownTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SAFETY_SHUTDOWN_POST_TEST_FAILED
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:1065353216
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:2139095039
TEST.VALUE:uut_prototype_stubs.getFPGABackupAlarmAudioCurrent.return:0.0
TEST.VALUE:uut_prototype_stubs.getIntADCVoltageConverted.channel:INT_ADC_24V_ACTUATORS
TEST.VALUE:uut_prototype_stubs.getIntADCVoltageConverted.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:SafetyShutdown.execSafetyShutdownTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:1065353216
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:2139095039
TEST.END

-- Test Case: execSafetyShutdownTest.007
TEST.UNIT:SafetyShutdown
TEST.SUBPROGRAM:execSafetyShutdownTest
TEST.NEW
TEST.NAME:execSafetyShutdownTest.007
TEST.MCDC_BASIS_PATH:6 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (5) case safetyShutdownSelfTestState ==> SAFETY_SHUTDOWN_SELF_TEST_STATE_RECOVER
      (6) if ((1) == didTimeout(safetyShutdownSelfTestTimerCount, 500)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownSelfTestState:SAFETY_SHUTDOWN_SELF_TEST_STATE_RECOVER
TEST.VALUE:SafetyShutdown.execSafetyShutdownTest.return:SELF_TEST_STATUS_FAILED
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SAFETY_SHUTDOWN_POST_TEST_FAILED
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:1073741824
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0
TEST.VALUE:uut_prototype_stubs.getFPGABackupAlarmAudioCurrent.return:0.0
TEST.VALUE:uut_prototype_stubs.getIntADCVoltageConverted.channel:INT_ADC_24V_ACTUATORS
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:SafetyShutdown.execSafetyShutdownTest.return:SELF_TEST_STATUS_FAILED
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:1073741824
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0
TEST.END

-- Test Case: execSafetyShutdownTest.008
TEST.UNIT:SafetyShutdown
TEST.SUBPROGRAM:execSafetyShutdownTest
TEST.NEW
TEST.NAME:execSafetyShutdownTest.008
TEST.MCDC_BASIS_PATH:5 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (5) case safetyShutdownSelfTestState ==> SAFETY_SHUTDOWN_SELF_TEST_STATE_RECOVER
      (6) if ((1) == didTimeout(safetyShutdownSelfTestTimerCount, 500)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownSelfTestState:SAFETY_SHUTDOWN_SELF_TEST_STATE_RECOVER
TEST.VALUE:SafetyShutdown.execSafetyShutdownTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.EXPECTED:SafetyShutdown.execSafetyShutdownTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.END

-- Test Case: execSafetyShutdownTest.009
TEST.UNIT:SafetyShutdown
TEST.SUBPROGRAM:execSafetyShutdownTest
TEST.NEW
TEST.NAME:execSafetyShutdownTest.009
TEST.MCDC_BASIS_PATH:7 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (5) case safetyShutdownSelfTestState ==> SAFETY_SHUTDOWN_SELF_TEST_STATE_RECOVER
      (6) if ((1) == didTimeout(safetyShutdownSelfTestTimerCount, 500)) ==> TRUE
      (7) if (v24 < (22.60000000000000142)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #7, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownSelfTestState:SAFETY_SHUTDOWN_SELF_TEST_STATE_RECOVER
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownSelfTestStatus:SELF_TEST_STATUS_PASSED
TEST.VALUE:SafetyShutdown.execSafetyShutdownTest.return:SELF_TEST_STATUS_PASSED
TEST.VALUE:uut_prototype_stubs.getIntADCVoltageConverted.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:SafetyShutdown.<<GLOBAL>>.safetyShutdownSelfTestState:SAFETY_SHUTDOWN_SELF_TEST_STATE_COMPLETE
TEST.END

-- Test Case: execSafetyShutdownTest.010
TEST.UNIT:SafetyShutdown
TEST.SUBPROGRAM:execSafetyShutdownTest
TEST.NEW
TEST.NAME:execSafetyShutdownTest.010
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownSelfTestState:SAFETY_SHUTDOWN_SELF_TEST_STATE_START
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownSelfTestTimerCount:0
TEST.VALUE:uut_prototype_stubs.getIntADCVoltageConverted.channel:INT_ADC_24V_ACTUATORS
TEST.VALUE:uut_prototype_stubs.getIntADCVoltageConverted.return:23.0
TEST.EXPECTED:SafetyShutdown.<<GLOBAL>>.safetyShutdownSelfTestState:SAFETY_SHUTDOWN_SELF_TEST_STATE_IN_PROGRESS
TEST.EXPECTED:SafetyShutdown.<<GLOBAL>>.safetyShutdownSelfTestTimerCount:0
TEST.END

-- Subprogram: initSafetyShutdown

-- Test Case: initSafetyShutdown_NominalPath
TEST.UNIT:SafetyShutdown
TEST.SUBPROGRAM:initSafetyShutdown
TEST.NEW
TEST.NAME:initSafetyShutdown_NominalPath
TEST.EXPECTED:uut_prototype_stubs.gioSetBit.bit:3
TEST.EXPECTED:uut_prototype_stubs.gioSetBit.value:0
TEST.END

-- Subprogram: isSafetyShutdownActivated

-- Test Case: isSafetyShutdownActivated_NominalPath
TEST.UNIT:SafetyShutdown
TEST.SUBPROGRAM:isSafetyShutdownActivated
TEST.NEW
TEST.NAME:isSafetyShutdownActivated_NominalPath
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownActivated:1
TEST.EXPECTED:SafetyShutdown.isSafetyShutdownActivated.return:1
TEST.END

-- Subprogram: resetSafetyShutdownPOSTState

-- Test Case: resetSafetyShutdownPOSTState.001
TEST.UNIT:SafetyShutdown
TEST.SUBPROGRAM:resetSafetyShutdownPOSTState
TEST.NEW
TEST.NAME:resetSafetyShutdownPOSTState.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownSelfTestState:SAFETY_SHUTDOWN_SELF_TEST_STATE_START
TEST.EXPECTED:SafetyShutdown.<<GLOBAL>>.safetyShutdownSelfTestState:SAFETY_SHUTDOWN_SELF_TEST_STATE_START
TEST.END

-- Subprogram: testResetSafetyShutdownOverride

-- Test Case: testResetSafetyShutdownOverride_NotLoggedIn
TEST.UNIT:SafetyShutdown
TEST.SUBPROGRAM:testResetSafetyShutdownOverride
TEST.NEW
TEST.NAME:testResetSafetyShutdownOverride_NotLoggedIn
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownActivated:0
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownOverrideResetState:1
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0
TEST.EXPECTED:SafetyShutdown.<<GLOBAL>>.safetyShutdownActivated:0
TEST.EXPECTED:SafetyShutdown.testResetSafetyShutdownOverride.return:0
TEST.END

-- Test Case: testResetSafetyShutdownOverride_ResetToActive
TEST.UNIT:SafetyShutdown
TEST.SUBPROGRAM:testResetSafetyShutdownOverride
TEST.NEW
TEST.NAME:testResetSafetyShutdownOverride_ResetToActive
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownActivated:0
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownOverrideResetState:1
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:SafetyShutdown.<<GLOBAL>>.safetyShutdownActivated:1
TEST.EXPECTED:SafetyShutdown.testResetSafetyShutdownOverride.return:1
TEST.END

-- Test Case: testResetSafetyShutdownOverride_ResetToNotActive
TEST.UNIT:SafetyShutdown
TEST.SUBPROGRAM:testResetSafetyShutdownOverride
TEST.NEW
TEST.NAME:testResetSafetyShutdownOverride_ResetToNotActive
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownActivated:1
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownOverrideResetState:0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:SafetyShutdown.<<GLOBAL>>.safetyShutdownActivated:0
TEST.EXPECTED:SafetyShutdown.testResetSafetyShutdownOverride.return:1
TEST.END

-- Subprogram: testSetSafetyShutdownOverride

-- Test Case: testSetSafetyShutdownOverride_ActivateSafety
TEST.UNIT:SafetyShutdown
TEST.SUBPROGRAM:testSetSafetyShutdownOverride
TEST.NEW
TEST.NAME:testSetSafetyShutdownOverride_ActivateSafety
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownActivated:0
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownOverrideResetState:0
TEST.VALUE:SafetyShutdown.testSetSafetyShutdownOverride.value:1
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:SafetyShutdown.<<GLOBAL>>.safetyShutdownActivated:1
TEST.EXPECTED:SafetyShutdown.<<GLOBAL>>.safetyShutdownOverrideResetState:0
TEST.EXPECTED:SafetyShutdown.testSetSafetyShutdownOverride.return:1
TEST.END

-- Test Case: testSetSafetyShutdownOverride_ClearSafety
TEST.UNIT:SafetyShutdown
TEST.SUBPROGRAM:testSetSafetyShutdownOverride
TEST.NEW
TEST.NAME:testSetSafetyShutdownOverride_ClearSafety
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownActivated:1
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownOverrideResetState:0
TEST.VALUE:SafetyShutdown.testSetSafetyShutdownOverride.value:0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:SafetyShutdown.<<GLOBAL>>.safetyShutdownActivated:0
TEST.EXPECTED:SafetyShutdown.<<GLOBAL>>.safetyShutdownOverrideResetState:1
TEST.EXPECTED:SafetyShutdown.testSetSafetyShutdownOverride.return:1
TEST.END

-- Test Case: testSetSafetyShutdownOverride_NotLoggedIn
TEST.UNIT:SafetyShutdown
TEST.SUBPROGRAM:testSetSafetyShutdownOverride
TEST.NEW
TEST.NAME:testSetSafetyShutdownOverride_NotLoggedIn
TEST.VALUE:SafetyShutdown.<<GLOBAL>>.safetyShutdownActivated:0
TEST.VALUE:SafetyShutdown.testSetSafetyShutdownOverride.value:1
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0
TEST.EXPECTED:SafetyShutdown.<<GLOBAL>>.safetyShutdownActivated:0
TEST.EXPECTED:SafetyShutdown.testSetSafetyShutdownOverride.return:0
TEST.END