-- 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: addConfirmationRequest

-- Test Case: addConfirmationRequest.001
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:addConfirmationRequest
TEST.NEW
TEST.NAME:addConfirmationRequest.001
TEST.BASIS_PATH:1 of 3 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (i < 4) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:OperationModes.addConfirmationRequest.request_id:<<MIN>>
TEST.VALUE:OperationModes.addConfirmationRequest.request_type:<<MIN>>
TEST.VALUE:OperationModes.addConfirmationRequest.reject_reason:<<MIN>>
TEST.EXPECTED:OperationModes.addConfirmationRequest.request_id:GENERIC_CONFIRM_ID_NONE
TEST.EXPECTED:OperationModes.addConfirmationRequest.request_type:GENERIC_CONFIRM_CMD_REQUEST_OPEN
TEST.EXPECTED:OperationModes.addConfirmationRequest.reject_reason:0
TEST.END

-- Test Case: addConfirmationRequest.002
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:addConfirmationRequest
TEST.NEW
TEST.NAME:addConfirmationRequest.002
TEST.BASIS_PATH:2 of 3 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (i < 4) ==> TRUE
      (2) if ((confirmRequests[i]).status == (CONFIRMATION_REQUEST_STATUS_UNUSED)) ==> TRUE
   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:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_UNUSED
TEST.VALUE:OperationModes.addConfirmationRequest.request_id:<<MIN>>
TEST.VALUE:OperationModes.addConfirmationRequest.request_type:<<MIN>>
TEST.VALUE:OperationModes.addConfirmationRequest.reject_reason:<<MIN>>
TEST.EXPECTED:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING
TEST.EXPECTED:OperationModes.addConfirmationRequest.request_id:GENERIC_CONFIRM_ID_NONE
TEST.EXPECTED:OperationModes.addConfirmationRequest.request_type:GENERIC_CONFIRM_CMD_REQUEST_OPEN
TEST.EXPECTED:OperationModes.addConfirmationRequest.reject_reason:0
TEST.END

-- Test Case: addConfirmationRequest.003
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:addConfirmationRequest
TEST.NEW
TEST.NAME:addConfirmationRequest.003
TEST.BASIS_PATH:3 of 3 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) for (i < 4) ==> TRUE
      (2) if ((confirmRequests[i]).status == (CONFIRMATION_REQUEST_STATUS_UNUSED)) ==> 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:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_REJECTED
TEST.VALUE:OperationModes.addConfirmationRequest.request_id:<<MIN>>
TEST.VALUE:OperationModes.addConfirmationRequest.request_type:<<MIN>>
TEST.VALUE:OperationModes.addConfirmationRequest.reject_reason:<<MIN>>
TEST.EXPECTED:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_REJECTED
TEST.EXPECTED:OperationModes.addConfirmationRequest.request_id:GENERIC_CONFIRM_ID_NONE
TEST.EXPECTED:OperationModes.addConfirmationRequest.request_type:GENERIC_CONFIRM_CMD_REQUEST_OPEN
TEST.EXPECTED:OperationModes.addConfirmationRequest.reject_reason:0
TEST.END

-- Test Case: addConfirmationRequest.004
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:addConfirmationRequest
TEST.NEW
TEST.NAME:addConfirmationRequest.004
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (i < 4) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:OperationModes.addConfirmationRequest.request_id:<<MIN>>
TEST.VALUE:OperationModes.addConfirmationRequest.request_type:<<MIN>>
TEST.VALUE:OperationModes.addConfirmationRequest.reject_reason:<<MIN>>
TEST.EXPECTED:OperationModes.addConfirmationRequest.request_id:GENERIC_CONFIRM_ID_NONE
TEST.EXPECTED:OperationModes.addConfirmationRequest.request_type:GENERIC_CONFIRM_CMD_REQUEST_OPEN
TEST.EXPECTED:OperationModes.addConfirmationRequest.reject_reason:0
TEST.END

-- Subprogram: arbitrateModeRequest

