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

-- Subprogram: doorClosedRequired

-- Test Case: doorClosedRequired.001
TEST.UNIT:Switches
TEST.SUBPROGRAM:doorClosedRequired
TEST.NEW
TEST.NAME:doorClosedRequired.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.VALUE:Switches.doorClosedRequired.door:10
TEST.VALUE:Switches.doorClosedRequired.pumpTrack:20
TEST.EXPECTED:Switches.<<GLOBAL>>.requireDoorClosed:10
TEST.EXPECTED:Switches.<<GLOBAL>>.requirePumpTrackLocked:20
TEST.EXPECTED:Switches.doorClosedRequired.door:10
TEST.EXPECTED:Switches.doorClosedRequired.pumpTrack:20
TEST.END

-- Subprogram: execSwitches

-- Test Case: execSwitches.001
TEST.UNIT:Switches
TEST.SUBPROGRAM:execSwitches
TEST.NEW
TEST.NAME:execSwitches.001
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) for (i < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (2) case (i) ==> FRONT_DOOR
      (3) (0 == getFPGAFrontDoorStatus()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set i due to assignment
TEST.END_NOTES:
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.data:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.override:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].debounceStartTime:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].status.data:0x20
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].status.override:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].debounceStartTime:1
TEST.VALUE:uut_prototype_stubs.getFPGAFrontDoorStatus.return:0x10
TEST.VALUE:uut_prototype_stubs.getFPGAPumpTrackSwitchStatus.return:0x20
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1234
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.data:0x0
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.override:0
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].debounceStartTime:1234
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].status.data:1
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].status.override:0
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].debounceStartTime:0
TEST.END

-- Test Case: execSwitches_Swtiches_Closed
TEST.UNIT:Switches
TEST.SUBPROGRAM:execSwitches
TEST.NEW
TEST.NAME:execSwitches_Swtiches_Closed
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) for (i < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (2) case (i) ==> FRONT_DOOR
      (3) (0 == getFPGAFrontDoorStatus()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set i due to assignment
TEST.END_NOTES:
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.data:0x10
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.override:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].debounceStartTime:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].status.data:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].status.override:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].debounceStartTime:1
TEST.VALUE:uut_prototype_stubs.getFPGAFrontDoorStatus.return:0
TEST.VALUE:uut_prototype_stubs.getFPGAPumpTrackSwitchStatus.return:0
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1234
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].debounceStartTime:1234
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].debounceStartTime:0
TEST.END

-- Test Case: execSwitches_Swtiches_Front_Closed_2_Open
TEST.UNIT:Switches
TEST.SUBPROGRAM:execSwitches
TEST.NEW
TEST.NAME:execSwitches_Swtiches_Front_Closed_2_Open
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) for (i < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (2) case (i) ==> FRONT_DOOR
      (3) (0 == getFPGAFrontDoorStatus()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set i due to assignment
TEST.END_NOTES:
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.data:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.override:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].debounceStartTime:1234
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].status.data:0x20
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].status.override:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].debounceStartTime:1
TEST.VALUE:uut_prototype_stubs.getFPGAFrontDoorStatus.return:0x10
TEST.VALUE:uut_prototype_stubs.getFPGAPumpTrackSwitchStatus.return:0x20
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1234
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.data:0x1
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].debounceStartTime:0
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].debounceStartTime:0
TEST.END

-- Test Case: execSwitches_Swtiches_Open
TEST.UNIT:Switches
TEST.SUBPROGRAM:execSwitches
TEST.NEW
TEST.NAME:execSwitches_Swtiches_Open
TEST.MCDC_BASIS_PATH:10 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) for (i < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (2) case (i) ==> FRONT_DOOR
      (3) (0 == getFPGAFrontDoorStatus()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set i due to assignment
TEST.END_NOTES:
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.override:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].debounceStartTime:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].status.override:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].debounceStartTime:1
TEST.VALUE:uut_prototype_stubs.getFPGAFrontDoorStatus.return:0x10
TEST.VALUE:uut_prototype_stubs.getFPGAPumpTrackSwitchStatus.return:0x20
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1234
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].debounceStartTime:1234
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].debounceStartTime:1
TEST.END

