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

-- Subprogram: arbitrateModeRequest

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:arbitrateModeRequest
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (i < (MODE_NLEG)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:arbitrateModeRequest
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (i < (MODE_NLEG)) ==> 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.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:arbitrateModeRequest
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) for (i < (MODE_NLEG)) ==> TRUE
      (2) if (modeRequest[i] != (0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set i due to assignment
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[0]:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:arbitrateModeRequest
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) for (i < (MODE_NLEG)) ==> TRUE
      (2) if (modeRequest[i] != (0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set i due to assignment
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[0]:0
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:arbitrateModeRequest
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) for (i < (MODE_NLEG)) ==> FALSE
      (3) for (i < (MODE_NLEG)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:arbitrateModeRequest
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:3 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) for (i < (MODE_NLEG)) ==> FALSE
      (3) for (i < (MODE_NLEG)) ==> 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 3
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: NoRequestPending
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:arbitrateModeRequest
TEST.NEW
TEST.NAME:NoRequestPending
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[0..7]:0
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_STAN
TEST.VALUE:OperationModes.arbitrateModeRequest.return:MODE_STAN
TEST.EXPECTED:OperationModes.<<GLOBAL>>.currentMode:MODE_STAN
TEST.END

-- Test Case: RequestPending
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:arbitrateModeRequest
TEST.NEW
TEST.NAME:RequestPending
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[0..3]:0
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[4]:1
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_STAN
TEST.VALUE:OperationModes.arbitrateModeRequest.return:MODE_TPAR
TEST.EXPECTED:OperationModes.<<GLOBAL>>.currentMode:MODE_STAN
TEST.END

-- Subprogram: broadcastOperationMode

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:broadcastOperationMode
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 (++broadcastModeIntervalCtr >= getU32OverrideValue(&opModePublishInterval)) ==> 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.getU32OverrideValue.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:broadcastOperationMode
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 (++broadcastModeIntervalCtr >= getU32OverrideValue(&opModePublishInterval)) ==> 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.getU32OverrideValue.return:<<MAX>>
TEST.END

-- Test Case: broadcastOperationMode_Broadcast
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:broadcastOperationMode
TEST.NEW
TEST.NAME:broadcastOperationMode_Broadcast
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 52 TEST.VALUE:uut_prototype_stubs.broadcastHDOperationMode.return:1
    >>>     >>> Could not find function broadcastHDOperationMode
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 54 TEST.EXPECTED:uut_prototype_stubs.broadcastHDOperationMode.mode:3
    >>>     >>> Could not find function broadcastHDOperationMode
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_STAN
TEST.VALUE:OperationModes.<<GLOBAL>>.broadcastModeIntervalCtr:19
TEST.EXPECTED:OperationModes.<<GLOBAL>>.broadcastModeIntervalCtr:0
TEST.END

-- Test Case: broadcastOperationMode_NoBroadcast
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:broadcastOperationMode
TEST.NEW
TEST.NAME:broadcastOperationMode_NoBroadcast
TEST.VALUE:OperationModes.<<GLOBAL>>.broadcastModeIntervalCtr:18
TEST.END

-- Subprogram: execOperationModes

-- Test Case: COND_12_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:execOperationModes
TEST.NEW
TEST.NAME:COND_12_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (newMode >= (MODE_NLEG)) ==> FALSE
      (2) if (currentMode != newMode) ==> FALSE
      (11) case currentMode ==> default
      (12) if (priorSubMode != currentSubMode) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #12, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set currentSubMode due to assignment
      Cannot set const variable TEST.VALUE:OperationModes.<<GLOBAL>>.MODE_TRANSITION_TABLE[0][0]: in branch 1
      Cannot set variable to unknown value in branch 2
      Cannot set const variable TEST.VALUE:OperationModes.<<GLOBAL>>.MODE_TRANSITION_TABLE[0][0]:
      Conflict: Trying to set variable OperationModes.<<GLOBAL>>.currentMode 'equal to' and 'not equal to' same value in branches 1/3
TEST.END_NOTES:
TEST.STUB:OperationModes.arbitrateModeRequest
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_FAUL
TEST.VALUE:OperationModes.<<GLOBAL>>.currentSubMode:<<MIN>>
TEST.END

-- Test Case: COND_12_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:execOperationModes
TEST.NEW
TEST.NAME:COND_12_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (newMode >= (MODE_NLEG)) ==> FALSE
      (2) if (currentMode != newMode) ==> FALSE
      (11) case currentMode ==> default
      (12) if (priorSubMode != currentSubMode) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #12, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set variable to unknown value in branch 12
      Cannot set currentSubMode due to assignment
      Cannot set const variable TEST.VALUE:OperationModes.<<GLOBAL>>.MODE_TRANSITION_TABLE[0][0]: in branch 1
      Cannot set variable to unknown value in branch 2
      Cannot set const variable TEST.VALUE:OperationModes.<<GLOBAL>>.MODE_TRANSITION_TABLE[0][0]:
      Conflict: Trying to set variable OperationModes.<<GLOBAL>>.currentMode 'equal to' and 'not equal to' same value in branches 1/3
TEST.END_NOTES:
TEST.STUB:OperationModes.arbitrateModeRequest
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_FAUL
TEST.END

-- Test Case: COND_1_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:execOperationModes
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (newMode >= (MODE_NLEG)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set const variable TEST.VALUE:OperationModes.<<GLOBAL>>.MODE_TRANSITION_TABLE[0][0]: in branch 1
TEST.END_NOTES:
TEST.STUB:OperationModes.arbitrateModeRequest
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_FAUL
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:execOperationModes
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (newMode >= (MODE_NLEG)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set const variable TEST.VALUE:OperationModes.<<GLOBAL>>.MODE_TRANSITION_TABLE[0][0]: in branch 1
TEST.END_NOTES:
TEST.STUB:OperationModes.arbitrateModeRequest
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_FAUL
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:execOperationModes
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (newMode >= (MODE_NLEG)) ==> FALSE
      (2) if (currentMode != newMode) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set const variable TEST.VALUE:OperationModes.<<GLOBAL>>.MODE_TRANSITION_TABLE[0][0]: in branch 1
      Conflict: Cannot resolve multiple comparisons ( OperationModes.<<GLOBAL>>.currentMode ) in branches 1/2
      Cannot set const variable TEST.VALUE:OperationModes.<<GLOBAL>>.MODE_TRANSITION_TABLE[0][0]:
TEST.END_NOTES:
TEST.STUB:OperationModes.arbitrateModeRequest
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_FAUL
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:execOperationModes
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (newMode >= (MODE_NLEG)) ==> FALSE
      (2) if (currentMode != newMode) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set variable to unknown value in branch 2
      Cannot set const variable TEST.VALUE:OperationModes.<<GLOBAL>>.MODE_TRANSITION_TABLE[0][0]:
      Cannot set const variable TEST.VALUE:OperationModes.<<GLOBAL>>.MODE_TRANSITION_TABLE[0][0]: in branch 1
TEST.END_NOTES:
TEST.STUB:OperationModes.arbitrateModeRequest
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_FAUL
TEST.END

-- Test Case: InitPOSTToStandbyMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:execOperationModes
TEST.NEW
TEST.NAME:InitPOSTToStandbyMode
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 75 TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[4..8]:0
    >>>     >>> Array Index Value(s) out of range 0 to 7
    >>>     >>> Input Index was: 4..8
TEST.END_IMPORT_FAILURES:
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[0..2]:0
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[3]:1
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_INIT
TEST.EXPECTED:OperationModes.<<GLOBAL>>.currentMode:MODE_STAN
TEST.END

-- Test Case: InvalidMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:execOperationModes
TEST.NEW
TEST.NAME:InvalidMode
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 85 TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[0..8]:0
    >>>     >>> Array Index Value(s) out of range 0 to 7
    >>>     >>> Input Index was: 0..8
TEST.END_IMPORT_FAILURES:
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:NUM_OF_MODES
TEST.EXPECTED:OperationModes.<<GLOBAL>>.currentMode:MODE_FAUL
TEST.END

-- Test Case: InvalidModeChange
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:execOperationModes
TEST.NEW
TEST.NAME:InvalidModeChange
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 97 TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[7..8]:0
    >>>     >>> Array Index Value(s) out of range 0 to 7
    >>>     >>> Input Index was: 7..8
TEST.END_IMPORT_FAILURES:
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[0..5]:0
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[6]:1
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_INIT
TEST.EXPECTED:OperationModes.<<GLOBAL>>.currentMode:MODE_INIT
TEST.END

-- Test Case: PreTreatToTreatmentMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:execOperationModes
TEST.NEW
TEST.NAME:PreTreatToTreatmentMode
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 121 TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[8]:0
    >>>     >>> Array Index Value(s) out of range 0 to 7
    >>>     >>> Input Index was: 8
TEST.END_IMPORT_FAILURES:
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[0..5]:0
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[6]:1
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[7]:0
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_PRET
TEST.EXPECTED:OperationModes.<<GLOBAL>>.currentMode:MODE_TREA
TEST.END

-- Test Case: StandbyToServiceMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:execOperationModes
TEST.NEW
TEST.NAME:StandbyToServiceMode
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[0]:0
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[1]:1
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_STAN
TEST.EXPECTED:OperationModes.<<GLOBAL>>.currentMode:MODE_SERV
TEST.END

-- Test Case: StandbyToTreatmentParamsMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:execOperationModes
TEST.NEW
TEST.NAME:StandbyToTreatmentParamsMode
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[0..3]:0
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[4]:1
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_STAN
TEST.EXPECTED:OperationModes.<<GLOBAL>>.currentMode:MODE_TPAR
TEST.END

-- Test Case: TreatmentParamsToPreTreatMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:execOperationModes
TEST.NEW
TEST.NAME:TreatmentParamsToPreTreatMode
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[0..4]:0
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[5]:1
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_TPAR
TEST.EXPECTED:OperationModes.<<GLOBAL>>.currentMode:MODE_PRET
TEST.END

-- Test Case: TreatmentToFaultMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:execOperationModes
TEST.NEW
TEST.NAME:TreatmentToFaultMode
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[0]:1
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_TREA
TEST.EXPECTED:OperationModes.<<GLOBAL>>.currentMode:MODE_FAUL
TEST.END

-- Test Case: TreatmentToPostTreatMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:execOperationModes
TEST.NEW
TEST.NAME:TreatmentToPostTreatMode
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[0..6]:0
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[7]:1
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_TREA
TEST.EXPECTED:OperationModes.<<GLOBAL>>.currentMode:MODE_POST
TEST.END

-- Test Case: execOperationModes.001
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:execOperationModes
TEST.NEW
TEST.NAME:execOperationModes.001
TEST.VALUE:OperationModes.<<GLOBAL>>.currentSubMode:1
TEST.END

-- Subprogram: getCurrentOperationMode

-- Test Case: NominalPath
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:getCurrentOperationMode
TEST.NEW
TEST.NAME:NominalPath
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_STAN
TEST.EXPECTED:OperationModes.getCurrentOperationMode.return:MODE_STAN
TEST.END

-- Subprogram: getPreviousOperationMode

-- Test Case: getPreviousOperationMode.001
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:getPreviousOperationMode
TEST.NEW
TEST.NAME:getPreviousOperationMode.001
TEST.END

-- Subprogram: initOperationModes

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:initOperationModes
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (i < (NUM_OF_MODES) - 1) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:initOperationModes
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (i < (NUM_OF_MODES) - 1) ==> 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.END

-- Test Case: NominalPath
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:initOperationModes
TEST.NEW
TEST.NAME:NominalPath
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[0..7]:1
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_FAUL
TEST.EXPECTED:OperationModes.<<GLOBAL>>.modeRequest[0..7]:0
TEST.EXPECTED:OperationModes.<<GLOBAL>>.currentMode:MODE_INIT
TEST.END

-- Subprogram: initiateAlarmAction

-- Test Case: initiateAlarmAction.001
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:initiateAlarmAction
TEST.NEW
TEST.NAME:initiateAlarmAction.001
TEST.END

-- Test Case: initiateAlarmAction.002
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:initiateAlarmAction
TEST.NEW
TEST.NAME:initiateAlarmAction.002
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_FAUL
TEST.END

-- Test Case: initiateAlarmAction.003
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:initiateAlarmAction
TEST.NEW
TEST.NAME:initiateAlarmAction.003
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_SERV
TEST.END

-- Test Case: initiateAlarmAction.004
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:initiateAlarmAction
TEST.NEW
TEST.NAME:initiateAlarmAction.004
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_STAN
TEST.END

-- Test Case: initiateAlarmAction.005
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:initiateAlarmAction
TEST.NEW
TEST.NAME:initiateAlarmAction.005
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_TPAR
TEST.END

-- Test Case: initiateAlarmAction.006
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:initiateAlarmAction
TEST.NEW
TEST.NAME:initiateAlarmAction.006
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_PRET
TEST.END

-- Test Case: initiateAlarmAction.007
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:initiateAlarmAction
TEST.NEW
TEST.NAME:initiateAlarmAction.007
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_TREA
TEST.END

-- Test Case: initiateAlarmAction.008
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:initiateAlarmAction
TEST.NEW
TEST.NAME:initiateAlarmAction.008
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_POST
TEST.END

-- Test Case: initiateAlarmAction.009
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:initiateAlarmAction
TEST.NEW
TEST.NAME:initiateAlarmAction.009
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:NUM_OF_MODES
TEST.END

-- Subprogram: requestNewOperationMode

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:requestNewOperationMode
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 (newMode < (MODE_NLEG)) ==> 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:OperationModes.requestNewOperationMode.newMode:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:requestNewOperationMode
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 (newMode < (MODE_NLEG)) ==> 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:OperationModes.requestNewOperationMode.newMode:<<MAX>>
TEST.END

-- Test Case: InvalidModeRequested
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:requestNewOperationMode
TEST.NEW
TEST.NAME:InvalidModeRequested
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 219 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_SOFTWARE_FAULT
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "ALARM_ID_SOFTWARE_FAULT"
    >>>     >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_INIT
TEST.VALUE:OperationModes.requestNewOperationMode.newMode:NUM_OF_MODES
TEST.EXPECTED:OperationModes.<<GLOBAL>>.currentMode:MODE_INIT
TEST.END

-- Test Case: ValidModeRequested
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:requestNewOperationMode
TEST.NEW
TEST.NAME:ValidModeRequested
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[3]:0
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_INIT
TEST.VALUE:OperationModes.requestNewOperationMode.newMode:MODE_STAN
TEST.EXPECTED:OperationModes.<<GLOBAL>>.modeRequest[3]:1
TEST.EXPECTED:OperationModes.<<GLOBAL>>.currentMode:MODE_INIT
TEST.END

-- Subprogram: testResetOpModePublishIntervalOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:testResetOpModePublishIntervalOverride
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:OperationModes
TEST.SUBPROGRAM:testResetOpModePublishIntervalOverride
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

-- Subprogram: testSetOpModePublishIntervalOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:testSetOpModePublishIntervalOverride
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:OperationModes.testSetOpModePublishIntervalOverride.ms:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:testSetOpModePublishIntervalOverride
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:OperationModes.testSetOpModePublishIntervalOverride.ms:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSetOperationMode

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:testSetOperationMode
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 4
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:OperationModes.testSetOperationMode.newMode:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:testSetOperationMode
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 4
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:OperationModes.testSetOperationMode.newMode:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:testSetOperationMode
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == isTestingActivated()) ==> TRUE
      (2) if (check == newMode) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set const variable TEST.VALUE:OperationModes.<<GLOBAL>>.MODE_TRANSITION_TABLE[0][0]: in branch 2
TEST.END_NOTES:
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_FAUL
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:testSetOperationMode
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == isTestingActivated()) ==> TRUE
      (2) if (check == newMode) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set const variable TEST.VALUE:OperationModes.<<GLOBAL>>.MODE_TRANSITION_TABLE[0][0]: in branch 2
TEST.END_NOTES:
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_FAUL
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: testSetOperationMode.001
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:testSetOperationMode
TEST.NEW
TEST.NAME:testSetOperationMode.001
TEST.VALUE:OperationModes.testSetOperationMode.newMode:NUM_OF_MODES
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Subprogram: transitionToNewOperationMode

-- Test Case: FaultMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:transitionToNewOperationMode
TEST.NEW
TEST.NAME:FaultMode
TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:MODE_FAUL
TEST.END

-- Test Case: InitPOSTMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:transitionToNewOperationMode
TEST.NEW
TEST.NAME:InitPOSTMode
TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:MODE_INIT
TEST.END

-- Test Case: InvalidMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:transitionToNewOperationMode
TEST.NEW
TEST.NAME:InvalidMode
TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:NUM_OF_MODES
TEST.END

-- Test Case: OpParamsMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:transitionToNewOperationMode
TEST.NEW
TEST.NAME:OpParamsMode
TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:MODE_TPAR
TEST.END

-- Test Case: PostTreatmentMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:transitionToNewOperationMode
TEST.NEW
TEST.NAME:PostTreatmentMode
TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:MODE_POST
TEST.END

-- Test Case: PreTreatmentMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:transitionToNewOperationMode
TEST.NEW
TEST.NAME:PreTreatmentMode
TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:MODE_PRET
TEST.END

-- Test Case: ServiceMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:transitionToNewOperationMode
TEST.NEW
TEST.NAME:ServiceMode
TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:MODE_SERV
TEST.END

-- Test Case: StandbyMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:transitionToNewOperationMode
TEST.NEW
TEST.NAME:StandbyMode
TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:MODE_STAN
TEST.END

-- Test Case: TreatmentMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:transitionToNewOperationMode
TEST.NEW
TEST.NAME:TreatmentMode
TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:MODE_TREA
TEST.END