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

-- Subprogram: checkInWithWatchdogMgmt

-- Test Case: InvalidTask
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:checkInWithWatchdogMgmt
TEST.NEW
TEST.NAME:InvalidTask
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_BG].data:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].data:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_PRIORITY].data:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].data:0
TEST.VALUE:WatchdogMgmt.checkInWithWatchdogMgmt.task:NUM_OF_TASKS
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_BG].data:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].data:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_PRIORITY].data:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].data:0
TEST.END

-- Test Case: NominalPath
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:checkInWithWatchdogMgmt
TEST.NEW
TEST.NAME:NominalPath
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].data:0
TEST.VALUE:WatchdogMgmt.checkInWithWatchdogMgmt.task:TASK_TIMER
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].data:1
TEST.END

-- Subprogram: execWatchdogMgmt

-- Test Case: AllTasksCheckedInAndMinTimeReached
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:execWatchdogMgmt
TEST.NEW
TEST.NAME:AllTasksCheckedInAndMinTimeReached
TEST.BASIS_PATH:1 of 5 (template)
TEST.NOTES:

TEST.END_NOTES:
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.lastWatchdogPetTime:1000
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_BG].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_BG].override:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_PRIORITY].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_PRIORITY].override:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].override:0
TEST.VALUE:uut_prototype_stubs.getCPLDWatchdogExpired.return:PIN_SIGNAL_HIGH
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:1000
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:45
TEST.END

-- Test Case: AllTasksCheckedInAndNotTime
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:execWatchdogMgmt
TEST.NEW
TEST.NAME:AllTasksCheckedInAndNotTime
TEST.NOTES:

TEST.END_NOTES:
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.lastWatchdogPetTime:1000
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_BG].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_BG].override:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_PRIORITY].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_PRIORITY].override:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].override:0
TEST.VALUE:uut_prototype_stubs.getCPLDWatchdogExpired.return:PIN_SIGNAL_HIGH
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:1000
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:45
TEST.END

-- Test Case: OneTaskNotCheckedIn
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:execWatchdogMgmt
TEST.NEW
TEST.NAME:OneTaskNotCheckedIn
TEST.BASIS_PATH:2 of 5 (template)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (i < (NUM_OF_TASKS)) ==> FALSE
      (3) if ((1) == allTasksCheckedIn) ==> TRUE
      (4) for (d < (1000)) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set local variable allTasksCheckedIn in branch 3
      Conflict: Unable to control expression-to-expression comparison in branch 4
TEST.END_NOTES:
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_BG].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_BG].override:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_PRIORITY].data:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_PRIORITY].override:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].override:0
TEST.VALUE:uut_prototype_stubs.getCPLDWatchdogExpired.return:PIN_SIGNAL_HIGH
TEST.FLOW
  WatchdogMgmt.c.execWatchdogMgmt
  uut_prototype_stubs.getCPLDWatchdogExpired
  WatchdogMgmt.c.execWatchdogMgmt
TEST.END_FLOW
TEST.END

-- Test Case: WDExpired
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:execWatchdogMgmt
TEST.NEW
TEST.NAME:WDExpired
TEST.IMPORT_FAILURES:
(E) @LINE: 135 TEST.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_WATCHDOG_EXPIRED
    >>> Value for 'Enumeral' out of range
    >>>   Read "ALARM_ID_WATCHDOG_EXPIRED"
    >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_COMPLETE
TEST.VALUE:uut_prototype_stubs.getCPLDWatchdogExpired.return:PIN_SIGNAL_LOW
TEST.END

-- Test Case: WDExpired_POSTInProgress
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:execWatchdogMgmt
TEST.NEW
TEST.NAME:WDExpired_POSTInProgress
TEST.IMPORT_FAILURES:
(E) @LINE: 148 TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_WATCHDOG_EXPIRED
    >>> Value for 'Enumeral' out of range
    >>>   Read "ALARM_ID_WATCHDOG_EXPIRED"
    >>>   Command Ignored