-- 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: broadcastOperationMode.001
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:broadcastOperationMode
TEST.NEW
TEST.NAME:broadcastOperationMode.001
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:OperationModes.<<GLOBAL>>.broadcastModeIntervalCtr:1
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<<MAX>>
TEST.EXPECTED:OperationModes.<<GLOBAL>>.broadcastModeIntervalCtr:2
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.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 164 TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_OP_MODE
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "MSG_ID_HD_OP_MODE"
    >>>     >>>   Command Ignored
    >>> (E) @LINE: 168 TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_OP_MODE
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "MSG_ID_HD_OP_MODE"
    >>>     >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:OperationModes.<<GLOBAL>>.broadcastModeIntervalCtr:18
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:<<MAX>>
TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.END

-- Subprogram: execOperationModes

-- 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: TreatmentToFaultMode.001
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:execOperationModes
TEST.NEW
TEST.NAME:TreatmentToFaultMode.001
TEST.STUB:OperationModes.arbitrateModeRequest
TEST.VALUE:OperationModes.<<GLOBAL>>.modeRequest[0]:1
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_FAUL
TEST.VALUE:OperationModes.arbitrateModeRequest.return: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.VALUE:uut_prototype_stubs.sendEvent.event:HD_EVENT_SUB_MODE_CHANGE
TEST.VALUE:uut_prototype_stubs.sendEvent.dat1.dataType:EVENT_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.sendEvent.dat1.data.uInt.data:1
TEST.VALUE:uut_prototype_stubs.sendEvent.dat2.dataType:EVENT_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.sendEvent.dat2.data.uInt.data:0
TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat1.data.uInt.data:1
TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat2.data.uInt.data:0
TEST.END

-- Subprogram: getConfirmationRequestStatus

-- Test Case: getConfirmationRequestStatus.001
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:getConfirmationRequestStatus
TEST.NEW
TEST.NAME:getConfirmationRequestStatus.001
TEST.BASIS_PATH:1 of 9 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (i < 4) ==> FALSE
      (8) if ((CONFIRMATION_REQUEST_STATUS_PENDING) != status && (1) == pending) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set local variable status in branch 8
      Cannot set local variable pending in branch 8
TEST.END_NOTES:
TEST.VALUE:OperationModes.getConfirmationRequestStatus.request_id:<<MIN>>
TEST.EXPECTED:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_NONE
TEST.END

-- Test Case: getConfirmationRequestStatus.002
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:getConfirmationRequestStatus
TEST.NEW
TEST.NAME:getConfirmationRequestStatus.002
TEST.BASIS_PATH:2 of 9 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (i < 4) ==> FALSE
      (8) if ((CONFIRMATION_REQUEST_STATUS_PENDING) != status && (1) == pending) ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set local variable status in branch 8
      Cannot set local variable pending in branch 8
TEST.END_NOTES:
TEST.VALUE:OperationModes.getConfirmationRequestStatus.request_id:<<MIN>>
TEST.EXPECTED:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_NONE
TEST.END

-- Test Case: getConfirmationRequestStatus.003
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:getConfirmationRequestStatus
TEST.NEW
TEST.NAME:getConfirmationRequestStatus.003
TEST.BASIS_PATH:3 of 9 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) for (i < 4) ==> TRUE
      (2) if ((confirmRequests[i]).requestID == request_id) ==> FALSE
      (5) if ((CONFIRMATION_REQUEST_STATUS_PENDING) == (confirmRequests[i]).status) ==> FALSE
      (8) if ((CONFIRMATION_REQUEST_STATUS_PENDING) != status && (1) == pending) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set i due to assignment
      Cannot set local variable status in branch 8
      Cannot set local variable pending in branch 8
TEST.END_NOTES:
TEST.VALUE:OperationModes.<<GLOBAL>>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE
TEST.VALUE:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_REJECTED
TEST.VALUE:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH
TEST.EXPECTED:OperationModes.<<GLOBAL>>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE
TEST.EXPECTED:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_REJECTED
TEST.EXPECTED:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH
TEST.END