-- Test Case: execSwitches_Swtiches_Open.001
TEST.UNIT:Switches
TEST.SUBPROGRAM:execSwitches
TEST.NEW
TEST.NAME:execSwitches_Swtiches_Open.001
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) for (i < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (2) case (i) ==> FRONT_DOOR
      (3) (0 == getFPGAFrontDoorStatus()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set i due to assignment
TEST.END_NOTES:
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.data:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.override:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].debounceStartTime:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].status.data:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].status.override:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].debounceStartTime:1
TEST.VALUE:uut_prototype_stubs.getFPGAFrontDoorStatus.return:0x10
TEST.VALUE:uut_prototype_stubs.getFPGAPumpTrackSwitchStatus.return:0x20
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1234
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].debounceStartTime:1234
TEST.END

-- Subprogram: getPublishSwitchesDataInterval

-- Test Case: getPublishSwitchesDataInterval.001
TEST.UNIT:Switches
TEST.SUBPROGRAM:getPublishSwitchesDataInterval
TEST.NEW
TEST.NAME:getPublishSwitchesDataInterval.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0xccc33c33U == switchesDataPublishInterval.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:Switches.<<GLOBAL>>.switchesDataPublishInterval.ovData:100
TEST.VALUE:Switches.<<GLOBAL>>.switchesDataPublishInterval.override:3435346995
TEST.EXPECTED:Switches.getPublishSwitchesDataInterval.return:100
TEST.END

-- Test Case: getPublishSwitchesDataInterval.002
TEST.UNIT:Switches
TEST.SUBPROGRAM:getPublishSwitchesDataInterval
TEST.NEW
TEST.NAME:getPublishSwitchesDataInterval.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (0xccc33c33U == switchesDataPublishInterval.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:Switches.<<GLOBAL>>.switchesDataPublishInterval.data:100
TEST.VALUE:Switches.<<GLOBAL>>.switchesDataPublishInterval.override:<<MIN>>
TEST.EXPECTED:Switches.getPublishSwitchesDataInterval.return:100
TEST.END

-- Subprogram: getSwitchStatus

-- Test Case: getSwitchStatus.001
TEST.UNIT:Switches
TEST.SUBPROGRAM:getSwitchStatus
TEST.NEW
TEST.NAME:getSwitchStatus.001
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (switchId < (NUM_OF_DOORS_AND_SWITCHES)) ==> 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:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].status.data:0
TEST.VALUE:Switches.getSwitchStatus.switchId:<<MIN>>
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].status.data:0
TEST.EXPECTED:Switches.getSwitchStatus.return:STATE_CLOSED
TEST.END

-- Test Case: getSwitchStatus.002
TEST.UNIT:Switches
TEST.SUBPROGRAM:getSwitchStatus
TEST.NEW
TEST.NAME:getSwitchStatus.002
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (switchId < (NUM_OF_DOORS_AND_SWITCHES)) ==> 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:Switches.getSwitchStatus.switchId:<<MAX>>
TEST.VALUE:Switches.getSwitchStatus.return:NUM_OF_OPN_CLS_STATES
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:131
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:2
TEST.EXPECTED:Switches.getSwitchStatus.return:STATE_CLOSED
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:131
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:2
TEST.END