(E) @LINE: 151 TEST.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_WATCHDOG_EXPIRED
    >>> Value for 'Enumeral' out of range
    >>>   Read "ALARM_ID_WATCHDOG_EXPIRED"
    >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.STUB:WatchdogMgmt.checkInWithWatchdogMgmt
TEST.STUB:WatchdogMgmt.haveAllTasksCheckedIn
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_RECOVER
TEST.VALUE:WatchdogMgmt.checkInWithWatchdogMgmt.task:TASK_BG
TEST.VALUE:WatchdogMgmt.haveAllTasksCheckedIn.return:0
TEST.VALUE:uut_prototype_stubs.getCPLDWatchdogExpired.return:PIN_SIGNAL_LOW
TEST.EXPECTED:WatchdogMgmt.checkInWithWatchdogMgmt.task:TASK_BG
TEST.END

-- Test Case: execWatchdogMgmt.001
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:execWatchdogMgmt
TEST.NEW
TEST.NAME:execWatchdogMgmt.001
TEST.MCDC_BASIS_PATH:6 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == allTasksCheckedIn && didTimeout(lastWatchdogPetTime, 45)) ==> FALSE
      (2) if (getCPLDWatchdogExpired() == (PIN_SIGNAL_LOW)) ==> TRUE
      (3) if ((WATCHDOG_SELF_TEST_STATE_COMPLETE) == watchdogSelfTestState || getCurrentOperationMode() != (MODE_INIT)) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:WatchdogMgmt.checkInWithWatchdogMgmt
TEST.STUB:WatchdogMgmt.haveAllTasksCheckedIn
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_START
TEST.VALUE:WatchdogMgmt.checkInWithWatchdogMgmt.task:TASK_BG
TEST.VALUE:WatchdogMgmt.haveAllTasksCheckedIn.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCPLDWatchdogExpired.return:PIN_SIGNAL_LOW
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0
TEST.EXPECTED:WatchdogMgmt.checkInWithWatchdogMgmt.task:TASK_BG
TEST.END

-- Subprogram: execWatchdogTest

-- Test Case: Completed
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:execWatchdogTest
TEST.NEW
TEST.NAME:Completed
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_COMPLETE
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_START
TEST.EXPECTED:WatchdogMgmt.execWatchdogTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.END

-- Test Case: InProgress
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:execWatchdogTest
TEST.NEW
TEST.NAME:InProgress
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_IN_PROGRESS
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestStatus:SELF_TEST_STATUS_IN_PROGRESS
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestTimerCount:1000
TEST.VALUE:uut_prototype_stubs.getCPLDWatchdogExpired.return:PIN_SIGNAL_HIGH
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1000
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0,1
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_RECOVER
TEST.EXPECTED:WatchdogMgmt.execWatchdogTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:(2)1000
TEST.END

-- Test Case: InvalidState
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:execWatchdogTest
TEST.NEW
TEST.NAME:InvalidState
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:NUM_OF_WATCHDOG_SELF_TEST_STATES
TEST.EXPECTED:WatchdogMgmt.execWatchdogTest.return:SELF_TEST_STATUS_FAILED
TEST.END

-- Test Case: SelfTestRecover
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:execWatchdogTest
TEST.NEW
TEST.NAME:SelfTestRecover
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_RECOVER
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestTimerCount:1000
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_RECOVER
TEST.EXPECTED:WatchdogMgmt.execWatchdogTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:1000
TEST.END

-- Test Case: SelfTestRecoverAndComplete
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:execWatchdogTest
TEST.NEW
TEST.NAME:SelfTestRecoverAndComplete
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_RECOVER
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestStatus:SELF_TEST_STATUS_PASSED
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestTimerCount:1000
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_COMPLETE
TEST.EXPECTED:WatchdogMgmt.execWatchdogTest.return:SELF_TEST_STATUS_PASSED
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:1000
TEST.END