-- Test Case: getConfirmationRequestStatus.004
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:getConfirmationRequestStatus
TEST.NEW
TEST.NAME:getConfirmationRequestStatus.004
TEST.BASIS_PATH:4 of 9 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) for (i < 4) ==> TRUE
      (2) if ((confirmRequests[i]).requestID == request_id) ==> FALSE
      (5) if ((CONFIRMATION_REQUEST_STATUS_PENDING) == (confirmRequests[i]).status) ==> TRUE
      (6) if ((1) == pending) ==> FALSE
      (8) if ((CONFIRMATION_REQUEST_STATUS_PENDING) != status && (1) == pending) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set i due to assignment
      Cannot set local variable pending in branch 6
      Cannot set local variable status in branch 8
      Cannot set pending due to assignment
TEST.END_NOTES:
TEST.VALUE:OperationModes.<<GLOBAL>>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE
TEST.VALUE:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING
TEST.VALUE:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH
TEST.EXPECTED:OperationModes.<<GLOBAL>>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE
TEST.EXPECTED:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING
TEST.EXPECTED:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH
TEST.END

-- Test Case: getConfirmationRequestStatus.005
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:getConfirmationRequestStatus
TEST.NEW
TEST.NAME:getConfirmationRequestStatus.005
TEST.BASIS_PATH:5 of 9 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) for (i < 4) ==> TRUE
      (2) if ((confirmRequests[i]).requestID == request_id) ==> FALSE
      (5) if ((CONFIRMATION_REQUEST_STATUS_PENDING) == (confirmRequests[i]).status) ==> TRUE
      (6) if ((1) == pending) ==> TRUE
      (7) if ((confirmRequests[i]).timeStamp > (confirmRequests[pending_index]).timeStamp) ==> FALSE
      (8) if ((CONFIRMATION_REQUEST_STATUS_PENDING) != status && (1) == pending) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set i due to assignment
      Cannot set local variable pending in branch 6
      Cannot set local variable pending_index in branch 7
      Cannot set local variable status in branch 8
      Cannot set local variable pending in branch 8
TEST.END_NOTES:
TEST.VALUE:OperationModes.<<GLOBAL>>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE
TEST.VALUE:OperationModes.<<GLOBAL>>.confirmRequests[0].timeStamp:0
TEST.VALUE:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING
TEST.VALUE:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH
TEST.EXPECTED:OperationModes.<<GLOBAL>>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE
TEST.EXPECTED:OperationModes.<<GLOBAL>>.confirmRequests[0].timeStamp:0
TEST.EXPECTED:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING
TEST.EXPECTED:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH
TEST.END

-- Test Case: getConfirmationRequestStatus.006
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:getConfirmationRequestStatus
TEST.NEW
TEST.NAME:getConfirmationRequestStatus.006
TEST.BASIS_PATH:6 of 9 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) for (i < 4) ==> TRUE
      (2) if ((confirmRequests[i]).requestID == request_id) ==> FALSE
      (5) if ((CONFIRMATION_REQUEST_STATUS_PENDING) == (confirmRequests[i]).status) ==> TRUE
      (6) if ((1) == pending) ==> TRUE
      (7) if ((confirmRequests[i]).timeStamp > (confirmRequests[pending_index]).timeStamp) ==> TRUE
      (8) if ((CONFIRMATION_REQUEST_STATUS_PENDING) != status && (1) == pending) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set i due to assignment
      Cannot set local variable pending in branch 6
      Cannot set a value greater than the maximum in branch 7
      Cannot set local variable pending_index in branch 7
      Cannot set local variable status in branch 8
      Cannot set pending due to assignment
TEST.END_NOTES:
TEST.VALUE:OperationModes.<<GLOBAL>>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE
TEST.VALUE:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING
TEST.VALUE:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH
TEST.EXPECTED:OperationModes.<<GLOBAL>>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE
TEST.EXPECTED:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING
TEST.EXPECTED:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH
TEST.END

-- Test Case: getConfirmationRequestStatus.007
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:getConfirmationRequestStatus
TEST.NEW
TEST.NAME:getConfirmationRequestStatus.007
TEST.BASIS_PATH:7 of 9 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) for (i < 4) ==> TRUE
      (2) if ((confirmRequests[i]).requestID == request_id) ==> TRUE
      (3) if ((CONFIRMATION_REQUEST_STATUS_PENDING) != status) ==> FALSE
      (8) if ((CONFIRMATION_REQUEST_STATUS_PENDING) != status && (1) == pending) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set i due to assignment
      Cannot set local variable pending in branch 8