-- Test Case: getSwitchStatus.003
TEST.UNIT:Switches
TEST.SUBPROGRAM:getSwitchStatus
TEST.NEW
TEST.NAME:getSwitchStatus.003
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (switchId < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (2) if (0xccc33c33U == ((switchesStatus[switchId]).status).override) ==> 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:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.data:100
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.override:3435346995
TEST.VALUE:Switches.getSwitchStatus.switchId:FRONT_DOOR
TEST.EXPECTED:Switches.getSwitchStatus.return:STATE_CLOSED
TEST.END

-- Subprogram: handleSwitchAlarms

-- Test Case: handleSwitchAlarms.001
TEST.UNIT:Switches
TEST.SUBPROGRAM:handleSwitchAlarms
TEST.NEW
TEST.NAME:handleSwitchAlarms.001
TEST.BASIS_PATH:4 of 7 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == requireDoorClosed) ==> FALSE
      (3) if ((1) == requirePumpTrackLocked) ==> TRUE
      (4) if (getSwitchStatus(PUMP_TRACK_SWITCH) != (STATE_CLOSED)) ==> FALSE
      (5) if ((STATE_CLOSED) == getSwitchStatus(FRONT_DOOR) || requireDoorClosed != (1)) ==> FALSE
      (6) if ((STATE_CLOSED) == getSwitchStatus(PUMP_TRACK_SWITCH) || requirePumpTrackLocked != (1)) ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable Switches.<<GLOBAL>>.requireDoorClosed 'equal to' and 'not equal to' same value in branches 1/5
      Conflict: Trying to set variable Switches.getSwitchStatus.return 'equal to' and 'not equal to' same value in branches 4/5
      Conflict: Trying to set variable Switches.getSwitchStatus.return 'equal to' and 'not equal to' same value in branches 4/6
TEST.END_NOTES:
TEST.STUB:Switches.getSwitchStatus
TEST.VALUE:Switches.<<GLOBAL>>.requireDoorClosed:<<MIN>>
TEST.VALUE:Switches.<<GLOBAL>>.requirePumpTrackLocked:1
TEST.VALUE:Switches.getSwitchStatus.return:STATE_CLOSED
TEST.EXPECTED:Switches.<<GLOBAL>>.requireDoorClosed:0
TEST.EXPECTED:Switches.<<GLOBAL>>.requirePumpTrackLocked:1
TEST.END

-- Test Case: handleSwitchAlarms.002
TEST.UNIT:Switches
TEST.SUBPROGRAM:handleSwitchAlarms
TEST.NEW
TEST.NAME:handleSwitchAlarms.002
TEST.BASIS_PATH:5 of 7 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == requireDoorClosed) ==> FALSE
      (3) if ((1) == requirePumpTrackLocked) ==> TRUE
      (4) if (getSwitchStatus(PUMP_TRACK_SWITCH) != (STATE_CLOSED)) ==> TRUE
      (5) if ((STATE_CLOSED) == getSwitchStatus(FRONT_DOOR) || requireDoorClosed != (1)) ==> FALSE
      (6) if ((STATE_CLOSED) == getSwitchStatus(PUMP_TRACK_SWITCH) || requirePumpTrackLocked != (1)) ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable Switches.<<GLOBAL>>.requireDoorClosed 'equal to' and 'not equal to' same value in branches 1/5
TEST.END_NOTES:
TEST.STUB:Switches.getSwitchStatus
TEST.VALUE:Switches.<<GLOBAL>>.requireDoorClosed:<<MIN>>
TEST.VALUE:Switches.<<GLOBAL>>.requirePumpTrackLocked:1
TEST.VALUE:Switches.getSwitchStatus.return:STATE_OPEN
TEST.EXPECTED:Switches.<<GLOBAL>>.requireDoorClosed:0
TEST.EXPECTED:Switches.<<GLOBAL>>.requirePumpTrackLocked:1
TEST.END

-- Test Case: handleSwitchAlarms.003
TEST.UNIT:Switches
TEST.SUBPROGRAM:handleSwitchAlarms
TEST.NEW
TEST.NAME:handleSwitchAlarms.003
TEST.BASIS_PATH:6 of 7 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == requireDoorClosed) ==> TRUE
      (2) if (getSwitchStatus(FRONT_DOOR) != (STATE_CLOSED)) ==> FALSE
      (3) if ((1) == requirePumpTrackLocked) ==> FALSE
      (5) if ((STATE_CLOSED) == getSwitchStatus(FRONT_DOOR) || requireDoorClosed != (1)) ==> FALSE
      (6) if ((STATE_CLOSED) == getSwitchStatus(PUMP_TRACK_SWITCH) || requirePumpTrackLocked != (1)) ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable Switches.<<GLOBAL>>.requirePumpTrackLocked 'equal to' and 'not equal to' same value in branches 3/6
      Conflict: Trying to set variable Switches.getSwitchStatus.return 'equal to' and 'not equal to' same value in branches 2/5
      Conflict: Trying to set variable Switches.getSwitchStatus.return 'equal to' and 'not equal to' same value in branches 2/6