-- Test Case: StartInProgress
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:execWatchdogTest
TEST.NEW
TEST.NAME:StartInProgress
TEST.IMPORT_FAILURES:
(E) @LINE: 275 TEST.ATTRIBUTES:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override::INPUT_BASE=16,EXPECTED_BASE=16
    >>> Expected a field name from the record type CCAST_9_10
    >>> Read:     override::INPUT_BASE=16,EXPECTED_BASE=16
(E) Errors from previous script import(s)
    >>> (E) @LINE: 272 TEST.ATTRIBUTES:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override::INPUT_BASE=16,EXPECTED_BASE=16
    >>>     >>> Expected a field name from the record type CCAST_9_10
    >>>     >>> Read:     override::INPUT_BASE=16,EXPECTED_BASE=16
    >>> (E) @LINE: 269 TEST.ATTRIBUTES:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override::INPUT_BASE=16,EXPECTED_BASE=16
    >>>     >>> Expected a field name from the record type CCAST_9_10
    >>>     >>> Read:     override::INPUT_BASE=16,EXPECTED_BASE=16
    >>> (E) @LINE: 254 TEST.ATTRIBUTES:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override::INPUT_BASE=16,EXPECTED_BASE=16
    >>>     >>> Expected a field name from the record type CCAST_9_10
    >>>     >>> Read:     override::INPUT_BASE=16,EXPECTED_BASE=16
    >>> (E) @LINE: 780 TEST.ATTRIBUTES:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override::INPUT_BASE=16,EXPECTED_BASE=16
    >>>     >>> Expected a field name from the record type CCAST_9_10
    >>>     >>> Read:     override::INPUT_BASE=16,EXPECTED_BASE=16
TEST.END_IMPORT_FAILURES:
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_START
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestStatus:SELF_TEST_STATUS_IN_PROGRESS
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestTimerCount:1000
TEST.VALUE:uut_prototype_stubs.getCPLDWatchdogExpired.return:PIN_SIGNAL_HIGH
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1000
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0,1
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_RECOVER
TEST.EXPECTED:WatchdogMgmt.execWatchdogTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:(2)1000
TEST.ATTRIBUTES:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override::INPUT_BASE=16,EXPECTED_BASE=16
TEST.END

-- Test Case: TestFailure
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:execWatchdogTest
TEST.NEW
TEST.NAME:TestFailure
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_START
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestTimerCount:0
TEST.VALUE:uut_prototype_stubs.getCPLDWatchdogExpired.return:PIN_SIGNAL_LOW
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1000
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0,1
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_RECOVER
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestTimerCount:1000
TEST.EXPECTED:WatchdogMgmt.execWatchdogTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:(2)1000
TEST.END

-- Test Case: TestPasses
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:execWatchdogTest
TEST.NEW
TEST.NAME:TestPasses
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_START
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestStatus:SELF_TEST_STATUS_IN_PROGRESS
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestTimerCount:0
TEST.VALUE:uut_prototype_stubs.getCPLDWatchdogExpired.return:PIN_SIGNAL_HIGH
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1000
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0,1
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_RECOVER
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestTimerCount:1000
TEST.EXPECTED:WatchdogMgmt.execWatchdogTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:(2)1000
TEST.END

