-- VectorCAST 19.sp3 (11/13/19) -- Test Case Script -- -- Environment : MODESTANDBY -- Unit(s) Under Test: ModeStandby -- -- 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: ModeStandby -- Subprogram: execStandbyMode -- Test Case: execStandbyMode.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:execStandbyMode TEST.NEW TEST.NAME:execStandbyMode.001 TEST.BASIS_PATH:1 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 1 (13) case currentStandbyState ==> default Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:NUM_OF_STANDBY_STATES TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.END -- Test Case: execStandbyMode.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:execStandbyMode TEST.NEW TEST.NAME:execStandbyMode.002 TEST.BASIS_PATH:2 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) case currentStandbyState ==> STANDBY_START_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.END -- Test Case: execStandbyMode.003 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:execStandbyMode TEST.NEW TEST.NAME:execStandbyMode.003 TEST.BASIS_PATH:3 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 3 (2) case currentStandbyState ==> STANDBY_WAIT_FOR_TREATMENT_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.END -- Test Case: execStandbyMode.004 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:execStandbyMode TEST.NEW TEST.NAME:execStandbyMode.004 TEST.BASIS_PATH:4 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 4 (3) case currentStandbyState ==> STANDBY_WAIT_FOR_DISINFECT_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.END -- Test Case: execStandbyMode.005 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:execStandbyMode TEST.NEW TEST.NAME:execStandbyMode.005 TEST.BASIS_PATH:5 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 5 (4) case currentStandbyState ==> STANDBY_WAIT_FOR_DG_FLUSH_CMD_RESPONSE_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DG_FLUSH_CMD_RESPONSE_STATE TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DG_FLUSH_CMD_RESPONSE_STATE TEST.END -- Test Case: execStandbyMode.006 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:execStandbyMode TEST.NEW TEST.NAME:execStandbyMode.006 TEST.BASIS_PATH:6 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 6 (5) case currentStandbyState ==> STANDBY_WAIT_FOR_DG_FLUSH_TO_START_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DG_FLUSH_TO_START_STATE TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DG_FLUSH_TO_START_STATE TEST.END -- Test Case: execStandbyMode.007 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:execStandbyMode TEST.NEW TEST.NAME:execStandbyMode.007 TEST.BASIS_PATH:7 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 7 (6) case currentStandbyState ==> STANDBY_DG_FLUSH_IN_PROGRESS_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.END -- Test Case: execStandbyMode.008 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:execStandbyMode TEST.NEW TEST.NAME:execStandbyMode.008 TEST.BASIS_PATH:8 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 8 (7) case currentStandbyState ==> STANDBY_WAIT_FOR_DG_HEAT_DISINFECT_CMD_RESPONSE_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DG_HEAT_DISINFECT_CMD_RESPONSE_STATE TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DG_HEAT_DISINFECT_CMD_RESPONSE_STATE TEST.END -- Test Case: execStandbyMode.009 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:execStandbyMode TEST.NEW TEST.NAME:execStandbyMode.009 TEST.BASIS_PATH:9 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 9 (8) case currentStandbyState ==> STANDBY_WAIT_FOR_DG_HEAT_DISINFECT_TO_START_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DG_HEAT_DISINFECT_TO_START_STATE TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DG_HEAT_DISINFECT_TO_START_STATE TEST.END -- Test Case: execStandbyMode.010 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:execStandbyMode TEST.NEW TEST.NAME:execStandbyMode.010 TEST.BASIS_PATH:10 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 10 (9) case currentStandbyState ==> STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.END -- Test Case: execStandbyMode.011 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:execStandbyMode TEST.NEW TEST.NAME:execStandbyMode.011 TEST.BASIS_PATH:11 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 11 (10) case currentStandbyState ==> STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_CMD_RESPONSE_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_CMD_RESPONSE_STATE TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_CMD_RESPONSE_STATE TEST.END -- Test Case: execStandbyMode.012 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:execStandbyMode TEST.NEW TEST.NAME:execStandbyMode.012 TEST.BASIS_PATH:12 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 12 (11) case currentStandbyState ==> STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_TO_START_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_TO_START_STATE TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_TO_START_STATE TEST.END -- Test Case: execStandbyMode.013 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:execStandbyMode TEST.NEW TEST.NAME:execStandbyMode.013 TEST.BASIS_PATH:13 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 13 (12) case currentStandbyState ==> STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.END -- Test Case: execStandbyMode.014 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:execStandbyMode TEST.NEW TEST.NAME:execStandbyMode.014 TEST.NOTES: This is an automatically generated test case. Test Path 13 (12) case currentStandbyState ==> STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:ModeStandby.handleStandbyModeWaitForDGChemDisinfectFlushCmdResponseState TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_FLUSH_CMD_RESPONSE_STATE TEST.VALUE:ModeStandby.handleStandbyModeWaitForDGChemDisinfectFlushCmdResponseState.return:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_FLUSH_CMD_RESPONSE_STATE TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_FLUSH_CMD_RESPONSE_STATE TEST.END -- Test Case: execStandbyMode.015 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:execStandbyMode TEST.NEW TEST.NAME:execStandbyMode.015 TEST.NOTES: This is an automatically generated test case. Test Path 13 (12) case currentStandbyState ==> STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:ModeStandby.handleStandbyModeWaitForDGChemDisinfectFlushCmdResponseState TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_FLUSH_TO_START_STATE TEST.VALUE:ModeStandby.handleStandbyModeWaitForDGChemDisinfectFlushCmdResponseState.return:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_FLUSH_TO_START_STATE TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_FLUSH_TO_START_STATE TEST.END -- Test Case: execStandbyMode.016 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:execStandbyMode TEST.NEW TEST.NAME:execStandbyMode.016 TEST.NOTES: This is an automatically generated test case. Test Path 13 (12) case currentStandbyState ==> STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:ModeStandby.handleStandbyModeWaitForDGChemDisinfectFlushCmdResponseState TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_DG_CHEM_DISINFECT_FLUSH_IN_PROGRESS_STATE TEST.VALUE:ModeStandby.handleStandbyModeWaitForDGChemDisinfectFlushCmdResponseState.return:STANDBY_DG_CHEM_DISINFECT_FLUSH_IN_PROGRESS_STATE TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.END -- Subprogram: handleDisinfectCancel -- Test Case: handleDisinfectCancel.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleDisinfectCancel TEST.NEW TEST.NAME:handleDisinfectCancel.001 TEST.BASIS_PATH:1 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (((STANDBY_DG_FLUSH_IN_PROGRESS_STATE) == currentStandbyState || (STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) || (STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.VALUE:ModeStandby.handleDisinfectCancel.stop:<> TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.EXPECTED:ModeStandby.handleDisinfectCancel.stop:0 TEST.END -- Test Case: handleDisinfectCancel.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleDisinfectCancel TEST.NEW TEST.NAME:handleDisinfectCancel.002 TEST.BASIS_PATH:2 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (((STANDBY_DG_FLUSH_IN_PROGRESS_STATE) == currentStandbyState || (STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) || (STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) ==> TRUE (2) if ((1) == stop && (GENERIC_CONFIRM_ID_NONE) == disinfectCancelReqID) ==> FALSE (6) if ((GENERIC_CONFIRM_ID_NONE) != disinfectCancelReqID) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE TEST.VALUE:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:ModeStandby.handleDisinfectCancel.stop:<> TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE TEST.EXPECTED:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:ModeStandby.handleDisinfectCancel.stop:0 TEST.END -- Test Case: handleDisinfectCancel.003 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleDisinfectCancel TEST.NEW TEST.NAME:handleDisinfectCancel.003 TEST.BASIS_PATH:3 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (((STANDBY_DG_FLUSH_IN_PROGRESS_STATE) == currentStandbyState || (STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) || (STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) ==> TRUE (2) if ((1) == stop && (GENERIC_CONFIRM_ID_NONE) == disinfectCancelReqID) ==> FALSE (6) if ((GENERIC_CONFIRM_ID_NONE) != disinfectCancelReqID) ==> TRUE (16) case confirm_status ==> default Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE TEST.VALUE:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.VALUE:ModeStandby.handleDisinfectCancel.stop:<> TEST.VALUE:uut_prototype_stubs.getConfirmationRequestStatus.return:NUM_OF_CONFIRMATION_REQUEST_STATUS TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE TEST.EXPECTED:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.EXPECTED:ModeStandby.handleDisinfectCancel.stop:0 TEST.END -- Test Case: handleDisinfectCancel.004 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleDisinfectCancel TEST.NEW TEST.NAME:handleDisinfectCancel.004 TEST.BASIS_PATH:5 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (((STANDBY_DG_FLUSH_IN_PROGRESS_STATE) == currentStandbyState || (STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) || (STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) ==> TRUE (2) if ((1) == stop && (GENERIC_CONFIRM_ID_NONE) == disinfectCancelReqID) ==> FALSE (6) if ((GENERIC_CONFIRM_ID_NONE) != disinfectCancelReqID) ==> TRUE (7) case confirm_status ==> CONFIRMATION_REQUEST_STATUS_ACCEPTED (8) case currentStandbyState ==> STANDBY_DG_FLUSH_IN_PROGRESS_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE TEST.VALUE:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.VALUE:ModeStandby.handleDisinfectCancel.stop:<> TEST.VALUE:uut_prototype_stubs.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_ACCEPTED TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE TEST.EXPECTED:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:ModeStandby.handleDisinfectCancel.stop:0 TEST.END -- Test Case: handleDisinfectCancel.005 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleDisinfectCancel TEST.NEW TEST.NAME:handleDisinfectCancel.005 TEST.BASIS_PATH:6 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (((STANDBY_DG_FLUSH_IN_PROGRESS_STATE) == currentStandbyState || (STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) || (STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) ==> TRUE (2) if ((1) == stop && (GENERIC_CONFIRM_ID_NONE) == disinfectCancelReqID) ==> FALSE (6) if ((GENERIC_CONFIRM_ID_NONE) != disinfectCancelReqID) ==> TRUE (7) case confirm_status ==> CONFIRMATION_REQUEST_STATUS_ACCEPTED (9) case currentStandbyState ==> STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE TEST.VALUE:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.VALUE:ModeStandby.handleDisinfectCancel.stop:<> TEST.VALUE:uut_prototype_stubs.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_ACCEPTED TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE TEST.EXPECTED:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:ModeStandby.handleDisinfectCancel.stop:0 TEST.END -- Test Case: handleDisinfectCancel.006 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleDisinfectCancel TEST.NEW TEST.NAME:handleDisinfectCancel.006 TEST.BASIS_PATH:7 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if (((STANDBY_DG_FLUSH_IN_PROGRESS_STATE) == currentStandbyState || (STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) || (STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) ==> TRUE (2) if ((1) == stop && (GENERIC_CONFIRM_ID_NONE) == disinfectCancelReqID) ==> FALSE (6) if ((GENERIC_CONFIRM_ID_NONE) != disinfectCancelReqID) ==> TRUE (7) case confirm_status ==> CONFIRMATION_REQUEST_STATUS_ACCEPTED (10) case currentStandbyState ==> STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE TEST.VALUE:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.VALUE:ModeStandby.handleDisinfectCancel.stop:<> TEST.VALUE:uut_prototype_stubs.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_ACCEPTED TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE TEST.EXPECTED:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:ModeStandby.handleDisinfectCancel.stop:0 TEST.END -- Test Case: handleDisinfectCancel.007 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleDisinfectCancel TEST.NEW TEST.NAME:handleDisinfectCancel.007 TEST.BASIS_PATH:8 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if (((STANDBY_DG_FLUSH_IN_PROGRESS_STATE) == currentStandbyState || (STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) || (STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) ==> TRUE (2) if ((1) == stop && (GENERIC_CONFIRM_ID_NONE) == disinfectCancelReqID) ==> FALSE (6) if ((GENERIC_CONFIRM_ID_NONE) != disinfectCancelReqID) ==> TRUE (12) case confirm_status ==> CONFIRMATION_REQUEST_STATUS_TIMEOUT Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE TEST.VALUE:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.VALUE:ModeStandby.handleDisinfectCancel.stop:<> TEST.VALUE:uut_prototype_stubs.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_TIMEOUT TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE TEST.EXPECTED:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:ModeStandby.handleDisinfectCancel.stop:0 TEST.END -- Test Case: handleDisinfectCancel.008 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleDisinfectCancel TEST.NEW TEST.NAME:handleDisinfectCancel.008 TEST.BASIS_PATH:9 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) if (((STANDBY_DG_FLUSH_IN_PROGRESS_STATE) == currentStandbyState || (STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) || (STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) ==> TRUE (2) if ((1) == stop && (GENERIC_CONFIRM_ID_NONE) == disinfectCancelReqID) ==> FALSE (6) if ((GENERIC_CONFIRM_ID_NONE) != disinfectCancelReqID) ==> TRUE (13) case confirm_status ==> CONFIRMATION_REQUEST_STATUS_REJECTED Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE TEST.VALUE:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.VALUE:ModeStandby.handleDisinfectCancel.stop:<> TEST.VALUE:uut_prototype_stubs.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_REJECTED TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE TEST.EXPECTED:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:ModeStandby.handleDisinfectCancel.stop:0 TEST.END -- Test Case: handleDisinfectCancel.009 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleDisinfectCancel TEST.NEW TEST.NAME:handleDisinfectCancel.009 TEST.BASIS_PATH:10 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 10 (1) if (((STANDBY_DG_FLUSH_IN_PROGRESS_STATE) == currentStandbyState || (STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) || (STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) ==> TRUE (2) if ((1) == stop && (GENERIC_CONFIRM_ID_NONE) == disinfectCancelReqID) ==> FALSE (6) if ((GENERIC_CONFIRM_ID_NONE) != disinfectCancelReqID) ==> TRUE (14) case confirm_status ==> CONFIRMATION_REQUEST_STATUS_PENDING Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE TEST.VALUE:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.VALUE:ModeStandby.handleDisinfectCancel.stop:<> TEST.VALUE:uut_prototype_stubs.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_PENDING TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE TEST.EXPECTED:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.EXPECTED:ModeStandby.handleDisinfectCancel.stop:0 TEST.END -- Test Case: handleDisinfectCancel.010 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleDisinfectCancel TEST.NEW TEST.NAME:handleDisinfectCancel.010 TEST.BASIS_PATH:11 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if (((STANDBY_DG_FLUSH_IN_PROGRESS_STATE) == currentStandbyState || (STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) || (STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) ==> TRUE (2) if ((1) == stop && (GENERIC_CONFIRM_ID_NONE) == disinfectCancelReqID) ==> FALSE (6) if ((GENERIC_CONFIRM_ID_NONE) != disinfectCancelReqID) ==> TRUE (15) case confirm_status ==> CONFIRMATION_REQUEST_STATUS_UNUSED Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE TEST.VALUE:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.VALUE:ModeStandby.handleDisinfectCancel.stop:<> TEST.VALUE:uut_prototype_stubs.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_UNUSED TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE TEST.EXPECTED:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.EXPECTED:ModeStandby.handleDisinfectCancel.stop:0 TEST.END -- Test Case: handleDisinfectCancel.011 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleDisinfectCancel TEST.NEW TEST.NAME:handleDisinfectCancel.011 TEST.BASIS_PATH:13 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) if (((STANDBY_DG_FLUSH_IN_PROGRESS_STATE) == currentStandbyState || (STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) || (STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) ==> TRUE (2) if ((1) == stop && (GENERIC_CONFIRM_ID_NONE) == disinfectCancelReqID) ==> TRUE (3) if ((STANDBY_DG_FLUSH_IN_PROGRESS_STATE) == currentStandbyState) ==> FALSE (4) if ((STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) ==> FALSE (5) if ((STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE TEST.VALUE:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:ModeStandby.handleDisinfectCancel.stop:1 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE TEST.EXPECTED:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:ModeStandby.handleDisinfectCancel.stop:1 TEST.END -- Test Case: handleDisinfectCancel.012 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleDisinfectCancel TEST.NEW TEST.NAME:handleDisinfectCancel.012 TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) if (((STANDBY_DG_FLUSH_IN_PROGRESS_STATE) == currentStandbyState || (STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) || (STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) ==> TRUE (2) if ((1) == stop && (GENERIC_CONFIRM_ID_NONE) == disinfectCancelReqID) ==> TRUE (3) if ((STANDBY_DG_FLUSH_IN_PROGRESS_STATE) == currentStandbyState) ==> FALSE (4) if ((STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) ==> FALSE (5) if ((STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE TEST.VALUE:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.VALUE:ModeStandby.handleDisinfectCancel.stop:1 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE TEST.EXPECTED:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:ModeStandby.handleDisinfectCancel.stop:1 TEST.END -- Test Case: handleDisinfectCancel.013 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleDisinfectCancel TEST.NEW TEST.NAME:handleDisinfectCancel.013 TEST.BASIS_PATH:14 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 14 (1) if (((STANDBY_DG_FLUSH_IN_PROGRESS_STATE) == currentStandbyState || (STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) || (STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) ==> TRUE (2) if ((1) == stop && (GENERIC_CONFIRM_ID_NONE) == disinfectCancelReqID) ==> TRUE (3) if ((STANDBY_DG_FLUSH_IN_PROGRESS_STATE) == currentStandbyState) ==> FALSE (4) if ((STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE TEST.VALUE:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:ModeStandby.handleDisinfectCancel.stop:1 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE TEST.EXPECTED:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:ModeStandby.handleDisinfectCancel.stop:1 TEST.END -- Test Case: handleDisinfectCancel.014 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleDisinfectCancel TEST.NEW TEST.NAME:handleDisinfectCancel.014 TEST.BASIS_PATH:15 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 15 (1) if (((STANDBY_DG_FLUSH_IN_PROGRESS_STATE) == currentStandbyState || (STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) || (STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) ==> TRUE (2) if ((1) == stop && (GENERIC_CONFIRM_ID_NONE) == disinfectCancelReqID) ==> TRUE (3) if ((STANDBY_DG_FLUSH_IN_PROGRESS_STATE) == currentStandbyState) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE TEST.VALUE:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:ModeStandby.handleDisinfectCancel.stop:1 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE TEST.EXPECTED:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:ModeStandby.handleDisinfectCancel.stop:1 TEST.END -- Test Case: handleDisinfectCancel.015 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleDisinfectCancel TEST.NEW TEST.NAME:handleDisinfectCancel.015 TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) if (((STANDBY_DG_FLUSH_IN_PROGRESS_STATE) == currentStandbyState || (STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) || (STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) ==> TRUE (2) if ((1) == stop && (GENERIC_CONFIRM_ID_NONE) == disinfectCancelReqID) ==> TRUE (3) if ((STANDBY_DG_FLUSH_IN_PROGRESS_STATE) == currentStandbyState) ==> FALSE (4) if ((STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) ==> FALSE (5) if ((STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE) == currentStandbyState) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_DG_CHEM_DISINFECT_FLUSH_IN_PROGRESS_STATE TEST.VALUE:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:ModeStandby.handleDisinfectCancel.stop:1 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_DG_CHEM_DISINFECT_FLUSH_IN_PROGRESS_STATE TEST.EXPECTED:ModeStandby.<>.disinfectCancelReqID:GENERIC_CONFIRM_ID_NONE TEST.EXPECTED:ModeStandby.handleDisinfectCancel.stop:1 TEST.END -- Subprogram: handleStandbyModeDGChemDisininfectFlushInProgressState -- Test Case: handleStandbyModeDGChemDisininfectFlushInProgressState.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeDGChemDisininfectFlushInProgressState TEST.NEW TEST.NAME:handleStandbyModeDGChemDisininfectFlushInProgressState.001 TEST.BASIS_PATH:1 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((0) == hasChemFlushSampleAlarmBeenTrgrd && (1) == isAlarmActive(ALARM_ID_DG_CHEM_DISINFECT_FLUSH_FLUSH_SAMPLE)) ==> FALSE (2) if ((1) == hasChemFlushSampleAlarmBeenTrgrd && (0) == isAlarmActive(ALARM_ID_DG_CHEM_DISINFECT_FLUSH_FLUSH_SAMPLE)) ==> FALSE (3) if (chemFlushSampleID != (GENERIC_CONFIRM_ID_NONE)) ==> FALSE (10) if (getDGOpMode() != (DG_MODE_CHFL)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.hasChemFlushSampleAlarmBeenTrgrd:2 TEST.VALUE:ModeStandby.<>.chemFlushSampleID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:2 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_CHFL TEST.END -- Test Case: handleStandbyModeDGChemDisininfectFlushInProgressState.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeDGChemDisininfectFlushInProgressState TEST.NEW TEST.NAME:handleStandbyModeDGChemDisininfectFlushInProgressState.002 TEST.BASIS_PATH:2 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == hasChemFlushSampleAlarmBeenTrgrd && (1) == isAlarmActive(ALARM_ID_DG_CHEM_DISINFECT_FLUSH_FLUSH_SAMPLE)) ==> FALSE (2) if ((1) == hasChemFlushSampleAlarmBeenTrgrd && (0) == isAlarmActive(ALARM_ID_DG_CHEM_DISINFECT_FLUSH_FLUSH_SAMPLE)) ==> FALSE (3) if (chemFlushSampleID != (GENERIC_CONFIRM_ID_NONE)) ==> FALSE (10) if (getDGOpMode() != (DG_MODE_CHFL)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.hasChemFlushSampleAlarmBeenTrgrd:2 TEST.VALUE:ModeStandby.<>.chemFlushSampleID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:2 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.END -- Test Case: handleStandbyModeDGChemDisininfectFlushInProgressState.003 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeDGChemDisininfectFlushInProgressState TEST.NEW TEST.NAME:handleStandbyModeDGChemDisininfectFlushInProgressState.003 TEST.BASIS_PATH:3 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((0) == hasChemFlushSampleAlarmBeenTrgrd && (1) == isAlarmActive(ALARM_ID_DG_CHEM_DISINFECT_FLUSH_FLUSH_SAMPLE)) ==> FALSE (2) if ((1) == hasChemFlushSampleAlarmBeenTrgrd && (0) == isAlarmActive(ALARM_ID_DG_CHEM_DISINFECT_FLUSH_FLUSH_SAMPLE)) ==> FALSE (3) if (chemFlushSampleID != (GENERIC_CONFIRM_ID_NONE)) ==> TRUE (9) case status ==> default (10) if (getDGOpMode() != (DG_MODE_CHFL)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.hasChemFlushSampleAlarmBeenTrgrd:2 TEST.VALUE:ModeStandby.<>.chemFlushSampleID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:2 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_CHFL TEST.VALUE:uut_prototype_stubs.getConfirmationRequestStatus.return:NUM_OF_CONFIRMATION_REQUEST_STATUS TEST.END -- Test Case: handleStandbyModeDGChemDisininfectFlushInProgressState.004 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeDGChemDisininfectFlushInProgressState TEST.NEW TEST.NAME:handleStandbyModeDGChemDisininfectFlushInProgressState.004 TEST.BASIS_PATH:4 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((0) == hasChemFlushSampleAlarmBeenTrgrd && (1) == isAlarmActive(ALARM_ID_DG_CHEM_DISINFECT_FLUSH_FLUSH_SAMPLE)) ==> FALSE (2) if ((1) == hasChemFlushSampleAlarmBeenTrgrd && (0) == isAlarmActive(ALARM_ID_DG_CHEM_DISINFECT_FLUSH_FLUSH_SAMPLE)) ==> FALSE (3) if (chemFlushSampleID != (GENERIC_CONFIRM_ID_NONE)) ==> TRUE (4) case status ==> CONFIRMATION_REQUEST_STATUS_ACCEPTED (10) if (getDGOpMode() != (DG_MODE_CHFL)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.hasChemFlushSampleAlarmBeenTrgrd:2 TEST.VALUE:ModeStandby.<>.chemFlushSampleID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:2 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_CHFL TEST.VALUE:uut_prototype_stubs.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_ACCEPTED TEST.END -- Test Case: handleStandbyModeDGChemDisininfectFlushInProgressState.005 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeDGChemDisininfectFlushInProgressState TEST.NEW TEST.NAME:handleStandbyModeDGChemDisininfectFlushInProgressState.005 TEST.BASIS_PATH:5 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((0) == hasChemFlushSampleAlarmBeenTrgrd && (1) == isAlarmActive(ALARM_ID_DG_CHEM_DISINFECT_FLUSH_FLUSH_SAMPLE)) ==> FALSE (2) if ((1) == hasChemFlushSampleAlarmBeenTrgrd && (0) == isAlarmActive(ALARM_ID_DG_CHEM_DISINFECT_FLUSH_FLUSH_SAMPLE)) ==> FALSE (3) if (chemFlushSampleID != (GENERIC_CONFIRM_ID_NONE)) ==> TRUE (5) case status ==> CONFIRMATION_REQUEST_STATUS_TIMEOUT (10) if (getDGOpMode() != (DG_MODE_CHFL)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.hasChemFlushSampleAlarmBeenTrgrd:2 TEST.VALUE:ModeStandby.<>.chemFlushSampleID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:2 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_CHFL TEST.VALUE:uut_prototype_stubs.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_TIMEOUT TEST.END -- Test Case: handleStandbyModeDGChemDisininfectFlushInProgressState.006 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeDGChemDisininfectFlushInProgressState TEST.NEW TEST.NAME:handleStandbyModeDGChemDisininfectFlushInProgressState.006 TEST.BASIS_PATH:6 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((0) == hasChemFlushSampleAlarmBeenTrgrd && (1) == isAlarmActive(ALARM_ID_DG_CHEM_DISINFECT_FLUSH_FLUSH_SAMPLE)) ==> FALSE (2) if ((1) == hasChemFlushSampleAlarmBeenTrgrd && (0) == isAlarmActive(ALARM_ID_DG_CHEM_DISINFECT_FLUSH_FLUSH_SAMPLE)) ==> FALSE (3) if (chemFlushSampleID != (GENERIC_CONFIRM_ID_NONE)) ==> TRUE (6) case status ==> CONFIRMATION_REQUEST_STATUS_REJECTED (10) if (getDGOpMode() != (DG_MODE_CHFL)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.hasChemFlushSampleAlarmBeenTrgrd:2 TEST.VALUE:ModeStandby.<>.chemFlushSampleID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:2 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_CHFL TEST.VALUE:uut_prototype_stubs.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_REJECTED TEST.END -- Test Case: handleStandbyModeDGChemDisininfectFlushInProgressState.007 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeDGChemDisininfectFlushInProgressState TEST.NEW TEST.NAME:handleStandbyModeDGChemDisininfectFlushInProgressState.007 TEST.BASIS_PATH:7 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if ((0) == hasChemFlushSampleAlarmBeenTrgrd && (1) == isAlarmActive(ALARM_ID_DG_CHEM_DISINFECT_FLUSH_FLUSH_SAMPLE)) ==> FALSE (2) if ((1) == hasChemFlushSampleAlarmBeenTrgrd && (0) == isAlarmActive(ALARM_ID_DG_CHEM_DISINFECT_FLUSH_FLUSH_SAMPLE)) ==> FALSE (3) if (chemFlushSampleID != (GENERIC_CONFIRM_ID_NONE)) ==> TRUE (7) case status ==> CONFIRMATION_REQUEST_STATUS_PENDING (10) if (getDGOpMode() != (DG_MODE_CHFL)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.hasChemFlushSampleAlarmBeenTrgrd:2 TEST.VALUE:ModeStandby.<>.chemFlushSampleID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:2 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_CHFL TEST.VALUE:uut_prototype_stubs.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_PENDING TEST.END -- Test Case: handleStandbyModeDGChemDisininfectFlushInProgressState.008 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeDGChemDisininfectFlushInProgressState TEST.NEW TEST.NAME:handleStandbyModeDGChemDisininfectFlushInProgressState.008 TEST.BASIS_PATH:8 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if ((0) == hasChemFlushSampleAlarmBeenTrgrd && (1) == isAlarmActive(ALARM_ID_DG_CHEM_DISINFECT_FLUSH_FLUSH_SAMPLE)) ==> FALSE (2) if ((1) == hasChemFlushSampleAlarmBeenTrgrd && (0) == isAlarmActive(ALARM_ID_DG_CHEM_DISINFECT_FLUSH_FLUSH_SAMPLE)) ==> FALSE (3) if (chemFlushSampleID != (GENERIC_CONFIRM_ID_NONE)) ==> TRUE (8) case status ==> CONFIRMATION_REQUEST_STATUS_UNUSED (10) if (getDGOpMode() != (DG_MODE_CHFL)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.hasChemFlushSampleAlarmBeenTrgrd:2 TEST.VALUE:ModeStandby.<>.chemFlushSampleID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:2 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_CHFL TEST.VALUE:uut_prototype_stubs.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_UNUSED TEST.END -- Test Case: handleStandbyModeDGChemDisininfectFlushInProgressState.009 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeDGChemDisininfectFlushInProgressState TEST.NEW TEST.NAME:handleStandbyModeDGChemDisininfectFlushInProgressState.009 TEST.BASIS_PATH:9 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) if ((0) == hasChemFlushSampleAlarmBeenTrgrd && (1) == isAlarmActive(ALARM_ID_DG_CHEM_DISINFECT_FLUSH_FLUSH_SAMPLE)) ==> FALSE (2) if ((1) == hasChemFlushSampleAlarmBeenTrgrd && (0) == isAlarmActive(ALARM_ID_DG_CHEM_DISINFECT_FLUSH_FLUSH_SAMPLE)) ==> TRUE (3) if (chemFlushSampleID != (GENERIC_CONFIRM_ID_NONE)) ==> FALSE (10) if (getDGOpMode() != (DG_MODE_CHFL)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.hasChemFlushSampleAlarmBeenTrgrd:1 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:0 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_CHFL TEST.VALUE:uut_prototype_stubs.addConfirmationRequest.return:GENERIC_CONFIRM_ID_NONE TEST.END -- Test Case: handleStandbyModeDGChemDisininfectFlushInProgressState.010 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeDGChemDisininfectFlushInProgressState TEST.NEW TEST.NAME:handleStandbyModeDGChemDisininfectFlushInProgressState.010 TEST.BASIS_PATH:10 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 10 (1) if ((0) == hasChemFlushSampleAlarmBeenTrgrd && (1) == isAlarmActive(ALARM_ID_DG_CHEM_DISINFECT_FLUSH_FLUSH_SAMPLE)) ==> TRUE (3) if (chemFlushSampleID != (GENERIC_CONFIRM_ID_NONE)) ==> FALSE (10) if (getDGOpMode() != (DG_MODE_CHFL)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.hasChemFlushSampleAlarmBeenTrgrd:0 TEST.VALUE:ModeStandby.<>.chemFlushSampleID:GENERIC_CONFIRM_ID_NONE TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_CHFL TEST.END -- Test Case: handleStandbyModeDGChemDisininfectFlushInProgressState.011 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeDGChemDisininfectFlushInProgressState TEST.NEW TEST.NAME:handleStandbyModeDGChemDisininfectFlushInProgressState.011 TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) if ((0) == hasChemFlushSampleAlarmBeenTrgrd && (1) == isAlarmActive(ALARM_ID_DG_CHEM_DISINFECT_FLUSH_FLUSH_SAMPLE)) ==> FALSE (2) if ((1) == hasChemFlushSampleAlarmBeenTrgrd && (0) == isAlarmActive(ALARM_ID_DG_CHEM_DISINFECT_FLUSH_FLUSH_SAMPLE)) ==> TRUE (3) if (chemFlushSampleID != (GENERIC_CONFIRM_ID_NONE)) ==> FALSE (10) if (getDGOpMode() != (DG_MODE_CHFL)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.hasChemFlushSampleAlarmBeenTrgrd:1 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_CHFL TEST.VALUE:uut_prototype_stubs.addConfirmationRequest.return:GENERIC_CONFIRM_ID_NONE TEST.END -- Subprogram: handleStandbyModeDGChemDisininfectInProgressState -- Test Case: handleStandbyModeDGChemDisininfectInProgressState.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeDGChemDisininfectInProgressState TEST.NEW TEST.NAME:handleStandbyModeDGChemDisininfectInProgressState.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (getDGOpMode() != (DG_MODE_CHEM)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:ModeStandby.publishDisinfectData TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_CHEM TEST.EXPECTED:ModeStandby.handleStandbyModeDGChemDisininfectInProgressState.return:STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE TEST.END -- Test Case: handleStandbyModeDGChemDisininfectInProgressState.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeDGChemDisininfectInProgressState TEST.NEW TEST.NAME:handleStandbyModeDGChemDisininfectInProgressState.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (getDGOpMode() != (DG_MODE_CHEM)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:ModeStandby.publishDisinfectData TEST.VALUE:ModeStandby.<>.dgDisinfectState:DG_DISINFECT_NOT_RUNNING_STATE TEST.VALUE:ModeStandby.handleStandbyModeDGChemDisininfectInProgressState.return:STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE TEST.VALUE:uut_prototype_stubs.clearAlarm.alarm:ALARM_ID_HD_DISINFECT_CHEM TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.EXPECTED:ModeStandby.handleStandbyModeDGChemDisininfectInProgressState.return:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.END -- Subprogram: handleStandbyModeDGFlushInProgressState -- Test Case: handleStandbyModeDGFlushInProgressState.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeDGFlushInProgressState TEST.NEW TEST.NAME:handleStandbyModeDGFlushInProgressState.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (getDGOpMode() != (DG_MODE_FLUS)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FLUS TEST.END -- Test Case: handleStandbyModeDGFlushInProgressState.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeDGFlushInProgressState TEST.NEW TEST.NAME:handleStandbyModeDGFlushInProgressState.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (getDGOpMode() != (DG_MODE_FLUS)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.END -- Subprogram: handleStandbyModeDGHeatDisinfectInProgressState -- Test Case: handleStandbyModeDGHeatDisinfectInProgressState.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeDGHeatDisinfectInProgressState TEST.NEW TEST.NAME:handleStandbyModeDGHeatDisinfectInProgressState.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (getDGOpMode() != (DG_MODE_HEAT)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_HEAT TEST.END -- Test Case: handleStandbyModeDGHeatDisinfectInProgressState.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeDGHeatDisinfectInProgressState TEST.NEW TEST.NAME:handleStandbyModeDGHeatDisinfectInProgressState.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (getDGOpMode() != (DG_MODE_HEAT)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.END -- Subprogram: handleStandbyModeStartState -- Test Case: handleStandbyModeStartState.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeStartState TEST.NEW TEST.NAME:handleStandbyModeStartState.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 677 TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_CARTRIDGE_DOOR_OPENED >>> >>> Could not find function activateAlarmNoData >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:1 of 4 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (homingInitiated != (1) && (STATE_CLOSED) == getSwitchStatus(FRONT_DOOR)) ==> FALSE (3) if ((1) == homingInitiated && (1) == isSyringePumpHome()) ==> FALSE Test Case Generation Notes: Cannot set local variable homingInitiated in branch 1 Cannot set homingInitiated due to assignment TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.homeBloodPump.return:0 TEST.VALUE:uut_prototype_stubs.homeDialInPump.return:0 TEST.VALUE:uut_prototype_stubs.homeDialOutPump.return:0 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN TEST.VALUE:uut_prototype_stubs.retractSyringePump.return:0 TEST.VALUE:uut_prototype_stubs.isSyringePumpHome.return:<> TEST.VALUE:uut_prototype_stubs.homeValve.valve:NUM_OF_VALVES TEST.VALUE:uut_prototype_stubs.homeValve.return:0 TEST.EXPECTED:ModeStandby.handleStandbyModeStartState.return:STANDBY_START_STATE TEST.END -- Test Case: handleStandbyModeStartState.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeStartState TEST.NEW TEST.NAME:handleStandbyModeStartState.002 TEST.BASIS_PATH:3 of 4 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (homingInitiated != (1) && (STATE_CLOSED) == getSwitchStatus(FRONT_DOOR)) ==> TRUE (2) for (valve < (NUM_OF_VALVES)) ==> FALSE (3) if ((1) == homingInitiated && (1) == isSyringePumpHome()) ==> FALSE Test Case Generation Notes: Cannot set local variable homingInitiated in branch 1 Conflict: Unable to control expression-to-expression comparison in branch 2 Cannot set homingInitiated due to assignment TEST.END_NOTES: TEST.VALUE:ModeStandby.handleStandbyModeStartState.return:STANDBY_START_STATE TEST.VALUE:uut_prototype_stubs.homeBloodPump.return:0 TEST.VALUE:uut_prototype_stubs.homeDialInPump.return:0 TEST.VALUE:uut_prototype_stubs.homeDialOutPump.return:0 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.VALUE:uut_prototype_stubs.retractSyringePump.return:0 TEST.VALUE:uut_prototype_stubs.isSyringePumpHome.return:1 TEST.VALUE:uut_prototype_stubs.homeValve.return:0 TEST.EXPECTED:ModeStandby.handleStandbyModeStartState.return:STANDBY_START_STATE TEST.END -- Test Case: handleStandbyModeStartState.003 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeStartState TEST.NEW TEST.NAME:handleStandbyModeStartState.003 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 732 TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_CARTRIDGE_DOOR_OPENED >>> >>> Could not find function activateAlarmNoData >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (homingInitiated != (1) && (STATE_CLOSED) == getSwitchStatus(FRONT_DOOR)) ==> FALSE (3) if ((1) == homingInitiated && (1) == isSyringePumpHome()) ==> FALSE Test Case Generation Notes: Cannot set local variable homingInitiated in branch 1 Cannot set homingInitiated due to assignment TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.homeBloodPump.return:0 TEST.VALUE:uut_prototype_stubs.homeDialInPump.return:0 TEST.VALUE:uut_prototype_stubs.homeDialOutPump.return:0 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN TEST.VALUE:uut_prototype_stubs.retractSyringePump.return:0 TEST.VALUE:uut_prototype_stubs.isSyringePumpHome.return:<> TEST.VALUE:uut_prototype_stubs.homeValve.valve:NUM_OF_VALVES TEST.VALUE:uut_prototype_stubs.homeValve.return:0 TEST.EXPECTED:ModeStandby.handleStandbyModeStartState.return:STANDBY_START_STATE TEST.END -- Test Case: handleStandbyModeStartState.004 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeStartState TEST.NEW TEST.NAME:handleStandbyModeStartState.004 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (homingInitiated != (1) && (STATE_CLOSED) == getSwitchStatus(FRONT_DOOR)) ==> TRUE (2) for (valve < (NUM_OF_VALVES)) ==> FALSE (3) if ((1) == homingInitiated && (1) == isSyringePumpHome()) ==> FALSE Test Case Generation Notes: Cannot set local variable homingInitiated in branch 1 Conflict: Unable to control expression-to-expression comparison in branch 2 Cannot set homingInitiated due to assignment TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.homingInitiated:1 TEST.VALUE:ModeStandby.handleStandbyModeStartState.return:STANDBY_START_STATE TEST.VALUE:uut_prototype_stubs.homeBloodPump.return:0 TEST.VALUE:uut_prototype_stubs.homeDialInPump.return:0 TEST.VALUE:uut_prototype_stubs.homeDialOutPump.return:0 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.VALUE:uut_prototype_stubs.retractSyringePump.return:0 TEST.VALUE:uut_prototype_stubs.isSyringePumpHome.return:1 TEST.VALUE:uut_prototype_stubs.homeValve.return:0 TEST.EXPECTED:ModeStandby.<>.homingInitiated:1 TEST.EXPECTED:ModeStandby.handleStandbyModeStartState.return:STANDBY_START_STATE TEST.END -- Test Case: handleStandbyModeStartState.005 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeStartState TEST.NEW TEST.NAME:handleStandbyModeStartState.005 TEST.BASIS_PATH:2 of 5 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((STATE_CLOSED) == getSwitchStatus(FRONT_DOOR)) ==> TRUE (2) if (homingInitiated != (1)) ==> FALSE (4) if (((1) == homingInitiated && (1) == isSyringePumpHome()) && (1) == isSyringePumpStopped()) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable ModeStandby.<>.homingInitiated 'equal to' and 'not equal to' same value in branches 2/4 TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.homingInitiated:1 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.VALUE:uut_prototype_stubs.isSyringePumpHome.return:<> TEST.VALUE:uut_prototype_stubs.isSyringePumpStopped.return:<> TEST.EXPECTED:ModeStandby.<>.homingInitiated:1 TEST.END -- Test Case: handleStandbyModeStartState.006 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeStartState TEST.NEW TEST.NAME:handleStandbyModeStartState.006 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (homingInitiated != (1) && (STATE_CLOSED) == getSwitchStatus(FRONT_DOOR)) ==> TRUE (2) for (valve < (NUM_OF_VALVES)) ==> FALSE (3) if ((1) == homingInitiated && (1) == isSyringePumpHome()) ==> FALSE Test Case Generation Notes: Cannot set local variable homingInitiated in branch 1 Conflict: Unable to control expression-to-expression comparison in branch 2 Cannot set homingInitiated due to assignment TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.homingInitiated:1 TEST.VALUE:ModeStandby.handleStandbyModeStartState.return:STANDBY_START_STATE TEST.VALUE:uut_prototype_stubs.homeBloodPump.return:0 TEST.VALUE:uut_prototype_stubs.homeDialInPump.return:0 TEST.VALUE:uut_prototype_stubs.homeDialOutPump.return:0 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.VALUE:uut_prototype_stubs.retractSyringePump.return:0 TEST.VALUE:uut_prototype_stubs.isSyringePumpHome.return:1 TEST.VALUE:uut_prototype_stubs.isSyringePumpStopped.return:1 TEST.VALUE:uut_prototype_stubs.homeValve.return:0 TEST.EXPECTED:ModeStandby.<>.homingInitiated:0 TEST.EXPECTED:ModeStandby.handleStandbyModeStartState.return:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.END -- Subprogram: handleStandbyModeWaitForDGChemDisinfectCmdResponseState -- Test Case: handleStandbyModeWaitForDGChemDisinfectCmdResponseState.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDGChemDisinfectCmdResponseState TEST.NEW TEST.NAME:handleStandbyModeWaitForDGChemDisinfectCmdResponseState.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_START_CHEM_DISINFECT, &dgCmdResp)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.handleStandbyModeWaitForDGChemDisinfectCmdResponseState.return:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_CMD_RESPONSE_STATE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<> TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDGChemDisinfectCmdResponseState.return:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_CMD_RESPONSE_STATE TEST.END -- Test Case: handleStandbyModeWaitForDGChemDisinfectCmdResponseState.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDGChemDisinfectCmdResponseState TEST.NEW TEST.NAME:handleStandbyModeWaitForDGChemDisinfectCmdResponseState.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_START_CHEM_DISINFECT, &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:ModeStandby.handleStandbyModeWaitForDGChemDisinfectCmdResponseState.return:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_CMD_RESPONSE_STATE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0 TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:0 TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.<>.chemDisinfectStartReqReceived:0 TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDGChemDisinfectCmdResponseState.return:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0 TEST.END -- Test Case: handleStandbyModeWaitForDGChemDisinfectCmdResponseState.003 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDGChemDisinfectCmdResponseState TEST.NEW TEST.NAME:handleStandbyModeWaitForDGChemDisinfectCmdResponseState.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == getDGCommandResponse(DG_CMD_START_CHEM_DISINFECT, &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:ModeStandby.handleStandbyModeWaitForDGChemDisinfectCmdResponseState.return:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_CMD_RESPONSE_STATE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.commandID:MACRO=DG_CMD_START_CHEM_DISINFECT 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.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0 TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:0 TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.<>.chemDisinfectStartReqReceived:0 TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDGChemDisinfectCmdResponseState.return:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_TO_START_STATE TEST.EXPECTED:uut_prototype_stubs.getDGCommandResponse.commandID:14 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:1 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:0 TEST.END -- Subprogram: handleStandbyModeWaitForDGChemDisinfectFlushCmdResponseState -- Test Case: handleStandbyModeWaitForDGChemDisinfectFlushCmdResponseState.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDGChemDisinfectFlushCmdResponseState TEST.NEW TEST.NAME:handleStandbyModeWaitForDGChemDisinfectFlushCmdResponseState.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_START_CHEM_DISINFECT_FLUSH, &dgCmdResp)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<> TEST.END -- Test Case: handleStandbyModeWaitForDGChemDisinfectFlushCmdResponseState.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDGChemDisinfectFlushCmdResponseState TEST.NEW TEST.NAME:handleStandbyModeWaitForDGChemDisinfectFlushCmdResponseState.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_START_CHEM_DISINFECT_FLUSH, &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.return:1 TEST.END -- Test Case: handleStandbyModeWaitForDGChemDisinfectFlushCmdResponseState.003 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDGChemDisinfectFlushCmdResponseState TEST.NEW TEST.NAME:handleStandbyModeWaitForDGChemDisinfectFlushCmdResponseState.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_START_CHEM_DISINFECT_FLUSH, &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.return:1 TEST.END -- Subprogram: handleStandbyModeWaitForDGChemDisinfectFlushStartState -- Test Case: handleStandbyModeWaitForDGChemDisinfectFlushStartState.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDGChemDisinfectFlushStartState TEST.NEW TEST.NAME:handleStandbyModeWaitForDGChemDisinfectFlushStartState.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((DG_MODE_CHFL) == getDGOpMode()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.END -- Test Case: handleStandbyModeWaitForDGChemDisinfectFlushStartState.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDGChemDisinfectFlushStartState TEST.NEW TEST.NAME:handleStandbyModeWaitForDGChemDisinfectFlushStartState.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((DG_MODE_CHFL) == getDGOpMode()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_CHFL TEST.END -- Subprogram: handleStandbyModeWaitForDGChemDisinfectStartState -- Test Case: handleStandbyModeWaitForDGChemDisinfectStartState.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDGChemDisinfectStartState TEST.NEW TEST.NAME:handleStandbyModeWaitForDGChemDisinfectStartState.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((DG_MODE_CHEM) == getDGOpMode()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.END -- Test Case: handleStandbyModeWaitForDGChemDisinfectStartState.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDGChemDisinfectStartState TEST.NEW TEST.NAME:handleStandbyModeWaitForDGChemDisinfectStartState.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((DG_MODE_CHEM) == getDGOpMode()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_CHEM TEST.END -- Subprogram: handleStandbyModeWaitForDGFlushCmdResponseState -- Test Case: handleStandbyModeWaitForDGFlushCmdResponseState.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDGFlushCmdResponseState TEST.NEW TEST.NAME:handleStandbyModeWaitForDGFlushCmdResponseState.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_START_FLUSH, &dgCmdResp)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.handleStandbyModeWaitForDGFlushCmdResponseState.return:STANDBY_WAIT_FOR_DG_FLUSH_CMD_RESPONSE_STATE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<> TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDGFlushCmdResponseState.return:STANDBY_WAIT_FOR_DG_FLUSH_CMD_RESPONSE_STATE TEST.END -- Test Case: handleStandbyModeWaitForDGFlushCmdResponseState.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDGFlushCmdResponseState TEST.NEW TEST.NAME:handleStandbyModeWaitForDGFlushCmdResponseState.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_START_FLUSH, &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:ModeStandby.handleStandbyModeWaitForDGFlushCmdResponseState.return:STANDBY_WAIT_FOR_DG_FLUSH_CMD_RESPONSE_STATE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:1 TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.<>.flushStartReqReceived:0 TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDGFlushCmdResponseState.return:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0 TEST.END -- Test Case: handleStandbyModeWaitForDGFlushCmdResponseState.003 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDGFlushCmdResponseState TEST.NEW TEST.NAME:handleStandbyModeWaitForDGFlushCmdResponseState.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == getDGCommandResponse(DG_CMD_START_FLUSH, &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:ModeStandby.handleStandbyModeWaitForDGFlushCmdResponseState.return:STANDBY_WAIT_FOR_DG_FLUSH_CMD_RESPONSE_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.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:1 TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.<>.flushStartReqReceived:0 TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDGFlushCmdResponseState.return:STANDBY_WAIT_FOR_DG_FLUSH_TO_START_STATE TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:1 TEST.END -- Subprogram: handleStandbyModeWaitForDGFlushToStartState -- Test Case: handleStandbyModeWaitForDGFlushToStartState.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDGFlushToStartState TEST.NEW TEST.NAME:handleStandbyModeWaitForDGFlushToStartState.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((DG_MODE_FLUS) == getDGOpMode()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.END -- Test Case: handleStandbyModeWaitForDGFlushToStartState.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDGFlushToStartState TEST.NEW TEST.NAME:handleStandbyModeWaitForDGFlushToStartState.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((DG_MODE_FLUS) == getDGOpMode()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FLUS TEST.END -- Subprogram: handleStandbyModeWaitForDGHeatDisinfectCmdResponseState -- Test Case: handleStandbyModeWaitForDGHeatDisinfectCmdResponseState.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDGHeatDisinfectCmdResponseState TEST.NEW TEST.NAME:handleStandbyModeWaitForDGHeatDisinfectCmdResponseState.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_START_HEAT_DISINFECT, &dgCmdResp)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.handleStandbyModeWaitForDGHeatDisinfectCmdResponseState.return:STANDBY_WAIT_FOR_DG_HEAT_DISINFECT_CMD_RESPONSE_STATE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<> TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDGHeatDisinfectCmdResponseState.return:STANDBY_WAIT_FOR_DG_HEAT_DISINFECT_CMD_RESPONSE_STATE TEST.END -- Test Case: handleStandbyModeWaitForDGHeatDisinfectCmdResponseState.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDGHeatDisinfectCmdResponseState TEST.NEW TEST.NAME:handleStandbyModeWaitForDGHeatDisinfectCmdResponseState.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_START_HEAT_DISINFECT, &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:ModeStandby.handleStandbyModeWaitForDGHeatDisinfectCmdResponseState.return:STANDBY_WAIT_FOR_DG_HEAT_DISINFECT_CMD_RESPONSE_STATE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.EXPECTED:ModeStandby.<>.heatDisinfectStartReqReceived:0 TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDGHeatDisinfectCmdResponseState.return:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0 TEST.END -- Test Case: handleStandbyModeWaitForDGHeatDisinfectCmdResponseState.003 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDGHeatDisinfectCmdResponseState TEST.NEW TEST.NAME:handleStandbyModeWaitForDGHeatDisinfectCmdResponseState.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == getDGCommandResponse(DG_CMD_START_HEAT_DISINFECT, &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:ModeStandby.handleStandbyModeWaitForDGHeatDisinfectCmdResponseState.return:STANDBY_WAIT_FOR_DG_HEAT_DISINFECT_CMD_RESPONSE_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:ModeStandby.<>.heatDisinfectStartReqReceived:0 TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDGHeatDisinfectCmdResponseState.return:STANDBY_WAIT_FOR_DG_HEAT_DISINFECT_TO_START_STATE TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:1 TEST.END -- Subprogram: handleStandbyModeWaitForDGHeatDisinfectStartState -- Test Case: handleStandbyModeWaitForDGHeatDisinfectStartState.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDGHeatDisinfectStartState TEST.NEW TEST.NAME:handleStandbyModeWaitForDGHeatDisinfectStartState.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((DG_MODE_HEAT) == getDGOpMode()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.END -- Test Case: handleStandbyModeWaitForDGHeatDisinfectStartState.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDGHeatDisinfectStartState TEST.NEW TEST.NAME:handleStandbyModeWaitForDGHeatDisinfectStartState.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((DG_MODE_HEAT) == getDGOpMode()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_HEAT TEST.END -- Subprogram: handleStandbyModeWaitForDisinfectState -- Test Case: handleStandbyModeWaitForDisinfectState.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState TEST.NEW TEST.NAME:handleStandbyModeWaitForDisinfectState.001 TEST.BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == flushStartReqReceived) ==> FALSE (2) if ((1) == heatDisinfectStartReqReceived) ==> FALSE (3) if ((1) == chemDisinfectStartReqReceived) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.flushStartReqReceived:<> TEST.VALUE:ModeStandby.<>.heatDisinfectStartReqReceived:<> TEST.VALUE:ModeStandby.<>.chemDisinfectStartReqReceived:<> TEST.EXPECTED:ModeStandby.<>.flushStartReqReceived:0 TEST.EXPECTED:ModeStandby.<>.heatDisinfectStartReqReceived:0 TEST.EXPECTED:ModeStandby.<>.chemDisinfectStartReqReceived:0 TEST.END -- Test Case: handleStandbyModeWaitForDisinfectState.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState TEST.NEW TEST.NAME:handleStandbyModeWaitForDisinfectState.002 TEST.BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == flushStartReqReceived) ==> FALSE (2) if ((1) == heatDisinfectStartReqReceived) ==> FALSE (3) if ((1) == chemDisinfectStartReqReceived) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.flushStartReqReceived:<> TEST.VALUE:ModeStandby.<>.heatDisinfectStartReqReceived:<> TEST.VALUE:ModeStandby.<>.chemDisinfectStartReqReceived:1 TEST.EXPECTED:ModeStandby.<>.flushStartReqReceived:0 TEST.EXPECTED:ModeStandby.<>.heatDisinfectStartReqReceived:0 TEST.EXPECTED:ModeStandby.<>.chemDisinfectStartReqReceived:1 TEST.END -- Test Case: handleStandbyModeWaitForDisinfectState.003 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState TEST.NEW TEST.NAME:handleStandbyModeWaitForDisinfectState.003 TEST.BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == flushStartReqReceived) ==> FALSE (2) if ((1) == heatDisinfectStartReqReceived) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.flushStartReqReceived:<> TEST.VALUE:ModeStandby.<>.heatDisinfectStartReqReceived:1 TEST.EXPECTED:ModeStandby.<>.flushStartReqReceived:0 TEST.EXPECTED:ModeStandby.<>.heatDisinfectStartReqReceived:1 TEST.END -- Test Case: handleStandbyModeWaitForDisinfectState.004 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState TEST.NEW TEST.NAME:handleStandbyModeWaitForDisinfectState.004 TEST.BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == flushStartReqReceived) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.flushStartReqReceived:1 TEST.EXPECTED:ModeStandby.<>.flushStartReqReceived:1 TEST.END -- Test Case: handleStandbyModeWaitForDisinfectState.005 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState TEST.NEW TEST.NAME:handleStandbyModeWaitForDisinfectState.005 TEST.VALUE:ModeStandby.<>.chemDisinfectFlushStartReqReceived:1 TEST.VALUE:ModeStandby.handleStandbyModeWaitForDisinfectState.return:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDisinfectState.return:STANDBY_WAIT_FOR_DG_CHEM_DISINFECT_FLUSH_CMD_RESPONSE_STATE TEST.END -- Subprogram: handleStandbyModeWaitForTreatmentState -- Test Case: handleStandbyModeWaitForTreatmentState.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForTreatmentState TEST.NEW TEST.NAME:handleStandbyModeWaitForTreatmentState.001 TEST.BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((DG_MODE_FILL) == dgOperationMode) ==> FALSE (2) if ((DG_MODE_GENE) == dgOperationMode) ==> FALSE (3) if ((1) == treatStartReqReceived) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.treatStartReqReceived:<> TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.EXPECTED:ModeStandby.<>.treatStartReqReceived:0 TEST.END -- Test Case: handleStandbyModeWaitForTreatmentState.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForTreatmentState TEST.NEW TEST.NAME:handleStandbyModeWaitForTreatmentState.002 TEST.BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((DG_MODE_FILL) == dgOperationMode) ==> FALSE (2) if ((DG_MODE_GENE) == dgOperationMode) ==> FALSE (3) if ((1) == treatStartReqReceived) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.treatStartReqReceived:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.EXPECTED:ModeStandby.<>.treatStartReqReceived:0 TEST.END -- Test Case: handleStandbyModeWaitForTreatmentState.003 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForTreatmentState TEST.NEW TEST.NAME:handleStandbyModeWaitForTreatmentState.003 TEST.BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((DG_MODE_FILL) == dgOperationMode) ==> FALSE (2) if ((DG_MODE_GENE) == dgOperationMode) ==> TRUE (3) if ((1) == treatStartReqReceived) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.treatStartReqReceived:<> TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE TEST.EXPECTED:ModeStandby.<>.treatStartReqReceived:0 TEST.END -- Test Case: handleStandbyModeWaitForTreatmentState.004 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForTreatmentState TEST.NEW TEST.NAME:handleStandbyModeWaitForTreatmentState.004 TEST.BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((DG_MODE_FILL) == dgOperationMode) ==> TRUE (2) if ((DG_MODE_GENE) == dgOperationMode) ==> FALSE (3) if ((1) == treatStartReqReceived) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.treatStartReqReceived:<> TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FILL TEST.EXPECTED:ModeStandby.<>.treatStartReqReceived:0 TEST.END -- Test Case: handleStandbyModeWaitForTreatmentState.005 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForTreatmentState TEST.NEW TEST.NAME:handleStandbyModeWaitForTreatmentState.005 TEST.VALUE:ModeStandby.handleStandbyModeWaitForTreatmentState.return:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.major:0 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.minor:0 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.micro:0 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.build:0 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.fpgaId:0 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.fpgaMajor:0 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.fpgaMinor:0 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.fpgaLab:0 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:0 TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForTreatmentState.return:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.END -- Test Case: handleStandbyModeWaitForTreatmentState.006 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:handleStandbyModeWaitForTreatmentState TEST.NEW TEST.NAME:handleStandbyModeWaitForTreatmentState.006 TEST.VALUE:ModeStandby.handleStandbyModeWaitForTreatmentState.return:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.major:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.minor:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.micro:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.build:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.fpgaId:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.fpgaMajor:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.fpgaMinor:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.fpgaLab:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:1 TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForTreatmentState.return:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.END -- Subprogram: haveHDDGServicesBeenExpired -- Test Case: haveHDDGServicesBeenExpired.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:haveHDDGServicesBeenExpired TEST.NEW TEST.NAME:haveHDDGServicesBeenExpired.001 TEST.BASIS_PATH:1 of 6 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == dgData.isDGServiceRecordAvailable) ==> FALSE Test Case Generation Notes: Cannot set local variable dgData in branch 1 TEST.END_NOTES: TEST.VALUE:ModeStandby.haveHDDGServicesBeenExpired.rejReason:<> TEST.EXPECTED:ModeStandby.haveHDDGServicesBeenExpired.return:0 TEST.END -- Test Case: haveHDDGServicesBeenExpired.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:haveHDDGServicesBeenExpired TEST.NEW TEST.NAME:haveHDDGServicesBeenExpired.002 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == dgData.isDGServiceRecordAvailable) ==> FALSE Test Case Generation Notes: Cannot set local variable dgData in branch 1 TEST.END_NOTES: TEST.VALUE:ModeStandby.haveHDDGServicesBeenExpired.rejReason:<> TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].isDGServiceRecordAvailable:1 TEST.EXPECTED:ModeStandby.haveHDDGServicesBeenExpired.return:1 TEST.END -- Test Case: haveHDDGServicesBeenExpired.003 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:haveHDDGServicesBeenExpired TEST.NEW TEST.NAME:haveHDDGServicesBeenExpired.003 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1274 TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].dgServiceRecord.lastServiceDateEpoch:<> >>> >>> Expected a field name from the record type DG_SERVICE_RECORD_T >>> >>> Read: lastServiceDateEpoch TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == dgData.isDGServiceRecordAvailable) ==> FALSE Test Case Generation Notes: Cannot set local variable dgData in branch 1 TEST.END_NOTES: TEST.VALUE:ModeStandby.haveHDDGServicesBeenExpired.rejReason:<> TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].isDGServiceRecordAvailable:1 TEST.VALUE:uut_prototype_stubs.getRTCTimestamp.return:100 TEST.EXPECTED:ModeStandby.haveHDDGServicesBeenExpired.return:0 TEST.END -- Test Case: haveHDDGServicesBeenExpired.004 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:haveHDDGServicesBeenExpired TEST.NEW TEST.NAME:haveHDDGServicesBeenExpired.004 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == dgData.isDGServiceRecordAvailable) ==> FALSE Test Case Generation Notes: Cannot set local variable dgData in branch 1 TEST.END_NOTES: TEST.VALUE:ModeStandby.haveHDDGServicesBeenExpired.rejReason:<> TEST.VALUE:ModeStandby.haveHDDGServicesBeenExpired.return:1 TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].isDGServiceRecordAvailable:1 TEST.VALUE:uut_prototype_stubs.getRTCTimestamp.return:<> TEST.EXPECTED:ModeStandby.haveHDDGServicesBeenExpired.return:1 TEST.END -- Test Case: haveHDDGServicesBeenExpired.005 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:haveHDDGServicesBeenExpired TEST.NEW TEST.NAME:haveHDDGServicesBeenExpired.005 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == dgData.isDGServiceRecordAvailable) ==> FALSE Test Case Generation Notes: Cannot set local variable dgData in branch 1 TEST.END_NOTES: TEST.VALUE:ModeStandby.haveHDDGServicesBeenExpired.rejReason:<> TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].isDGServiceRecordAvailable:1 TEST.EXPECTED:ModeStandby.haveHDDGServicesBeenExpired.return:1 TEST.END -- Subprogram: initStandbyMode -- Test Case: initStandbyMode.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:initStandbyMode TEST.NEW TEST.NAME:initStandbyMode.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.END -- Subprogram: isDGDisinfectValid -- Test Case: isDGDisinfectValid.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:isDGDisinfectValid TEST.NEW TEST.NAME:isDGDisinfectValid.001 TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].isDGUsageInfoAvailable:0 TEST.EXPECTED:ModeStandby.isDGDisinfectValid.return:0 TEST.END -- Test Case: isDGDisinfectValid.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:isDGDisinfectValid TEST.NEW TEST.NAME:isDGDisinfectValid.002 TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].isDGUsageInfoAvailable:1 TEST.EXPECTED:ModeStandby.isDGDisinfectValid.return:0 TEST.END -- Test Case: isDGDisinfectValid.003 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:isDGDisinfectValid TEST.NEW TEST.NAME:isDGDisinfectValid.003 TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].dgUsageInfo.lastChemDisCompleteDateEpoch:<> TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].isDGUsageInfoAvailable:1 TEST.EXPECTED:ModeStandby.isDGDisinfectValid.return:0 TEST.END -- Test Case: isDGDisinfectValid.004 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:isDGDisinfectValid TEST.NEW TEST.NAME:isDGDisinfectValid.004 TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].dgUsageInfo.lastHeatDisCompleteDateEpoch:<> TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].isDGUsageInfoAvailable:1 TEST.EXPECTED:ModeStandby.isDGDisinfectValid.return:0 TEST.END -- Test Case: isDGDisinfectValid.005 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:isDGDisinfectValid TEST.NEW TEST.NAME:isDGDisinfectValid.005 TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].dgUsageInfo.lastChemDisFlushCompleteDateEpoch:<> TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].isDGUsageInfoAvailable:1 TEST.EXPECTED:ModeStandby.isDGDisinfectValid.return:1 TEST.END -- Test Case: isDGDisinfectValid.006 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:isDGDisinfectValid TEST.NEW TEST.NAME:isDGDisinfectValid.006 TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].dgUsageInfo.lastHeatActiveCoolCompleteDateEpoch:<> TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].isDGUsageInfoAvailable:1 TEST.VALUE:uut_prototype_stubs.getRTCTimestamp.return:1900000 TEST.EXPECTED:ModeStandby.isDGDisinfectValid.return:0 TEST.END -- Test Case: isDGDisinfectValid.007 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:isDGDisinfectValid TEST.NEW TEST.NAME:isDGDisinfectValid.007 TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].dgUsageInfo.lastHeatActiveCoolCompleteDateEpoch:<> TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].isDGUsageInfoAvailable:1 TEST.VALUE:uut_prototype_stubs.getRTCTimestamp.return:10000000 TEST.EXPECTED:ModeStandby.isDGDisinfectValid.return:0 TEST.END -- Subprogram: publishDisinfectData -- Test Case: publishDisinfectData.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:publishDisinfectData TEST.NEW TEST.NAME:publishDisinfectData.001 TEST.BASIS_PATH:1 of 4 (template) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (++dataPublishCounter > (1 * 1000) / 50) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.dataPublishCounter:20 TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.chemDisinfectUIState:0 TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.heatDisinfectUIState:0 TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.flushUIState:0 TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_DISINFECT_STANDBY_DATA TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.EXPECTED:ModeStandby.<>.dataPublishCounter:0 TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_DISINFECT_STANDBY_DATA TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.END -- Test Case: publishDisinfectData.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:publishDisinfectData TEST.NEW TEST.NAME:publishDisinfectData.002 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (++dataPublishCounter > (1 * 1000) / 50) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE TEST.VALUE:ModeStandby.<>.dataPublishCounter:20 TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.chemDisinfectUIState:0 TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.heatDisinfectUIState:0 TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.flushUIState:0 TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_DISINFECT_STANDBY_DATA TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_DG_FLUSH_IN_PROGRESS_STATE TEST.EXPECTED:ModeStandby.<>.dataPublishCounter:0 TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_DISINFECT_STANDBY_DATA TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.END -- Test Case: publishDisinfectData.003 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:publishDisinfectData TEST.NEW TEST.NAME:publishDisinfectData.003 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (++dataPublishCounter > (1 * 1000) / 50) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE TEST.VALUE:ModeStandby.<>.dataPublishCounter:20 TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.chemDisinfectUIState:0 TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.heatDisinfectUIState:0 TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.flushUIState:0 TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_DISINFECT_STANDBY_DATA TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_DG_HEAT_DISINFECT_IN_PROGRESS_STATE TEST.EXPECTED:ModeStandby.<>.dataPublishCounter:0 TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_DISINFECT_STANDBY_DATA TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.END -- Test Case: publishDisinfectData.004 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:publishDisinfectData TEST.NEW TEST.NAME:publishDisinfectData.004 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (++dataPublishCounter > (1 * 1000) / 50) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE TEST.VALUE:ModeStandby.<>.dataPublishCounter:20 TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.chemDisinfectUIState:0 TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.heatDisinfectUIState:0 TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.flushUIState:0 TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_DISINFECT_STANDBY_DATA TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_DG_CHEM_DISINFECT_IN_PROGRESS_STATE TEST.EXPECTED:ModeStandby.<>.dataPublishCounter:0 TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_DISINFECT_STANDBY_DATA TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.END -- Test Case: publishDisinfectData.005 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:publishDisinfectData TEST.NEW TEST.NAME:publishDisinfectData.005 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (++dataPublishCounter > (1 * 1000) / 50) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_DG_CHEM_DISINFECT_FLUSH_IN_PROGRESS_STATE TEST.VALUE:ModeStandby.<>.dataPublishCounter:20 TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.chemDisinfectUIState:0 TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.heatDisinfectUIState:0 TEST.VALUE:uut_prototype_stubs.getDGDisinfectsStates.return.flushUIState:0 TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_DISINFECT_STANDBY_DATA TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_DG_CHEM_DISINFECT_FLUSH_IN_PROGRESS_STATE TEST.EXPECTED:ModeStandby.<>.dataPublishCounter:0 TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_DISINFECT_STANDBY_DATA TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.END -- Subprogram: signalAlarmActionToStandbyMode -- Test Case: signalAlarmActionToStandbyMode.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalAlarmActionToStandbyMode TEST.NEW TEST.NAME:signalAlarmActionToStandbyMode.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.END -- Subprogram: signalInitiateStandbyDisinfectSubmode -- Test Case: signalInitiateStandbyDisinfectSubmode.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalInitiateStandbyDisinfectSubmode TEST.NEW TEST.NAME:signalInitiateStandbyDisinfectSubmode.001 TEST.BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MODE_STAN) == getCurrentOperationMode() && (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.VALUE:ModeStandby.signalInitiateStandbyDisinfectSubmode.cmd:0 TEST.VALUE:ModeStandby.signalInitiateStandbyDisinfectSubmode.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.END -- Test Case: signalInitiateStandbyDisinfectSubmode.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalInitiateStandbyDisinfectSubmode TEST.NEW TEST.NAME:signalInitiateStandbyDisinfectSubmode.002 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MODE_STAN) == getCurrentOperationMode() && (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.VALUE:ModeStandby.signalInitiateStandbyDisinfectSubmode.cmd:1 TEST.VALUE:ModeStandby.signalInitiateStandbyDisinfectSubmode.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.VALUE:uut_prototype_stubs.handleSetHDStandbyDisinfectSubmodeResponse.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.EXPECTED:ModeStandby.signalInitiateStandbyDisinfectSubmode.cmd:1 TEST.EXPECTED:ModeStandby.signalInitiateStandbyDisinfectSubmode.return:0 TEST.EXPECTED:uut_prototype_stubs.handleSetHDStandbyDisinfectSubmodeResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.handleSetHDStandbyDisinfectSubmodeResponse.reason:1 TEST.END -- Test Case: signalInitiateStandbyDisinfectSubmode.003 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalInitiateStandbyDisinfectSubmode TEST.NEW TEST.NAME:signalInitiateStandbyDisinfectSubmode.003 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MODE_STAN) == getCurrentOperationMode() && (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.VALUE:ModeStandby.signalInitiateStandbyDisinfectSubmode.cmd:1 TEST.VALUE:ModeStandby.signalInitiateStandbyDisinfectSubmode.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.VALUE:uut_prototype_stubs.handleSetHDStandbyDisinfectSubmodeResponse.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.EXPECTED:ModeStandby.signalInitiateStandbyDisinfectSubmode.cmd:1 TEST.EXPECTED:ModeStandby.signalInitiateStandbyDisinfectSubmode.return:0 TEST.EXPECTED:uut_prototype_stubs.handleSetHDStandbyDisinfectSubmodeResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.handleSetHDStandbyDisinfectSubmodeResponse.reason:1 TEST.END -- Test Case: signalInitiateStandbyDisinfectSubmode.004 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalInitiateStandbyDisinfectSubmode TEST.NEW TEST.NAME:signalInitiateStandbyDisinfectSubmode.004 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MODE_STAN) == getCurrentOperationMode() && (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:ModeStandby.signalInitiateStandbyDisinfectSubmode.cmd:1 TEST.VALUE:ModeStandby.signalInitiateStandbyDisinfectSubmode.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.VALUE:uut_prototype_stubs.handleSetHDStandbyDisinfectSubmodeResponse.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.EXPECTED:ModeStandby.signalInitiateStandbyDisinfectSubmode.cmd:1 TEST.EXPECTED:ModeStandby.signalInitiateStandbyDisinfectSubmode.return:0 TEST.EXPECTED:uut_prototype_stubs.handleSetHDStandbyDisinfectSubmodeResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.handleSetHDStandbyDisinfectSubmodeResponse.reason:32 TEST.END -- Test Case: signalInitiateStandbyDisinfectSubmode.005 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalInitiateStandbyDisinfectSubmode TEST.NEW TEST.NAME:signalInitiateStandbyDisinfectSubmode.005 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MODE_STAN) == getCurrentOperationMode() && (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:ModeStandby.signalInitiateStandbyDisinfectSubmode.cmd:1 TEST.VALUE:ModeStandby.signalInitiateStandbyDisinfectSubmode.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.VALUE:uut_prototype_stubs.handleSetHDStandbyDisinfectSubmodeResponse.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.EXPECTED:ModeStandby.signalInitiateStandbyDisinfectSubmode.cmd:1 TEST.EXPECTED:ModeStandby.signalInitiateStandbyDisinfectSubmode.return:1 TEST.EXPECTED:uut_prototype_stubs.handleSetHDStandbyDisinfectSubmodeResponse.accepted:1 TEST.EXPECTED:uut_prototype_stubs.handleSetHDStandbyDisinfectSubmodeResponse.reason:0 TEST.END -- Test Case: signalInitiateStandbyDisinfectSubmode.006 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalInitiateStandbyDisinfectSubmode TEST.NEW TEST.NAME:signalInitiateStandbyDisinfectSubmode.006 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MODE_STAN) == getCurrentOperationMode() && (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.VALUE:ModeStandby.signalInitiateStandbyDisinfectSubmode.cmd:0 TEST.VALUE:ModeStandby.signalInitiateStandbyDisinfectSubmode.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.EXPECTED:ModeStandby.signalInitiateStandbyDisinfectSubmode.cmd:0 TEST.EXPECTED:ModeStandby.signalInitiateStandbyDisinfectSubmode.return:1 TEST.END -- Subprogram: signalUserInitiateChemcialDisinfectFlushMode -- Test Case: signalUserInitiateChemcialDisinfectFlushMode.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateChemcialDisinfectFlushMode TEST.NEW TEST.NAME:signalUserInitiateChemcialDisinfectFlushMode.001 TEST.BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.signalUserInitiateChemcialDisinfectFlushMode.return:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:1 TEST.END -- Test Case: signalUserInitiateChemcialDisinfectFlushMode.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateChemcialDisinfectFlushMode TEST.NEW TEST.NAME:signalUserInitiateChemcialDisinfectFlushMode.002 TEST.BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.EXPECTED:ModeStandby.signalUserInitiateChemcialDisinfectFlushMode.return:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:1 TEST.END -- Test Case: signalUserInitiateChemcialDisinfectFlushMode.003 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateChemcialDisinfectFlushMode TEST.NEW TEST.NAME:signalUserInitiateChemcialDisinfectFlushMode.003 TEST.BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> TRUE (3) if ((1) == isDGCommunicating()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:<> TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.EXPECTED:ModeStandby.signalUserInitiateChemcialDisinfectFlushMode.return:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:32 TEST.END -- Test Case: signalUserInitiateChemcialDisinfectFlushMode.004 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateChemcialDisinfectFlushMode TEST.NEW TEST.NAME:signalUserInitiateChemcialDisinfectFlushMode.004 TEST.BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> TRUE (3) if ((1) == isDGCommunicating()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.VALUE:ModeStandby.<>.chemDisinfectFlushStartReqReceived:MACRO=STANDBY_WAIT_FOR_DISINFECT_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.EXPECTED:ModeStandby.<>.chemDisinfectFlushStartReqReceived:1 TEST.EXPECTED:ModeStandby.signalUserInitiateChemcialDisinfectFlushMode.return:1 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:1 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:0 TEST.END -- Test Case: signalUserInitiateChemcialDisinfectFlushMode.005 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateChemcialDisinfectFlushMode TEST.NEW TEST.NAME:signalUserInitiateChemcialDisinfectFlushMode.005 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.EXPECTED:ModeStandby.signalUserInitiateChemcialDisinfectFlushMode.return:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:32 TEST.END -- Subprogram: signalUserInitiateChemicalDisinfectMode -- Test Case: signalUserInitiateChemicalDisinfectMode.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateChemicalDisinfectMode TEST.NEW TEST.NAME:signalUserInitiateChemicalDisinfectMode.001 TEST.BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:1 TEST.END -- Test Case: signalUserInitiateChemicalDisinfectMode.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateChemicalDisinfectMode TEST.NEW TEST.NAME:signalUserInitiateChemicalDisinfectMode.002 TEST.BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:1 TEST.END -- Test Case: signalUserInitiateChemicalDisinfectMode.003 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateChemicalDisinfectMode TEST.NEW TEST.NAME:signalUserInitiateChemicalDisinfectMode.003 TEST.BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> TRUE (3) if ((1) == isDGCommunicating()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.EXPECTED:ModeStandby.<>.chemDisinfectStartReqReceived:1 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:1 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:0 TEST.END -- Test Case: signalUserInitiateChemicalDisinfectMode.004 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateChemicalDisinfectMode TEST.NEW TEST.NAME:signalUserInitiateChemicalDisinfectMode.004 TEST.BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> TRUE (3) if ((1) == isDGCommunicating()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:<> TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:32 TEST.END -- Test Case: signalUserInitiateChemicalDisinfectMode.005 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateChemicalDisinfectMode TEST.NEW TEST.NAME:signalUserInitiateChemicalDisinfectMode.005 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:32 TEST.END -- Subprogram: signalUserInitiateFlushMode -- Test Case: signalUserInitiateFlushMode.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateFlushMode TEST.NEW TEST.NAME:signalUserInitiateFlushMode.001 TEST.BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.signalUserInitiateFlushMode.return:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:1 TEST.END -- Test Case: signalUserInitiateFlushMode.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateFlushMode TEST.NEW TEST.NAME:signalUserInitiateFlushMode.002 TEST.BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:1 TEST.END -- Test Case: signalUserInitiateFlushMode.003 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateFlushMode TEST.NEW TEST.NAME:signalUserInitiateFlushMode.003 TEST.BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> TRUE (3) if ((1) == isDGCommunicating()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:<> TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:32 TEST.END -- Test Case: signalUserInitiateFlushMode.004 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateFlushMode TEST.NEW TEST.NAME:signalUserInitiateFlushMode.004 TEST.BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> TRUE (3) if ((1) == isDGCommunicating()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.EXPECTED:ModeStandby.<>.flushStartReqReceived:1 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:1 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:0 TEST.END -- Test Case: signalUserInitiateFlushMode.005 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateFlushMode TEST.NEW TEST.NAME:signalUserInitiateFlushMode.005 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:32 TEST.END -- Subprogram: signalUserInitiateHeatDisinfectMode -- Test Case: signalUserInitiateHeatDisinfectMode.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateHeatDisinfectMode TEST.NEW TEST.NAME:signalUserInitiateHeatDisinfectMode.001 TEST.BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.signalUserInitiateHeatDisinfectMode.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.signalUserInitiateHeatDisinfectMode.return:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:1 TEST.END -- Test Case: signalUserInitiateHeatDisinfectMode.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateHeatDisinfectMode TEST.NEW TEST.NAME:signalUserInitiateHeatDisinfectMode.002 TEST.BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:1 TEST.END -- Test Case: signalUserInitiateHeatDisinfectMode.003 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateHeatDisinfectMode TEST.NEW TEST.NAME:signalUserInitiateHeatDisinfectMode.003 TEST.BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> TRUE (3) if ((1) == isDGCommunicating()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:<> TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:32 TEST.END -- Test Case: signalUserInitiateHeatDisinfectMode.004 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateHeatDisinfectMode TEST.NEW TEST.NAME:signalUserInitiateHeatDisinfectMode.004 TEST.BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> TRUE (3) if ((1) == isDGCommunicating()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.EXPECTED:ModeStandby.<>.heatDisinfectStartReqReceived:1 TEST.EXPECTED:ModeStandby.signalUserInitiateHeatDisinfectMode.return:1 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:1 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:0 TEST.END -- Test Case: signalUserInitiateHeatDisinfectMode.005 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateHeatDisinfectMode TEST.NEW TEST.NAME:signalUserInitiateHeatDisinfectMode.005 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((MODE_STAN) == getCurrentOperationMode()) ==> TRUE (2) if ((STANDBY_WAIT_FOR_DISINFECT_STATE) == currentStandbyState || (STANDBY_WAIT_FOR_TREATMENT_STATE) == currentStandbyState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.sendDisinfectConfirmResponse.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendDisinfectConfirmResponse.reason:32 TEST.END -- Subprogram: signalUserInitiateTreatment -- Test Case: signalUserInitiateTreatment.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.001 TEST.BASIS_PATH:1 of 6 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE (2) if ((1) != isDGCommunicating()) ==> FALSE (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE (4) if ((0) == isBatteryCharged()) ==> FALSE (5) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE Test Case Generation Notes: Cannot set local variable rejReason in branch 5 TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:1 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:51 TEST.END -- Test Case: signalUserInitiateTreatment.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.002 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE (2) if ((1) != isDGCommunicating()) ==> FALSE (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE (4) if ((0) == isBatteryCharged()) ==> FALSE (5) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE Test Case Generation Notes: Cannot set local variable rejReason in branch 5 TEST.END_NOTES: TEST.STUB:ModeStandby.isDGDisinfectValid TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:ModeStandby.isDGDisinfectValid.return:0 TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:1 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:51 TEST.END -- Test Case: signalUserInitiateTreatment.003 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.003 TEST.BASIS_PATH:3 of 6 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE (2) if ((1) != isDGCommunicating()) ==> FALSE (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE (4) if ((0) == isBatteryCharged()) ==> TRUE (5) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE Test Case Generation Notes: Cannot set rejReason due to assignment TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:0 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:51 TEST.END -- Test Case: signalUserInitiateTreatment.004 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.004 TEST.BASIS_PATH:4 of 6 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE (2) if ((1) != isDGCommunicating()) ==> FALSE (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> TRUE (4) if ((0) == isBatteryCharged()) ==> FALSE (5) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE Test Case Generation Notes: Cannot set rejReason due to assignment TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:51 TEST.END -- Test Case: signalUserInitiateTreatment.005 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.005 TEST.BASIS_PATH:5 of 6 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE (2) if ((1) != isDGCommunicating()) ==> TRUE (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE (4) if ((0) == isBatteryCharged()) ==> FALSE (5) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE Test Case Generation Notes: Cannot set rejReason due to assignment TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:<> TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:32 TEST.END -- Test Case: signalUserInitiateTreatment.006 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.006 TEST.BASIS_PATH:6 of 6 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> TRUE (2) if ((1) != isDGCommunicating()) ==> FALSE (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE (4) if ((0) == isBatteryCharged()) ==> FALSE (5) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE Test Case Generation Notes: Cannot set rejReason due to assignment TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:0 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:1 TEST.END -- Test Case: signalUserInitiateTreatment.007 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.007 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE (2) if ((1) != isDGCommunicating()) ==> FALSE (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE (4) if ((0) == isBatteryCharged()) ==> FALSE (5) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE Test Case Generation Notes: Cannot set local variable rejReason in branch 5 TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:1 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:1 TEST.END -- Test Case: signalUserInitiateTreatment.008 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.008 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE (2) if ((1) != isDGCommunicating()) ==> FALSE (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE (4) if ((0) == isBatteryCharged()) ==> FALSE (5) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE Test Case Generation Notes: Cannot set local variable rejReason in branch 5 TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:1 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:51 TEST.END -- Test Case: signalUserInitiateTreatment.009 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.009 TEST.BASIS_PATH:2 of 8 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE (2) if ((1) != isDGCommunicating()) ==> FALSE (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE (4) if ((0) == isBatteryCharged()) ==> FALSE (5) if ((0) == isDGDisinfectValid()) ==> FALSE (6) if (getHeatDisinfectTemperatureSensorValue() > (44.0F)) ==> FALSE (7) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> TRUE Test Case Generation Notes: Cannot set local variable rejReason in branch 7 TEST.END_NOTES: TEST.STUB:ModeStandby.isDGDisinfectValid TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:ModeStandby.isDGDisinfectValid.return:1 TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.getHeatDisinfectTemperatureSensorValue.return:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.END -- Test Case: signalUserInitiateTreatment.010 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.010 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE (2) if ((1) != isDGCommunicating()) ==> FALSE (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE (4) if ((0) == isBatteryCharged()) ==> FALSE (5) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE Test Case Generation Notes: Cannot set local variable rejReason in branch 5 TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.getHeatDisinfectTemperatureSensorValue.return:45.0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:1 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:51 TEST.END -- Test Case: signalUserInitiateTreatment.011 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.011 TEST.BASIS_PATH:7 of 10 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE (2) if ((1) != isDGCommunicating()) ==> FALSE (3) if (dgVersion.compatibilityRev != (2)) ==> FALSE (4) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> TRUE (9) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE Test Case Generation Notes: Cannot set rejReason due to assignment TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:2 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.END -- Test Case: signalUserInitiateTreatment.012 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.012 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE (2) if ((1) != isDGCommunicating()) ==> FALSE (3) if (dgVersion.compatibilityRev != (2)) ==> FALSE (4) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> TRUE (9) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE Test Case Generation Notes: Cannot set rejReason due to assignment TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:2 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.END -- Test Case: signalUserInitiateTreatment.013 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.013 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE (2) if ((1) != isDGCommunicating()) ==> FALSE (3) if (dgVersion.compatibilityRev != (2)) ==> FALSE (4) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> TRUE (9) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE Test Case Generation Notes: Cannot set rejReason due to assignment TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:MACRO=DG_STANDBY_MODE_STATE_IDLE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:2 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.END -- Test Case: signalUserInitiateTreatment.014 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.014 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE (2) if ((1) != isDGCommunicating()) ==> FALSE (3) if (dgVersion.compatibilityRev != (2)) ==> FALSE (4) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> TRUE (9) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE Test Case Generation Notes: Cannot set rejReason due to assignment TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:MACRO=DG_STANDBY_MODE_STATE_IDLE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:2 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.END -- Test Case: signalUserInitiateTreatment.016 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.016 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE (2) if ((1) != isDGCommunicating()) ==> FALSE (3) if (dgVersion.compatibilityRev != (2)) ==> FALSE (4) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> TRUE (9) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE Test Case Generation Notes: Cannot set rejReason due to assignment TEST.END_NOTES: TEST.STUB:ModeStandby.isDGDisinfectValid TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:ModeStandby.isDGDisinfectValid.return:1 TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:MACRO=DG_STANDBY_MODE_STATE_IDLE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:2 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.END -- Test Case: signalUserInitiateTreatment.017 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.017 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE (2) if ((1) != isDGCommunicating()) ==> FALSE (3) if (dgVersion.compatibilityRev != (2)) ==> FALSE (4) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> TRUE (9) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE Test Case Generation Notes: Cannot set rejReason due to assignment TEST.END_NOTES: TEST.STUB:ModeStandby.isDGDisinfectValid TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:ModeStandby.isDGDisinfectValid.return:1 TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:MACRO=DG_STANDBY_MODE_STATE_IDLE TEST.VALUE:uut_prototype_stubs.getHeatDisinfectTemperatureSensorValue.return:45.0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:2 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.END -- Test Case: signalUserInitiateTreatment.018 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.018 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE (2) if ((1) != isDGCommunicating()) ==> FALSE (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE (4) if ((0) == isBatteryCharged()) ==> FALSE (5) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE Test Case Generation Notes: Cannot set local variable rejReason in branch 5 TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:3 TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:1 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:46 TEST.END -- Test Case: signalUserInitiateTreatment.019 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.019 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE (2) if ((1) != isDGCommunicating()) ==> FALSE (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE (4) if ((0) == isBatteryCharged()) ==> FALSE (5) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE Test Case Generation Notes: Cannot set local variable rejReason in branch 5 TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:3 TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:1 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:34 TEST.END -- Test Case: signalUserInitiateTreatment.020 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.020 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE (2) if ((1) != isDGCommunicating()) ==> FALSE (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE (4) if ((0) == isBatteryCharged()) ==> FALSE (5) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE Test Case Generation Notes: Cannot set local variable rejReason in branch 5 TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_INIT TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:3 TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:1 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:34 TEST.END -- Test Case: signalUserInitiateTreatment.021 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.021 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE (2) if ((1) != isDGCommunicating()) ==> FALSE (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE (4) if ((0) == isBatteryCharged()) ==> FALSE (5) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE Test Case Generation Notes: Cannot set local variable rejReason in branch 5 TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:0 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:3 TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:1 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:38 TEST.END -- Test Case: signalUserInitiateTreatment.022 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.022 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE (2) if ((1) != isDGCommunicating()) ==> FALSE (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE (4) if ((0) == isBatteryCharged()) ==> FALSE (5) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE Test Case Generation Notes: Cannot set local variable rejReason in branch 5 TEST.END_NOTES: TEST.STUB:ModeStandby.haveHDDGServicesBeenExpired TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:ModeStandby.haveHDDGServicesBeenExpired.return:1 TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:3 TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:1 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.EXPECTED:ModeStandby.haveHDDGServicesBeenExpired.rejReason[0]:REQUEST_REJECT_REASON_NONE TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:1 TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:0 TEST.END -- Test Case: signalUserInitiateTreatment.023 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.023 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE (2) if ((1) != isDGCommunicating()) ==> FALSE (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE (4) if ((0) == isBatteryCharged()) ==> FALSE (5) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE Test Case Generation Notes: Cannot set local variable rejReason in branch 5 TEST.END_NOTES: TEST.STUB:ModeStandby.isDGDisinfectValid TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:ModeStandby.isDGDisinfectValid.return:1 TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:3 TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:1 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:1 TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:0 TEST.END -- Test Case: signalUserInitiateTreatment.024 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW TEST.NAME:signalUserInitiateTreatment.024 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) ==> FALSE (2) if ((1) != isDGCommunicating()) ==> FALSE (3) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> FALSE (4) if ((0) == isBatteryCharged()) ==> FALSE (5) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE Test Case Generation Notes: Cannot set local variable rejReason in branch 5 TEST.END_NOTES: TEST.STUB:ModeStandby.isDGDisinfectValid TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:ModeStandby.isDGDisinfectValid.return:1 TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1 TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.getHeatDisinfectTemperatureSensorValue.return:45.0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:3 TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:1 TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:0 TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:50 TEST.END -- Subprogram: testResetStandbyModePublishIntervalOverride -- Test Case: testResetStandbyModePublishIntervalOverride.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:testResetStandbyModePublishIntervalOverride TEST.NEW TEST.NAME:testResetStandbyModePublishIntervalOverride.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Test Case: testResetStandbyModePublishIntervalOverride.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:testResetStandbyModePublishIntervalOverride TEST.NEW TEST.NAME:testResetStandbyModePublishIntervalOverride.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Subprogram: testSetStandbyModePublishIntervalOverride -- Test Case: testSetStandbyModePublishIntervalOverride.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:testSetStandbyModePublishIntervalOverride TEST.NEW TEST.NAME:testSetStandbyModePublishIntervalOverride.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.testSetStandbyModePublishIntervalOverride.ms:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:ModeStandby.testSetStandbyModePublishIntervalOverride.ms:0 TEST.END -- Test Case: testSetStandbyModePublishIntervalOverride.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:testSetStandbyModePublishIntervalOverride TEST.NEW TEST.NAME:testSetStandbyModePublishIntervalOverride.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:ModeStandby.testSetStandbyModePublishIntervalOverride.ms:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:ModeStandby.testSetStandbyModePublishIntervalOverride.ms:0 TEST.END -- Subprogram: transitionToStandbyMode -- Test Case: transitionToStandbyMode.001 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:transitionToStandbyMode TEST.NEW TEST.NAME:transitionToStandbyMode.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.STUB:ModeStandby.initStandbyMode TEST.VALUE:ModeStandby.transitionToStandbyMode.return:0 TEST.VALUE:uut_prototype_stubs.getPreviousOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED TEST.VALUE:uut_prototype_stubs.sendDGUsageInfoRequestToDG.return:0 TEST.VALUE:uut_prototype_stubs.sendDGServiceRequestToDG.return:0 TEST.EXPECTED:ModeStandby.transitionToStandbyMode.return:0 TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RESUME,ALARM_USER_ACTION_RINSEBACK,ALARM_USER_ACTION_END_TREATMENT TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:(3)0 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.door:1 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.pumpTrack:0 TEST.EXPECTED:uut_prototype_stubs.syringeDetectionRequired.req:0 TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:(4)VALVE_POSITION_A_INSERT_EJECT TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED TEST.END -- Test Case: transitionToStandbyMode.002 TEST.UNIT:ModeStandby TEST.SUBPROGRAM:transitionToStandbyMode TEST.NEW TEST.NAME:transitionToStandbyMode.002 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.STUB:ModeStandby.initStandbyMode TEST.VALUE:ModeStandby.transitionToStandbyMode.return:0 TEST.VALUE:uut_prototype_stubs.getPreviousOperationMode.return:MODE_POST TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED TEST.VALUE:uut_prototype_stubs.sendDGUsageInfoRequestToDG.return:0 TEST.VALUE:uut_prototype_stubs.sendDGServiceRequestToDG.return:0 TEST.EXPECTED:ModeStandby.transitionToStandbyMode.return:2 TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RESUME,ALARM_USER_ACTION_RINSEBACK,ALARM_USER_ACTION_END_TREATMENT TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:(3)0 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.door:0 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.pumpTrack:0 TEST.EXPECTED:uut_prototype_stubs.syringeDetectionRequired.req:0 TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:(4)VALVE_POSITION_A_INSERT_EJECT TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED TEST.END