TEST.END_NOTES:
TEST.VALUE:OperationModes.<<GLOBAL>>.confirmRequests[0].requestID:<<MIN>>
TEST.VALUE:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING
TEST.VALUE:OperationModes.getConfirmationRequestStatus.request_id:<<MIN>>
TEST.EXPECTED:OperationModes.<<GLOBAL>>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE
TEST.EXPECTED:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING
TEST.EXPECTED:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_NONE
TEST.END

-- Test Case: getConfirmationRequestStatus.008
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:getConfirmationRequestStatus
TEST.NEW
TEST.NAME:getConfirmationRequestStatus.008
TEST.BASIS_PATH:8 of 9 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) for (i < 4) ==> TRUE
      (2) if ((confirmRequests[i]).requestID == request_id) ==> TRUE
      (3) if ((CONFIRMATION_REQUEST_STATUS_PENDING) != status) ==> TRUE
      (4) if ((CONFIRMATION_REQUEST_STATUS_TIMEOUT) == (confirmRequests[i]).status) ==> FALSE
      (8) if ((CONFIRMATION_REQUEST_STATUS_PENDING) != status && (1) == pending) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set i due to assignment
      Cannot set local variable pending in branch 8
      Conflict: Trying to set variable OperationModes.<<GLOBAL>>.confirmRequests[0].status 'equal to' and 'not equal to' same value in branches 3/8
TEST.END_NOTES:
TEST.VALUE:OperationModes.<<GLOBAL>>.confirmRequests[0].requestID:<<MIN>>
TEST.VALUE:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_REJECTED
TEST.VALUE:OperationModes.getConfirmationRequestStatus.request_id:<<MIN>>
TEST.EXPECTED:OperationModes.<<GLOBAL>>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE
TEST.EXPECTED:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_UNUSED
TEST.EXPECTED:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_NONE
TEST.END

-- Test Case: getConfirmationRequestStatus.009
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:getConfirmationRequestStatus
TEST.NEW
TEST.NAME:getConfirmationRequestStatus.009
TEST.BASIS_PATH:9 of 9 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) for (i < 4) ==> TRUE
      (2) if ((confirmRequests[i]).requestID == request_id) ==> TRUE
      (3) if ((CONFIRMATION_REQUEST_STATUS_PENDING) != status) ==> TRUE
      (4) if ((CONFIRMATION_REQUEST_STATUS_TIMEOUT) == (confirmRequests[i]).status) ==> TRUE
      (8) if ((CONFIRMATION_REQUEST_STATUS_PENDING) != status && (1) == pending) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set i due to assignment
      Cannot set local variable pending in branch 8
      Conflict: Multiple equality operators with different values (OperationModes.<<GLOBAL>>.confirmRequests[0].status) in branches 4/8
TEST.END_NOTES:
TEST.VALUE:OperationModes.<<GLOBAL>>.confirmRequests[0].requestID:<<MIN>>
TEST.VALUE:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_TIMEOUT
TEST.VALUE:OperationModes.getConfirmationRequestStatus.request_id:<<MIN>>
TEST.EXPECTED:OperationModes.<<GLOBAL>>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE
TEST.EXPECTED:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_UNUSED
TEST.EXPECTED:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_NONE
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: getCurrentSubMode

-- Test Case: getCurrentSubMode.001
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:getCurrentSubMode
TEST.NEW
TEST.NAME:getCurrentSubMode.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.VALUE:OperationModes.getCurrentSubMode.return:0
TEST.EXPECTED:OperationModes.getCurrentSubMode.return:0
TEST.END

-- Subprogram: getPreviousOperationMode

-- Test Case: getPreviousOperationMode.001
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:getPreviousOperationMode
TEST.NEW
TEST.NAME:getPreviousOperationMode.001
TEST.VALUE:OperationModes.<<GLOBAL>>.lastMode:MODE_INIT
TEST.VALUE:OperationModes.getPreviousOperationMode.return:MODE_FAUL
TEST.EXPECTED:OperationModes.getPreviousOperationMode.return:MODE_INIT
TEST.END

-- Subprogram: initOperationModes