-- Test Case: execWatchdogTest.001
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:execWatchdogTest
TEST.NEW
TEST.NAME:execWatchdogTest.001
TEST.MCDC_BASIS_PATH:14 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (7) case watchdogSelfTestState ==> WATCHDOG_SELF_TEST_STATE_RECOVER
      (8) if ((1) == didTimeout(watchdogSelfTestTimerCount, 500)) ==> TRUE
      (9) if (getCPLDWatchdogExpired() == (PIN_SIGNAL_HIGH)) ==> TRUE
      (10) if (v24 < (22.60000000000000142)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #10, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_RECOVER
TEST.VALUE:WatchdogMgmt.execWatchdogTest.return:SELF_TEST_STATUS_FAILED
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_WATCHDOG_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:1082130432
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:4286578687
TEST.VALUE:uut_prototype_stubs.getCPLDWatchdogExpired.return:PIN_SIGNAL_HIGH
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:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_COMPLETE
TEST.EXPECTED:WatchdogMgmt.execWatchdogTest.return:SELF_TEST_STATUS_FAILED
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:1082130432
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:4286578687
TEST.EXPECTED:uut_prototype_stubs.getIntADCVoltageConverted.channel:INT_ADC_24V_ACTUATORS
TEST.END

-- Test Case: execWatchdogTest.002
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:execWatchdogTest
TEST.NEW
TEST.NAME:execWatchdogTest.002
TEST.MCDC_BASIS_PATH:13 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (7) case watchdogSelfTestState ==> WATCHDOG_SELF_TEST_STATE_RECOVER
      (8) if ((1) == didTimeout(watchdogSelfTestTimerCount, 500)) ==> TRUE
      (9) if (getCPLDWatchdogExpired() == (PIN_SIGNAL_HIGH)) ==> TRUE
      (10) if (v24 < (22.60000000000000142)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #10, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_RECOVER
TEST.VALUE:WatchdogMgmt.execWatchdogTest.return:SELF_TEST_STATUS_PASSED
TEST.VALUE:uut_prototype_stubs.getCPLDWatchdogExpired.return:PIN_SIGNAL_HIGH
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:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_COMPLETE
TEST.EXPECTED:WatchdogMgmt.execWatchdogTest.return:SELF_TEST_STATUS_PASSED
TEST.EXPECTED:uut_prototype_stubs.getIntADCVoltageConverted.channel:INT_ADC_24V_ACTUATORS
TEST.END

-- Test Case: execWatchdogTest.003
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:execWatchdogTest
TEST.NEW
TEST.NAME:execWatchdogTest.003
TEST.MCDC_BASIS_PATH:16 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 16
      (7) case watchdogSelfTestState ==> WATCHDOG_SELF_TEST_STATE_RECOVER
      (8) if ((1) == didTimeout(watchdogSelfTestTimerCount, 500)) ==> TRUE
      (9) if (getCPLDWatchdogExpired() == (PIN_SIGNAL_HIGH)) ==> TRUE
      (10) if (v24 < (22.60000000000000142)) ==> FALSE
      (11) if (audioCurrent > (10.0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #11, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_RECOVER
TEST.VALUE:WatchdogMgmt.execWatchdogTest.return:SELF_TEST_STATUS_FAILED
TEST.VALUE:uut_prototype_stubs.getCPLDWatchdogExpired.return:PIN_SIGNAL_HIGH
TEST.VALUE:uut_prototype_stubs.getFPGABackupAlarmAudioCurrent.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getIntADCVoltageConverted.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:WatchdogMgmt.execWatchdogTest.return:SELF_TEST_STATUS_FAILED
TEST.END

-- Test Case: execWatchdogTest.004
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:execWatchdogTest
TEST.NEW
TEST.NAME:execWatchdogTest.004
TEST.MCDC_BASIS_PATH:6 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) case watchdogSelfTestState ==> WATCHDOG_SELF_TEST_STATE_START
      (3) while ((0) == didTimeout(watchdogSelfTestTimerCount, 500)) ==> FALSE
      (4) if (getCPLDWatchdogExpired() == (PIN_SIGNAL_LOW)) ==> TRUE
      (5) if (v24 > (5.0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_START
TEST.VALUE:WatchdogMgmt.execWatchdogTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_WATCHDOG_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:2139095039
TEST.VALUE:uut_prototype_stubs.getCPLDWatchdogExpired.return:PIN_SIGNAL_LOW
TEST.VALUE:uut_prototype_stubs.getIntADCVoltageConverted.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:WatchdogMgmt.execWatchdogTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:1073741824
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:2139095039
TEST.END

-- Test Case: execWatchdogTest.005
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:execWatchdogTest
TEST.NEW
TEST.NAME:execWatchdogTest.005
TEST.MCDC_BASIS_PATH:7 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) case watchdogSelfTestState ==> WATCHDOG_SELF_TEST_STATE_START
      (3) while ((0) == didTimeout(watchdogSelfTestTimerCount, 500)) ==> FALSE
      (4) if (getCPLDWatchdogExpired() == (PIN_SIGNAL_LOW)) ==> TRUE
      (5) if (v24 > (5.0)) ==> FALSE
      (6) if (audioCurrent < (200.0)) ==> 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:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_START
TEST.VALUE:WatchdogMgmt.execWatchdogTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.getCPLDWatchdogExpired.return:PIN_SIGNAL_LOW
TEST.VALUE:uut_prototype_stubs.getFPGABackupAlarmAudioCurrent.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getIntADCVoltageConverted.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:WatchdogMgmt.execWatchdogTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.END

-- Subprogram: hasTaskGeneralCheckedIn

-- Test Case: InvalidTask
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:hasTaskGeneralCheckedIn
TEST.NEW
TEST.NAME:InvalidTask
TEST.VALUE:WatchdogMgmt.hasTaskGeneralCheckedIn.task:5
TEST.EXPECTED:WatchdogMgmt.hasTaskGeneralCheckedIn.return:0
TEST.END

-- Test Case: NominalPath
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:hasTaskGeneralCheckedIn
TEST.NEW
TEST.NAME:NominalPath
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override:0
TEST.VALUE:WatchdogMgmt.hasTaskGeneralCheckedIn.task:1
TEST.EXPECTED:WatchdogMgmt.hasTaskGeneralCheckedIn.return:1
TEST.END

-- Test Case: OverridePath
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:hasTaskGeneralCheckedIn
TEST.NEW
TEST.NAME:OverridePath
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].ovData:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override:0xCCC33C33
TEST.VALUE:WatchdogMgmt.hasTaskGeneralCheckedIn.task:1
TEST.EXPECTED:WatchdogMgmt.hasTaskGeneralCheckedIn.return:0
TEST.END

-- Subprogram: haveAllTasksCheckedIn

-- Test Case: AllTasksCheckedIn
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:haveAllTasksCheckedIn
TEST.NEW
TEST.NAME:AllTasksCheckedIn
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_BG].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_BG].override:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_PRIORITY].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_PRIORITY].override:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].override:0
TEST.EXPECTED:WatchdogMgmt.haveAllTasksCheckedIn.return:1
TEST.END

