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

-- Subprogram: execButtons

-- Test Case: ButtonsPressed
TEST.UNIT:Buttons
TEST.SUBPROGRAM:execButtons
TEST.NEW
TEST.NAME:ButtonsPressed
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestPulseCount:0
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestPulseTimer:0
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.prevStopButtonState:BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.stopButtonPressPending:0
TEST.VALUE:uut_prototype_stubs.getCPLDOffButton.return:PIN_SIGNAL_HIGH
TEST.VALUE:uut_prototype_stubs.getCPLDStopButton.return:PIN_SIGNAL_HIGH
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_PRESSED
TEST.EXPECTED:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_PRESSED
TEST.EXPECTED:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestPulseCount:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestPulseTimer:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_PRESSED
TEST.EXPECTED:Buttons.<<GLOBAL>>.prevStopButtonState:BUTTON_STATE_PRESSED
TEST.EXPECTED:Buttons.<<GLOBAL>>.stopButtonPressPending:1
TEST.END

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Buttons
TEST.SUBPROGRAM:execButtons
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) (off == (PIN_SIGNAL_HIGH)) ==> 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:uut_prototype_stubs.getCPLDOffButton.return:PIN_SIGNAL_HIGH
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Buttons
TEST.SUBPROGRAM:execButtons
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) (off == (PIN_SIGNAL_HIGH)) ==> 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:uut_prototype_stubs.getCPLDOffButton.return:PIN_SIGNAL_LOW
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:Buttons
TEST.SUBPROGRAM:execButtons
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (2) (stop == (PIN_SIGNAL_HIGH)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCPLDStopButton.return:PIN_SIGNAL_HIGH
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:Buttons
TEST.SUBPROGRAM:execButtons
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (2) (stop == (PIN_SIGNAL_HIGH)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCPLDStopButton.return:PIN_SIGNAL_LOW
TEST.END

-- Test Case: NoButtonsPressed
TEST.UNIT:Buttons
TEST.SUBPROGRAM:execButtons
TEST.NEW
TEST.NAME:NoButtonsPressed
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestPulseCount:0
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestPulseTimer:0
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.prevStopButtonState:BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.stopButtonPressPending:0
TEST.VALUE:uut_prototype_stubs.getCPLDOffButton.return:PIN_SIGNAL_LOW
TEST.VALUE:uut_prototype_stubs.getCPLDStopButton.return:PIN_SIGNAL_LOW
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestPulseCount:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestPulseTimer:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.prevStopButtonState:BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.stopButtonPressPending:0
TEST.END

-- Subprogram: execStuckButtonTest

-- Test Case: COND_3_ROW_1_PAIR_a_TT
TEST.UNIT:Buttons
TEST.SUBPROGRAM:execStuckButtonTest
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:2 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) case buttonSelfTestState ==> BUTTON_SELF_TEST_STATE_START
      (3) if (dataOffButtonState.data == (BUTTON_STATE_RELEASED) && dataStopButtonState.data == (BUTTON_STATE_RELEASED)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #3, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:0
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:0
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestState:BUTTON_SELF_TEST_STATE_START
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_b_TF
TEST.UNIT:Buttons
TEST.SUBPROGRAM:execStuckButtonTest
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:3 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) case buttonSelfTestState ==> BUTTON_SELF_TEST_STATE_START
      (3) if (dataOffButtonState.data == (BUTTON_STATE_RELEASED) && dataStopButtonState.data == (BUTTON_STATE_RELEASED)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:0
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:1
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestState:BUTTON_SELF_TEST_STATE_START
TEST.END

-- Test Case: COND_3_ROW_3_PAIR_a_FT
TEST.UNIT:Buttons
TEST.SUBPROGRAM:execStuckButtonTest
TEST.NEW
TEST.NAME:COND_3_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:1 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) case buttonSelfTestState ==> BUTTON_SELF_TEST_STATE_START
      (3) if (dataOffButtonState.data == (BUTTON_STATE_RELEASED) && dataStopButtonState.data == (BUTTON_STATE_RELEASED)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:1
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:0
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestState:BUTTON_SELF_TEST_STATE_START
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T
TEST.UNIT:Buttons
TEST.SUBPROGRAM:execStuckButtonTest
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:5 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) case buttonSelfTestState ==> BUTTON_SELF_TEST_STATE_START
      (3) if (dataOffButtonState.data == (BUTTON_STATE_RELEASED) && dataStopButtonState.data == (BUTTON_STATE_RELEASED)) ==> FALSE
      (4) if ((1) == didTimeout(buttonSelfTestTimerCount, 1000)) ==> 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:Buttons.<<GLOBAL>>.dataOffButtonState.data:1
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:1
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestState:BUTTON_SELF_TEST_STATE_START
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F
TEST.UNIT:Buttons
TEST.SUBPROGRAM:execStuckButtonTest
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:4 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) case buttonSelfTestState ==> BUTTON_SELF_TEST_STATE_START
      (3) if (dataOffButtonState.data == (BUTTON_STATE_RELEASED) && dataStopButtonState.data == (BUTTON_STATE_RELEASED)) ==> FALSE
      (4) if ((1) == didTimeout(buttonSelfTestTimerCount, 1000)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:1
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:1
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestState:BUTTON_SELF_TEST_STATE_START
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T
TEST.UNIT:Buttons
TEST.SUBPROGRAM:execStuckButtonTest
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:6 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) case buttonSelfTestState ==> BUTTON_SELF_TEST_STATE_START
      (3) if (dataOffButtonState.data == (BUTTON_STATE_RELEASED) && dataStopButtonState.data == (BUTTON_STATE_RELEASED)) ==> FALSE
      (4) if ((1) == didTimeout(buttonSelfTestTimerCount, 1000)) ==> TRUE
      (5) (dataStopButtonState.data == (BUTTON_STATE_PRESSED)) ==> 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:Buttons.<<GLOBAL>>.dataOffButtonState.data:1
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:1
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestState:BUTTON_SELF_TEST_STATE_START
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F
TEST.UNIT:Buttons
TEST.SUBPROGRAM:execStuckButtonTest
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:7 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) case buttonSelfTestState ==> BUTTON_SELF_TEST_STATE_START
      (3) if (dataOffButtonState.data == (BUTTON_STATE_RELEASED) && dataStopButtonState.data == (BUTTON_STATE_RELEASED)) ==> FALSE
      (4) if ((1) == didTimeout(buttonSelfTestTimerCount, 1000)) ==> TRUE
      (5) (dataStopButtonState.data == (BUTTON_STATE_PRESSED)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:1
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:2
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestState:BUTTON_SELF_TEST_STATE_START
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: Completed
TEST.UNIT:Buttons
TEST.SUBPROGRAM:execStuckButtonTest
TEST.NEW
TEST.NAME:Completed
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestState:BUTTON_SELF_TEST_STATE_COMPLETE
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestTimerCount:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.buttonSelfTestState:BUTTON_SELF_TEST_STATE_START
TEST.EXPECTED:Buttons.<<GLOBAL>>.buttonSelfTestTimerCount:0
TEST.EXPECTED:Buttons.execStuckButtonTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.END

-- Test Case: InProgressStuckButtonReleased
TEST.UNIT:Buttons
TEST.SUBPROGRAM:execStuckButtonTest
TEST.NEW
TEST.NAME:InProgressStuckButtonReleased
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestState:BUTTON_SELF_TEST_STATE_IN_PROGRESS
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestTimerCount:2000
TEST.EXPECTED:Buttons.<<GLOBAL>>.buttonSelfTestState:BUTTON_SELF_TEST_STATE_COMPLETE
TEST.EXPECTED:Buttons.execStuckButtonTest.return:SELF_TEST_STATUS_PASSED
TEST.END

-- Test Case: InProgressStuckButtonTimeout_OffPressed
TEST.UNIT:Buttons
TEST.SUBPROGRAM:execStuckButtonTest
TEST.NEW
TEST.NAME:InProgressStuckButtonTimeout_OffPressed
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestState:BUTTON_SELF_TEST_STATE_IN_PROGRESS
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestTimerCount:2000
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Buttons.<<GLOBAL>>.buttonSelfTestState:BUTTON_SELF_TEST_STATE_COMPLETE
TEST.EXPECTED:Buttons.execStuckButtonTest.return:SELF_TEST_STATUS_FAILED
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_STUCK_BUTTON_TEST_FAILED
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:2000
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:1000
TEST.END

-- Test Case: InProgressStuckButtonTimeout_StopPressed
TEST.UNIT:Buttons
TEST.SUBPROGRAM:execStuckButtonTest
TEST.NEW
TEST.NAME:InProgressStuckButtonTimeout_StopPressed
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestState:BUTTON_SELF_TEST_STATE_IN_PROGRESS
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestTimerCount:2000
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Buttons.<<GLOBAL>>.buttonSelfTestState:BUTTON_SELF_TEST_STATE_COMPLETE
TEST.EXPECTED:Buttons.execStuckButtonTest.return:SELF_TEST_STATUS_FAILED
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_STUCK_BUTTON_TEST_FAILED
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:1
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:2000
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:1000
TEST.END

-- Test Case: InvalidState
TEST.UNIT:Buttons
TEST.SUBPROGRAM:execStuckButtonTest
TEST.NEW
TEST.NAME:InvalidState
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestState:NUM_OF_BUTTON_SELF_TEST_STATES
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestTimerCount:2000
TEST.EXPECTED:Buttons.execStuckButtonTest.return:SELF_TEST_STATUS_FAILED
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.END

-- Test Case: StartTestNoButtonsPressed
TEST.UNIT:Buttons
TEST.SUBPROGRAM:execStuckButtonTest
TEST.NEW
TEST.NAME:StartTestNoButtonsPressed
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestState:BUTTON_SELF_TEST_STATE_START
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestTimerCount:0
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:2000
TEST.EXPECTED:Buttons.<<GLOBAL>>.buttonSelfTestState:BUTTON_SELF_TEST_STATE_COMPLETE
TEST.EXPECTED:Buttons.<<GLOBAL>>.buttonSelfTestTimerCount:2000
TEST.EXPECTED:Buttons.execStuckButtonTest.return:SELF_TEST_STATUS_PASSED
TEST.END

-- Test Case: StartTestStuckButton
TEST.UNIT:Buttons
TEST.SUBPROGRAM:execStuckButtonTest
TEST.NEW
TEST.NAME:StartTestStuckButton
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestState:BUTTON_SELF_TEST_STATE_START
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestTimerCount:0
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:2000
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.buttonSelfTestState:BUTTON_SELF_TEST_STATE_IN_PROGRESS
TEST.EXPECTED:Buttons.<<GLOBAL>>.buttonSelfTestTimerCount:2000
TEST.EXPECTED:Buttons.execStuckButtonTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:2000
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:1000
TEST.END

-- Subprogram: getOffButtonState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Buttons
TEST.SUBPROGRAM:getOffButtonState
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 (0xccc33c33U == dataOffButtonState.override) ==> 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:Buttons.<<GLOBAL>>.dataOffButtonState.override:3435346995
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Buttons
TEST.SUBPROGRAM:getOffButtonState
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 (0xccc33c33U == dataOffButtonState.override) ==> 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:Buttons.<<GLOBAL>>.dataOffButtonState.override:<<MIN>>
TEST.END

-- Test Case: NominalPath
TEST.UNIT:Buttons
TEST.SUBPROGRAM:getOffButtonState
TEST.NEW
TEST.NAME:NominalPath
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.ovInitData:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.ovData:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.override:0x0
TEST.EXPECTED:Buttons.getOffButtonState.return:BUTTON_STATE_RELEASED
TEST.END

-- Test Case: Override
TEST.UNIT:Buttons
TEST.SUBPROGRAM:getOffButtonState
TEST.NEW
TEST.NAME:Override
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.ovInitData:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.ovData:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.override:0xCCC33C33
TEST.EXPECTED:Buttons.getOffButtonState.return:BUTTON_STATE_PRESSED
TEST.END

-- Subprogram: getStopButtonState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Buttons
TEST.SUBPROGRAM:getStopButtonState
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 (0xccc33c33U == dataStopButtonState.override) ==> 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:Buttons.<<GLOBAL>>.dataStopButtonState.override:3435346995
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Buttons
TEST.SUBPROGRAM:getStopButtonState
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 (0xccc33c33U == dataStopButtonState.override) ==> 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:Buttons.<<GLOBAL>>.dataStopButtonState.override:<<MIN>>
TEST.END

-- Test Case: NominalPath
TEST.UNIT:Buttons
TEST.SUBPROGRAM:getStopButtonState
TEST.NEW
TEST.NAME:NominalPath
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.ovInitData:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.ovData:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.override:0x0
TEST.EXPECTED:Buttons.getStopButtonState.return:BUTTON_STATE_RELEASED
TEST.END

-- Test Case: Override
TEST.UNIT:Buttons
TEST.SUBPROGRAM:getStopButtonState
TEST.NEW
TEST.NAME:Override
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.ovInitData:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.ovData:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.override:0xCCC33C33
TEST.EXPECTED:Buttons.getStopButtonState.return:BUTTON_STATE_PRESSED
TEST.END

-- Subprogram: handleOffButtonProcessing

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (getOffButtonState() != prevOffButtonState) ==> 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.STUB:Buttons.getOffButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.getOffButtonState.return:BUTTON_STATE_RELEASED
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (getOffButtonState() != prevOffButtonState) ==> 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.STUB:Buttons.getOffButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:<<MIN>>
TEST.VALUE:Buttons.getOffButtonState.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:16 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 16
      (1) if (getOffButtonState() != prevOffButtonState) ==> TRUE
      (2) if (getOffButtonState() == (BUTTON_STATE_PRESSED)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Buttons.getOffButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:<<MAX>>
TEST.VALUE:Buttons.getOffButtonState.return:BUTTON_STATE_PRESSED
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:15 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 15
      (1) if (getOffButtonState() != prevOffButtonState) ==> TRUE
      (2) if (getOffButtonState() == (BUTTON_STATE_PRESSED)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Buttons.getOffButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.getOffButtonState.return:BUTTON_STATE_RELEASED
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (getOffButtonState() != prevOffButtonState) ==> FALSE
      (3) if ((1) == offRequestAwaitingUserConfirmation) ==> 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:Buttons.getOffButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:1
TEST.VALUE:Buttons.getOffButtonState.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (getOffButtonState() != prevOffButtonState) ==> FALSE
      (3) if ((1) == offRequestAwaitingUserConfirmation) ==> 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.STUB:Buttons.getOffButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:<<MIN>>
TEST.VALUE:Buttons.getOffButtonState.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:14 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (1) if (getOffButtonState() != prevOffButtonState) ==> FALSE
      (3) if ((1) == offRequestAwaitingUserConfirmation) ==> TRUE
      (4) if (offRequestPendingTimer >= 1000 * 60) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set offRequestPendingTimer due to assignment
TEST.END_NOTES:
TEST.STUB:Buttons.getOffButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:1
TEST.VALUE:Buttons.getOffButtonState.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:13 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (1) if (getOffButtonState() != prevOffButtonState) ==> FALSE
      (3) if ((1) == offRequestAwaitingUserConfirmation) ==> TRUE
      (4) if (offRequestPendingTimer >= 1000 * 60) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set offRequestPendingTimer due to assignment
TEST.END_NOTES:
TEST.STUB:Buttons.getOffButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:1
TEST.VALUE:Buttons.getOffButtonState.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:6 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (getOffButtonState() != prevOffButtonState) ==> FALSE
      (3) if ((1) == offRequestAwaitingUserConfirmation) ==> FALSE
      (5) if ((1) == offButtonPressPending) ==> 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.STUB:Buttons.getOffButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:1
TEST.VALUE:Buttons.getOffButtonState.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:5 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (getOffButtonState() != prevOffButtonState) ==> FALSE
      (3) if ((1) == offRequestAwaitingUserConfirmation) ==> FALSE
      (5) if ((1) == offButtonPressPending) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Buttons.getOffButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:<<MIN>>
TEST.VALUE:Buttons.getOffButtonState.return:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:COND_6_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if (getOffButtonState() != prevOffButtonState) ==> FALSE
      (3) if ((1) == offRequestAwaitingUserConfirmation) ==> FALSE
      (5) if ((1) == offButtonPressPending) ==> TRUE
      (6) if (offRequestDelayTimer >= (2000)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set offRequestDelayTimer due to assignment
TEST.END_NOTES:
TEST.STUB:Buttons.getOffButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:1
TEST.VALUE:Buttons.getOffButtonState.return:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if (getOffButtonState() != prevOffButtonState) ==> FALSE
      (3) if ((1) == offRequestAwaitingUserConfirmation) ==> FALSE
      (5) if ((1) == offButtonPressPending) ==> TRUE
      (6) if (offRequestDelayTimer >= (2000)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set offRequestDelayTimer due to assignment
TEST.END_NOTES:
TEST.STUB:Buttons.getOffButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:1
TEST.VALUE:Buttons.getOffButtonState.return:<<MIN>>
TEST.END

-- Test Case: COND_7_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:COND_7_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:10 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if (getOffButtonState() != prevOffButtonState) ==> FALSE
      (3) if ((1) == offRequestAwaitingUserConfirmation) ==> FALSE
      (5) if ((1) == offButtonPressPending) ==> TRUE
      (6) if (offRequestDelayTimer >= (2000)) ==> TRUE
      (7) if (offRequestPulseTimer >= (50)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set offRequestPulseTimer due to assignment
      Cannot set offRequestDelayTimer due to assignment
TEST.END_NOTES:
TEST.STUB:Buttons.getOffButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:1
TEST.VALUE:Buttons.getOffButtonState.return:<<MIN>>
TEST.END

-- Test Case: COND_7_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:COND_7_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if (getOffButtonState() != prevOffButtonState) ==> FALSE
      (3) if ((1) == offRequestAwaitingUserConfirmation) ==> FALSE
      (5) if ((1) == offButtonPressPending) ==> TRUE
      (6) if (offRequestDelayTimer >= (2000)) ==> TRUE
      (7) if (offRequestPulseTimer >= (50)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #7, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set offRequestPulseTimer due to assignment
      Cannot set offRequestDelayTimer due to assignment
TEST.END_NOTES:
TEST.STUB:Buttons.getOffButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:1
TEST.VALUE:Buttons.getOffButtonState.return:<<MIN>>
TEST.END

-- Test Case: COND_8_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:COND_8_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:12 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) if (getOffButtonState() != prevOffButtonState) ==> FALSE
      (3) if ((1) == offRequestAwaitingUserConfirmation) ==> FALSE
      (5) if ((1) == offButtonPressPending) ==> TRUE
      (6) if (offRequestDelayTimer >= (2000)) ==> TRUE
      (7) if (offRequestPulseTimer >= (50)) ==> TRUE
      (8) if (offRequestPulseCount == (0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #8, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set offRequestPulseCount due to assignment
      Cannot set offRequestDelayTimer due to assignment
      Cannot set offRequestPulseTimer due to assignment
TEST.END_NOTES:
TEST.STUB:Buttons.getOffButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:1
TEST.VALUE:Buttons.getOffButtonState.return:<<MIN>>
TEST.END

-- Test Case: COND_8_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:COND_8_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:11 of 16
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if (getOffButtonState() != prevOffButtonState) ==> FALSE
      (3) if ((1) == offRequestAwaitingUserConfirmation) ==> FALSE
      (5) if ((1) == offButtonPressPending) ==> TRUE
      (6) if (offRequestDelayTimer >= (2000)) ==> TRUE
      (7) if (offRequestPulseTimer >= (50)) ==> TRUE
      (8) if (offRequestPulseCount == (0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #8, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set offRequestPulseCount due to assignment
      Cannot set offRequestDelayTimer due to assignment
      Cannot set offRequestPulseTimer due to assignment
TEST.END_NOTES:
TEST.STUB:Buttons.getOffButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:1
TEST.VALUE:Buttons.getOffButtonState.return:<<MIN>>
TEST.END

-- Test Case: NoChangeNoPending
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:NoChangeNoPending
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.END

-- Test Case: PressedToReleasedOffPendingDelay
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:PressedToReleasedOffPendingDelay
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:1
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestPulseCount:4
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestPulseTimer:0
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestDelayTimer:1980
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.offButtonPressPending:1
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestPulseCount:4
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestPulseTimer:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestDelayTimer:1990
TEST.END

-- Test Case: PressedToReleasedOffPendingFirstPulse
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:PressedToReleasedOffPendingFirstPulse
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:1
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestPulseCount:4
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestPulseTimer:45
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestDelayTimer:1990
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.offButtonPressPending:1
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestPulseCount:3
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestPulseTimer:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestDelayTimer:2000
TEST.END

-- Test Case: PressedToReleasedOffPendingIntermediate
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:PressedToReleasedOffPendingIntermediate
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:1
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestPulseCount:4
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestPulseTimer:30
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestDelayTimer:2000
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.offButtonPressPending:1
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestPulseCount:4
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestPulseTimer:40
TEST.END

-- Test Case: PressedToReleasedOffPendingLastPulse
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:PressedToReleasedOffPendingLastPulse
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:1
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestPulseCount:1
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestPulseTimer:45
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestDelayTimer:2000
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestPulseCount:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestPulseTimer:0
TEST.END

-- Test Case: ReleasedToPressedFaultMode
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:ReleasedToPressedFaultMode
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_PRESSED
TEST.EXPECTED:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_PRESSED
TEST.EXPECTED:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.END

-- Test Case: ReleasedToPressedInvalidMode
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:ReleasedToPressedInvalidMode
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_PRESSED
TEST.EXPECTED:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_PRESSED
TEST.EXPECTED:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.END

-- Test Case: ReleasedToPressedServiceMode
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:ReleasedToPressedServiceMode
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_SERV
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_PRESSED
TEST.EXPECTED:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_PRESSED
TEST.EXPECTED:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.END

-- Test Case: ReleasedToPressedStandbyMode
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:ReleasedToPressedStandbyMode
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_PRESSED
TEST.EXPECTED:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_PRESSED
TEST.EXPECTED:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.END

-- Test Case: handleOffButtonProcessing_OffRequestPending
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:handleOffButtonProcessing_OffRequestPending
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:1
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestPendingTimer:59000
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:1
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestPendingTimer:59010
TEST.END

-- Test Case: handleOffButtonProcessing_OffRequestPendingExpired
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleOffButtonProcessing
TEST.NEW
TEST.NAME:handleOffButtonProcessing_OffRequestPendingExpired
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:1
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestPendingTimer:59990
TEST.VALUE:uut_prototype_stubs.sendOffButtonMsgToUI.return:1
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestPendingTimer:60000
TEST.END

-- Subprogram: handleStopButtonProcessing

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleStopButtonProcessing
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (getStopButtonState() != prevStopButtonState) ==> 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.STUB:Buttons.getStopButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevStopButtonState:BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.getStopButtonState.return:BUTTON_STATE_RELEASED
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleStopButtonProcessing
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (getStopButtonState() != prevStopButtonState) ==> 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.STUB:Buttons.getStopButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevStopButtonState:<<MIN>>
TEST.VALUE:Buttons.getStopButtonState.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleStopButtonProcessing
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:8 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if (getStopButtonState() != prevStopButtonState) ==> TRUE
      (2) if (getStopButtonState() == (BUTTON_STATE_PRESSED)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Buttons.getStopButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevStopButtonState:<<MAX>>
TEST.VALUE:Buttons.getStopButtonState.return:BUTTON_STATE_PRESSED
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleStopButtonProcessing
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:7 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if (getStopButtonState() != prevStopButtonState) ==> TRUE
      (2) if (getStopButtonState() == (BUTTON_STATE_PRESSED)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Buttons.getStopButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevStopButtonState:BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.getStopButtonState.return:BUTTON_STATE_RELEASED
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleStopButtonProcessing
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (getStopButtonState() != prevStopButtonState) ==> FALSE
      (3) if ((1) == stopButtonPressPending) ==> 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:Buttons.getStopButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevStopButtonState:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.stopButtonPressPending:1
TEST.VALUE:Buttons.getStopButtonState.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleStopButtonProcessing
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (getStopButtonState() != prevStopButtonState) ==> FALSE
      (3) if ((1) == stopButtonPressPending) ==> 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.STUB:Buttons.getStopButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevStopButtonState:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.stopButtonPressPending:<<MIN>>
TEST.VALUE:Buttons.getStopButtonState.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleStopButtonProcessing
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:6 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (getStopButtonState() != prevStopButtonState) ==> FALSE
      (3) if ((1) == stopButtonPressPending) ==> TRUE
      (4) if ((1) == didTimeout(stopButtonPendingTimer, 500)) ==> 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.STUB:Buttons.getStopButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevStopButtonState:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.stopButtonPressPending:1
TEST.VALUE:Buttons.getStopButtonState.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleStopButtonProcessing
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:5 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (getStopButtonState() != prevStopButtonState) ==> FALSE
      (3) if ((1) == stopButtonPressPending) ==> TRUE
      (4) if ((1) == didTimeout(stopButtonPendingTimer, 500)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Buttons.getStopButtonState
TEST.VALUE:Buttons.<<GLOBAL>>.prevStopButtonState:<<MIN>>
TEST.VALUE:Buttons.<<GLOBAL>>.stopButtonPressPending:1
TEST.VALUE:Buttons.getStopButtonState.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: NoChange
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleStopButtonProcessing
TEST.NEW
TEST.NAME:NoChange
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.prevStopButtonState:BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.stopButtonPressPending:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.prevStopButtonState:BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.stopButtonPressPending:0
TEST.END

-- Test Case: PressTimedOut
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleStopButtonProcessing
TEST.NEW
TEST.NAME:PressTimedOut
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.prevStopButtonState:BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.stopButtonPressPending:1
TEST.VALUE:Buttons.<<GLOBAL>>.stopButtonPendingTimer:500
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1000
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.prevStopButtonState:BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.stopButtonPressPending:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.stopButtonPendingTimer:500
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:500
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:500
TEST.END

-- Test Case: PressedToReleased
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleStopButtonProcessing
TEST.NEW
TEST.NAME:PressedToReleased
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.prevStopButtonState:BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.stopButtonPressPending:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.prevStopButtonState:BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.stopButtonPressPending:0
TEST.END

-- Test Case: ReleasedToPressed
TEST.UNIT:Buttons
TEST.SUBPROGRAM:handleStopButtonProcessing
TEST.NEW
TEST.NAME:ReleasedToPressed
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.prevStopButtonState:BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.stopButtonPressPending:0
TEST.VALUE:Buttons.<<GLOBAL>>.stopButtonPendingTimer:0
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1000
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_PRESSED
TEST.EXPECTED:Buttons.<<GLOBAL>>.prevStopButtonState:BUTTON_STATE_PRESSED
TEST.EXPECTED:Buttons.<<GLOBAL>>.stopButtonPressPending:1
TEST.EXPECTED:Buttons.<<GLOBAL>>.stopButtonPendingTimer:1000
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:1000
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:500
TEST.END

-- Subprogram: initButtons

-- Test Case: NominalPath
TEST.UNIT:Buttons
TEST.SUBPROGRAM:initButtons
TEST.NEW
TEST.NAME:NominalPath
TEST.VALUE:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:1
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestPulseCount:1
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestPulseTimer:1
TEST.VALUE:Buttons.<<GLOBAL>>.prevStopButtonState:BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.stopButtonPressPending:1
TEST.VALUE:Buttons.<<GLOBAL>>.stopButtonPendingTimer:1
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestState:BUTTON_SELF_TEST_STATE_COMPLETE
TEST.VALUE:Buttons.<<GLOBAL>>.buttonSelfTestTimerCount:1
TEST.EXPECTED:Buttons.<<GLOBAL>>.prevOffButtonState:BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestPulseCount:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestPulseTimer:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.prevStopButtonState:BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.stopButtonPressPending:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.stopButtonPendingTimer:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.buttonSelfTestState:BUTTON_SELF_TEST_STATE_START
TEST.EXPECTED:Buttons.<<GLOBAL>>.buttonSelfTestTimerCount:0
TEST.END

-- Subprogram: initiatePowerOff

-- Test Case: initiatePowerOff.001
TEST.UNIT:Buttons
TEST.SUBPROGRAM:initiatePowerOff
TEST.NEW
TEST.NAME:initiatePowerOff.001
TEST.END

-- Subprogram: isCurrentOpModeOkToTurnOff

-- Test Case: COND_1_ROW_4_PAIR_a_TFF
TEST.UNIT:Buttons
TEST.SUBPROGRAM:isCurrentOpModeOkToTurnOff
TEST.NEW
TEST.NAME:COND_1_ROW_4_PAIR_a_TFF
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((opMode == (MODE_STAN) || opMode == (MODE_SERV)) || opMode == (MODE_FAUL)) ==> TRUE
      Row number 4 forms a pair with Row 8 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
         Condition c ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.END

-- Test Case: COND_1_ROW_6_PAIR_b_FTF-TEMPLATE
TEST.UNIT:Buttons
TEST.SUBPROGRAM:isCurrentOpModeOkToTurnOff
TEST.NEW
TEST.NAME:COND_1_ROW_6_PAIR_b_FTF-TEMPLATE
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((opMode == (MODE_STAN) || opMode == (MODE_SERV)) || opMode == (MODE_FAUL)) ==> TRUE
      Row number 6 forms a pair with Row 8 for Condition #1, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
         Condition c ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable opMode: 'equal to' and 'not equal to' same value in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT
TEST.END

-- Test Case: COND_1_ROW_7_PAIR_c_FFT-TEMPLATE
TEST.UNIT:Buttons
TEST.SUBPROGRAM:isCurrentOpModeOkToTurnOff
TEST.NEW
TEST.NAME:COND_1_ROW_7_PAIR_c_FFT-TEMPLATE
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((opMode == (MODE_STAN) || opMode == (MODE_SERV)) || opMode == (MODE_FAUL)) ==> TRUE
      Row number 7 forms a pair with Row 8 for Condition #1, subcondition "c".
         Condition a ==> FALSE
         Condition b ==> FALSE
         Condition c ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable opMode: 'equal to' and 'not equal to' same value in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT
TEST.END

-- Test Case: COND_1_ROW_8_PAIR_a_FFF
TEST.UNIT:Buttons
TEST.SUBPROGRAM:isCurrentOpModeOkToTurnOff
TEST.NEW
TEST.NAME:COND_1_ROW_8_PAIR_a_FFF
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((opMode == (MODE_STAN) || opMode == (MODE_SERV)) || opMode == (MODE_FAUL)) ==> FALSE
      Row number 8 forms a pair with Row 4 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
         Condition c ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT
TEST.END

-- Test Case: FaultMode
TEST.UNIT:Buttons
TEST.SUBPROGRAM:isCurrentOpModeOkToTurnOff
TEST.NEW
TEST.NAME:FaultMode
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.EXPECTED:Buttons.isCurrentOpModeOkToTurnOff.return:1
TEST.END

-- Test Case: InvalidMode
TEST.UNIT:Buttons
TEST.SUBPROGRAM:isCurrentOpModeOkToTurnOff
TEST.NEW
TEST.NAME:InvalidMode
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.EXPECTED:Buttons.isCurrentOpModeOkToTurnOff.return:0
TEST.END

-- Test Case: ServiceMode
TEST.UNIT:Buttons
TEST.SUBPROGRAM:isCurrentOpModeOkToTurnOff
TEST.NEW
TEST.NAME:ServiceMode
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_SERV
TEST.EXPECTED:Buttons.isCurrentOpModeOkToTurnOff.return:1
TEST.END

-- Test Case: StandbyMode
TEST.UNIT:Buttons
TEST.SUBPROGRAM:isCurrentOpModeOkToTurnOff
TEST.NEW
TEST.NAME:StandbyMode
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.EXPECTED:Buttons.isCurrentOpModeOkToTurnOff.return:1
TEST.END

-- Subprogram: isStopButtonPressed

-- Test Case: NominalPath
TEST.UNIT:Buttons
TEST.SUBPROGRAM:isStopButtonPressed
TEST.NEW
TEST.NAME:NominalPath
TEST.VALUE:Buttons.<<GLOBAL>>.stopButtonPressPending:1
TEST.EXPECTED:Buttons.<<GLOBAL>>.stopButtonPressPending:0
TEST.EXPECTED:Buttons.isStopButtonPressed.return:1
TEST.END

-- Subprogram: testResetOffButtonStateOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Buttons
TEST.SUBPROGRAM:testResetOffButtonStateOverride
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 ((1) == isTestingActivated()) ==> 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:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Buttons
TEST.SUBPROGRAM:testResetOffButtonStateOverride
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 ((1) == isTestingActivated()) ==> 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:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Test Case: TestingActive
TEST.UNIT:Buttons
TEST.SUBPROGRAM:testResetOffButtonStateOverride
TEST.NEW
TEST.NAME:TestingActive
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.ovInitData:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.ovData:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.override:0xCCC33C33
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.ovInitData:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.ovData:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.override:0
TEST.EXPECTED:Buttons.testResetOffButtonStateOverride.return:1
TEST.END

-- Test Case: TestingInactive
TEST.UNIT:Buttons
TEST.SUBPROGRAM:testResetOffButtonStateOverride
TEST.NEW
TEST.NAME:TestingInactive
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.ovInitData:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.ovData:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.override:0xCCC33C33
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.ovInitData:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.ovData:MACRO=BUTTON_STATE_PRESSED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.override:0xCCC33C33
TEST.EXPECTED:Buttons.testResetOffButtonStateOverride.return:0
TEST.END

-- Subprogram: testResetStopButtonStateOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Buttons
TEST.SUBPROGRAM:testResetStopButtonStateOverride
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 ((1) == isTestingActivated()) ==> 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:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Buttons
TEST.SUBPROGRAM:testResetStopButtonStateOverride
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 ((1) == isTestingActivated()) ==> 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:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Test Case: TestingActive
TEST.UNIT:Buttons
TEST.SUBPROGRAM:testResetStopButtonStateOverride
TEST.NEW
TEST.NAME:TestingActive
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.ovInitData:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.ovData:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.override:0xCCC33C33
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataStopButtonState.ovInitData:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataStopButtonState.ovData:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataStopButtonState.override:0
TEST.EXPECTED:Buttons.testResetStopButtonStateOverride.return:1
TEST.END

-- Test Case: TestingInactive
TEST.UNIT:Buttons
TEST.SUBPROGRAM:testResetStopButtonStateOverride
TEST.NEW
TEST.NAME:TestingInactive
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.ovInitData:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.ovData:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.override:0xCCC33C33
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataStopButtonState.ovInitData:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataStopButtonState.ovData:MACRO=BUTTON_STATE_PRESSED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataStopButtonState.override:0xCCC33C33
TEST.EXPECTED:Buttons.testResetStopButtonStateOverride.return:0
TEST.END

-- Subprogram: testSetOffButtonStateOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Buttons
TEST.SUBPROGRAM:testSetOffButtonStateOverride
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 ((1) == isTestingActivated()) ==> 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:Buttons.testSetOffButtonStateOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Buttons
TEST.SUBPROGRAM:testSetOffButtonStateOverride
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 ((1) == isTestingActivated()) ==> 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:Buttons.testSetOffButtonStateOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Test Case: TestingActive
TEST.UNIT:Buttons
TEST.SUBPROGRAM:testSetOffButtonStateOverride
TEST.NEW
TEST.NAME:TestingActive
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.ovInitData:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.ovData:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.override:0
TEST.VALUE:Buttons.testSetOffButtonStateOverride.value:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.ovInitData:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.ovData:MACRO=BUTTON_STATE_PRESSED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.override:0xCCC33C33
TEST.EXPECTED:Buttons.testSetOffButtonStateOverride.return:1
TEST.END

-- Test Case: TestingInactive
TEST.UNIT:Buttons
TEST.SUBPROGRAM:testSetOffButtonStateOverride
TEST.NEW
TEST.NAME:TestingInactive
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.ovInitData:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.ovData:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataOffButtonState.override:0
TEST.VALUE:Buttons.testSetOffButtonStateOverride.value:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.ovInitData:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.ovData:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataOffButtonState.override:0x0
TEST.EXPECTED:Buttons.testSetOffButtonStateOverride.return:0
TEST.END

-- Subprogram: testSetStopButtonStateOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Buttons
TEST.SUBPROGRAM:testSetStopButtonStateOverride
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 ((1) == isTestingActivated()) ==> 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:Buttons.testSetStopButtonStateOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Buttons
TEST.SUBPROGRAM:testSetStopButtonStateOverride
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 ((1) == isTestingActivated()) ==> 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:Buttons.testSetStopButtonStateOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Test Case: TestingActive
TEST.UNIT:Buttons
TEST.SUBPROGRAM:testSetStopButtonStateOverride
TEST.NEW
TEST.NAME:TestingActive
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.ovInitData:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.ovData:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.override:0
TEST.VALUE:Buttons.testSetStopButtonStateOverride.value:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataStopButtonState.ovInitData:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataStopButtonState.ovData:MACRO=BUTTON_STATE_PRESSED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataStopButtonState.override:0xCCC33C33
TEST.EXPECTED:Buttons.testSetStopButtonStateOverride.return:1
TEST.END

-- Test Case: TestingInactive
TEST.UNIT:Buttons
TEST.SUBPROGRAM:testSetStopButtonStateOverride
TEST.NEW
TEST.NAME:TestingInactive
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.ovInitData:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.ovData:MACRO=BUTTON_STATE_RELEASED
TEST.VALUE:Buttons.<<GLOBAL>>.dataStopButtonState.override:0
TEST.VALUE:Buttons.testSetStopButtonStateOverride.value:MACRO=BUTTON_STATE_PRESSED
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataStopButtonState.data:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataStopButtonState.ovInitData:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataStopButtonState.ovData:MACRO=BUTTON_STATE_RELEASED
TEST.EXPECTED:Buttons.<<GLOBAL>>.dataStopButtonState.override:0x0
TEST.EXPECTED:Buttons.testSetStopButtonStateOverride.return:0
TEST.END

-- Subprogram: userConfirmOffButton

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:Buttons
TEST.SUBPROGRAM:userConfirmOffButton
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) case (response) ==> OFF_BUTTON_RSP_USER_REQUESTS_POWER_OFF
      (2) if ((1) == isCurrentOpModeOkToTurnOff()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Buttons.isCurrentOpModeOkToTurnOff
TEST.VALUE:Buttons.userConfirmOffButton.response:0
TEST.VALUE:Buttons.isCurrentOpModeOkToTurnOff.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:Buttons
TEST.SUBPROGRAM:userConfirmOffButton
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) case (response) ==> OFF_BUTTON_RSP_USER_REQUESTS_POWER_OFF
      (2) if ((1) == isCurrentOpModeOkToTurnOff()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Buttons.isCurrentOpModeOkToTurnOff
TEST.VALUE:Buttons.userConfirmOffButton.response:0
TEST.VALUE:Buttons.isCurrentOpModeOkToTurnOff.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T
TEST.UNIT:Buttons
TEST.SUBPROGRAM:userConfirmOffButton
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (3) case (response) ==> OFF_BUTTON_RSP_USER_CONFIRMS_POWER_OFF
      (4) if ((1) == offRequestAwaitingUserConfirmation) ==> 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:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:1
TEST.VALUE:Buttons.userConfirmOffButton.response:1
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F
TEST.UNIT:Buttons
TEST.SUBPROGRAM:userConfirmOffButton
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (3) case (response) ==> OFF_BUTTON_RSP_USER_CONFIRMS_POWER_OFF
      (4) if ((1) == offRequestAwaitingUserConfirmation) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:<<MIN>>
TEST.VALUE:Buttons.userConfirmOffButton.response:1
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T
TEST.UNIT:Buttons
TEST.SUBPROGRAM:userConfirmOffButton
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:6 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (3) case (response) ==> OFF_BUTTON_RSP_USER_CONFIRMS_POWER_OFF
      (4) if ((1) == offRequestAwaitingUserConfirmation) ==> TRUE
      (5) if ((1) == isCurrentOpModeOkToTurnOff()) ==> 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.STUB:Buttons.isCurrentOpModeOkToTurnOff
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:1
TEST.VALUE:Buttons.userConfirmOffButton.response:1
TEST.VALUE:Buttons.isCurrentOpModeOkToTurnOff.return:1
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F
TEST.UNIT:Buttons
TEST.SUBPROGRAM:userConfirmOffButton
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:5 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (3) case (response) ==> OFF_BUTTON_RSP_USER_CONFIRMS_POWER_OFF
      (4) if ((1) == offRequestAwaitingUserConfirmation) ==> TRUE
      (5) if ((1) == isCurrentOpModeOkToTurnOff()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Buttons.isCurrentOpModeOkToTurnOff
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:1
TEST.VALUE:Buttons.userConfirmOffButton.response:1
TEST.VALUE:Buttons.isCurrentOpModeOkToTurnOff.return:<<MIN>>
TEST.END

-- Test Case: COND_7_ROW_1_PAIR_a_T
TEST.UNIT:Buttons
TEST.SUBPROGRAM:userConfirmOffButton
TEST.NEW
TEST.NAME:COND_7_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:8 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (6) case (response) ==> OFF_BUTTON_RSP_USER_REJECTS_POWER_OFF
      (7) if ((1) == offRequestAwaitingUserConfirmation) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:1
TEST.VALUE:Buttons.userConfirmOffButton.response:2
TEST.END

-- Test Case: COND_7_ROW_2_PAIR_a_F
TEST.UNIT:Buttons
TEST.SUBPROGRAM:userConfirmOffButton
TEST.NEW
TEST.NAME:COND_7_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:7 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (6) case (response) ==> OFF_BUTTON_RSP_USER_REJECTS_POWER_OFF
      (7) if ((1) == offRequestAwaitingUserConfirmation) ==> 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:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:<<MIN>>
TEST.VALUE:Buttons.userConfirmOffButton.response:2
TEST.END

-- Test Case: InvalidCmdFromUI
TEST.UNIT:Buttons
TEST.SUBPROGRAM:userConfirmOffButton
TEST.NEW
TEST.NAME:InvalidCmdFromUI
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:1
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.VALUE:Buttons.userConfirmOffButton.response:3
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:1
TEST.EXPECTED:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.END

-- Test Case: InvalidModeToTurnOff
TEST.UNIT:Buttons
TEST.SUBPROGRAM:userConfirmOffButton
TEST.NEW
TEST.NAME:InvalidModeToTurnOff
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:1
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.VALUE:Buttons.userConfirmOffButton.response:1
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.END

-- Test Case: OffButtonRejected
TEST.UNIT:Buttons
TEST.SUBPROGRAM:userConfirmOffButton
TEST.NEW
TEST.NAME:OffButtonRejected
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:1
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.VALUE:Buttons.userConfirmOffButton.response:2
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.END

-- Test Case: OffDuringFaultMode
TEST.UNIT:Buttons
TEST.SUBPROGRAM:userConfirmOffButton
TEST.NEW
TEST.NAME:OffDuringFaultMode
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:1
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.VALUE:Buttons.userConfirmOffButton.response:1
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offButtonPressPending:1
TEST.END

-- Test Case: OffDuringServiceMode
TEST.UNIT:Buttons
TEST.SUBPROGRAM:userConfirmOffButton
TEST.NEW
TEST.NAME:OffDuringServiceMode
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:1
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.VALUE:Buttons.userConfirmOffButton.response:1
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_SERV
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offButtonPressPending:1
TEST.END

-- Test Case: OffDuringStandbyMode
TEST.UNIT:Buttons
TEST.SUBPROGRAM:userConfirmOffButton
TEST.NEW
TEST.NAME:OffDuringStandbyMode
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:1
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.VALUE:Buttons.userConfirmOffButton.response:1
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offButtonPressPending:1
TEST.END

-- Test Case: UserReqOffDuringInvalidModeToTurnOff
TEST.UNIT:Buttons
TEST.SUBPROGRAM:userConfirmOffButton
TEST.NEW
TEST.NAME:UserReqOffDuringInvalidModeToTurnOff
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:0
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestPendingTimer:1
TEST.VALUE:Buttons.userConfirmOffButton.response:0
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.sendOffButtonMsgToUI.return:1
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestPendingTimer:1
TEST.EXPECTED:uut_prototype_stubs.sendOffButtonMsgToUI.cmd:2
TEST.END

-- Test Case: UserReqOffDuringServiceMode
TEST.UNIT:Buttons
TEST.SUBPROGRAM:userConfirmOffButton
TEST.NEW
TEST.NAME:UserReqOffDuringServiceMode
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:0
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestPendingTimer:1
TEST.VALUE:Buttons.userConfirmOffButton.response:0
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_SERV
TEST.VALUE:uut_prototype_stubs.sendOffButtonMsgToUI.return:1
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:1
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestPendingTimer:0
TEST.EXPECTED:uut_prototype_stubs.sendOffButtonMsgToUI.cmd:0
TEST.END

-- Test Case: userConfirmOffButton_NoConfirmExpected
TEST.UNIT:Buttons
TEST.SUBPROGRAM:userConfirmOffButton
TEST.NEW
TEST.NAME:userConfirmOffButton_NoConfirmExpected
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:0
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestPulseCount:0
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestPulseTimer:1
TEST.VALUE:Buttons.userConfirmOffButton.response:1
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestPulseCount:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestPulseTimer:1
TEST.END

-- Test Case: userConfirmOffButton_NoRejectExpected
TEST.UNIT:Buttons
TEST.SUBPROGRAM:userConfirmOffButton
TEST.NEW
TEST.NAME:userConfirmOffButton_NoRejectExpected
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:0
TEST.VALUE:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestPulseCount:0
TEST.VALUE:Buttons.<<GLOBAL>>.offRequestPulseTimer:1
TEST.VALUE:Buttons.userConfirmOffButton.response:2
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestAwaitingUserConfirmation:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offButtonPressPending:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestPulseCount:0
TEST.EXPECTED:Buttons.<<GLOBAL>>.offRequestPulseTimer:1
TEST.END