-- VectorCAST 19.sp3 (11/13/19) -- Test Case Script -- -- Environment : MODEPRETREAT -- Unit(s) Under Test: ModePreTreat -- -- 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: ModePreTreat -- Subprogram: execPreTreatmentMode -- Test Case: execPreTreatmentMode.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentMode TEST.NEW TEST.NAME:execPreTreatmentMode.001 TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_WATER_SAMPLE_STATE TEST.EXPECTED:ModePreTreat.execPreTreatmentMode.return:MACRO=HD_PRE_TREATMENT_WATER_SAMPLE_STATE TEST.END -- Test Case: execPreTreatmentMode.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentMode TEST.NEW TEST.NAME:execPreTreatmentMode.002 TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_SELF_TEST_CONSUMABLE_STATE TEST.EXPECTED:ModePreTreat.execPreTreatmentMode.return:MACRO=HD_PRE_TREATMENT_SELF_TEST_CONSUMABLE_STATE TEST.END -- Test Case: execPreTreatmentMode.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentMode TEST.NEW TEST.NAME:execPreTreatmentMode.003 TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_SELF_TEST_NO_CART_STATE TEST.EXPECTED:ModePreTreat.execPreTreatmentMode.return:MACRO=HD_PRE_TREATMENT_SELF_TEST_NO_CART_STATE TEST.END -- Test Case: execPreTreatmentMode.004 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentMode TEST.NEW TEST.NAME:execPreTreatmentMode.004 TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_CART_INSTALL_STATE TEST.EXPECTED:ModePreTreat.execPreTreatmentMode.return:MACRO=HD_PRE_TREATMENT_CART_INSTALL_STATE TEST.END -- Test Case: execPreTreatmentMode.005 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentMode TEST.NEW TEST.NAME:execPreTreatmentMode.005 TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_SELF_TEST_DRY_STATE TEST.EXPECTED:ModePreTreat.execPreTreatmentMode.return:MACRO=HD_PRE_TREATMENT_SELF_TEST_DRY_STATE TEST.END -- Test Case: execPreTreatmentMode.006 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentMode TEST.NEW TEST.NAME:execPreTreatmentMode.006 TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_PRIME_STATE TEST.EXPECTED:ModePreTreat.execPreTreatmentMode.return:MACRO=HD_PRE_TREATMENT_PRIME_STATE TEST.END -- Test Case: execPreTreatmentMode.007 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentMode TEST.NEW TEST.NAME:execPreTreatmentMode.007 TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_RECIRCULATE_STATE TEST.EXPECTED:ModePreTreat.execPreTreatmentMode.return:MACRO=HD_PRE_TREATMENT_RECIRCULATE_STATE TEST.END -- Test Case: execPreTreatmentMode.008 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentMode TEST.NEW TEST.NAME:execPreTreatmentMode.008 TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE TEST.EXPECTED:ModePreTreat.execPreTreatmentMode.return:MACRO=HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE TEST.END -- Test Case: execPreTreatmentMode.009 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentMode TEST.NEW TEST.NAME:execPreTreatmentMode.009 TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:NUM_OF_HD_PRE_TREATMENT_STATES TEST.EXPECTED:ModePreTreat.execPreTreatmentMode.return:MACRO=NUM_OF_HD_PRE_TREATMENT_STATES TEST.END -- Test Case: execPreTreatmentMode.010 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentMode TEST.NEW TEST.NAME:execPreTreatmentMode.010 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == stop) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:1 TEST.EXPECTED:ModePreTreat.execPreTreatmentMode.return:1 TEST.END -- Test Case: execPreTreatmentMode.011 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentMode TEST.NEW TEST.NAME:execPreTreatmentMode.011 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == stop) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> TEST.EXPECTED:ModePreTreat.execPreTreatmentMode.return:1 TEST.END -- Subprogram: execPreTreatmentReservoirMgmt -- Test Case: execPreTreatmentReservoirMgmt.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentReservoirMgmt.001 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.END -- Test Case: execPreTreatmentReservoirMgmt.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentReservoirMgmt.002 TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.END -- Test Case: execPreTreatmentReservoirMgmt.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentReservoirMgmt.003 TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_RESP_STATE TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_RESP_STATE TEST.END -- Test Case: execPreTreatmentReservoirMgmt.004 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentReservoirMgmt.004 TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_FILL_STATE TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_FILL_STATE TEST.END -- Test Case: execPreTreatmentReservoirMgmt.005 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentReservoirMgmt.005 TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_FILL_CMD_RESP_STATE TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_FILL_CMD_RESP_STATE TEST.END -- Test Case: execPreTreatmentReservoirMgmt.006 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentReservoirMgmt.006 TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_FILL_COMPLETE_STATE TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_FILL_COMPLETE_STATE TEST.END -- Test Case: execPreTreatmentReservoirMgmt.007 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentReservoirMgmt.007 TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RESERVOIR_SWITCH_STATE TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RESERVOIR_SWITCH_STATE TEST.END -- Test Case: execPreTreatmentReservoirMgmt.008 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentReservoirMgmt.008 TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_COMPLETE_STATE TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_COMPLETE_STATE TEST.END -- Test Case: execPreTreatmentReservoirMgmt.009 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentReservoirMgmt.009 TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:NUM_OF_PRE_TREATMENT_RESERVOIR_MGMT_STATES TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.END -- Subprogram: getPreTreatmentFillVolume -- Test Case: getPreTreatmentFillVolume.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:getPreTreatmentFillVolume TEST.NEW TEST.NAME:getPreTreatmentFillVolume.001 TEST.BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == reservoirFlushedStatus[inactiveRes]) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1]:<> TEST.VALUE:ModePreTreat.getPreTreatmentFillVolume.inactiveRes:DG_RESERVOIR_1 TEST.EXPECTED:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1]:0 TEST.EXPECTED:ModePreTreat.getPreTreatmentFillVolume.inactiveRes:DG_RESERVOIR_1 TEST.END -- Test Case: getPreTreatmentFillVolume.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:getPreTreatmentFillVolume TEST.NEW TEST.NAME:getPreTreatmentFillVolume.002 TEST.BASIS_PATH:2 of 3 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == reservoirFlushedStatus[inactiveRes]) ==> TRUE (2) if ((DG_RESERVOIR_1) == inactiveRes) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable ModePreTreat.getPreTreatmentFillVolume.inactiveRes 'equal to' and 'not equal to' same value in branches 1/2 TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1]:1 TEST.VALUE:ModePreTreat.getPreTreatmentFillVolume.inactiveRes:DG_RESERVOIR_1 TEST.EXPECTED:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1]:1 TEST.EXPECTED:ModePreTreat.getPreTreatmentFillVolume.inactiveRes:DG_RESERVOIR_1 TEST.END -- Test Case: getPreTreatmentFillVolume.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:getPreTreatmentFillVolume TEST.NEW TEST.NAME:getPreTreatmentFillVolume.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == reservoirFlushedStatus[inactiveRes]) ==> TRUE (2) if ((DG_RESERVOIR_1) == inactiveRes) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable ModePreTreat.getPreTreatmentFillVolume.inactiveRes 'equal to' and 'not equal to' same value in branches 1/2 TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:1 TEST.VALUE:ModePreTreat.getPreTreatmentFillVolume.inactiveRes:DG_RESERVOIR_2 TEST.EXPECTED:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:1 TEST.EXPECTED:ModePreTreat.getPreTreatmentFillVolume.inactiveRes:DG_RESERVOIR_2 TEST.EXPECTED:ModePreTreat.getPreTreatmentFillVolume.return:1500 TEST.END -- Subprogram: getPreTreatmentSubState -- Test Case: getPreTreatmentSubState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:getPreTreatmentSubState TEST.NEW TEST.NAME:getPreTreatmentSubState.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.EXPECTED:ModePreTreat.getPreTreatmentSubState.return:HD_PRE_TREATMENT_START_STATE TEST.END -- Subprogram: getReservoirFillStatus -- Test Case: getReservoirFillStatus.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:getReservoirFillStatus TEST.NEW TEST.NAME:getReservoirFillStatus.001 TEST.EXPECTED:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_1]:0 TEST.END -- Subprogram: handleInstallState -- Test Case: handleInstallState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleInstallState TEST.NEW TEST.NAME:handleInstallState.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == confirmInstallRequested) ==> 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:ModePreTreat.<>.confirmInstallRequested:1 TEST.EXPECTED:ModePreTreat.handleInstallState.return:HD_PRE_TREATMENT_SELF_TEST_DRY_STATE TEST.END -- Test Case: handleInstallState.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleInstallState TEST.NEW TEST.NAME:handleInstallState.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == confirmInstallRequested) ==> 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:ModePreTreat.<>.confirmInstallRequested:<> TEST.EXPECTED:ModePreTreat.handleInstallState.return:HD_PRE_TREATMENT_CART_INSTALL_STATE TEST.END -- Subprogram: handlePatientConnectionState -- Test Case: handlePatientConnectionState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionState TEST.NEW TEST.NAME:handlePatientConnectionState.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == treatmentStartRequested) ==> 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:ModePreTreat.<>.treatmentStartRequested:1 TEST.EXPECTED:ModePreTreat.handlePatientConnectionState.return:HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE TEST.END -- Test Case: handlePatientConnectionState.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionState TEST.NEW TEST.NAME:handlePatientConnectionState.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == treatmentStartRequested) ==> 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:ModePreTreat.<>.treatmentStartRequested:<> TEST.EXPECTED:ModePreTreat.handlePatientConnectionState.return:HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE TEST.END -- Subprogram: handlePreTreatmentReservoirMgmtDrainCmdRespState -- Test Case: handlePreTreatmentReservoirMgmtDrainCmdRespState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtDrainCmdRespState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtDrainCmdRespState.001 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.cmdRespPtr[0].rejectCode:0 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtDrainCmdRespState.return:PRE_TREATMENT_RESERVOIR_MGMT_START_FILL_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtDrainCmdRespState.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtDrainCmdRespState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtDrainCmdRespState.002 TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == getDGCommandResponse(DG_CMD_START_DRAIN, &dgCmdResp)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtDrainCmdRespState.return:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtDrainCmdRespState.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtDrainCmdRespState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtDrainCmdRespState.003 TEST.MCDC_BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == getDGCommandResponse(DG_CMD_START_DRAIN, &dgCmdResp)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<> TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtDrainCmdRespState.return:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_RESP_STATE TEST.END -- Subprogram: handlePreTreatmentReservoirMgmtDrainCmdState -- Test Case: handlePreTreatmentReservoirMgmtDrainCmdState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtDrainCmdState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtDrainCmdState.001 TEST.MCDC_BASIS_PATH:2 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((DG_MODE_STAN) == dgOpMode) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtDrainCmdState.return:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtDrainCmdState.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtDrainCmdState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtDrainCmdState.002 TEST.MCDC_BASIS_PATH:4 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((DG_MODE_STAN) == dgOpMode) ==> FALSE (2) if ((1) == hasDGCompletedReservoirSwitch()) ==> 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:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.VALUE:uut_prototype_stubs.hasDGCompletedReservoirSwitch.return:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtDrainCmdState.return:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtDrainCmdState.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtDrainCmdState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtDrainCmdState.003 TEST.MCDC_BASIS_PATH:6 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((DG_MODE_STAN) == dgOpMode) ==> FALSE (2) if ((1) == hasDGCompletedReservoirSwitch()) ==> TRUE (3) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> 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: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:2 TEST.VALUE:uut_prototype_stubs.hasDGCompletedReservoirSwitch.return:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtDrainCmdState.return:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtDrainCmdState.004 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtDrainCmdState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtDrainCmdState.004 TEST.BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((DG_MODE_STAN) == dgOpMode) ==> FALSE (2) if ((1) == hasDGCompletedReservoirSwitch()) ==> TRUE (3) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.VALUE:uut_prototype_stubs.hasDGCompletedReservoirSwitch.return:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtDrainCmdState.return:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_RESP_STATE TEST.END -- Subprogram: handlePreTreatmentReservoirMgmtFillCmdRespState -- Test Case: handlePreTreatmentReservoirMgmtFillCmdRespState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCmdRespState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCmdRespState.001 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.cmdRespPtr[0].rejectCode:1 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtFillCmdRespState.return:PRE_TREATMENT_RESERVOIR_MGMT_START_FILL_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCmdRespState.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCmdRespState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCmdRespState.003 TEST.MCDC_BASIS_PATH:1 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == getDGCommandResponse(DG_CMD_START_FILL, &dgCmdResp) && (DG_CMD_REQUEST_REJECT_REASON_INVALID_MODE) == dgCmdResp.rejectCode) ==> 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: Cannot set local variable dgCmdResp in branch 1 TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<> TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtFillCmdRespState.return:PRE_TREATMENT_RESERVOIR_MGMT_FILL_CMD_RESP_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCmdRespState.004 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCmdRespState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCmdRespState.004 TEST.MCDC_BASIS_PATH:5 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((1) == getDGCommandResponse(DG_CMD_START_FILL, &dgCmdResp) && (DG_CMD_REQUEST_REJECT_REASON_INVALID_MODE) == dgCmdResp.rejectCode) ==> FALSE (2) if ((DG_MODE_FILL) == dgOpMode) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set local variable dgCmdResp in branch 1 TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FILL TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<> TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtFillCmdRespState.return:PRE_TREATMENT_RESERVOIR_MGMT_FILL_COMPLETE_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCmdRespState_Reject_None TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCmdRespState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCmdRespState_Reject_None TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == getDGCommandResponse(DG_CMD_START_FILL, &dgCmdResp) && (DG_CMD_REQUEST_REJECT_REASON_INVALID_MODE) == dgCmdResp.rejectCode) ==> 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: Cannot set local variable dgCmdResp in branch 1 TEST.END_NOTES: TEST.VALUE:ModePreTreat.handlePreTreatmentReservoirMgmtFillCmdRespState.return:PRE_TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RESERVOIR_SWITCH_STATE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.commandID:4 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.cmdRespPtr[0].commandID:4 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.cmdRespPtr[0].rejected:4 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.cmdRespPtr[0].rejectCode:0 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtFillCmdRespState.return:PRE_TREATMENT_RESERVOIR_MGMT_FILL_CMD_RESP_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCmdRespState_Reject_Not_None TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCmdRespState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCmdRespState_Reject_Not_None TEST.MCDC_BASIS_PATH:2 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == getDGCommandResponse(DG_CMD_START_FILL, &dgCmdResp) && (DG_CMD_REQUEST_REJECT_REASON_INVALID_MODE) == dgCmdResp.rejectCode) ==> 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: Cannot set local variable dgCmdResp in branch 1 TEST.END_NOTES: TEST.VALUE:ModePreTreat.handlePreTreatmentReservoirMgmtFillCmdRespState.return:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_FPGA_POST_TEST_FAILED TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:3 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_BOOL TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:23 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.cmdRespPtr[0].rejectCode:3 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtFillCmdRespState.return:PRE_TREATMENT_RESERVOIR_MGMT_FILL_CMD_RESP_STATE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:139 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:3 TEST.END -- Subprogram: handlePreTreatmentReservoirMgmtFillCmdState -- Test Case: handlePreTreatmentReservoirMgmtFillCmdState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCmdState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCmdState.001 TEST.MCDC_BASIS_PATH:2 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> 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:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:2 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtFillCmdState.return:PRE_TREATMENT_RESERVOIR_MGMT_START_FILL_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCmdState.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCmdState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCmdState.002 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> TRUE (2) if ((1) == reservoirFlushedStatus[DG_RESERVOIR_1] && (1) == reservoirFlushedStatus[DG_RESERVOIR_2]) ==> TRUE (3) if ((DG_RESERVOIR_1) == getDGInactiveReservoir()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1]:1 TEST.VALUE:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_2]:0 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.VALUE:uut_prototype_stubs.getDGInactiveReservoir.return:DG_RESERVOIR_1 TEST.EXPECTED:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1]:1 TEST.EXPECTED:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_2]:0 TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCmdState.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCmdState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCmdState.003 TEST.BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> TRUE (2) if ((1) == reservoirFlushedStatus[DG_RESERVOIR_1] && (1) == reservoirFlushedStatus[DG_RESERVOIR_2]) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:0 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.EXPECTED:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:0 TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCmdState.004 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCmdState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCmdState.004 TEST.BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> TRUE (2) if ((1) == reservoirFlushedStatus[DG_RESERVOIR_1] && (1) == reservoirFlushedStatus[DG_RESERVOIR_2]) ==> TRUE (3) if ((DG_RESERVOIR_1) == getDGInactiveReservoir()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.VALUE:uut_prototype_stubs.getDGInactiveReservoir.return:DG_RESERVOIR_2 TEST.EXPECTED:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:1 TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCmdState.005 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCmdState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCmdState.005 TEST.BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> TRUE (2) if ((1) == reservoirFlushedStatus[DG_RESERVOIR_1] && (1) == reservoirFlushedStatus[DG_RESERVOIR_2]) ==> TRUE (3) if ((DG_RESERVOIR_1) == getDGInactiveReservoir()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.VALUE:uut_prototype_stubs.getDGInactiveReservoir.return:DG_RESERVOIR_1 TEST.EXPECTED:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:1 TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCmdState.006 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCmdState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCmdState.006 TEST.BASIS_PATH:1 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<> TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCmdState.007 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCmdState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCmdState.007 TEST.BASIS_PATH:5 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> TRUE (2) if ((reservoirFlags[DG_RESERVOIR_1]).startFlushFill != (1)) ==> TRUE (3) if (initialReservoirDrain[inactiveReservoir] != (1) || inactiveReservoir != (DG_RESERVOIR_1)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.reservoirFlags[DG_RESERVOIR_1].startFlushFill:<> TEST.VALUE:ModePreTreat.<>.initialReservoirDrain[DG_RESERVOIR_1]:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.VALUE:uut_prototype_stubs.getDGInactiveReservoir.return:DG_RESERVOIR_1 TEST.EXPECTED:ModePreTreat.<>.reservoirFlags[DG_RESERVOIR_1].startFlushFill:0 TEST.EXPECTED:ModePreTreat.<>.initialReservoirDrain[DG_RESERVOIR_1]:1 TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCmdState.008 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCmdState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCmdState.008 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> TRUE (2) if ((reservoirFlags[DG_RESERVOIR_1]).startFlushFill != (1)) ==> TRUE (3) if (initialReservoirDrain[inactiveReservoir] != (1) || inactiveReservoir != (DG_RESERVOIR_1)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.reservoirFlags[DG_RESERVOIR_1].startFlushFill:1 TEST.VALUE:ModePreTreat.<>.initialReservoirDrain[DG_RESERVOIR_1]:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.VALUE:uut_prototype_stubs.getDGInactiveReservoir.return:DG_RESERVOIR_1 TEST.EXPECTED:ModePreTreat.<>.reservoirFlags[DG_RESERVOIR_1].startFlushFill:1 TEST.EXPECTED:ModePreTreat.<>.initialReservoirDrain[DG_RESERVOIR_1]:1 TEST.END -- Subprogram: handlePreTreatmentReservoirMgmtFillCompleteState -- Test Case: handlePreTreatmentReservoirMgmtFillCompleteState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCompleteState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCompleteState.001 TEST.MCDC_BASIS_PATH:1 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> 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:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:2 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtFillCompleteState.return:PRE_TREATMENT_RESERVOIR_MGMT_FILL_COMPLETE_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCompleteState.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCompleteState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCompleteState.002 TEST.MCDC_BASIS_PATH:3 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<> TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtFillCompleteState.return:PRE_TREATMENT_RESERVOIR_MGMT_FILL_COMPLETE_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCompleteState_Rsrvr1_Fill_False TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCompleteState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCompleteState_Rsrvr1_Fill_False TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:0 TEST.VALUE:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:1 TEST.VALUE:ModePreTreat.handlePreTreatmentReservoirMgmtFillCompleteState.return:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.EXPECTED:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_1]:1 TEST.EXPECTED:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_2]:0 TEST.EXPECTED:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtFillCompleteState.return:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCompleteState_Rsrvr1_Fill_True TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCompleteState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCompleteState_Rsrvr1_Fill_True TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_1]:1 TEST.VALUE:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_2]:0 TEST.VALUE:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:1 TEST.VALUE:ModePreTreat.handlePreTreatmentReservoirMgmtFillCompleteState.return:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.EXPECTED:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_2]:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtFillCompleteState.return:PRE_TREATMENT_RESERVOIR_MGMT_COMPLETE_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCompleteState_Rsrvr1_Fill_True_Rsrvr2_Fill_True TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCompleteState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCompleteState_Rsrvr1_Fill_True_Rsrvr2_Fill_True TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:1 TEST.VALUE:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:1 TEST.VALUE:ModePreTreat.handlePreTreatmentReservoirMgmtFillCompleteState.return:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtFillCompleteState.return:PRE_TREATMENT_RESERVOIR_MGMT_FILL_COMPLETE_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCompleteState_Rsrvr1_Flush_False TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCompleteState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCompleteState_Rsrvr1_Flush_False TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:0 TEST.VALUE:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1]:0 TEST.VALUE:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_2]:1 TEST.VALUE:ModePreTreat.handlePreTreatmentReservoirMgmtFillCompleteState.return:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.EXPECTED:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:0 TEST.EXPECTED:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtFillCompleteState.return:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCompleteState_Rsrvr1_Flush_True TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCompleteState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCompleteState_Rsrvr1_Flush_True TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:0 TEST.VALUE:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1]:1 TEST.VALUE:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_2]:0 TEST.VALUE:ModePreTreat.handlePreTreatmentReservoirMgmtFillCompleteState.return:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.EXPECTED:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:0 TEST.EXPECTED:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtFillCompleteState.return:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE TEST.END -- Subprogram: handlePreTreatmentReservoirMgmtRequestReservoirSwitchState -- Test Case: handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtRequestReservoirSwitchState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<> TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.return:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtRequestReservoirSwitchState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.return:PRE_TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RESERVOIR_SWITCH_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtRequestReservoirSwitchState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:2 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.return:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE TEST.END -- Subprogram: handlePreTreatmentReservoirMgmtStartState -- Test Case: handlePreTreatmentReservoirMgmtStartState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtStartState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtStartState.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == fillReservoirOneStartRequested) ==> 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:ModePreTreat.<>.fillReservoirOneStartRequested:1 TEST.EXPECTED:ModePreTreat.<>.fillReservoirOneStartRequested:0 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtStartState.return:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtStartState.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtStartState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtStartState.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == fillReservoirOneStartRequested) ==> 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:ModePreTreat.<>.fillReservoirOneStartRequested:<> TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtStartState.return:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.END -- Subprogram: handlePreTreatmentReservoirMgmtWaitReservoirSwitchState -- Test Case: handlePreTreatmentReservoirMgmtWaitReservoirSwitchState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtWaitReservoirSwitchState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtWaitReservoirSwitchState.001 TEST.MCDC_BASIS_PATH:2 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == reservoirFilledStatus[DG_RESERVOIR_1] && (0) == reservoirFilledStatus[DG_RESERVOIR_2]) ==> 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:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_1]:1 TEST.VALUE:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_2]:0 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtWaitReservoirSwitchState.return:PRE_TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RESERVOIR_SWITCH_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtWaitReservoirSwitchState.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtWaitReservoirSwitchState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtWaitReservoirSwitchState.002 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == reservoirFilledStatus[DG_RESERVOIR_1] && (0) == reservoirFilledStatus[DG_RESERVOIR_2]) ==> 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:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_1]:1 TEST.VALUE:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_2]:0 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.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.commandID:DG_CMD_SWITCH_RESERVOIR TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.EXPECTED:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_1]:1 TEST.EXPECTED:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_2]:0 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtWaitReservoirSwitchState.return:PRE_TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RESERVOIR_SWITCH_STATE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:139 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:22019 TEST.EXPECTED:uut_prototype_stubs.getDGCommandResponse.commandID:1 TEST.END -- Test Case: handlePreTreatmentReservoirMgmtWaitReservoirSwitchState.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtWaitReservoirSwitchState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtWaitReservoirSwitchState.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == reservoirFilledStatus[DG_RESERVOIR_1] && (0) == reservoirFilledStatus[DG_RESERVOIR_2]) ==> 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:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_1]:1 TEST.VALUE:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_2]:0 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.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.commandID:DG_CMD_SWITCH_RESERVOIR TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.EXPECTED:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_1]:1 TEST.EXPECTED:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_2]:0 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtWaitReservoirSwitchState.return:PRE_TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RESERVOIR_SWITCH_STATE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:139 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:22019 TEST.EXPECTED:uut_prototype_stubs.getDGCommandResponse.commandID:1 TEST.END -- Subprogram: handlePrimeState -- Test Case: handlePrimeState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePrimeState TEST.NEW TEST.NAME:handlePrimeState.001 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((STATE_OPEN) == getFPGADoorState()) ==> FALSE (2) if ((1) == alarmActionResumeReceived) ==> 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:ModePreTreat.<>.alarmActionResumeReceived:1 TEST.VALUE:uut_prototype_stubs.getPrimeState.return:13 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:ModePreTreat.handlePrimeState.return:HD_PRE_TREATMENT_PRIME_STATE TEST.END -- Test Case: handlePrimeState.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePrimeState TEST.NEW TEST.NAME:handlePrimeState.002 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((STATE_OPEN) == getFPGADoorState()) ==> FALSE (2) if ((1) == alarmActionResumeReceived) ==> 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:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:21 TEST.VALUE:uut_prototype_stubs.getPrimeState.return:13 TEST.EXPECTED:ModePreTreat.handlePrimeState.return:HD_PRE_TREATMENT_RECIRCULATE_STATE TEST.END -- Test Case: handlePrimeState.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePrimeState TEST.NEW TEST.NAME:handlePrimeState.003 TEST.BASIS_PATH:5 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((1) == alarmActionResumeReceived) ==> TRUE (2) if ((HD_PRIME_COMPLETE) == getPrimeState()) ==> FALSE (4) if ((HD_PRIME_PAUSE) != getPrimeState()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.alarmActionResumeReceived:1 TEST.VALUE:uut_prototype_stubs.getPrimeState.return:12 TEST.EXPECTED:ModePreTreat.<>.alarmActionResumeReceived:0 TEST.END -- Subprogram: handleRecirculateState -- Test Case: handleRecirculateState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleRecirculateState TEST.NEW TEST.NAME:handleRecirculateState.001 TEST.MCDC_BASIS_PATH:2 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((STATE_OPEN) == getFPGADoorState()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getPreTreatmentRecircState.return:1 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN TEST.EXPECTED:ModePreTreat.<>.alarmActionResumeReceived:0 TEST.EXPECTED:ModePreTreat.handleRecirculateState.return:HD_PRE_TREATMENT_RECIRCULATE_STATE TEST.END -- Test Case: handleRecirculateState.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleRecirculateState TEST.NEW TEST.NAME:handleRecirculateState.002 TEST.MCDC_BASIS_PATH:4 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((STATE_OPEN) == getFPGADoorState()) ==> FALSE (2) if ((1) == alarmActionResumeReceived) ==> 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:ModePreTreat.<>.alarmActionResumeReceived:1 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:ModePreTreat.handleRecirculateState.return:HD_PRE_TREATMENT_RECIRCULATE_STATE TEST.END -- Test Case: handleRecirculateState.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleRecirculateState TEST.NEW TEST.NAME:handleRecirculateState.003 TEST.MCDC_BASIS_PATH:6 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((STATE_OPEN) == getFPGADoorState()) ==> FALSE (2) if ((1) == alarmActionResumeReceived) ==> FALSE (3) if ((1) == continueToTreatmentRequested) ==> 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:ModePreTreat.<>.continueToTreatmentRequested:1 TEST.VALUE:ModePreTreat.<>.alarmActionResumeReceived:<> TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:ModePreTreat.handleRecirculateState.return:HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE TEST.END -- Subprogram: handleSelfTestConsumableState -- Test Case: handleSelfTestConsumableState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleSelfTestConsumableState TEST.NEW TEST.NAME:handleSelfTestConsumableState.001 TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((CONSUMABLE_SELF_TESTS_COMPLETE_STATE) == getConsumableSelfTestState()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getConsumableSelfTestState.return:5 TEST.EXPECTED:ModePreTreat.handleSelfTestConsumableState.return:HD_PRE_TREATMENT_SELF_TEST_CONSUMABLE_STATE TEST.END -- Test Case: handleSelfTestConsumableState.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleSelfTestConsumableState TEST.NEW TEST.NAME:handleSelfTestConsumableState.002 TEST.MCDC_BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((CONSUMABLE_SELF_TESTS_COMPLETE_STATE) == getConsumableSelfTestState()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getConsumableSelfTestState.return:<> TEST.EXPECTED:ModePreTreat.handleSelfTestConsumableState.return:HD_PRE_TREATMENT_SELF_TEST_CONSUMABLE_STATE TEST.END -- Test Case: handleSelfTestConsumableState.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleSelfTestConsumableState TEST.NEW TEST.NAME:handleSelfTestConsumableState.003 TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((CONSUMABLE_SELF_TESTS_COMPLETE_STATE) == getConsumableSelfTestState()) ==> TRUE (2) if (submodeCompleteTransitionTimeCounter++ >= 1000 / 50) ==> 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:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:<> TEST.VALUE:uut_prototype_stubs.getConsumableSelfTestState.return:5 TEST.EXPECTED:ModePreTreat.handleSelfTestConsumableState.return:HD_PRE_TREATMENT_SELF_TEST_NO_CART_STATE TEST.END -- Subprogram: handleSelfTestDryState -- Test Case: handleSelfTestDryState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleSelfTestDryState TEST.NEW TEST.NAME:handleSelfTestDryState.001 TEST.MCDC_BASIS_PATH:4 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((STATE_OPEN) == getFPGADoorState()) ==> FALSE (2) if ((1) == alarmActionResumeReceived) ==> 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:ModePreTreat.<>.alarmActionResumeReceived:1 TEST.VALUE:ModePreTreat.handleSelfTestDryState.return:HD_PRE_TREATMENT_SELF_TEST_DRY_STATE TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:ModePreTreat.<>.alarmActionResumeReceived:0 TEST.EXPECTED:ModePreTreat.handleSelfTestDryState.return:HD_PRE_TREATMENT_SELF_TEST_DRY_STATE TEST.END -- Test Case: handleSelfTestDryState.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleSelfTestDryState TEST.NEW TEST.NAME:handleSelfTestDryState.002 TEST.MCDC_BASIS_PATH:8 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if ((STATE_OPEN) == getFPGADoorState()) ==> FALSE (2) if ((1) == alarmActionResumeReceived) ==> FALSE (3) if ((DRY_SELF_TESTS_COMPLETE_STATE) == getDrySelfTestsState()) ==> TRUE (4) if (submodeCompleteTransitionTimeCounter++ >= 1000 / 50) ==> 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:ModePreTreat.<>.alarmActionResumeReceived:<> TEST.VALUE:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:<> TEST.VALUE:ModePreTreat.handleSelfTestDryState.return:HD_PRE_TREATMENT_SELF_TEST_DRY_STATE TEST.VALUE:uut_prototype_stubs.getDrySelfTestsState.return:9 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:ModePreTreat.<>.alarmActionResumeReceived:0 TEST.EXPECTED:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:4294967295 TEST.EXPECTED:ModePreTreat.handleSelfTestDryState.return:HD_PRE_TREATMENT_SELF_TEST_DRY_STATE TEST.END -- Test Case: handleSelfTestDryState.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleSelfTestDryState TEST.NEW TEST.NAME:handleSelfTestDryState.003 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((STATE_OPEN) == getFPGADoorState()) ==> FALSE (2) if ((1) == alarmActionResumeReceived) ==> 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:ModePreTreat.<>.alarmActionResumeReceived:1 TEST.VALUE:ModePreTreat.handleSelfTestDryState.return:HD_PRE_TREATMENT_SELF_TEST_DRY_STATE TEST.VALUE:uut_prototype_stubs.getDrySelfTestsState.return:MACRO=DRY_SELF_TESTS_COMPLETE_STATE TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:ModePreTreat.<>.alarmActionResumeReceived:0 TEST.EXPECTED:ModePreTreat.handleSelfTestDryState.return:HD_PRE_TREATMENT_SELF_TEST_DRY_STATE TEST.END -- Test Case: handleSelfTestDryState.004 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleSelfTestDryState TEST.NEW TEST.NAME:handleSelfTestDryState.004 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((STATE_OPEN) == getFPGADoorState()) ==> FALSE (2) if ((1) == alarmActionResumeReceived) ==> 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:ModePreTreat.<>.alarmActionResumeReceived:1 TEST.VALUE:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:20 TEST.VALUE:ModePreTreat.handleSelfTestDryState.return:HD_PRE_TREATMENT_SELF_TEST_DRY_STATE TEST.VALUE:uut_prototype_stubs.getDrySelfTestsState.return:MACRO=DRY_SELF_TESTS_COMPLETE_STATE TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:ModePreTreat.<>.alarmActionResumeReceived:0 TEST.EXPECTED:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:0 TEST.EXPECTED:ModePreTreat.handleSelfTestDryState.return:HD_PRE_TREATMENT_PRIME_STATE TEST.END -- Subprogram: handleSelfTestNoCartState -- Test Case: handleSelfTestNoCartState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleSelfTestNoCartState TEST.NEW TEST.NAME:handleSelfTestNoCartState.001 TEST.BASIS_PATH:3 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == alarmActionResumeReceived) ==> FALSE (2) if ((NO_CART_SELF_TESTS_COMPLETE_STATE) == getNoCartSelfTestsState()) ==> TRUE (3) if (submodeCompleteTransitionTimeCounter++ >= 1000 / 50) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.alarmActionResumeReceived:<> TEST.VALUE:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:<> TEST.VALUE:uut_prototype_stubs.getNoCartSelfTestsState.return:8 TEST.EXPECTED:ModePreTreat.<>.alarmActionResumeReceived:0 TEST.EXPECTED:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:1 TEST.END -- Test Case: handleSelfTestNoCartState.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleSelfTestNoCartState TEST.NEW TEST.NAME:handleSelfTestNoCartState.002 TEST.MCDC_BASIS_PATH:4 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((STATE_OPEN) == getFPGADoorState()) ==> FALSE (2) if ((1) == alarmActionResumeReceived) ==> 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:ModePreTreat.<>.alarmActionResumeReceived:1 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:ModePreTreat.handleSelfTestNoCartState.return:HD_PRE_TREATMENT_SELF_TEST_NO_CART_STATE TEST.END -- Test Case: handleSelfTestNoCartState.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleSelfTestNoCartState TEST.NEW TEST.NAME:handleSelfTestNoCartState.003 TEST.MCDC_BASIS_PATH:6 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((STATE_OPEN) == getFPGADoorState()) ==> FALSE (2) if ((1) == alarmActionResumeReceived) ==> FALSE (3) if ((NO_CART_SELF_TESTS_COMPLETE_STATE) == getNoCartSelfTestsState()) ==> 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:ModePreTreat.<>.alarmActionResumeReceived:<> TEST.VALUE:uut_prototype_stubs.getNoCartSelfTestsState.return:11 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:ModePreTreat.handleSelfTestNoCartState.return:HD_PRE_TREATMENT_SELF_TEST_NO_CART_STATE TEST.END -- Test Case: handleSelfTestNoCartState.004 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleSelfTestNoCartState TEST.NEW TEST.NAME:handleSelfTestNoCartState.004 TEST.MCDC_BASIS_PATH:8 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if ((STATE_OPEN) == getFPGADoorState()) ==> FALSE (2) if ((1) == alarmActionResumeReceived) ==> FALSE (3) if ((NO_CART_SELF_TESTS_COMPLETE_STATE) == getNoCartSelfTestsState()) ==> TRUE (4) if (submodeCompleteTransitionTimeCounter++ >= 1000 / 50) ==> 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:ModePreTreat.<>.alarmActionResumeReceived:<> TEST.VALUE:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:<> TEST.VALUE:uut_prototype_stubs.getNoCartSelfTestsState.return:7 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:ModePreTreat.<>.alarmActionResumeReceived:0 TEST.EXPECTED:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:4294967295 TEST.EXPECTED:ModePreTreat.handleSelfTestNoCartState.return:HD_PRE_TREATMENT_SELF_TEST_NO_CART_STATE TEST.END -- Test Case: handleSelfTestNoCartState.005 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleSelfTestNoCartState TEST.NEW TEST.NAME:handleSelfTestNoCartState.005 TEST.BASIS_PATH:4 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == alarmActionResumeReceived) ==> FALSE (2) if ((NO_CART_SELF_TESTS_COMPLETE_STATE) == getNoCartSelfTestsState()) ==> TRUE (3) if (submodeCompleteTransitionTimeCounter++ >= 1000 / 50) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.alarmActionResumeReceived:<> TEST.VALUE:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:<> TEST.VALUE:uut_prototype_stubs.getNoCartSelfTestsState.return:8 TEST.EXPECTED:ModePreTreat.<>.alarmActionResumeReceived:0 TEST.EXPECTED:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:0 TEST.END -- Subprogram: handleWaterSampleState -- Test Case: handleWaterSampleState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleWaterSampleState TEST.NEW TEST.NAME:handleWaterSampleState.001 TEST.MCDC_BASIS_PATH:2 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((SAMPLE_WATER_COMPLETE_STATE) == getSampleWaterState()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.requestNewOperationMode.newMode:MODE_STAN TEST.VALUE:uut_prototype_stubs.getSampleWaterState.return:2 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.cmdDGSampleWater.cmd:SAMPLE_WATER_CMD_END TEST.EXPECTED:ModePreTreat.handleWaterSampleState.return:HD_PRE_TREATMENT_WATER_SAMPLE_STATE TEST.END -- Test Case: handleWaterSampleState.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleWaterSampleState TEST.NEW TEST.NAME:handleWaterSampleState.002 TEST.MCDC_BASIS_PATH:1 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((SAMPLE_WATER_COMPLETE_STATE) == getSampleWaterState()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getSampleWaterState.return:<> TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.EXPECTED:ModePreTreat.handleWaterSampleState.return:HD_PRE_TREATMENT_WATER_SAMPLE_STATE TEST.END -- Test Case: handleWaterSampleState.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleWaterSampleState TEST.NEW TEST.NAME:handleWaterSampleState.003 TEST.MCDC_BASIS_PATH:4 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((SAMPLE_WATER_COMPLETE_STATE) == getSampleWaterState()) ==> TRUE (2) if ((SELF_TEST_STATUS_PASSED) == getSampleWaterResult()) ==> 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:uut_prototype_stubs.getSampleWaterState.return:2 TEST.VALUE:uut_prototype_stubs.getSampleWaterResult.return:SELF_TEST_STATUS_PASSED TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.cmdDGSampleWater.cmd:SAMPLE_WATER_CMD_END TEST.EXPECTED:ModePreTreat.handleWaterSampleState.return:HD_PRE_TREATMENT_WATER_SAMPLE_STATE TEST.END -- Test Case: handleWaterSampleState.004 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleWaterSampleState TEST.NEW TEST.NAME:handleWaterSampleState.004 TEST.MCDC_BASIS_PATH:6 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((SAMPLE_WATER_COMPLETE_STATE) == getSampleWaterState()) ==> TRUE (2) if ((SELF_TEST_STATUS_PASSED) == getSampleWaterResult()) ==> TRUE (3) if ((DG_MODE_STAN) == dgOpMode && (DG_STANDBY_MODE_STATE_IDLE) == dgSubMode) ==> 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: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getSampleWaterState.return:2 TEST.VALUE:uut_prototype_stubs.getSampleWaterResult.return:SELF_TEST_STATUS_PASSED TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.VALUE:uut_prototype_stubs.cmdDGSampleWater.cmd:SAMPLE_WATER_CMD_END TEST.EXPECTED:ModePreTreat.handleWaterSampleState.return:HD_PRE_TREATMENT_WATER_SAMPLE_STATE TEST.END -- Test Case: handleWaterSampleState.005 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleWaterSampleState TEST.NEW TEST.NAME:handleWaterSampleState.005 TEST.MCDC_BASIS_PATH:7 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if ((SAMPLE_WATER_COMPLETE_STATE) == getSampleWaterState()) ==> TRUE (2) if ((SELF_TEST_STATUS_PASSED) == getSampleWaterResult()) ==> TRUE (3) if ((DG_MODE_STAN) == dgOpMode && (DG_STANDBY_MODE_STATE_IDLE) == dgSubMode) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getSampleWaterState.return:2 TEST.VALUE:uut_prototype_stubs.getSampleWaterResult.return:SELF_TEST_STATUS_PASSED TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<> TEST.VALUE:uut_prototype_stubs.cmdDGSampleWater.cmd:SAMPLE_WATER_CMD_END TEST.EXPECTED:ModePreTreat.handleWaterSampleState.return:HD_PRE_TREATMENT_SELF_TEST_CONSUMABLE_STATE TEST.END -- Subprogram: initPreTreatmentMode -- Test Case: initPreTreatmentMode.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:initPreTreatmentMode TEST.NEW TEST.NAME:initPreTreatmentMode.001 TEST.VALUE:ModePreTreat.<>.setUFVolStatus:0 TEST.EXPECTED:ModePreTreat.<>.setUFVolStatus:0 TEST.EXPECTED:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_START_STATE TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.END -- Subprogram: publishPreTreatmentState -- Test Case: publishPreTreatmentState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:publishPreTreatmentState TEST.NEW TEST.NAME:publishPreTreatmentState.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (++preTreatmentPublishTimerCounter >= getU32OverrideValue(&preTreatmentModePublishInterval)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> TEST.EXPECTED:ModePreTreat.<>.preTreatmentPublishTimerCounter:0 TEST.END -- Test Case: publishPreTreatmentState.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:publishPreTreatmentState TEST.NEW TEST.NAME:publishPreTreatmentState.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (++preTreatmentPublishTimerCounter >= getU32OverrideValue(&preTreatmentModePublishInterval)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> TEST.EXPECTED:ModePreTreat.<>.preTreatmentPublishTimerCounter:1 TEST.END -- Subprogram: resetSignalFlags -- Test Case: resetSignalFlags.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:resetSignalFlags TEST.NEW TEST.NAME:resetSignalFlags.001 TEST.EXPECTED:ModePreTreat.<>.confirmInstallRequested:0 TEST.EXPECTED:ModePreTreat.<>.continueToTreatmentRequested:0 TEST.EXPECTED:ModePreTreat.<>.treatmentStartRequested:0 TEST.EXPECTED:ModePreTreat.<>.alarmActionResumeReceived:0 TEST.END -- Subprogram: setUserSetUFVolumeStatus -- Test Case: setUserSetUFVolumeStatus.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:setUserSetUFVolumeStatus TEST.NEW TEST.NAME:setUserSetUFVolumeStatus.001 TEST.VALUE:ModePreTreat.setUserSetUFVolumeStatus.status:1 TEST.EXPECTED:ModePreTreat.<>.setUFVolStatus:1 TEST.END -- Subprogram: signalActionToResumeFill -- Test Case: signalActionToResumeFill.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalActionToResumeFill TEST.NEW TEST.NAME:signalActionToResumeFill.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.EXPECTED:ModePreTreat.<>.reservoirFlags[DG_RESERVOIR_1].startFlushFill:1 TEST.EXPECTED:ModePreTreat.<>.reservoirFlags[DG_RESERVOIR_1].startNormalFill:1 TEST.EXPECTED:ModePreTreat.<>.reservoirFlags[DG_RESERVOIR_2].startFlushFill:1 TEST.EXPECTED:ModePreTreat.<>.reservoirFlags[DG_RESERVOIR_2].startNormalFill:1 TEST.END -- Subprogram: signalAlarmActionToPreTreatmentMode -- Test Case: signalAlarmActionToPreTreatmentMode.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalAlarmActionToPreTreatmentMode TEST.NEW TEST.NAME:signalAlarmActionToPreTreatmentMode.001 TEST.VALUE:ModePreTreat.signalAlarmActionToPreTreatmentMode.action:ALARM_ACTION_STOP TEST.EXPECTED:ModePreTreat.signalAlarmActionToPreTreatmentMode.action:ALARM_ACTION_STOP TEST.END -- Test Case: signalAlarmActionToPreTreatmentMode.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalAlarmActionToPreTreatmentMode TEST.NEW TEST.NAME:signalAlarmActionToPreTreatmentMode.002 TEST.VALUE:ModePreTreat.signalAlarmActionToPreTreatmentMode.action:ALARM_ACTION_RESUME TEST.EXPECTED:ModePreTreat.<>.alarmActionResumeReceived:1 TEST.EXPECTED:ModePreTreat.signalAlarmActionToPreTreatmentMode.action:ALARM_ACTION_RESUME TEST.END -- Test Case: signalAlarmActionToPreTreatmentMode.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalAlarmActionToPreTreatmentMode TEST.NEW TEST.NAME:signalAlarmActionToPreTreatmentMode.003 TEST.VALUE:ModePreTreat.signalAlarmActionToPreTreatmentMode.action:ALARM_ACTION_ACK TEST.EXPECTED:ModePreTreat.signalAlarmActionToPreTreatmentMode.action:ALARM_ACTION_ACK TEST.END -- Test Case: signalAlarmActionToPreTreatmentMode.004 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalAlarmActionToPreTreatmentMode TEST.NEW TEST.NAME:signalAlarmActionToPreTreatmentMode.004 TEST.VALUE:ModePreTreat.signalAlarmActionToPreTreatmentMode.action:NUMBER_OF_ALARM_ACTIONS TEST.EXPECTED:ModePreTreat.signalAlarmActionToPreTreatmentMode.action:NUMBER_OF_ALARM_ACTIONS TEST.END -- Test Case: signalAlarmActionToPreTreatmentMode.005 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalAlarmActionToPreTreatmentMode TEST.NEW TEST.NAME:signalAlarmActionToPreTreatmentMode.005 TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (3) case action ==> ALARM_ACTION_END_TREATMENT (4) if ((HD_PRE_TREATMENT_PRIME_STATE) > currentPreTreatmentState) ==> 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:ModePreTreat.<>.currentPreTreatmentState:<> TEST.VALUE:ModePreTreat.signalAlarmActionToPreTreatmentMode.action:ALARM_ACTION_END_TREATMENT TEST.EXPECTED:ModePreTreat.signalAlarmActionToPreTreatmentMode.action:ALARM_ACTION_END_TREATMENT TEST.END -- Test Case: signalAlarmActionToPreTreatmentMode.006 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalAlarmActionToPreTreatmentMode TEST.NEW TEST.NAME:signalAlarmActionToPreTreatmentMode.006 TEST.MCDC_BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (3) case action ==> ALARM_ACTION_END_TREATMENT (4) if ((HD_PRE_TREATMENT_PRIME_STATE) > currentPreTreatmentState) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:<> TEST.VALUE:ModePreTreat.signalAlarmActionToPreTreatmentMode.action:ALARM_ACTION_END_TREATMENT TEST.EXPECTED:ModePreTreat.signalAlarmActionToPreTreatmentMode.action:ALARM_ACTION_END_TREATMENT TEST.END -- Test Case: signalAlarmActionToPreTreatmentMode.007 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalAlarmActionToPreTreatmentMode TEST.NEW TEST.NAME:signalAlarmActionToPreTreatmentMode.007 TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (3) case action ==> ALARM_ACTION_END_TREATMENT (4) if ((HD_PRE_TREATMENT_PRIME_STATE) > currentPreTreatmentState) ==> TRUE (5) if ((HD_PRE_TREATMENT_WATER_SAMPLE_STATE) == currentPreTreatmentState) ==> 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.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_WATER_SAMPLE_STATE TEST.VALUE:ModePreTreat.signalAlarmActionToPreTreatmentMode.action:ALARM_ACTION_END_TREATMENT TEST.EXPECTED:ModePreTreat.signalAlarmActionToPreTreatmentMode.action:ALARM_ACTION_END_TREATMENT TEST.END -- Subprogram: signalUserConfirmInstallation -- Test Case: signalUserConfirmInstallation.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserConfirmInstallation TEST.NEW TEST.NAME:signalUserConfirmInstallation.001 TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_CART_INSTALL_STATE TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:0.0,1.0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.isSyringeDetected.return:0 TEST.EXPECTED:ModePreTreat.<>.confirmInstallRequested:0 TEST.END -- Test Case: signalUserConfirmInstallation.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserConfirmInstallation TEST.NEW TEST.NAME:signalUserConfirmInstallation.002 TEST.MCDC_BASIS_PATH:3 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (((MODE_PRET) == getCurrentOperationMode() && (HD_PRE_TREATMENT_CART_INSTALL_STATE) == currentPreTreatmentState) && ((1) == isSyringeDetected() || bolusVol < (1.000000000000000021e-08) && hepRate < (1.000000000000000021e-08))) ==> FALSE Row number 13 forms a pair with Row 5 for Condition #1, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Condition c ==> FALSE Condition d ==> TRUE Condition e ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_START_STATE TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.isSyringeDetected.return:<> TEST.EXPECTED:ModePreTreat.<>.confirmInstallRequested:0 TEST.END -- Test Case: signalUserConfirmInstallation.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserConfirmInstallation TEST.NEW TEST.NAME:signalUserConfirmInstallation.003 TEST.MCDC_BASIS_PATH:1 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (((MODE_PRET) == getCurrentOperationMode() && (HD_PRE_TREATMENT_CART_INSTALL_STATE) == currentPreTreatmentState) && ((1) == isSyringeDetected() || bolusVol < (1.000000000000000021e-08) && hepRate < (1.000000000000000021e-08))) ==> FALSE Row number 21 forms a pair with Row 5 for Condition #1, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Condition c ==> FALSE Condition d ==> TRUE Condition e ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_CART_INSTALL_STATE TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.isSyringeDetected.return:<> TEST.EXPECTED:ModePreTreat.<>.confirmInstallRequested:0 TEST.END -- Test Case: signalUserConfirmInstallation.004 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserConfirmInstallation TEST.NEW TEST.NAME:signalUserConfirmInstallation.004 TEST.MCDC_BASIS_PATH:2 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (((MODE_PRET) == getCurrentOperationMode() && (HD_PRE_TREATMENT_CART_INSTALL_STATE) == currentPreTreatmentState) && ((1) == isSyringeDetected() || bolusVol < (1.000000000000000021e-08) && hepRate < (1.000000000000000021e-08))) ==> TRUE Row number 5 forms a pair with Row 21 for Condition #1, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Condition c ==> FALSE Condition d ==> TRUE Condition e ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_CART_INSTALL_STATE TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.isSyringeDetected.return:<> TEST.EXPECTED:ModePreTreat.<>.confirmInstallRequested:1 TEST.END -- Test Case: signalUserConfirmInstallation.005 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserConfirmInstallation TEST.NEW TEST.NAME:signalUserConfirmInstallation.005 TEST.MCDC_BASIS_PATH:4 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (((MODE_PRET) == getCurrentOperationMode() && (HD_PRE_TREATMENT_CART_INSTALL_STATE) == currentPreTreatmentState) && ((1) == isSyringeDetected() || bolusVol < (1.000000000000000021e-08) && hepRate < (1.000000000000000021e-08))) ==> FALSE Row number 8 forms a pair with Row 4 for Condition #1, subcondition "c". Condition a ==> TRUE Condition b ==> TRUE Condition c ==> FALSE Condition d ==> FALSE Condition e ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_CART_INSTALL_STATE TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.isSyringeDetected.return:<> TEST.EXPECTED:ModePreTreat.<>.confirmInstallRequested:0 TEST.END -- Test Case: signalUserConfirmInstallation.006 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserConfirmInstallation TEST.NEW TEST.NAME:signalUserConfirmInstallation.006 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (((MODE_PRET) == getCurrentOperationMode() && (HD_PRE_TREATMENT_CART_INSTALL_STATE) == currentPreTreatmentState) && ((1) == isSyringeDetected() || bolusVol < (1.000000000000000021e-08) && hepRate < (1.000000000000000021e-08))) ==> FALSE Row number 8 forms a pair with Row 4 for Condition #1, subcondition "c". Condition a ==> TRUE Condition b ==> TRUE Condition c ==> FALSE Condition d ==> FALSE Condition e ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_CART_INSTALL_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.isSyringeDetected.return:1 TEST.EXPECTED:ModePreTreat.<>.confirmInstallRequested:1 TEST.END -- Test Case: signalUserConfirmInstallation.007 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserConfirmInstallation TEST.NEW TEST.NAME:signalUserConfirmInstallation.007 TEST.BASIS_PATH:2 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((MODE_PRET) == getCurrentOperationMode() && (HD_PRE_TREATMENT_CART_INSTALL_STATE) == currentPreTreatmentState) ==> TRUE (2) if ((STATE_CLOSED) == pumpTrack) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_CART_INSTALL_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN TEST.EXPECTED:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_CART_INSTALL_STATE TEST.END -- Test Case: signalUserConfirmInstallation_Pump_Track_Close_Front_Door_Open TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserConfirmInstallation TEST.NEW TEST.NAME:signalUserConfirmInstallation_Pump_Track_Close_Front_Door_Open TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (((MODE_PRET) == getCurrentOperationMode() && (HD_PRE_TREATMENT_CART_INSTALL_STATE) == currentPreTreatmentState) && ((1) == isSyringeDetected() || bolusVol < (1.000000000000000021e-08) && hepRate < (1.000000000000000021e-08))) ==> TRUE Row number 5 forms a pair with Row 21 for Condition #1, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Condition c ==> FALSE Condition d ==> TRUE Condition e ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_CART_INSTALL_STATE TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR,PUMP_TRACK_SWITCH TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN,STATE_CLOSED TEST.VALUE:uut_prototype_stubs.isSyringeDetected.return:<> TEST.VALUE:uut_prototype_stubs.sendConsumableInstallCmdResponse.accepted:1 TEST.VALUE:uut_prototype_stubs.sendConsumableInstallCmdResponse.reason:5 TEST.EXPECTED:uut_prototype_stubs.sendConsumableInstallCmdResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendConsumableInstallCmdResponse.reason:42 TEST.END -- Subprogram: signalUserConfirmPatientConnection -- Test Case: signalUserConfirmPatientConnection.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserConfirmPatientConnection TEST.NEW TEST.NAME:signalUserConfirmPatientConnection.001 TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == setUFVolStatus) ==> 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:ModePreTreat.<>.setUFVolStatus:1 TEST.EXPECTED:ModePreTreat.<>.patientConnectionConfirm:0 TEST.END -- Test Case: signalUserConfirmPatientConnection.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserConfirmPatientConnection TEST.NEW TEST.NAME:signalUserConfirmPatientConnection.002 TEST.MCDC_BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == setUFVolStatus) ==> 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:ModePreTreat.<>.setUFVolStatus:<> TEST.EXPECTED:ModePreTreat.<>.patientConnectionConfirm:0 TEST.END -- Test Case: signalUserConfirmPatientConnection.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserConfirmPatientConnection TEST.NEW TEST.NAME:signalUserConfirmPatientConnection.003 TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == setUFVolStatus) ==> TRUE (2) if ((HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE) == currentPreTreatmentState) ==> 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:ModePreTreat.<>.setUFVolStatus:1 TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE TEST.EXPECTED:ModePreTreat.<>.patientConnectionConfirm:1 TEST.END -- Subprogram: signalUserContinueToTreatment -- Test Case: signalUserContinueToTreatment.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserContinueToTreatment TEST.NEW TEST.NAME:signalUserContinueToTreatment.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((HD_PRE_TREATMENT_RECIRCULATE_STATE) == currentPreTreatmentState) ==> 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:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_RECIRCULATE_STATE TEST.EXPECTED:ModePreTreat.<>.continueToTreatmentRequested:1 TEST.END -- Test Case: signalUserContinueToTreatment.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserContinueToTreatment TEST.NEW TEST.NAME:signalUserContinueToTreatment.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((HD_PRE_TREATMENT_RECIRCULATE_STATE) == currentPreTreatmentState) ==> 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:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_START_STATE TEST.EXPECTED:ModePreTreat.<>.continueToTreatmentRequested:0 TEST.END -- Subprogram: signalUserStartTreatment -- Test Case: signalUserStartTreatment.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserStartTreatment TEST.NEW TEST.NAME:signalUserStartTreatment.001 TEST.MCDC_BASIS_PATH:2 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == patientConnectionConfirm) ==> 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:ModePreTreat.<>.patientConnectionConfirm:1 TEST.EXPECTED:ModePreTreat.<>.treatmentStartRequested:0 TEST.END -- Test Case: signalUserStartTreatment.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserStartTreatment TEST.NEW TEST.NAME:signalUserStartTreatment.002 TEST.MCDC_BASIS_PATH:1 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == patientConnectionConfirm) ==> 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:ModePreTreat.<>.patientConnectionConfirm:<> TEST.EXPECTED:ModePreTreat.<>.treatmentStartRequested:0 TEST.END -- Test Case: signalUserStartTreatment.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserStartTreatment TEST.NEW TEST.NAME:signalUserStartTreatment.003 TEST.MCDC_BASIS_PATH:4 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == patientConnectionConfirm) ==> TRUE (2) if ((MODE_PRET) == getCurrentOperationMode() && (HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE) == currentPreTreatmentState) ==> 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:ModePreTreat.<>.patientConnectionConfirm:1 TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.EXPECTED:ModePreTreat.<>.treatmentStartRequested:1 TEST.END -- Test Case: signalUserStartTreatment.004 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserStartTreatment TEST.NEW TEST.NAME:signalUserStartTreatment.004 TEST.MCDC_BASIS_PATH:5 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((1) == patientConnectionConfirm) ==> TRUE (2) if ((MODE_PRET) == getCurrentOperationMode() && (HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE) == currentPreTreatmentState) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.patientConnectionConfirm:1 TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_START_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.EXPECTED:ModePreTreat.<>.treatmentStartRequested:0 TEST.END -- Subprogram: testResetPreTreatmentModePublishIntervalOverride -- Test Case: testResetPreTreatmentModePublishIntervalOverride.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:testResetPreTreatmentModePublishIntervalOverride TEST.NEW TEST.NAME:testResetPreTreatmentModePublishIntervalOverride.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:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:ModePreTreat.testResetPreTreatmentModePublishIntervalOverride.return:1 TEST.END -- Test Case: testResetPreTreatmentModePublishIntervalOverride.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:testResetPreTreatmentModePublishIntervalOverride TEST.NEW TEST.NAME:testResetPreTreatmentModePublishIntervalOverride.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:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:ModePreTreat.testResetPreTreatmentModePublishIntervalOverride.return:0 TEST.END -- Subprogram: testSetPreTreatmentModePublishIntervalOverride -- Test Case: testSetPreTreatmentModePublishIntervalOverride.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:testSetPreTreatmentModePublishIntervalOverride TEST.NEW TEST.NAME:testSetPreTreatmentModePublishIntervalOverride.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:ModePreTreat.testSetPreTreatmentModePublishIntervalOverride.ms:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:ModePreTreat.testSetPreTreatmentModePublishIntervalOverride.return:1 TEST.END -- Test Case: testSetPreTreatmentModePublishIntervalOverride.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:testSetPreTreatmentModePublishIntervalOverride TEST.NEW TEST.NAME:testSetPreTreatmentModePublishIntervalOverride.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:ModePreTreat.testSetPreTreatmentModePublishIntervalOverride.ms:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:ModePreTreat.testSetPreTreatmentModePublishIntervalOverride.return:0 TEST.END -- Subprogram: transitionToCartridgeInstallation -- Test Case: transitionToCartridgeInstallation.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:transitionToCartridgeInstallation TEST.NEW TEST.NAME:transitionToCartridgeInstallation.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) for (valve < (NUM_OF_VALVES)) ==> 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:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED TEST.END -- Subprogram: transitionToPatientConnection -- Test Case: transitionToPatientConnection.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:transitionToPatientConnection TEST.NEW TEST.NAME:transitionToPatientConnection.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) for (valve < (NUM_OF_VALVES)) ==> 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.EXPECTED:ModePreTreat.<>.setUFVolStatus:0 TEST.EXPECTED:ModePreTreat.<>.patientConnectionConfirm:0 TEST.EXPECTED:ModePreTreat.<>.treatmentStartRequested:0 TEST.END -- Subprogram: transitionToPreTreatmentMode -- Test Case: transitionToPreTreatmentMode.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:transitionToPreTreatmentMode TEST.NEW TEST.NAME:transitionToPreTreatmentMode.001 TEST.VALUE:ModePreTreat.transitionToPreTreatmentMode.return:0 TEST.EXPECTED:ModePreTreat.transitionToPreTreatmentMode.return:0 TEST.END