-- Test Case: OneTaskNotCheckedIn
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:haveAllTasksCheckedIn
TEST.NEW
TEST.NAME:OneTaskNotCheckedIn
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_BG].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_BG].override:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_PRIORITY].data:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_PRIORITY].override:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].override:0
TEST.EXPECTED:WatchdogMgmt.haveAllTasksCheckedIn.return:0
TEST.END

-- Subprogram: initWatchdogMgmt

-- Test Case: NominalPath
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:initWatchdogMgmt
TEST.NEW
TEST.NAME:NominalPath
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.lastWatchdogPetTime:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_BG].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_BG].ovInitData:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_BG].ovData:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_BG].override:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].ovInitData:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].ovData:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_PRIORITY].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_PRIORITY].ovInitData:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_PRIORITY].ovData:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_PRIORITY].override:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].ovInitData:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].ovData:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].override:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_COMPLETE
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestTimerCount:1
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.lastWatchdogPetTime:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_BG].data:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_BG].ovInitData:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_BG].ovData:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_BG].override:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].data:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].ovInitData:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].ovData:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_PRIORITY].data:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_PRIORITY].ovInitData:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_PRIORITY].ovData:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_PRIORITY].override:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].data:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].ovData:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].override:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_START
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogSelfTestTimerCount:0
TEST.END

-- Subprogram: petWatchdog

-- Test Case: NominalPath
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:petWatchdog
TEST.NEW
TEST.NAME:NominalPath
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.lastWatchdogPetTime:100
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:150
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.lastWatchdogPetTime:150
TEST.END