TEST.END_NOTES:
TEST.STUB:Switches.getSwitchStatus
TEST.VALUE:Switches.<<GLOBAL>>.requireDoorClosed:1
TEST.VALUE:Switches.<<GLOBAL>>.requirePumpTrackLocked:<<MIN>>
TEST.VALUE:Switches.getSwitchStatus.return:STATE_CLOSED
TEST.EXPECTED:Switches.<<GLOBAL>>.requireDoorClosed:1
TEST.EXPECTED:Switches.<<GLOBAL>>.requirePumpTrackLocked:0
TEST.END

-- Test Case: handleSwitchAlarms.004
TEST.UNIT:Switches
TEST.SUBPROGRAM:handleSwitchAlarms
TEST.NEW
TEST.NAME:handleSwitchAlarms.004
TEST.BASIS_PATH:7 of 7 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == requireDoorClosed) ==> TRUE
      (2) if (getSwitchStatus(FRONT_DOOR) != (STATE_CLOSED)) ==> TRUE
      (3) if ((1) == requirePumpTrackLocked) ==> FALSE
      (5) if ((STATE_CLOSED) == getSwitchStatus(FRONT_DOOR) || requireDoorClosed != (1)) ==> FALSE
      (6) if ((STATE_CLOSED) == getSwitchStatus(PUMP_TRACK_SWITCH) || requirePumpTrackLocked != (1)) ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable Switches.<<GLOBAL>>.requirePumpTrackLocked 'equal to' and 'not equal to' same value in branches 3/6
TEST.END_NOTES:
TEST.STUB:Switches.getSwitchStatus
TEST.VALUE:Switches.<<GLOBAL>>.requireDoorClosed:1
TEST.VALUE:Switches.<<GLOBAL>>.requirePumpTrackLocked:<<MIN>>
TEST.VALUE:Switches.getSwitchStatus.return:STATE_OPEN
TEST.EXPECTED:Switches.<<GLOBAL>>.requireDoorClosed:1
TEST.EXPECTED:Switches.<<GLOBAL>>.requirePumpTrackLocked:0
TEST.END

-- Subprogram: initSwitches

-- Test Case: initSwitches.001
TEST.UNIT:Switches
TEST.SUBPROGRAM:initSwitches
TEST.NEW
TEST.NAME:initSwitches.001
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (i < (NUM_OF_DOORS_AND_SWITCHES)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:Switches.<<GLOBAL>>.switchesDataPublicationCounter:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.data:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.ovInitData:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.ovData:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.override:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].debounceStartTime:0
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesDataPublicationCounter:90
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.data:0
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.ovInitData:0
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.ovData:0
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.override:0
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].debounceStartTime:0
TEST.END

-- Subprogram: publishSwitchesData

-- Test Case: publishSwitchesData.001
TEST.UNIT:Switches
TEST.SUBPROGRAM:publishSwitchesData
TEST.NEW
TEST.NAME:publishSwitchesData.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (++switchesDataPublicationCounter > getPublishSwitchesDataInterval()) ==> 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:Switches.getSwitchStatus
TEST.STUB:Switches.getPublishSwitchesDataInterval
TEST.VALUE:Switches.<<GLOBAL>>.switchesDataPublicationCounter:0
TEST.VALUE:Switches.getSwitchStatus.switchId:FRONT_DOOR,PUMP_TRACK_SWITCH
TEST.VALUE:Switches.getPublishSwitchesDataInterval.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_SWITCHES_DATA
TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.VALUE:uut_prototype_stubs.broadcastData.dataPtr:""
TEST.VALUE:uut_prototype_stubs.broadcastData.length:8
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesDataPublicationCounter:0
TEST.EXPECTED:Switches.getSwitchStatus.switchId:FRONT_DOOR,PUMP_TRACK_SWITCH
TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_SWITCHES_DATA
TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:8
TEST.END

