-- 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.STUB:ModePreTreat.publishPreTreatmentState TEST.STUB:ModePreTreat.resetSignalFlags TEST.STUB:ModePreTreat.handleWaterSampleState TEST.STUB:ModePreTreat.execPreTreatmentReservoirMgmt TEST.VALUE:ModePreTreat.handleWaterSampleState.return:HD_PRE_TREATMENT_WATER_SAMPLE_STATE TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:1 TEST.EXPECTED:ModePreTreat.execPreTreatmentMode.return:0 TEST.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_TREATMENT_STOPPED_BY_USER TEST.END -- Test Case: execPreTreatmentMode.011 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentMode TEST.NEW TEST.NAME:execPreTreatmentMode.011 TEST.STUB:ModePreTreat.publishPreTreatmentState TEST.STUB:ModePreTreat.resetSignalFlags TEST.STUB:ModePreTreat.execPreTreatmentTestConfigReservoirMgmt TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_WATER_SAMPLE_STATE TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 TEST.EXPECTED:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_WATER_SAMPLE_STATE TEST.EXPECTED:ModePreTreat.execPreTreatmentMode.return:MACRO=HD_PRE_TREATMENT_WATER_SAMPLE_STATE TEST.EXPECTED:uut_prototype_stubs.getTestConfigStatus.config:TEST_CONFIG_EXPEDITE_PRE_TREATMENT TEST.END -- Test Case: execPreTreatmentMode.012 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentMode TEST.NEW TEST.NAME:execPreTreatmentMode.012 TEST.VALUE:ModePreTreat.<>.signalTestConfigRsrvrMgmtUse:1 TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_WATER_SAMPLE_STATE TEST.EXPECTED:ModePreTreat.<>.signalTestConfigRsrvrMgmtUse:1 TEST.EXPECTED:ModePreTreat.execPreTreatmentMode.return:MACRO=HD_PRE_TREATMENT_WATER_SAMPLE_STATE 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 -- Test Case: execPreTreatmentReservoirMgmt.010 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentReservoirMgmt.010 TEST.BASIS_PATH:8 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 8 (7) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:ModePreTreat.handlePreTreatmentReservoirMgmtRequestReservoirSwitchState TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE TEST.VALUE:ModePreTreat.handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.return:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE TEST.END -- Subprogram: execPreTreatmentTestConfigReservoirMgmt -- Test Case: execPreTreatmentTestConfigReservoirMgmt.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.001 TEST.BASIS_PATH:2 of 23 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_START_STATE (2) if (reservoir1Level >= (1400) && reservoir1Level < (1575)) ==> FALSE (4) if (reservoir1Level >= (1575)) ==> FALSE (6) if (reservoir2Level >= (1400) && reservoir2Level < (1575)) ==> FALSE (8) if (reservoir2Level >= (1575)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.return:<> TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.002 TEST.BASIS_PATH:3 of 23 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_START_STATE (2) if (reservoir1Level >= (1400) && reservoir1Level < (1575)) ==> FALSE (4) if (reservoir1Level >= (1575)) ==> FALSE (6) if (reservoir2Level >= (1400) && reservoir2Level < (1575)) ==> FALSE (8) if (reservoir2Level >= (1575)) ==> TRUE (9) if ((DG_RESERVOIR_2) == getDGActiveReservoir()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.getDGActiveReservoir.return:DG_RESERVOIR_1 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.return:<> TEST.VALUE:uut_prototype_stubs.setStartReservoirVolume.reservoirID:DG_RESERVOIR_2 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.003 TEST.BASIS_PATH:4 of 23 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_START_STATE (2) if (reservoir1Level >= (1400) && reservoir1Level < (1575)) ==> FALSE (4) if (reservoir1Level >= (1575)) ==> FALSE (6) if (reservoir2Level >= (1400) && reservoir2Level < (1575)) ==> FALSE (8) if (reservoir2Level >= (1575)) ==> TRUE (9) if ((DG_RESERVOIR_2) == getDGActiveReservoir()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGActiveReservoir.return:DG_RESERVOIR_2 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.return:<> TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.004 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.004 TEST.BASIS_PATH:1 of 23 TEST.NOTES: This is an automatically generated test case. Test Path 1 (23) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_COMPLETE_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_COMPLETE_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_COMPLETE_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.005 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.005 TEST.BASIS_PATH:5 of 23 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_START_STATE (2) if (reservoir1Level >= (1400) && reservoir1Level < (1575)) ==> FALSE (4) if (reservoir1Level >= (1575)) ==> FALSE (6) if (reservoir2Level >= (1400) && reservoir2Level < (1575)) ==> TRUE (7) if ((DG_RESERVOIR_1) == getDGActiveReservoir()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGActiveReservoir.return:DG_RESERVOIR_2 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.return:1400.0 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.006 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.006 TEST.BASIS_PATH:6 of 23 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_START_STATE (2) if (reservoir1Level >= (1400) && reservoir1Level < (1575)) ==> FALSE (4) if (reservoir1Level >= (1575)) ==> FALSE (6) if (reservoir2Level >= (1400) && reservoir2Level < (1575)) ==> TRUE (7) if ((DG_RESERVOIR_1) == getDGActiveReservoir()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.VALUE:uut_prototype_stubs.getDGActiveReservoir.return:DG_RESERVOIR_1 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.return:1400.0 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.007 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.007 TEST.BASIS_PATH:12 of 23 TEST.NOTES: This is an automatically generated test case. Test Path 12 (10) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE (11) if ((DG_MODE_STAN) == dgOpMode) ==> FALSE (12) if ((1) == hasDGCompletedReservoirSwitch()) ==> TRUE (13) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<> TEST.VALUE:uut_prototype_stubs.hasDGCompletedReservoirSwitch.return:1 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.008 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.008 TEST.BASIS_PATH:13 of 23 TEST.NOTES: This is an automatically generated test case. Test Path 13 (10) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE (11) if ((DG_MODE_STAN) == dgOpMode) ==> FALSE (12) if ((1) == hasDGCompletedReservoirSwitch()) ==> TRUE (13) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState: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.VALUE:uut_prototype_stubs.hasDGCompletedReservoirSwitch.return:1 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_RESP_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.EXPECTED:uut_prototype_stubs.cmdStartDGDrain.drainToVolMl:1500 TEST.EXPECTED:uut_prototype_stubs.cmdStartDGDrain.tareLoadCell:0 TEST.EXPECTED:uut_prototype_stubs.cmdStartDGDrain.rinse:0 TEST.EXPECTED:uut_prototype_stubs.cmdStartDGDrain.start:1 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.009 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.009 TEST.BASIS_PATH:14 of 23 TEST.NOTES: This is an automatically generated test case. Test Path 14 (10) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE (11) if ((DG_MODE_STAN) == dgOpMode) ==> TRUE (12) if ((1) == hasDGCompletedReservoirSwitch()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.hasDGCompletedReservoirSwitch.return:<> TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.010 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.010 TEST.BASIS_PATH:15 of 23 TEST.NOTES: This is an automatically generated test case. Test Path 15 (14) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_RESP_STATE (15) if ((1) == getDGCommandResponse(DG_CMD_START_DRAIN, &dgCmdResp)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_RESP_STATE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<> TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_RESP_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.011 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.011 TEST.BASIS_PATH:16 of 23 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 16 (14) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_RESP_STATE (15) if ((1) == getDGCommandResponse(DG_CMD_START_DRAIN, &dgCmdResp)) ==> TRUE (16) if ((DG_CMD_REQUEST_REJECT_REASON_NONE) == dgCmdResp.rejectCode) ==> FALSE Test Case Generation Notes: Cannot set local variable dgCmdResp in branch 16 TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_RESP_STATE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.012 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.012 TEST.BASIS_PATH:19 of 23 TEST.NOTES: This is an automatically generated test case. Test Path 19 (18) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE (19) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<> TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.013 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.013 TEST.BASIS_PATH:20 of 23 TEST.NOTES: This is an automatically generated test case. Test Path 20 (18) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE (19) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> TRUE (20) if ((DG_RESERVOIR_1) == inactiveReservoir) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE 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.VALUE:uut_prototype_stubs.cmdSetDGActiveReservoir.cmd[0].reservoirID:1 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RESERVOIR_SWITCH_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.EXPECTED:uut_prototype_stubs.cmdSetDGActiveReservoir.cmd[0].reservoirID:1 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.014 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.014 TEST.BASIS_PATH:21 of 23 TEST.NOTES: This is an automatically generated test case. Test Path 21 (18) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE (19) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> TRUE (20) if ((DG_RESERVOIR_1) == inactiveReservoir) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE 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.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RESERVOIR_SWITCH_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.015 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.015 TEST.BASIS_PATH:22 of 23 TEST.NOTES: This is an automatically generated test case. Test Path 22 (21) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RESERVOIR_SWITCH_STATE (22) if ((1) == hasDGCompletedReservoirSwitch()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RESERVOIR_SWITCH_STATE TEST.VALUE:uut_prototype_stubs.hasDGCompletedReservoirSwitch.return:<> TEST.VALUE:uut_prototype_stubs.getReservoirWeight.return:0.0 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RESERVOIR_SWITCH_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.016 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.016 TEST.BASIS_PATH:23 of 23 TEST.NOTES: This is an automatically generated test case. Test Path 23 (21) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RESERVOIR_SWITCH_STATE (22) if ((1) == hasDGCompletedReservoirSwitch()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RESERVOIR_SWITCH_STATE TEST.VALUE:uut_prototype_stubs.hasDGCompletedReservoirSwitch.return:1 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.return:0.0 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_COMPLETE_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.017 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.017 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_START_STATE (2) if (reservoir1Level >= (1400) && reservoir1Level < (1575)) ==> FALSE (4) if (reservoir1Level >= (1575)) ==> FALSE (6) if (reservoir2Level >= (1400) && reservoir2Level < (1575)) ==> FALSE (8) if (reservoir2Level >= (1575)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.return:<>,1400.0 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.018 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.018 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_START_STATE (2) if (reservoir1Level >= (1400) && reservoir1Level < (1575)) ==> FALSE (4) if (reservoir1Level >= (1575)) ==> FALSE (6) if (reservoir2Level >= (1400) && reservoir2Level < (1575)) ==> FALSE (8) if (reservoir2Level >= (1575)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.return:<>,1576.0 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.019 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.019 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_START_STATE (2) if (reservoir1Level >= (1400) && reservoir1Level < (1575)) ==> FALSE (4) if (reservoir1Level >= (1575)) ==> FALSE (6) if (reservoir2Level >= (1400) && reservoir2Level < (1575)) ==> FALSE (8) if (reservoir2Level >= (1575)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.getDGActiveReservoir.return:DG_RESERVOIR_2 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.return:<>,1400.0 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.020 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.020 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_START_STATE (2) if (reservoir1Level >= (1400) && reservoir1Level < (1575)) ==> FALSE (4) if (reservoir1Level >= (1575)) ==> FALSE (6) if (reservoir2Level >= (1400) && reservoir2Level < (1575)) ==> FALSE (8) if (reservoir2Level >= (1575)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.getDGActiveReservoir.return:DG_RESERVOIR_2 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.return:<>,1576.0 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.021 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.021 TEST.NOTES: This is an automatically generated test case. Test Path 13 (10) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE (11) if ((DG_MODE_STAN) == dgOpMode) ==> FALSE (12) if ((1) == hasDGCompletedReservoirSwitch()) ==> TRUE (13) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:3 TEST.VALUE:uut_prototype_stubs.hasDGCompletedReservoirSwitch.return:1 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.022 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.022 TEST.NOTES: This is an automatically generated test case. Test Path 16 (14) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_RESP_STATE (15) if ((1) == getDGCommandResponse(DG_CMD_START_DRAIN, &dgCmdResp)) ==> TRUE (16) if ((DG_CMD_REQUEST_REJECT_REASON_NONE) == dgCmdResp.rejectCode) ==> FALSE Test Case Generation Notes: Cannot set local variable dgCmdResp in branch 16 TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_RESP_STATE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.cmdRespPtr[0].rejectCode:MACRO=DG_CMD_REQUEST_REJECT_REASON_NONE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_RESP_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.023 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.023 TEST.NOTES: This is an automatically generated test case. Test Path 16 (14) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_RESP_STATE (15) if ((1) == getDGCommandResponse(DG_CMD_START_DRAIN, &dgCmdResp)) ==> TRUE (16) if ((DG_CMD_REQUEST_REJECT_REASON_NONE) == dgCmdResp.rejectCode) ==> FALSE Test Case Generation Notes: Cannot set local variable dgCmdResp in branch 16 TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_RESP_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_DRAI TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.cmdRespPtr[0].rejectCode:MACRO=DG_CMD_REQUEST_REJECT_REASON_NONE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.024 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.024 TEST.NOTES: This is an automatically generated test case. Test Path 20 (18) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE (19) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> TRUE (20) if ((DG_RESERVOIR_1) == inactiveReservoir) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:3 TEST.VALUE:uut_prototype_stubs.getDGInactiveReservoir.return:DG_RESERVOIR_2 TEST.VALUE:uut_prototype_stubs.cmdSetDGActiveReservoir.cmd[0].reservoirID:1 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.025 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.025 TEST.BASIS_PATH:7 of 24 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if ((DG_MODE_STAN) == dgOpMode) ==> FALSE (2) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_START_STATE (3) if ((DG_MODE_GENE) == dgOpMode) ==> TRUE (4) if (reservoir1Level >= (1400) && reservoir1Level < (1575)) ==> FALSE (6) if (reservoir1Level >= (1575)) ==> FALSE (8) if (reservoir2Level >= (1400) && reservoir2Level < (1575)) ==> TRUE (9) if ((DG_RESERVOIR_1) == getDGActiveReservoir()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGActiveReservoir.return:DG_RESERVOIR_1 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.return:1400.0 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_COMPLETE_STATE TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.026 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.026 TEST.BASIS_PATH:8 of 24 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if ((DG_MODE_STAN) == dgOpMode) ==> FALSE (2) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_START_STATE (3) if ((DG_MODE_GENE) == dgOpMode) ==> TRUE (4) if (reservoir1Level >= (1400) && reservoir1Level < (1575)) ==> FALSE (6) if (reservoir1Level >= (1575)) ==> TRUE (7) if ((DG_RESERVOIR_1) == getDGActiveReservoir()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGActiveReservoir.return:DG_RESERVOIR_2 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.return:<> TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.027 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.027 TEST.BASIS_PATH:9 of 24 TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) if ((DG_MODE_STAN) == dgOpMode) ==> FALSE (2) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_START_STATE (3) if ((DG_MODE_GENE) == dgOpMode) ==> TRUE (4) if (reservoir1Level >= (1400) && reservoir1Level < (1575)) ==> FALSE (6) if (reservoir1Level >= (1575)) ==> TRUE (7) if ((DG_RESERVOIR_1) == getDGActiveReservoir()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGActiveReservoir.return:DG_RESERVOIR_1 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.return:<> TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.028 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.028 TEST.BASIS_PATH:10 of 24 TEST.NOTES: This is an automatically generated test case. Test Path 10 (1) if ((DG_MODE_STAN) == dgOpMode) ==> FALSE (2) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_START_STATE (3) if ((DG_MODE_GENE) == dgOpMode) ==> TRUE (4) if (reservoir1Level >= (1400) && reservoir1Level < (1575)) ==> TRUE (5) if ((DG_RESERVOIR_2) == getDGActiveReservoir()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGActiveReservoir.return:DG_RESERVOIR_1 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.return:1400.0 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_COMPLETE_STATE TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.029 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.029 TEST.BASIS_PATH:11 of 24 TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if ((DG_MODE_STAN) == dgOpMode) ==> FALSE (2) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_START_STATE (3) if ((DG_MODE_GENE) == dgOpMode) ==> TRUE (4) if (reservoir1Level >= (1400) && reservoir1Level < (1575)) ==> TRUE (5) if ((DG_RESERVOIR_2) == getDGActiveReservoir()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGActiveReservoir.return:DG_RESERVOIR_2 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.return:1400.0 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RESERVOIR_SWITCH_STATE TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.030 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.030 TEST.BASIS_PATH:17 of 24 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 17 (1) if ((DG_MODE_STAN) == dgOpMode) ==> FALSE (15) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_RESP_STATE (16) if ((1) == getDGCommandResponse(DG_CMD_START_DRAIN, &dgCmdResp)) ==> TRUE (17) if ((DG_CMD_REQUEST_REJECT_REASON_NONE) == dgCmdResp.rejectCode) ==> TRUE (18) if ((DG_MODE_DRAI) == dgOpMode) ==> FALSE Test Case Generation Notes: Cannot set local variable dgCmdResp in branch 17 TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_RESP_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.031 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.031 TEST.BASIS_PATH:18 of 24 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 18 (1) if ((DG_MODE_STAN) == dgOpMode) ==> FALSE (15) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_RESP_STATE (16) if ((1) == getDGCommandResponse(DG_CMD_START_DRAIN, &dgCmdResp)) ==> TRUE (17) if ((DG_CMD_REQUEST_REJECT_REASON_NONE) == dgCmdResp.rejectCode) ==> TRUE (18) if ((DG_MODE_DRAI) == dgOpMode) ==> TRUE Test Case Generation Notes: Cannot set local variable dgCmdResp in branch 17 TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_RESP_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_DRAI TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.032 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.032 TEST.BASIS_PATH:24 of 24 TEST.NOTES: This is an automatically generated test case. Test Path 24 (1) if ((DG_MODE_STAN) == dgOpMode) ==> TRUE (24) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_COMPLETE_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_COMPLETE_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_COMPLETE_STATE TEST.END -- Test Case: execPreTreatmentTestConfigReservoirMgmt.033 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:execPreTreatmentTestConfigReservoirMgmt TEST.NEW TEST.NAME:execPreTreatmentTestConfigReservoirMgmt.033 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if ((DG_MODE_STAN) == dgOpMode) ==> FALSE (2) case currentReservoirMgmtState ==> PRE_TREATMENT_RESERVOIR_MGMT_START_STATE (3) if ((DG_MODE_GENE) == dgOpMode) ==> TRUE (4) if (reservoir1Level >= (1400) && reservoir1Level < (1575)) ==> FALSE (6) if (reservoir1Level >= (1575)) ==> FALSE (8) if (reservoir2Level >= (1400) && reservoir2Level < (1575)) ==> TRUE (9) if ((DG_RESERVOIR_1) == getDGActiveReservoir()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGActiveReservoir.return:DG_RESERVOIR_1 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.return:0.0 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.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 251 TEST.VALUE:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1]:<> >>> >>> Unknown parameter/object name reservoirFlushedStatus >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 253 TEST.EXPECTED:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1]:0 >>> >>> Unknown parameter/object name reservoirFlushedStatus >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.<>.reservoirStatus[DG_RESERVOIR_1].flushComplete:0 TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].flushComplete:0 TEST.VALUE:ModePreTreat.getPreTreatmentFillVolume.inactiveRes:DG_RESERVOIR_1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_1].flushComplete:0 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].flushComplete:0 TEST.EXPECTED:ModePreTreat.getPreTreatmentFillVolume.inactiveRes:DG_RESERVOIR_1 TEST.EXPECTED:ModePreTreat.getPreTreatmentFillVolume.return:300 TEST.END -- Test Case: getPreTreatmentFillVolume.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:getPreTreatmentFillVolume TEST.NEW TEST.NAME:getPreTreatmentFillVolume.002 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 271 TEST.VALUE:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1]:1 >>> >>> Unknown parameter/object name reservoirFlushedStatus >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 273 TEST.EXPECTED:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1]:1 >>> >>> Unknown parameter/object name reservoirFlushedStatus >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:2 of 3 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) 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.<>.reservoirStatus[DG_RESERVOIR_1].flushComplete:1 TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].flushComplete:1 TEST.VALUE:ModePreTreat.getPreTreatmentFillVolume.inactiveRes:DG_RESERVOIR_1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_1].flushComplete:1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].flushComplete:1 TEST.EXPECTED:ModePreTreat.getPreTreatmentFillVolume.inactiveRes:DG_RESERVOIR_1 TEST.EXPECTED:ModePreTreat.getPreTreatmentFillVolume.return:1300 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.<>.reservoirStatus[DG_RESERVOIR_1].flushComplete:1 TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].flushComplete:1 TEST.VALUE:ModePreTreat.getPreTreatmentFillVolume.inactiveRes:DG_RESERVOIR_2 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_1].flushComplete:1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].flushComplete:1 TEST.EXPECTED:ModePreTreat.getPreTreatmentFillVolume.inactiveRes:DG_RESERVOIR_2 TEST.EXPECTED:ModePreTreat.getPreTreatmentFillVolume.return:600 TEST.END -- Subprogram: getPreTreatmentSubState -- Test Case: getPreTreatmentSubState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:getPreTreatmentSubState TEST.NEW TEST.NAME:getPreTreatmentSubState.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 308 TEST.EXPECTED:ModePreTreat.getPreTreatmentSubState.return:HD_PRE_TREATMENT_START_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "HD_PRE_TREATMENT_START_STATE" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.VALUE:ModePreTreat.getPreTreatmentSubState.return:NUM_OF_HD_PRE_TREATMENT_STATES TEST.EXPECTED:ModePreTreat.getPreTreatmentSubState.return:HD_PRE_TREATMENT_WATER_SAMPLE_STATE TEST.END -- Subprogram: getReservoirFillStatus -- Test Case: getReservoirFillStatus.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:getReservoirFillStatus TEST.NEW TEST.NAME:getReservoirFillStatus.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 318 TEST.EXPECTED:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_1]:0 >>> >>> Unknown parameter/object name reservoirFilledStatus >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:ModePreTreat.getReservoirFillStatus.reservoirID:NUM_OF_DG_RESERVOIRS TEST.VALUE:ModePreTreat.getReservoirFillStatus.return:0 TEST.EXPECTED:ModePreTreat.getReservoirFillStatus.reservoirID:NUM_OF_DG_RESERVOIRS TEST.EXPECTED:ModePreTreat.getReservoirFillStatus.return:1 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: handlePatientConnectionDoorOpened -- Test Case: handlePatientConnectionDoorOpened.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionDoorOpened TEST.NEW TEST.NAME:handlePatientConnectionDoorOpened.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((STATE_OPEN) == getSwitchStatus(FRONT_DOOR)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.return:0 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.flowRate:250 TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.EXPECTED:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR TEST.END -- Test Case: handlePatientConnectionDoorOpened.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionDoorOpened TEST.NEW TEST.NAME:handlePatientConnectionDoorOpened.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((STATE_OPEN) == getSwitchStatus(FRONT_DOOR)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.doorOpened:2 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN TEST.EXPECTED:ModePreTreat.<>.doorOpened:1 TEST.EXPECTED:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR TEST.END -- Subprogram: handlePatientConnectionState -- Test Case: handlePatientConnectionState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionState TEST.NEW TEST.NAME:handlePatientConnectionState.001 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 -- Test Case: handlePatientConnectionState.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionState TEST.NEW TEST.NAME:handlePatientConnectionState.002 TEST.BASIS_PATH:6 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 6 (2) case currentPreTxPatConnState ==> PRE_TREATMENT_PAT_CONN_WAIT_FOR_DLZR_INVERT_STATE (6) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE (8) if ((1) == alarmActionResumeReceived) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:ModePreTreat.handlePatientConnectionWait4DialyzerInvertState TEST.VALUE:ModePreTreat.<>.alarmActionResumeReceived:<> TEST.VALUE:ModePreTreat.<>.currentPreTxPatConnState:PRE_TREATMENT_PAT_CONN_WAIT_FOR_DLZR_INVERT_STATE TEST.VALUE:ModePreTreat.handlePatientConnectionState.return:HD_PRE_TREATMENT_WATER_SAMPLE_STATE TEST.VALUE:ModePreTreat.handlePatientConnectionWait4DialyzerInvertState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_DLZR_INVERT_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.EXPECTED:ModePreTreat.<>.currentPreTxPatConnState:PRE_TREATMENT_PAT_CONN_WAIT_FOR_DLZR_INVERT_STATE TEST.EXPECTED:ModePreTreat.handlePatientConnectionState.return:HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE TEST.END -- Test Case: handlePatientConnectionState.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionState TEST.NEW TEST.NAME:handlePatientConnectionState.003 TEST.BASIS_PATH:7 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 7 (3) case currentPreTxPatConnState ==> PRE_TREATMENT_PAT_CONN_WAIT_FOR_USER_CONFIRM_STATE (6) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE (8) if ((1) == alarmActionResumeReceived) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:ModePreTreat.handlePatientConnectionWait4UserConfirmState TEST.VALUE:ModePreTreat.<>.alarmActionResumeReceived:<> TEST.VALUE:ModePreTreat.<>.currentPreTxPatConnState:PRE_TREATMENT_PAT_CONN_WAIT_FOR_USER_CONFIRM_STATE TEST.VALUE:ModePreTreat.handlePatientConnectionWait4UserConfirmState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_USER_CONFIRM_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.EXPECTED:ModePreTreat.<>.currentPreTxPatConnState:PRE_TREATMENT_PAT_CONN_WAIT_FOR_USER_CONFIRM_STATE TEST.END -- Test Case: handlePatientConnectionState.004 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionState TEST.NEW TEST.NAME:handlePatientConnectionState.004 TEST.BASIS_PATH:8 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 8 (4) case currentPreTxPatConnState ==> PRE_TREATMENT_PAT_CONN_WAIT_FOR_TREATMENT_START_STATE (6) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE (8) if ((1) == alarmActionResumeReceived) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:ModePreTreat.handlePatientConnectionWait4TreatmentStartState TEST.VALUE:ModePreTreat.<>.alarmActionResumeReceived:<> TEST.VALUE:ModePreTreat.<>.currentPreTxPatConnState:PRE_TREATMENT_PAT_CONN_WAIT_FOR_TREATMENT_START_STATE TEST.VALUE:ModePreTreat.handlePatientConnectionWait4TreatmentStartState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_TREATMENT_START_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.EXPECTED:ModePreTreat.<>.currentPreTxPatConnState:PRE_TREATMENT_PAT_CONN_WAIT_FOR_TREATMENT_START_STATE TEST.END -- Test Case: handlePatientConnectionState.005 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionState TEST.NEW TEST.NAME:handlePatientConnectionState.005 TEST.BASIS_PATH:1 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 1 (5) case currentPreTxPatConnState ==> default (6) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE (8) if ((1) == alarmActionResumeReceived) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.alarmActionResumeReceived:<> TEST.VALUE:ModePreTreat.<>.currentPreTxPatConnState:NUM_OF_PRE_TREATMENT_PAT_CONN_STATES TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.EXPECTED:ModePreTreat.<>.alarmActionResumeReceived:0 TEST.EXPECTED:ModePreTreat.<>.currentPreTxPatConnState:NUM_OF_PRE_TREATMENT_PAT_CONN_STATES 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:155 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:4 TEST.END -- Test Case: handlePatientConnectionState.006 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionState TEST.NEW TEST.NAME:handlePatientConnectionState.006 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.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.getTrimmerHeaterCommandedOn.return:1 TEST.EXPECTED:ModePreTreat.<>.treatmentStartRequested:1 TEST.EXPECTED:ModePreTreat.handlePatientConnectionState.return:HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE TEST.END -- Test Case: handlePatientConnectionState.007 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionState TEST.NEW TEST.NAME:handlePatientConnectionState.007 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.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.EXPECTED:ModePreTreat.handlePatientConnectionState.return:HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE TEST.END -- Test Case: handlePatientConnectionState.008 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionState TEST.NEW TEST.NAME:handlePatientConnectionState.008 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.VALUE:ModePreTreat.<>.alarmActionResumeReceived:1 TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.return:0 TEST.EXPECTED:ModePreTreat.<>.treatmentStartRequested:1 TEST.EXPECTED:ModePreTreat.<>.alarmActionResumeReceived:0 TEST.EXPECTED:ModePreTreat.handlePatientConnectionState.return:HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.flowRate:250 TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.END -- Test Case: handlePatientConnectionState.009 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionState TEST.NEW TEST.NAME:handlePatientConnectionState.009 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.STUB:ModePreTreat.handlePatientConnectionWait4UFVolState TEST.STUB:ModePreTreat.handlePatientConnectionWait4UserConfirmState TEST.VALUE:ModePreTreat.<>.treatmentStartRequested:<> TEST.VALUE:ModePreTreat.<>.currentPreTxPatConnState:PRE_TREATMENT_PAT_CONN_WAIT_FOR_USER_CONFIRM_STATE TEST.VALUE:ModePreTreat.handlePatientConnectionWait4UFVolState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_USER_CONFIRM_STATE TEST.VALUE:ModePreTreat.handlePatientConnectionWait4UserConfirmState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_UF_VOL_STATE TEST.EXPECTED:ModePreTreat.handlePatientConnectionState.return:HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE TEST.END -- Subprogram: handlePatientConnectionWait4DialyzerInvertState -- Test Case: handlePatientConnectionWait4DialyzerInvertState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionWait4DialyzerInvertState TEST.NEW TEST.NAME:handlePatientConnectionWait4DialyzerInvertState.001 TEST.BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((STATE_OPEN) == getSwitchStatus(FRONT_DOOR)) ==> FALSE (2) if ((1) == doorOpened && (STATE_CLOSED) == getSwitchStatus(FRONT_DOOR)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.doorOpened:<> TEST.VALUE:ModePreTreat.handlePatientConnectionWait4DialyzerInvertState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_DLZR_INVERT_STATE TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:NUM_OF_OPN_CLS_STATES TEST.EXPECTED:ModePreTreat.<>.doorOpened:0 TEST.EXPECTED:ModePreTreat.handlePatientConnectionWait4DialyzerInvertState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_DLZR_INVERT_STATE TEST.EXPECTED:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR TEST.END -- Test Case: handlePatientConnectionWait4DialyzerInvertState.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionWait4DialyzerInvertState TEST.NEW TEST.NAME:handlePatientConnectionWait4DialyzerInvertState.002 TEST.BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((STATE_OPEN) == getSwitchStatus(FRONT_DOOR)) ==> FALSE (2) if ((1) == doorOpened && (STATE_CLOSED) == getSwitchStatus(FRONT_DOOR)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.doorOpened:1 TEST.VALUE:ModePreTreat.handlePatientConnectionWait4DialyzerInvertState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_DLZR_INVERT_STATE TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:ModePreTreat.<>.doorOpened:1 TEST.EXPECTED:ModePreTreat.handlePatientConnectionWait4DialyzerInvertState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_USER_CONFIRM_STATE TEST.EXPECTED:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR TEST.END -- Test Case: handlePatientConnectionWait4DialyzerInvertState.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionWait4DialyzerInvertState TEST.NEW TEST.NAME:handlePatientConnectionWait4DialyzerInvertState.003 TEST.BASIS_PATH:3 of 3 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((STATE_OPEN) == getSwitchStatus(FRONT_DOOR)) ==> TRUE (2) if ((1) == doorOpened && (STATE_CLOSED) == getSwitchStatus(FRONT_DOOR)) ==> FALSE Test Case Generation Notes: Cannot set doorOpened due to assignment TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.doorOpened:0 TEST.VALUE:ModePreTreat.handlePatientConnectionWait4DialyzerInvertState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_DLZR_INVERT_STATE TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN TEST.EXPECTED:ModePreTreat.<>.doorOpened:1 TEST.EXPECTED:ModePreTreat.handlePatientConnectionWait4DialyzerInvertState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_DLZR_INVERT_STATE TEST.EXPECTED:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR TEST.END -- Subprogram: handlePatientConnectionWait4TreatmentStartState -- Test Case: handlePatientConnectionWait4TreatmentStartState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionWait4TreatmentStartState TEST.NEW TEST.NAME:handlePatientConnectionWait4TreatmentStartState.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == treatmentStartRequested) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.treatmentStartRequested:<> TEST.VALUE:ModePreTreat.handlePatientConnectionWait4TreatmentStartState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_TREATMENT_START_STATE TEST.EXPECTED:ModePreTreat.<>.treatmentStartRequested:0 TEST.EXPECTED:ModePreTreat.handlePatientConnectionWait4TreatmentStartState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_TREATMENT_START_STATE TEST.END -- Test Case: handlePatientConnectionWait4TreatmentStartState.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionWait4TreatmentStartState TEST.NEW TEST.NAME:handlePatientConnectionWait4TreatmentStartState.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == treatmentStartRequested) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.treatmentStartRequested:1 TEST.VALUE:ModePreTreat.handlePatientConnectionWait4TreatmentStartState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_TREATMENT_START_STATE TEST.VALUE:uut_prototype_stubs.requestNewOperationMode.newMode:MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGActiveReservoir.return:DG_RESERVOIR_1 TEST.VALUE:uut_prototype_stubs.setStartReservoirVolume.reservoirID:DG_RESERVOIR_2 TEST.EXPECTED:ModePreTreat.<>.treatmentStartRequested:1 TEST.EXPECTED:ModePreTreat.handlePatientConnectionWait4TreatmentStartState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_TREATMENT_START_STATE TEST.EXPECTED:uut_prototype_stubs.requestNewOperationMode.newMode:MODE_TREA TEST.EXPECTED:uut_prototype_stubs.setStartReservoirVolume.reservoirID:DG_RESERVOIR_1 TEST.END -- Test Case: handlePatientConnectionWait4TreatmentStartState.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionWait4TreatmentStartState TEST.NEW TEST.NAME:handlePatientConnectionWait4TreatmentStartState.003 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == treatmentStartRequested) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.treatmentStartRequested:<> TEST.VALUE:ModePreTreat.handlePatientConnectionWait4TreatmentStartState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_TREATMENT_START_STATE TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 TEST.EXPECTED:ModePreTreat.<>.treatmentStartRequested:0 TEST.EXPECTED:ModePreTreat.handlePatientConnectionWait4TreatmentStartState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_TREATMENT_START_STATE TEST.EXPECTED:uut_prototype_stubs.getTestConfigStatus.config:TEST_CONFIG_EXPEDITE_PRE_TREATMENT TEST.END -- Test Case: handlePatientConnectionWait4TreatmentStartState.004 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionWait4TreatmentStartState TEST.NEW TEST.NAME:handlePatientConnectionWait4TreatmentStartState.004 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == treatmentStartRequested) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.treatmentStartRequested:1 TEST.VALUE:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_COMPLETE_STATE TEST.VALUE:ModePreTreat.handlePatientConnectionWait4TreatmentStartState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_TREATMENT_START_STATE TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 TEST.VALUE:uut_prototype_stubs.requestNewOperationMode.newMode:MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGActiveReservoir.return:DG_RESERVOIR_1 TEST.VALUE:uut_prototype_stubs.setStartReservoirVolume.reservoirID:DG_RESERVOIR_2 TEST.EXPECTED:ModePreTreat.<>.treatmentStartRequested:1 TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_COMPLETE_STATE TEST.EXPECTED:ModePreTreat.handlePatientConnectionWait4TreatmentStartState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_TREATMENT_START_STATE TEST.EXPECTED:uut_prototype_stubs.getTestConfigStatus.config:TEST_CONFIG_EXPEDITE_PRE_TREATMENT TEST.EXPECTED:uut_prototype_stubs.requestNewOperationMode.newMode:MODE_TREA TEST.EXPECTED:uut_prototype_stubs.setStartReservoirVolume.reservoirID:DG_RESERVOIR_1 TEST.END -- Test Case: handlePatientConnectionWait4TreatmentStartState.005 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionWait4TreatmentStartState TEST.NEW TEST.NAME:handlePatientConnectionWait4TreatmentStartState.005 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == treatmentStartRequested) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.treatmentStartRequested:1 TEST.VALUE:ModePreTreat.handlePatientConnectionWait4TreatmentStartState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_TREATMENT_START_STATE TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 TEST.VALUE:uut_prototype_stubs.requestNewOperationMode.newMode:MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGActiveReservoir.return:DG_RESERVOIR_1 TEST.VALUE:uut_prototype_stubs.setStartReservoirVolume.reservoirID:DG_RESERVOIR_2 TEST.EXPECTED:ModePreTreat.<>.treatmentStartRequested:1 TEST.EXPECTED:ModePreTreat.handlePatientConnectionWait4TreatmentStartState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_TREATMENT_START_STATE TEST.EXPECTED:uut_prototype_stubs.getTestConfigStatus.config:TEST_CONFIG_EXPEDITE_PRE_TREATMENT TEST.END -- Subprogram: handlePatientConnectionWait4UFVolState -- Test Case: handlePatientConnectionWait4UFVolState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionWait4UFVolState TEST.NEW TEST.NAME:handlePatientConnectionWait4UFVolState.001 TEST.BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((STATE_OPEN) == getSwitchStatus(FRONT_DOOR)) ==> FALSE (2) if ((1) == setUFVolStatus) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.setUFVolStatus:<> TEST.VALUE:ModePreTreat.handlePatientConnectionWait4UFVolState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_UF_VOL_STATE TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:ModePreTreat.<>.setUFVolStatus:0 TEST.EXPECTED:ModePreTreat.handlePatientConnectionWait4UFVolState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_UF_VOL_STATE TEST.END -- Test Case: handlePatientConnectionWait4UFVolState.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionWait4UFVolState TEST.NEW TEST.NAME:handlePatientConnectionWait4UFVolState.002 TEST.BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((STATE_OPEN) == getSwitchStatus(FRONT_DOOR)) ==> FALSE (2) if ((1) == setUFVolStatus) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.setUFVolStatus:1 TEST.VALUE:ModePreTreat.handlePatientConnectionWait4UFVolState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_DLZR_INVERT_STATE TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:ModePreTreat.<>.setUFVolStatus:0 TEST.EXPECTED:ModePreTreat.handlePatientConnectionWait4UFVolState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_DLZR_INVERT_STATE TEST.END -- Test Case: handlePatientConnectionWait4UFVolState.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionWait4UFVolState TEST.NEW TEST.NAME:handlePatientConnectionWait4UFVolState.003 TEST.BASIS_PATH:3 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((STATE_OPEN) == getSwitchStatus(FRONT_DOOR)) ==> TRUE (2) if ((1) == setUFVolStatus) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.setUFVolStatus:<> TEST.VALUE:ModePreTreat.<>.doorOpened:0 TEST.VALUE:ModePreTreat.handlePatientConnectionWait4UFVolState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_UF_VOL_STATE TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN TEST.EXPECTED:ModePreTreat.<>.setUFVolStatus:0 TEST.EXPECTED:ModePreTreat.<>.doorOpened:1 TEST.EXPECTED:ModePreTreat.handlePatientConnectionWait4UFVolState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_UF_VOL_STATE TEST.END -- Subprogram: handlePatientConnectionWait4UserConfirmState -- Test Case: handlePatientConnectionWait4UserConfirmState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionWait4UserConfirmState TEST.NEW TEST.NAME:handlePatientConnectionWait4UserConfirmState.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == patientConnectionConfirm) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.patientConnectionConfirm:<> TEST.VALUE:ModePreTreat.handlePatientConnectionWait4UserConfirmState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_USER_CONFIRM_STATE TEST.EXPECTED:ModePreTreat.<>.patientConnectionConfirm:0 TEST.EXPECTED:ModePreTreat.handlePatientConnectionWait4UserConfirmState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_USER_CONFIRM_STATE TEST.END -- Test Case: handlePatientConnectionWait4UserConfirmState.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePatientConnectionWait4UserConfirmState TEST.NEW TEST.NAME:handlePatientConnectionWait4UserConfirmState.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == patientConnectionConfirm) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.patientConnectionConfirm:1 TEST.VALUE:ModePreTreat.handlePatientConnectionWait4UserConfirmState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_USER_CONFIRM_STATE TEST.VALUE:uut_prototype_stubs.doorClosedRequired.door:0 TEST.VALUE:uut_prototype_stubs.doorClosedRequired.pumpTrack:0 TEST.EXPECTED:ModePreTreat.<>.patientConnectionConfirm:1 TEST.EXPECTED:ModePreTreat.handlePatientConnectionWait4UserConfirmState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_TREATMENT_START_STATE TEST.END -- Subprogram: handlePreTreatmentReservoirMgmtCompleteState -- Test Case: handlePreTreatmentReservoirMgmtCompleteState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtCompleteState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtCompleteState.001 TEST.BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == getDGCommandResponse(DG_CMD_PARK_CONCENTRATE_PUMPS, &dgCmdResp)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.commandID:MACRO=DG_CMD_PARK_CONCENTRATE_PUMPS TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:0 TEST.EXPECTED:uut_prototype_stubs.getDGCommandResponse.commandID:MACRO=DG_CMD_PARK_CONCENTRATE_PUMPS TEST.END -- Test Case: handlePreTreatmentReservoirMgmtCompleteState.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtCompleteState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtCompleteState.002 TEST.BASIS_PATH:2 of 3 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == getDGCommandResponse(DG_CMD_PARK_CONCENTRATE_PUMPS, &dgCmdResp)) ==> TRUE (2) if ((DG_CMD_REQUEST_REJECT_REASON_NONE) != dgCmdResp.rejectCode) ==> FALSE Test Case Generation Notes: Cannot set local variable dgCmdResp in branch 2 TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.commandID:MACRO=DG_CMD_PARK_CONCENTRATE_PUMPS TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.EXPECTED:uut_prototype_stubs.getDGCommandResponse.commandID:MACRO=DG_CMD_PARK_CONCENTRATE_PUMPS TEST.END -- Test Case: handlePreTreatmentReservoirMgmtCompleteState.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtCompleteState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtCompleteState.003 TEST.BASIS_PATH:3 of 3 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == getDGCommandResponse(DG_CMD_PARK_CONCENTRATE_PUMPS, &dgCmdResp)) ==> TRUE (2) if ((DG_CMD_REQUEST_REJECT_REASON_NONE) != dgCmdResp.rejectCode) ==> TRUE Test Case Generation Notes: Cannot set local variable dgCmdResp in branch 2 TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.commandID:MACRO=DG_CMD_PARK_CONCENTRATE_PUMPS TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.cmdRespPtr[0].rejectCode:MACRO=DG_CMD_REQUEST_REJECT_REASON_NONE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.EXPECTED:uut_prototype_stubs.getDGCommandResponse.commandID:MACRO=DG_CMD_PARK_CONCENTRATE_PUMPS 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_DRAIN_CMD_RESP_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 -- Test Case: handlePreTreatmentReservoirMgmtDrainCmdRespState.004 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtDrainCmdRespState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtDrainCmdRespState.004 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_DRAI 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 -- 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.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 683 TEST.VALUE:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1]:1 >>> >>> Unknown parameter/object name reservoirFlushedStatus >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 684 TEST.VALUE:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_2]:0 >>> >>> Unknown parameter/object name reservoirFlushedStatus >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 688 TEST.EXPECTED:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1]:1 >>> >>> Unknown parameter/object name reservoirFlushedStatus >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 689 TEST.EXPECTED:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_2]:0 >>> >>> Unknown parameter/object name reservoirFlushedStatus >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.STUB:ModePreTreat.getPreTreatmentFillVolume TEST.VALUE:ModePreTreat.handlePreTreatmentReservoirMgmtFillCmdState.return:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE TEST.VALUE:ModePreTreat.getPreTreatmentFillVolume.return: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.handlePreTreatmentReservoirMgmtFillCmdState.return:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCmdState.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCmdState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCmdState.003 TEST.BASIS_PATH:6 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((HD_PRE_TREATMENT_RECIRCULATE_STATE) == currentPreTreatmentState) ==> TRUE (2) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_RECIRCULATE_STATE TEST.VALUE:ModePreTreat.handlePreTreatmentReservoirMgmtFillCmdState.return:PRE_TREATMENT_RESERVOIR_MGMT_START_FILL_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<> TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtFillCmdState.return:PRE_TREATMENT_RESERVOIR_MGMT_START_FILL_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCmdState.004 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCmdState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCmdState.004 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.STUB:ModePreTreat.getPreTreatmentFillVolume TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_1].initialDrain:1 TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].initialDrain:1 TEST.VALUE:ModePreTreat.handlePreTreatmentReservoirMgmtFillCmdState.return:PRE_TREATMENT_RESERVOIR_MGMT_START_FILL_STATE TEST.VALUE:ModePreTreat.getPreTreatmentFillVolume.return: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.handlePreTreatmentReservoirMgmtFillCmdState.return:PRE_TREATMENT_RESERVOIR_MGMT_START_FILL_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCmdState.005 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCmdState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCmdState.005 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.STUB:ModePreTreat.setPreTreatmentHeatingParams TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_1].startFlushFill:1 TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].startFlushFill:1 TEST.VALUE:ModePreTreat.handlePreTreatmentReservoirMgmtFillCmdState.return:PRE_TREATMENT_RESERVOIR_MGMT_FILL_CMD_RESP_STATE TEST.VALUE:ModePreTreat.setPreTreatmentHeatingParams.targetTempC:45.0 TEST.VALUE:ModePreTreat.setPreTreatmentHeatingParams.targetVolML:0 TEST.VALUE:ModePreTreat.setPreTreatmentHeatingParams.targetFillFlowLPM:0.8 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.<>.reservoirStatus[DG_RESERVOIR_1].startFlushFill:1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].startFlushFill:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtFillCmdState.return:PRE_TREATMENT_RESERVOIR_MGMT_FILL_CMD_RESP_STATE TEST.EXPECTED:ModePreTreat.setPreTreatmentHeatingParams.targetTempC:45.0 TEST.EXPECTED:ModePreTreat.setPreTreatmentHeatingParams.targetVolML:300 TEST.EXPECTED:ModePreTreat.setPreTreatmentHeatingParams.targetFillFlowLPM:0.8 TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCmdState.006 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCmdState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCmdState.006 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.STUB:ModePreTreat.getPreTreatmentFillVolume TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_1].flushComplete:1 TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].flushComplete:1 TEST.VALUE:ModePreTreat.handlePreTreatmentReservoirMgmtFillCmdState.return:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE TEST.VALUE:ModePreTreat.getPreTreatmentFillVolume.return: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.handlePreTreatmentReservoirMgmtFillCmdState.return:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCmdState.007 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCmdState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCmdState.007 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.STUB:ModePreTreat.setPreTreatmentHeatingParams TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_1].startNormalFill:1 TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_1].flushComplete:1 TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].startNormalFill:1 TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].flushComplete:1 TEST.VALUE:ModePreTreat.handlePreTreatmentReservoirMgmtFillCmdState.return:PRE_TREATMENT_RESERVOIR_MGMT_FILL_CMD_RESP_STATE TEST.VALUE:ModePreTreat.setPreTreatmentHeatingParams.targetTempC:39.0 TEST.VALUE:ModePreTreat.setPreTreatmentHeatingParams.targetVolML:0 TEST.VALUE:ModePreTreat.setPreTreatmentHeatingParams.targetFillFlowLPM:0.8 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.<>.reservoirStatus[DG_RESERVOIR_1].startNormalFill:1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_1].flushComplete:1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].startNormalFill:1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].flushComplete:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtFillCmdState.return:PRE_TREATMENT_RESERVOIR_MGMT_FILL_CMD_RESP_STATE TEST.EXPECTED:ModePreTreat.setPreTreatmentHeatingParams.targetTempC:39.0 TEST.EXPECTED:ModePreTreat.setPreTreatmentHeatingParams.targetVolML:1300 TEST.EXPECTED:ModePreTreat.setPreTreatmentHeatingParams.targetFillFlowLPM:0.8 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.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 972 TEST.VALUE:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:0 >>> >>> Unknown parameter/object name reservoirFilledStatus >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 973 TEST.VALUE:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:1 >>> >>> Unknown parameter/object name reservoirFlushedStatus >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 977 TEST.EXPECTED:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_1]:1 >>> >>> Unknown parameter/object name reservoirFilledStatus >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 978 TEST.EXPECTED:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_2]:0 >>> >>> Unknown parameter/object name reservoirFilledStatus >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 979 TEST.EXPECTED:ModePreTreat.<>.reservoirFlushedStatus[DG_RESERVOIR_1..DG_RESERVOIR_2]:1 >>> >>> Unknown parameter/object name reservoirFlushedStatus >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.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_REQUEST_RESERVOIR_SWITCH_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCompleteState_Rsrvr1_Fill_False.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCompleteState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCompleteState_Rsrvr1_Fill_False.001 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.<>.reservoirStatus[DG_RESERVOIR_1].flushComplete:1 TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_1].fillComplete: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.handlePreTreatmentReservoirMgmtFillCompleteState.return:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCompleteState_Rsrvr1_Fill_False.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCompleteState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCompleteState_Rsrvr1_Fill_False.002 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.<>.reservoirStatus[DG_RESERVOIR_1].flushComplete:1 TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].flushComplete: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.<>.reservoirStatus[DG_RESERVOIR_1].flushComplete:1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_1].fillComplete:1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].flushComplete:1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].fillComplete:0 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtFillCompleteState.return:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtFillCompleteState_Rsrvr1_Fill_False.003 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtFillCompleteState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtFillCompleteState_Rsrvr1_Fill_False.003 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.<>.reservoirStatus[DG_RESERVOIR_1].flushComplete:0 TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_1].flushCount:1 TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].flushComplete:0 TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].flushCount: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.<>.reservoirStatus[DG_RESERVOIR_1].flushComplete:1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_1].flushCount:0 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].flushComplete:0 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].flushCount: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 -- Test Case: handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.004 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtRequestReservoirSwitchState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.004 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:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].fillComplete:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].fillComplete:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.return:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.005 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtRequestReservoirSwitchState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.005 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.STUB:ModePreTreat.getPreTreatmentSubState TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].fillComplete:1 TEST.VALUE:ModePreTreat.getPreTreatmentSubState.return:HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].fillComplete:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.return:PRE_TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RESERVOIR_SWITCH_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.006 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtRequestReservoirSwitchState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.006 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.STUB:ModePreTreat.getPreTreatmentSubState TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].fillComplete:1 TEST.VALUE:ModePreTreat.getPreTreatmentSubState.return:HD_PRE_TREATMENT_PRIME_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].fillComplete:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.return:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.007 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtRequestReservoirSwitchState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.007 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.STUB:ModePreTreat.getPreTreatmentSubState TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].fillComplete:1 TEST.VALUE:ModePreTreat.getPreTreatmentSubState.return:HD_PRE_TREATMENT_PRIME_STATE TEST.VALUE:uut_prototype_stubs.getPrimeState.return:MACRO=HD_PRIME_RESERVOIR_TWO_FILL_COMPLETE_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].fillComplete:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.return:PRE_TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RESERVOIR_SWITCH_STATE TEST.END -- Test Case: handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.008 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtRequestReservoirSwitchState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtRequestReservoirSwitchState.008 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.STUB:ModePreTreat.getPreTreatmentSubState TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].fillComplete:1 TEST.VALUE:ModePreTreat.getPreTreatmentSubState.return:HD_PRE_TREATMENT_PRIME_STATE TEST.VALUE:uut_prototype_stubs.getPrimeState.return:12 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].fillComplete:1 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.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1187 TEST.VALUE:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_1]:1 >>> >>> Unknown parameter/object name reservoirFilledStatus >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1188 TEST.VALUE:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_2]:0 >>> >>> Unknown parameter/object name reservoirFilledStatus >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.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.IMPORT_FAILURES: (I) @LINE: 2618 >>> 'DG_CMD_SWITCH_RESERVOIR' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) >>> (I) @LINE: 2618 >>> >>> 'DG_CMD_SWITCH_RESERVOIR' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 2503 >>> >>> 'DG_CMD_SWITCH_RESERVOIR' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 2306 >>> >>> 'DG_CMD_SWITCH_RESERVOIR' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 2304 >>> >>> 'DG_CMD_SWITCH_RESERVOIR' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 2291 >>> >>> 'DG_CMD_SWITCH_RESERVOIR' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 1598 >>> >>> 'DG_CMD_SWITCH_RESERVOIR' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 1306 >>> >>> 'DG_CMD_SWITCH_RESERVOIR' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 1276 >>> >>> 'DG_CMD_SWITCH_RESERVOIR' was specified as a macro, but it is in the symbol dictionary. >>> (E) @LINE: 1206 TEST.VALUE:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_1]:1 >>> >>> Unknown parameter/object name reservoirFilledStatus >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1207 TEST.VALUE:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_2]:0 >>> >>> Unknown parameter/object name reservoirFilledStatus >>> >>> Value Line Error - Command Ignored >>> (I) @LINE: 1211 >>> >>> 'DG_CMD_SWITCH_RESERVOIR' was specified as a macro, but it is in the symbol dictionary. >>> (E) @LINE: 1213 TEST.EXPECTED:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_1]:1 >>> >>> Unknown parameter/object name reservoirFilledStatus >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1214 TEST.EXPECTED:ModePreTreat.<>.reservoirFilledStatus[DG_RESERVOIR_2]:0 >>> >>> Unknown parameter/object name reservoirFilledStatus >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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: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:MACRO=DG_CMD_SWITCH_RESERVOIR TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 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.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: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:MACRO=DG_CMD_SWITCH_RESERVOIR TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.cmdRespPtr[0].rejectCode:MACRO=DG_CMD_REQUEST_REJECT_REASON_INVALID_MODE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtWaitReservoirSwitchState.return:PRE_TREATMENT_RESERVOIR_MGMT_REQUEST_RESERVOIR_SWITCH_STATE TEST.EXPECTED:uut_prototype_stubs.getDGCommandResponse.commandID:1 TEST.END -- Test Case: handlePreTreatmentReservoirMgmtWaitReservoirSwitchState.004 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtWaitReservoirSwitchState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtWaitReservoirSwitchState.004 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: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:MACRO=DG_CMD_SWITCH_RESERVOIR TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.cmdRespPtr[0].rejectCode:MACRO=DG_CMD_REQUEST_REJECT_REASON_NONE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtWaitReservoirSwitchState.return:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE TEST.EXPECTED:uut_prototype_stubs.getDGCommandResponse.commandID:1 TEST.END -- Test Case: handlePreTreatmentReservoirMgmtWaitReservoirSwitchState.005 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtWaitReservoirSwitchState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtWaitReservoirSwitchState.005 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.<>.reservoirStatus[DG_RESERVOIR_1].fillComplete:1 TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].fillComplete:1 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:MACRO=DG_CMD_SWITCH_RESERVOIR TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.cmdRespPtr[0].rejectCode:MACRO=DG_CMD_REQUEST_REJECT_REASON_NONE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_1].fillComplete:1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].fillComplete:1 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtWaitReservoirSwitchState.return:PRE_TREATMENT_RESERVOIR_MGMT_COMPLETE_STATE TEST.EXPECTED:uut_prototype_stubs.getDGCommandResponse.commandID:1 TEST.END -- Test Case: handlePreTreatmentReservoirMgmtWaitReservoirSwitchState.006 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtWaitReservoirSwitchState TEST.NEW TEST.NAME:handlePreTreatmentReservoirMgmtWaitReservoirSwitchState.006 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.<>.reservoirStatus[DG_RESERVOIR_1].fillComplete:1 TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].fillComplete: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:MACRO=DG_CMD_SWITCH_RESERVOIR TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.cmdRespPtr[0].rejectCode:MACRO=DG_CMD_REQUEST_REJECT_REASON_NONE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_1].fillComplete:1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].fillComplete:0 TEST.EXPECTED:ModePreTreat.handlePreTreatmentReservoirMgmtWaitReservoirSwitchState.return:PRE_TREATMENT_RESERVOIR_MGMT_DRAIN_CMD_STATE 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.<>.submodeCompleteTransitionTimeCounter:21 TEST.EXPECTED:ModePreTreat.handlePrimeState.return:HD_PRE_TREATMENT_PRIME_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 -- Test Case: handlePrimeState.004 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePrimeState TEST.NEW TEST.NAME:handlePrimeState.004 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:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:21 TEST.VALUE:uut_prototype_stubs.getPrimeState.return:12 TEST.EXPECTED:ModePreTreat.<>.alarmActionResumeReceived:0 TEST.EXPECTED:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:0 TEST.EXPECTED:ModePreTreat.handlePrimeState.return:HD_PRE_TREATMENT_RECIRCULATE_STATE TEST.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_PRIME_COMPLETED_LOW_PRIORITY 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.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:4 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.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:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:21 TEST.VALUE:uut_prototype_stubs.getConsumableSelfTestState.return:4 TEST.EXPECTED:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:0 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:0 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:0 TEST.EXPECTED:ModePreTreat.handleSelfTestNoCartState.return:HD_PRE_TREATMENT_CART_INSTALL_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:4294967295 TEST.END -- Test Case: handleSelfTestNoCartState.006 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleSelfTestNoCartState TEST.NEW TEST.NAME:handleSelfTestNoCartState.006 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:19 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:20 TEST.EXPECTED:ModePreTreat.handleSelfTestNoCartState.return:HD_PRE_TREATMENT_SELF_TEST_NO_CART_STATE 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.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1740 TEST.EXPECTED:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_START_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "HD_PRE_TREATMENT_START_STATE" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:ModePreTreat.<>.setUFVolStatus:0 TEST.EXPECTED:ModePreTreat.<>.setUFVolStatus:0 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: setPreTreatmentHeatingParams -- Test Case: setPreTreatmentHeatingParams.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:setPreTreatmentHeatingParams TEST.NEW TEST.NAME:setPreTreatmentHeatingParams.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.VALUE:ModePreTreat.setPreTreatmentHeatingParams.targetTempC:<> TEST.VALUE:ModePreTreat.setPreTreatmentHeatingParams.targetVolML:<> TEST.VALUE:ModePreTreat.setPreTreatmentHeatingParams.targetFillFlowLPM:<> TEST.VALUE:ModePreTreat.setPreTreatmentHeatingParams.dialysateFlowMLPM:<> TEST.EXPECTED:ModePreTreat.setPreTreatmentHeatingParams.targetTempC:-3.40282E+38 TEST.EXPECTED:ModePreTreat.setPreTreatmentHeatingParams.targetVolML:0 TEST.EXPECTED:ModePreTreat.setPreTreatmentHeatingParams.targetFillFlowLPM:-3.40282E+38 TEST.EXPECTED:ModePreTreat.setPreTreatmentHeatingParams.dialysateFlowMLPM:0 TEST.EXPECTED:uut_prototype_stubs.cmdSetDGDialysateHeatingParams.heatingParams.trimmerTargetTemperature:-3.40282E+38 TEST.EXPECTED:uut_prototype_stubs.cmdSetDGDialysateHeatingParams.heatingParams.timeReservoirCycleMS:0 TEST.EXPECTED:uut_prototype_stubs.cmdSetDGDialysateHeatingParams.heatingParams.timeReservoirFillMS:-0.0 TEST.EXPECTED:uut_prototype_stubs.cmdSetDGDialysateHeatingParams.heatingParams.timeReservoirWait2SwitchMS:0 TEST.EXPECTED:uut_prototype_stubs.cmdSetDGDialysateHeatingParams.heatingParams.dialysateFlowLPM:0.0 TEST.EXPECTED:uut_prototype_stubs.cmdSetDGDialysateHeatingParams.heatingParams.usePriTargetTempEquation: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: 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 -- Test Case: signalAlarmActionToPreTreatmentMode.008 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalAlarmActionToPreTreatmentMode TEST.NEW TEST.NAME:signalAlarmActionToPreTreatmentMode.008 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:HD_PRE_TREATMENT_SELF_TEST_CONSUMABLE_STATE TEST.VALUE:ModePreTreat.signalAlarmActionToPreTreatmentMode.action:ALARM_ACTION_END_TREATMENT TEST.EXPECTED:ModePreTreat.signalAlarmActionToPreTreatmentMode.action:ALARM_ACTION_END_TREATMENT TEST.END -- Subprogram: signalAllowDGFillRes1 -- Test Case: signalAllowDGFillRes1.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalAllowDGFillRes1 TEST.NEW TEST.NAME:signalAllowDGFillRes1.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_1].startNormalFill:1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].startNormalFill:0 TEST.END -- Subprogram: signalAllowDGFillRes2 -- Test Case: signalAllowDGFillRes2.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalAllowDGFillRes2 TEST.NEW TEST.NAME:signalAllowDGFillRes2.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].startNormalFill:1 TEST.END -- Subprogram: signalAllowDGFlushFills -- Test Case: signalAllowDGFlushFills.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalAllowDGFlushFills TEST.NEW TEST.NAME:signalAllowDGFlushFills.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_1].startFlushFill:1 TEST.EXPECTED:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].startFlushFill:1 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.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1955 TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_START_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "HD_PRE_TREATMENT_START_STATE" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: 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: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.008 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserConfirmInstallation TEST.NEW TEST.NAME:signalUserConfirmInstallation.008 TEST.BASIS_PATH:6 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((MODE_PRET) == getCurrentOperationMode() && (HD_PRE_TREATMENT_CART_INSTALL_STATE) == currentPreTreatmentState) ==> TRUE (2) if ((STATE_CLOSED) == pumpTrack) ==> TRUE (3) if ((STATE_CLOSED) == frontDoor) ==> TRUE (4) if ((1) == isSyringeDetected() || bolusVol < (9.999999939e-09F) && hepRate < (9.999999939e-09F)) ==> TRUE (5) if (bolusVol > (9.999999939e-09F) || hepRate > (9.999999939e-09F)) ==> 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.return:STATE_CLOSED TEST.VALUE:uut_prototype_stubs.isSyringeDetected.return:1 TEST.EXPECTED:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_CART_INSTALL_STATE TEST.END -- Test Case: signalUserConfirmInstallation.009 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserConfirmInstallation TEST.NEW TEST.NAME:signalUserConfirmInstallation.009 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.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME,TREATMENT_PARAM_HEPARIN_DISPENSE_RATE,TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME,TREATMENT_PARAM_HEPARIN_DISPENSE_RATE TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:(2)0.0,0.00000001,0.00000002 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.isSyringeDetected.return:<> TEST.EXPECTED:ModePreTreat.<>.confirmInstallRequested:1 TEST.EXPECTED:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_CART_INSTALL_STATE TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME,TREATMENT_PARAM_HEPARIN_DISPENSE_RATE TEST.END -- Test Case: signalUserConfirmInstallation.010 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserConfirmInstallation TEST.NEW TEST.NAME:signalUserConfirmInstallation.010 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.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME,TREATMENT_PARAM_HEPARIN_DISPENSE_RATE,TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME,TREATMENT_PARAM_HEPARIN_DISPENSE_RATE TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:(3)0.0,<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.isSyringeDetected.return:<> TEST.EXPECTED:ModePreTreat.<>.confirmInstallRequested:1 TEST.EXPECTED:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_CART_INSTALL_STATE TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME,TREATMENT_PARAM_HEPARIN_DISPENSE_RATE TEST.END -- Test Case: signalUserConfirmInstallation.011 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserConfirmInstallation TEST.NEW TEST.NAME:signalUserConfirmInstallation.011 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.param:TREATMENT_PARAM_BLOOD_FLOW TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:1.1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.isSyringeDetected.return:<> TEST.EXPECTED:ModePreTreat.<>.confirmInstallRequested:0 TEST.EXPECTED:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_CART_INSTALL_STATE TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME,TREATMENT_PARAM_HEPARIN_DISPENSE_RATE TEST.END -- Test Case: signalUserConfirmInstallation.012 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserConfirmInstallation TEST.NEW TEST.NAME:signalUserConfirmInstallation.012 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.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME 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.EXPECTED:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_CART_INSTALL_STATE TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME,TREATMENT_PARAM_HEPARIN_DISPENSE_RATE TEST.END -- Test Case: signalUserConfirmInstallation.013 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserConfirmInstallation TEST.NEW TEST.NAME:signalUserConfirmInstallation.013 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.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:1.0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.isSyringeDetected.return:<> TEST.EXPECTED:ModePreTreat.<>.confirmInstallRequested:0 TEST.EXPECTED:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_CART_INSTALL_STATE TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME,TREATMENT_PARAM_HEPARIN_DISPENSE_RATE TEST.END -- Test Case: signalUserConfirmInstallation.014 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserConfirmInstallation TEST.NEW TEST.NAME:signalUserConfirmInstallation.014 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:0 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.<>.setUFVolStatus:1 TEST.EXPECTED:ModePreTreat.<>.patientConnectionConfirm:0 TEST.EXPECTED:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE TEST.END -- Test Case: signalUserConfirmPatientConnection.004 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:signalUserConfirmPatientConnection TEST.NEW TEST.NAME:signalUserConfirmPatientConnection.004 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.VALUE:ModePreTreat.<>.currentPreTxPatConnState:PRE_TREATMENT_PAT_CONN_WAIT_FOR_USER_CONFIRM_STATE TEST.EXPECTED:ModePreTreat.<>.setUFVolStatus:1 TEST.EXPECTED:ModePreTreat.<>.patientConnectionConfirm:1 TEST.EXPECTED:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE TEST.EXPECTED:ModePreTreat.<>.currentPreTxPatConnState:PRE_TREATMENT_PAT_CONN_WAIT_FOR_USER_CONFIRM_STATE 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.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 2224 TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_START_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "HD_PRE_TREATMENT_START_STATE" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: 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.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.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 2305 TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_START_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "HD_PRE_TREATMENT_START_STATE" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: 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: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 -- Test Case: transitionToPatientConnection.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:transitionToPatientConnection TEST.NEW TEST.NAME:transitionToPatientConnection.002 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.getTestConfigStatus.return:1 TEST.EXPECTED:ModePreTreat.<>.setUFVolStatus:0 TEST.EXPECTED:ModePreTreat.<>.patientConnectionConfirm:0 TEST.EXPECTED:ModePreTreat.<>.treatmentStartRequested:0 TEST.EXPECTED:uut_prototype_stubs.getTestConfigStatus.config:TEST_CONFIG_EXPEDITE_PRE_TREATMENT 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 -- Test Case: transitionToPreTreatmentMode.002 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:transitionToPreTreatmentMode TEST.NEW TEST.NAME:transitionToPreTreatmentMode.002 TEST.VALUE:ModePreTreat.transitionToPreTreatmentMode.return:0 TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 TEST.EXPECTED:ModePreTreat.transitionToPreTreatmentMode.return:7 TEST.EXPECTED:uut_prototype_stubs.getTestConfigStatus.config:(2)TEST_CONFIG_EXPEDITE_PRE_TREATMENT TEST.END