Index: vectorcast/Hercules_RM46_HD_Project/environment/MODESTANDBY/MODESTANDBY.tst =================================================================== diff -u -r39784f793b0095edf9d6dc15003ddec05ab71f0c -r46e54bc6459e656b7da7454e956048060c377ddc --- vectorcast/Hercules_RM46_HD_Project/environment/MODESTANDBY/MODESTANDBY.tst (.../MODESTANDBY.tst) (revision 39784f793b0095edf9d6dc15003ddec05ab71f0c) +++ vectorcast/Hercules_RM46_HD_Project/environment/MODESTANDBY/MODESTANDBY.tst (.../MODESTANDBY.tst) (revision 46e54bc6459e656b7da7454e956048060c377ddc) @@ -4296,1208 +4296,298 @@ -- Subprogram: signalUserInitiateTreatment --- Test Case: signalUserInitiateTreatment.001 +-- Test Case: signalUserInitiateTreatment_DG_not_comm 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:46 -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.NAME:signalUserInitiateTreatment_DG_not_comm TEST.STUB:ModeStandby.isDGDisinfectValid +TEST.STUB:ModeStandby.haveHDDGServicesBeenExpired TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE -TEST.VALUE:ModeStandby.isDGDisinfectValid.return:0 +TEST.VALUE:ModeStandby.signalUserInitiateTreatment.return:1 +TEST.VALUE:ModeStandby.isDGDisinfectValid.return:1 +TEST.VALUE:ModeStandby.haveHDDGServicesBeenExpired.return:0 +TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.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.getHeatDisinfectTemperatureSensorValue.return:40.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:46 +TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:0 +TEST.VALUE:uut_prototype_stubs.isPOSTPassed.return:1 +TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:9 +TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 TEST.END --- Test Case: signalUserInitiateTreatment.003 +-- Test Case: signalUserInitiateTreatment_DG_not_standby 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:46 -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:46 -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:46 -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:46 -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:46 -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:46 -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.NAME:signalUserInitiateTreatment_DG_not_standby TEST.STUB:ModeStandby.isDGDisinfectValid +TEST.STUB:ModeStandby.haveHDDGServicesBeenExpired TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE +TEST.VALUE:ModeStandby.signalUserInitiateTreatment.return:1 TEST.VALUE:ModeStandby.isDGDisinfectValid.return:1 +TEST.VALUE:ModeStandby.haveHDDGServicesBeenExpired.return:0 +TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.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.getDGOpMode.return:DG_MODE_SERV TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 -TEST.VALUE:uut_prototype_stubs.getHeatDisinfectTemperatureSensorValue.return:<> +TEST.VALUE:uut_prototype_stubs.getHeatDisinfectTemperatureSensorValue.return:40.0 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.VALUE:uut_prototype_stubs.isPOSTPassed.return:1 +TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:9 TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 -TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:0 -TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:46 TEST.END --- Test Case: signalUserInitiateTreatment.011 +-- Test Case: signalUserInitiateTreatment_DG_not_standby_not_idle 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.015 -TEST.UNIT:ModeStandby -TEST.SUBPROGRAM:signalUserInitiateTreatment -TEST.NEW -TEST.NAME:signalUserInitiateTreatment.015 -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.isPOSTPassed.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:46 -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.NAME:signalUserInitiateTreatment_DG_not_standby_not_idle TEST.STUB:ModeStandby.isDGDisinfectValid +TEST.STUB:ModeStandby.haveHDDGServicesBeenExpired TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE +TEST.VALUE:ModeStandby.signalUserInitiateTreatment.return:1 TEST.VALUE:ModeStandby.isDGDisinfectValid.return:1 +TEST.VALUE:ModeStandby.haveHDDGServicesBeenExpired.return:0 +TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.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:MACRO=DG_STANDBY_MODE_STATE_IDLE +TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 +TEST.VALUE:uut_prototype_stubs.getHeatDisinfectTemperatureSensorValue.return:40.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.VALUE:uut_prototype_stubs.isPOSTPassed.return:1 +TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:9 +TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 TEST.END --- Test Case: signalUserInitiateTreatment.017 +-- Test Case: signalUserInitiateTreatment_POST_not_passed 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.NAME:signalUserInitiateTreatment_POST_not_passed TEST.STUB:ModeStandby.isDGDisinfectValid +TEST.STUB:ModeStandby.haveHDDGServicesBeenExpired TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE +TEST.VALUE:ModeStandby.signalUserInitiateTreatment.return:1 TEST.VALUE:ModeStandby.isDGDisinfectValid.return:1 +TEST.VALUE:ModeStandby.haveHDDGServicesBeenExpired.return:0 +TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.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: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.getHeatDisinfectTemperatureSensorValue.return:40.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.VALUE:uut_prototype_stubs.isPOSTPassed.return:0 +TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:9 +TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 TEST.END --- Test Case: signalUserInitiateTreatment.019 +-- Test Case: signalUserInitiateTreatment_all_false 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.NAME:signalUserInitiateTreatment_all_false +TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE +TEST.VALUE:ModeStandby.signalUserInitiateTreatment.return:1 +TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.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:1 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN +TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL 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.VALUE:uut_prototype_stubs.isPOSTPassed.return:1 +TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:11 +TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 TEST.END --- Test Case: signalUserInitiateTreatment.020 +-- Test Case: signalUserInitiateTreatment_battery_not_charged 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.NAME:signalUserInitiateTreatment_battery_not_charged +TEST.STUB:ModeStandby.isDGDisinfectValid +TEST.STUB:ModeStandby.haveHDDGServicesBeenExpired 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:46 -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:ModeStandby.signalUserInitiateTreatment.return:1 +TEST.VALUE:ModeStandby.isDGDisinfectValid.return:1 +TEST.VALUE:ModeStandby.haveHDDGServicesBeenExpired.return:0 +TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:0 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.getHeatDisinfectTemperatureSensorValue.return:40.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.VALUE:uut_prototype_stubs.isPOSTPassed.return:1 +TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:9 +TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 TEST.END --- Test Case: signalUserInitiateTreatment.022 +-- Test Case: signalUserInitiateTreatment_comp_wrong 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.NAME:signalUserInitiateTreatment_comp_wrong +TEST.STUB:ModeStandby.isDGDisinfectValid TEST.STUB:ModeStandby.haveHDDGServicesBeenExpired TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE -TEST.VALUE:ModeStandby.haveHDDGServicesBeenExpired.return:1 +TEST.VALUE:ModeStandby.signalUserInitiateTreatment.return:1 +TEST.VALUE:ModeStandby.isDGDisinfectValid.return:1 +TEST.VALUE:ModeStandby.haveHDDGServicesBeenExpired.return:0 +TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.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.getHeatDisinfectTemperatureSensorValue.return:40.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_NOT_ALLOWED_IN_CURRENT_MODE -TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:0 -TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:1 +TEST.VALUE:uut_prototype_stubs.isPOSTPassed.return:1 +TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:10 +TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 TEST.END --- Test Case: signalUserInitiateTreatment.023 +-- Test Case: signalUserInitiateTreatment_current_state_not_wait_for_tx 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.NAME:signalUserInitiateTreatment_current_state_not_wait_for_tx TEST.STUB:ModeStandby.isDGDisinfectValid -TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE +TEST.STUB:ModeStandby.haveHDDGServicesBeenExpired +TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE +TEST.VALUE:ModeStandby.signalUserInitiateTreatment.return:1 TEST.VALUE:ModeStandby.isDGDisinfectValid.return:1 +TEST.VALUE:ModeStandby.haveHDDGServicesBeenExpired.return:0 +TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.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.getHeatDisinfectTemperatureSensorValue.return:40.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:1 +TEST.VALUE:uut_prototype_stubs.isPOSTPassed.return:1 +TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:9 +TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 TEST.END --- Test Case: signalUserInitiateTreatment.024 +-- Test Case: signalUserInitiateTreatment_hd_standby 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.NAME:signalUserInitiateTreatment_hd_standby TEST.STUB:ModeStandby.isDGDisinfectValid +TEST.STUB:ModeStandby.haveHDDGServicesBeenExpired TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE +TEST.VALUE:ModeStandby.signalUserInitiateTreatment.return:1 TEST.VALUE:ModeStandby.isDGDisinfectValid.return:1 +TEST.VALUE:ModeStandby.haveHDDGServicesBeenExpired.return:0 +TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.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.getHeatDisinfectTemperatureSensorValue.return:45.0 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN +TEST.VALUE:uut_prototype_stubs.getHeatDisinfectTemperatureSensorValue.return:40.0 +TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_SERV 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 - --- Test Case: signalUserInitiateTreatment.025 -TEST.UNIT:ModeStandby -TEST.SUBPROGRAM:signalUserInitiateTreatment -TEST.NEW -TEST.NAME:signalUserInitiateTreatment.025 -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:0 TEST.VALUE:uut_prototype_stubs.isPOSTPassed.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:46 +TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:9 +TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 TEST.END --- Test Case: signalUserInitiateTreatment.026 +-- Test Case: signalUserInitiateTreatment_test_config_srvc_expired TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW -TEST.NAME:signalUserInitiateTreatment.026 -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.NAME:signalUserInitiateTreatment_test_config_srvc_expired +TEST.STUB:ModeStandby.isDGDisinfectValid +TEST.STUB:ModeStandby.haveHDDGServicesBeenExpired +TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE +TEST.VALUE:ModeStandby.signalUserInitiateTreatment.return:1 +TEST.VALUE:ModeStandby.isDGDisinfectValid.return:0 +TEST.VALUE:ModeStandby.haveHDDGServicesBeenExpired.return:1 +TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.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.getDGSubMode.return:1 +TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.isPOSTPassed.return:1 -TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:6 -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.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:11 +TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 TEST.END --- Test Case: signalUserInitiateTreatment.027 +-- Test Case: signalUserInitiateTreatment_test_config_srvc_not_expired_dis_temp_in TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW -TEST.NAME:signalUserInitiateTreatment.027 -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.NAME:signalUserInitiateTreatment_test_config_srvc_not_expired_dis_temp_in +TEST.STUB:ModeStandby.isDGDisinfectValid +TEST.STUB:ModeStandby.haveHDDGServicesBeenExpired TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE +TEST.VALUE:ModeStandby.signalUserInitiateTreatment.return:0 +TEST.VALUE:ModeStandby.isDGDisinfectValid.return:1 +TEST.VALUE:ModeStandby.haveHDDGServicesBeenExpired.return:0 +TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:0 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:0 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN -TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 -TEST.VALUE:uut_prototype_stubs.isPOSTPassed.return:1 -TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:6 -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.028 -TEST.UNIT:ModeStandby -TEST.SUBPROGRAM:signalUserInitiateTreatment -TEST.NEW -TEST.NAME:signalUserInitiateTreatment.028 -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.getHeatDisinfectTemperatureSensorValue.return:40.0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.isPOSTPassed.return:1 -TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:6 -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.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:9 +TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:1 TEST.END --- Test Case: signalUserInitiateTreatment.029 +-- Test Case: signalUserInitiateTreatment_test_config_srvc_not_expired_dis_temp_out TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW -TEST.NAME:signalUserInitiateTreatment.029 -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.getTestConfigStatus.return:1 -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.isPOSTPassed.return:1 -TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:6 -TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:1 -TEST.EXPECTED:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE -TEST.EXPECTED:uut_prototype_stubs.getTestConfigStatus.config:TEST_CONFIG_SKIP_DISINFECT_AND_SERVICE_TX_BLOCKERS -TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.accepted:0 -TEST.END - --- Test Case: signalUserInitiateTreatment.030 -TEST.UNIT:ModeStandby -TEST.SUBPROGRAM:signalUserInitiateTreatment -TEST.NEW -TEST.NAME:signalUserInitiateTreatment.030 -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.NAME:signalUserInitiateTreatment_test_config_srvc_not_expired_dis_temp_out +TEST.STUB:ModeStandby.isDGDisinfectValid +TEST.STUB:ModeStandby.haveHDDGServicesBeenExpired +TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE +TEST.VALUE:ModeStandby.signalUserInitiateTreatment.return:1 +TEST.VALUE:ModeStandby.isDGDisinfectValid.return:1 +TEST.VALUE:ModeStandby.haveHDDGServicesBeenExpired.return:0 +TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:0 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:<> -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN -TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 -TEST.VALUE:uut_prototype_stubs.isPOSTPassed.return:1 -TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:6 -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.031 -TEST.UNIT:ModeStandby -TEST.SUBPROGRAM:signalUserInitiateTreatment -TEST.NEW -TEST.NAME:signalUserInitiateTreatment.031 -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:<> -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN -TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 -TEST.VALUE:uut_prototype_stubs.isPOSTPassed.return:1 -TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:6 -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.032 -TEST.UNIT:ModeStandby -TEST.SUBPROGRAM:signalUserInitiateTreatment -TEST.NEW -TEST.NAME:signalUserInitiateTreatment.032 -TEST.BASIS_PATH:8 of 11 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 8 - (1) if (((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) || isPOSTPassed() != (1)) ==> FALSE - (2) if ((1) != isDGCommunicating()) ==> FALSE - (3) if (dgVersion.compatibilityRev != (7)) ==> FALSE - (4) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> TRUE - (6) if (getTestConfigStatus(TEST_CONFIG_SKIP_DISINFECT_AND_SERVICE_TX_BLOCKERS) != (1)) ==> FALSE - (10) 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:ModeStandby.signalUserInitiateTreatment.return:0 -TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.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.getHeatDisinfectTemperatureSensorValue.return:45.0 +TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.isPOSTPassed.return:1 -TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:7 +TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:11 TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 TEST.END --- Test Case: signalUserInitiateTreatment.033 +-- Test Case: signalUserInitiateTreatment_test_config_srvc_not_expired_no_dis TEST.UNIT:ModeStandby TEST.SUBPROGRAM:signalUserInitiateTreatment TEST.NEW -TEST.NAME:signalUserInitiateTreatment.033 -TEST.BASIS_PATH:9 of 11 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 9 - (1) if (((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) || isPOSTPassed() != (1)) ==> FALSE - (2) if ((1) != isDGCommunicating()) ==> FALSE - (3) if (dgVersion.compatibilityRev != (7)) ==> TRUE - (6) if (getTestConfigStatus(TEST_CONFIG_SKIP_DISINFECT_AND_SERVICE_TX_BLOCKERS) != (1)) ==> FALSE - (10) 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:ModeStandby.signalUserInitiateTreatment.return:0 -TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN -TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 -TEST.VALUE:uut_prototype_stubs.isPOSTPassed.return:1 -TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:<> -TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:MACRO=REQUEST_REJECT_REASON_DG_INCOMPATIBLE -TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:0 -TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 -TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:MACRO=REQUEST_REJECT_REASON_DG_INCOMPATIBLE -TEST.END - --- Test Case: signalUserInitiateTreatment.034 -TEST.UNIT:ModeStandby -TEST.SUBPROGRAM:signalUserInitiateTreatment -TEST.NEW -TEST.NAME:signalUserInitiateTreatment.034 -TEST.BASIS_PATH:10 of 11 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 10 - (1) if (((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) || isPOSTPassed() != (1)) ==> FALSE - (2) if ((1) != isDGCommunicating()) ==> TRUE - (6) if (getTestConfigStatus(TEST_CONFIG_SKIP_DISINFECT_AND_SERVICE_TX_BLOCKERS) != (1)) ==> FALSE - (10) 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:ModeStandby.signalUserInitiateTreatment.return:0 -TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN -TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:<> -TEST.VALUE:uut_prototype_stubs.isPOSTPassed.return:1 -TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:MACRO=REQUEST_REJECT_REASON_DG_COMM_LOST -TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:0 -TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 -TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:MACRO=REQUEST_REJECT_REASON_DG_COMM_LOST -TEST.END - --- Test Case: signalUserInitiateTreatment.035 -TEST.UNIT:ModeStandby -TEST.SUBPROGRAM:signalUserInitiateTreatment -TEST.NEW -TEST.NAME:signalUserInitiateTreatment.035 -TEST.BASIS_PATH:11 of 11 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 11 - (1) if (((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) || isPOSTPassed() != (1)) ==> TRUE - (6) if (getTestConfigStatus(TEST_CONFIG_SKIP_DISINFECT_AND_SERVICE_TX_BLOCKERS) != (1)) ==> FALSE - (10) if ((REQUEST_REJECT_REASON_NONE) == rejReason) ==> FALSE - Test Case Generation Notes: - Cannot set rejReason due to assignment -TEST.END_NOTES: +TEST.NAME:signalUserInitiateTreatment_test_config_srvc_not_expired_no_dis +TEST.STUB:ModeStandby.isDGDisinfectValid +TEST.STUB:ModeStandby.haveHDDGServicesBeenExpired TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_START_STATE -TEST.VALUE:ModeStandby.signalUserInitiateTreatment.return:0 -TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL -TEST.VALUE:uut_prototype_stubs.isPOSTPassed.return:<> -TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:MACRO=REQUEST_REJECT_REASON_NOT_ALLOWED_IN_CURRENT_MODE -TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:0 -TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 -TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:MACRO=REQUEST_REJECT_REASON_NOT_ALLOWED_IN_CURRENT_MODE -TEST.END - --- Test Case: signalUserInitiateTreatment.036 -TEST.UNIT:ModeStandby -TEST.SUBPROGRAM:signalUserInitiateTreatment -TEST.NEW -TEST.NAME:signalUserInitiateTreatment.036 -TEST.NOTES: -This is an automatically generated test case. - Test Path 8 - (1) if (((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) || isPOSTPassed() != (1)) ==> FALSE - (2) if ((1) != isDGCommunicating()) ==> FALSE - (3) if (dgVersion.compatibilityRev != (7)) ==> FALSE - (4) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> TRUE - (6) if (getTestConfigStatus(TEST_CONFIG_SKIP_DISINFECT_AND_SERVICE_TX_BLOCKERS) != (1)) ==> FALSE - (10) 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:ModeStandby.signalUserInitiateTreatment.return:0 -TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 +TEST.VALUE:ModeStandby.signalUserInitiateTreatment.return:1 +TEST.VALUE:ModeStandby.isDGDisinfectValid.return:0 +TEST.VALUE:ModeStandby.haveHDDGServicesBeenExpired.return:0 +TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.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:1 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN +TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.isPOSTPassed.return:1 -TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:7 -TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:MACRO=REQUEST_REJECT_REASON_DG_INCOMPATIBLE -TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:0 +TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:11 TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 -TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:MACRO=REQUEST_REJECT_REASON_DG_INCOMPATIBLE TEST.END --- Test Case: signalUserInitiateTreatment.037 -TEST.UNIT:ModeStandby -TEST.SUBPROGRAM:signalUserInitiateTreatment -TEST.NEW -TEST.NAME:signalUserInitiateTreatment.037 -TEST.NOTES: -This is an automatically generated test case. - Test Path 8 - (1) if (((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) || isPOSTPassed() != (1)) ==> FALSE - (2) if ((1) != isDGCommunicating()) ==> FALSE - (3) if (dgVersion.compatibilityRev != (7)) ==> FALSE - (4) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> TRUE - (6) if (getTestConfigStatus(TEST_CONFIG_SKIP_DISINFECT_AND_SERVICE_TX_BLOCKERS) != (1)) ==> FALSE - (10) 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:ModeStandby.signalUserInitiateTreatment.return:0 -TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.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.isPOSTPassed.return:1 -TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:7 -TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:MACRO=REQUEST_REJECT_REASON_DG_INCOMPATIBLE -TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:0 -TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 -TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:MACRO=REQUEST_REJECT_REASON_DG_INCOMPATIBLE -TEST.END - --- Test Case: signalUserInitiateTreatment.038 -TEST.UNIT:ModeStandby -TEST.SUBPROGRAM:signalUserInitiateTreatment -TEST.NEW -TEST.NAME:signalUserInitiateTreatment.038 -TEST.NOTES: -This is an automatically generated test case. - Test Path 8 - (1) if (((MODE_STAN) != getCurrentOperationMode() || (STANDBY_WAIT_FOR_TREATMENT_STATE) != currentStandbyState) || isPOSTPassed() != (1)) ==> FALSE - (2) if ((1) != isDGCommunicating()) ==> FALSE - (3) if (dgVersion.compatibilityRev != (7)) ==> FALSE - (4) if ((DG_MODE_STAN) != getDGOpMode() || (DG_STANDBY_MODE_STATE_IDLE) != getDGSubMode()) ==> TRUE - (6) if (getTestConfigStatus(TEST_CONFIG_SKIP_DISINFECT_AND_SERVICE_TX_BLOCKERS) != (1)) ==> FALSE - (10) 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:ModeStandby.signalUserInitiateTreatment.return:0 -TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.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.isPOSTPassed.return:1 -TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:7 -TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:MACRO=REQUEST_REJECT_REASON_DG_INCOMPATIBLE -TEST.VALUE:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.return:0 -TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 -TEST.EXPECTED:uut_prototype_stubs.sendInitiateTreatmentResponseMsg.reason:MACRO=REQUEST_REJECT_REASON_DG_INCOMPATIBLE -TEST.END - --- Test Case: signalUserInitiateTreatment.039 -TEST.UNIT:ModeStandby -TEST.SUBPROGRAM:signalUserInitiateTreatment -TEST.NEW -TEST.NAME:signalUserInitiateTreatment.039 -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.isPOSTPassed.return:1 -TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:8 -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.040 -TEST.UNIT:ModeStandby -TEST.SUBPROGRAM:signalUserInitiateTreatment -TEST.NEW -TEST.NAME:signalUserInitiateTreatment.040 -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.isPOSTPassed.return:1 -TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:8 -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.041 -TEST.UNIT:ModeStandby -TEST.SUBPROGRAM:signalUserInitiateTreatment -TEST.NEW -TEST.NAME:signalUserInitiateTreatment.041 -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.isPOSTPassed.return:1 -TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:8 -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 - -- Subprogram: testResetStandbyModePublishIntervalOverride -- Test Case: testResetStandbyModePublishIntervalOverride.001 Index: vectorcast/Hercules_RM46_HD_Project/environment/MODETREATMENT/MODETREATMENT.tst =================================================================== diff -u -r202a7e6c312e5dc5b85c0d2a30689c6d35a4358b -r46e54bc6459e656b7da7454e956048060c377ddc --- vectorcast/Hercules_RM46_HD_Project/environment/MODETREATMENT/MODETREATMENT.tst (.../MODETREATMENT.tst) (revision 202a7e6c312e5dc5b85c0d2a30689c6d35a4358b) +++ vectorcast/Hercules_RM46_HD_Project/environment/MODETREATMENT/MODETREATMENT.tst (.../MODETREATMENT.tst) (revision 46e54bc6459e656b7da7454e956048060c377ddc) @@ -181,7 +181,7 @@ TEST.EXPECTED:uut_prototype_stubs.sendTreatmentParamsRangesToUI.minTime:60 TEST.EXPECTED:uut_prototype_stubs.sendTreatmentParamsRangesToUI.maxTime:460 TEST.EXPECTED:uut_prototype_stubs.sendTreatmentParamsRangesToUI.minUFVol:7600.0 -TEST.EXPECTED:uut_prototype_stubs.sendTreatmentParamsRangesToUI.maxUFVol:7641.67 +TEST.EXPECTED:uut_prototype_stubs.sendTreatmentParamsRangesToUI.maxUFVol:7633.33 TEST.EXPECTED:uut_prototype_stubs.sendTreatmentParamsRangesToUI.minDialRate:100 TEST.EXPECTED:uut_prototype_stubs.sendTreatmentParamsRangesToUI.maxDialRate:600 TEST.END @@ -203,7 +203,7 @@ TEST.EXPECTED:uut_prototype_stubs.sendTreatmentParamsRangesToUI.minTime:60 TEST.EXPECTED:uut_prototype_stubs.sendTreatmentParamsRangesToUI.maxTime:480 TEST.EXPECTED:uut_prototype_stubs.sendTreatmentParamsRangesToUI.minUFVol:0.0 -TEST.EXPECTED:uut_prototype_stubs.sendTreatmentParamsRangesToUI.maxUFVol:41.6668 +TEST.EXPECTED:uut_prototype_stubs.sendTreatmentParamsRangesToUI.maxUFVol:33.3335 TEST.EXPECTED:uut_prototype_stubs.sendTreatmentParamsRangesToUI.minDialRate:100 TEST.EXPECTED:uut_prototype_stubs.sendTreatmentParamsRangesToUI.maxDialRate:600 TEST.END @@ -411,7 +411,7 @@ TEST.EXPECTED:ModeTreatment.<>.treatmentParamsRangesBroadcastTimerCtr:0 TEST.EXPECTED:uut_prototype_stubs.sendTreatmentParamsRangesToUI.minTime:60 TEST.EXPECTED:uut_prototype_stubs.sendTreatmentParamsRangesToUI.maxTime:480 -TEST.EXPECTED:uut_prototype_stubs.sendTreatmentParamsRangesToUI.maxUFVol:8000.0 +TEST.EXPECTED:uut_prototype_stubs.sendTreatmentParamsRangesToUI.maxUFVol:7010.04 TEST.EXPECTED:uut_prototype_stubs.sendTreatmentParamsRangesToUI.minDialRate:100 TEST.EXPECTED:uut_prototype_stubs.sendTreatmentParamsRangesToUI.maxDialRate:600 TEST.END @@ -3838,9 +3838,13 @@ TEST.NEW TEST.NAME:verifyTreatmentDurationSettingChange_DialVolOutOfRange TEST.IMPORT_FAILURES: -(I) @LINE: 3865 +(I) @LINE: 3902 >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 3902 + >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 3865 + >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 3862 >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 3623 @@ -4992,9 +4996,13 @@ TEST.NEW TEST.NAME:verifyUFSettingsConfirmation_Accepted_AdjTime TEST.IMPORT_FAILURES: -(I) @LINE: 5030 +(I) @LINE: 5071 >>> 'UF_ADJ_TREATMENT_TIME' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 5069 + >>> >>> 'UF_ADJ_TREATMENT_TIME' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 5030 + >>> >>> 'UF_ADJ_TREATMENT_TIME' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 5025 >>> >>> 'UF_ADJ_TREATMENT_TIME' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 4761 @@ -5096,9 +5104,13 @@ TEST.NEW TEST.NAME:verifyUFSettingsConfirmation_Accepted_AdjUFRate TEST.IMPORT_FAILURES: -(I) @LINE: 5136 +(I) @LINE: 5181 >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 5177 + >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 5136 + >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 5129 >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 4856 @@ -5196,9 +5208,13 @@ TEST.NEW TEST.NAME:verifyUFSettingsConfirmation_Accepted_NoResume_Bolus TEST.IMPORT_FAILURES: -(I) @LINE: 5230 +(I) @LINE: 5279 >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 5273 + >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 5230 + >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 5221 >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 4946 @@ -5292,9 +5308,13 @@ TEST.NEW TEST.NAME:verifyUFSettingsConfirmation_Accepted_NoResume_Stopped TEST.IMPORT_FAILURES: -(I) @LINE: 5324 +(I) @LINE: 5377 >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 5369 + >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 5324 + >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 5313 >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 5036 @@ -5389,9 +5409,13 @@ TEST.NEW TEST.NAME:verifyUFSettingsConfirmation_ConfirmationTimeout TEST.IMPORT_FAILURES: -(I) @LINE: 5419 +(I) @LINE: 5476 >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 5466 + >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 5419 + >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 5406 >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 5127 @@ -5486,9 +5510,13 @@ TEST.NEW TEST.NAME:verifyUFSettingsConfirmation_NotInTreatmentMode TEST.IMPORT_FAILURES: -(I) @LINE: 5514 +(I) @LINE: 5575 >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 5563 + >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 5514 + >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 5499 >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 5218 Index: vectorcast/Hercules_RM46_HD_Project/environment/MODETREATMENT/MODETREATMENT_cba.cvr =================================================================== diff -u -r202a7e6c312e5dc5b85c0d2a30689c6d35a4358b -r46e54bc6459e656b7da7454e956048060c377ddc --- vectorcast/Hercules_RM46_HD_Project/environment/MODETREATMENT/MODETREATMENT_cba.cvr (.../MODETREATMENT_cba.cvr) (revision 202a7e6c312e5dc5b85c0d2a30689c6d35a4358b) +++ vectorcast/Hercules_RM46_HD_Project/environment/MODETREATMENT/MODETREATMENT_cba.cvr (.../MODETREATMENT_cba.cvr) (revision 46e54bc6459e656b7da7454e956048060c377ddc) @@ -43,599 +43,4 @@ IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE IMPORT.SOURCE.END -RESULT.CBA.BEGIN -RESULT.CBA.RESULT: CBA_ModeTreatment -RESULT.CBA.NOTES -Some states not yet implemented. - ---- Invalidated Analysis Lines --- - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: execTreatmentMode - >>> Context Before: // TODO - implement -break; - - - >>> Line Context: case TREATMENT_DIALYSIS_END_STATE: - - >>> Context After: // TODO - implement -break; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: execTreatmentMode - >>> Context Before: // TODO - implement -break; - - - >>> Line Context: case TREATMENT_DIALYSIS_END_STATE: - - >>> Context After: // TODO - implement -break; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: execTreatmentMode - >>> Context Before: // TODO - implement -break; - - - >>> Line Context: case TREATMENT_END_STATE: - - >>> Context After: // TODO - implement -endAirTrapControl(); // TODO - move to appropriate place - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: execTreatmentMode - >>> Context Before: // TODO - implement -break; - - - >>> Line Context: case TREATMENT_END_STATE: - - >>> Context After: // TODO - implement -endAirTrapControl(); // TODO - move to appropriate place - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: execTreatmentMode - >>> Context Before: // TODO - implement -break; - - - >>> Line Context: case TREATMENT_RECIRC_PAUSE_STATE: - - >>> Context After: // TODO - implement -break; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: execTreatmentMode - >>> Context Before: // TODO - implement -break; - - - >>> Line Context: case TREATMENT_RECIRC_PAUSE_STATE: - - >>> Context After: // TODO - implement -break; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: execTreatmentMode - >>> Context Before: // TODO - implement -break; - - - >>> Line Context: case TREATMENT_RECIRC_SETUP_STATE: - - >>> Context After: // TODO - implement -break; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: execTreatmentMode - >>> Context Before: // TODO - implement -break; - - - >>> Line Context: case TREATMENT_RECIRC_SETUP_STATE: - - >>> Context After: // TODO - implement -break; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: execTreatmentMode - >>> Context Before: // TODO - implement -break; - - - >>> Line Context: case TREATMENT_RECIRC_STATE: - - >>> Context After: // TODO - implement -break; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: execTreatmentMode - >>> Context Before: // TODO - implement -break; - - - >>> Line Context: case TREATMENT_RECIRC_STATE: - - >>> Context After: // TODO - implement -break; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: execTreatmentMode - >>> Context Before: // TODO - implement -break; - - - >>> Line Context: case TREATMENT_RECIRC_STOP_STATE: - - >>> Context After: // TODO - implement -break; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: execTreatmentMode - >>> Context Before: // TODO - implement -break; - - - >>> Line Context: case TREATMENT_RECIRC_STOP_STATE: - - >>> Context After: // TODO - implement -break; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: execTreatmentMode - >>> Context Before: // TODO - implement -break; - - - >>> Line Context: case TREATMENT_RINSEBACK_PAUSE_STATE: - - >>> Context After: // TODO - implement -break; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: execTreatmentMode - >>> Context Before: // TODO - implement -break; - - - >>> Line Context: case TREATMENT_RINSEBACK_PAUSE_STATE: - - >>> Context After: // TODO - implement -break; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: execTreatmentMode - >>> Context Before: currentTreatmentState = handleTreatmentStopState(); -break; - - - >>> Line Context: case TREATMENT_RINSEBACK_STATE: - - >>> Context After: // TODO - implement -break; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: execTreatmentMode - >>> Context Before: currentTreatmentState = handleTreatmentStopState(); -break; - - - >>> Line Context: case TREATMENT_RINSEBACK_STATE: - - >>> Context After: // TODO - implement -break; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: execTreatmentMode - >>> Context Before: case TREATMENT_END_STATE: -// TODO - implement - - - >>> Line Context: endAirTrapControl(); - - >>> Context After: requestNewOperationMode( MODE_POST ); // TODO - test code - remove later -break; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: execTreatmentMode - >>> Context Before: // TODO - implement -endAirTrapControl(); // TODO - move to appropriate place - - - >>> Line Context: requestNewOperationMode( MODE_POST ); - - >>> Context After: break; -default: - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: execTreatmentMode - >>> Context Before: case TREATMENT_RECIRC_STOP_STATE: -// TODO - implement - - - >>> Line Context: break; - - >>> Context After: case TREATMENT_DIALYSIS_END_STATE: -// TODO - implement - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: execTreatmentMode - >>> Context Before: case TREATMENT_DIALYSIS_END_STATE: -// TODO - implement - - - >>> Line Context: break; - - >>> Context After: case TREATMENT_END_STATE: -// TODO - implement - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: execTreatmentMode - >>> Context Before: endAirTrapControl(); // TODO - move to appropriate place -requestNewOperationMode( MODE_POST ); // TODO - test code - remove later - - - >>> Line Context: break; - - >>> Context After: default: -{ ALARM_DATA_T dat1; ALARM_DATA_T dat2; dat1.dataType = ALARM_DATA_TYPE_U32; dat1.data.uInt.data = (U32)(SW_FAULT_ID_MODE_TREATMENT_INVALID_STATE); dat2.dataType = ALARM_DATA_TYPE_U32; dat2.data.uInt.data = (U32)(currentTreatmentState); activateAlarm2Data( ALARM_ID_HD_SOFTWARE_FAULT, dat1, dat2 ); }; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: handleTreatmentDialysisState - >>> Context Before: } -// TODO - test code - remove later - - - >>> Line Context: if ( getOffButtonState() == BUTTON_STATE_PRESSED - - >>> Context After: { -if ( lastOffButtonState == BUTTON_STATE_RELEASED ) - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: handleTreatmentDialysisState - >>> Context Before: } -// TODO - test code - remove later - - - >>> Line Context: if ( getOffButtonState() == BUTTON_STATE_PRESSED - - >>> Context After: { -if ( lastOffButtonState == BUTTON_STATE_RELEASED ) - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: handleTreatmentDialysisState - >>> Context Before: if ( getOffButtonState() == BUTTON_STATE_PRESSED ) -{ - - - >>> Line Context: if ( lastOffButtonState == BUTTON_STATE_RELEASED - - >>> Context After: { -lastOffButtonState = BUTTON_STATE_PRESSED; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: handleTreatmentDialysisState - >>> Context Before: if ( getOffButtonState() == BUTTON_STATE_PRESSED ) -{ - - - >>> Line Context: if ( lastOffButtonState == BUTTON_STATE_RELEASED - - >>> Context After: { -lastOffButtonState = BUTTON_STATE_PRESSED; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: handleTreatmentDialysisState - >>> Context Before: if ( getOffButtonState() == BUTTON_STATE_PRESSED ) -{ - - - >>> Line Context: if ( lastOffButtonState == BUTTON_STATE_RELEASED - - >>> Context After: { -lastOffButtonState = BUTTON_STATE_PRESSED; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: handleTreatmentDialysisState - >>> Context Before: if ( lastOffButtonState == BUTTON_STATE_RELEASED ) -{ - - - >>> Line Context: lastOffButtonState = BUTTON_STATE_PRESSED; - - >>> Context After: stopDialysis(); -transitionToTreatmentStop(); - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: handleTreatmentDialysisState - >>> Context Before: { -lastOffButtonState = BUTTON_STATE_PRESSED; - - - >>> Line Context: stopDialysis(); - - >>> Context After: transitionToTreatmentStop(); -result = TREATMENT_STOP_STATE; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: handleTreatmentDialysisState - >>> Context Before: lastOffButtonState = BUTTON_STATE_PRESSED; -stopDialysis(); - - - >>> Line Context: transitionToTreatmentStop(); - - >>> Context After: result = TREATMENT_STOP_STATE; -} - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: handleTreatmentStopState - >>> Context Before: } -// TODO - test code - remove later - - - >>> Line Context: if ( getOffButtonState() == BUTTON_STATE_PRESSED - - >>> Context After: { -if ( lastOffButtonState == BUTTON_STATE_RELEASED ) - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: handleTreatmentStopState - >>> Context Before: } -// TODO - test code - remove later - - - >>> Line Context: if ( getOffButtonState() == BUTTON_STATE_PRESSED - - >>> Context After: { -if ( lastOffButtonState == BUTTON_STATE_RELEASED ) - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: handleTreatmentStopState - >>> Context Before: if ( getOffButtonState() == BUTTON_STATE_PRESSED ) -{ - - - >>> Line Context: if ( lastOffButtonState == BUTTON_STATE_RELEASED - - >>> Context After: { -lastOffButtonState = BUTTON_STATE_PRESSED; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: handleTreatmentStopState - >>> Context Before: if ( getOffButtonState() == BUTTON_STATE_PRESSED ) -{ - - - >>> Line Context: if ( lastOffButtonState == BUTTON_STATE_RELEASED - - >>> Context After: { -lastOffButtonState = BUTTON_STATE_PRESSED; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: handleTreatmentStopState - >>> Context Before: if ( getOffButtonState() == BUTTON_STATE_PRESSED ) -{ - - - >>> Line Context: if ( lastOffButtonState == BUTTON_STATE_RELEASED - - >>> Context After: { -lastOffButtonState = BUTTON_STATE_PRESSED; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: handleTreatmentStopState - >>> Context Before: if ( lastOffButtonState == BUTTON_STATE_RELEASED ) -{ - - - >>> Line Context: lastOffButtonState = BUTTON_STATE_PRESSED; - - >>> Context After: lastTreatmentTimeStamp = getMSTimerCount(); -startDialysis(); - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: handleTreatmentStopState - >>> Context Before: { -lastOffButtonState = BUTTON_STATE_PRESSED; - - - >>> Line Context: lastTreatmentTimeStamp = getMSTimerCount(); - - >>> Context After: startDialysis(); -transitionToDialysis(); - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: handleTreatmentStopState - >>> Context Before: startDialysis(); -transitionToDialysis(); - - - >>> Line Context: result = TREATMENT_DIALYSIS_STATE; - - >>> Context After: } -} - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: handleTreatmentStopState - >>> Context Before: lastOffButtonState = BUTTON_STATE_PRESSED; -lastTreatmentTimeStamp = getMSTimerCount(); - - - >>> Line Context: startDialysis(); - - >>> Context After: transitionToDialysis(); -result = TREATMENT_DIALYSIS_STATE; - - >>> Failed to find matching line for: - >>> Result: CBA_ModeTreatment - >>> Unit: 9 - >>> Function: handleTreatmentStopState - >>> Context Before: lastTreatmentTimeStamp = getMSTimerCount(); -startDialysis(); - - - >>> Line Context: transitionToDialysis(); - - >>> Context After: result = TREATMENT_DIALYSIS_STATE; -} - -RESULT.CBA.NOTES_END -RESULT.CBA.UNIT: /home/asif/work/update_22nd/workspace_hd/hdfirmware/firmware/App/Modes/ModeTreatment.c -RESULT.CBA.FUNCTION: execTreatmentMode -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 20 -RESULT.CBA.CONTEXT: break; -RESULT.CBA.CONTEXT_BEFORE: -case TREATMENT_STOP_STATE: -currentTreatmentState = handleTreatmentStopState(); -RESULT.CBA.CONTEXT_BEFORE_END -RESULT.CBA.CONTEXT_AFTER: -case TREATMENT_RINSEBACK_STATE: -currentTreatmentState = handleTreatmentRinsebackState(); -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 4 -RESULT.CBA.LINE.END -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 23 -RESULT.CBA.CONTEXT: break; -RESULT.CBA.CONTEXT_BEFORE: -case TREATMENT_RINSEBACK_STATE: -currentTreatmentState = handleTreatmentRinsebackState(); -RESULT.CBA.CONTEXT_BEFORE_END -RESULT.CBA.CONTEXT_AFTER: -case TREATMENT_RECIRC_STATE: -currentTreatmentState = handleTreatmentRecircState(); -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 5 -RESULT.CBA.LINE.END -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 26 -RESULT.CBA.CONTEXT: break; -RESULT.CBA.CONTEXT_BEFORE: -case TREATMENT_RECIRC_STATE: -currentTreatmentState = handleTreatmentRecircState(); -RESULT.CBA.CONTEXT_BEFORE_END -RESULT.CBA.CONTEXT_AFTER: -case TREATMENT_END_STATE: -currentTreatmentState = handleTreatmentEndState(); -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 6 -RESULT.CBA.LINE.END -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 29 -RESULT.CBA.CONTEXT: break; -RESULT.CBA.CONTEXT_BEFORE: -case TREATMENT_END_STATE: -currentTreatmentState = handleTreatmentEndState(); -RESULT.CBA.CONTEXT_BEFORE_END -RESULT.CBA.CONTEXT_AFTER: -default: -{ ALARM_DATA_T dat1; ALARM_DATA_T dat2; dat1.dataType = ALARM_DATA_TYPE_U32; dat1.data.uInt.data = (U32)(SW_FAULT_ID_MODE_TREATMENT_INVALID_STATE); dat2.dataType = ALARM_DATA_TYPE_U32; dat2.data.uInt.data = (U32)(currentTreatmentState); activateAlarm2Data( ALARM_ID_HD_SOFTWARE_FAULT, dat1, dat2, -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 7 -RESULT.CBA.LINE.END -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 37 -RESULT.CBA.CONTEXT: break; -RESULT.CBA.CONTEXT_BEFORE: -0 -); }; -RESULT.CBA.CONTEXT_BEFORE_END -RESULT.CBA.CONTEXT_AFTER: -} -// Alarm response request flags should be handled at this point, reset in case not handled in current state -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 8 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: handleTreatmentDialysisState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 24 -RESULT.CBA.CONTEXT: result = TREATMENT_STOP_STATE; -RESULT.CBA.CONTEXT_BEFORE: -stopDialysis(); -transitionToTreatmentStop(); -RESULT.CBA.CONTEXT_BEFORE_END -RESULT.CBA.CONTEXT_AFTER: -} -} -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.END IMPORT.END