-- 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.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_INIT
TEST.VALUE:uut_prototype_stubs.signalAlarmActionToInitAndPOSTMode.action:ALARM_ACTION_STOP
TEST.EXPECTED:uut_prototype_stubs.signalAlarmActionToInitAndPOSTMode.action:ALARM_ACTION_STOP
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.VALUE:uut_prototype_stubs.signalAlarmActionToFaultMode.action:ALARM_ACTION_STOP
TEST.EXPECTED:uut_prototype_stubs.signalAlarmActionToFaultMode.action:ALARM_ACTION_STOP
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.VALUE:uut_prototype_stubs.signalAlarmActionToServiceMode.action:ALARM_ACTION_STOP
TEST.EXPECTED:uut_prototype_stubs.signalAlarmActionToServiceMode.action:ALARM_ACTION_STOP
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.VALUE:uut_prototype_stubs.signalAlarmActionToStandbyMode.action:ALARM_ACTION_STOP
TEST.EXPECTED:uut_prototype_stubs.signalAlarmActionToStandbyMode.action:ALARM_ACTION_STOP
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.VALUE:uut_prototype_stubs.signalAlarmActionToTreatParamsMode.action:ALARM_ACTION_STOP
TEST.EXPECTED:uut_prototype_stubs.signalAlarmActionToTreatParamsMode.action:ALARM_ACTION_STOP
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.VALUE:uut_prototype_stubs.signalAlarmActionToPreTreatmentMode.action:ALARM_ACTION_STOP
TEST.EXPECTED:uut_prototype_stubs.signalAlarmActionToPreTreatmentMode.action:ALARM_ACTION_STOP
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.VALUE:uut_prototype_stubs.signalAlarmActionToTreatmentMode.action:ALARM_ACTION_STOP
TEST.EXPECTED:uut_prototype_stubs.signalAlarmActionToTreatmentMode.action:ALARM_ACTION_STOP
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.VALUE:uut_prototype_stubs.signalAlarmActionToPostTreatmentMode.action:ALARM_ACTION_STOP
TEST.EXPECTED:uut_prototype_stubs.signalAlarmActionToPostTreatmentMode.action:ALARM_ACTION_STOP
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.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:48
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:9
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:48
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:9
TEST.END

-- Subprogram: requestNewOperationMode

-- 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: sendOperationStatusEvent

-- Test Case: sendOperationStatusEvent.001
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:sendOperationStatusEvent
TEST.NEW
TEST.NAME:sendOperationStatusEvent.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.STUB:OperationModes.setCurrentSubState
TEST.VALUE:OperationModes.setCurrentSubState.subState:1
TEST.END

-- Subprogram: setConfirmationRequestStatus

-- Test Case: setConfirmationRequestStatus.001
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:setConfirmationRequestStatus
TEST.NEW
TEST.NAME:setConfirmationRequestStatus.001
TEST.BASIS_PATH:1 of 3 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (i < 4) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:OperationModes.setConfirmationRequestStatus.request_id:<<MIN>>
TEST.VALUE:OperationModes.setConfirmationRequestStatus.status:<<MIN>>
TEST.EXPECTED:OperationModes.setConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_NONE
TEST.EXPECTED:OperationModes.setConfirmationRequestStatus.status:CONFIRMATION_REQUEST_STATUS_REJECTED
TEST.END

-- Test Case: setConfirmationRequestStatus.002
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:setConfirmationRequestStatus
TEST.NEW
TEST.NAME:setConfirmationRequestStatus.002
TEST.BASIS_PATH:2 of 3 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (i < 4) ==> TRUE
      (2) if ((confirmRequests[i]).requestID == request_id) ==> TRUE
   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:OperationModes.<<GLOBAL>>.confirmRequests[0].requestID:<<MIN>>
TEST.VALUE:OperationModes.setConfirmationRequestStatus.request_id:<<MIN>>
TEST.VALUE:OperationModes.setConfirmationRequestStatus.status:<<MIN>>
TEST.EXPECTED:OperationModes.<<GLOBAL>>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE
TEST.EXPECTED:OperationModes.setConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_NONE
TEST.EXPECTED:OperationModes.setConfirmationRequestStatus.status:CONFIRMATION_REQUEST_STATUS_REJECTED
TEST.END

