-- VectorCAST 19.sp3 (11/13/19) -- Test Case Script -- -- Environment : RINSEBACK -- Unit(s) Under Test: Rinseback -- -- 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: Rinseback -- Subprogram: execRinseback -- Test Case: execRinseback.001 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.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.UNIT:Rinseback TEST.SUBPROGRAM:execRinseback TEST.NEW TEST.NAME:execRinseback.006 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 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:97 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:5 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:97 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:5 TEST.END -- Test Case: execRinseback.007 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.END -- Subprogram: getCurrentRinsebackState -- Test Case: getCurrentRinsebackState.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:getCurrentRinsebackState TEST.NEW TEST.NAME:getCurrentRinsebackState.001 TEST.VALUE:Rinseback.getCurrentRinsebackState.return:NUM_OF_RINSEBACK_STATES TEST.EXPECTED:Rinseback.getCurrentRinsebackState.return:RINSEBACK_STOP_INIT_STATE TEST.END -- Subprogram: getPublishRinsebackInterval -- Test Case: getPublishRinsebackInterval.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:getPublishRinsebackInterval TEST.NEW TEST.NAME:getPublishRinsebackInterval.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (0xccc33c33U == rinsebackPublishInterval.override) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackPublishInterval.ovData:100 TEST.VALUE:Rinseback.<>.rinsebackPublishInterval.override:3435346995 TEST.VALUE:Rinseback.getPublishRinsebackInterval.return:100 TEST.EXPECTED:Rinseback.<>.rinsebackPublishInterval.ovData:100 TEST.EXPECTED:Rinseback.getPublishRinsebackInterval.return:100 TEST.END -- Test Case: getPublishRinsebackInterval.002 TEST.UNIT:Rinseback TEST.SUBPROGRAM:getPublishRinsebackInterval TEST.NEW TEST.NAME:getPublishRinsebackInterval.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (0xccc33c33U == rinsebackPublishInterval.override) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackPublishInterval.data:100 TEST.VALUE:Rinseback.<>.rinsebackPublishInterval.override:<> TEST.VALUE:Rinseback.getPublishRinsebackInterval.return:100 TEST.EXPECTED:Rinseback.<>.rinsebackPublishInterval.data:100 TEST.EXPECTED:Rinseback.getPublishRinsebackInterval.return:100 TEST.END -- Subprogram: getRinsebackVolume -- Test Case: getRinsebackVolume.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:getRinsebackVolume TEST.NEW TEST.NAME:getRinsebackVolume.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (0xccc33c33U == cumulativeRinsebackVolume_mL.override) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.cumulativeRinsebackVolume_mL.override:3435346995 TEST.VALUE:Rinseback.getRinsebackVolume.return:0.0 TEST.EXPECTED:Rinseback.getRinsebackVolume.return:0.0 TEST.END -- Test Case: getRinsebackVolume.002 TEST.UNIT:Rinseback TEST.SUBPROGRAM:getRinsebackVolume TEST.NEW TEST.NAME:getRinsebackVolume.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (0xccc33c33U == cumulativeRinsebackVolume_mL.override) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.cumulativeRinsebackVolume_mL.override:<> TEST.VALUE:Rinseback.getRinsebackVolume.return:0.0 TEST.EXPECTED:Rinseback.getRinsebackVolume.return:0.0 TEST.END -- Subprogram: handleAdditionalRinsebackUserAction -- Test Case: handleAdditionalRinsebackUserAction.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleAdditionalRinsebackUserAction TEST.NEW TEST.NAME:handleAdditionalRinsebackUserAction.001 TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((RINSEBACK_STOP_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_STOP_STATE TEST.VALUE:Rinseback.<>.additionalRinsebackRequested:1 TEST.VALUE:Rinseback.handleAdditionalRinsebackUserAction.rejReason:<> TEST.VALUE:Rinseback.handleAdditionalRinsebackUserAction.return:1 TEST.EXPECTED:Rinseback.<>.additionalRinsebackRequested:1 TEST.EXPECTED:Rinseback.handleAdditionalRinsebackUserAction.return:1 TEST.END -- Test Case: handleAdditionalRinsebackUserAction.002 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleAdditionalRinsebackUserAction TEST.NEW TEST.NAME:handleAdditionalRinsebackUserAction.002 TEST.MCDC_BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((RINSEBACK_STOP_STATE) == rinsebackState) ==> 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.<>.rinsebackState:RINSEBACK_STOP_INIT_STATE TEST.VALUE:Rinseback.handleAdditionalRinsebackUserAction.rejReason:<> TEST.VALUE:Rinseback.handleAdditionalRinsebackUserAction.rejReason[0]:REQUEST_REJECT_REASON_ACTION_DISABLED_IN_CURRENT_STATE TEST.VALUE:Rinseback.handleAdditionalRinsebackUserAction.return:0 TEST.EXPECTED:Rinseback.handleAdditionalRinsebackUserAction.return:0 TEST.END -- Test Case: handleAdditionalRinsebackUserAction.003 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleAdditionalRinsebackUserAction TEST.NEW TEST.NAME:handleAdditionalRinsebackUserAction.003 TEST.MCDC_BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((RINSEBACK_STOP_STATE) == rinsebackState) ==> TRUE (2) if (totalAdditionalRinsebackVolume_mL + (10.0) <= (300.0)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 2 TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_STOP_STATE TEST.VALUE:Rinseback.<>.additionalRinsebackRequested:1 TEST.VALUE:Rinseback.handleAdditionalRinsebackUserAction.rejReason:<> TEST.VALUE:Rinseback.handleAdditionalRinsebackUserAction.return:1 TEST.EXPECTED:Rinseback.<>.additionalRinsebackRequested:1 TEST.EXPECTED:Rinseback.handleAdditionalRinsebackUserAction.return:1 TEST.END -- Test Case: handleAdditionalRinsebackUserAction.004 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleAdditionalRinsebackUserAction TEST.NEW TEST.NAME:handleAdditionalRinsebackUserAction.004 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((RINSEBACK_STOP_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_STOP_STATE TEST.VALUE:Rinseback.<>.totalAdditionalRinsebackVolume_mL:300.0 TEST.VALUE:Rinseback.<>.additionalRinsebackRequested:1 TEST.VALUE:Rinseback.handleAdditionalRinsebackUserAction.rejReason:<> TEST.VALUE:Rinseback.handleAdditionalRinsebackUserAction.return:0 TEST.EXPECTED:Rinseback.<>.totalAdditionalRinsebackVolume_mL:300.0 TEST.EXPECTED:Rinseback.<>.additionalRinsebackRequested:1 TEST.EXPECTED:Rinseback.handleAdditionalRinsebackUserAction.return:0 TEST.END -- Subprogram: handleBackToTreatmentUserAction -- Test Case: handleBackToTreatmentUserAction.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleBackToTreatmentUserAction TEST.NEW TEST.NAME:handleBackToTreatmentUserAction.001 TEST.MCDC_BASIS_PATH:2 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTreatmentCompleted()) ==> 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.handleBackToTreatmentUserAction.rejReason:<> TEST.VALUE:Rinseback.handleBackToTreatmentUserAction.rejReason[0]:REQUEST_REJECT_REASON_TREATMENT_IS_COMPLETED TEST.VALUE:Rinseback.handleBackToTreatmentUserAction.return:0 TEST.VALUE:uut_prototype_stubs.isTreatmentCompleted.return:1 TEST.EXPECTED:Rinseback.handleBackToTreatmentUserAction.return:0 TEST.END -- Test Case: handleBackToTreatmentUserAction.002 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleBackToTreatmentUserAction TEST.NEW TEST.NAME:handleBackToTreatmentUserAction.002 TEST.MCDC_BASIS_PATH:1 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTreatmentCompleted()) ==> 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.<>.backToTreatmentRequested:1 TEST.VALUE:Rinseback.handleBackToTreatmentUserAction.rejReason:<> TEST.VALUE:Rinseback.handleBackToTreatmentUserAction.return:1 TEST.VALUE:uut_prototype_stubs.isTreatmentCompleted.return:<> TEST.EXPECTED:Rinseback.<>.backToTreatmentRequested:1 TEST.EXPECTED:Rinseback.handleBackToTreatmentUserAction.return:1 TEST.END -- Test Case: handleBackToTreatmentUserAction.003 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleBackToTreatmentUserAction TEST.NEW TEST.NAME:handleBackToTreatmentUserAction.003 TEST.MCDC_BASIS_PATH:4 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == isTreatmentCompleted()) ==> FALSE (2) if ((RINSEBACK_STOP_INIT_STATE) != rinsebackState && (RINSEBACK_STOP_STATE) != rinsebackState) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_RUN_STATE TEST.VALUE:Rinseback.handleBackToTreatmentUserAction.rejReason:<> TEST.VALUE:Rinseback.handleBackToTreatmentUserAction.rejReason[0]:REQUEST_REJECT_REASON_ACTION_DISABLED_IN_CURRENT_STATE TEST.VALUE:Rinseback.handleBackToTreatmentUserAction.return:0 TEST.VALUE:uut_prototype_stubs.isTreatmentCompleted.return:<> TEST.EXPECTED:Rinseback.handleBackToTreatmentUserAction.return:0 TEST.END -- Test Case: handleBackToTreatmentUserAction.004 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleBackToTreatmentUserAction TEST.NEW TEST.NAME:handleBackToTreatmentUserAction.004 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == isTreatmentCompleted()) ==> FALSE (2) if ((RINSEBACK_STOP_INIT_STATE) != rinsebackState && (RINSEBACK_STOP_STATE) != rinsebackState) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_STOP_STATE TEST.VALUE:Rinseback.<>.backToTreatmentRequested:1 TEST.VALUE:Rinseback.handleBackToTreatmentUserAction.rejReason:<> TEST.VALUE:Rinseback.handleBackToTreatmentUserAction.return:1 TEST.VALUE:uut_prototype_stubs.isTreatmentCompleted.return:<> TEST.EXPECTED:Rinseback.<>.rinsebackState:RINSEBACK_STOP_STATE TEST.EXPECTED:Rinseback.<>.backToTreatmentRequested:1 TEST.EXPECTED:Rinseback.handleBackToTreatmentUserAction.return:1 TEST.END -- Test Case: handleBackToTreatmentUserAction.005 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleBackToTreatmentUserAction TEST.NEW TEST.NAME:handleBackToTreatmentUserAction.005 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTreatmentCompleted()) ==> 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.<>.backToTreatmentRequested:1 TEST.VALUE:Rinseback.handleBackToTreatmentUserAction.rejReason:<> TEST.VALUE:Rinseback.handleBackToTreatmentUserAction.return:1 TEST.VALUE:uut_prototype_stubs.isTreatmentCompleted.return:<> TEST.VALUE:uut_prototype_stubs.isTreatmentResumeBlocked.return:1 TEST.EXPECTED:Rinseback.<>.backToTreatmentRequested:1 TEST.EXPECTED:Rinseback.handleBackToTreatmentUserAction.return:0 TEST.END -- Subprogram: handleDecrRinsebackUserAction -- Test Case: handleDecrRinsebackUserAction.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleDecrRinsebackUserAction TEST.NEW TEST.NAME:handleDecrRinsebackUserAction.001 TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (rinsebackRate_mL_min - (25) >= (50)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:Rinseback.handleDecrRinsebackUserAction.rejReason:<> TEST.VALUE:Rinseback.handleDecrRinsebackUserAction.return:0 TEST.EXPECTED:Rinseback.handleDecrRinsebackUserAction.return:0 TEST.END -- Test Case: handleDecrRinsebackUserAction.002 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleDecrRinsebackUserAction TEST.NEW TEST.NAME:handleDecrRinsebackUserAction.002 TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (rinsebackRate_mL_min - (25) >= (50)) ==> TRUE (2) if ((RINSEBACK_RUN_STATE) == rinsebackState) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_RUN_STATE TEST.VALUE:Rinseback.<>.decrRinsebackFlowRateRequested:1 TEST.VALUE:Rinseback.handleDecrRinsebackUserAction.rejReason:<> TEST.VALUE:Rinseback.handleDecrRinsebackUserAction.return:1 TEST.EXPECTED:Rinseback.<>.decrRinsebackFlowRateRequested:1 TEST.EXPECTED:Rinseback.handleDecrRinsebackUserAction.return:1 TEST.END -- Test Case: handleDecrRinsebackUserAction.003 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleDecrRinsebackUserAction TEST.NEW TEST.NAME:handleDecrRinsebackUserAction.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (rinsebackRate_mL_min - (25) >= (50)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackRate_mL_min:50 TEST.VALUE:Rinseback.handleDecrRinsebackUserAction.rejReason:<> TEST.EXPECTED:Rinseback.<>.rinsebackRate_mL_min:50 TEST.END -- Subprogram: handleEndRinsebackUserAction -- Test Case: handleEndRinsebackUserAction.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleEndRinsebackUserAction TEST.NEW TEST.NAME:handleEndRinsebackUserAction.001 TEST.MCDC_BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((RINSEBACK_RUN_STATE) == rinsebackState || (RINSEBACK_PAUSED_STATE) == rinsebackState) ==> TRUE Row number 2 forms a pair with Row 4 for Condition #1, subcondition "a". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_RUN_STATE TEST.VALUE:Rinseback.<>.endRinsebackRequested:1 TEST.VALUE:Rinseback.handleEndRinsebackUserAction.rejReason:<> TEST.VALUE:Rinseback.handleEndRinsebackUserAction.return:1 TEST.EXPECTED:Rinseback.<>.endRinsebackRequested:1 TEST.EXPECTED:Rinseback.handleEndRinsebackUserAction.return:1 TEST.END -- Test Case: handleEndRinsebackUserAction.002 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleEndRinsebackUserAction TEST.NEW TEST.NAME:handleEndRinsebackUserAction.002 TEST.MCDC_BASIS_PATH:3 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((RINSEBACK_RUN_STATE) == rinsebackState || (RINSEBACK_PAUSED_STATE) == rinsebackState) ==> TRUE Row number 3 forms a pair with Row 4 for Condition #1, subcondition "b". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: Conflict: Trying to set variable Rinseback.<>.rinsebackState 'equal to' and 'not equal to' same value in branch 1 TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_STOP_INIT_STATE TEST.VALUE:Rinseback.handleEndRinsebackUserAction.rejReason:<> TEST.VALUE:Rinseback.handleEndRinsebackUserAction.rejReason[0]:REQUEST_REJECT_REASON_ACTION_DISABLED_IN_CURRENT_STATE TEST.VALUE:Rinseback.handleEndRinsebackUserAction.return:0 TEST.EXPECTED:Rinseback.handleEndRinsebackUserAction.return:0 TEST.END -- Test Case: handleEndRinsebackUserAction.003 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleEndRinsebackUserAction TEST.NEW TEST.NAME:handleEndRinsebackUserAction.003 TEST.MCDC_BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((RINSEBACK_RUN_STATE) == rinsebackState || (RINSEBACK_PAUSED_STATE) == rinsebackState) ==> FALSE Row number 4 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> FALSE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_STOP_INIT_STATE TEST.VALUE:Rinseback.handleEndRinsebackUserAction.rejReason:<> TEST.VALUE:Rinseback.handleEndRinsebackUserAction.rejReason[0]:REQUEST_REJECT_REASON_ACTION_DISABLED_IN_CURRENT_STATE TEST.VALUE:Rinseback.handleEndRinsebackUserAction.return:0 TEST.EXPECTED:Rinseback.handleEndRinsebackUserAction.return:0 TEST.END -- Test Case: handleEndRinsebackUserAction.004 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleEndRinsebackUserAction TEST.NEW TEST.NAME:handleEndRinsebackUserAction.004 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((RINSEBACK_RUN_STATE) == rinsebackState || (RINSEBACK_PAUSED_STATE) == rinsebackState) ==> TRUE Row number 2 forms a pair with Row 4 for Condition #1, subcondition "a". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_PAUSED_STATE TEST.VALUE:Rinseback.<>.endRinsebackRequested:1 TEST.VALUE:Rinseback.handleEndRinsebackUserAction.rejReason:<> TEST.VALUE:Rinseback.handleEndRinsebackUserAction.return:1 TEST.EXPECTED:Rinseback.<>.endRinsebackRequested:1 TEST.EXPECTED:Rinseback.handleEndRinsebackUserAction.return:1 TEST.END -- Subprogram: handleEndTreatmentUserAction -- Test Case: handleEndTreatmentUserAction.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleEndTreatmentUserAction TEST.NEW TEST.NAME:handleEndTreatmentUserAction.001 TEST.MCDC_BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((RINSEBACK_STOP_INIT_STATE) != rinsebackState && (RINSEBACK_STOP_STATE) != rinsebackState) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_RUN_STATE TEST.VALUE:Rinseback.handleEndTreatmentUserAction.rejReason:<> TEST.VALUE:Rinseback.handleEndTreatmentUserAction.rejReason[0]:REQUEST_REJECT_REASON_ACTION_DISABLED_IN_CURRENT_STATE TEST.VALUE:Rinseback.handleEndTreatmentUserAction.return:0 TEST.EXPECTED:Rinseback.handleEndTreatmentUserAction.return:0 TEST.END -- Test Case: handleEndTreatmentUserAction.002 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleEndTreatmentUserAction TEST.NEW TEST.NAME:handleEndTreatmentUserAction.002 TEST.MCDC_BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((RINSEBACK_STOP_INIT_STATE) != rinsebackState && (RINSEBACK_STOP_STATE) != rinsebackState) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_STOP_INIT_STATE TEST.VALUE:Rinseback.<>.endTreatmentRequested:1 TEST.VALUE:Rinseback.handleEndTreatmentUserAction.rejReason:<> TEST.VALUE:Rinseback.handleEndTreatmentUserAction.return:1 TEST.EXPECTED:Rinseback.<>.endTreatmentRequested:1 TEST.EXPECTED:Rinseback.handleEndTreatmentUserAction.return:1 TEST.END -- Test Case: handleEndTreatmentUserAction.003 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleEndTreatmentUserAction TEST.NEW TEST.NAME:handleEndTreatmentUserAction.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((RINSEBACK_STOP_INIT_STATE) != rinsebackState && (RINSEBACK_STOP_STATE) != rinsebackState) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_STOP_STATE TEST.VALUE:Rinseback.<>.endTreatmentRequested:1 TEST.VALUE:Rinseback.handleEndTreatmentUserAction.rejReason:<> TEST.VALUE:Rinseback.handleEndTreatmentUserAction.return:1 TEST.EXPECTED:Rinseback.<>.endTreatmentRequested:1 TEST.EXPECTED:Rinseback.handleEndTreatmentUserAction.return:1 TEST.END -- Subprogram: handleIncrRinsebackUserAction -- Test Case: handleIncrRinsebackUserAction.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleIncrRinsebackUserAction TEST.NEW TEST.NAME:handleIncrRinsebackUserAction.001 TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (rinsebackRate_mL_min + (25) <= (150)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:Rinseback.handleIncrRinsebackUserAction.rejReason:<> TEST.VALUE:Rinseback.handleIncrRinsebackUserAction.return:0 TEST.EXPECTED:Rinseback.handleIncrRinsebackUserAction.return:0 TEST.END -- Test Case: handleIncrRinsebackUserAction.002 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleIncrRinsebackUserAction TEST.NEW TEST.NAME:handleIncrRinsebackUserAction.002 TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (rinsebackRate_mL_min + (25) <= (150)) ==> TRUE (2) if ((RINSEBACK_RUN_STATE) == rinsebackState) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.STUB:Rinseback.getPublishRinsebackInterval TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_RUN_STATE TEST.VALUE:Rinseback.<>.rinsebackPublishTimerCtr:20 TEST.VALUE:Rinseback.<>.incrRinsebackFlowRateRequested:1 TEST.VALUE:Rinseback.handleIncrRinsebackUserAction.rejReason:<> TEST.VALUE:Rinseback.handleIncrRinsebackUserAction.return:1 TEST.VALUE:Rinseback.getPublishRinsebackInterval.return:20 TEST.EXPECTED:Rinseback.<>.rinsebackPublishTimerCtr:20 TEST.EXPECTED:Rinseback.<>.incrRinsebackFlowRateRequested:1 TEST.EXPECTED:Rinseback.handleIncrRinsebackUserAction.return:1 TEST.END -- Test Case: handleIncrRinsebackUserAction.003 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleIncrRinsebackUserAction TEST.NEW TEST.NAME:handleIncrRinsebackUserAction.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (rinsebackRate_mL_min + (25) <= (150)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackRate_mL_min:130 TEST.VALUE:Rinseback.handleIncrRinsebackUserAction.rejReason:<> TEST.EXPECTED:Rinseback.<>.rinsebackRate_mL_min:130 TEST.END -- Subprogram: handlePauseRinsebackUserAction -- Test Case: handlePauseRinsebackUserAction.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handlePauseRinsebackUserAction TEST.NEW TEST.NAME:handlePauseRinsebackUserAction.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((RINSEBACK_RUN_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_RUN_STATE TEST.VALUE:Rinseback.<>.pauseRinsebackRequested:1 TEST.VALUE:Rinseback.handlePauseRinsebackUserAction.rejReason:<> TEST.VALUE:Rinseback.handlePauseRinsebackUserAction.return:1 TEST.EXPECTED:Rinseback.<>.pauseRinsebackRequested:1 TEST.EXPECTED:Rinseback.handlePauseRinsebackUserAction.return:1 TEST.END -- Test Case: handlePauseRinsebackUserAction.002 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handlePauseRinsebackUserAction TEST.NEW TEST.NAME:handlePauseRinsebackUserAction.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((RINSEBACK_RUN_STATE) == rinsebackState) ==> 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.<>.rinsebackState:RINSEBACK_STOP_INIT_STATE TEST.VALUE:Rinseback.handlePauseRinsebackUserAction.rejReason:<> TEST.VALUE:Rinseback.handlePauseRinsebackUserAction.rejReason[0]:REQUEST_REJECT_REASON_ACTION_DISABLED_IN_CURRENT_STATE TEST.VALUE:Rinseback.handlePauseRinsebackUserAction.return:0 TEST.EXPECTED:Rinseback.handlePauseRinsebackUserAction.return:0 TEST.END -- Subprogram: handleResumeRinsebackUserAction -- Test Case: handleResumeRinsebackUserAction.001 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.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((RINSEBACK_PAUSED_STATE) == rinsebackState) ==> 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.<>.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.return:0 TEST.END -- Subprogram: handleRinsebackPausedState -- Test Case: handleRinsebackPausedState.001 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.MCDC_BASIS_PATH:6 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME) ==> FALSE (2) if ((1) == resumeRinsebackRequested) ==> FALSE (3) if ((1) == endRinsebackRequested) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackTimerCtr:<> TEST.VALUE:Rinseback.<>.targetRinsebackVolumePlusAdditional_mL:0.0 TEST.VALUE:Rinseback.<>.resumeRinsebackRequested:<> TEST.VALUE:Rinseback.<>.endRinsebackRequested:1 TEST.VALUE:Rinseback.handleRinsebackPausedState.return:RINSEBACK_STOP_STATE TEST.EXPECTED:Rinseback.<>.targetRinsebackVolumePlusAdditional_mL:0.0 TEST.EXPECTED:Rinseback.handleRinsebackPausedState.return:RINSEBACK_STOP_STATE TEST.END -- Subprogram: handleRinsebackRunAdditionalState -- Test Case: handleRinsebackRunAdditionalState.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackRunAdditionalState TEST.NEW TEST.NAME:handleRinsebackRunAdditionalState.001 TEST.MCDC_BASIS_PATH:2 of 12 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isSalineBagEmpty()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume TEST.VALUE:Rinseback.<>.targetRinsebackVolumePlusAdditional_mL:0.0 TEST.VALUE:Rinseback.getRinsebackVolume.return:0.0 TEST.VALUE:Rinseback.handleRinsebackRunAdditionalState.return:RINSEBACK_STOP_STATE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_EMPTY_SALINE_BAG TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0 TEST.VALUE:uut_prototype_stubs.getMeasuredArterialPressure.return:0.0 TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:1 TEST.EXPECTED:Rinseback.<>.targetRinsebackVolumePlusAdditional_mL:0.0 TEST.EXPECTED:Rinseback.handleRinsebackRunAdditionalState.return:RINSEBACK_STOP_STATE TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0 TEST.END -- Test Case: handleRinsebackRunAdditionalState.002 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackRunAdditionalState TEST.NEW TEST.NAME:handleRinsebackRunAdditionalState.002 TEST.MCDC_BASIS_PATH:1 of 12 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isSalineBagEmpty()) ==> 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:0 TEST.VALUE:Rinseback.<>.cumulativeRinsebackVolume_mL.data:0.0 TEST.VALUE:Rinseback.<>.additionalRinsebackVolume_mL:0.0 TEST.VALUE:Rinseback.<>.totalAdditionalRinsebackVolume_mL:0.0 TEST.VALUE:Rinseback.<>.rinsebackAdditionalTimerCtr:0 TEST.VALUE:Rinseback.handleRinsebackRunAdditionalState.return:RINSEBACK_RUN_ADDITIONAL_STATE TEST.VALUE:uut_prototype_stubs.getMeasuredBloodFlowRate.return:1.0 TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<> TEST.EXPECTED:Rinseback.<>.rinsebackTimerCtr:0 TEST.EXPECTED:Rinseback.<>.cumulativeRinsebackVolume_mL.data:0.000833333 TEST.EXPECTED:Rinseback.<>.additionalRinsebackVolume_mL:0.000833333 TEST.EXPECTED:Rinseback.<>.totalAdditionalRinsebackVolume_mL:0.000833333 TEST.EXPECTED:Rinseback.<>.rinsebackAdditionalTimerCtr:1 TEST.EXPECTED:Rinseback.handleRinsebackRunAdditionalState.return:RINSEBACK_RUN_ADDITIONAL_STATE TEST.END -- Test Case: handleRinsebackRunAdditionalState.003 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackRunAdditionalState TEST.NEW TEST.NAME:handleRinsebackRunAdditionalState.003 TEST.MCDC_BASIS_PATH:8 of 12 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if ((1) == isSalineBagEmpty()) ==> FALSE (2) if (additionalRinsebackVolume_mL >= (10.0)) ==> FALSE (3) if (rinsebackAdditionalTimerCtr >= MAX_RINSEBACK_ADDITIONAL_TIME) ==> FALSE (4) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set additionalRinsebackVolume_mL due to assignment Cannot set rinsebackAdditionalTimerCtr due to assignment TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume TEST.VALUE:Rinseback.getRinsebackVolume.return:0.0 TEST.VALUE:Rinseback.handleRinsebackRunAdditionalState.return:RINSEBACK_STOP_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<> TEST.EXPECTED:Rinseback.handleRinsebackRunAdditionalState.return:RINSEBACK_STOP_STATE TEST.END -- Test Case: handleRinsebackRunAdditionalState.004 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackRunAdditionalState TEST.NEW TEST.NAME:handleRinsebackRunAdditionalState.004 TEST.VALUE:Rinseback.<>.additionalRinsebackVolume_mL:11.0 TEST.EXPECTED:Rinseback.<>.additionalRinsebackVolume_mL:11.0 TEST.END -- Test Case: handleRinsebackRunAdditionalState.005 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackRunAdditionalState TEST.NEW TEST.NAME:handleRinsebackRunAdditionalState.005 TEST.VALUE:Rinseback.<>.additionalRinsebackVolume_mL:9.0 TEST.VALUE:Rinseback.<>.rinsebackAdditionalTimerCtr:400 TEST.EXPECTED:Rinseback.<>.additionalRinsebackVolume_mL:9.0 TEST.EXPECTED:Rinseback.<>.rinsebackAdditionalTimerCtr:401 TEST.END -- Test Case: handleRinsebackRunAdditionalState.006 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackRunAdditionalState TEST.NEW TEST.NAME:handleRinsebackRunAdditionalState.006 TEST.STUB:Rinseback.getRinsebackVolume TEST.VALUE:Rinseback.<>.rinsebackTargetVolume_mL:<> TEST.VALUE:Rinseback.<>.additionalRinsebackVolume_mL:9.0 TEST.VALUE:Rinseback.<>.rinsebackAdditionalTimerCtr:400 TEST.VALUE:Rinseback.getRinsebackVolume.return:0.0 TEST.EXPECTED:Rinseback.<>.additionalRinsebackVolume_mL:9.0 TEST.EXPECTED:Rinseback.<>.rinsebackAdditionalTimerCtr:401 TEST.END -- Subprogram: handleRinsebackRunState -- Test Case: handleRinsebackRunState.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackRunState TEST.NEW TEST.NAME:handleRinsebackRunState.001 TEST.IMPORT_FAILURES: (E) @LINE: 1005 TEST.VALUE:Rinseback.<>.expectedRinsebackVolume_mL:0.0 >>> Unknown parameter/object name expectedRinsebackVolume_mL >>> Value Line Error - Command Ignored (E) @LINE: 1011 TEST.EXPECTED:Rinseback.<>.expectedRinsebackVolume_mL:0.0 >>> Unknown parameter/object name expectedRinsebackVolume_mL >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.MCDC_BASIS_PATH:2 of 19 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == endRinsebackRequested) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume TEST.VALUE:Rinseback.<>.cumulativeRinsebackVolume_mL.data:0.0 TEST.VALUE:Rinseback.<>.targetRinsebackVolumePlusAdditional_mL:0.0 TEST.VALUE:Rinseback.<>.endRinsebackRequested:1 TEST.VALUE:Rinseback.getRinsebackVolume.return:0.0 TEST.VALUE:Rinseback.handleRinsebackRunState.return:RINSEBACK_STOP_STATE TEST.EXPECTED:Rinseback.<>.cumulativeRinsebackVolume_mL.data:0.0 TEST.EXPECTED:Rinseback.<>.targetRinsebackVolumePlusAdditional_mL:0.0 TEST.EXPECTED:Rinseback.handleRinsebackRunState.return:RINSEBACK_STOP_STATE TEST.END -- Test Case: handleRinsebackRunState.002 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackRunState TEST.NEW TEST.NAME:handleRinsebackRunState.002 TEST.MCDC_BASIS_PATH:1 of 19 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == endRinsebackRequested) ==> 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.<>.endRinsebackRequested:<> 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.003 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:126 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.MCDC_BASIS_PATH:6 of 19 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((1) == endRinsebackRequested) ==> FALSE (2) if (getRinsebackVolume() >= (300.0)) ==> FALSE (3) if ((1) == isSalineBagEmpty()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume TEST.VALUE:Rinseback.<>.endRinsebackRequested:<> TEST.VALUE:Rinseback.getRinsebackVolume.return:<> TEST.VALUE:Rinseback.handleRinsebackRunState.return:RINSEBACK_PAUSED_STATE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_EMPTY_SALINE_BAG TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0 TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:1 TEST.EXPECTED:Rinseback.<>.endRinsebackRequested:0 TEST.EXPECTED:Rinseback.handleRinsebackRunState.return:RINSEBACK_PAUSED_STATE TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_EMPTY_SALINE_BAG TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0 TEST.END -- Test Case: handleRinsebackRunState.005 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.NOTES: This is an automatically generated test case. Test Path 8 (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 -- Subprogram: handleRinsebackStopInitState -- Test Case: handleRinsebackStopInitState.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackStopInitState TEST.NEW TEST.NAME:handleRinsebackStopInitState.001 TEST.MCDC_BASIS_PATH:2 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == startRinsebackRequested) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.setupForRinsebackDelivery TEST.VALUE:Rinseback.<>.startRinsebackRequested:1 TEST.VALUE:Rinseback.setupForRinsebackDelivery.rate:0 TEST.VALUE:Rinseback.handleRinsebackStopInitState.return:RINSEBACK_RUN_STATE TEST.VALUE:uut_prototype_stubs.setBloodIsPrimed.flag:0 TEST.VALUE:uut_prototype_stubs.sendTreatmentLogEventData.event:MID_TREATMENT_RINSE_BACK_EVENT TEST.VALUE:uut_prototype_stubs.sendTreatmentLogEventData.oldValue:0.0 TEST.VALUE:uut_prototype_stubs.sendTreatmentLogEventData.newValue:0.0 TEST.EXPECTED:Rinseback.setupForRinsebackDelivery.rate:0 TEST.EXPECTED:Rinseback.handleRinsebackStopInitState.return:RINSEBACK_RUN_STATE TEST.EXPECTED:uut_prototype_stubs.setBloodIsPrimed.flag:0 TEST.EXPECTED:uut_prototype_stubs.sendTreatmentLogEventData.event:MID_TREATMENT_RINSE_BACK_EVENT TEST.EXPECTED:uut_prototype_stubs.sendTreatmentLogEventData.oldValue:0.0 TEST.EXPECTED:uut_prototype_stubs.sendTreatmentLogEventData.newValue:0.0 TEST.END -- Test Case: handleRinsebackStopInitState.002 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackStopInitState TEST.NEW TEST.NAME:handleRinsebackStopInitState.002 TEST.MCDC_BASIS_PATH:1 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == startRinsebackRequested) ==> 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.<>.startRinsebackRequested:<> TEST.VALUE:Rinseback.handleRinsebackStopInitState.return:RINSEBACK_STOP_INIT_STATE TEST.EXPECTED:Rinseback.handleRinsebackStopInitState.return:RINSEBACK_STOP_INIT_STATE TEST.END -- Test Case: handleRinsebackStopInitState.003 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackStopInitState TEST.NEW TEST.NAME:handleRinsebackStopInitState.003 TEST.MCDC_BASIS_PATH:4 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == startRinsebackRequested) ==> FALSE (2) if ((1) == backToTreatmentRequested) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.startRinsebackRequested:<> TEST.VALUE:Rinseback.<>.backToTreatmentRequested:1 TEST.VALUE:Rinseback.handleRinsebackStopInitState.return:RINSEBACK_STOP_INIT_STATE TEST.EXPECTED:Rinseback.handleRinsebackStopInitState.return:RINSEBACK_STOP_INIT_STATE TEST.END -- Test Case: handleRinsebackStopInitState.004 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackStopInitState TEST.NEW TEST.NAME:handleRinsebackStopInitState.004 TEST.MCDC_BASIS_PATH:6 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((1) == startRinsebackRequested) ==> FALSE (2) if ((1) == backToTreatmentRequested) ==> FALSE (3) if ((1) == endTreatmentRequested) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.startRinsebackRequested:<> TEST.VALUE:Rinseback.<>.backToTreatmentRequested:<> TEST.VALUE:Rinseback.<>.endTreatmentRequested:1 TEST.VALUE:Rinseback.handleRinsebackStopInitState.return:RINSEBACK_STOP_INIT_STATE TEST.EXPECTED:Rinseback.handleRinsebackStopInitState.return:RINSEBACK_STOP_INIT_STATE TEST.END -- Test Case: handleRinsebackStopInitState.005 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackStopInitState TEST.NEW TEST.NAME:handleRinsebackStopInitState.005 TEST.MCDC_BASIS_PATH:8 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if ((1) == startRinsebackRequested) ==> FALSE (2) if ((1) == backToTreatmentRequested) ==> FALSE (3) if ((1) == endTreatmentRequested) ==> FALSE (4) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackTimerCtr:<> TEST.VALUE:Rinseback.<>.startRinsebackRequested:<> TEST.VALUE:Rinseback.<>.backToTreatmentRequested:<> TEST.VALUE:Rinseback.<>.endTreatmentRequested:<> TEST.VALUE:Rinseback.handleRinsebackStopInitState.return:RINSEBACK_STOP_INIT_STATE TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM TEST.EXPECTED:Rinseback.handleRinsebackStopInitState.return:RINSEBACK_STOP_INIT_STATE TEST.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM TEST.END -- Test Case: handleRinsebackStopInitState.006 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackStopInitState TEST.NEW TEST.NAME:handleRinsebackStopInitState.006 TEST.BASIS_PATH:5 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((1) == startRinsebackRequested) ==> TRUE (2) if (isTreatmentCompleted() != (1)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.startRinsebackRequested:1 TEST.VALUE:uut_prototype_stubs.isTreatmentCompleted.return:1 TEST.EXPECTED:Rinseback.<>.startRinsebackRequested:1 TEST.END -- Subprogram: handleRinsebackStoppedState -- Test Case: handleRinsebackStoppedState.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackStoppedState TEST.NEW TEST.NAME:handleRinsebackStoppedState.001 TEST.MCDC_BASIS_PATH:2 of 20 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME && getRinsebackVolume() < (300.0)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume TEST.VALUE:Rinseback.<>.rinsebackTimerCtr:<> TEST.VALUE:Rinseback.getRinsebackVolume.return:<> TEST.VALUE:Rinseback.handleRinsebackStoppedState.return:RINSEBACK_STOP_STATE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:Rinseback.<>.rinsebackTimerCtr:4294967295 TEST.EXPECTED:Rinseback.handleRinsebackStoppedState.return:RINSEBACK_STOP_STATE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:4294967295 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:6000 TEST.END -- Test Case: handleRinsebackStoppedState.002 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackStoppedState TEST.NEW TEST.NAME:handleRinsebackStoppedState.002 TEST.MCDC_BASIS_PATH:17 of 20 TEST.NOTES: This is an automatically generated test case. Test Path 17 (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME && getRinsebackVolume() < (300.0)) ==> FALSE (2) if (rinsebackTimerCtr > MAX_RINSEBACK_DONE_TIME && getRinsebackVolume() >= (300.0)) ==> FALSE (3) if (RINSEBACK_DONE_WARNING_TIME == rinsebackTimerCtr && getRinsebackVolume() >= (300.0)) ==> FALSE (4) if ((1) == recircRequested) ==> FALSE (5) if ((1) == additionalRinsebackRequested) ==> FALSE (7) if ((1) == backToTreatmentRequested) ==> FALSE (8) if ((1) == endTreatmentRequested) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #8, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume TEST.VALUE:Rinseback.<>.rinsebackTimerCtr:<> TEST.VALUE:Rinseback.<>.additionalRinsebackRequested:<> TEST.VALUE:Rinseback.<>.recircRequested:<> TEST.VALUE:Rinseback.<>.backToTreatmentRequested:<> TEST.VALUE:Rinseback.<>.endTreatmentRequested:1 TEST.VALUE:Rinseback.getRinsebackVolume.return:<> TEST.VALUE:Rinseback.handleRinsebackStoppedState.return:RINSEBACK_STOP_STATE TEST.EXPECTED:Rinseback.handleRinsebackStoppedState.return:RINSEBACK_STOP_STATE TEST.END -- Test Case: handleRinsebackStoppedState.003 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackStoppedState TEST.NEW TEST.NAME:handleRinsebackStoppedState.003 TEST.MCDC_BASIS_PATH:1 of 20 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME && getRinsebackVolume() < (300.0)) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume TEST.VALUE:Rinseback.<>.rinsebackTimerCtr:<> TEST.VALUE:Rinseback.getRinsebackVolume.return:<> TEST.VALUE:Rinseback.handleRinsebackStoppedState.return:RINSEBACK_STOP_STATE TEST.EXPECTED:Rinseback.handleRinsebackStoppedState.return:RINSEBACK_STOP_STATE TEST.END -- Test Case: handleRinsebackStoppedState.004 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackStoppedState TEST.NEW TEST.NAME:handleRinsebackStoppedState.004 TEST.MCDC_BASIS_PATH:15 of 20 TEST.NOTES: This is an automatically generated test case. Test Path 15 (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME && getRinsebackVolume() < (300.0)) ==> FALSE (2) if (rinsebackTimerCtr > MAX_RINSEBACK_DONE_TIME && getRinsebackVolume() >= (300.0)) ==> FALSE (3) if (RINSEBACK_DONE_WARNING_TIME == rinsebackTimerCtr && getRinsebackVolume() >= (300.0)) ==> FALSE (4) if ((1) == recircRequested) ==> FALSE (5) if ((1) == additionalRinsebackRequested) ==> FALSE (7) if ((1) == backToTreatmentRequested) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume TEST.VALUE:Rinseback.<>.rinsebackTimerCtr:<> TEST.VALUE:Rinseback.<>.additionalRinsebackRequested:<> TEST.VALUE:Rinseback.<>.recircRequested:<> TEST.VALUE:Rinseback.<>.backToTreatmentRequested:1 TEST.VALUE:Rinseback.getRinsebackVolume.return:<> TEST.VALUE:Rinseback.handleRinsebackStoppedState.return:RINSEBACK_STOP_STATE TEST.EXPECTED:Rinseback.handleRinsebackStoppedState.return:RINSEBACK_STOP_STATE TEST.END -- Test Case: handleRinsebackStoppedState.005 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackStoppedState TEST.NEW TEST.NAME:handleRinsebackStoppedState.005 TEST.MCDC_BASIS_PATH:11 of 20 TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME && getRinsebackVolume() < (300.0)) ==> FALSE (2) if (rinsebackTimerCtr > MAX_RINSEBACK_DONE_TIME && getRinsebackVolume() >= (300.0)) ==> FALSE (3) if (RINSEBACK_DONE_WARNING_TIME == rinsebackTimerCtr && getRinsebackVolume() >= (300.0)) ==> FALSE (4) if ((1) == recircRequested) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume TEST.VALUE:Rinseback.<>.rinsebackTimerCtr:<> TEST.VALUE:Rinseback.<>.recircRequested:1 TEST.VALUE:Rinseback.getRinsebackVolume.return:<> TEST.VALUE:Rinseback.handleRinsebackStoppedState.return:RINSEBACK_STOP_STATE TEST.EXPECTED:Rinseback.handleRinsebackStoppedState.return:RINSEBACK_STOP_STATE TEST.END -- Test Case: handleRinsebackStoppedState.006 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackStoppedState TEST.NEW TEST.NAME:handleRinsebackStoppedState.006 TEST.MCDC_BASIS_PATH:13 of 20 TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME && getRinsebackVolume() < (300.0)) ==> FALSE (2) if (rinsebackTimerCtr > MAX_RINSEBACK_DONE_TIME && getRinsebackVolume() >= (300.0)) ==> FALSE (3) if (RINSEBACK_DONE_WARNING_TIME == rinsebackTimerCtr && getRinsebackVolume() >= (300.0)) ==> FALSE (4) if ((1) == recircRequested) ==> FALSE (5) if ((1) == additionalRinsebackRequested) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.setupForRinsebackDelivery TEST.STUB:Rinseback.getRinsebackVolume TEST.VALUE:Rinseback.<>.rinsebackTimerCtr:<> TEST.VALUE:Rinseback.<>.targetRinsebackVolumePlusAdditional_mL:0.0 TEST.VALUE:Rinseback.<>.additionalRinsebackVolume_mL:0.0 TEST.VALUE:Rinseback.<>.rinsebackAdditionalTimerCtr:0 TEST.VALUE:Rinseback.<>.additionalRinsebackRequested:1 TEST.VALUE:Rinseback.<>.recircRequested:<> TEST.VALUE:Rinseback.setupForRinsebackDelivery.rate:50 TEST.VALUE:Rinseback.getRinsebackVolume.return:<> TEST.VALUE:Rinseback.handleRinsebackStoppedState.return:RINSEBACK_RUN_ADDITIONAL_STATE TEST.EXPECTED:Rinseback.<>.targetRinsebackVolumePlusAdditional_mL:10.0 TEST.EXPECTED:Rinseback.<>.additionalRinsebackVolume_mL:0.0 TEST.EXPECTED:Rinseback.<>.rinsebackAdditionalTimerCtr:0 TEST.EXPECTED:Rinseback.<>.additionalRinsebackRequested:0 TEST.EXPECTED:Rinseback.setupForRinsebackDelivery.rate:50 TEST.EXPECTED:Rinseback.handleRinsebackStoppedState.return:RINSEBACK_RUN_ADDITIONAL_STATE TEST.END -- Test Case: handleRinsebackStoppedState.007 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackStoppedState TEST.NEW TEST.NAME:handleRinsebackStoppedState.007 TEST.MCDC_BASIS_PATH:20 of 20 TEST.NOTES: This is an automatically generated test case. Test Path 20 (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME && getRinsebackVolume() < (300.0)) ==> FALSE (2) if (rinsebackTimerCtr > MAX_RINSEBACK_DONE_TIME && getRinsebackVolume() >= (300.0)) ==> FALSE (3) if (RINSEBACK_DONE_WARNING_TIME == rinsebackTimerCtr && getRinsebackVolume() >= (300.0)) ==> FALSE (4) if ((1) == recircRequested) ==> FALSE (5) if ((1) == additionalRinsebackRequested) ==> TRUE (6) if (rinsebackTimerCtr < MAX_RINSEBACK_TIME || getRinsebackVolume() >= (300.0)) ==> TRUE Row number 3 forms a pair with Row 4 for Condition #6, subcondition "b". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: Conflict: Trying to set variable Rinseback.getRinsebackVolume.return 'less than' and 'greater than' same value in branches 3/6 TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume TEST.VALUE:Rinseback.<>.rinsebackTimerCtr:6000 TEST.VALUE:Rinseback.<>.targetRinsebackVolumePlusAdditional_mL:0.0 TEST.VALUE:Rinseback.<>.additionalRinsebackVolume_mL:0.0 TEST.VALUE:Rinseback.<>.rinsebackAdditionalTimerCtr:0 TEST.VALUE:Rinseback.<>.additionalRinsebackRequested:1 TEST.VALUE:Rinseback.<>.recircRequested:<> TEST.VALUE:Rinseback.getRinsebackVolume.return:<> TEST.VALUE:Rinseback.handleRinsebackStoppedState.return:RINSEBACK_RUN_ADDITIONAL_STATE TEST.EXPECTED:Rinseback.<>.targetRinsebackVolumePlusAdditional_mL:10.0 TEST.EXPECTED:Rinseback.<>.additionalRinsebackVolume_mL:0.0 TEST.EXPECTED:Rinseback.<>.rinsebackAdditionalTimerCtr:0 TEST.EXPECTED:Rinseback.<>.additionalRinsebackRequested:0 TEST.EXPECTED:Rinseback.handleRinsebackStoppedState.return:RINSEBACK_RUN_ADDITIONAL_STATE TEST.END -- Test Case: handleRinsebackStoppedState.008 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackStoppedState TEST.NEW TEST.NAME:handleRinsebackStoppedState.008 TEST.MCDC_BASIS_PATH:18 of 20 TEST.NOTES: This is an automatically generated test case. Test Path 18 (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME && getRinsebackVolume() < (300.0)) ==> FALSE (2) if (rinsebackTimerCtr > MAX_RINSEBACK_DONE_TIME && getRinsebackVolume() >= (300.0)) ==> FALSE (3) if (RINSEBACK_DONE_WARNING_TIME == rinsebackTimerCtr && getRinsebackVolume() >= (300.0)) ==> FALSE (4) if ((1) == recircRequested) ==> FALSE (5) if ((1) == additionalRinsebackRequested) ==> TRUE (6) if (rinsebackTimerCtr < MAX_RINSEBACK_TIME || getRinsebackVolume() >= (300.0)) ==> FALSE Row number 4 forms a pair with Row 2 for Condition #6, subcondition "a". Condition a ==> FALSE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume TEST.VALUE:Rinseback.<>.rinsebackTimerCtr:6000 TEST.VALUE:Rinseback.<>.additionalRinsebackRequested:1 TEST.VALUE:Rinseback.<>.recircRequested:<> TEST.VALUE:Rinseback.getRinsebackVolume.return:<> TEST.VALUE:Rinseback.handleRinsebackStoppedState.return:RINSEBACK_STOP_STATE TEST.EXPECTED:Rinseback.<>.additionalRinsebackRequested:0 TEST.EXPECTED:Rinseback.handleRinsebackStoppedState.return:RINSEBACK_STOP_STATE TEST.END -- Test Case: handleRinsebackStoppedState_13_Mins_Vol_False TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackStoppedState TEST.NEW TEST.NAME:handleRinsebackStoppedState_13_Mins_Vol_False TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME && getRinsebackVolume() < (300.0)) ==> FALSE (2) if (rinsebackTimerCtr > MAX_RINSEBACK_DONE_TIME && getRinsebackVolume() >= (300.0)) ==> FALSE (3) if (RINSEBACK_DONE_WARNING_TIME == rinsebackTimerCtr && getRinsebackVolume() >= (300.0)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #3, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: Conflict: Trying to set variable Rinseback.<>.rinsebackTimerCtr 'less than' and 'greater than' same value in branches 1/3 Conflict: Trying to set variable Rinseback.getRinsebackVolume.return 'less than' and 'greater than' same value in branches 2/3 TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackTimerCtr:15600 TEST.VALUE:Rinseback.<>.rinsebackTargetVolume_mL:25.0 TEST.VALUE:Rinseback.<>.cumulativeRinsebackVolume_mL.data:20.0 TEST.VALUE:Rinseback.<>.cumulativeRinsebackVolume_mL.override:0x0 TEST.VALUE:Rinseback.handleRinsebackStoppedState.return:RINSEBACK_STOP_STATE TEST.EXPECTED:Rinseback.handleRinsebackStoppedState.return:RINSEBACK_STOP_STATE TEST.END -- Test Case: handleRinsebackStoppedState_5_Mins_Vol_False TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleRinsebackStoppedState TEST.NEW TEST.NAME:handleRinsebackStoppedState_5_Mins_Vol_False TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME && getRinsebackVolume() < (300.0)) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackTimerCtr:6100 TEST.VALUE:Rinseback.<>.rinsebackTargetVolume_mL:30.0 TEST.VALUE:Rinseback.<>.cumulativeRinsebackVolume_mL.data:50.0 TEST.VALUE:Rinseback.<>.cumulativeRinsebackVolume_mL.override:0x0 TEST.VALUE:Rinseback.handleRinsebackStoppedState.return:RINSEBACK_STOP_STATE TEST.EXPECTED:Rinseback.handleRinsebackStoppedState.return:RINSEBACK_STOP_STATE TEST.END -- Subprogram: handleStartRinsebackUserAction -- Test Case: handleStartRinsebackUserAction.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleStartRinsebackUserAction TEST.NEW TEST.NAME:handleStartRinsebackUserAction.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((RINSEBACK_STOP_INIT_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_STOP_INIT_STATE TEST.VALUE:Rinseback.<>.startRinsebackRequested:1 TEST.VALUE:Rinseback.handleStartRinsebackUserAction.rejReason:<> TEST.VALUE:Rinseback.handleStartRinsebackUserAction.return:1 TEST.EXPECTED:Rinseback.<>.startRinsebackRequested:1 TEST.EXPECTED:Rinseback.handleStartRinsebackUserAction.return:1 TEST.END -- Test Case: handleStartRinsebackUserAction.002 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleStartRinsebackUserAction TEST.NEW TEST.NAME:handleStartRinsebackUserAction.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((RINSEBACK_STOP_INIT_STATE) == rinsebackState) ==> 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.<>.rinsebackState:RINSEBACK_RUN_STATE TEST.VALUE:Rinseback.handleStartRinsebackUserAction.rejReason:<> TEST.VALUE:Rinseback.handleStartRinsebackUserAction.return:0 TEST.EXPECTED:Rinseback.handleStartRinsebackUserAction.return:0 TEST.END -- Subprogram: handleToRecircUserAction -- Test Case: handleToRecircUserAction.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleToRecircUserAction TEST.NEW TEST.NAME:handleToRecircUserAction.001 TEST.MCDC_BASIS_PATH:2 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTreatmentCompleted()) ==> 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.handleToRecircUserAction.rejReason:<> TEST.VALUE:Rinseback.handleToRecircUserAction.rejReason[0]:REQUEST_REJECT_REASON_TREATMENT_IS_COMPLETED TEST.VALUE:Rinseback.handleToRecircUserAction.return:0 TEST.VALUE:uut_prototype_stubs.isTreatmentCompleted.return:1 TEST.EXPECTED:Rinseback.handleToRecircUserAction.return:0 TEST.END -- Test Case: handleToRecircUserAction.002 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleToRecircUserAction TEST.NEW TEST.NAME:handleToRecircUserAction.002 TEST.MCDC_BASIS_PATH:1 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTreatmentCompleted()) ==> 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.handleToRecircUserAction.rejReason:<> TEST.VALUE:Rinseback.handleToRecircUserAction.rejReason[0]:REQUEST_REJECT_REASON_ACTION_DISABLED_IN_CURRENT_STATE TEST.VALUE:Rinseback.handleToRecircUserAction.return:0 TEST.VALUE:uut_prototype_stubs.isTreatmentCompleted.return:<> TEST.EXPECTED:Rinseback.handleToRecircUserAction.return:0 TEST.END -- Test Case: handleToRecircUserAction.003 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleToRecircUserAction TEST.NEW TEST.NAME:handleToRecircUserAction.003 TEST.MCDC_BASIS_PATH:3 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == isTreatmentCompleted()) ==> FALSE (2) if ((RINSEBACK_STOP_STATE) != rinsebackState) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_STOP_STATE TEST.VALUE:Rinseback.handleToRecircUserAction.rejReason:<> TEST.VALUE:Rinseback.handleToRecircUserAction.rejReason[0]:REQUEST_REJECT_REASON_RINSEBACK_NOT_COMPLETED TEST.VALUE:Rinseback.handleToRecircUserAction.return:0 TEST.VALUE:uut_prototype_stubs.isTreatmentCompleted.return:<> TEST.EXPECTED:Rinseback.<>.rinsebackState:RINSEBACK_STOP_STATE TEST.EXPECTED:Rinseback.handleToRecircUserAction.rejReason[0]:REQUEST_REJECT_REASON_RINSEBACK_NOT_COMPLETED TEST.EXPECTED:Rinseback.handleToRecircUserAction.return:1 TEST.END -- Test Case: handleToRecircUserAction.004 TEST.UNIT:Rinseback TEST.SUBPROGRAM:handleToRecircUserAction TEST.NEW TEST.NAME:handleToRecircUserAction.004 TEST.MCDC_BASIS_PATH:5 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((1) == isTreatmentCompleted()) ==> FALSE (2) if ((RINSEBACK_STOP_STATE) != rinsebackState) ==> FALSE (3) if (getRinsebackVolume() < (300.0)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_STOP_STATE TEST.VALUE:Rinseback.<>.rinsebackTargetVolume_mL:<> TEST.VALUE:Rinseback.<>.recircRequested:1 TEST.VALUE:Rinseback.getRinsebackVolume.return:<> TEST.VALUE:Rinseback.handleToRecircUserAction.rejReason:<> TEST.VALUE:Rinseback.handleToRecircUserAction.return:1 TEST.VALUE:uut_prototype_stubs.isTreatmentCompleted.return:<> TEST.EXPECTED:Rinseback.<>.rinsebackState:RINSEBACK_STOP_STATE TEST.EXPECTED:Rinseback.<>.rinsebackTargetVolume_mL:3.40282E+38 TEST.EXPECTED:Rinseback.<>.recircRequested:1 TEST.EXPECTED:Rinseback.handleToRecircUserAction.return:0 TEST.END -- Subprogram: initRinseback -- Test Case: initRinseback.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:initRinseback TEST.NEW TEST.NAME:initRinseback.001 TEST.IMPORT_FAILURES: (E) @LINE: 1864 TEST.VALUE:Rinseback.<>.expectedRinsebackVolume_mL:0.0 >>> Unknown parameter/object name expectedRinsebackVolume_mL >>> Value Line Error - Command Ignored (E) @LINE: 1876 TEST.EXPECTED:Rinseback.<>.expectedRinsebackVolume_mL:0.0 >>> Unknown parameter/object name expectedRinsebackVolume_mL >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_STOP_INIT_STATE TEST.VALUE:Rinseback.<>.rinsebackRate_mL_min:0 TEST.VALUE:Rinseback.<>.rinsebackTimerCtr:0 TEST.VALUE:Rinseback.<>.cumulativeRinsebackVolume_mL.data:0.0 TEST.VALUE:Rinseback.<>.targetRinsebackVolumePlusAdditional_mL:300.0 TEST.VALUE:Rinseback.<>.additionalRinsebackVolume_mL:0.0 TEST.VALUE:Rinseback.<>.totalAdditionalRinsebackVolume_mL:0.0 TEST.VALUE:Rinseback.<>.rinsebackAdditionalTimerCtr:0 TEST.VALUE:Rinseback.<>.rinsebackPublishTimerCtr:0 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.param:TREATMENT_PARAM_RINSEBACK_FLOW_RATE TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:0 TEST.EXPECTED:Rinseback.<>.rinsebackState:RINSEBACK_STOP_INIT_STATE TEST.EXPECTED:Rinseback.<>.rinsebackRate_mL_min:0 TEST.EXPECTED:Rinseback.<>.rinsebackTimerCtr:0 TEST.EXPECTED:Rinseback.<>.cumulativeRinsebackVolume_mL.data:0.0 TEST.EXPECTED:Rinseback.<>.targetRinsebackVolumePlusAdditional_mL:80.0 TEST.EXPECTED:Rinseback.<>.additionalRinsebackVolume_mL:0.0 TEST.EXPECTED:Rinseback.<>.totalAdditionalRinsebackVolume_mL:0.0 TEST.EXPECTED:Rinseback.<>.rinsebackAdditionalTimerCtr:0 TEST.EXPECTED:Rinseback.<>.rinsebackPublishTimerCtr:0 TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterU32.param:TREATMENT_PARAM_RINSEBACK_FLOW_RATE TEST.END -- Subprogram: publishRinsebackData -- Test Case: publishRinsebackData.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:publishRinsebackData TEST.NEW TEST.NAME:publishRinsebackData.001 TEST.MCDC_BASIS_PATH:2 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (++rinsebackPublishTimerCtr >= getPublishRinsebackInterval()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume TEST.STUB:Rinseback.getPublishRinsebackInterval TEST.VALUE:Rinseback.<>.rinsebackPublishTimerCtr:0 TEST.VALUE:Rinseback.getRinsebackVolume.return:0.0 TEST.VALUE:Rinseback.getPublishRinsebackInterval.return:<> TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_RINSEBACK_PROGRESS 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:24 TEST.EXPECTED:Rinseback.<>.rinsebackPublishTimerCtr:0 TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_RINSEBACK_PROGRESS,MSG_ID_HD_TREATMENT_STOP_TIMER_DATA TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:(2)COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.EXPECTED:uut_prototype_stubs.broadcastData.dataPtr:"" TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:24,8 TEST.END -- Test Case: publishRinsebackData.002 TEST.UNIT:Rinseback TEST.SUBPROGRAM:publishRinsebackData TEST.NEW TEST.NAME:publishRinsebackData.002 TEST.MCDC_BASIS_PATH:1 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (++rinsebackPublishTimerCtr >= getPublishRinsebackInterval()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.getPublishRinsebackInterval TEST.VALUE:Rinseback.<>.rinsebackPublishTimerCtr:100 TEST.VALUE:Rinseback.getPublishRinsebackInterval.return:<> TEST.EXPECTED:Rinseback.<>.rinsebackPublishTimerCtr:101 TEST.END -- Test Case: publishRinsebackData.003 TEST.UNIT:Rinseback TEST.SUBPROGRAM:publishRinsebackData TEST.NEW TEST.NAME:publishRinsebackData.003 TEST.MCDC_BASIS_PATH:3 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (++rinsebackPublishTimerCtr >= getPublishRinsebackInterval()) ==> TRUE (2) (getRinsebackVolume() >= (300.0)) ==> 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.getRinsebackVolume TEST.STUB:Rinseback.getPublishRinsebackInterval TEST.VALUE:Rinseback.getRinsebackVolume.return:<> TEST.VALUE:Rinseback.getPublishRinsebackInterval.return:<> TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_RINSEBACK_PROGRESS 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:24 TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_RINSEBACK_PROGRESS,MSG_ID_HD_TREATMENT_STOP_TIMER_DATA TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:(2)COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.EXPECTED:uut_prototype_stubs.broadcastData.dataPtr:"" TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:24,8 TEST.END -- Test Case: publishRinsebackData.004 TEST.UNIT:Rinseback TEST.SUBPROGRAM:publishRinsebackData TEST.NEW TEST.NAME:publishRinsebackData.004 TEST.MCDC_BASIS_PATH:8 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if (++rinsebackPublishTimerCtr >= getPublishRinsebackInterval()) ==> TRUE (3) if (countdown > MAX_RINSEBACK_DONE_TIME) ==> FALSE (4) if (rinsebackState > (RINSEBACK_PAUSED_STATE) && getRinsebackVolume() >= (300.0)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #4, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: Cannot set countdown due to assignment TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume TEST.STUB:Rinseback.getPublishRinsebackInterval TEST.VALUE:Rinseback.<>.rinsebackState:<> TEST.VALUE:Rinseback.getRinsebackVolume.return:<> TEST.VALUE:Rinseback.getPublishRinsebackInterval.return:<> TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_RINSEBACK_PROGRESS 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:24 TEST.EXPECTED:Rinseback.<>.rinsebackState:NUM_OF_RINSEBACK_STATES TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_RINSEBACK_PROGRESS,MSG_ID_HD_TREATMENT_STOP_TIMER_DATA TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:(2)COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.EXPECTED:uut_prototype_stubs.broadcastData.dataPtr:"" TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:24,8 TEST.END -- Test Case: publishRinsebackData.005 TEST.UNIT:Rinseback TEST.SUBPROGRAM:publishRinsebackData TEST.NEW TEST.NAME:publishRinsebackData.005 TEST.MCDC_BASIS_PATH:9 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) if (++rinsebackPublishTimerCtr >= getPublishRinsebackInterval()) ==> TRUE (3) if (countdown > MAX_RINSEBACK_DONE_TIME) ==> FALSE (4) if (rinsebackState > (RINSEBACK_PAUSED_STATE) && getRinsebackVolume() >= (300.0)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #4, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: Cannot set countdown due to assignment TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume TEST.STUB:Rinseback.getPublishRinsebackInterval TEST.VALUE:Rinseback.<>.rinsebackState:<> TEST.VALUE:Rinseback.getRinsebackVolume.return:<> TEST.VALUE:Rinseback.getPublishRinsebackInterval.return:<> TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_RINSEBACK_PROGRESS 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:24 TEST.EXPECTED:Rinseback.<>.rinsebackState:NUM_OF_RINSEBACK_STATES TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_RINSEBACK_PROGRESS,MSG_ID_HD_TREATMENT_STOP_TIMER_DATA TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:(2)COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.EXPECTED:uut_prototype_stubs.broadcastData.dataPtr:"",",\1" TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:24,8 TEST.END -- Test Case: publishRinsebackData.006 TEST.UNIT:Rinseback TEST.SUBPROGRAM:publishRinsebackData TEST.NEW TEST.NAME:publishRinsebackData.006 TEST.MCDC_BASIS_PATH:11 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if (++rinsebackPublishTimerCtr >= getPublishRinsebackInterval()) ==> TRUE (3) if (countdown > MAX_RINSEBACK_DONE_TIME) ==> FALSE (4) if (rinsebackState > (RINSEBACK_PAUSED_STATE) && getRinsebackVolume() >= (300.0)) ==> FALSE (5) if ((RINSEBACK_RUN_ADDITIONAL_STATE) == rinsebackState) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set countdown due to assignment Conflict: Trying to set variable Rinseback.<>.rinsebackState 'less than' and 'greater than' same value in branches 4/5 TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume TEST.STUB:Rinseback.getPublishRinsebackInterval TEST.VALUE:Rinseback.<>.rinsebackState:RINSEBACK_RUN_ADDITIONAL_STATE TEST.VALUE:Rinseback.getRinsebackVolume.return:<> TEST.VALUE:Rinseback.getPublishRinsebackInterval.return:<> TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_RINSEBACK_PROGRESS 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:24 TEST.EXPECTED:Rinseback.<>.rinsebackState:RINSEBACK_RUN_ADDITIONAL_STATE TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_RINSEBACK_PROGRESS,MSG_ID_HD_TREATMENT_STOP_TIMER_DATA TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:(2)COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.EXPECTED:uut_prototype_stubs.broadcastData.dataPtr:"",",\1" TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:24,8 TEST.END -- Test Case: publishRinsebackData.007 TEST.UNIT:Rinseback TEST.SUBPROGRAM:publishRinsebackData TEST.NEW TEST.NAME:publishRinsebackData.007 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (++rinsebackPublishTimerCtr >= getPublishRinsebackInterval()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume TEST.STUB:Rinseback.getPublishRinsebackInterval TEST.VALUE:Rinseback.<>.rinsebackPublishTimerCtr:0 TEST.VALUE:Rinseback.getRinsebackVolume.return:0.0 TEST.VALUE:Rinseback.getPublishRinsebackInterval.return:<> TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:1 TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_RINSEBACK_PROGRESS 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:24 TEST.EXPECTED:Rinseback.<>.rinsebackPublishTimerCtr:0 TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_RINSEBACK_PROGRESS,MSG_ID_HD_TREATMENT_STOP_TIMER_DATA TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:(2)COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.EXPECTED:uut_prototype_stubs.broadcastData.dataPtr:"" TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:24,8 TEST.END -- Test Case: publishRinsebackData_Countdown_Zero TEST.UNIT:Rinseback TEST.SUBPROGRAM:publishRinsebackData TEST.NEW TEST.NAME:publishRinsebackData_Countdown_Zero TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (++rinsebackPublishTimerCtr >= getPublishRinsebackInterval()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume TEST.STUB:Rinseback.getPublishRinsebackInterval TEST.VALUE:Rinseback.<>.rinsebackTimerCtr:80000 TEST.VALUE:Rinseback.<>.rinsebackTargetVolume_mL:18.0 TEST.VALUE:Rinseback.<>.cumulativeRinsebackVolume_mL.data:22.0 TEST.VALUE:Rinseback.<>.rinsebackPublishTimerCtr:0 TEST.VALUE:Rinseback.getRinsebackVolume.return:0.0 TEST.VALUE:Rinseback.getPublishRinsebackInterval.return:<> TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_RINSEBACK_PROGRESS 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:24 TEST.EXPECTED:Rinseback.<>.rinsebackTimerCtr:80000 TEST.EXPECTED:Rinseback.<>.rinsebackTargetVolume_mL:18.0 TEST.EXPECTED:Rinseback.<>.cumulativeRinsebackVolume_mL.data:22.0 TEST.EXPECTED:Rinseback.<>.rinsebackPublishTimerCtr:0 TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_RINSEBACK_PROGRESS,MSG_ID_HD_TREATMENT_STOP_TIMER_DATA TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:(2)COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.EXPECTED:uut_prototype_stubs.broadcastData.dataPtr:"",",\1" TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:24,8 TEST.END -- Test Case: publishRinsebackData_Countdown_Zero.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:publishRinsebackData TEST.NEW TEST.NAME:publishRinsebackData_Countdown_Zero.001 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (++rinsebackPublishTimerCtr >= getPublishRinsebackInterval()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.getRinsebackVolume TEST.STUB:Rinseback.getPublishRinsebackInterval TEST.VALUE:Rinseback.<>.rinsebackTimerCtr:100 TEST.VALUE:Rinseback.<>.rinsebackTargetVolume_mL:18.0 TEST.VALUE:Rinseback.<>.cumulativeRinsebackVolume_mL.data:22.0 TEST.VALUE:Rinseback.<>.rinsebackPublishTimerCtr:0 TEST.VALUE:Rinseback.getRinsebackVolume.return:0.0 TEST.VALUE:Rinseback.getPublishRinsebackInterval.return:<> TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_RINSEBACK_PROGRESS 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:24 TEST.EXPECTED:Rinseback.<>.rinsebackTimerCtr:100 TEST.EXPECTED:Rinseback.<>.rinsebackTargetVolume_mL:18.0 TEST.EXPECTED:Rinseback.<>.cumulativeRinsebackVolume_mL.data:22.0 TEST.EXPECTED:Rinseback.<>.rinsebackPublishTimerCtr:0 TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_RINSEBACK_PROGRESS,MSG_ID_HD_TREATMENT_STOP_TIMER_DATA TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:(2)COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.EXPECTED:uut_prototype_stubs.broadcastData.dataPtr:"",",\1" TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:24,8 TEST.END -- Subprogram: resetRinsebackFlags -- Test Case: resetRinsebackFlags.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:resetRinsebackFlags TEST.NEW TEST.NAME:resetRinsebackFlags.001 TEST.VALUE:Rinseback.<>.startRinsebackRequested:0 TEST.VALUE:Rinseback.<>.incrRinsebackFlowRateRequested:0 TEST.VALUE:Rinseback.<>.decrRinsebackFlowRateRequested:0 TEST.VALUE:Rinseback.<>.pauseRinsebackRequested:0 TEST.VALUE:Rinseback.<>.resumeRinsebackRequested:0 TEST.VALUE:Rinseback.<>.endRinsebackRequested:0 TEST.VALUE:Rinseback.<>.additionalRinsebackRequested:0 TEST.VALUE:Rinseback.<>.recircRequested:0 TEST.VALUE:Rinseback.<>.backToTreatmentRequested:0 TEST.VALUE:Rinseback.<>.endTreatmentRequested:0 TEST.EXPECTED:Rinseback.<>.startRinsebackRequested:0 TEST.EXPECTED:Rinseback.<>.incrRinsebackFlowRateRequested:0 TEST.EXPECTED:Rinseback.<>.decrRinsebackFlowRateRequested:0 TEST.EXPECTED:Rinseback.<>.pauseRinsebackRequested:0 TEST.EXPECTED:Rinseback.<>.resumeRinsebackRequested:0 TEST.EXPECTED:Rinseback.<>.endRinsebackRequested:0 TEST.EXPECTED:Rinseback.<>.additionalRinsebackRequested:0 TEST.EXPECTED:Rinseback.<>.recircRequested:0 TEST.EXPECTED:Rinseback.<>.backToTreatmentRequested:0 TEST.EXPECTED:Rinseback.<>.endTreatmentRequested:0 TEST.END -- Subprogram: setupForRinsebackDelivery -- Test Case: setupForRinsebackDelivery.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:setupForRinsebackDelivery TEST.NEW TEST.NAME:setupForRinsebackDelivery.001 TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.flowRate:0 TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VBA,VBV TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE,VALVE_POSITION_B_OPEN TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.flowRate:0 TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VBA,VBV TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:(2)VALVE_POSITION_B_OPEN TEST.END -- Subprogram: setupForRinsebackStopOrPause -- Test Case: setupForRinsebackStopOrPause.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:setupForRinsebackStopOrPause TEST.NEW TEST.NAME:setupForRinsebackStopOrPause.001 TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VBA,VBV TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VBA,VBV TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE TEST.END -- Subprogram: signalRinsebackUserAction -- Test Case: signalRinsebackUserAction.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:signalRinsebackUserAction TEST.NEW TEST.NAME:signalRinsebackUserAction.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isAnyAlarmActive()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.handleStartRinsebackUserAction TEST.VALUE:Rinseback.signalRinsebackUserAction.action:<> TEST.VALUE:Rinseback.handleStartRinsebackUserAction.rejReason[0]:REQUEST_REJECT_REASON_NONE TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:0 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.rejReason:0 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.rejReason:0 TEST.END -- Test Case: signalRinsebackUserAction.002 TEST.UNIT:Rinseback TEST.SUBPROGRAM:signalRinsebackUserAction TEST.NEW TEST.NAME:signalRinsebackUserAction.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((0) == isAnyAlarmActive()) ==> 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.signalRinsebackUserAction.action:<> TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:0 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.rejReason:24 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.rejReason:24 TEST.END -- Test Case: signalRinsebackUserAction.003 TEST.UNIT:Rinseback TEST.SUBPROGRAM:signalRinsebackUserAction TEST.NEW TEST.NAME:signalRinsebackUserAction.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isAnyAlarmActive()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.handleIncrRinsebackUserAction TEST.VALUE:Rinseback.signalRinsebackUserAction.action:REQUESTED_USER_ACTION_RINSEBACK_INCREASE_RATE TEST.VALUE:Rinseback.handleIncrRinsebackUserAction.rejReason[0]:REQUEST_REJECT_REASON_NONE TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:0 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.rejReason:0 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.rejReason:0 TEST.END -- Test Case: signalRinsebackUserAction.004 TEST.UNIT:Rinseback TEST.SUBPROGRAM:signalRinsebackUserAction TEST.NEW TEST.NAME:signalRinsebackUserAction.004 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isAnyAlarmActive()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.handleIncrRinsebackUserAction TEST.VALUE:Rinseback.signalRinsebackUserAction.action:REQUESTED_USER_ACTION_RINSEBACK_DECREASE_RATE TEST.VALUE:Rinseback.handleIncrRinsebackUserAction.rejReason[0]:REQUEST_REJECT_REASON_NONE TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:0 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.rejReason:23 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.rejReason:23 TEST.END -- Test Case: signalRinsebackUserAction.005 TEST.UNIT:Rinseback TEST.SUBPROGRAM:signalRinsebackUserAction TEST.NEW TEST.NAME:signalRinsebackUserAction.005 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isAnyAlarmActive()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.handleIncrRinsebackUserAction TEST.VALUE:Rinseback.signalRinsebackUserAction.action:REQUESTED_USER_ACTION_RINSEBACK_PAUSE TEST.VALUE:Rinseback.handleIncrRinsebackUserAction.rejReason[0]:REQUEST_REJECT_REASON_NONE TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:0 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.rejReason:23 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.rejReason:23 TEST.END -- Test Case: signalRinsebackUserAction.006 TEST.UNIT:Rinseback TEST.SUBPROGRAM:signalRinsebackUserAction TEST.NEW TEST.NAME:signalRinsebackUserAction.006 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isAnyAlarmActive()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.handleIncrRinsebackUserAction TEST.VALUE:Rinseback.signalRinsebackUserAction.action:REQUESTED_USER_ACTION_RINSEBACK_RESUME TEST.VALUE:Rinseback.handleIncrRinsebackUserAction.rejReason[0]:REQUEST_REJECT_REASON_NONE TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:0 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.rejReason:23 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.rejReason:23 TEST.END -- Test Case: signalRinsebackUserAction.007 TEST.UNIT:Rinseback TEST.SUBPROGRAM:signalRinsebackUserAction TEST.NEW TEST.NAME:signalRinsebackUserAction.007 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isAnyAlarmActive()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.handleIncrRinsebackUserAction TEST.VALUE:Rinseback.signalRinsebackUserAction.action:REQUESTED_USER_ACTION_RINSEBACK_END TEST.VALUE:Rinseback.handleIncrRinsebackUserAction.rejReason[0]:REQUEST_REJECT_REASON_NONE TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:0 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.rejReason:23 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.rejReason:23 TEST.END -- Test Case: signalRinsebackUserAction.008 TEST.UNIT:Rinseback TEST.SUBPROGRAM:signalRinsebackUserAction TEST.NEW TEST.NAME:signalRinsebackUserAction.008 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isAnyAlarmActive()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.handleIncrRinsebackUserAction TEST.VALUE:Rinseback.signalRinsebackUserAction.action:REQUESTED_USER_ACTION_RINSEBACK_ADDITIONAL TEST.VALUE:Rinseback.handleIncrRinsebackUserAction.rejReason[0]:REQUEST_REJECT_REASON_NONE TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:0 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.rejReason:23 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.rejReason:23 TEST.END -- Test Case: signalRinsebackUserAction.009 TEST.UNIT:Rinseback TEST.SUBPROGRAM:signalRinsebackUserAction TEST.NEW TEST.NAME:signalRinsebackUserAction.009 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isAnyAlarmActive()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.handleIncrRinsebackUserAction TEST.VALUE:Rinseback.signalRinsebackUserAction.action:REQUESTED_USER_ACTION_RINSEBACK_CONFIRM_DISCONNECT TEST.VALUE:Rinseback.handleIncrRinsebackUserAction.rejReason[0]:REQUEST_REJECT_REASON_NONE TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:0 TEST.END -- Test Case: signalRinsebackUserAction.010 TEST.UNIT:Rinseback TEST.SUBPROGRAM:signalRinsebackUserAction TEST.NEW TEST.NAME:signalRinsebackUserAction.010 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isAnyAlarmActive()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.handleIncrRinsebackUserAction TEST.VALUE:Rinseback.signalRinsebackUserAction.action:REQUESTED_USER_ACTION_RINSEBACK_END_TREATMENT TEST.VALUE:Rinseback.handleIncrRinsebackUserAction.rejReason[0]:REQUEST_REJECT_REASON_NONE TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:1 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.rejReason:0 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:1 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.rejReason:0 TEST.END -- Test Case: signalRinsebackUserAction.011 TEST.UNIT:Rinseback TEST.SUBPROGRAM:signalRinsebackUserAction TEST.NEW TEST.NAME:signalRinsebackUserAction.011 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isAnyAlarmActive()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.handleIncrRinsebackUserAction TEST.VALUE:Rinseback.signalRinsebackUserAction.action:REQUESTED_USER_ACTION_RINSEBACK_BACK_TO_TREATMENT TEST.VALUE:Rinseback.handleIncrRinsebackUserAction.rejReason[0]:REQUEST_REJECT_REASON_NONE TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:1 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.rejReason:0 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:1 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.rejReason:0 TEST.END -- Test Case: signalRinsebackUserAction.012 TEST.UNIT:Rinseback TEST.SUBPROGRAM:signalRinsebackUserAction TEST.NEW TEST.NAME:signalRinsebackUserAction.012 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isAnyAlarmActive()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:Rinseback.handleIncrRinsebackUserAction TEST.VALUE:Rinseback.signalRinsebackUserAction.action:NUM_OF_REQUESTED_RINSEBACK_USER_ACTIONS TEST.VALUE:Rinseback.handleIncrRinsebackUserAction.rejReason[0]:REQUEST_REJECT_REASON_INVALID_COMMAND TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:0 TEST.VALUE:uut_prototype_stubs.sendRinsebackCmdResponse.rejReason:25 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendRinsebackCmdResponse.rejReason:25 TEST.END -- Subprogram: testResetRinsebackPublishIntervalOverride -- Test Case: testResetRinsebackPublishIntervalOverride.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:testResetRinsebackPublishIntervalOverride TEST.NEW TEST.NAME:testResetRinsebackPublishIntervalOverride.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:Rinseback.<>.rinsebackPublishInterval.ovInitData:100 TEST.VALUE:Rinseback.<>.rinsebackPublishInterval.override:0x0 TEST.VALUE:Rinseback.testResetRinsebackPublishIntervalOverride.return:1 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Rinseback.<>.rinsebackPublishInterval.ovData:100 TEST.EXPECTED:Rinseback.<>.rinsebackPublishInterval.override:0x0 TEST.EXPECTED:Rinseback.testResetRinsebackPublishIntervalOverride.return:1 TEST.END -- Test Case: testResetRinsebackPublishIntervalOverride.002 TEST.UNIT:Rinseback TEST.SUBPROGRAM:testResetRinsebackPublishIntervalOverride TEST.NEW TEST.NAME:testResetRinsebackPublishIntervalOverride.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:Rinseback.testResetRinsebackPublishIntervalOverride.return:0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:Rinseback.testResetRinsebackPublishIntervalOverride.return:0 TEST.END -- Subprogram: testResetRinsebackVolumeOverride -- Test Case: testResetRinsebackVolumeOverride.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:testResetRinsebackVolumeOverride TEST.NEW TEST.NAME:testResetRinsebackVolumeOverride.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:Rinseback.<>.cumulativeRinsebackVolume_mL.ovInitData:1.0 TEST.VALUE:Rinseback.<>.cumulativeRinsebackVolume_mL.override:0x0 TEST.VALUE:Rinseback.testResetRinsebackVolumeOverride.return:1 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Rinseback.<>.cumulativeRinsebackVolume_mL.ovData:1.0 TEST.EXPECTED:Rinseback.<>.cumulativeRinsebackVolume_mL.override:0x0 TEST.EXPECTED:Rinseback.testResetRinsebackVolumeOverride.return:1 TEST.END -- Test Case: testResetRinsebackVolumeOverride.002 TEST.UNIT:Rinseback TEST.SUBPROGRAM:testResetRinsebackVolumeOverride TEST.NEW TEST.NAME:testResetRinsebackVolumeOverride.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:Rinseback.testResetRinsebackVolumeOverride.return:0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:Rinseback.testResetRinsebackVolumeOverride.return:0 TEST.END -- Subprogram: testSetRinsebackPublishIntervalOverride -- Test Case: testSetRinsebackPublishIntervalOverride.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:testSetRinsebackPublishIntervalOverride TEST.NEW TEST.NAME:testSetRinsebackPublishIntervalOverride.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:Rinseback.<>.rinsebackPublishInterval.ovData:0 TEST.VALUE:Rinseback.<>.rinsebackPublishInterval.override:0xCCC33C33 TEST.VALUE:Rinseback.testSetRinsebackPublishIntervalOverride.ms:<> TEST.VALUE:Rinseback.testSetRinsebackPublishIntervalOverride.return:1 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Rinseback.<>.rinsebackPublishInterval.ovData:0 TEST.EXPECTED:Rinseback.<>.rinsebackPublishInterval.override:0xCCC33C33 TEST.EXPECTED:Rinseback.testSetRinsebackPublishIntervalOverride.return:1 TEST.END -- Test Case: testSetRinsebackPublishIntervalOverride.002 TEST.UNIT:Rinseback TEST.SUBPROGRAM:testSetRinsebackPublishIntervalOverride TEST.NEW TEST.NAME:testSetRinsebackPublishIntervalOverride.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:Rinseback.testSetRinsebackPublishIntervalOverride.ms:<> TEST.VALUE:Rinseback.testSetRinsebackPublishIntervalOverride.return:0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:Rinseback.testSetRinsebackPublishIntervalOverride.return:0 TEST.END -- Subprogram: testSetRinsebackVolumeOverride -- Test Case: testSetRinsebackVolumeOverride.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:testSetRinsebackVolumeOverride TEST.NEW TEST.NAME:testSetRinsebackVolumeOverride.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:Rinseback.<>.cumulativeRinsebackVolume_mL.ovData:-3.40282E+38 TEST.VALUE:Rinseback.<>.cumulativeRinsebackVolume_mL.override:0xCCC33C33 TEST.VALUE:Rinseback.testSetRinsebackVolumeOverride.vol:<> TEST.VALUE:Rinseback.testSetRinsebackVolumeOverride.return:1 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:Rinseback.<>.cumulativeRinsebackVolume_mL.ovData:-3.40282E+38 TEST.EXPECTED:Rinseback.<>.cumulativeRinsebackVolume_mL.override:0xCCC33C33 TEST.EXPECTED:Rinseback.testSetRinsebackVolumeOverride.return:1 TEST.END -- Test Case: testSetRinsebackVolumeOverride.002 TEST.UNIT:Rinseback TEST.SUBPROGRAM:testSetRinsebackVolumeOverride TEST.NEW TEST.NAME:testSetRinsebackVolumeOverride.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:Rinseback.testSetRinsebackVolumeOverride.vol:<> TEST.VALUE:Rinseback.testSetRinsebackVolumeOverride.return:0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:Rinseback.testSetRinsebackVolumeOverride.return:0 TEST.END -- Subprogram: transitionToRinseback -- Test Case: transitionToRinseback.001 TEST.UNIT:Rinseback TEST.SUBPROGRAM:transitionToRinseback TEST.NEW TEST.NAME:transitionToRinseback.001 TEST.STUB:Rinseback.initRinseback TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RESUME TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:0 TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.flowRate:100 TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RESUME,ALARM_USER_ACTION_RINSEBACK,ALARM_USER_ACTION_END_TREATMENT TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:(3)0 TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.flowRate:250 TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.door:1 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.pumpTrack:1 TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:(4)VALVE_POSITION_C_CLOSE TEST.END