-- Subprogram: resetWDTaskCheckIns

-- Test Case: NominalPath
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:resetWDTaskCheckIns
TEST.NEW
TEST.NAME:NominalPath
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_BG].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_PRIORITY].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].data:1
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_BG].data:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].data:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_PRIORITY].data:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_TIMER].data:0
TEST.END

-- Subprogram: testResetWatchdogTaskCheckInOverride

-- Test Case: InvalidTask
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:testResetWatchdogTaskCheckInOverride
TEST.NEW
TEST.NAME:InvalidTask
TEST.VALUE:WatchdogMgmt.testResetWatchdogTaskCheckInOverride.task:5
TEST.EXPECTED:WatchdogMgmt.testResetWatchdogTaskCheckInOverride.return:0
TEST.END

-- Test Case: NominalPath
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:testResetWatchdogTaskCheckInOverride
TEST.NEW
TEST.NAME:NominalPath
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].ovInitData:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].ovData:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override:0xCCC33C33
TEST.VALUE:WatchdogMgmt.testResetWatchdogTaskCheckInOverride.task:1
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].data:1
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].ovInitData:1
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].ovData:1
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override:0
TEST.EXPECTED:WatchdogMgmt.testResetWatchdogTaskCheckInOverride.return:1
TEST.END

-- Test Case: TestingInactive
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:testResetWatchdogTaskCheckInOverride
TEST.NEW
TEST.NAME:TestingInactive
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].ovInitData:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].ovData:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override:0xCCC33C33
TEST.VALUE:WatchdogMgmt.testResetWatchdogTaskCheckInOverride.task:1
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].data:1
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].ovInitData:1
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].ovData:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override:0xCCC33C33
TEST.EXPECTED:WatchdogMgmt.testResetWatchdogTaskCheckInOverride.return:0
TEST.END

-- Subprogram: testSetWatchdogTaskCheckInOverride

-- Test Case: InvalidTask
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:testSetWatchdogTaskCheckInOverride
TEST.NEW
TEST.NAME:InvalidTask
TEST.VALUE:WatchdogMgmt.testSetWatchdogTaskCheckInOverride.task:5
TEST.VALUE:WatchdogMgmt.testSetWatchdogTaskCheckInOverride.value:1
TEST.EXPECTED:WatchdogMgmt.testSetWatchdogTaskCheckInOverride.return:0
TEST.END

-- Test Case: NominalPath
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:testSetWatchdogTaskCheckInOverride
TEST.NEW
TEST.NAME:NominalPath
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].ovInitData:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].ovData:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override:1
TEST.VALUE:WatchdogMgmt.testSetWatchdogTaskCheckInOverride.task:1
TEST.VALUE:WatchdogMgmt.testSetWatchdogTaskCheckInOverride.value:0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].data:1
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].ovInitData:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].ovData:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override:0xCCC33C33
TEST.EXPECTED:WatchdogMgmt.testSetWatchdogTaskCheckInOverride.return:1
TEST.END

-- Test Case: TestingInactive
TEST.UNIT:WatchdogMgmt
TEST.SUBPROGRAM:testSetWatchdogTaskCheckInOverride
TEST.NEW
TEST.NAME:TestingInactive
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].data:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].ovInitData:0
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].ovData:1
TEST.VALUE:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override:1
TEST.VALUE:WatchdogMgmt.testSetWatchdogTaskCheckInOverride.task:1
TEST.VALUE:WatchdogMgmt.testSetWatchdogTaskCheckInOverride.value:0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].data:1
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].ovInitData:0
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].ovData:1
TEST.EXPECTED:WatchdogMgmt.<<GLOBAL>>.watchdogTaskCheckedIn[TASK_GENERAL].override:0x1
TEST.EXPECTED:WatchdogMgmt.testSetWatchdogTaskCheckInOverride.return:0
TEST.END