-- Test Case: setConfirmationRequestStatus.003
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:setConfirmationRequestStatus
TEST.NEW
TEST.NAME:setConfirmationRequestStatus.003
TEST.BASIS_PATH:3 of 3 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) for (i < 4) ==> TRUE
      (2) if ((confirmRequests[i]).requestID == request_id) ==> 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:OperationModes.<<GLOBAL>>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE
TEST.VALUE:OperationModes.setConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH
TEST.VALUE:OperationModes.setConfirmationRequestStatus.status:<<MIN>>
TEST.EXPECTED:OperationModes.<<GLOBAL>>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE
TEST.EXPECTED:OperationModes.setConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH
TEST.EXPECTED:OperationModes.setConfirmationRequestStatus.status:CONFIRMATION_REQUEST_STATUS_REJECTED
TEST.END

-- Subprogram: setCurrentSubState

-- Test Case: setCurrentSubState.001
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:setCurrentSubState
TEST.NEW
TEST.NAME:setCurrentSubState.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.VALUE:OperationModes.<<GLOBAL>>.currentMode:MODE_FAUL
TEST.VALUE:OperationModes.<<GLOBAL>>.currentSubMode:8
TEST.VALUE:OperationModes.<<GLOBAL>>.currentSubState:8
TEST.VALUE:OperationModes.setCurrentSubState.subState:<<MIN>>
TEST.VALUE:uut_prototype_stubs.sendEvent.dat1.dataType:32
TEST.VALUE:uut_prototype_stubs.sendEvent.dat2.dataType:32
TEST.EXPECTED:OperationModes.setCurrentSubState.subState:0
TEST.END

-- Subprogram: testResetOpModePublishIntervalOverride

-- Test Case: testResetOpModePublishIntervalOverride.001
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:testResetOpModePublishIntervalOverride
TEST.NEW
TEST.NAME:testResetOpModePublishIntervalOverride.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:OperationModes.testResetOpModePublishIntervalOverride.return:1
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:OperationModes.testResetOpModePublishIntervalOverride.return:1
TEST.END

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

-- Subprogram: testSetOpModePublishIntervalOverride

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

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

-- Subprogram: testSetOperationMode

-- 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:OperationModes.testSetOperationMode.return:0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:OperationModes.testSetOperationMode.return:0
TEST.END

-- Test Case: testSetOperationMode.002
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:testSetOperationMode
TEST.NEW
TEST.NAME:testSetOperationMode.002
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:OperationModes.testSetOperationMode.return:1
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:OperationModes.testSetOperationMode.return:1
TEST.END

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

-- Subprogram: transitionToNewOperationMode

-- Test Case: FaultMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:transitionToNewOperationMode
TEST.NEW
TEST.NAME:FaultMode
TEST.VALUE:OperationModes.<<GLOBAL>>.currentSubMode:0
TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:MODE_FAUL
TEST.EXPECTED:OperationModes.<<GLOBAL>>.currentSubMode:0
TEST.EXPECTED:OperationModes.transitionToNewOperationMode.newMode:MODE_FAUL
TEST.END

-- Test Case: InitPOSTMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:transitionToNewOperationMode
TEST.NEW
TEST.NAME:InitPOSTMode
TEST.VALUE:OperationModes.<<GLOBAL>>.currentSubMode:0
TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:MODE_INIT
TEST.EXPECTED:OperationModes.<<GLOBAL>>.currentSubMode:0
TEST.EXPECTED:OperationModes.transitionToNewOperationMode.newMode:MODE_INIT
TEST.END

-- Test Case: InvalidMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:transitionToNewOperationMode
TEST.NEW
TEST.NAME:InvalidMode
TEST.VALUE:OperationModes.<<GLOBAL>>.currentSubMode:0
TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:NUM_OF_MODES
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:14
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:9
TEST.EXPECTED:OperationModes.<<GLOBAL>>.currentSubMode:0
TEST.EXPECTED:OperationModes.transitionToNewOperationMode.newMode:NUM_OF_MODES
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:14
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:9
TEST.END

