Index: vectorcast/Hercules_RM46_HD_Project/environment/RINSEBACK/RINSEBACK.tst =================================================================== diff -u -rf331784bd59c7e2a645199e2285703774f824109 -r28e3a0c7584eb2c3575646c8abdaa3ca0552951d --- vectorcast/Hercules_RM46_HD_Project/environment/RINSEBACK/RINSEBACK.tst (.../RINSEBACK.tst) (revision f331784bd59c7e2a645199e2285703774f824109) +++ vectorcast/Hercules_RM46_HD_Project/environment/RINSEBACK/RINSEBACK.tst (.../RINSEBACK.tst) (revision 28e3a0c7584eb2c3575646c8abdaa3ca0552951d) @@ -17,66 +17,22 @@ -- Subprogram: execRinseback --- Test Case: execRinseback.001 +-- Test Case: execRinseback_AdditionalState TEST.UNIT:Rinseback TEST.SUBPROGRAM:execRinseback TEST.NEW -TEST.NAME:execRinseback.001 -TEST.STUB:Rinseback.handleRinsebackStopInitState -TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_STOP_INIT_STATE -TEST.VALUE:Rinseback.handleRinsebackStopInitState.return:RINSEBACK_STOP_INIT_STATE -TEST.EXPECTED:Rinseback.<>.rinsebackState:RINSEBACK_STOP_INIT_STATE -TEST.END - --- Test Case: execRinseback.002 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:execRinseback -TEST.NEW -TEST.NAME:execRinseback.002 -TEST.STUB:Rinseback.handleRinsebackRunState -TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_RUN_STATE -TEST.VALUE:Rinseback.handleRinsebackRunState.return:RINSEBACK_RUN_STATE -TEST.EXPECTED:Rinseback.<>.rinsebackState:RINSEBACK_RUN_STATE -TEST.END - --- Test Case: execRinseback.003 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:execRinseback -TEST.NEW -TEST.NAME:execRinseback.003 -TEST.STUB:Rinseback.handleRinsebackPausedState -TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_PAUSED_STATE -TEST.VALUE:Rinseback.handleRinsebackPausedState.return:RINSEBACK_PAUSED_STATE -TEST.EXPECTED:Rinseback.<>.rinsebackState:RINSEBACK_PAUSED_STATE -TEST.END - --- Test Case: execRinseback.004 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:execRinseback -TEST.NEW -TEST.NAME:execRinseback.004 -TEST.STUB:Rinseback.handleRinsebackStoppedState -TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_STOP_STATE -TEST.VALUE:Rinseback.handleRinsebackStoppedState.return:RINSEBACK_STOP_STATE -TEST.EXPECTED:Rinseback.<>.rinsebackState:RINSEBACK_STOP_STATE -TEST.END - --- Test Case: execRinseback.005 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:execRinseback -TEST.NEW -TEST.NAME:execRinseback.005 +TEST.NAME:execRinseback_AdditionalState TEST.STUB:Rinseback.handleRinsebackRunAdditionalState TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_RUN_ADDITIONAL_STATE TEST.VALUE:Rinseback.handleRinsebackRunAdditionalState.return:RINSEBACK_RUN_ADDITIONAL_STATE TEST.EXPECTED:Rinseback.<>.rinsebackState:RINSEBACK_RUN_ADDITIONAL_STATE TEST.END --- Test Case: execRinseback.006 +-- Test Case: execRinseback_InvalidState TEST.UNIT:Rinseback TEST.SUBPROGRAM:execRinseback TEST.NEW -TEST.NAME:execRinseback.006 +TEST.NAME:execRinseback_InvalidState TEST.VALUE:Rinseback.<>.rinsebackState:NUM_OF_RINSEBACK_STATES TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 @@ -91,185 +47,86 @@ TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:6 TEST.END --- Test Case: execRinseback.007 +-- Test Case: execRinseback_PausedState TEST.UNIT:Rinseback TEST.SUBPROGRAM:execRinseback TEST.NEW -TEST.NAME:execRinseback.007 -TEST.STUB:Rinseback.handleRinsebackStopInitState -TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_STOP_INIT_STATE -TEST.VALUE:Rinseback.handleRinsebackStopInitState.return:RINSEBACK_RUN_STATE -TEST.VALUE:uut_prototype_stubs.sendEvent.event:HD_EVENT_SUB_STATE_CHANGE -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:Rinseback.<>.rinsebackState:RINSEBACK_RUN_STATE -TEST.EXPECTED:uut_prototype_stubs.sendEvent.event:HD_EVENT_SUB_STATE_CHANGE -TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat1.dataType:EVENT_DATA_TYPE_U32 -TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat1.data.uInt.data:0 -TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat2.dataType:EVENT_DATA_TYPE_U32 -TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat2.data.uInt.data:1 +TEST.NAME:execRinseback_PausedState +TEST.STUB:Rinseback.handleRinsebackPausedState +TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_PAUSED_STATE +TEST.VALUE:Rinseback.handleRinsebackPausedState.return:RINSEBACK_PAUSED_STATE +TEST.EXPECTED:Rinseback.<>.rinsebackState:RINSEBACK_PAUSED_STATE TEST.END --- Test Case: execRinseback.008 +-- Test Case: execRinseback_ReconnPatState TEST.UNIT:Rinseback TEST.SUBPROGRAM:execRinseback TEST.NEW -TEST.NAME:execRinseback.008 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 125 TEST.VALUE:uut_prototype_stubs.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_ACCEPTED - >>> >>> Could not find function getConfirmationRequestStatus - >>> >>> in unit uut_prototype_stubs. - >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 123 TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_TREATMENT_END - >>> >>> Unknown parameter/object name request_id - >>> >>> Value Line Error - Command Ignored -TEST.END_IMPORT_FAILURES: -TEST.STUB:Rinseback.resetRinsebackFlags -TEST.STUB:Rinseback.handleRinsebackStopInitState -TEST.STUB:Rinseback.publishRinsebackData -TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_STOP_INIT_STATE -TEST.VALUE:Rinseback.<>.endTreatmentRequested:0 -TEST.VALUE:Rinseback.handleRinsebackStopInitState.return:RINSEBACK_STOP_INIT_STATE -TEST.EXPECTED:Rinseback.<>.rinsebackState:RINSEBACK_STOP_INIT_STATE -TEST.EXPECTED:Rinseback.<>.endTreatmentRequested:0 -TEST.END - --- Test Case: execRinseback.009 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:execRinseback -TEST.NEW -TEST.NAME:execRinseback.009 -TEST.BASIS_PATH:1 of 8 (template) +TEST.NAME:execRinseback_ReconnPatState +TEST.BASIS_PATH:8 of 8 TEST.NOTES: This is an automatically generated test case. - Test Path 1 - (7) case rinsebackState ==> default + Test Path 8 + (6) case rinsebackState ==> RINSEBACK_RECONNECT_PATIENT_STATE (8) if (priorSubState != rinsebackState) ==> FALSE Test Case Generation Notes: - Conflict: Cannot resolve multiple comparisons ( Rinseback.<>.rinsebackState ) in branches 1/8 TEST.END_NOTES: -TEST.VALUE:Rinseback.<>.rinsebackState:NUM_OF_RINSEBACK_STATES +TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_RECONNECT_PATIENT_STATE +TEST.EXPECTED:Rinseback.<>.rinsebackState:RINSEBACK_RECONNECT_PATIENT_STATE TEST.END --- Test Case: execRinseback.010 +-- Test Case: execRinseback_RunState TEST.UNIT:Rinseback TEST.SUBPROGRAM:execRinseback TEST.NEW -TEST.NAME:execRinseback.010 -TEST.BASIS_PATH:2 of 8 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (7) case rinsebackState ==> default - (8) if (priorSubState != rinsebackState) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:Rinseback.<>.rinsebackState:NUM_OF_RINSEBACK_STATES +TEST.NAME:execRinseback_RunState +TEST.STUB:Rinseback.handleRinsebackRunState +TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_RUN_STATE +TEST.VALUE:Rinseback.handleRinsebackRunState.return:RINSEBACK_RUN_STATE +TEST.EXPECTED:Rinseback.<>.rinsebackState:RINSEBACK_RUN_STATE TEST.END --- Test Case: execRinseback.011 +-- Test Case: execRinseback_StateChange TEST.UNIT:Rinseback TEST.SUBPROGRAM:execRinseback TEST.NEW -TEST.NAME:execRinseback.011 -TEST.BASIS_PATH:3 of 8 -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) case rinsebackState ==> RINSEBACK_STOP_INIT_STATE - (8) if (priorSubState != rinsebackState) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: +TEST.NAME:execRinseback_StateChange +TEST.STUB:Rinseback.handleRinsebackStopInitState TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_STOP_INIT_STATE -TEST.VALUE:Rinseback.handleRinsebackStopInitState.return:RINSEBACK_STOP_INIT_STATE -TEST.END - --- Test Case: execRinseback.012 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:execRinseback -TEST.NEW -TEST.NAME:execRinseback.012 -TEST.BASIS_PATH:4 of 8 -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (2) case rinsebackState ==> RINSEBACK_RUN_STATE - (8) if (priorSubState != rinsebackState) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_RUN_STATE TEST.VALUE:Rinseback.handleRinsebackStopInitState.return:RINSEBACK_RUN_STATE +TEST.VALUE:uut_prototype_stubs.sendEvent.event:HD_EVENT_SUB_STATE_CHANGE +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:Rinseback.<>.rinsebackState:RINSEBACK_RUN_STATE +TEST.EXPECTED:uut_prototype_stubs.sendEvent.event:HD_EVENT_SUB_STATE_CHANGE +TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat1.dataType:EVENT_DATA_TYPE_U32 +TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat1.data.uInt.data:0 +TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat2.dataType:EVENT_DATA_TYPE_U32 +TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat2.data.uInt.data:1 TEST.END --- Test Case: execRinseback.013 +-- Test Case: execRinseback_StopInitState TEST.UNIT:Rinseback TEST.SUBPROGRAM:execRinseback TEST.NEW -TEST.NAME:execRinseback.013 -TEST.BASIS_PATH:5 of 8 -TEST.NOTES: -This is an automatically generated test case. - Test Path 5 - (3) case rinsebackState ==> RINSEBACK_PAUSED_STATE - (8) if (priorSubState != rinsebackState) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_PAUSED_STATE -TEST.VALUE:Rinseback.handleRinsebackStopInitState.return:RINSEBACK_PAUSED_STATE +TEST.NAME:execRinseback_StopInitState +TEST.STUB:Rinseback.handleRinsebackStopInitState +TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_STOP_INIT_STATE +TEST.VALUE:Rinseback.handleRinsebackStopInitState.return:RINSEBACK_STOP_INIT_STATE +TEST.EXPECTED:Rinseback.<>.rinsebackState:RINSEBACK_STOP_INIT_STATE TEST.END --- Test Case: execRinseback.014 +-- Test Case: execRinseback_StopState TEST.UNIT:Rinseback TEST.SUBPROGRAM:execRinseback TEST.NEW -TEST.NAME:execRinseback.014 -TEST.BASIS_PATH:6 of 8 -TEST.NOTES: -This is an automatically generated test case. - Test Path 6 - (4) case rinsebackState ==> RINSEBACK_STOP_STATE - (8) if (priorSubState != rinsebackState) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: +TEST.NAME:execRinseback_StopState +TEST.STUB:Rinseback.handleRinsebackStoppedState TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_STOP_STATE -TEST.VALUE:Rinseback.handleRinsebackStopInitState.return:RINSEBACK_STOP_STATE +TEST.VALUE:Rinseback.handleRinsebackStoppedState.return:RINSEBACK_STOP_STATE +TEST.EXPECTED:Rinseback.<>.rinsebackState:RINSEBACK_STOP_STATE TEST.END --- Test Case: execRinseback.015 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:execRinseback -TEST.NEW -TEST.NAME:execRinseback.015 -TEST.BASIS_PATH:7 of 8 -TEST.NOTES: -This is an automatically generated test case. - Test Path 7 - (5) case rinsebackState ==> RINSEBACK_RUN_ADDITIONAL_STATE - (8) if (priorSubState != rinsebackState) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_RUN_ADDITIONAL_STATE -TEST.VALUE:Rinseback.handleRinsebackStopInitState.return:RINSEBACK_RUN_ADDITIONAL_STATE -TEST.END - --- Test Case: execRinseback.016 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:execRinseback -TEST.NEW -TEST.NAME:execRinseback.016 -TEST.BASIS_PATH:8 of 8 -TEST.NOTES: -This is an automatically generated test case. - Test Path 8 - (6) case rinsebackState ==> RINSEBACK_RECONNECT_PATIENT_STATE - (8) if (priorSubState != rinsebackState) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_RECONNECT_PATIENT_STATE -TEST.VALUE:Rinseback.handleRinsebackStopInitState.return:RINSEBACK_RECONNECT_PATIENT_STATE -TEST.END - -- Subprogram: getCurrentRinsebackState -- Test Case: getCurrentRinsebackState.001 @@ -665,11 +522,11 @@ -- Subprogram: handleDialysateRecircOnOff --- Test Case: handleDialysateRecircOnOff.001 +-- Test Case: handleDialysateRecircOnOff_DialysateRecircBlocked TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleDialysateRecircOnOff TEST.NEW -TEST.NAME:handleDialysateRecircOnOff.001 +TEST.NAME:handleDialysateRecircOnOff_DialysateRecircBlocked TEST.BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. @@ -680,29 +537,21 @@ TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:1 TEST.VALUE:uut_prototype_stubs.isDialInPumpRunning.return:1 +TEST.FLOW + Rinseback.c.handleDialysateRecircOnOff + uut_prototype_stubs.isDialysateRecircBlocked + uut_prototype_stubs.isDialInPumpRunning + uut_prototype_stubs.signalDialInPumpHardStop + uut_prototype_stubs.cmdStopDGTrimmerHeater + Rinseback.c.handleDialysateRecircOnOff +TEST.END_FLOW TEST.END --- Test Case: handleDialysateRecircOnOff.002 +-- Test Case: handleDialysateRecircOnOff_DialysateRecircNotBlocked TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleDialysateRecircOnOff TEST.NEW -TEST.NAME:handleDialysateRecircOnOff.002 -TEST.NOTES: -This is an automatically generated test case. -Test Path 1 -(1) if ((1) == isDialysateRecircBlocked() && (1) == isDialInPumpRunning()) ==> FALSE -(2) if (isDialysateRecircBlocked() != (1) && isDialInPumpRunning() != (1)) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:1 -TEST.VALUE:uut_prototype_stubs.isDialInPumpRunning.return:0 -TEST.END - --- Test Case: handleDialysateRecircOnOff.003 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:handleDialysateRecircOnOff -TEST.NEW -TEST.NAME:handleDialysateRecircOnOff.003 +TEST.NAME:handleDialysateRecircOnOff_DialysateRecircNotBlocked TEST.BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. @@ -713,38 +562,61 @@ TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:<> TEST.VALUE:uut_prototype_stubs.isDialInPumpRunning.return:<> +TEST.FLOW + Rinseback.c.handleDialysateRecircOnOff + uut_prototype_stubs.isDialysateRecircBlocked + uut_prototype_stubs.isDialysateRecircBlocked + uut_prototype_stubs.isDialInPumpRunning + uut_prototype_stubs.setDialInPumpTargetFlowRate + uut_prototype_stubs.cmdStartDGTrimmerHeater + Rinseback.c.handleDialysateRecircOnOff +TEST.END_FLOW TEST.END --- Test Case: handleDialysateRecircOnOff.004 +-- Test Case: handleDialysateRecircOnOff_Nominal TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleDialysateRecircOnOff TEST.NEW -TEST.NAME:handleDialysateRecircOnOff.004 +TEST.NAME:handleDialysateRecircOnOff_Nominal TEST.NOTES: This is an automatically generated test case. -Test Path 2 +Test Path 1 (1) if ((1) == isDialysateRecircBlocked() && (1) == isDialInPumpRunning()) ==> FALSE -(2) if (isDialysateRecircBlocked() != (1) && isDialInPumpRunning() != (1)) ==> TRUE +(2) if (isDialysateRecircBlocked() != (1) && isDialInPumpRunning() != (1)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:<> -TEST.VALUE:uut_prototype_stubs.isDialInPumpRunning.return:1 +TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:1 +TEST.VALUE:uut_prototype_stubs.isDialInPumpRunning.return:0 +TEST.FLOW + Rinseback.c.handleDialysateRecircOnOff + uut_prototype_stubs.isDialysateRecircBlocked + uut_prototype_stubs.isDialInPumpRunning + uut_prototype_stubs.isDialysateRecircBlocked + Rinseback.c.handleDialysateRecircOnOff +TEST.END_FLOW TEST.END --- Test Case: handleDialysateRecircOnOff.005 +-- Test Case: handleDialysateRecircOnOff_Nominal2 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleDialysateRecircOnOff TEST.NEW -TEST.NAME:handleDialysateRecircOnOff.005 -TEST.BASIS_PATH:3 of 3 +TEST.NAME:handleDialysateRecircOnOff_Nominal2 TEST.NOTES: This is an automatically generated test case. -Test Path 3 -(1) if ((1) == isDialysateRecircBlocked() && (1) == isDialInPumpRunning()) ==> TRUE +Test Path 2 +(1) if ((1) == isDialysateRecircBlocked() && (1) == isDialInPumpRunning()) ==> FALSE +(2) if (isDialysateRecircBlocked() != (1) && isDialInPumpRunning() != (1)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:1 +TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:<> TEST.VALUE:uut_prototype_stubs.isDialInPumpRunning.return:1 +TEST.FLOW + Rinseback.c.handleDialysateRecircOnOff + uut_prototype_stubs.isDialysateRecircBlocked + uut_prototype_stubs.isDialysateRecircBlocked + uut_prototype_stubs.isDialInPumpRunning + Rinseback.c.handleDialysateRecircOnOff +TEST.END_FLOW TEST.END -- Subprogram: handleEndRinsebackUserAction @@ -975,33 +847,11 @@ -- Subprogram: handleResumeRinsebackUserAction --- Test Case: handleResumeRinsebackUserAction.001 +-- Test Case: handleResumeRinsebackUserAction_RejectForState TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleResumeRinsebackUserAction TEST.NEW -TEST.NAME:handleResumeRinsebackUserAction.001 -TEST.MCDC_BASIS_PATH:2 of 2 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if ((RINSEBACK_PAUSED_STATE) == rinsebackState) ==> 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:Rinseback.<>.rinsebackState:RINSEBACK_PAUSED_STATE -TEST.VALUE:Rinseback.<>.resumeRinsebackRequested:1 -TEST.VALUE:Rinseback.handleResumeRinsebackUserAction.rejReason:<> -TEST.VALUE:Rinseback.handleResumeRinsebackUserAction.return:1 -TEST.EXPECTED:Rinseback.<>.resumeRinsebackRequested:1 -TEST.EXPECTED:Rinseback.handleResumeRinsebackUserAction.return:1 -TEST.END - --- Test Case: handleResumeRinsebackUserAction.002 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:handleResumeRinsebackUserAction -TEST.NEW -TEST.NAME:handleResumeRinsebackUserAction.002 +TEST.NAME:handleResumeRinsebackUserAction_RejectForState TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. @@ -1013,23 +863,17 @@ TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_STOP_INIT_STATE TEST.VALUE:Rinseback.handleResumeRinsebackUserAction.rejReason:<> -TEST.VALUE:Rinseback.handleResumeRinsebackUserAction.rejReason[0]:REQUEST_REJECT_REASON_ACTION_DISABLED_IN_CURRENT_STATE TEST.VALUE:Rinseback.handleResumeRinsebackUserAction.return:0 +TEST.EXPECTED:Rinseback.handleResumeRinsebackUserAction.rejReason[0]:REQUEST_REJECT_REASON_ACTION_DISABLED_IN_CURRENT_STATE TEST.EXPECTED:Rinseback.handleResumeRinsebackUserAction.return:0 TEST.END --- Test Case: handleResumeRinsebackUserAction.003 +-- Test Case: handleResumeRinsebackUserAction_ResumePause TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleResumeRinsebackUserAction TEST.NEW -TEST.NAME:handleResumeRinsebackUserAction.003 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 1038 TEST.VALUE:uut_prototype_stubs.getNoRetriggerFlag.return:1 - >>> >>> Could not find function getNoRetriggerFlag - >>> >>> in unit uut_prototype_stubs. - >>> >>> Value Line Error - Command Ignored -TEST.END_IMPORT_FAILURES: +TEST.NAME:handleResumeRinsebackUserAction_ResumePause +TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 @@ -1039,36 +883,18 @@ Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_PAUSED_STATE -TEST.VALUE:Rinseback.<>.resumeRinsebackRequested:1 +TEST.VALUE:Rinseback.<>.resumeRinsebackRequested:0 TEST.VALUE:Rinseback.handleResumeRinsebackUserAction.rejReason:<> TEST.VALUE:Rinseback.handleResumeRinsebackUserAction.return:1 -TEST.EXPECTED:Rinseback.<>.rinsebackState:RINSEBACK_PAUSED_STATE TEST.EXPECTED:Rinseback.<>.resumeRinsebackRequested:1 TEST.EXPECTED:Rinseback.handleResumeRinsebackUserAction.return:1 TEST.END --- Test Case: handleResumeRinsebackUserAction.004 +-- Test Case: handleResumeRinsebackUserAction_ReturnToRB TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleResumeRinsebackUserAction TEST.NEW -TEST.NAME:handleResumeRinsebackUserAction.004 -TEST.BASIS_PATH:1 of 4 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if ((RINSEBACK_PAUSED_STATE) == rinsebackState) ==> FALSE - (3) if ((RINSEBACK_RECONNECT_PATIENT_STATE) == rinsebackState) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_STOP_INIT_STATE -TEST.VALUE:Rinseback.handleResumeRinsebackUserAction.rejReason:<> -TEST.END - --- Test Case: handleResumeRinsebackUserAction.005 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:handleResumeRinsebackUserAction -TEST.NEW -TEST.NAME:handleResumeRinsebackUserAction.005 +TEST.NAME:handleResumeRinsebackUserAction_ReturnToRB TEST.BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. @@ -1078,128 +904,18 @@ Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_RECONNECT_PATIENT_STATE +TEST.VALUE:Rinseback.<>.resumeRinsebackRequested:0 TEST.VALUE:Rinseback.handleResumeRinsebackUserAction.rejReason:<> +TEST.EXPECTED:Rinseback.<>.resumeRinsebackRequested:1 TEST.END --- Test Case: handleResumeRinsebackUserAction.006 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:handleResumeRinsebackUserAction -TEST.NEW -TEST.NAME:handleResumeRinsebackUserAction.006 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 1093 TEST.VALUE:uut_prototype_stubs.getNoRetriggerFlag.return:1 - >>> >>> Could not find function getNoRetriggerFlag - >>> >>> in unit uut_prototype_stubs. - >>> >>> Value Line Error - Command Ignored -TEST.END_IMPORT_FAILURES: -TEST.BASIS_PATH:3 of 4 -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if ((RINSEBACK_PAUSED_STATE) == rinsebackState) ==> TRUE - (2) if (getNoRetriggerFlag() != (1)) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_PAUSED_STATE -TEST.VALUE:Rinseback.handleResumeRinsebackUserAction.rejReason:<> -TEST.END - --- Test Case: handleResumeRinsebackUserAction.007 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:handleResumeRinsebackUserAction -TEST.NEW -TEST.NAME:handleResumeRinsebackUserAction.007 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 1111 TEST.VALUE:uut_prototype_stubs.getNoRetriggerFlag.return:<> - >>> >>> Could not find function getNoRetriggerFlag - >>> >>> in unit uut_prototype_stubs. - >>> >>> Value Line Error - Command Ignored -TEST.END_IMPORT_FAILURES: -TEST.BASIS_PATH:4 of 4 -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) if ((RINSEBACK_PAUSED_STATE) == rinsebackState) ==> TRUE - (2) if (getNoRetriggerFlag() != (1)) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_PAUSED_STATE -TEST.VALUE:Rinseback.handleResumeRinsebackUserAction.rejReason:<> -TEST.END - -- Subprogram: handleRinsebackPausedState --- Test Case: handleRinsebackPausedState.001 +-- Test Case: handleRinsebackPausedState_AbortRB TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackPausedState TEST.NEW -TEST.NAME:handleRinsebackPausedState.001 -TEST.MCDC_BASIS_PATH:2 of 6 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME) ==> 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:Rinseback.<>.rinsebackTimerCtr:<> -TEST.VALUE:Rinseback.handleRinsebackPausedState.return:RINSEBACK_PAUSED_STATE -TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM -TEST.EXPECTED:Rinseback.handleRinsebackPausedState.return:RINSEBACK_PAUSED_STATE -TEST.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM -TEST.END - --- Test Case: handleRinsebackPausedState.002 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:handleRinsebackPausedState -TEST.NEW -TEST.NAME:handleRinsebackPausedState.002 -TEST.MCDC_BASIS_PATH:1 of 6 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME) ==> 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:Rinseback.<>.rinsebackTimerCtr:<> -TEST.VALUE:Rinseback.handleRinsebackPausedState.return:RINSEBACK_PAUSED_STATE -TEST.EXPECTED:Rinseback.handleRinsebackPausedState.return:RINSEBACK_PAUSED_STATE -TEST.END - --- Test Case: handleRinsebackPausedState.003 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:handleRinsebackPausedState -TEST.NEW -TEST.NAME:handleRinsebackPausedState.003 -TEST.MCDC_BASIS_PATH:4 of 6 -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME) ==> FALSE - (2) if ((1) == resumeRinsebackRequested) ==> TRUE - Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". - Condition a ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:Rinseback.setupForRinsebackDelivery -TEST.VALUE:Rinseback.<>.rinsebackTimerCtr:<> -TEST.VALUE:Rinseback.<>.resumeRinsebackRequested:1 -TEST.VALUE:Rinseback.setupForRinsebackDelivery.rate:0 -TEST.VALUE:Rinseback.handleRinsebackPausedState.return:RINSEBACK_RUN_STATE -TEST.EXPECTED:Rinseback.setupForRinsebackDelivery.rate:0 -TEST.EXPECTED:Rinseback.handleRinsebackPausedState.return:RINSEBACK_RUN_STATE -TEST.END - --- Test Case: handleRinsebackPausedState.004 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:handleRinsebackPausedState -TEST.NEW -TEST.NAME:handleRinsebackPausedState.004 +TEST.NAME:handleRinsebackPausedState_AbortRB TEST.MCDC_BASIS_PATH:6 of 6 TEST.NOTES: This is an automatically generated test case. @@ -1220,125 +936,141 @@ TEST.EXPECTED:Rinseback.handleRinsebackPausedState.return:RINSEBACK_STOP_STATE TEST.END --- Test Case: handleRinsebackPausedState.005 +-- Test Case: handleRinsebackPausedState_EndTx TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackPausedState TEST.NEW -TEST.NAME:handleRinsebackPausedState.005 -TEST.BASIS_PATH:1 of 5 +TEST.NAME:handleRinsebackPausedState_EndTx +TEST.BASIS_PATH:3 of 5 TEST.NOTES: This is an automatically generated test case. - Test Path 1 + Test Path 3 (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME) ==> FALSE (2) if ((1) == resumeRinsebackRequested) ==> FALSE - (3) if ((1) == endTreatmentRequested) ==> FALSE - (4) if ((1) == endRinsebackRequested) ==> FALSE + (3) if ((1) == endTreatmentRequested) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackTimerCtr:<> TEST.VALUE:Rinseback.<>.resumeRinsebackRequested:<> -TEST.VALUE:Rinseback.<>.endRinsebackRequested:<> -TEST.VALUE:Rinseback.<>.endTreatmentRequested:<> +TEST.VALUE:Rinseback.<>.endTreatmentRequested:1 +TEST.FLOW + Rinseback.c.handleRinsebackPausedState + uut_prototype_stubs.signalEndTreatment + Rinseback.c.handleRinsebackPausedState +TEST.END_FLOW TEST.END --- Test Case: handleRinsebackPausedState.006 +-- Test Case: handleRinsebackPausedState_NoFlags TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackPausedState TEST.NEW -TEST.NAME:handleRinsebackPausedState.006 -TEST.BASIS_PATH:2 of 5 +TEST.NAME:handleRinsebackPausedState_NoFlags +TEST.MCDC_BASIS_PATH:1 of 6 TEST.NOTES: This is an automatically generated test case. - Test Path 2 + Test Path 1 (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME) ==> FALSE - (2) if ((1) == resumeRinsebackRequested) ==> FALSE - (3) if ((1) == endTreatmentRequested) ==> FALSE - (4) if ((1) == endRinsebackRequested) ==> TRUE + 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:Rinseback.<>.rinsebackTimerCtr:<> -TEST.VALUE:Rinseback.<>.resumeRinsebackRequested:<> -TEST.VALUE:Rinseback.<>.endRinsebackRequested:1 -TEST.VALUE:Rinseback.<>.endTreatmentRequested:<> +TEST.VALUE:Rinseback.handleRinsebackPausedState.return:RINSEBACK_PAUSED_STATE +TEST.EXPECTED:Rinseback.handleRinsebackPausedState.return:RINSEBACK_PAUSED_STATE TEST.END --- Test Case: handleRinsebackPausedState.007 +-- Test Case: handleRinsebackPausedState_RBTimeout TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackPausedState TEST.NEW -TEST.NAME:handleRinsebackPausedState.007 -TEST.BASIS_PATH:3 of 5 +TEST.NAME:handleRinsebackPausedState_RBTimeout +TEST.MCDC_BASIS_PATH:2 of 6 TEST.NOTES: This is an automatically generated test case. - Test Path 3 - (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME) ==> FALSE - (2) if ((1) == resumeRinsebackRequested) ==> FALSE - (3) if ((1) == endTreatmentRequested) ==> TRUE + Test Path 2 + (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME) ==> 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:Rinseback.<>.rinsebackTimerCtr:<> -TEST.VALUE:Rinseback.<>.resumeRinsebackRequested:<> -TEST.VALUE:Rinseback.<>.endTreatmentRequested:1 +TEST.VALUE:Rinseback.<>.rinsebackTimerCtr:<> +TEST.VALUE:Rinseback.handleRinsebackPausedState.return:RINSEBACK_PAUSED_STATE +TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM +TEST.EXPECTED:Rinseback.handleRinsebackPausedState.return:RINSEBACK_PAUSED_STATE +TEST.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM TEST.END --- Test Case: handleRinsebackPausedState.008 +-- Test Case: handleRinsebackPausedState_Resume TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackPausedState TEST.NEW -TEST.NAME:handleRinsebackPausedState.008 -TEST.BASIS_PATH:4 of 5 +TEST.NAME:handleRinsebackPausedState_Resume +TEST.MCDC_BASIS_PATH:4 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME) ==> FALSE (2) if ((1) == resumeRinsebackRequested) ==> TRUE + Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". + Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: +TEST.STUB:Rinseback.setupForRinsebackDelivery TEST.VALUE:Rinseback.<>.rinsebackTimerCtr:<> TEST.VALUE:Rinseback.<>.resumeRinsebackRequested:1 +TEST.VALUE:Rinseback.setupForRinsebackDelivery.rate:0 +TEST.EXPECTED:Rinseback.setupForRinsebackDelivery.rate:0 +TEST.EXPECTED:Rinseback.handleRinsebackPausedState.return:RINSEBACK_RUN_STATE TEST.END --- Test Case: handleRinsebackPausedState.009 +-- Subprogram: handleRinsebackReconnectPatientState + +-- Test Case: handleRinsebackReconnectPatientState_BackToRB TEST.UNIT:Rinseback -TEST.SUBPROGRAM:handleRinsebackPausedState +TEST.SUBPROGRAM:handleRinsebackReconnectPatientState TEST.NEW -TEST.NAME:handleRinsebackPausedState.009 -TEST.BASIS_PATH:5 of 5 +TEST.NAME:handleRinsebackReconnectPatientState_BackToRB +TEST.BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. - Test Path 5 - (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME) ==> TRUE + Test Path 4 + (1) if ((1) == resumeRinsebackRequested) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: -TEST.VALUE:Rinseback.<>.rinsebackTimerCtr:<> +TEST.VALUE:Rinseback.<>.resumeRinsebackRequested:1 +TEST.FLOW + Rinseback.c.handleRinsebackReconnectPatientState + Rinseback.c.handleRinsebackReconnectPatientState +TEST.END_FLOW TEST.END --- Subprogram: handleRinsebackReconnectPatientState - --- Test Case: handleRinsebackReconnectPatientState.001 +-- Test Case: handleRinsebackReconnectPatientState_BackToTx TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackReconnectPatientState TEST.NEW -TEST.NAME:handleRinsebackReconnectPatientState.001 -TEST.BASIS_PATH:1 of 4 +TEST.NAME:handleRinsebackReconnectPatientState_BackToTx +TEST.BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. - Test Path 1 + Test Path 3 (1) if ((1) == resumeRinsebackRequested) ==> FALSE - (2) if ((1) == backToTreatmentRequested) ==> FALSE - (3) if ((1) == endTreatmentRequested) ==> FALSE + (2) if ((1) == backToTreatmentRequested) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.resumeRinsebackRequested:<> -TEST.VALUE:Rinseback.<>.backToTreatmentRequested:<> -TEST.VALUE:Rinseback.<>.endTreatmentRequested:<> +TEST.VALUE:Rinseback.<>.backToTreatmentRequested:1 +TEST.FLOW + Rinseback.c.handleRinsebackReconnectPatientState + uut_prototype_stubs.signalGoToTreatmentStopped + Rinseback.c.handleRinsebackReconnectPatientState +TEST.END_FLOW TEST.END --- Test Case: handleRinsebackReconnectPatientState.002 +-- Test Case: handleRinsebackReconnectPatientState_EndTx TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackReconnectPatientState TEST.NEW -TEST.NAME:handleRinsebackReconnectPatientState.002 +TEST.NAME:handleRinsebackReconnectPatientState_EndTx TEST.BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. @@ -1351,40 +1083,36 @@ TEST.VALUE:Rinseback.<>.resumeRinsebackRequested:<> TEST.VALUE:Rinseback.<>.backToTreatmentRequested:<> TEST.VALUE:Rinseback.<>.endTreatmentRequested:1 +TEST.FLOW + Rinseback.c.handleRinsebackReconnectPatientState + uut_prototype_stubs.signalEndTreatment + Rinseback.c.handleRinsebackReconnectPatientState +TEST.END_FLOW TEST.END --- Test Case: handleRinsebackReconnectPatientState.003 +-- Test Case: handleRinsebackReconnectPatientState_NoFlags TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackReconnectPatientState TEST.NEW -TEST.NAME:handleRinsebackReconnectPatientState.003 -TEST.BASIS_PATH:3 of 4 +TEST.NAME:handleRinsebackReconnectPatientState_NoFlags +TEST.BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. - Test Path 3 + Test Path 1 (1) if ((1) == resumeRinsebackRequested) ==> FALSE - (2) if ((1) == backToTreatmentRequested) ==> TRUE + (2) if ((1) == backToTreatmentRequested) ==> FALSE + (3) if ((1) == endTreatmentRequested) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.resumeRinsebackRequested:<> -TEST.VALUE:Rinseback.<>.backToTreatmentRequested:1 +TEST.VALUE:Rinseback.<>.backToTreatmentRequested:<> +TEST.VALUE:Rinseback.<>.endTreatmentRequested:<> +TEST.FLOW + Rinseback.c.handleRinsebackReconnectPatientState + Rinseback.c.handleRinsebackReconnectPatientState +TEST.END_FLOW TEST.END --- Test Case: handleRinsebackReconnectPatientState.004 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:handleRinsebackReconnectPatientState -TEST.NEW -TEST.NAME:handleRinsebackReconnectPatientState.004 -TEST.BASIS_PATH:4 of 4 -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) if ((1) == resumeRinsebackRequested) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:Rinseback.<>.resumeRinsebackRequested:1 -TEST.END - -- Subprogram: handleRinsebackRunAdditionalState -- Test Case: handleRinsebackRunAdditionalState.001 @@ -1620,11 +1348,11 @@ -- Subprogram: handleRinsebackRunState --- Test Case: handleRinsebackRunState.001 +-- Test Case: handleRinsebackRunState_AbortRB TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackRunState TEST.NEW -TEST.NAME:handleRinsebackRunState.001 +TEST.NAME:handleRinsebackRunState_AbortRB TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1005 TEST.VALUE:Rinseback.<>.expectedRinsebackVolume_mL:0.0 @@ -1654,44 +1382,39 @@ TEST.EXPECTED:Rinseback.handleRinsebackRunState.return:RINSEBACK_STOP_STATE TEST.END --- Test Case: handleRinsebackRunState.002 +-- Test Case: handleRinsebackRunState_Alarm TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackRunState TEST.NEW -TEST.NAME:handleRinsebackRunState.002 -TEST.MCDC_BASIS_PATH:1 of 19 +TEST.NAME:handleRinsebackRunState_Alarm +TEST.MCDC_BASIS_PATH:9 of 19 TEST.NOTES: This is an automatically generated test case. - Test Path 1 + Test Path 9 (1) if ((1) == endRinsebackRequested) ==> FALSE - Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". + (2) if (getRinsebackVolume() >= (300.0)) ==> FALSE + (3) if ((1) == isSalineBagEmpty()) ==> FALSE + (4) if ((1) == pauseRinsebackRequested || (1) == doesAlarmStatusIndicateStop()) ==> TRUE + Row number 3 forms a pair with Row 4 for Condition #4, subcondition "b". Condition a ==> FALSE + Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: +TEST.STUB:Rinseback.getRinsebackVolume +TEST.VALUE:Rinseback.<>.pauseRinsebackRequested:<> TEST.VALUE:Rinseback.<>.endRinsebackRequested:<> -TEST.VALUE:Rinseback.handleRinsebackRunState.return:RINSEBACK_RUN_STATE -TEST.EXPECTED:Rinseback.<>.endRinsebackRequested:0 -TEST.EXPECTED:Rinseback.handleRinsebackRunState.return:RINSEBACK_STOP_STATE +TEST.VALUE:Rinseback.getRinsebackVolume.return:<> +TEST.VALUE:Rinseback.handleRinsebackRunState.return:RINSEBACK_PAUSED_STATE +TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 +TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<> +TEST.EXPECTED:Rinseback.handleRinsebackRunState.return:RINSEBACK_PAUSED_STATE TEST.END --- Test Case: handleRinsebackRunState.003 +-- Test Case: handleRinsebackRunState_EmptySalineBag TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackRunState TEST.NEW -TEST.NAME:handleRinsebackRunState.003 -TEST.VALUE:Rinseback.<>.rinsebackRate_mL_min:151 -TEST.VALUE:Rinseback.<>.incrRinsebackFlowRateRequested:1,0 -TEST.VALUE:Rinseback.<>.decrRinsebackFlowRateRequested:(2)1 -TEST.EXPECTED:Rinseback.<>.rinsebackRate_mL_min:151 -TEST.EXPECTED:Rinseback.<>.incrRinsebackFlowRateRequested:0 -TEST.EXPECTED:Rinseback.<>.decrRinsebackFlowRateRequested:0 -TEST.END - --- Test Case: handleRinsebackRunState.004 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:handleRinsebackRunState -TEST.NEW -TEST.NAME:handleRinsebackRunState.004 +TEST.NAME:handleRinsebackRunState_EmptySalineBag TEST.MCDC_BASIS_PATH:6 of 19 TEST.NOTES: This is an automatically generated test case. @@ -1716,148 +1439,42 @@ TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0 TEST.END --- Test Case: handleRinsebackRunState.005 +-- Test Case: handleRinsebackRunState_MaxRate TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackRunState TEST.NEW -TEST.NAME:handleRinsebackRunState.005 -TEST.VALUE:Rinseback.<>.rinsebackRate_mL_min:100 -TEST.VALUE:Rinseback.<>.incrRinsebackFlowRateRequested:1,0 -TEST.VALUE:Rinseback.<>.decrRinsebackFlowRateRequested:(2)1 -TEST.EXPECTED:Rinseback.<>.rinsebackRate_mL_min:100 -TEST.EXPECTED:Rinseback.<>.incrRinsebackFlowRateRequested:0 -TEST.EXPECTED:Rinseback.<>.decrRinsebackFlowRateRequested:0 -TEST.END - --- Test Case: handleRinsebackRunState.006 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:handleRinsebackRunState -TEST.NEW -TEST.NAME:handleRinsebackRunState.006 -TEST.MCDC_BASIS_PATH:8 of 19 +TEST.NAME:handleRinsebackRunState_MaxRate +TEST.BASIS_PATH:4 of 8 (partial) TEST.NOTES: This is an automatically generated test case. - Test Path 8 + Test Path 4 (1) if ((1) == endRinsebackRequested) ==> FALSE - (2) if (getRinsebackVolume() >= (300.0)) ==> FALSE - (3) if ((1) == isSalineBagEmpty()) ==> FALSE - (4) if ((1) == pauseRinsebackRequested || (1) == doesAlarmStatusIndicateStop()) ==> TRUE - Row number 2 forms a pair with Row 4 for Condition #4, subcondition "a". - Condition a ==> TRUE - Condition b ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:Rinseback.getRinsebackVolume -TEST.VALUE:Rinseback.<>.pauseRinsebackRequested:1 -TEST.VALUE:Rinseback.<>.endRinsebackRequested:<> -TEST.VALUE:Rinseback.getRinsebackVolume.return:<> -TEST.VALUE:Rinseback.handleRinsebackRunState.return:RINSEBACK_PAUSED_STATE -TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> -TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<> -TEST.EXPECTED:Rinseback.handleRinsebackRunState.return:RINSEBACK_PAUSED_STATE -TEST.END - --- Test Case: handleRinsebackRunState.007 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:handleRinsebackRunState -TEST.NEW -TEST.NAME:handleRinsebackRunState.007 -TEST.MCDC_BASIS_PATH:9 of 19 -TEST.NOTES: -This is an automatically generated test case. - Test Path 9 - (1) if ((1) == endRinsebackRequested) ==> FALSE - (2) if (getRinsebackVolume() >= (300.0)) ==> FALSE - (3) if ((1) == isSalineBagEmpty()) ==> FALSE - (4) if ((1) == pauseRinsebackRequested || (1) == doesAlarmStatusIndicateStop()) ==> TRUE - Row number 3 forms a pair with Row 4 for Condition #4, subcondition "b". - Condition a ==> FALSE - Condition b ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:Rinseback.getRinsebackVolume -TEST.VALUE:Rinseback.<>.pauseRinsebackRequested:<> -TEST.VALUE:Rinseback.<>.endRinsebackRequested:<> -TEST.VALUE:Rinseback.getRinsebackVolume.return:<> -TEST.VALUE:Rinseback.handleRinsebackRunState.return:RINSEBACK_PAUSED_STATE -TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 -TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<> -TEST.EXPECTED:Rinseback.handleRinsebackRunState.return:RINSEBACK_PAUSED_STATE -TEST.END - --- Test Case: handleRinsebackRunState.008 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:handleRinsebackRunState -TEST.NEW -TEST.NAME:handleRinsebackRunState.008 -TEST.VALUE:Rinseback.<>.incrRinsebackFlowRateRequested:(2)1 -TEST.VALUE:Rinseback.<>.decrRinsebackFlowRateRequested:(2)1 -TEST.EXPECTED:Rinseback.<>.incrRinsebackFlowRateRequested:0 -TEST.EXPECTED:Rinseback.<>.decrRinsebackFlowRateRequested:0 -TEST.END - --- Test Case: handleRinsebackRunState.009 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:handleRinsebackRunState -TEST.NEW -TEST.NAME:handleRinsebackRunState.009 -TEST.BASIS_PATH:1 of 8 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if ((1) == endRinsebackRequested) ==> FALSE (2) if (getRinsebackVolume() >= rinsebackTargetVolume_mL) ==> FALSE (3) if ((1) == isSalineBagEmpty()) ==> FALSE (4) if ((1) == pauseRinsebackRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE - (5) if ((1) == incrRinsebackFlowRateRequested || (1) == decrRinsebackFlowRateRequested) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:Rinseback.getRinsebackVolume -TEST.VALUE:Rinseback.<>.rinsebackTargetVolume_mL:<> -TEST.VALUE:Rinseback.<>.incrRinsebackFlowRateRequested:<> -TEST.VALUE:Rinseback.<>.decrRinsebackFlowRateRequested:<> -TEST.VALUE:Rinseback.<>.pauseRinsebackRequested:<> -TEST.VALUE:Rinseback.<>.endRinsebackRequested:<> -TEST.VALUE:Rinseback.getRinsebackVolume.return:<> -TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> -TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<> -TEST.END - --- Test Case: handleRinsebackRunState.010 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:handleRinsebackRunState -TEST.NEW -TEST.NAME:handleRinsebackRunState.010 -TEST.BASIS_PATH:2 of 8 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if ((1) == endRinsebackRequested) ==> FALSE - (2) if (getRinsebackVolume() >= rinsebackTargetVolume_mL) ==> FALSE - (3) if ((1) == isSalineBagEmpty()) ==> FALSE - (4) if ((1) == pauseRinsebackRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE (5) if ((1) == incrRinsebackFlowRateRequested || (1) == decrRinsebackFlowRateRequested) ==> TRUE - (6) if ((1) == incrRinsebackFlowRateRequested) ==> FALSE + (6) if ((1) == incrRinsebackFlowRateRequested) ==> TRUE (7) if (rbRate >= (100) && rbRate <= (300)) ==> FALSE Test Case Generation Notes: Cannot set rbRate due to assignment TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume +TEST.VALUE:Rinseback.<>.rinsebackRate_mL_min:300 TEST.VALUE:Rinseback.<>.rinsebackTargetVolume_mL:<> -TEST.VALUE:Rinseback.<>.incrRinsebackFlowRateRequested:<> -TEST.VALUE:Rinseback.<>.decrRinsebackFlowRateRequested:1 +TEST.VALUE:Rinseback.<>.incrRinsebackFlowRateRequested:1 TEST.VALUE:Rinseback.<>.pauseRinsebackRequested:<> TEST.VALUE:Rinseback.<>.endRinsebackRequested:<> TEST.VALUE:Rinseback.getRinsebackVolume.return:<> TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<> +TEST.EXPECTED:Rinseback.<>.rinsebackRate_mL_min:300 TEST.END --- Test Case: handleRinsebackRunState.011 +-- Test Case: handleRinsebackRunState_MinRate TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackRunState TEST.NEW -TEST.NAME:handleRinsebackRunState.011 +TEST.NAME:handleRinsebackRunState_MinRate TEST.BASIS_PATH:3 of 8 (partial) TEST.NOTES: This is an automatically generated test case. @@ -1873,6 +1490,7 @@ Cannot set rbRate due to assignment TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume +TEST.VALUE:Rinseback.<>.rinsebackRate_mL_min:100 TEST.VALUE:Rinseback.<>.rinsebackTargetVolume_mL:<> TEST.VALUE:Rinseback.<>.incrRinsebackFlowRateRequested:<> TEST.VALUE:Rinseback.<>.decrRinsebackFlowRateRequested:1 @@ -1881,131 +1499,99 @@ TEST.VALUE:Rinseback.getRinsebackVolume.return:<> TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<> +TEST.EXPECTED:Rinseback.<>.rinsebackRate_mL_min:100 TEST.END --- Test Case: handleRinsebackRunState.012 +-- Test Case: handleRinsebackRunState_Pause TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackRunState TEST.NEW -TEST.NAME:handleRinsebackRunState.012 -TEST.BASIS_PATH:4 of 8 (partial) +TEST.NAME:handleRinsebackRunState_Pause +TEST.MCDC_BASIS_PATH:8 of 19 TEST.NOTES: This is an automatically generated test case. - Test Path 4 + Test Path 8 (1) if ((1) == endRinsebackRequested) ==> FALSE - (2) if (getRinsebackVolume() >= rinsebackTargetVolume_mL) ==> FALSE + (2) if (getRinsebackVolume() >= (300.0)) ==> FALSE (3) if ((1) == isSalineBagEmpty()) ==> FALSE - (4) if ((1) == pauseRinsebackRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE - (5) if ((1) == incrRinsebackFlowRateRequested || (1) == decrRinsebackFlowRateRequested) ==> TRUE - (6) if ((1) == incrRinsebackFlowRateRequested) ==> TRUE - (7) if (rbRate >= (100) && rbRate <= (300)) ==> FALSE - Test Case Generation Notes: - Cannot set rbRate due to assignment -TEST.END_NOTES: -TEST.STUB:Rinseback.getRinsebackVolume -TEST.VALUE:Rinseback.<>.rinsebackTargetVolume_mL:<> -TEST.VALUE:Rinseback.<>.incrRinsebackFlowRateRequested:1 -TEST.VALUE:Rinseback.<>.decrRinsebackFlowRateRequested:1 -TEST.VALUE:Rinseback.<>.pauseRinsebackRequested:<> -TEST.VALUE:Rinseback.<>.endRinsebackRequested:<> -TEST.VALUE:Rinseback.getRinsebackVolume.return:<> -TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> -TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<> -TEST.END - --- Test Case: handleRinsebackRunState.013 -TEST.UNIT:Rinseback -TEST.SUBPROGRAM:handleRinsebackRunState -TEST.NEW -TEST.NAME:handleRinsebackRunState.013 -TEST.BASIS_PATH:5 of 8 -TEST.NOTES: -This is an automatically generated test case. - Test Path 5 - (1) if ((1) == endRinsebackRequested) ==> FALSE - (2) if (getRinsebackVolume() >= rinsebackTargetVolume_mL) ==> FALSE - (3) if ((1) == isSalineBagEmpty()) ==> FALSE (4) if ((1) == pauseRinsebackRequested || (1) == doesAlarmStatusIndicateStop()) ==> TRUE + Row number 2 forms a pair with Row 4 for Condition #4, subcondition "a". + Condition a ==> TRUE + Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume -TEST.VALUE:Rinseback.<>.rinsebackTargetVolume_mL:<> TEST.VALUE:Rinseback.<>.pauseRinsebackRequested:1 TEST.VALUE:Rinseback.<>.endRinsebackRequested:<> TEST.VALUE:Rinseback.getRinsebackVolume.return:<> -TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 +TEST.VALUE:Rinseback.handleRinsebackRunState.return:RINSEBACK_PAUSED_STATE +TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<> +TEST.EXPECTED:Rinseback.handleRinsebackRunState.return:RINSEBACK_PAUSED_STATE TEST.END --- Test Case: handleRinsebackRunState.014 +-- Test Case: handleRinsebackRunState_RBCompleted TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackRunState TEST.NEW -TEST.NAME:handleRinsebackRunState.014 -TEST.BASIS_PATH:6 of 8 +TEST.NAME:handleRinsebackRunState_RBCompleted +TEST.MCDC_BASIS_PATH:1 of 19 TEST.NOTES: This is an automatically generated test case. - Test Path 6 + Test Path 1 (1) if ((1) == endRinsebackRequested) ==> FALSE - (2) if (getRinsebackVolume() >= rinsebackTargetVolume_mL) ==> FALSE - (3) if ((1) == isSalineBagEmpty()) ==> TRUE + Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". + Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: -TEST.STUB:Rinseback.getRinsebackVolume -TEST.VALUE:Rinseback.<>.rinsebackTargetVolume_mL:<> TEST.VALUE:Rinseback.<>.endRinsebackRequested:<> -TEST.VALUE:Rinseback.getRinsebackVolume.return:<> -TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:1 +TEST.VALUE:Rinseback.handleRinsebackRunState.return:RINSEBACK_RUN_STATE +TEST.EXPECTED:Rinseback.<>.endRinsebackRequested:0 +TEST.EXPECTED:Rinseback.handleRinsebackRunState.return:RINSEBACK_STOP_STATE TEST.END --- Test Case: handleRinsebackRunState.015 +-- Test Case: handleRinsebackRunState_RateDecrease TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackRunState TEST.NEW -TEST.NAME:handleRinsebackRunState.015 -TEST.BASIS_PATH:7 of 8 +TEST.NAME:handleRinsebackRunState_RateDecrease +TEST.BASIS_PATH:2 of 8 (partial) TEST.NOTES: This is an automatically generated test case. - Test Path 7 + Test Path 2 (1) if ((1) == endRinsebackRequested) ==> FALSE - (2) if (getRinsebackVolume() >= rinsebackTargetVolume_mL) ==> TRUE + (2) if (getRinsebackVolume() >= rinsebackTargetVolume_mL) ==> FALSE (3) if ((1) == isSalineBagEmpty()) ==> FALSE (4) if ((1) == pauseRinsebackRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE - (5) if ((1) == incrRinsebackFlowRateRequested || (1) == decrRinsebackFlowRateRequested) ==> FALSE + (5) if ((1) == incrRinsebackFlowRateRequested || (1) == decrRinsebackFlowRateRequested) ==> TRUE + (6) if ((1) == incrRinsebackFlowRateRequested) ==> FALSE + (7) if (rbRate >= (100) && rbRate <= (300)) ==> FALSE Test Case Generation Notes: + Cannot set rbRate due to assignment TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume -TEST.VALUE:Rinseback.<>.rinsebackTargetVolume_mL:<> +TEST.VALUE:Rinseback.<>.rinsebackRate_mL_min:200 +TEST.VALUE:Rinseback.<>.rinsebackTargetVolume_mL:300.0 TEST.VALUE:Rinseback.<>.incrRinsebackFlowRateRequested:<> -TEST.VALUE:Rinseback.<>.decrRinsebackFlowRateRequested:<> +TEST.VALUE:Rinseback.<>.decrRinsebackFlowRateRequested:1 TEST.VALUE:Rinseback.<>.pauseRinsebackRequested:<> TEST.VALUE:Rinseback.<>.endRinsebackRequested:<> -TEST.VALUE:Rinseback.getRinsebackVolume.return:<> +TEST.VALUE:Rinseback.getRinsebackVolume.return:<> TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<> +TEST.EXPECTED:Rinseback.<>.rinsebackRate_mL_min:175 TEST.END --- Test Case: handleRinsebackRunState.016 +-- Test Case: handleRinsebackRunState_RateIncrease TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackRunState TEST.NEW -TEST.NAME:handleRinsebackRunState.016 -TEST.BASIS_PATH:8 of 8 -TEST.NOTES: -This is an automatically generated test case. - Test Path 8 - (1) if ((1) == endRinsebackRequested) ==> TRUE - (3) if ((1) == isSalineBagEmpty()) ==> FALSE - (4) if ((1) == pauseRinsebackRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE - (5) if ((1) == incrRinsebackFlowRateRequested || (1) == decrRinsebackFlowRateRequested) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:Rinseback.<>.incrRinsebackFlowRateRequested:<> -TEST.VALUE:Rinseback.<>.decrRinsebackFlowRateRequested:<> -TEST.VALUE:Rinseback.<>.pauseRinsebackRequested:<> -TEST.VALUE:Rinseback.<>.endRinsebackRequested:1 -TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> -TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<> +TEST.NAME:handleRinsebackRunState_RateIncrease +TEST.VALUE:Rinseback.<>.rinsebackRate_mL_min:200 +TEST.VALUE:Rinseback.<>.rinsebackTargetVolume_mL:300.0 +TEST.VALUE:Rinseback.<>.incrRinsebackFlowRateRequested:1 +TEST.EXPECTED:Rinseback.<>.rinsebackRate_mL_min:225 +TEST.EXPECTED:Rinseback.<>.incrRinsebackFlowRateRequested:0 TEST.END -- Subprogram: handleRinsebackStopInitState @@ -2977,15 +2563,17 @@ -- Subprogram: signalRinsebackAlarmResumeUserAction --- Test Case: signalRinsebackAlarmResumeUserAction.001 +-- Test Case: signalRinsebackAlarmResumeUserAction_Nominal TEST.UNIT:Rinseback TEST.SUBPROGRAM:signalRinsebackAlarmResumeUserAction TEST.NEW -TEST.NAME:signalRinsebackAlarmResumeUserAction.001 +TEST.NAME:signalRinsebackAlarmResumeUserAction_Nominal TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: +TEST.VALUE:Rinseback.<>.resumeRinsebackRequested:0 +TEST.EXPECTED:Rinseback.<>.resumeRinsebackRequested:1 TEST.END -- Subprogram: signalRinsebackUserAction