-- 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.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 33 TEST.VALUE:OperationModes.addConfirmationRequest.request_id:<> >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 34 TEST.VALUE:OperationModes.addConfirmationRequest.request_type:<> >>> >>> Unknown parameter/object name request_type >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 35 TEST.VALUE:OperationModes.addConfirmationRequest.reject_reason:<> >>> >>> Unknown parameter/object name reject_reason >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 36 TEST.EXPECTED:OperationModes.addConfirmationRequest.request_id:GENERIC_CONFIRM_ID_NONE >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 37 TEST.EXPECTED:OperationModes.addConfirmationRequest.request_type:GENERIC_CONFIRM_CMD_REQUEST_OPEN >>> >>> Unknown parameter/object name request_type >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 38 TEST.EXPECTED:OperationModes.addConfirmationRequest.reject_reason:0 >>> >>> Unknown parameter/object name reject_reason >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.<>.confirmRequests[1].requestID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:OperationModes.<>.confirmRequests[1].requestType:GENERIC_CONFIRM_CMD_REQUEST_OPEN TEST.VALUE:OperationModes.<>.confirmRequests[1].timeStamp:0 TEST.VALUE:OperationModes.<>.confirmRequests[1].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.VALUE:OperationModes.addConfirmationRequest.return:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:OperationModes.addConfirmationRequest.return:GENERIC_CONFIRM_ID_NONE TEST.END -- Test Case: addConfirmationRequest.002 TEST.UNIT:OperationModes TEST.SUBPROGRAM:addConfirmationRequest TEST.NEW TEST.NAME:addConfirmationRequest.002 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 57 TEST.VALUE:OperationModes.addConfirmationRequest.request_id:<> >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 58 TEST.VALUE:OperationModes.addConfirmationRequest.request_type:<> >>> >>> Unknown parameter/object name request_type >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 59 TEST.VALUE:OperationModes.addConfirmationRequest.reject_reason:<> >>> >>> Unknown parameter/object name reject_reason >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 61 TEST.EXPECTED:OperationModes.addConfirmationRequest.request_id:GENERIC_CONFIRM_ID_NONE >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 62 TEST.EXPECTED:OperationModes.addConfirmationRequest.request_type:GENERIC_CONFIRM_CMD_REQUEST_OPEN >>> >>> Unknown parameter/object name request_type >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 63 TEST.EXPECTED:OperationModes.addConfirmationRequest.reject_reason:0 >>> >>> Unknown parameter/object name reject_reason >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_UNUSED TEST.EXPECTED:OperationModes.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.END -- Test Case: addConfirmationRequest.003 TEST.UNIT:OperationModes TEST.SUBPROGRAM:addConfirmationRequest TEST.NEW TEST.NAME:addConfirmationRequest.003 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 82 TEST.VALUE:OperationModes.addConfirmationRequest.request_id:<> >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 83 TEST.VALUE:OperationModes.addConfirmationRequest.request_type:<> >>> >>> Unknown parameter/object name request_type >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 84 TEST.VALUE:OperationModes.addConfirmationRequest.reject_reason:<> >>> >>> Unknown parameter/object name reject_reason >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 86 TEST.EXPECTED:OperationModes.addConfirmationRequest.request_id:GENERIC_CONFIRM_ID_NONE >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 87 TEST.EXPECTED:OperationModes.addConfirmationRequest.request_type:GENERIC_CONFIRM_CMD_REQUEST_OPEN >>> >>> Unknown parameter/object name request_type >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 88 TEST.EXPECTED:OperationModes.addConfirmationRequest.reject_reason:0 >>> >>> Unknown parameter/object name reject_reason >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_REJECTED TEST.EXPECTED:OperationModes.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_REJECTED TEST.END -- Test Case: addConfirmationRequest.004 TEST.UNIT:OperationModes TEST.SUBPROGRAM:addConfirmationRequest TEST.NEW TEST.NAME:addConfirmationRequest.004 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 103 TEST.VALUE:OperationModes.addConfirmationRequest.request_id:<> >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 104 TEST.VALUE:OperationModes.addConfirmationRequest.request_type:<> >>> >>> Unknown parameter/object name request_type >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 105 TEST.VALUE:OperationModes.addConfirmationRequest.reject_reason:<> >>> >>> Unknown parameter/object name reject_reason >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 106 TEST.EXPECTED:OperationModes.addConfirmationRequest.request_id:GENERIC_CONFIRM_ID_NONE >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 107 TEST.EXPECTED:OperationModes.addConfirmationRequest.request_type:GENERIC_CONFIRM_CMD_REQUEST_OPEN >>> >>> Unknown parameter/object name request_type >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 108 TEST.EXPECTED:OperationModes.addConfirmationRequest.reject_reason:0 >>> >>> Unknown parameter/object name reject_reason >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.<>.confirmRequests[1].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.VALUE:OperationModes.addConfirmationRequest.return:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:OperationModes.<>.confirmRequests[1].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.EXPECTED:OperationModes.addConfirmationRequest.return:GENERIC_CONFIRM_ID_NONE TEST.END -- Test Case: addConfirmationRequest.005 TEST.UNIT:OperationModes TEST.SUBPROGRAM:addConfirmationRequest TEST.NEW TEST.NAME:addConfirmationRequest.005 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.<>.confirmRequests[1].requestID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:OperationModes.<>.confirmRequests[1].requestType:GENERIC_CONFIRM_CMD_REQUEST_OPEN TEST.VALUE:OperationModes.<>.confirmRequests[1].timeStamp:0 TEST.VALUE:OperationModes.<>.confirmRequests[1].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.VALUE:OperationModes.addConfirmationRequest.return:GENERIC_CONFIRM_ID_NONE TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.config:TEST_CONFIG_SKIP_DISINFECT_AND_SERVICE_TX_BLOCKERS TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:5 TEST.EXPECTED:OperationModes.<>.confirmRequests[1].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.EXPECTED:OperationModes.addConfirmationRequest.return:GENERIC_CONFIRM_ID_NONE TEST.END -- Test Case: addConfirmationRequest.006 TEST.UNIT:OperationModes TEST.SUBPROGRAM:addConfirmationRequest TEST.NEW TEST.NAME:addConfirmationRequest.006 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.<>.confirmRequests[1].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.VALUE:OperationModes.addConfirmationRequest.requestID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.VALUE:OperationModes.addConfirmationRequest.requestType:GENERIC_CONFIRM_CMD_ACCEPT_CLOSE TEST.VALUE:OperationModes.addConfirmationRequest.return:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.EXPECTED:OperationModes.<>.confirmRequests[1].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.END -- Test Case: addConfirmationRequest.007 TEST.UNIT:OperationModes TEST.SUBPROGRAM:addConfirmationRequest TEST.NEW TEST.NAME:addConfirmationRequest.007 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.<>.confirmRequests[1].status:CONFIRMATION_REQUEST_STATUS_REJECTED TEST.VALUE:OperationModes.addConfirmationRequest.return:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:OperationModes.<>.confirmRequests[1].status:CONFIRMATION_REQUEST_STATUS_REJECTED TEST.EXPECTED:OperationModes.addConfirmationRequest.return:GENERIC_CONFIRM_ID_NONE TEST.END -- Test Case: addConfirmationRequest.008 TEST.UNIT:OperationModes TEST.SUBPROGRAM:addConfirmationRequest TEST.NEW TEST.NAME:addConfirmationRequest.008 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.<>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.VALUE:OperationModes.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.VALUE:OperationModes.<>.confirmRequests[1].requestID:GENERIC_CONFIRM_ID_DISINFECT_STOP_HEAT TEST.VALUE:OperationModes.<>.confirmRequests[1].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.VALUE:OperationModes.<>.confirmRequests[2].requestID:GENERIC_CONFIRM_ID_DISINFECT_STOP_CHEMICAL TEST.VALUE:OperationModes.<>.confirmRequests[2].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.VALUE:OperationModes.<>.confirmRequests[3].requestID:GENERIC_CONFIRM_ID_DISINFECT_STOP_CHEMICAL_FLUSH TEST.VALUE:OperationModes.<>.confirmRequests[3].requestType:GENERIC_CONFIRM_CMD_TIMEOUT_CLOSE TEST.VALUE:OperationModes.<>.confirmRequests[3].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.VALUE:OperationModes.addConfirmationRequest.requestID:GENERIC_CONFIRM_ID_DISINFECT_CHEM_FLUSH_SAMPLE_PASS_FAIL TEST.VALUE:OperationModes.addConfirmationRequest.return:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:OperationModes.addConfirmationRequest.return:GENERIC_CONFIRM_ID_NONE TEST.END -- Subprogram: arbitrateModeRequest -- Test Case: NoRequestPending TEST.UNIT:OperationModes TEST.SUBPROGRAM:arbitrateModeRequest TEST.NEW TEST.NAME:NoRequestPending TEST.VALUE:OperationModes.<>.modeRequest[0..7]:0 TEST.VALUE:OperationModes.<>.currentMode:MODE_STAN TEST.VALUE:OperationModes.arbitrateModeRequest.return:MODE_STAN TEST.EXPECTED:OperationModes.<>.currentMode:MODE_STAN TEST.END -- Test Case: RequestPending TEST.UNIT:OperationModes TEST.SUBPROGRAM:arbitrateModeRequest TEST.NEW TEST.NAME:RequestPending TEST.VALUE:OperationModes.<>.modeRequest[0..3]:0 TEST.VALUE:OperationModes.<>.modeRequest[4]:1 TEST.VALUE:OperationModes.<>.currentMode:MODE_STAN TEST.VALUE:OperationModes.arbitrateModeRequest.return:MODE_TPAR TEST.EXPECTED:OperationModes.<>.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.<>.broadcastModeIntervalCtr:1 TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> TEST.EXPECTED:OperationModes.<>.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.<>.currentMode:MODE_STAN TEST.VALUE:OperationModes.<>.broadcastModeIntervalCtr:19 TEST.EXPECTED:OperationModes.<>.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.<>.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:<> 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.<>.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.<>.modeRequest[0..2]:0 TEST.VALUE:OperationModes.<>.modeRequest[3]:1 TEST.VALUE:OperationModes.<>.currentMode:MODE_INIT TEST.EXPECTED:OperationModes.<>.currentMode:MODE_STAN TEST.END -- Test Case: InitPOSTToStandbyMode.001 TEST.UNIT:OperationModes TEST.SUBPROGRAM:execOperationModes TEST.NEW TEST.NAME:InitPOSTToStandbyMode.001 TEST.VALUE:OperationModes.<>.modeRequest[0..2]:0 TEST.VALUE:OperationModes.<>.modeRequest[3]:1 TEST.VALUE:OperationModes.<>.currentMode:MODE_INIT TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.config:TEST_CONFIG_RECOVER_TREATMENT TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 TEST.EXPECTED:OperationModes.<>.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.<>.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.<>.currentMode:NUM_OF_MODES TEST.EXPECTED:OperationModes.<>.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.<>.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.<>.modeRequest[0..5]:0 TEST.VALUE:OperationModes.<>.modeRequest[6]:1 TEST.VALUE:OperationModes.<>.currentMode:MODE_INIT TEST.EXPECTED:OperationModes.<>.currentMode:MODE_INIT TEST.END -- Test Case: InvalidModeChange.001 TEST.UNIT:OperationModes TEST.SUBPROGRAM:execOperationModes TEST.NEW TEST.NAME:InvalidModeChange.001 TEST.STUB:OperationModes.setCurrentSubState TEST.STUB:OperationModes.setCurrent4thLevelState TEST.VALUE:OperationModes.<>.modeRequest[0..5]:0 TEST.VALUE:OperationModes.<>.modeRequest[6]:1 TEST.VALUE:OperationModes.<>.currentMode:MODE_INIT TEST.VALUE:OperationModes.setCurrent4thLevelState.state:4 TEST.EXPECTED:OperationModes.<>.modeRequest[0..6]:0 TEST.EXPECTED:OperationModes.<>.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.<>.modeRequest[8]:0 >>> >>> Array Index Value(s) out of range 0 to 7 >>> >>> Input Index was: 8 TEST.END_IMPORT_FAILURES: TEST.VALUE:OperationModes.<>.modeRequest[0..5]:0 TEST.VALUE:OperationModes.<>.modeRequest[6]:1 TEST.VALUE:OperationModes.<>.modeRequest[7]:0 TEST.VALUE:OperationModes.<>.currentMode:MODE_PRET TEST.EXPECTED:OperationModes.<>.currentMode:MODE_TREA TEST.END -- Test Case: StandbyToServiceMode TEST.UNIT:OperationModes TEST.SUBPROGRAM:execOperationModes TEST.NEW TEST.NAME:StandbyToServiceMode TEST.VALUE:OperationModes.<>.modeRequest[0]:0 TEST.VALUE:OperationModes.<>.modeRequest[1]:1 TEST.VALUE:OperationModes.<>.currentMode:MODE_STAN TEST.EXPECTED:OperationModes.<>.currentMode:MODE_SERV TEST.END -- Test Case: StandbyToTreatmentParamsMode TEST.UNIT:OperationModes TEST.SUBPROGRAM:execOperationModes TEST.NEW TEST.NAME:StandbyToTreatmentParamsMode TEST.VALUE:OperationModes.<>.modeRequest[0..3]:0 TEST.VALUE:OperationModes.<>.modeRequest[4]:1 TEST.VALUE:OperationModes.<>.currentMode:MODE_STAN TEST.EXPECTED:OperationModes.<>.currentMode:MODE_TPAR TEST.END -- Test Case: TreatmentParamsToPreTreatMode TEST.UNIT:OperationModes TEST.SUBPROGRAM:execOperationModes TEST.NEW TEST.NAME:TreatmentParamsToPreTreatMode TEST.VALUE:OperationModes.<>.modeRequest[0..4]:0 TEST.VALUE:OperationModes.<>.modeRequest[5]:1 TEST.VALUE:OperationModes.<>.currentMode:MODE_TPAR TEST.EXPECTED:OperationModes.<>.currentMode:MODE_PRET TEST.END -- Test Case: TreatmentToFaultMode TEST.UNIT:OperationModes TEST.SUBPROGRAM:execOperationModes TEST.NEW TEST.NAME:TreatmentToFaultMode TEST.VALUE:OperationModes.<>.modeRequest[0]:1 TEST.VALUE:OperationModes.<>.currentMode:MODE_TREA TEST.EXPECTED:OperationModes.<>.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.<>.modeRequest[0]:1 TEST.VALUE:OperationModes.<>.currentMode:MODE_FAUL TEST.VALUE:OperationModes.arbitrateModeRequest.return:MODE_TREA TEST.EXPECTED:OperationModes.<>.currentMode:MODE_FAUL TEST.END -- Test Case: TreatmentToPostTreatMode TEST.UNIT:OperationModes TEST.SUBPROGRAM:execOperationModes TEST.NEW TEST.NAME:TreatmentToPostTreatMode TEST.VALUE:OperationModes.<>.modeRequest[0..6]:0 TEST.VALUE:OperationModes.<>.modeRequest[7]:1 TEST.VALUE:OperationModes.<>.currentMode:MODE_TREA TEST.EXPECTED:OperationModes.<>.currentMode:MODE_POST TEST.END -- Test Case: TreatmentToPostTreatMode.001 TEST.UNIT:OperationModes TEST.SUBPROGRAM:execOperationModes TEST.NEW TEST.NAME:TreatmentToPostTreatMode.001 TEST.STUB:OperationModes.arbitrateModeRequest TEST.STUB:OperationModes.setCurrentSubState TEST.STUB:OperationModes.setCurrent4thLevelState TEST.VALUE:OperationModes.<>.modeRequest[0..7]:0 TEST.VALUE:OperationModes.<>.currentMode:MODE_PRET TEST.VALUE:OperationModes.arbitrateModeRequest.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 TEST.VALUE:uut_prototype_stubs.execFaultMode.return:0 TEST.VALUE:uut_prototype_stubs.execTreatmentMode.return:2 TEST.EXPECTED:OperationModes.<>.lastMode:MODE_PRET TEST.EXPECTED:OperationModes.<>.currentMode:MODE_TREA TEST.END -- Test Case: execOperationModes.001 TEST.UNIT:OperationModes TEST.SUBPROGRAM:execOperationModes TEST.NEW TEST.NAME:execOperationModes.001 TEST.VALUE:OperationModes.<>.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:OperationModes.<>.currentSubMode:0 TEST.EXPECTED:uut_prototype_stubs.sendEvent.event:HD_EVENT_OPERATION_STATUS,HD_EVENT_SUB_MODE_CHANGE TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat1.dataType:(2)EVENT_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat1.data.uInt.data:0,1 TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat2.dataType:(2)EVENT_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat2.data.uInt.data:(2)0 TEST.END -- Test Case: execOperationModes.002 TEST.UNIT:OperationModes TEST.SUBPROGRAM:execOperationModes TEST.NEW TEST.NAME:execOperationModes.002 TEST.STUB:OperationModes.setCurrentSubState TEST.VALUE:OperationModes.<>.currentSubMode:0 TEST.VALUE:OperationModes.<>.currentSubState:0 TEST.VALUE:OperationModes.setCurrentSubState.subState: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:OperationModes.<>.currentSubMode:0 TEST.END -- Subprogram: getConfirmationRequestStatus -- Test Case: getConfirmationRequestStatus.001 TEST.UNIT:OperationModes TEST.SUBPROGRAM:getConfirmationRequestStatus TEST.NEW TEST.NAME:getConfirmationRequestStatus.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 369 TEST.VALUE:OperationModes.getConfirmationRequestStatus.request_id:<> >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 370 TEST.EXPECTED:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_NONE >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.<>.confirmRequests[1].requestID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:OperationModes.<>.confirmRequests[1].requestType:GENERIC_CONFIRM_CMD_REQUEST_OPEN TEST.VALUE:OperationModes.<>.confirmRequests[1].timeStamp:0 TEST.VALUE:OperationModes.<>.confirmRequests[1].status:CONFIRMATION_REQUEST_STATUS_UNUSED TEST.VALUE:OperationModes.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_PENDING TEST.EXPECTED:OperationModes.<>.confirmRequests[1].requestID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:OperationModes.<>.confirmRequests[1].requestType:GENERIC_CONFIRM_CMD_REQUEST_OPEN TEST.EXPECTED:OperationModes.<>.confirmRequests[1].timeStamp:0 TEST.EXPECTED:OperationModes.<>.confirmRequests[1].status:CONFIRMATION_REQUEST_STATUS_UNUSED TEST.EXPECTED:OperationModes.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_UNUSED TEST.END -- Test Case: getConfirmationRequestStatus.002 TEST.UNIT:OperationModes TEST.SUBPROGRAM:getConfirmationRequestStatus TEST.NEW TEST.NAME:getConfirmationRequestStatus.002 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 389 TEST.VALUE:OperationModes.getConfirmationRequestStatus.request_id:<> >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 390 TEST.EXPECTED:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_NONE >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.<>.confirmRequests[1].requestID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:OperationModes.<>.confirmRequests[1].requestType:GENERIC_CONFIRM_CMD_REQUEST_OPEN TEST.VALUE:OperationModes.<>.confirmRequests[1].timeStamp:0 TEST.VALUE:OperationModes.<>.confirmRequests[1].status:CONFIRMATION_REQUEST_STATUS_UNUSED TEST.VALUE:OperationModes.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_PENDING TEST.EXPECTED:OperationModes.<>.confirmRequests[1].requestID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:OperationModes.<>.confirmRequests[1].requestType:GENERIC_CONFIRM_CMD_REQUEST_OPEN TEST.EXPECTED:OperationModes.<>.confirmRequests[1].timeStamp:0 TEST.EXPECTED:OperationModes.<>.confirmRequests[1].status:CONFIRMATION_REQUEST_STATUS_UNUSED TEST.EXPECTED:OperationModes.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_UNUSED TEST.END -- Test Case: getConfirmationRequestStatus.003 TEST.UNIT:OperationModes TEST.SUBPROGRAM:getConfirmationRequestStatus TEST.NEW TEST.NAME:getConfirmationRequestStatus.003 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 414 TEST.VALUE:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 417 TEST.EXPECTED:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.<>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:OperationModes.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_REJECTED TEST.EXPECTED:OperationModes.<>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:OperationModes.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_UNUSED TEST.END -- Test Case: getConfirmationRequestStatus.004 TEST.UNIT:OperationModes TEST.SUBPROGRAM:getConfirmationRequestStatus TEST.NEW TEST.NAME:getConfirmationRequestStatus.004 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 443 TEST.VALUE:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 446 TEST.EXPECTED:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.<>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:OperationModes.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.EXPECTED:OperationModes.<>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:OperationModes.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.END -- Test Case: getConfirmationRequestStatus.005 TEST.UNIT:OperationModes TEST.SUBPROGRAM:getConfirmationRequestStatus TEST.NEW TEST.NAME:getConfirmationRequestStatus.005 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 475 TEST.VALUE:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 479 TEST.EXPECTED:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.<>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:OperationModes.<>.confirmRequests[0].timeStamp:0 TEST.VALUE:OperationModes.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.EXPECTED:OperationModes.<>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:OperationModes.<>.confirmRequests[0].timeStamp:0 TEST.EXPECTED:OperationModes.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.END -- Test Case: getConfirmationRequestStatus.006 TEST.UNIT:OperationModes TEST.SUBPROGRAM:getConfirmationRequestStatus TEST.NEW TEST.NAME:getConfirmationRequestStatus.006 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 508 TEST.VALUE:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 511 TEST.EXPECTED:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.<>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:OperationModes.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.EXPECTED:OperationModes.<>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:OperationModes.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.END -- Test Case: getConfirmationRequestStatus.007 TEST.UNIT:OperationModes TEST.SUBPROGRAM:getConfirmationRequestStatus TEST.NEW TEST.NAME:getConfirmationRequestStatus.007 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 534 TEST.VALUE:OperationModes.getConfirmationRequestStatus.request_id:<> >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 537 TEST.EXPECTED:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_NONE >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.<>.confirmRequests[0].requestID:<> TEST.VALUE:OperationModes.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.EXPECTED:OperationModes.<>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:OperationModes.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.END -- Test Case: getConfirmationRequestStatus.008 TEST.UNIT:OperationModes TEST.SUBPROGRAM:getConfirmationRequestStatus TEST.NEW TEST.NAME:getConfirmationRequestStatus.008 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 562 TEST.VALUE:OperationModes.getConfirmationRequestStatus.request_id:<> >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 565 TEST.EXPECTED:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_NONE >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.<>.confirmRequests[0].status 'equal to' and 'not equal to' same value in branches 3/8 TEST.END_NOTES: TEST.VALUE:OperationModes.<>.confirmRequests[0].requestID:<> TEST.VALUE:OperationModes.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_REJECTED TEST.EXPECTED:OperationModes.<>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:OperationModes.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_UNUSED TEST.END -- Test Case: getConfirmationRequestStatus.009 TEST.UNIT:OperationModes TEST.SUBPROGRAM:getConfirmationRequestStatus TEST.NEW TEST.NAME:getConfirmationRequestStatus.009 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 590 TEST.VALUE:OperationModes.getConfirmationRequestStatus.request_id:<> >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 593 TEST.EXPECTED:OperationModes.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_NONE >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.<>.confirmRequests[0].status) in branches 4/8 TEST.END_NOTES: TEST.VALUE:OperationModes.<>.confirmRequests[0].requestID:<> TEST.VALUE:OperationModes.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_TIMEOUT TEST.EXPECTED:OperationModes.<>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:OperationModes.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_UNUSED TEST.END -- Test Case: getConfirmationRequestStatus.010 TEST.UNIT:OperationModes TEST.SUBPROGRAM:getConfirmationRequestStatus TEST.NEW TEST.NAME:getConfirmationRequestStatus.010 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.requestID:GENERIC_CONFIRM_ID_DISINFECT_STOP_HEAT TEST.VALUE:OperationModes.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_PENDING TEST.EXPECTED:OperationModes.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_PENDING TEST.END -- Test Case: getConfirmationRequestStatus.011 TEST.UNIT:OperationModes TEST.SUBPROGRAM:getConfirmationRequestStatus TEST.NEW TEST.NAME:getConfirmationRequestStatus.011 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.<>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:OperationModes.<>.confirmRequests[0].requestType:GENERIC_CONFIRM_CMD_REQUEST_OPEN TEST.VALUE:OperationModes.<>.confirmRequests[0].timeStamp:0 TEST.VALUE:OperationModes.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.VALUE:OperationModes.<>.confirmRequests[1].requestID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:OperationModes.<>.confirmRequests[1].requestType:GENERIC_CONFIRM_CMD_REQUEST_OPEN TEST.VALUE:OperationModes.<>.confirmRequests[1].timeStamp:0 TEST.VALUE:OperationModes.<>.confirmRequests[1].status:CONFIRMATION_REQUEST_STATUS_UNUSED TEST.VALUE:OperationModes.<>.confirmRequests[2].requestID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:OperationModes.<>.confirmRequests[2].requestType:GENERIC_CONFIRM_CMD_REQUEST_OPEN TEST.VALUE:OperationModes.<>.confirmRequests[2].timeStamp:0 TEST.VALUE:OperationModes.<>.confirmRequests[2].status:CONFIRMATION_REQUEST_STATUS_UNUSED TEST.VALUE:OperationModes.<>.confirmRequests[3].requestID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:OperationModes.<>.confirmRequests[3].requestType:GENERIC_CONFIRM_CMD_REQUEST_OPEN TEST.VALUE:OperationModes.<>.confirmRequests[3].timeStamp:0 TEST.VALUE:OperationModes.<>.confirmRequests[3].status:CONFIRMATION_REQUEST_STATUS_UNUSED TEST.VALUE:OperationModes.getConfirmationRequestStatus.requestID:GENERIC_CONFIRM_ID_DISINFECT_STOP_HEAT TEST.VALUE:OperationModes.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_PENDING TEST.EXPECTED:OperationModes.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_PENDING TEST.END -- Test Case: getConfirmationRequestStatus.012 TEST.UNIT:OperationModes TEST.SUBPROGRAM:getConfirmationRequestStatus TEST.NEW TEST.NAME:getConfirmationRequestStatus.012 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.<>.broadcastModeIntervalCtr:0 TEST.VALUE:OperationModes.<>.confirmRequests[1].requestID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:OperationModes.<>.confirmRequests[1].requestType:GENERIC_CONFIRM_CMD_REQUEST_OPEN TEST.VALUE:OperationModes.<>.confirmRequests[1].timeStamp:0 TEST.VALUE:OperationModes.<>.confirmRequests[1].status:CONFIRMATION_REQUEST_STATUS_UNUSED TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:0 TEST.EXPECTED:OperationModes.<>.broadcastModeIntervalCtr:0 TEST.EXPECTED:OperationModes.<>.confirmRequests[1].requestID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:OperationModes.<>.confirmRequests[1].requestType:GENERIC_CONFIRM_CMD_REQUEST_OPEN TEST.EXPECTED:OperationModes.<>.confirmRequests[1].timeStamp:0 TEST.EXPECTED:OperationModes.<>.confirmRequests[1].status:CONFIRMATION_REQUEST_STATUS_UNUSED TEST.END -- Test Case: getConfirmationRequestStatus.013 TEST.UNIT:OperationModes TEST.SUBPROGRAM:getConfirmationRequestStatus TEST.NEW TEST.NAME:getConfirmationRequestStatus.013 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.<>.broadcastModeIntervalCtr:0 TEST.VALUE:OperationModes.<>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_DISINFECT_STOP_HEAT TEST.VALUE:OperationModes.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_ACCEPTED TEST.VALUE:OperationModes.<>.confirmRequests[1].requestID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:OperationModes.<>.confirmRequests[1].requestType:GENERIC_CONFIRM_CMD_REQUEST_OPEN TEST.VALUE:OperationModes.<>.confirmRequests[1].timeStamp:1000 TEST.VALUE:OperationModes.<>.confirmRequests[1].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.VALUE:OperationModes.<>.confirmRequests[2].requestID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:OperationModes.<>.confirmRequests[2].timeStamp:1500 TEST.VALUE:OperationModes.<>.confirmRequests[2].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.VALUE:OperationModes.<>.confirmRequests[3].requestID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:OperationModes.<>.confirmRequests[3].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.VALUE:OperationModes.getConfirmationRequestStatus.requestID:GENERIC_CONFIRM_ID_DISINFECT_STOP_HEAT TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:0 TEST.EXPECTED:OperationModes.<>.broadcastModeIntervalCtr:0 TEST.EXPECTED:OperationModes.<>.confirmRequests[1].requestID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:OperationModes.<>.confirmRequests[1].requestType:GENERIC_CONFIRM_CMD_REQUEST_OPEN TEST.EXPECTED:OperationModes.<>.confirmRequests[1].timeStamp:1000 TEST.EXPECTED:OperationModes.<>.confirmRequests[1].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.END -- Subprogram: getCurrentOperationMode -- Test Case: NominalPath TEST.UNIT:OperationModes TEST.SUBPROGRAM:getCurrentOperationMode TEST.NEW TEST.NAME:NominalPath TEST.VALUE:OperationModes.<>.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.<>.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.<>.modeRequest[0..7]:1 TEST.VALUE:OperationModes.<>.currentMode:MODE_FAUL TEST.EXPECTED:OperationModes.<>.modeRequest[0..7]:0 TEST.EXPECTED:OperationModes.<>.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.<>.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.<>.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.<>.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.<>.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.<>.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.<>.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.<>.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.<>.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.<>.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.<>.currentMode:MODE_INIT TEST.VALUE:OperationModes.requestNewOperationMode.newMode:NUM_OF_MODES TEST.EXPECTED:OperationModes.<>.currentMode:MODE_INIT TEST.END -- Test Case: ValidModeRequested TEST.UNIT:OperationModes TEST.SUBPROGRAM:requestNewOperationMode TEST.NEW TEST.NAME:ValidModeRequested TEST.VALUE:OperationModes.<>.modeRequest[3]:0 TEST.VALUE:OperationModes.<>.currentMode:MODE_INIT TEST.VALUE:OperationModes.requestNewOperationMode.newMode:MODE_STAN TEST.EXPECTED:OperationModes.<>.modeRequest[3]:1 TEST.EXPECTED:OperationModes.<>.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.VALUE:uut_prototype_stubs.sendEvent.event:HD_EVENT_OPERATION_STATUS TEST.VALUE:uut_prototype_stubs.sendEvent.dat1.dataType:EVENT_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.sendEvent.dat2.dataType:EVENT_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.sendEvent.event:HD_EVENT_OPERATION_STATUS TEST.END -- Subprogram: setConfirmationRequestStatus -- Test Case: setConfirmationRequestStatus.001 TEST.UNIT:OperationModes TEST.SUBPROGRAM:setConfirmationRequestStatus TEST.NEW TEST.NAME:setConfirmationRequestStatus.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 805 TEST.VALUE:OperationModes.setConfirmationRequestStatus.request_id:<> >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 807 TEST.EXPECTED:OperationModes.setConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_NONE >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.status:<> 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.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 827 TEST.VALUE:OperationModes.setConfirmationRequestStatus.request_id:<> >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 830 TEST.EXPECTED:OperationModes.setConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_NONE >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.<>.confirmRequests[0].requestID:<> TEST.VALUE:OperationModes.setConfirmationRequestStatus.status:<> TEST.EXPECTED:OperationModes.<>.confirmRequests[0].requestID: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.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 850 TEST.VALUE:OperationModes.setConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 853 TEST.EXPECTED:OperationModes.setConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH >>> >>> Unknown parameter/object name request_id >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.<>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:OperationModes.setConfirmationRequestStatus.status:<> TEST.EXPECTED:OperationModes.<>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:OperationModes.setConfirmationRequestStatus.status:CONFIRMATION_REQUEST_STATUS_REJECTED TEST.END -- Test Case: setConfirmationRequestStatus.004 TEST.UNIT:OperationModes TEST.SUBPROGRAM:setConfirmationRequestStatus TEST.NEW TEST.NAME:setConfirmationRequestStatus.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.<>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.VALUE:OperationModes.<>.confirmRequests[1].requestID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.VALUE:OperationModes.<>.confirmRequests[2].requestID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.VALUE:OperationModes.<>.confirmRequests[3].requestID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.VALUE:OperationModes.setConfirmationRequestStatus.requestID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:OperationModes.setConfirmationRequestStatus.status:<> TEST.EXPECTED:OperationModes.setConfirmationRequestStatus.status:CONFIRMATION_REQUEST_STATUS_REJECTED TEST.END -- Subprogram: setCurrent4thLevelState -- Test Case: setCurrent4thLevelState.001 TEST.UNIT:OperationModes TEST.SUBPROGRAM:setCurrent4thLevelState TEST.NEW TEST.NAME:setCurrent4thLevelState.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.VALUE:OperationModes.setCurrent4thLevelState.state:<> TEST.EXPECTED:OperationModes.setCurrent4thLevelState.state:<> 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.<>.currentMode:MODE_FAUL TEST.VALUE:OperationModes.<>.currentSubMode:8 TEST.VALUE:OperationModes.<>.currentSubState:8 TEST.VALUE:OperationModes.setCurrentSubState.subState:<> 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:<> 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:<> 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:<> TEST.VALUE:OperationModes.testSetOpModePublishIntervalOverride.return:0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> 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:<> 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:<> TEST.VALUE:OperationModes.testSetOperationMode.return:0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> 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.<>.currentSubMode:0 TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:MODE_FAUL TEST.EXPECTED:OperationModes.<>.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.<>.currentSubMode:0 TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:MODE_INIT TEST.EXPECTED:OperationModes.<>.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.<>.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.<>.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.<>.currentSubMode:0 TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:MODE_TPAR TEST.EXPECTED:OperationModes.<>.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.<>.currentSubMode:0 TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:MODE_POST TEST.EXPECTED:OperationModes.<>.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.<>.currentSubMode:0 TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:MODE_PRET TEST.EXPECTED:OperationModes.<>.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.<>.currentSubMode:0 TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:MODE_SERV TEST.EXPECTED:OperationModes.<>.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.<>.currentSubMode:0 TEST.VALUE:OperationModes.transitionToNewOperationMode.newMode:MODE_STAN TEST.EXPECTED:OperationModes.<>.currentSubMode:0 TEST.EXPECTED:OperationModes.transitionToNewOperationMode.newMode:MODE_STAN TEST.END