-- Test Case: OpParamsMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:transitionToNewOperationMode
TEST.NEW
TEST.NAME:OpParamsMode
TEST.VALUE:OperationModes.<<GLOBAL>>.currentSubMode:0
TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:MODE_TPAR
TEST.EXPECTED:OperationModes.<<GLOBAL>>.currentSubMode:0
TEST.EXPECTED:OperationModes.transitionToNewOperationMode.newMode:MODE_TPAR
TEST.END

-- Test Case: PostTreatmentMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:transitionToNewOperationMode
TEST.NEW
TEST.NAME:PostTreatmentMode
TEST.VALUE:OperationModes.<<GLOBAL>>.currentSubMode:0
TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:MODE_POST
TEST.EXPECTED:OperationModes.<<GLOBAL>>.currentSubMode:0
TEST.EXPECTED:OperationModes.transitionToNewOperationMode.newMode:MODE_POST
TEST.END

-- Test Case: PreTreatmentMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:transitionToNewOperationMode
TEST.NEW
TEST.NAME:PreTreatmentMode
TEST.VALUE:OperationModes.<<GLOBAL>>.currentSubMode:0
TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:MODE_PRET
TEST.EXPECTED:OperationModes.<<GLOBAL>>.currentSubMode:0
TEST.EXPECTED:OperationModes.transitionToNewOperationMode.newMode:MODE_PRET
TEST.END

-- Test Case: ServiceMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:transitionToNewOperationMode
TEST.NEW
TEST.NAME:ServiceMode
TEST.VALUE:OperationModes.<<GLOBAL>>.currentSubMode:0
TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:MODE_SERV
TEST.EXPECTED:OperationModes.<<GLOBAL>>.currentSubMode:0
TEST.EXPECTED:OperationModes.transitionToNewOperationMode.newMode:MODE_SERV
TEST.END

-- Test Case: StandbyMode
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:transitionToNewOperationMode
TEST.NEW
TEST.NAME:StandbyMode
TEST.VALUE:OperationModes.<<GLOBAL>>.currentSubMode:0
TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:MODE_STAN
TEST.EXPECTED:OperationModes.<<GLOBAL>>.currentSubMode:0
TEST.EXPECTED:OperationModes.transitionToNewOperationMode.newMode:MODE_STAN
TEST.END

-- Subprogram: updateConfirmationRequestTimeouts

-- Test Case: updateConfirmationRequestTimeouts.001
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:updateConfirmationRequestTimeouts
TEST.NEW
TEST.NAME:updateConfirmationRequestTimeouts.001
TEST.BASIS_PATH:1 of 4 (template)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (i < 4) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: updateConfirmationRequestTimeouts.002
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:updateConfirmationRequestTimeouts
TEST.NEW
TEST.NAME:updateConfirmationRequestTimeouts.002
TEST.BASIS_PATH:2 of 4 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (i < 4) ==> TRUE
      (2) if ((CONFIRMATION_REQUEST_STATUS_PENDING) == (confirmRequests[i]).status) ==> 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:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_REJECTED
TEST.EXPECTED:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_REJECTED
TEST.END

-- Test Case: updateConfirmationRequestTimeouts.003
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:updateConfirmationRequestTimeouts
TEST.NEW
TEST.NAME:updateConfirmationRequestTimeouts.003
TEST.BASIS_PATH:3 of 4 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) for (i < 4) ==> TRUE
      (2) if ((CONFIRMATION_REQUEST_STATUS_PENDING) == (confirmRequests[i]).status) ==> TRUE
      (3) if ((1) == didTimeout((confirmRequests[i]).timeStamp, 60 * 1000)) ==> 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:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.EXPECTED:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING
TEST.END

-- Test Case: updateConfirmationRequestTimeouts.004
TEST.UNIT:OperationModes
TEST.SUBPROGRAM:updateConfirmationRequestTimeouts
TEST.NEW
TEST.NAME:updateConfirmationRequestTimeouts.004
TEST.BASIS_PATH:4 of 4 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) for (i < 4) ==> TRUE
      (2) if ((CONFIRMATION_REQUEST_STATUS_PENDING) == (confirmRequests[i]).status) ==> TRUE
      (3) if ((1) == didTimeout((confirmRequests[i]).timeStamp, 60 * 1000)) ==> TRUE
   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:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:OperationModes.<<GLOBAL>>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_TIMEOUT
TEST.END