-- Test Case: publishSwitchesData.002
TEST.UNIT:Switches
TEST.SUBPROGRAM:publishSwitchesData
TEST.NEW
TEST.NAME:publishSwitchesData.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++switchesDataPublicationCounter > getPublishSwitchesDataInterval()) ==> 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:Switches.getPublishSwitchesDataInterval
TEST.VALUE:Switches.<<GLOBAL>>.switchesDataPublicationCounter:0
TEST.VALUE:Switches.getPublishSwitchesDataInterval.return:<<MAX>>
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesDataPublicationCounter:1
TEST.END

-- Subprogram: testResetSwitchesDataPublishIntervalOverrid

-- Test Case: testResetSwitchesDataPublishIntervalOverrid.001
TEST.UNIT:Switches
TEST.SUBPROGRAM:testResetSwitchesDataPublishIntervalOverrid
TEST.NEW
TEST.NAME:testResetSwitchesDataPublishIntervalOverrid.001
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:Switches.<<GLOBAL>>.switchesDataPublishInterval.ovInitData:100
TEST.VALUE:Switches.<<GLOBAL>>.switchesDataPublishInterval.override:0x0
TEST.VALUE:Switches.testResetSwitchesDataPublishIntervalOverrid.return:1
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesDataPublishInterval.ovData:100
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesDataPublishInterval.override:0x0
TEST.EXPECTED:Switches.testResetSwitchesDataPublishIntervalOverrid.return:1
TEST.END

-- Test Case: testResetSwitchesDataPublishIntervalOverrid.002
TEST.UNIT:Switches
TEST.SUBPROGRAM:testResetSwitchesDataPublishIntervalOverrid
TEST.NEW
TEST.NAME:testResetSwitchesDataPublishIntervalOverrid.002
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:Switches.testResetSwitchesDataPublishIntervalOverrid.return:0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.EXPECTED:Switches.testResetSwitchesDataPublishIntervalOverrid.return:0
TEST.END

-- Subprogram: testResetSwitchesStatusOverride

-- Test Case: testResetSwitchesStatusOverride.001
TEST.UNIT:Switches
TEST.SUBPROGRAM:testResetSwitchesStatusOverride
TEST.NEW
TEST.NAME:testResetSwitchesStatusOverride.001
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (switchId < (NUM_OF_DOORS_AND_SWITCHES)) ==> 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:Switches.testResetSwitchesStatusOverride.switchId:<<MAX>>
TEST.VALUE:Switches.testResetSwitchesStatusOverride.return:0
TEST.EXPECTED:Switches.testResetSwitchesStatusOverride.return:0
TEST.END

-- Test Case: testResetSwitchesStatusOverride.002
TEST.UNIT:Switches
TEST.SUBPROGRAM:testResetSwitchesStatusOverride
TEST.NEW
TEST.NAME:testResetSwitchesStatusOverride.002
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (switchId < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> 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:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.ovInitData:100
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.override:0x0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].status.ovInitData:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].status.override:0x0
TEST.VALUE:Switches.testResetSwitchesStatusOverride.switchId:<<MIN>>
TEST.VALUE:Switches.testResetSwitchesStatusOverride.return:1
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.ovData:100
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.override:0x0
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].status.ovData:0
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].status.override:0x0
TEST.EXPECTED:Switches.testResetSwitchesStatusOverride.return:1
TEST.END

-- Test Case: testResetSwitchesStatusOverride.003
TEST.UNIT:Switches
TEST.SUBPROGRAM:testResetSwitchesStatusOverride
TEST.NEW
TEST.NAME:testResetSwitchesStatusOverride.003
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (switchId < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> 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:Switches.testResetSwitchesStatusOverride.switchId:<<MIN>>
TEST.VALUE:Switches.testResetSwitchesStatusOverride.return:0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.EXPECTED:Switches.testResetSwitchesStatusOverride.return:0
TEST.END

-- Subprogram: testSetSwitchesDataPublishIntervalOverride

-- Test Case: testSetSwitchesDataPublishIntervalOverride.001
TEST.UNIT:Switches
TEST.SUBPROGRAM:testSetSwitchesDataPublishIntervalOverride
TEST.NEW
TEST.NAME:testSetSwitchesDataPublishIntervalOverride.001
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:Switches.<<GLOBAL>>.switchesDataPublishInterval.ovData:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesDataPublishInterval.override:0xCCC33C33
TEST.VALUE:Switches.testSetSwitchesDataPublishIntervalOverride.value:<<MIN>>
TEST.VALUE:Switches.testSetSwitchesDataPublishIntervalOverride.return:1
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesDataPublishInterval.ovData:0
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesDataPublishInterval.override:0xCCC33C33
TEST.EXPECTED:Switches.testSetSwitchesDataPublishIntervalOverride.return:1
TEST.END

-- Test Case: testSetSwitchesDataPublishIntervalOverride.002
TEST.UNIT:Switches
TEST.SUBPROGRAM:testSetSwitchesDataPublishIntervalOverride
TEST.NEW
TEST.NAME:testSetSwitchesDataPublishIntervalOverride.002
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:Switches.testSetSwitchesDataPublishIntervalOverride.value:<<MIN>>
TEST.VALUE:Switches.testSetSwitchesDataPublishIntervalOverride.return:0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.EXPECTED:Switches.testSetSwitchesDataPublishIntervalOverride.return:0
TEST.END

-- Subprogram: testSetSwitchesStatusOverride

-- Test Case: testSetSwitchesStatusOverride.001
TEST.UNIT:Switches
TEST.SUBPROGRAM:testSetSwitchesStatusOverride
TEST.NEW
TEST.NAME:testSetSwitchesStatusOverride.001
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (switchId < (NUM_OF_DOORS_AND_SWITCHES)) ==> 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:Switches.testSetSwitchesStatusOverride.switchId:<<MAX>>
TEST.VALUE:Switches.testSetSwitchesStatusOverride.status:<<MIN>>
TEST.VALUE:Switches.testSetSwitchesStatusOverride.return:0
TEST.EXPECTED:Switches.testSetSwitchesStatusOverride.return:0
TEST.END

-- Test Case: testSetSwitchesStatusOverride.002
TEST.UNIT:Switches
TEST.SUBPROGRAM:testSetSwitchesStatusOverride
TEST.NEW
TEST.NAME:testSetSwitchesStatusOverride.002
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (switchId < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> 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:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.ovData:0
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.override:0xCCC33C33
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].status.ovData:100
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].status.override:0xCCC33C33
TEST.VALUE:Switches.testSetSwitchesStatusOverride.switchId:<<MIN>>
TEST.VALUE:Switches.testSetSwitchesStatusOverride.status:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.ovData:0
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.override:0xCCC33C33
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].status.ovData:100
TEST.EXPECTED:Switches.<<GLOBAL>>.switchesStatus[PUMP_TRACK_SWITCH].status.override:0xCCC33C33
TEST.END

-- Test Case: testSetSwitchesStatusOverride.003
TEST.UNIT:Switches
TEST.SUBPROGRAM:testSetSwitchesStatusOverride
TEST.NEW
TEST.NAME:testSetSwitchesStatusOverride.003
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (switchId < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> 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:Switches.testSetSwitchesStatusOverride.switchId:<<MIN>>
TEST.VALUE:Switches.testSetSwitchesStatusOverride.status:<<MIN>>
TEST.VALUE:Switches.testSetSwitchesStatusOverride.return:0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.EXPECTED:Switches.testSetSwitchesStatusOverride.return:0
TEST.END