Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS.env =================================================================== diff -u -r62d55fdbb1143ef63ec6ebade523e0f3ca81ee95 -r976f618877c02e298d7e2291b12177d6dc219617 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS.env (.../INT_DIALYSIS.env) (revision 62d55fdbb1143ef63ec6ebade523e0f3ca81ee95) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS.env (.../INT_DIALYSIS.env) (revision 976f618877c02e298d7e2291b12177d6dc219617) @@ -1,26 +1,12 @@ ENVIRO.NEW ENVIRO.NAME:INT_DIALYSIS -ENVIRO.STUB_BY_FUNCTION:AirTrap -ENVIRO.STUB_BY_FUNCTION:BloodFlow -ENVIRO.STUB_BY_FUNCTION:Buttons ENVIRO.STUB_BY_FUNCTION:DGInterface -ENVIRO.STUB_BY_FUNCTION:DialInFlow -ENVIRO.STUB_BY_FUNCTION:DialOutFlow ENVIRO.UUT:Dialysis ENVIRO.STUB_BY_FUNCTION:ModePostTreat ENVIRO.STUB_BY_FUNCTION:ModePreTreat ENVIRO.STUB_BY_FUNCTION:ModeTreatment -ENVIRO.STUB_BY_FUNCTION:ModeTreatmentParams -ENVIRO.STUB_BY_FUNCTION:OperationModes -ENVIRO.STUB_BY_FUNCTION:PresOccl ENVIRO.STUB_BY_FUNCTION:Reservoirs -ENVIRO.STUB_BY_FUNCTION:SelfTests -ENVIRO.STUB_BY_FUNCTION:SyringePump ENVIRO.STUB_BY_FUNCTION:SystemCommMessages -ENVIRO.STUB_BY_FUNCTION:TaskGeneral -ENVIRO.STUB_BY_FUNCTION:Timers -ENVIRO.STUB_BY_FUNCTION:TreatmentStop -ENVIRO.STUB_BY_FUNCTION:Valves ENVIRO.MAX_VARY_RANGE: 20 ENVIRO.STUB: ALL_BY_PROTOTYPE ENVIRO.TYPE_HANDLED_DIRS_ALLOWED: Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS.tst =================================================================== diff -u -rbee4a17cf2dedb3a18483e2c05846785ed1b3da7 -r976f618877c02e298d7e2291b12177d6dc219617 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS.tst (.../INT_DIALYSIS.tst) (revision bee4a17cf2dedb3a18483e2c05846785ed1b3da7) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS.tst (.../INT_DIALYSIS.tst) (revision 976f618877c02e298d7e2291b12177d6dc219617) @@ -2,7 +2,7 @@ -- Test Case Script -- -- Environment : INT_DIALYSIS --- Unit(s) Under Test: AirTrap BloodFlow Buttons DGInterface DialInFlow DialOutFlow Dialysis ModePostTreat ModePreTreat ModeTreatment ModeTreatmentParams OperationModes PresOccl Reservoirs SelfTests SyringePump SystemCommMessages TaskGeneral Timers TreatmentStop Valves +-- Unit(s) Under Test: DGInterface Dialysis ModePostTreat ModePreTreat ModeTreatment Reservoirs SystemCommMessages -- -- Script Features TEST.SCRIPT_FEATURE:C_DIRECT_ARRAY_INDEXING @@ -17,542 +17,55 @@ -- Subprogram: setNewLoadCellReadings --- Test Case: setNewLoadCellReadings.001 +-- Test Case: setNewLoadCellReadings_updateReservoirVolumes TEST.UNIT:DGInterface TEST.SUBPROGRAM:setNewLoadCellReadings TEST.NEW -TEST.NAME:setNewLoadCellReadings.001 -TEST.BASIS_PATH:1 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE - (2) for (res < (NUM_OF_DG_RESERVOIRS)) ==> FALSE - (5) if (lgLoadCellReadingsIdx >= 32 - 1) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 2 - Cannot set res due to assignment -TEST.END_NOTES: -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:DGInterface.<>.lgLoadCellReadingsIdx:<> -TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Primary:<> -TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Backup:<> -TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Primary:<> -TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Backup:<> -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_FAUL -TEST.EXPECTED:DGInterface.<>.lgLoadCellReadingsIdx:1 -TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res1Primary:-3.40282E+38 -TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res1Backup:-3.40282E+38 -TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res2Primary:-3.40282E+38 -TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res2Backup:-3.40282E+38 +TEST.NAME:setNewLoadCellReadings_updateReservoirVolumes +TEST.VALUE:Dialysis.<>.resCurrVolume[DG_RESERVOIR_1..DG_RESERVOIR_2]:1200.0 +TEST.VALUE:Dialysis.<>.resLastVolume[DG_RESERVOIR_1..DG_RESERVOIR_2]:5.0 +TEST.EXPECTED:Dialysis.<>.resLastVolume[DG_RESERVOIR_1..DG_RESERVOIR_2]:1200.0 TEST.END --- Test Case: setNewLoadCellReadings.002 -TEST.UNIT:DGInterface -TEST.SUBPROGRAM:setNewLoadCellReadings -TEST.NEW -TEST.NAME:setNewLoadCellReadings.002 -TEST.BASIS_PATH:3 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE - (2) for (res < (NUM_OF_DG_RESERVOIRS)) ==> TRUE - (3) if (res == (DG_RESERVOIR_1)) ==> FALSE - (4) if (res == (DG_RESERVOIR_1)) ==> FALSE - (5) if (lgLoadCellReadingsIdx >= 32 - 1) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 2 - Cannot set res due to assignment -TEST.END_NOTES: -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:DGInterface.<>.lgLoadCellReadingsIdx:<> -TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Primary:<> -TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Backup:<> -TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Primary:<> -TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Backup:<> -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_FAUL -TEST.EXPECTED:DGInterface.<>.lgLoadCellReadingsIdx:1 -TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res1Primary:-3.40282E+38 -TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res1Backup:-3.40282E+38 -TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res2Primary:-3.40282E+38 -TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res2Backup:-3.40282E+38 -TEST.END - --- Test Case: setNewLoadCellReadings.003 -TEST.UNIT:DGInterface -TEST.SUBPROGRAM:setNewLoadCellReadings -TEST.NEW -TEST.NAME:setNewLoadCellReadings.003 -TEST.BASIS_PATH:4 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE - (2) for (res < (NUM_OF_DG_RESERVOIRS)) ==> TRUE - (3) if (res == (DG_RESERVOIR_1)) ==> FALSE - (4) if (res == (DG_RESERVOIR_1)) ==> TRUE - (5) if (lgLoadCellReadingsIdx >= 32 - 1) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 2 - Cannot set res due to assignment -TEST.END_NOTES: -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:DGInterface.<>.lgLoadCellReadingsIdx:<> -TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Primary:<> -TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Backup:<> -TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Primary:<> -TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Backup:<> -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_FAUL -TEST.EXPECTED:DGInterface.<>.lgLoadCellReadingsIdx:1 -TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res1Primary:-3.40282E+38 -TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res1Backup:-3.40282E+38 -TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res2Primary:-3.40282E+38 -TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res2Backup:-3.40282E+38 -TEST.END - --- Test Case: setNewLoadCellReadings.004 -TEST.UNIT:DGInterface -TEST.SUBPROGRAM:setNewLoadCellReadings -TEST.NEW -TEST.NAME:setNewLoadCellReadings.004 -TEST.BASIS_PATH:5 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 5 - (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE - (2) for (res < (NUM_OF_DG_RESERVOIRS)) ==> TRUE - (3) if (res == (DG_RESERVOIR_1)) ==> TRUE - (4) if (res == (DG_RESERVOIR_1)) ==> FALSE - (5) if (lgLoadCellReadingsIdx >= 32 - 1) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 2 - Cannot set res due to assignment -TEST.END_NOTES: -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:DGInterface.<>.lgLoadCellReadingsIdx:<> -TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Primary:<> -TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Backup:<> -TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Primary:<> -TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Backup:<> -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_FAUL -TEST.EXPECTED:DGInterface.<>.lgLoadCellReadingsIdx:1 -TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res1Primary:-3.40282E+38 -TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res1Backup:-3.40282E+38 -TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res2Primary:-3.40282E+38 -TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res2Backup:-3.40282E+38 -TEST.END - --- Test Case: setNewLoadCellReadings.005 -TEST.UNIT:DGInterface -TEST.SUBPROGRAM:setNewLoadCellReadings -TEST.NEW -TEST.NAME:setNewLoadCellReadings.005 -TEST.BASIS_PATH:6 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 6 - (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE - (2) for (res < (NUM_OF_DG_RESERVOIRS)) ==> FALSE - (5) if (lgLoadCellReadingsIdx >= 32 - 1) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 2 - Cannot set res due to assignment -TEST.END_NOTES: -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:DGInterface.<>.lgLoadCellReadingsIdx:<> -TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Primary:<> -TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Backup:<> -TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Primary:<> -TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Backup:<> -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_TREA -TEST.EXPECTED:DGInterface.<>.lgLoadCellReadingsIdx:1 -TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res1Primary:-3.40282E+38 -TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res1Backup:-3.40282E+38 -TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res2Primary:-3.40282E+38 -TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res2Backup:-3.40282E+38 -TEST.END - -- Unit: ModePostTreat -- Subprogram: collectTreatmentLogData --- Test Case: collectTreatmentLogData.001 +-- Test Case: collectTreatmentLogData_getTotalSalineBolusVolumeDelivered TEST.UNIT:ModePostTreat TEST.SUBPROGRAM:collectTreatmentLogData TEST.NEW -TEST.NAME:collectTreatmentLogData.001 -TEST.BASIS_PATH:1 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if (treatmentLogData.treatmentStartDateAndTime != (0) && (0) == isTreatmentCompleted()) ==> FALSE - (2) if (treatmentLogData.actualTreatmentDur_sec > (0)) ==> FALSE - Test Case Generation Notes: - Cannot set treatmentLogData.treatmentDuration_sec due to assignment -TEST.END_NOTES: -TEST.STUB:ModeTreatment.isTreatmentCompleted -TEST.STUB:ModeTreatment.getActualTreatmentTimeSecs -TEST.STUB:ModeTreatment.getTreatmentStartTimeStamp -TEST.STUB:ModeTreatment.getTreatmentEndTimeStamp -TEST.STUB:ModeTreatmentParams.getTreatmentParameterU32 -TEST.STUB:ModeTreatmentParams.getTreatmentParameterF32 -TEST.VALUE:ModeTreatment.isTreatmentCompleted.return:1 -TEST.VALUE:ModeTreatment.getActualTreatmentTimeSecs.return:<> -TEST.VALUE:ModeTreatment.getTreatmentStartTimeStamp.return:0 +TEST.NAME:collectTreatmentLogData_getTotalSalineBolusVolumeDelivered +TEST.VALUE:Dialysis.<>.totalSalineVolumeDelivered_mL:50.0 +TEST.VALUE:ModePostTreat.<>.treatmentLogData.actualTreatmentDur_sec:5 +TEST.VALUE:ModePostTreat.<>.treatmentLogData.salineBolusVolume_mL:15 +TEST.VALUE:ModeTreatment.<>.treatmentTimeMS:5000 +TEST.EXPECTED:ModePostTreat.<>.treatmentLogData.salineBolusVolume_mL:50 TEST.END --- Test Case: collectTreatmentLogData.002 -TEST.UNIT:ModePostTreat -TEST.SUBPROGRAM:collectTreatmentLogData -TEST.NEW -TEST.NAME:collectTreatmentLogData.002 -TEST.BASIS_PATH:2 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (treatmentLogData.treatmentStartDateAndTime != (0) && (0) == isTreatmentCompleted()) ==> FALSE - (2) if (treatmentLogData.actualTreatmentDur_sec > (0)) ==> TRUE - Test Case Generation Notes: - Cannot set treatmentLogData.treatmentDuration_sec due to assignment -TEST.END_NOTES: -TEST.STUB:ModeTreatment.isTreatmentCompleted -TEST.STUB:ModeTreatment.getActualTreatmentTimeSecs -TEST.STUB:ModeTreatment.getTreatmentStartTimeStamp -TEST.STUB:ModeTreatment.getTreatmentEndTimeStamp -TEST.STUB:ModeTreatmentParams.getTreatmentParameterU32 -TEST.STUB:ModeTreatmentParams.getTreatmentParameterF32 -TEST.VALUE:ModeTreatment.isTreatmentCompleted.return:1 -TEST.VALUE:ModeTreatment.getActualTreatmentTimeSecs.return:<> -TEST.VALUE:ModeTreatment.getTreatmentStartTimeStamp.return:0 -TEST.END - --- Test Case: collectTreatmentLogData.003 -TEST.UNIT:ModePostTreat -TEST.SUBPROGRAM:collectTreatmentLogData -TEST.NEW -TEST.NAME:collectTreatmentLogData.003 -TEST.BASIS_PATH:3 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if (treatmentLogData.treatmentStartDateAndTime != (0) && (0) == isTreatmentCompleted()) ==> TRUE - (2) if (treatmentLogData.actualTreatmentDur_sec > (0)) ==> FALSE - Test Case Generation Notes: - Cannot set treatmentLogData.treatmentDuration_sec due to assignment -TEST.END_NOTES: -TEST.STUB:ModeTreatment.isTreatmentCompleted -TEST.STUB:ModeTreatment.getActualTreatmentTimeSecs -TEST.STUB:ModeTreatment.getTreatmentStartTimeStamp -TEST.STUB:ModeTreatment.getTreatmentEndTimeStamp -TEST.STUB:ModeTreatmentParams.getTreatmentParameterU32 -TEST.STUB:ModeTreatmentParams.getTreatmentParameterF32 -TEST.VALUE:ModeTreatment.isTreatmentCompleted.return:0 -TEST.VALUE:ModeTreatment.getActualTreatmentTimeSecs.return:<> -TEST.VALUE:ModeTreatment.getTreatmentStartTimeStamp.return:1 -TEST.END - -- Unit: ModePreTreat --- Subprogram: handlePatientConnectionState +-- Subprogram: handlePatientConnectionWait4TreatmentStartState --- Test Case: handlePatientConnectionState.001 +-- Test Case: handlePatientConnection_checkLoadCellsStablePrimaryBackupDriftOutOfRange TEST.UNIT:ModePreTreat -TEST.SUBPROGRAM:handlePatientConnectionState +TEST.SUBPROGRAM:handlePatientConnectionWait4TreatmentStartState TEST.NEW -TEST.NAME:handlePatientConnectionState.001 -TEST.BASIS_PATH:1 of 2 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if ((1) == treatmentStartRequested) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:ModePreTreat.<>.treatmentStartRequested:<> -TEST.EXPECTED:ModePreTreat.<>.treatmentStartRequested:0 -TEST.END - --- Test Case: handlePatientConnectionState.002 -TEST.UNIT:ModePreTreat -TEST.SUBPROGRAM:handlePatientConnectionState -TEST.NEW -TEST.NAME:handlePatientConnectionState.002 -TEST.BASIS_PATH:2 of 2 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if ((1) == treatmentStartRequested) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: +TEST.NAME:handlePatientConnection_checkLoadCellsStablePrimaryBackupDriftOutOfRange TEST.VALUE:ModePreTreat.<>.treatmentStartRequested:1 -TEST.EXPECTED:ModePreTreat.<>.treatmentStartRequested:1 +TEST.VALUE:ModePreTreat.handlePatientConnectionWait4TreatmentStartState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_USER_CONFIRM_STATE +TEST.EXPECTED:ModePreTreat.handlePatientConnectionWait4TreatmentStartState.return:PRE_TREATMENT_PAT_CONN_WAIT_FOR_TREATMENT_START_STATE TEST.END -- Unit: ModeTreatment --- Subprogram: broadcastTreatmentPeriodicData - --- Test Case: broadcastTreatmentPeriodicData.001 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:broadcastTreatmentPeriodicData -TEST.NEW -TEST.NAME:broadcastTreatmentPeriodicData.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 3 -TEST.NOTES: -This is an automatically generated test case. -Test Path 1 -(1) if (timeElapsedSinceLastCollect_ms >= TREATMENT_PERIODIC_DATA_LOG_INTERVAL) ==> FALSE -(2) if (timeElapsedSinceLastPublish_ms >= TREATMENT_PERIODIC_DATA_PUB_INTERVAL || (1) == sendLastTreatmentPeriodicData) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:Timers.calcTimeBetween -TEST.STUB:PresOccl.getFilteredArterialPressure -TEST.STUB:PresOccl.getFilteredVenousPressure -TEST.VALUE:Timers.calcTimeBetween.return:<> -TEST.VALUE:ModeTreatment.<>.sendLastTreatmentPeriodicData:<> -TEST.EXPECTED:ModeTreatment.<>.sendLastTreatmentPeriodicData:0 -TEST.END - --- Test Case: broadcastTreatmentPeriodicData.002 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:broadcastTreatmentPeriodicData -TEST.NEW -TEST.NAME:broadcastTreatmentPeriodicData.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 2 -(1) if (timeElapsedSinceLastCollect_ms >= TREATMENT_PERIODIC_DATA_LOG_INTERVAL) ==> FALSE -(2) if (timeElapsedSinceLastPublish_ms >= TREATMENT_PERIODIC_DATA_PUB_INTERVAL || (1) == sendLastTreatmentPeriodicData) ==> TRUE -Test Case Generation Notes: -Conflict: Cannot resolve multiple comparisons ( Timers.calcTimeBetween.return ) in branches 1/2 -Cannot set local variable numberOfDataPoint in branch 3 -TEST.END_NOTES: -TEST.STUB:Timers.calcTimeBetween -TEST.STUB:PresOccl.getFilteredArterialPressure -TEST.STUB:PresOccl.getFilteredVenousPressure -TEST.VALUE:Timers.calcTimeBetween.return:<> -TEST.VALUE:ModeTreatment.<>.sendLastTreatmentPeriodicData:1 -TEST.EXPECTED:ModeTreatment.<>.sendLastTreatmentPeriodicData:0 -TEST.END - --- Test Case: broadcastTreatmentPeriodicData.003 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:broadcastTreatmentPeriodicData -TEST.NEW -TEST.NAME:broadcastTreatmentPeriodicData.003 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:3 of 3 -TEST.NOTES: -This is an automatically generated test case. -Test Path 3 -(1) if (timeElapsedSinceLastCollect_ms >= TREATMENT_PERIODIC_DATA_LOG_INTERVAL) ==> TRUE -(2) if (timeElapsedSinceLastPublish_ms >= TREATMENT_PERIODIC_DATA_PUB_INTERVAL || (1) == sendLastTreatmentPeriodicData) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:Timers.calcTimeBetween -TEST.STUB:PresOccl.getFilteredArterialPressure -TEST.STUB:PresOccl.getFilteredVenousPressure -TEST.VALUE:Timers.calcTimeBetween.return:1000 -TEST.VALUE:ModeTreatment.<>.sendLastTreatmentPeriodicData:<> -TEST.EXPECTED:ModeTreatment.<>.sendLastTreatmentPeriodicData:0 -TEST.END - --- Subprogram: broadcastTreatmentSettingsRanges - --- Test Case: broadcastTreatmentSettingsRanges.001 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:broadcastTreatmentSettingsRanges -TEST.NEW -TEST.NAME:broadcastTreatmentSettingsRanges.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 10 -TEST.NOTES: -This is an automatically generated test case. -Test Path 1 -(1) if (++treatmentParamsRangesBroadcastTimerCtr >= getU32OverrideValue(&treatmentParamRangesPublishInterval)) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> -TEST.END - --- Test Case: getUltrafiltrationVolumeCollected -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:broadcastTreatmentSettingsRanges -TEST.NEW -TEST.NAME:getUltrafiltrationVolumeCollected -TEST.COMPOUND_ONLY -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) ->>> (E) @LINE: 399 TEST.VALUE:Dialysis.<>.maxUFVolumeML:2000.0 ->>> >>> Unknown parameter/object name maxUFVolumeML ->>> >>> Value Line Error - Command Ignored ->>> (E) @LINE: 93 TEST.VALUE:ModeTreatment.<>.presBloodFlowRate:300 ->>> >>> Unknown parameter/object name presBloodFlowRate ->>> >>> Value Line Error - Command Ignored ->>> (E) @LINE: 94 TEST.VALUE:ModeTreatment.<>.presDialysateFlowRate:400 ->>> >>> Unknown parameter/object name presDialysateFlowRate ->>> >>> Value Line Error - Command Ignored -TEST.END_IMPORT_FAILURES: -TEST.VALUE:Dialysis.<>.refUFVolume:100.0 -TEST.VALUE:Dialysis.<>.measUFVolume:100.0 -TEST.VALUE:Dialysis.<>.resStartVolume[DG_RESERVOIR_1]:0.0 -TEST.VALUE:Dialysis.<>.measUFVolumeFromPriorReservoirs:0.0 -TEST.VALUE:Dialysis.<>.uFTimeMS:100000 -TEST.VALUE:Dialysis.<>.lastUFTimeStamp:99000 -TEST.VALUE:Dialysis.<>.setBloodFlowRate:300 -TEST.VALUE:Dialysis.<>.setDialysateFlowRate:400 -TEST.VALUE:Dialysis.<>.setUFRate:10.0 -TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:3600 -TEST.VALUE:ModeTreatment.<>.presMaxUFVolumeML:2000.0 -TEST.VALUE:ModeTreatment.<>.presUFRate:10.0 -TEST.VALUE:ModeTreatment.<>.treatmentTimeMS:100000 -TEST.VALUE:ModeTreatment.<>.lastTreatmentTimeStamp:99000 -TEST.VALUE:ModeTreatment.<>.treatmentParamsRangesBroadcastTimerCtr:1199 -TEST.VALUE:SystemCommMessages.<>.nextSeqNo:2 -TEST.EXPECTED:ModeTreatment.<>.treatmentParamsRangesBroadcastTimerCtr:0 -TEST.EXPECTED:SystemCommMessages.<>.nextSeqNo:3 -TEST.END - --- Subprogram: broadcastTreatmentTimeAndState - --- Test Case: broadcastTreatmentTimeAndState.001 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:broadcastTreatmentTimeAndState -TEST.NEW -TEST.NAME:broadcastTreatmentTimeAndState.001 -TEST.BASIS_PATH:1 of 4 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if (++treatmentTimeBroadcastTimerCtr >= getU32OverrideValue(&treatmentTimePublishInterval)) ==> FALSE - (3) if (++treatmentStateBroadcastTimerCtr >= getU32OverrideValue(&treatmentStatePublishInterval)) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> -TEST.END - --- Test Case: broadcastTreatmentTimeAndState.002 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:broadcastTreatmentTimeAndState -TEST.NEW -TEST.NAME:broadcastTreatmentTimeAndState.002 -TEST.BASIS_PATH:2 of 4 (template) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (++treatmentTimeBroadcastTimerCtr >= getU32OverrideValue(&treatmentTimePublishInterval)) ==> FALSE - (3) if (++treatmentStateBroadcastTimerCtr >= getU32OverrideValue(&treatmentStatePublishInterval)) ==> TRUE - Test Case Generation Notes: - Conflict: Cannot resolve multiple comparisons ( uut_prototype_stubs.getU32OverrideValue.return ) in branches 1/3 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> -TEST.END - --- Test Case: broadcastTreatmentTimeAndState.003 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:broadcastTreatmentTimeAndState -TEST.NEW -TEST.NAME:broadcastTreatmentTimeAndState.003 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 52 TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> - >>> >>> Warning: Value already set - >>> >>> Previous value <> ignored -TEST.END_IMPORT_FAILURES: -TEST.BASIS_PATH:3 of 4 -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if (++treatmentTimeBroadcastTimerCtr >= getU32OverrideValue(&treatmentTimePublishInterval)) ==> TRUE - (2) if (isTreatmentCompleted() != (1)) ==> FALSE - (3) if (++treatmentStateBroadcastTimerCtr >= getU32OverrideValue(&treatmentStatePublishInterval)) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:ModeTreatment.isTreatmentCompleted -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> -TEST.VALUE:ModeTreatment.isTreatmentCompleted.return:1 -TEST.END - --- Test Case: broadcastTreatmentTimeAndState.004 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:broadcastTreatmentTimeAndState -TEST.NEW -TEST.NAME:broadcastTreatmentTimeAndState.004 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 72 TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> - >>> >>> Warning: Value already set - >>> >>> Previous value <> ignored -TEST.END_IMPORT_FAILURES: -TEST.BASIS_PATH:4 of 4 -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) if (++treatmentTimeBroadcastTimerCtr >= getU32OverrideValue(&treatmentTimePublishInterval)) ==> TRUE - (2) if (isTreatmentCompleted() != (1)) ==> TRUE - (3) if (++treatmentStateBroadcastTimerCtr >= getU32OverrideValue(&treatmentStatePublishInterval)) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:ModeTreatment.isTreatmentCompleted -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:10 -TEST.VALUE:ModeTreatment.<>.treatmentStateBroadcastTimerCtr:10 -TEST.VALUE:ModeTreatment.isTreatmentCompleted.return:<> -TEST.END - --- Subprogram: execTreatmentMode - --- Test Case: stopDialysis -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:execTreatmentMode -TEST.NEW -TEST.NAME:stopDialysis -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 68 TEST.VALUE:uut_prototype_stubs.setCriticalData.return:1 - >>> >>> Warning: Value already set - >>> >>> Previous value 1 ignored - >>> (E) @LINE: 69 TEST.VALUE:uut_prototype_stubs.setCriticalData.return:1 - >>> >>> Warning: Value already set - >>> >>> Previous value 1 ignored - >>> (E) @LINE: 73 TEST.EXPECTED:uut_prototype_stubs.setCriticalData.flowRate:0 - >>> >>> Unknown parameter/object name flowRate - >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 74 TEST.EXPECTED:uut_prototype_stubs.setCriticalData.dir:MOTOR_DIR_FORWARD - >>> >>> Unknown parameter/object name dir - >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 75 TEST.EXPECTED:uut_prototype_stubs.setCriticalData.flowRate:0 - >>> >>> Unknown parameter/object name flowRate - >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 76 TEST.EXPECTED:uut_prototype_stubs.setCriticalData.dir:MOTOR_DIR_FORWARD - >>> >>> Unknown parameter/object name dir - >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 77 TEST.EXPECTED:uut_prototype_stubs.setCriticalData.flowRate:0 - >>> >>> Unknown parameter/object name flowRate - >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 78 TEST.EXPECTED:uut_prototype_stubs.setCriticalData.dir:MOTOR_DIR_FORWARD - >>> >>> Unknown parameter/object name dir - >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 124 TEST.EXPECTED:ModeTreatment.<>.currentTreatmentState:TREATMENT_DIALYSIS_END_STATE - >>> >>> Value for 'Enumeral' out of range - >>> >>> Read "TREATMENT_DIALYSIS_END_STATE" - >>> >>> Command Ignored -TEST.END_IMPORT_FAILURES: -TEST.VALUE:uut_prototype_stubs.setCriticalData.return:1 -TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_DIALYSIS_STATE -TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:1000 -TEST.VALUE:ModeTreatment.<>.treatmentTimeMS:1000001 -TEST.END - -- Subprogram: handleTreatmentBloodPrimeState --- Test Case: handleTreatmentBloodPrimeState.001 +-- Test Case: handleTreatmentBloodPrimeState_setDialysisParams TEST.UNIT:ModeTreatment TEST.SUBPROGRAM:handleTreatmentBloodPrimeState TEST.NEW -TEST.NAME:handleTreatmentBloodPrimeState.001 +TEST.NAME:handleTreatmentBloodPrimeState_setDialysisParams TEST.BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. @@ -561,133 +74,36 @@ (2) if ((1) == bloodPrimeToDialysisRequest) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> -TEST.VALUE:ModeTreatment.<>.bloodPrimeToDialysisRequest:<> -TEST.EXPECTED:ModeTreatment.<>.bloodPrimeToDialysisRequest:0 -TEST.END - --- Test Case: handleTreatmentBloodPrimeState.002 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:handleTreatmentBloodPrimeState -TEST.NEW -TEST.NAME:handleTreatmentBloodPrimeState.002 -TEST.BASIS_PATH:2 of 3 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE - (2) if ((1) == bloodPrimeToDialysisRequest) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> +TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:0 TEST.VALUE:ModeTreatment.<>.bloodPrimeToDialysisRequest:1 -TEST.EXPECTED:ModeTreatment.<>.bloodPrimeToDialysisRequest:1 +TEST.VALUE:ModeTreatment.handleTreatmentBloodPrimeState.return:TREATMENT_START_STATE +TEST.EXPECTED:ModeTreatment.handleTreatmentBloodPrimeState.return:TREATMENT_DIALYSIS_STATE TEST.END --- Test Case: handleTreatmentBloodPrimeState.003 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:handleTreatmentBloodPrimeState -TEST.NEW -TEST.NAME:handleTreatmentBloodPrimeState.003 -TEST.BASIS_PATH:3 of 3 -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 -TEST.END - -- Subprogram: handleTreatmentDialysisState --- Test Case: dialysis +-- Test Case: handleTreatmentDialysisState_execDialysis TEST.UNIT:ModeTreatment TEST.SUBPROGRAM:handleTreatmentDialysisState TEST.NEW -TEST.NAME:dialysis -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 624 TEST.VALUE:Dialysis.<>.maxUFVolumeML:600.0 - >>> >>> Unknown parameter/object name maxUFVolumeML - >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 136 TEST.VALUE:uut_prototype_stubs.getLoadCellWeightInGrams.return:1741.0 - >>> >>> Could not find function getLoadCellWeightInGrams - >>> >>> in unit uut_prototype_stubs. - >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 156 TEST.EXPECTED:uut_prototype_stubs.getLoadCellWeightInGrams.loadCellID:2 - >>> >>> Could not find function getLoadCellWeightInGrams - >>> >>> in unit uut_prototype_stubs. - >>> >>> Value Line Error - Command Ignored -TEST.END_IMPORT_FAILURES: -TEST.VALUE:uut_prototype_stubs.execFaultMode.return:1000 -TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:1000000 +TEST.NAME:handleTreatmentDialysisState_execDialysis TEST.VALUE:Dialysis.<>.currentDialysisState:DIALYSIS_UF_STATE -TEST.VALUE:Dialysis.<>.currentUFState:UF_RUNNING_STATE -TEST.VALUE:Dialysis.<>.currentSalineBolusState:SALINE_BOLUS_STATE_IDLE -TEST.VALUE:Dialysis.<>.refUFVolume:40.0 -TEST.VALUE:Dialysis.<>.measUFVolume:40.0 -TEST.VALUE:Dialysis.<>.resStartVolume[DG_RESERVOIR_2]:1700.0 -TEST.VALUE:Dialysis.<>.resFinalVolume[DG_RESERVOIR_2]:1740.0 -TEST.VALUE:Dialysis.<>.measUFVolumeFromPriorReservoirs:0.0 -TEST.VALUE:Dialysis.<>.uFTimeMS:6000 -TEST.VALUE:Dialysis.<>.lastUFTimeStamp:999000 -TEST.VALUE:Dialysis.<>.setUFRate:10.0 -TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_DIALYSIS_STATE -TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:3600 +TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:5 TEST.VALUE:ModeTreatment.<>.treatmentTimeMS:3000 -TEST.VALUE:ModeTreatment.<>.lastTreatmentTimeStamp:999000 TEST.EXPECTED:Dialysis.<>.currentDialysisState:DIALYSIS_UF_STATE -TEST.EXPECTED:Dialysis.<>.currentUFState:UF_RUNNING_STATE -TEST.EXPECTED:Dialysis.<>.refUFVolume:40.1667 -TEST.EXPECTED:Dialysis.<>.measUFVolume:41.0 -TEST.EXPECTED:Dialysis.<>.resFinalVolume[DG_RESERVOIR_2]:1741.0 -TEST.EXPECTED:Dialysis.<>.uFTimeMS:7000 -TEST.EXPECTED:Dialysis.<>.lastUFTimeStamp:1000000 -TEST.EXPECTED:ModeTreatment.<>.treatmentTimeMS:4000 -TEST.EXPECTED:ModeTreatment.<>.lastTreatmentTimeStamp:1000000 TEST.END --- Test Case: handleTreatmentDialysisState.001 +-- Test Case: handleTreatmentDialysisState_stopDialysis TEST.UNIT:ModeTreatment TEST.SUBPROGRAM:handleTreatmentDialysisState TEST.NEW -TEST.NAME:handleTreatmentDialysisState.001 -TEST.BASIS_PATH:1 of 4 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if (getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> FALSE - (2) if (treatmentTimeMS / (1000) >= presTreatmentTimeSecs) ==> FALSE - (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE - Test Case Generation Notes: - Cannot set return value of function getDialysisState in branch 1 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> -TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:<> -TEST.EXPECTED:ModeTreatment.<>.presTreatmentTimeSecs:4294967295 +TEST.NAME:handleTreatmentDialysisState_stopDialysis +TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:5 +TEST.VALUE:ModeTreatment.<>.treatmentTimeMS:7000 +TEST.VALUE:ModeTreatment.handleTreatmentDialysisState.return:TREATMENT_START_STATE +TEST.EXPECTED:ModeTreatment.handleTreatmentDialysisState.return:TREATMENT_END_STATE TEST.END --- Test Case: handleTreatmentDialysisState.002 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:handleTreatmentDialysisState -TEST.NEW -TEST.NAME:handleTreatmentDialysisState.002 -TEST.BASIS_PATH:4 of 4 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) if (getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE - (2) if (treatmentTimeMS / (1000) >= presTreatmentTimeSecs) ==> FALSE - (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE - Test Case Generation Notes: - Cannot set return value of function getDialysisState in branch 1 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> -TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:<> -TEST.EXPECTED:ModeTreatment.<>.presTreatmentTimeSecs:4294967295 -TEST.END - -- Subprogram: handleTreatmentStartState -- Test Case: startDialysisAndsetDialysisParams @@ -697,43 +113,46 @@ TEST.NAME:startDialysisAndsetDialysisParams TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) + >>> (E) @LINE: 282 TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:1000 + >>> >>> Could not find function uiCommunicated + >>> >>> in unit uut_prototype_stubs. + >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 726 TEST.VALUE:Dialysis.<>.maxUFVolumeML:0.0 >>> >>> Unknown parameter/object name maxUFVolumeML >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 735 TEST.EXPECTED:Dialysis.<>.maxUFVolumeML:600.0 >>> >>> Unknown parameter/object name maxUFVolumeML >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 149 TEST.EXPECTED:uut_prototype_stubs.setCriticalData.flowRate:200 + >>> (E) @LINE: 149 TEST.EXPECTED:uut_prototype_stubs.testSetTreatmentParameter.flowRate:200 >>> >>> Unknown parameter/object name flowRate >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 150 TEST.EXPECTED:uut_prototype_stubs.setCriticalData.dir:MOTOR_DIR_FORWARD + >>> (E) @LINE: 150 TEST.EXPECTED:uut_prototype_stubs.testSetTreatmentParameter.dir:MOTOR_DIR_FORWARD >>> >>> Unknown parameter/object name dir >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 151 TEST.EXPECTED:uut_prototype_stubs.setCriticalData.flowRate:300 + >>> (E) @LINE: 151 TEST.EXPECTED:uut_prototype_stubs.testSetTreatmentParameter.flowRate:300 >>> >>> Unknown parameter/object name flowRate >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 152 TEST.EXPECTED:uut_prototype_stubs.setCriticalData.dir:MOTOR_DIR_FORWARD + >>> (E) @LINE: 152 TEST.EXPECTED:uut_prototype_stubs.testSetTreatmentParameter.dir:MOTOR_DIR_FORWARD >>> >>> Unknown parameter/object name dir >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 153 TEST.EXPECTED:uut_prototype_stubs.setCriticalData.flowRate:310 + >>> (E) @LINE: 153 TEST.EXPECTED:uut_prototype_stubs.testSetTreatmentParameter.flowRate:310 >>> >>> Unknown parameter/object name flowRate >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 154 TEST.EXPECTED:uut_prototype_stubs.setCriticalData.dir:MOTOR_DIR_FORWARD + >>> (E) @LINE: 154 TEST.EXPECTED:uut_prototype_stubs.testSetTreatmentParameter.dir:MOTOR_DIR_FORWARD >>> >>> Unknown parameter/object name dir >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 155 TEST.EXPECTED:uut_prototype_stubs.setCriticalData.mode:PUMP_CONTROL_MODE_CLOSED_LOOP + >>> (E) @LINE: 155 TEST.EXPECTED:uut_prototype_stubs.testSetTreatmentParameter.mode:PUMP_CONTROL_MODE_CLOSED_LOOP >>> >>> Unknown parameter/object name mode >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 158 TEST.EXPECTED:uut_prototype_stubs.getPreTreatmentRecircState.param:TREATMENT_PARAM_TREATMENT_DURATION,TREATMENT_PARAM_BLOOD_FLOW,TREATMENT_PARAM_DIALYSATE_FLOW,TREATMENT_PARAM_TREATMENT_DURATION + >>> (E) @LINE: 158 TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterU32.param:TREATMENT_PARAM_TREATMENT_DURATION,TREATMENT_PARAM_BLOOD_FLOW,TREATMENT_PARAM_DIALYSATE_FLOW,TREATMENT_PARAM_TREATMENT_DURATION >>> >>> Unknown parameter/object name param >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 159 TEST.EXPECTED:uut_prototype_stubs.runPIController.param:TREATMENT_PARAM_UF_VOLUME + >>> (E) @LINE: 159 TEST.EXPECTED:uut_prototype_stubs.getMeasuredDialInFlowRate.param:TREATMENT_PARAM_UF_VOLUME >>> >>> Unknown parameter/object name param >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: -TEST.VALUE:uut_prototype_stubs.runPIController.return:0.6 -TEST.VALUE:uut_prototype_stubs.getPreTreatmentRecircState.return:60,200,300,60 -TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:1000 +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:60,200,300,60 +TEST.VALUE:uut_prototype_stubs.getMeasuredDialInFlowRate.return:0.6 TEST.VALUE:Dialysis.<>.refUFVolume:0.0 TEST.VALUE:Dialysis.<>.measUFVolume:0.0 TEST.VALUE:Dialysis.<>.lastUFTimeStamp:0 @@ -779,115 +198,6 @@ TEST.EXPECTED:ModeTreatment.<>.endTreatmentAlarmResponseRequest:0 TEST.END --- Test Case: handleTreatmentStopState.002 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:handleTreatmentStopState -TEST.NEW -TEST.NAME:handleTreatmentStopState.002 -TEST.BASIS_PATH:2 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if ((1) == resumeTreatmentAlarmResponseRequest) ==> FALSE - (3) if ((1) == initiateRinsebackAlarmResponseRequest) ==> FALSE - (4) if ((1) == endTreatmentAlarmResponseRequest) ==> FALSE - (5) if ((1) == leavingTreatmentStopState) ==> TRUE - Test Case Generation Notes: - Cannot set leavingTreatmentStopState due to assignment -TEST.END_NOTES: -TEST.VALUE:ModeTreatment.<>.resumeTreatmentAlarmResponseRequest:<> -TEST.VALUE:ModeTreatment.<>.initiateRinsebackAlarmResponseRequest:<> -TEST.VALUE:ModeTreatment.<>.endTreatmentAlarmResponseRequest:<> -TEST.EXPECTED:ModeTreatment.<>.resumeTreatmentAlarmResponseRequest:0 -TEST.EXPECTED:ModeTreatment.<>.initiateRinsebackAlarmResponseRequest:0 -TEST.EXPECTED:ModeTreatment.<>.endTreatmentAlarmResponseRequest:0 -TEST.END - --- Test Case: handleTreatmentStopState.003 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:handleTreatmentStopState -TEST.NEW -TEST.NAME:handleTreatmentStopState.003 -TEST.BASIS_PATH:3 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if ((1) == resumeTreatmentAlarmResponseRequest) ==> FALSE - (3) if ((1) == initiateRinsebackAlarmResponseRequest) ==> FALSE - (4) if ((1) == endTreatmentAlarmResponseRequest) ==> TRUE - (5) if ((1) == leavingTreatmentStopState) ==> FALSE - Test Case Generation Notes: - Cannot set local variable leavingTreatmentStopState in branch 5 -TEST.END_NOTES: -TEST.VALUE:ModeTreatment.<>.resumeTreatmentAlarmResponseRequest:<> -TEST.VALUE:ModeTreatment.<>.initiateRinsebackAlarmResponseRequest:<> -TEST.VALUE:ModeTreatment.<>.endTreatmentAlarmResponseRequest:1 -TEST.EXPECTED:ModeTreatment.<>.resumeTreatmentAlarmResponseRequest:0 -TEST.EXPECTED:ModeTreatment.<>.initiateRinsebackAlarmResponseRequest:0 -TEST.EXPECTED:ModeTreatment.<>.endTreatmentAlarmResponseRequest:1 -TEST.END - --- Test Case: handleTreatmentStopState.004 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:handleTreatmentStopState -TEST.NEW -TEST.NAME:handleTreatmentStopState.004 -TEST.BASIS_PATH:4 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) if ((1) == resumeTreatmentAlarmResponseRequest) ==> FALSE - (3) if ((1) == initiateRinsebackAlarmResponseRequest) ==> TRUE - (5) if ((1) == leavingTreatmentStopState) ==> FALSE - Test Case Generation Notes: - Cannot set local variable leavingTreatmentStopState in branch 5 -TEST.END_NOTES: -TEST.VALUE:ModeTreatment.<>.resumeTreatmentAlarmResponseRequest:<> -TEST.VALUE:ModeTreatment.<>.initiateRinsebackAlarmResponseRequest:1 -TEST.EXPECTED:ModeTreatment.<>.resumeTreatmentAlarmResponseRequest:0 -TEST.EXPECTED:ModeTreatment.<>.initiateRinsebackAlarmResponseRequest:1 -TEST.END - --- Test Case: handleTreatmentStopState.005 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:handleTreatmentStopState -TEST.NEW -TEST.NAME:handleTreatmentStopState.005 -TEST.BASIS_PATH:5 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 5 - (1) if ((1) == resumeTreatmentAlarmResponseRequest) ==> TRUE - (2) if ((1) == getBloodIsPrimed()) ==> FALSE - (5) if ((1) == leavingTreatmentStopState) ==> FALSE - Test Case Generation Notes: - Cannot set local variable leavingTreatmentStopState in branch 5 -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getBloodIsPrimed -TEST.VALUE:ModeTreatment.<>.resumeTreatmentAlarmResponseRequest:1 -TEST.VALUE:ModeTreatment.getBloodIsPrimed.return:<> -TEST.END - --- Test Case: handleTreatmentStopState.006 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:handleTreatmentStopState -TEST.NEW -TEST.NAME:handleTreatmentStopState.006 -TEST.BASIS_PATH:6 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 6 - (1) if ((1) == resumeTreatmentAlarmResponseRequest) ==> TRUE - (2) if ((1) == getBloodIsPrimed()) ==> TRUE - (5) if ((1) == leavingTreatmentStopState) ==> FALSE - Test Case Generation Notes: - Cannot set local variable leavingTreatmentStopState in branch 5 -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getBloodIsPrimed -TEST.VALUE:ModeTreatment.<>.resumeTreatmentAlarmResponseRequest:1 -TEST.VALUE:ModeTreatment.getBloodIsPrimed.return:1 -TEST.END - -- Subprogram: transitionToTreatmentMode -- Test Case: initDialysis @@ -932,69 +242,6 @@ TEST.EXPECTED:Dialysis.<>.setUFRate:0.0 TEST.END --- Test Case: transitionToTreatmentMode.001 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:transitionToTreatmentMode -TEST.NEW -TEST.NAME:transitionToTreatmentMode.001 -TEST.BASIS_PATH:1 of 1 -TEST.NOTES: - No branches in subprogram -TEST.END_NOTES: -TEST.END - --- Subprogram: verifyBloodAndDialysateRateSettingsChange - --- Test Case: verifyBloodAndDialysateRateSettingsChange.001 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:verifyBloodAndDialysateRateSettingsChange -TEST.NEW -TEST.NAME:verifyBloodAndDialysateRateSettingsChange.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 5 -TEST.NOTES: -This is an automatically generated test case. -Test Path 1 -(1) if ((MODE_TREA) == currMode) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:ModeTreatment.verifyBloodAndDialysateRateSettingsChange.bloodRate:<> -TEST.VALUE:ModeTreatment.verifyBloodAndDialysateRateSettingsChange.dialRate:<> -TEST.END - --- Subprogram: verifyTreatmentDurationSettingChange - --- Test Case: verifyTreatmentDurationSettingChange.001 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:verifyTreatmentDurationSettingChange -TEST.NEW -TEST.NAME:verifyTreatmentDurationSettingChange.001 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 958 TEST.STUB:ModeTreatment.getTreatmentTimeInMinutes - >>> >>> Could not find function getTreatmentTimeInMinutes - >>> >>> in unit ModeTreatment. - >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 958 - >>> >>> Could not stub ModeTreatment.getTreatmentTimeInMinutes - >>> (E) @LINE: 961 TEST.VALUE:ModeTreatment.getTreatmentTimeInMinutes.return:<> - >>> >>> Subprogram 'getTreatmentTimeInMinutes' is invalid - >>> >>> Command Ignored -TEST.END_IMPORT_FAILURES: -TEST.BASIS_PATH:1 of 8 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if (((((MODE_TREA) == currMode && currentTreatmentState > (TREATMENT_START_STATE)) && currentTreatmentState < (TREATMENT_END_STATE)) && (treatmentTimeMS / (1000)) / (60) < treatmentTime) && treatmentTime >= getTreatmentTimeInMinutes()) ==> FALSE - (5) if ((MODE_TREA) != currMode) ==> FALSE - (6) if (currentTreatmentState <= (TREATMENT_START_STATE) || currentTreatmentState >= (TREATMENT_END_STATE)) ==> FALSE - (7) if (treatmentTime < getTreatmentTimeInMinutes()) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_BLOOD_PRIME_STATE -TEST.VALUE:ModeTreatment.verifyTreatmentDurationSettingChange.treatmentTime:<> -TEST.END - -- Subprogram: verifyUFSettingsChange -- Test Case: getDialysisStateAndPauseUF @@ -1004,7 +251,7 @@ TEST.NAME:getDialysisStateAndPauseUF TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) - >>> (E) @LINE: 218 TEST.VALUE:uut_prototype_stubs.getCPLDOffButton.return:MODE_TREA + >>> (E) @LINE: 218 TEST.VALUE:DGInterface.getDGOpMode.return:MODE_TREA >>> >>> Value for 'Enumeral' out of range >>> >>> Read "MODE_TREA" >>> >>> Command Ignored @@ -1015,7 +262,7 @@ >>> >>> Unknown parameter/object name presDialysateFlowRate >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: -TEST.VALUE:uut_prototype_stubs.setCriticalData.return:1 +TEST.VALUE:uut_prototype_stubs.testSetTreatmentParameter.return:1 TEST.VALUE:Dialysis.<>.currentDialysisState:DIALYSIS_UF_STATE TEST.VALUE:Dialysis.<>.currentUFState:UF_RUNNING_STATE TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_DIALYSIS_STATE @@ -1037,1650 +284,55 @@ TEST.EXPECTED:ModeTreatment.verifyUFSettingsChange.return:0 TEST.END --- Test Case: verifyUFSettingsChange.001 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:verifyUFSettingsChange -TEST.NEW -TEST.NAME:verifyUFSettingsChange.001 -TEST.BASIS_PATH:1 of 9 (template) -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if (((((MODE_TREA) == currMode && currentTreatmentState > (TREATMENT_START_STATE)) && currentTreatmentState < (TREATMENT_END_STATE)) && uFVolume <= 8 * 1000) && (S32)presTreatmentTimeSecs - (S32)(treatmentTimeMS / (1000)) >= 10 * 60) ==> FALSE - (6) if ((MODE_TREA) != currMode) ==> FALSE - (7) if (currentTreatmentState <= (TREATMENT_START_STATE) || currentTreatmentState >= (TREATMENT_END_STATE)) ==> FALSE - (8) if (uFVolume > 8 * 1000) ==> FALSE - Test Case Generation Notes: - Conflict: Trying to set variable OperationModes.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 1/6 - Conflict: Cannot resolve multiple comparisons ( ModeTreatment.<>.currentTreatmentState ) in branches 1/7 - Conflict: Trying to set variable ModeTreatment.verifyUFSettingsChange.uFVolume 'less than' and 'greater than' same value in branches 1/8 -TEST.END_NOTES: -TEST.VALUE:ModeTreatment.<>.currentTreatmentState:<> -TEST.VALUE:ModeTreatment.verifyUFSettingsChange.uFVolume:<> -TEST.EXPECTED:ModeTreatment.<>.currentTreatmentState:TREATMENT_START_STATE -TEST.EXPECTED:ModeTreatment.verifyUFSettingsChange.uFVolume:3.40282E+38 -TEST.END - --- Test Case: verifyUFSettingsChange.002 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:verifyUFSettingsChange -TEST.NEW -TEST.NAME:verifyUFSettingsChange.002 -TEST.BASIS_PATH:2 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (((((MODE_TREA) == currMode && currentTreatmentState > (TREATMENT_START_STATE)) && currentTreatmentState < (TREATMENT_END_STATE)) && uFVolume <= 8 * 1000) && (S32)presTreatmentTimeSecs - (S32)(treatmentTimeMS / (1000)) >= 10 * 60) ==> FALSE - (6) if ((MODE_TREA) != currMode) ==> FALSE - (7) if (currentTreatmentState <= (TREATMENT_START_STATE) || currentTreatmentState >= (TREATMENT_END_STATE)) ==> FALSE - (8) if (uFVolume > 8 * 1000) ==> TRUE - Test Case Generation Notes: - Conflict: Trying to set variable OperationModes.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 1/6 - Conflict: Cannot resolve multiple comparisons ( ModeTreatment.<>.currentTreatmentState ) in branches 1/7 -TEST.END_NOTES: -TEST.VALUE:ModeTreatment.<>.currentTreatmentState:<> -TEST.VALUE:ModeTreatment.verifyUFSettingsChange.uFVolume:<> -TEST.EXPECTED:ModeTreatment.<>.currentTreatmentState:TREATMENT_START_STATE -TEST.EXPECTED:ModeTreatment.verifyUFSettingsChange.uFVolume:3.40282E+38 -TEST.END - --- Test Case: verifyUFSettingsChange.003 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:verifyUFSettingsChange -TEST.NEW -TEST.NAME:verifyUFSettingsChange.003 -TEST.BASIS_PATH:3 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if (((((MODE_TREA) == currMode && currentTreatmentState > (TREATMENT_START_STATE)) && currentTreatmentState < (TREATMENT_END_STATE)) && uFVolume <= 8 * 1000) && (S32)presTreatmentTimeSecs - (S32)(treatmentTimeMS / (1000)) >= 10 * 60) ==> FALSE - (6) if ((MODE_TREA) != currMode) ==> FALSE - (7) if (currentTreatmentState <= (TREATMENT_START_STATE) || currentTreatmentState >= (TREATMENT_END_STATE)) ==> TRUE - Test Case Generation Notes: - Conflict: Trying to set variable OperationModes.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 1/6 -TEST.END_NOTES: -TEST.VALUE:ModeTreatment.<>.currentTreatmentState:<> -TEST.VALUE:ModeTreatment.verifyUFSettingsChange.uFVolume:<> -TEST.EXPECTED:ModeTreatment.<>.currentTreatmentState:TREATMENT_START_STATE -TEST.EXPECTED:ModeTreatment.verifyUFSettingsChange.uFVolume:3.40282E+38 -TEST.END - --- Test Case: verifyUFSettingsChange.004 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:verifyUFSettingsChange -TEST.NEW -TEST.NAME:verifyUFSettingsChange.004 -TEST.BASIS_PATH:4 of 9 -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) if (((((MODE_TREA) == currMode && currentTreatmentState > (TREATMENT_START_STATE)) && currentTreatmentState < (TREATMENT_END_STATE)) && uFVolume <= 8 * 1000) && (S32)presTreatmentTimeSecs - (S32)(treatmentTimeMS / (1000)) >= 10 * 60) ==> FALSE - (6) if ((MODE_TREA) != currMode) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:ModeTreatment.<>.currentTreatmentState:<> -TEST.VALUE:ModeTreatment.verifyUFSettingsChange.uFVolume:<> -TEST.EXPECTED:ModeTreatment.<>.currentTreatmentState:TREATMENT_START_STATE -TEST.EXPECTED:ModeTreatment.verifyUFSettingsChange.uFVolume:3.40282E+38 -TEST.END - --- Test Case: verifyUFSettingsChange.005 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:verifyUFSettingsChange -TEST.NEW -TEST.NAME:verifyUFSettingsChange.005 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 108 TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_START_STATE - >>> >>> Warning: Value already set - >>> >>> Previous value 1 ignored -TEST.END_IMPORT_FAILURES: -TEST.BASIS_PATH:5 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 5 - (1) if (((((MODE_TREA) == currMode && currentTreatmentState > (TREATMENT_START_STATE)) && currentTreatmentState < (TREATMENT_END_STATE)) && uFVolume <= 8 * 1000) && (S32)presTreatmentTimeSecs - (S32)(treatmentTimeMS / (1000)) >= 10 * 60) ==> TRUE - (2) if (((TREATMENT_DIALYSIS_STATE) == currentTreatmentState && (DIALYSIS_UF_STATE) == currDialysisState) && (UF_RUNNING_STATE) == currUFState) ==> FALSE - (3) if (uFRate <= (F32)((2500.01001F) / (F32)60)) ==> FALSE - (4) if ((trtTime <= 8 * 60 && trtTime >= getTreatmentTimeInMinutes()) && dialVolume <= 150 * 1000) ==> FALSE - (5) if ((0) == result) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 - Cannot set local variable currDialysisState in branch 2 - Cannot set local variable currUFState in branch 2 - Cannot set local variable uFRate in branch 3 - Cannot set local variable trtTime in branch 4 - Cannot set local variable dialVolume in branch 4 - Cannot set local variable result in branch 5 -TEST.END_NOTES: -TEST.STUB:Timers.getMSTimerCount -TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_START_STATE -TEST.VALUE:ModeTreatment.<>.presUFRate:<> -TEST.VALUE:ModeTreatment.verifyUFSettingsChange.uFVolume:<> -TEST.EXPECTED:ModeTreatment.<>.currentTreatmentState:TREATMENT_START_STATE -TEST.EXPECTED:ModeTreatment.<>.presUFRate:-3.40282E+38 -TEST.EXPECTED:ModeTreatment.verifyUFSettingsChange.uFVolume:-3.40282E+38 -TEST.END - --- Test Case: verifyUFSettingsChange.006 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:verifyUFSettingsChange -TEST.NEW -TEST.NAME:verifyUFSettingsChange.006 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 139 TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_START_STATE - >>> >>> Warning: Value already set - >>> >>> Previous value 1 ignored -TEST.END_IMPORT_FAILURES: -TEST.BASIS_PATH:6 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 6 - (1) if (((((MODE_TREA) == currMode && currentTreatmentState > (TREATMENT_START_STATE)) && currentTreatmentState < (TREATMENT_END_STATE)) && uFVolume <= 8 * 1000) && (S32)presTreatmentTimeSecs - (S32)(treatmentTimeMS / (1000)) >= 10 * 60) ==> TRUE - (2) if (((TREATMENT_DIALYSIS_STATE) == currentTreatmentState && (DIALYSIS_UF_STATE) == currDialysisState) && (UF_RUNNING_STATE) == currUFState) ==> FALSE - (3) if (uFRate <= (F32)((2500.01001F) / (F32)60)) ==> FALSE - (4) if ((trtTime <= 8 * 60 && trtTime >= getTreatmentTimeInMinutes()) && dialVolume <= 150 * 1000) ==> FALSE - (5) if ((0) == result) ==> TRUE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 - Cannot set local variable currDialysisState in branch 2 - Cannot set local variable currUFState in branch 2 - Cannot set local variable uFRate in branch 3 - Cannot set local variable trtTime in branch 4 - Cannot set local variable dialVolume in branch 4 - Cannot set local variable result in branch 5 -TEST.END_NOTES: -TEST.STUB:Timers.getMSTimerCount -TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_START_STATE -TEST.VALUE:ModeTreatment.<>.presUFRate:<> -TEST.VALUE:ModeTreatment.verifyUFSettingsChange.uFVolume:<> -TEST.EXPECTED:ModeTreatment.<>.currentTreatmentState:TREATMENT_START_STATE -TEST.EXPECTED:ModeTreatment.<>.presUFRate:-3.40282E+38 -TEST.EXPECTED:ModeTreatment.verifyUFSettingsChange.uFVolume:-3.40282E+38 -TEST.END - --- Test Case: verifyUFSettingsChange.007 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:verifyUFSettingsChange -TEST.NEW -TEST.NAME:verifyUFSettingsChange.007 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 1197 TEST.STUB:ModeTreatment.getTreatmentTimeInMinutes - >>> >>> Could not find function getTreatmentTimeInMinutes - >>> >>> in unit ModeTreatment. - >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 1197 - >>> >>> Could not stub ModeTreatment.getTreatmentTimeInMinutes - >>> (E) @LINE: 1201 TEST.VALUE:ModeTreatment.getTreatmentTimeInMinutes.return:<> - >>> >>> Subprogram 'getTreatmentTimeInMinutes' is invalid - >>> >>> Command Ignored - >>> (E) @LINE: 170 TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_START_STATE - >>> >>> Warning: Value already set - >>> >>> Previous value 1 ignored -TEST.END_IMPORT_FAILURES: -TEST.BASIS_PATH:7 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 7 - (1) if (((((MODE_TREA) == currMode && currentTreatmentState > (TREATMENT_START_STATE)) && currentTreatmentState < (TREATMENT_END_STATE)) && uFVolume <= 8 * 1000) && (S32)presTreatmentTimeSecs - (S32)(treatmentTimeMS / (1000)) >= 10 * 60) ==> TRUE - (2) if (((TREATMENT_DIALYSIS_STATE) == currentTreatmentState && (DIALYSIS_UF_STATE) == currDialysisState) && (UF_RUNNING_STATE) == currUFState) ==> FALSE - (3) if (uFRate <= (F32)((2500.01001F) / (F32)60)) ==> FALSE - (4) if ((trtTime <= 8 * 60 && trtTime >= getTreatmentTimeInMinutes()) && dialVolume <= 150 * 1000) ==> TRUE - (5) if ((0) == result) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 - Cannot set local variable currDialysisState in branch 2 - Cannot set local variable currUFState in branch 2 - Cannot set local variable dialVolume in branch 4 - Cannot set result due to assignment -TEST.END_NOTES: -TEST.STUB:Timers.getMSTimerCount -TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_START_STATE -TEST.VALUE:ModeTreatment.<>.presUFRate:<> -TEST.VALUE:ModeTreatment.verifyUFSettingsChange.uFVolume:<> -TEST.EXPECTED:ModeTreatment.<>.currentTreatmentState:TREATMENT_START_STATE -TEST.EXPECTED:ModeTreatment.<>.presUFRate:-3.40282E+38 -TEST.EXPECTED:ModeTreatment.verifyUFSettingsChange.uFVolume:-3.40282E+38 -TEST.END - --- Test Case: verifyUFSettingsChange.008 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:verifyUFSettingsChange -TEST.NEW -TEST.NAME:verifyUFSettingsChange.008 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 201 TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_START_STATE - >>> >>> Warning: Value already set - >>> >>> Previous value 1 ignored -TEST.END_IMPORT_FAILURES: -TEST.BASIS_PATH:8 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 8 - (1) if (((((MODE_TREA) == currMode && currentTreatmentState > (TREATMENT_START_STATE)) && currentTreatmentState < (TREATMENT_END_STATE)) && uFVolume <= 8 * 1000) && (S32)presTreatmentTimeSecs - (S32)(treatmentTimeMS / (1000)) >= 10 * 60) ==> TRUE - (2) if (((TREATMENT_DIALYSIS_STATE) == currentTreatmentState && (DIALYSIS_UF_STATE) == currDialysisState) && (UF_RUNNING_STATE) == currUFState) ==> FALSE - (3) if (uFRate <= (F32)((2500.01001F) / (F32)60)) ==> TRUE - (4) if ((trtTime <= 8 * 60 && trtTime >= getTreatmentTimeInMinutes()) && dialVolume <= 150 * 1000) ==> FALSE - (5) if ((0) == result) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 - Cannot set local variable currDialysisState in branch 2 - Cannot set local variable currUFState in branch 2 - Cannot set local variable uFRate in branch 3 - Cannot set local variable trtTime in branch 4 - Cannot set local variable dialVolume in branch 4 - Cannot set result due to assignment -TEST.END_NOTES: -TEST.STUB:Timers.getMSTimerCount -TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_START_STATE -TEST.VALUE:ModeTreatment.<>.presUFRate:<> -TEST.VALUE:ModeTreatment.verifyUFSettingsChange.uFVolume:<> -TEST.EXPECTED:ModeTreatment.<>.currentTreatmentState:TREATMENT_START_STATE -TEST.EXPECTED:ModeTreatment.<>.presUFRate:-3.40282E+38 -TEST.EXPECTED:ModeTreatment.verifyUFSettingsChange.uFVolume:-3.40282E+38 -TEST.END - --- Test Case: verifyUFSettingsChange.009 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:verifyUFSettingsChange -TEST.NEW -TEST.NAME:verifyUFSettingsChange.009 -TEST.BASIS_PATH:9 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 9 - (1) if (((((MODE_TREA) == currMode && currentTreatmentState > (TREATMENT_START_STATE)) && currentTreatmentState < (TREATMENT_END_STATE)) && uFVolume <= 8 * 1000) && (S32)presTreatmentTimeSecs - (S32)(treatmentTimeMS / (1000)) >= 10 * 60) ==> TRUE - (2) if (((TREATMENT_DIALYSIS_STATE) == currentTreatmentState && (DIALYSIS_UF_STATE) == currDialysisState) && (UF_RUNNING_STATE) == currUFState) ==> TRUE - (3) if (uFRate <= (F32)((2500.01001F) / (F32)60)) ==> FALSE - (4) if ((trtTime <= 8 * 60 && trtTime >= getTreatmentTimeInMinutes()) && dialVolume <= 150 * 1000) ==> FALSE - (5) if ((0) == result) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 - Cannot set local variable currDialysisState in branch 2 - Cannot set local variable currUFState in branch 2 - Conflict: Cannot resolve multiple comparisons ( ModeTreatment.<>.currentTreatmentState ) in branches 1/2 - Cannot set local variable uFRate in branch 3 - Cannot set local variable trtTime in branch 4 - Cannot set local variable dialVolume in branch 4 - Cannot set local variable result in branch 5 -TEST.END_NOTES: -TEST.STUB:Timers.getMSTimerCount -TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_BLOOD_PRIME_STATE -TEST.VALUE:ModeTreatment.<>.presUFRate:<> -TEST.VALUE:ModeTreatment.verifyUFSettingsChange.uFVolume:<> -TEST.EXPECTED:ModeTreatment.<>.currentTreatmentState:TREATMENT_BLOOD_PRIME_STATE -TEST.EXPECTED:ModeTreatment.<>.presUFRate:-3.40282E+38 -TEST.EXPECTED:ModeTreatment.verifyUFSettingsChange.uFVolume:-3.40282E+38 -TEST.END - --- Subprogram: verifyUFSettingsConfirmation - --- Test Case: resumeUF -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:verifyUFSettingsConfirmation -TEST.NEW -TEST.NAME:resumeUF -TEST.COMPOUND_ONLY -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) ->>> (E) @LINE: 1303 TEST.VALUE:Dialysis.<>.maxUFVolumeML:1000.0 ->>> >>> Unknown parameter/object name maxUFVolumeML ->>> >>> Value Line Error - Command Ignored ->>> (E) @LINE: 1316 TEST.EXPECTED:Dialysis.<>.maxUFVolumeML:1500.0 ->>> >>> Unknown parameter/object name maxUFVolumeML ->>> >>> Value Line Error - Command Ignored ->>> (E) @LINE: 248 TEST.VALUE:uut_prototype_stubs.getCPLDOffButton.return:MODE_TREA ->>> >>> Value for 'Enumeral' out of range ->>> >>> Read "MODE_TREA" ->>> >>> Command Ignored ->>> (E) @LINE: 282 TEST.VALUE:ModeTreatment.<>.presBloodFlowRate:300 ->>> >>> Unknown parameter/object name presBloodFlowRate ->>> >>> Value Line Error - Command Ignored ->>> (E) @LINE: 283 TEST.VALUE:ModeTreatment.<>.presDialysateFlowRate:500 ->>> >>> Unknown parameter/object name presDialysateFlowRate ->>> >>> Value Line Error - Command Ignored -TEST.END_IMPORT_FAILURES: -TEST.VALUE:uut_prototype_stubs.setCriticalData.return:1 -TEST.VALUE:Dialysis.<>.currentDialysisState:DIALYSIS_UF_STATE -TEST.VALUE:Dialysis.<>.currentUFState:UF_PAUSED_STATE -TEST.VALUE:Dialysis.<>.setBloodFlowRate:300 -TEST.VALUE:Dialysis.<>.setDialysateFlowRate:500 -TEST.VALUE:Dialysis.<>.setUFRate:10.0 -TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_DIALYSIS_STATE -TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:14400 -TEST.VALUE:ModeTreatment.<>.presMaxUFVolumeML:1000.0 -TEST.VALUE:ModeTreatment.<>.presUFRate:10.0 -TEST.VALUE:ModeTreatment.<>.pendingUFVolumeChange:1500.0 -TEST.VALUE:ModeTreatment.<>.pendingUFRateChange:10.0 -TEST.VALUE:ModeTreatment.<>.pendingTreatmentTimeChange:300 -TEST.VALUE:ModeTreatment.verifyUFSettingsConfirmation.uFVolume:1500.0 -TEST.EXPECTED:Dialysis.<>.currentUFState:UF_RUNNING_STATE -TEST.EXPECTED:Dialysis.<>.setBloodFlowRate:300 -TEST.EXPECTED:Dialysis.<>.setDialysateFlowRate:500 -TEST.EXPECTED:Dialysis.<>.setUFRate:10.0 -TEST.EXPECTED:ModeTreatment.<>.presTreatmentTimeSecs:18000 -TEST.EXPECTED:ModeTreatment.<>.presMaxUFVolumeML:1500.0 -TEST.EXPECTED:ModeTreatment.<>.presUFRate:10.0 -TEST.EXPECTED:ModeTreatment.verifyUFSettingsConfirmation.return:1 -TEST.END - --- Test Case: verifyUFSettingsConfirmation.001 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:verifyUFSettingsConfirmation -TEST.NEW -TEST.NAME:verifyUFSettingsConfirmation.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 5 -TEST.NOTES: -This is an automatically generated test case. -Test Path 1 -(1) if ((MODE_TREA) == currMode && (0) == didTimeout(pendingParamChangesTimer, 60 * 1000)) ==> FALSE -(4) if (currMode != (MODE_TREA)) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:Timers.didTimeout -TEST.VALUE:Timers.didTimeout.return:1 -TEST.VALUE:ModeTreatment.verifyUFSettingsConfirmation.uFVolume:<> -TEST.VALUE:ModeTreatment.verifyUFSettingsConfirmation.adjustment:<> -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_TREA -TEST.END - --- Test Case: verifyUFSettingsConfirmation.002 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:verifyUFSettingsConfirmation -TEST.NEW -TEST.NAME:verifyUFSettingsConfirmation.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 5 -TEST.NOTES: -This is an automatically generated test case. -Test Path 2 -(1) if ((MODE_TREA) == currMode && (0) == didTimeout(pendingParamChangesTimer, 60 * 1000)) ==> FALSE -(4) if (currMode != (MODE_TREA)) ==> TRUE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:Timers.didTimeout -TEST.VALUE:Timers.didTimeout.return:1 -TEST.VALUE:ModeTreatment.verifyUFSettingsConfirmation.uFVolume:<> -TEST.VALUE:ModeTreatment.verifyUFSettingsConfirmation.adjustment:<> -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_FAUL -TEST.END - --- Test Case: verifyUFSettingsConfirmation.003 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:verifyUFSettingsConfirmation -TEST.NEW -TEST.NAME:verifyUFSettingsConfirmation.003 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:3 of 5 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 3 -(1) if ((MODE_TREA) == currMode && (0) == didTimeout(pendingParamChangesTimer, 60 * 1000)) ==> TRUE -(2) if ((UF_ADJ_TREATMENT_TIME) == adjustment) ==> FALSE -(3) if (((TREATMENT_DIALYSIS_STATE) == currentTreatmentState && (DIALYSIS_UF_STATE) == currDialysisState) && (UF_PAUSED_STATE) == currUFState) ==> FALSE -Test Case Generation Notes: -Cannot set local variable currDialysisState in branch 3 -Cannot set local variable currUFState in branch 3 -TEST.END_NOTES: -TEST.STUB:Timers.didTimeout -TEST.VALUE:Timers.didTimeout.return:0 -TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_START_STATE -TEST.VALUE:ModeTreatment.verifyUFSettingsConfirmation.uFVolume:<> -TEST.VALUE:ModeTreatment.verifyUFSettingsConfirmation.adjustment:1 -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_TREA -TEST.END - --- Test Case: verifyUFSettingsConfirmation.004 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:verifyUFSettingsConfirmation -TEST.NEW -TEST.NAME:verifyUFSettingsConfirmation.004 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:4 of 5 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 4 -(1) if ((MODE_TREA) == currMode && (0) == didTimeout(pendingParamChangesTimer, 60 * 1000)) ==> TRUE -(2) if ((UF_ADJ_TREATMENT_TIME) == adjustment) ==> FALSE -(3) if (((TREATMENT_DIALYSIS_STATE) == currentTreatmentState && (DIALYSIS_UF_STATE) == currDialysisState) && (UF_PAUSED_STATE) == currUFState) ==> TRUE -Test Case Generation Notes: -Cannot set local variable currDialysisState in branch 3 -Cannot set local variable currUFState in branch 3 -TEST.END_NOTES: -TEST.STUB:Timers.didTimeout -TEST.VALUE:Timers.didTimeout.return:0 -TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_DIALYSIS_STATE -TEST.VALUE:ModeTreatment.verifyUFSettingsConfirmation.uFVolume:<> -TEST.VALUE:ModeTreatment.verifyUFSettingsConfirmation.adjustment:1 -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_TREA -TEST.END - --- Test Case: verifyUFSettingsConfirmation.005 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:verifyUFSettingsConfirmation -TEST.NEW -TEST.NAME:verifyUFSettingsConfirmation.005 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:5 of 5 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 5 -(1) if ((MODE_TREA) == currMode && (0) == didTimeout(pendingParamChangesTimer, 60 * 1000)) ==> TRUE -(2) if ((UF_ADJ_TREATMENT_TIME) == adjustment) ==> TRUE -(3) if (((TREATMENT_DIALYSIS_STATE) == currentTreatmentState && (DIALYSIS_UF_STATE) == currDialysisState) && (UF_PAUSED_STATE) == currUFState) ==> FALSE -Test Case Generation Notes: -Cannot set local variable currDialysisState in branch 3 -Cannot set local variable currUFState in branch 3 -TEST.END_NOTES: -TEST.STUB:Timers.didTimeout -TEST.VALUE:Timers.didTimeout.return:0 -TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_START_STATE -TEST.VALUE:ModeTreatment.verifyUFSettingsConfirmation.uFVolume:<> -TEST.VALUE:ModeTreatment.verifyUFSettingsConfirmation.adjustment:0 -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_TREA -TEST.END - --- Test Case: verifyUFSettingsConfirmation.006 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:verifyUFSettingsConfirmation -TEST.NEW -TEST.NAME:verifyUFSettingsConfirmation.006 -TEST.COMPOUND_ONLY -TEST.END - --- Unit: ModeTreatmentParams - --- Subprogram: transitionToTreatParamsMode - --- Test Case: transitionToTreatParamsMode.001 -TEST.UNIT:ModeTreatmentParams -TEST.SUBPROGRAM:transitionToTreatParamsMode -TEST.NEW -TEST.NAME:transitionToTreatParamsMode.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 1 -TEST.NOTES: -No branches in subprogram -TEST.END_NOTES: -TEST.END - --- Unit: PresOccl - --- Subprogram: checkArterialPressureInRange - --- Test Case: checkArterialPressureInRange.001 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkArterialPressureInRange -TEST.NEW -TEST.NAME:checkArterialPressureInRange.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 8 -TEST.NOTES: -This is an automatically generated test case. -Test Path 1 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0F) || artPres < -(1500.0F))) ==> FALSE -(2) if (((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_DIALYSIS_STATE) == getTreatmentState()) && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> FALSE -(6) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_FAUL -TEST.END - --- Test Case: checkArterialPressureInRange.002 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkArterialPressureInRange -TEST.NEW -TEST.NAME:checkArterialPressureInRange.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 8 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 2 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0F) || artPres < -(1500.0F))) ==> FALSE -(2) if (((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_DIALYSIS_STATE) == getTreatmentState()) && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> FALSE -(6) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE -(7) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_LOW, artPres < -(250.0F))) ==> FALSE -Test Case Generation Notes: -Conflict: Trying to set variable OperationModes.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 2/6 -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_FAUL -TEST.END - --- Test Case: checkArterialPressureInRange.003 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkArterialPressureInRange -TEST.NEW -TEST.NAME:checkArterialPressureInRange.003 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:3 of 8 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 3 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0F) || artPres < -(1500.0F))) ==> FALSE -(2) if (((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_DIALYSIS_STATE) == getTreatmentState()) && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> FALSE -(6) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE -(7) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_LOW, artPres < -(250.0F))) ==> TRUE -Test Case Generation Notes: -Conflict: Trying to set variable OperationModes.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 2/6 -Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/7 -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_FAUL -TEST.END - --- Test Case: checkArterialPressureInRange.004 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkArterialPressureInRange -TEST.NEW -TEST.NAME:checkArterialPressureInRange.004 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:4 of 8 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 4 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0F) || artPres < -(1500.0F))) ==> FALSE -(2) if (((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_DIALYSIS_STATE) == getTreatmentState()) && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE -(3) if (isBloodPumpRampComplete() != (1)) ==> FALSE -(4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_LOW, artPres < artLowLimit)) ==> FALSE -(5) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_HIGH, artPres > artHighLimit)) ==> FALSE -Test Case Generation Notes: -Cannot set return value of function getDialysisState in branch 2 -TEST.END_NOTES: -TEST.STUB:BloodFlow.isBloodPumpRampComplete -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:ModeTreatmentParams.getTreatmentParameterS32 -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.VALUE:BloodFlow.isBloodPumpRampComplete.return:1 -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_DIALYSIS_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_TREA -TEST.END - --- Test Case: checkArterialPressureInRange.005 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkArterialPressureInRange -TEST.NEW -TEST.NAME:checkArterialPressureInRange.005 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:5 of 8 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 5 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0F) || artPres < -(1500.0F))) ==> FALSE -(2) if (((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_DIALYSIS_STATE) == getTreatmentState()) && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE -(3) if (isBloodPumpRampComplete() != (1)) ==> FALSE -(4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_LOW, artPres < artLowLimit)) ==> FALSE -(5) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_HIGH, artPres > artHighLimit)) ==> TRUE -Test Case Generation Notes: -Cannot set return value of function getDialysisState in branch 2 -Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/5 -TEST.END_NOTES: -TEST.STUB:BloodFlow.isBloodPumpRampComplete -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:ModeTreatmentParams.getTreatmentParameterS32 -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.VALUE:BloodFlow.isBloodPumpRampComplete.return:1 -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_DIALYSIS_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_TREA -TEST.END - --- Test Case: checkArterialPressureInRange.006 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkArterialPressureInRange -TEST.NEW -TEST.NAME:checkArterialPressureInRange.006 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:6 of 8 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 6 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0F) || artPres < -(1500.0F))) ==> FALSE -(2) if (((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_DIALYSIS_STATE) == getTreatmentState()) && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE -(3) if (isBloodPumpRampComplete() != (1)) ==> FALSE -(4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_LOW, artPres < artLowLimit)) ==> TRUE -(5) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_HIGH, artPres > artHighLimit)) ==> FALSE -Test Case Generation Notes: -Cannot set return value of function getDialysisState in branch 2 -Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/4 -TEST.END_NOTES: -TEST.STUB:BloodFlow.isBloodPumpRampComplete -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:ModeTreatmentParams.getTreatmentParameterS32 -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.VALUE:BloodFlow.isBloodPumpRampComplete.return:1 -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_DIALYSIS_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_TREA -TEST.END - --- Test Case: checkArterialPressureInRange.007 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkArterialPressureInRange -TEST.NEW -TEST.NAME:checkArterialPressureInRange.007 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:7 of 8 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 7 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0F) || artPres < -(1500.0F))) ==> FALSE -(2) if (((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_DIALYSIS_STATE) == getTreatmentState()) && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE -(3) if (isBloodPumpRampComplete() != (1)) ==> TRUE -(4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_LOW, artPres < artLowLimit)) ==> FALSE -(5) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_HIGH, artPres > artHighLimit)) ==> FALSE -Test Case Generation Notes: -Cannot set return value of function getDialysisState in branch 2 -TEST.END_NOTES: -TEST.STUB:BloodFlow.isBloodPumpRampComplete -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:ModeTreatmentParams.getTreatmentParameterS32 -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.VALUE:BloodFlow.isBloodPumpRampComplete.return:<> -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_DIALYSIS_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_TREA -TEST.END - --- Test Case: checkArterialPressureInRange.008 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkArterialPressureInRange -TEST.NEW -TEST.NAME:checkArterialPressureInRange.008 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:8 of 8 -TEST.NOTES: -This is an automatically generated test case. -Test Path 8 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0F) || artPres < -(1500.0F))) ==> TRUE -(2) if (((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_DIALYSIS_STATE) == getTreatmentState()) && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> FALSE -(6) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_FAUL -TEST.END - --- Subprogram: checkVenousPressureInRange - --- Test Case: checkVenousPressureInRange.001 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkVenousPressureInRange -TEST.NEW -TEST.NAME:checkVenousPressureInRange.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 9 -TEST.NOTES: -This is an automatically generated test case. -Test Path 1 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0F) || venPres < -(1500.0F))) ==> FALSE -(2) if (((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_DIALYSIS_STATE) == getTreatmentState()) && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> FALSE -(7) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_FAUL -TEST.END - --- Test Case: checkVenousPressureInRange.002 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkVenousPressureInRange -TEST.NEW -TEST.NAME:checkVenousPressureInRange.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 2 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0F) || venPres < -(1500.0F))) ==> FALSE -(2) if (((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_DIALYSIS_STATE) == getTreatmentState()) && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> FALSE -(7) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE -(8) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_HIGH, venPres > (300.0F))) ==> FALSE -Test Case Generation Notes: -Conflict: Trying to set variable OperationModes.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 2/7 -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_FAUL -TEST.END - --- Test Case: checkVenousPressureInRange.003 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkVenousPressureInRange -TEST.NEW -TEST.NAME:checkVenousPressureInRange.003 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:3 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 3 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0F) || venPres < -(1500.0F))) ==> FALSE -(2) if (((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_DIALYSIS_STATE) == getTreatmentState()) && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> FALSE -(7) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE -(8) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_HIGH, venPres > (300.0F))) ==> TRUE -Test Case Generation Notes: -Conflict: Trying to set variable OperationModes.getCurrentOperationMode.return 'equal to' and 'not equal to' same value in branches 2/7 -Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/8 -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_FAUL -TEST.END - --- Test Case: checkVenousPressureInRange.004 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkVenousPressureInRange -TEST.NEW -TEST.NAME:checkVenousPressureInRange.004 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:4 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 4 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0F) || venPres < -(1500.0F))) ==> FALSE -(2) if (((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_DIALYSIS_STATE) == getTreatmentState()) && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE -(3) if (isBloodPumpRampComplete() != (1)) ==> FALSE -(4) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> FALSE -(6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_HIGH, venPres > venHighLimit)) ==> FALSE -Test Case Generation Notes: -Cannot set return value of function getDialysisState in branch 2 -TEST.END_NOTES: -TEST.STUB:BloodFlow.isBloodPumpRampComplete -TEST.STUB:Valves.getValveAirTrapStatus -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:ModeTreatmentParams.getS32TreatmentParamUpperRangeLimit -TEST.STUB:ModeTreatmentParams.getTreatmentParameterS32 -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.VALUE:BloodFlow.isBloodPumpRampComplete.return:1 -TEST.VALUE:Valves.getValveAirTrapStatus.return:STATE_OPEN -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_DIALYSIS_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_TREA -TEST.END - --- Test Case: checkVenousPressureInRange.005 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkVenousPressureInRange -TEST.NEW -TEST.NAME:checkVenousPressureInRange.005 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:5 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 5 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0F) || venPres < -(1500.0F))) ==> FALSE -(2) if (((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_DIALYSIS_STATE) == getTreatmentState()) && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE -(3) if (isBloodPumpRampComplete() != (1)) ==> FALSE -(4) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> FALSE -(6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_HIGH, venPres > venHighLimit)) ==> TRUE -Test Case Generation Notes: -Cannot set return value of function getDialysisState in branch 2 -Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/6 -TEST.END_NOTES: -TEST.STUB:BloodFlow.isBloodPumpRampComplete -TEST.STUB:Valves.getValveAirTrapStatus -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:ModeTreatmentParams.getS32TreatmentParamUpperRangeLimit -TEST.STUB:ModeTreatmentParams.getTreatmentParameterS32 -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.VALUE:BloodFlow.isBloodPumpRampComplete.return:1 -TEST.VALUE:Valves.getValveAirTrapStatus.return:STATE_OPEN -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_DIALYSIS_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_TREA -TEST.END - --- Test Case: checkVenousPressureInRange.006 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkVenousPressureInRange -TEST.NEW -TEST.NAME:checkVenousPressureInRange.006 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:6 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 6 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0F) || venPres < -(1500.0F))) ==> FALSE -(2) if (((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_DIALYSIS_STATE) == getTreatmentState()) && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE -(3) if (isBloodPumpRampComplete() != (1)) ==> FALSE -(4) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> TRUE -(5) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_LOW, venPres < venLowLimit)) ==> FALSE -(6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_HIGH, venPres > venHighLimit)) ==> FALSE -Test Case Generation Notes: -Cannot set return value of function getDialysisState in branch 2 -TEST.END_NOTES: -TEST.STUB:BloodFlow.isBloodPumpRampComplete -TEST.STUB:Valves.getValveAirTrapStatus -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:ModeTreatmentParams.getS32TreatmentParamUpperRangeLimit -TEST.STUB:ModeTreatmentParams.getTreatmentParameterS32 -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.VALUE:BloodFlow.isBloodPumpRampComplete.return:1 -TEST.VALUE:Valves.getValveAirTrapStatus.return:STATE_CLOSED -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_DIALYSIS_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_TREA -TEST.END - --- Test Case: checkVenousPressureInRange.007 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkVenousPressureInRange -TEST.NEW -TEST.NAME:checkVenousPressureInRange.007 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:7 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 7 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0F) || venPres < -(1500.0F))) ==> FALSE -(2) if (((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_DIALYSIS_STATE) == getTreatmentState()) && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE -(3) if (isBloodPumpRampComplete() != (1)) ==> FALSE -(4) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> TRUE -(5) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_LOW, venPres < venLowLimit)) ==> TRUE -(6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_HIGH, venPres > venHighLimit)) ==> FALSE -Test Case Generation Notes: -Cannot set return value of function getDialysisState in branch 2 -Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/5 -TEST.END_NOTES: -TEST.STUB:BloodFlow.isBloodPumpRampComplete -TEST.STUB:Valves.getValveAirTrapStatus -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:ModeTreatmentParams.getS32TreatmentParamUpperRangeLimit -TEST.STUB:ModeTreatmentParams.getTreatmentParameterS32 -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.VALUE:BloodFlow.isBloodPumpRampComplete.return:1 -TEST.VALUE:Valves.getValveAirTrapStatus.return:STATE_CLOSED -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_DIALYSIS_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_TREA -TEST.END - --- Test Case: checkVenousPressureInRange.008 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkVenousPressureInRange -TEST.NEW -TEST.NAME:checkVenousPressureInRange.008 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:8 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 8 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0F) || venPres < -(1500.0F))) ==> FALSE -(2) if (((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_DIALYSIS_STATE) == getTreatmentState()) && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE -(3) if (isBloodPumpRampComplete() != (1)) ==> TRUE -(4) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> FALSE -(6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_HIGH, venPres > venHighLimit)) ==> FALSE -Test Case Generation Notes: -Cannot set return value of function getDialysisState in branch 2 -TEST.END_NOTES: -TEST.STUB:BloodFlow.isBloodPumpRampComplete -TEST.STUB:Valves.getValveAirTrapStatus -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:ModeTreatmentParams.getS32TreatmentParamUpperRangeLimit -TEST.STUB:ModeTreatmentParams.getTreatmentParameterS32 -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> -TEST.VALUE:BloodFlow.isBloodPumpRampComplete.return:<> -TEST.VALUE:Valves.getValveAirTrapStatus.return:STATE_OPEN -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_DIALYSIS_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_TREA -TEST.END - --- Test Case: checkVenousPressureInRange.009 -TEST.UNIT:PresOccl -TEST.SUBPROGRAM:checkVenousPressureInRange -TEST.NEW -TEST.NAME:checkVenousPressureInRange.009 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:9 of 9 -TEST.NOTES: -This is an automatically generated test case. -Test Path 9 -(1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0F) || venPres < -(1500.0F))) ==> TRUE -(2) if (((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_DIALYSIS_STATE) == getTreatmentState()) && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> FALSE -(7) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_FAUL -TEST.END - -- Unit: Reservoirs --- Subprogram: execReservoirs - --- Test Case: execReservoirs.001 -TEST.UNIT:Reservoirs -TEST.SUBPROGRAM:execReservoirs -TEST.NEW -TEST.NAME:execReservoirs.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 9 -TEST.NOTES: -This is an automatically generated test case. -Test Path 1 -(1) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> FALSE -(9) case reservoirsState ==> default -Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:Reservoirs.<>.reservoirsState:NUM_OF_TREATMENT_RESERVOIR_MGMT_STATES -TEST.EXPECTED:Reservoirs.<>.reservoirsState:TREATMENT_RESERVOIR_MGMT_START_STATE -TEST.END - --- Test Case: execReservoirs.002 -TEST.UNIT:Reservoirs -TEST.SUBPROGRAM:execReservoirs -TEST.NEW -TEST.NAME:execReservoirs.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 9 -TEST.NOTES: -This is an automatically generated test case. -Test Path 2 -(1) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> FALSE -(3) case reservoirsState ==> TREATMENT_RESERVOIR_MGMT_START_STATE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:Reservoirs.<>.reservoirsState:TREATMENT_RESERVOIR_MGMT_START_STATE -TEST.EXPECTED:Reservoirs.<>.reservoirsState:TREATMENT_RESERVOIR_MGMT_START_STATE -TEST.END - --- Test Case: execReservoirs.003 -TEST.UNIT:Reservoirs -TEST.SUBPROGRAM:execReservoirs -TEST.NEW -TEST.NAME:execReservoirs.003 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:3 of 9 -TEST.NOTES: -This is an automatically generated test case. -Test Path 3 -(1) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> FALSE -(4) case reservoirsState ==> TREATMENT_RESERVOIR_MGMT_DRAIN_RESERVOIR_STATE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:Reservoirs.<>.reservoirsState:TREATMENT_RESERVOIR_MGMT_DRAIN_RESERVOIR_STATE -TEST.EXPECTED:Reservoirs.<>.reservoirsState:TREATMENT_RESERVOIR_MGMT_DRAIN_RESERVOIR_STATE -TEST.END - --- Test Case: execReservoirs.004 -TEST.UNIT:Reservoirs -TEST.SUBPROGRAM:execReservoirs -TEST.NEW -TEST.NAME:execReservoirs.004 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:4 of 9 -TEST.NOTES: -This is an automatically generated test case. -Test Path 4 -(1) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> FALSE -(5) case reservoirsState ==> TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:Reservoirs.<>.reservoirsState:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE -TEST.EXPECTED:Reservoirs.<>.reservoirsState:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE -TEST.END - --- Test Case: execReservoirs.005 -TEST.UNIT:Reservoirs -TEST.SUBPROGRAM:execReservoirs -TEST.NEW -TEST.NAME:execReservoirs.005 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:5 of 9 -TEST.NOTES: -This is an automatically generated test case. -Test Path 5 -(1) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> FALSE -(6) case reservoirsState ==> TREATMENT_RESERVOIR_MGMT_FILL_RESERVOIR_STATE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:Reservoirs.<>.reservoirsState:TREATMENT_RESERVOIR_MGMT_FILL_RESERVOIR_STATE -TEST.EXPECTED:Reservoirs.<>.reservoirsState:TREATMENT_RESERVOIR_MGMT_FILL_RESERVOIR_STATE -TEST.END - --- Test Case: execReservoirs.006 -TEST.UNIT:Reservoirs -TEST.SUBPROGRAM:execReservoirs -TEST.NEW -TEST.NAME:execReservoirs.006 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:6 of 9 -TEST.NOTES: -This is an automatically generated test case. -Test Path 6 -(1) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> FALSE -(7) case reservoirsState ==> TREATMENT_RESERVOIR_MGMT_WAIT_FOR_FILL_SETTLE_STATE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:Reservoirs.<>.reservoirsState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_FILL_SETTLE_STATE -TEST.EXPECTED:Reservoirs.<>.reservoirsState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_FILL_SETTLE_STATE -TEST.END - --- Test Case: execReservoirs.007 -TEST.UNIT:Reservoirs -TEST.SUBPROGRAM:execReservoirs -TEST.NEW -TEST.NAME:execReservoirs.007 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:7 of 9 -TEST.NOTES: -This is an automatically generated test case. -Test Path 7 -(1) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> FALSE -(8) case reservoirsState ==> TREATMENT_RESERVOIR_MGMT_WAIT_FOR_SWITCH_SETTLE_STATE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:Reservoirs.<>.reservoirsState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_SWITCH_SETTLE_STATE -TEST.EXPECTED:Reservoirs.<>.reservoirsState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_SWITCH_SETTLE_STATE -TEST.END - --- Test Case: execReservoirs.008 -TEST.UNIT:Reservoirs -TEST.SUBPROGRAM:execReservoirs -TEST.NEW -TEST.NAME:execReservoirs.008 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:8 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 8 -(1) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE -(2) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState()) ==> FALSE -(9) case reservoirsState ==> default -Test Case Generation Notes: -Cannot set return value of function getDialysisState in branch 1 -Conflict: Trying to set variable ModeTreatment.getTreatmentState.return 'equal to' and 'not equal to' same value in branches 1/2 -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_DIALYSIS_STATE -TEST.VALUE:Reservoirs.<>.reservoirsState:NUM_OF_TREATMENT_RESERVOIR_MGMT_STATES -TEST.EXPECTED:Reservoirs.<>.reservoirsState:TREATMENT_RESERVOIR_MGMT_START_STATE -TEST.END - --- Test Case: execReservoirs.009 -TEST.UNIT:Reservoirs -TEST.SUBPROGRAM:execReservoirs -TEST.NEW -TEST.NAME:execReservoirs.009 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:9 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 9 -(1) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE -(2) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState()) ==> TRUE -(9) case reservoirsState ==> default -Test Case Generation Notes: -Cannot set return value of function getDialysisState in branch 1 -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_DIALYSIS_STATE -TEST.VALUE:Reservoirs.<>.reservoirsState:NUM_OF_TREATMENT_RESERVOIR_MGMT_STATES -TEST.EXPECTED:Reservoirs.<>.reservoirsState:TREATMENT_RESERVOIR_MGMT_START_STATE -TEST.END - -- Subprogram: handleReservoirMgmtWaitForFillSettleState --- Test Case: handleReservoirMgmtWaitForFillSettleState.001 +-- Test Case: handleReservoirMgmtWaitForFillSettleState_signalReservoirsSwitched TEST.UNIT:Reservoirs TEST.SUBPROGRAM:handleReservoirMgmtWaitForFillSettleState TEST.NEW -TEST.NAME:handleReservoirMgmtWaitForFillSettleState.001 -TEST.BASIS_PATH:1 of 2 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if ((1) == didTimeout(reservoirSwitchStartTimeMS, 15000) && ((dilutionLevelPct >= (0.150000006F) || volSpentML >= (F32)1500) || getReservoirWeight(active) > (1900.0F))) ==> FALSE - Test Case Generation Notes: - Cannot set dilutionLevelPct due to assignment -TEST.END_NOTES: -TEST.STUB:Timers.didTimeout -TEST.STUB:DGInterface.getReservoirWeight -TEST.VALUE:Timers.didTimeout.return:<> -TEST.VALUE:DGInterface.getReservoirWeight.return:<> -TEST.VALUE:Reservoirs.<>.volSpentML:<> -TEST.EXPECTED:Reservoirs.<>.volSpentML:-3.40282E+38 -TEST.END - --- Test Case: handleReservoirMgmtWaitForFillSettleState.002 -TEST.UNIT:Reservoirs -TEST.SUBPROGRAM:handleReservoirMgmtWaitForFillSettleState -TEST.NEW -TEST.NAME:handleReservoirMgmtWaitForFillSettleState.002 -TEST.BASIS_PATH:2 of 2 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if ((1) == didTimeout(reservoirSwitchStartTimeMS, 15000) && ((dilutionLevelPct >= (0.150000006F) || volSpentML >= (F32)1500) || getReservoirWeight(active) > (1900.0F))) ==> TRUE - Test Case Generation Notes: - Cannot set dilutionLevelPct due to assignment -TEST.END_NOTES: -TEST.STUB:Timers.didTimeout -TEST.STUB:DGInterface.getReservoirWeight -TEST.VALUE:Timers.didTimeout.return:1 -TEST.VALUE:DGInterface.getReservoirWeight.return:<> -TEST.VALUE:Reservoirs.<>.volSpentML:<> +TEST.NAME:handleReservoirMgmtWaitForFillSettleState_signalReservoirsSwitched +TEST.STUB:Reservoirs.isDialysateTempAlarmActive +TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 +TEST.VALUE:Reservoirs.<>.volSpentML:15.0 +TEST.VALUE:Reservoirs.isDialysateTempAlarmActive.return:1 TEST.EXPECTED:Reservoirs.<>.volSpentML:0.0 TEST.END -- Subprogram: handleReservoirMgmtWaitForSwitchSettleState --- Test Case: handleReservoirMgmtWaitForSwitchSettleState.001 +-- Test Case: handleReservoirMgmtWaitForSwitchSettleState_setFinalReservoirVolume TEST.UNIT:Reservoirs TEST.SUBPROGRAM:handleReservoirMgmtWaitForSwitchSettleState TEST.NEW -TEST.NAME:handleReservoirMgmtWaitForSwitchSettleState.001 -TEST.BASIS_PATH:1 of 2 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if ((1) == didTimeout(reservoirSwitchStartTimeMS, 5000)) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:Timers.didTimeout -TEST.VALUE:Timers.didTimeout.return:<> +TEST.NAME:handleReservoirMgmtWaitForSwitchSettleState_setFinalReservoirVolume +TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 +TEST.VALUE:Reservoirs.<>.timeReservoirInUF:15 +TEST.EXPECTED:Reservoirs.<>.timeReservoirInUF:0 TEST.END --- Test Case: handleReservoirMgmtWaitForSwitchSettleState.002 -TEST.UNIT:Reservoirs -TEST.SUBPROGRAM:handleReservoirMgmtWaitForSwitchSettleState -TEST.NEW -TEST.NAME:handleReservoirMgmtWaitForSwitchSettleState.002 -TEST.BASIS_PATH:2 of 2 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if ((1) == didTimeout(reservoirSwitchStartTimeMS, 5000)) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:Timers.didTimeout -TEST.VALUE:Timers.didTimeout.return:1 -TEST.END - -- Subprogram: handleReservoirMgmtWaitToFillState --- Test Case: handleReservoirMgmtWaitToFillState.001 +-- Test Case: handleReservoirMgmtWaitToFillState_getReservoirUltrafiltrationVol TEST.UNIT:Reservoirs TEST.SUBPROGRAM:handleReservoirMgmtWaitToFillState TEST.NEW -TEST.NAME:handleReservoirMgmtWaitToFillState.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 7 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 1 -(1) if (dilutionLevelPct >= (0.150000006F) || volSpentML >= (F32)1500) ==> FALSE -(3) if (ultrafiltrationFlowMLP > (9.999999939e-09F)) ==> FALSE -(5) if (timeWaitToFillMS <= 0) ==> FALSE -(6) if ((DG_MODE_FILL) == dgOpMode) ==> FALSE -Test Case Generation Notes: -Cannot set dilutionLevelPct due to assignment -Cannot set timeWaitToFillMS due to assignment -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getCurrentUFSetRate -TEST.VALUE:ModeTreatment.getCurrentUFSetRate.return:<> -TEST.VALUE:Reservoirs.<>.volSpentML:<> -TEST.VALUE:Reservoirs.<>.dgOpMode:DG_MODE_FAUL -TEST.EXPECTED:Reservoirs.<>.volSpentML:-3.40282E+38 -TEST.EXPECTED:Reservoirs.<>.dgOpMode:DG_MODE_FAUL +TEST.NAME:handleReservoirMgmtWaitToFillState_getReservoirUltrafiltrationVol +TEST.VALUE:Reservoirs.handleReservoirMgmtWaitToFillState.return:TREATMENT_RESERVOIR_MGMT_START_STATE +TEST.EXPECTED:Reservoirs.handleReservoirMgmtWaitToFillState.return:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE TEST.END --- Test Case: handleReservoirMgmtWaitToFillState.002 -TEST.UNIT:Reservoirs -TEST.SUBPROGRAM:handleReservoirMgmtWaitToFillState -TEST.NEW -TEST.NAME:handleReservoirMgmtWaitToFillState.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 7 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 2 -(1) if (dilutionLevelPct >= (0.150000006F) || volSpentML >= (F32)1500) ==> FALSE -(3) if (ultrafiltrationFlowMLP > (9.999999939e-09F)) ==> FALSE -(5) if (timeWaitToFillMS <= 0) ==> FALSE -(6) if ((DG_MODE_FILL) == dgOpMode) ==> TRUE -Test Case Generation Notes: -Cannot set dilutionLevelPct due to assignment -Cannot set timeWaitToFillMS due to assignment -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getCurrentUFSetRate -TEST.VALUE:ModeTreatment.getCurrentUFSetRate.return:<> -TEST.VALUE:Reservoirs.<>.volSpentML:<> -TEST.VALUE:Reservoirs.<>.dgOpMode:DG_MODE_FILL -TEST.EXPECTED:Reservoirs.<>.volSpentML:-3.40282E+38 -TEST.EXPECTED:Reservoirs.<>.dgOpMode:DG_MODE_FILL -TEST.END - --- Test Case: handleReservoirMgmtWaitToFillState.003 -TEST.UNIT:Reservoirs -TEST.SUBPROGRAM:handleReservoirMgmtWaitToFillState -TEST.NEW -TEST.NAME:handleReservoirMgmtWaitToFillState.003 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:3 of 7 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 3 -(1) if (dilutionLevelPct >= (0.150000006F) || volSpentML >= (F32)1500) ==> FALSE -(3) if (ultrafiltrationFlowMLP > (9.999999939e-09F)) ==> FALSE -(5) if (timeWaitToFillMS <= 0) ==> TRUE -(6) if ((DG_MODE_FILL) == dgOpMode) ==> FALSE -Test Case Generation Notes: -Cannot set dilutionLevelPct due to assignment -Cannot set timeWaitToFillMS due to assignment -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getCurrentUFSetRate -TEST.VALUE:ModeTreatment.getCurrentUFSetRate.return:<> -TEST.VALUE:Reservoirs.<>.volSpentML:<> -TEST.VALUE:Reservoirs.<>.dgOpMode:DG_MODE_FAUL -TEST.EXPECTED:Reservoirs.<>.volSpentML:-3.40282E+38 -TEST.EXPECTED:Reservoirs.<>.dgOpMode:DG_MODE_FAUL -TEST.END - --- Test Case: handleReservoirMgmtWaitToFillState.004 -TEST.UNIT:Reservoirs -TEST.SUBPROGRAM:handleReservoirMgmtWaitToFillState -TEST.NEW -TEST.NAME:handleReservoirMgmtWaitToFillState.004 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:4 of 7 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 4 -(1) if (dilutionLevelPct >= (0.150000006F) || volSpentML >= (F32)1500) ==> FALSE -(3) if (ultrafiltrationFlowMLP > (9.999999939e-09F)) ==> TRUE -(4) if (timeFreshRemainingMS > timeDepleteRemainingMS) ==> FALSE -(5) if (timeWaitToFillMS <= 0) ==> FALSE -(6) if ((DG_MODE_FILL) == dgOpMode) ==> FALSE -Test Case Generation Notes: -Cannot set dilutionLevelPct due to assignment -Cannot set local variable timeFreshRemainingMS in branch 4 -Cannot set local variable timeDepleteRemainingMS in branch 4 -Cannot set timeWaitToFillMS due to assignment -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getCurrentUFSetRate -TEST.VALUE:ModeTreatment.getCurrentUFSetRate.return:<> -TEST.VALUE:Reservoirs.<>.volSpentML:<> -TEST.VALUE:Reservoirs.<>.dgOpMode:DG_MODE_FAUL -TEST.EXPECTED:Reservoirs.<>.volSpentML:-3.40282E+38 -TEST.EXPECTED:Reservoirs.<>.dgOpMode:DG_MODE_FAUL -TEST.END - --- Test Case: handleReservoirMgmtWaitToFillState.005 -TEST.UNIT:Reservoirs -TEST.SUBPROGRAM:handleReservoirMgmtWaitToFillState -TEST.NEW -TEST.NAME:handleReservoirMgmtWaitToFillState.005 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:5 of 7 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 5 -(1) if (dilutionLevelPct >= (0.150000006F) || volSpentML >= (F32)1500) ==> FALSE -(3) if (ultrafiltrationFlowMLP > (9.999999939e-09F)) ==> TRUE -(4) if (timeFreshRemainingMS > timeDepleteRemainingMS) ==> TRUE -(5) if (timeWaitToFillMS <= 0) ==> FALSE -(6) if ((DG_MODE_FILL) == dgOpMode) ==> FALSE -Test Case Generation Notes: -Cannot set dilutionLevelPct due to assignment -Cannot set local variable timeFreshRemainingMS in branch 4 -Cannot set local variable timeDepleteRemainingMS in branch 4 -Cannot set timeWaitToFillMS due to assignment -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getCurrentUFSetRate -TEST.VALUE:ModeTreatment.getCurrentUFSetRate.return:<> -TEST.VALUE:Reservoirs.<>.volSpentML:<> -TEST.VALUE:Reservoirs.<>.dgOpMode:DG_MODE_FAUL -TEST.EXPECTED:Reservoirs.<>.volSpentML:-3.40282E+38 -TEST.EXPECTED:Reservoirs.<>.dgOpMode:DG_MODE_FAUL -TEST.END - --- Test Case: handleReservoirMgmtWaitToFillState.006 -TEST.UNIT:Reservoirs -TEST.SUBPROGRAM:handleReservoirMgmtWaitToFillState -TEST.NEW -TEST.NAME:handleReservoirMgmtWaitToFillState.006 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:6 of 7 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 6 -(1) if (dilutionLevelPct >= (0.150000006F) || volSpentML >= (F32)1500) ==> TRUE -(2) if ((DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> FALSE -(6) if ((DG_MODE_FILL) == dgOpMode) ==> FALSE -Test Case Generation Notes: -Cannot set dilutionLevelPct due to assignment -TEST.END_NOTES: -TEST.VALUE:Reservoirs.<>.volSpentML:<> -TEST.VALUE:Reservoirs.<>.dgOpMode:DG_MODE_FAUL -TEST.VALUE:Reservoirs.<>.dgSubMode:<> -TEST.EXPECTED:Reservoirs.<>.volSpentML:3.40282E+38 -TEST.EXPECTED:Reservoirs.<>.dgOpMode:DG_MODE_FAUL -TEST.EXPECTED:Reservoirs.<>.dgSubMode:0 -TEST.END - --- Test Case: handleReservoirMgmtWaitToFillState.007 -TEST.UNIT:Reservoirs -TEST.SUBPROGRAM:handleReservoirMgmtWaitToFillState -TEST.NEW -TEST.NAME:handleReservoirMgmtWaitToFillState.007 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:7 of 7 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 7 -(1) if (dilutionLevelPct >= (0.150000006F) || volSpentML >= (F32)1500) ==> TRUE -(2) if ((DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> TRUE -(6) if ((DG_MODE_FILL) == dgOpMode) ==> FALSE -Test Case Generation Notes: -Cannot set dilutionLevelPct due to assignment -TEST.END_NOTES: -TEST.VALUE:Reservoirs.<>.volSpentML:<> -TEST.VALUE:Reservoirs.<>.dgOpMode:DG_MODE_FAUL -TEST.VALUE:Reservoirs.<>.dgSubMode:1 -TEST.EXPECTED:Reservoirs.<>.volSpentML:3.40282E+38 -TEST.EXPECTED:Reservoirs.<>.dgOpMode:DG_MODE_FAUL -TEST.EXPECTED:Reservoirs.<>.dgSubMode:1 -TEST.END - --- Unit: SyringePump - --- Subprogram: userHeparinRequest - --- Test Case: userHeparinRequest.001 -TEST.UNIT:SyringePump -TEST.SUBPROGRAM:userHeparinRequest -TEST.NEW -TEST.NAME:userHeparinRequest.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 7 -TEST.NOTES: -This is an automatically generated test case. -Test Path 1 -(1) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:SyringePump.userHeparinRequest.cmd:<> -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_FAUL -TEST.EXPECTED:SyringePump.userHeparinRequest.cmd:HEPARIN_CMD_PAUSE -TEST.END - --- Test Case: userHeparinRequest.002 -TEST.UNIT:SyringePump -TEST.SUBPROGRAM:userHeparinRequest -TEST.NEW -TEST.NAME:userHeparinRequest.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 7 -TEST.NOTES: -This is an automatically generated test case. -Test Path 2 -(1) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE -(2) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:SyringePump.userHeparinRequest.cmd:<> -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_TREA -TEST.EXPECTED:SyringePump.userHeparinRequest.cmd:HEPARIN_CMD_PAUSE -TEST.END - --- Test Case: userHeparinRequest.003 -TEST.UNIT:SyringePump -TEST.SUBPROGRAM:userHeparinRequest -TEST.NEW -TEST.NAME:userHeparinRequest.003 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:3 of 7 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 3 -(1) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE -(2) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE -(3) if ((HEPARIN_CMD_PAUSE) == cmd) ==> FALSE -(5) if ((HEPARIN_CMD_RESUME) == cmd) ==> FALSE -Test Case Generation Notes: -Cannot set return value of function getDialysisState in branch 2 -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:SyringePump.userHeparinRequest.cmd:NUM_OF_HEPARIN_CMDS -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_DIALYSIS_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_TREA -TEST.EXPECTED:SyringePump.userHeparinRequest.cmd:NUM_OF_HEPARIN_CMDS -TEST.END - --- Test Case: userHeparinRequest.004 -TEST.UNIT:SyringePump -TEST.SUBPROGRAM:userHeparinRequest -TEST.NEW -TEST.NAME:userHeparinRequest.004 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:4 of 7 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 4 -(1) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE -(2) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE -(3) if ((HEPARIN_CMD_PAUSE) == cmd) ==> FALSE -(5) if ((HEPARIN_CMD_RESUME) == cmd) ==> TRUE -(6) if ((HEPARIN_STATE_PAUSED) == heparinDeliveryState) ==> FALSE -Test Case Generation Notes: -Cannot set return value of function getDialysisState in branch 2 -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_OFF -TEST.VALUE:SyringePump.userHeparinRequest.cmd:HEPARIN_CMD_RESUME -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_DIALYSIS_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_TREA -TEST.EXPECTED:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_OFF -TEST.EXPECTED:SyringePump.userHeparinRequest.cmd:HEPARIN_CMD_RESUME -TEST.END - --- Test Case: userHeparinRequest.005 -TEST.UNIT:SyringePump -TEST.SUBPROGRAM:userHeparinRequest -TEST.NEW -TEST.NAME:userHeparinRequest.005 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:5 of 7 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 5 -(1) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE -(2) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE -(3) if ((HEPARIN_CMD_PAUSE) == cmd) ==> FALSE -(5) if ((HEPARIN_CMD_RESUME) == cmd) ==> TRUE -(6) if ((HEPARIN_STATE_PAUSED) == heparinDeliveryState) ==> TRUE -Test Case Generation Notes: -Cannot set return value of function getDialysisState in branch 2 -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_PAUSED -TEST.VALUE:SyringePump.userHeparinRequest.cmd:HEPARIN_CMD_RESUME -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_DIALYSIS_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_TREA -TEST.EXPECTED:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_PAUSED -TEST.EXPECTED:SyringePump.userHeparinRequest.cmd:HEPARIN_CMD_RESUME -TEST.END - --- Test Case: userHeparinRequest.006 -TEST.UNIT:SyringePump -TEST.SUBPROGRAM:userHeparinRequest -TEST.NEW -TEST.NAME:userHeparinRequest.006 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:6 of 7 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 6 -(1) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE -(2) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE -(3) if ((HEPARIN_CMD_PAUSE) == cmd) ==> TRUE -(4) if ((HEPARIN_STATE_DISPENSING) == heparinDeliveryState) ==> FALSE -Test Case Generation Notes: -Cannot set return value of function getDialysisState in branch 2 -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_OFF -TEST.VALUE:SyringePump.userHeparinRequest.cmd:HEPARIN_CMD_PAUSE -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_DIALYSIS_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_TREA -TEST.EXPECTED:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_OFF -TEST.EXPECTED:SyringePump.userHeparinRequest.cmd:HEPARIN_CMD_PAUSE -TEST.END - --- Test Case: userHeparinRequest.007 -TEST.UNIT:SyringePump -TEST.SUBPROGRAM:userHeparinRequest -TEST.NEW -TEST.NAME:userHeparinRequest.007 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:7 of 7 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 7 -(1) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE -(2) if ((TREATMENT_DIALYSIS_STATE) == getTreatmentState() && getDialysisState() != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE -(3) if ((HEPARIN_CMD_PAUSE) == cmd) ==> TRUE -(4) if ((HEPARIN_STATE_DISPENSING) == heparinDeliveryState) ==> TRUE -Test Case Generation Notes: -Cannot set return value of function getDialysisState in branch 2 -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getTreatmentState -TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_DISPENSING -TEST.VALUE:SyringePump.userHeparinRequest.cmd:HEPARIN_CMD_PAUSE -TEST.VALUE:ModeTreatment.getTreatmentState.return:TREATMENT_DIALYSIS_STATE -TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_TREA -TEST.EXPECTED:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_PAUSED -TEST.EXPECTED:SyringePump.userHeparinRequest.cmd:HEPARIN_CMD_PAUSE -TEST.END - -- Unit: SystemCommMessages -- Subprogram: handleSalineBolusRequest --- Test Case: handleSalineBolusRequest.001 +-- Test Case: handleSalineBolusRequest_abort TEST.UNIT:SystemCommMessages TEST.SUBPROGRAM:handleSalineBolusRequest TEST.NEW -TEST.NAME:handleSalineBolusRequest.001 -TEST.BASIS_PATH:1 of 3 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if (sizeof(BOOL) == (message->hdr).payloadLen) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:SystemCommMessages.handleSalineBolusRequest.message:<> -TEST.VALUE:SystemCommMessages.handleSalineBolusRequest.message[0].hdr.payloadLen:<> -TEST.EXPECTED:SystemCommMessages.handleSalineBolusRequest.message[0].hdr.payloadLen:0 -TEST.END - --- Test Case: handleSalineBolusRequest.002 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:handleSalineBolusRequest -TEST.NEW -TEST.NAME:handleSalineBolusRequest.002 -TEST.BASIS_PATH:2 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (sizeof(BOOL) == (message->hdr).payloadLen) ==> TRUE - (2) if ((SALINE_CMD_START) == cmd) ==> FALSE - Test Case Generation Notes: - Cannot set local variable cmd in branch 2 -TEST.END_NOTES: -TEST.VALUE:SystemCommMessages.handleSalineBolusRequest.message:<> -TEST.VALUE:SystemCommMessages.handleSalineBolusRequest.message[0].hdr.payloadLen:4 -TEST.EXPECTED:SystemCommMessages.handleSalineBolusRequest.message[0].hdr.payloadLen:4 -TEST.END - --- Test Case: handleSalineBolusRequest.003 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:handleSalineBolusRequest -TEST.NEW -TEST.NAME:handleSalineBolusRequest.003 -TEST.BASIS_PATH:3 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if (sizeof(BOOL) == (message->hdr).payloadLen) ==> TRUE - (2) if ((SALINE_CMD_START) == cmd) ==> TRUE - Test Case Generation Notes: - Cannot set local variable cmd in branch 2 -TEST.END_NOTES: -TEST.VALUE:SystemCommMessages.handleSalineBolusRequest.message:<> -TEST.VALUE:SystemCommMessages.handleSalineBolusRequest.message[0].hdr.payloadLen:4 -TEST.EXPECTED:SystemCommMessages.handleSalineBolusRequest.message[0].hdr.payloadLen:4 -TEST.END - --- Test Case: signalAbortSalineBolus -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:handleSalineBolusRequest -TEST.NEW -TEST.NAME:signalAbortSalineBolus -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 284 TEST.VALUE:uut_prototype_stubs.getCPLDOffButton.return:MODE_TREA - >>> >>> Value for 'Enumeral' out of range - >>> >>> Read "MODE_TREA" - >>> >>> Command Ignored - >>> (E) @LINE: 295 TEST.EXPECTED:uut_prototype_stubs.getPreTreatmentRecircState.param:TREATMENT_PARAM_SALINE_BOLUS_VOLUME - >>> >>> Unknown parameter/object name param - >>> >>> Value Line Error - Command Ignored -TEST.END_IMPORT_FAILURES: -TEST.VALUE:uut_prototype_stubs.getPreTreatmentRecircState.return:100 +TEST.NAME:handleSalineBolusRequest_abort +TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:Dialysis.<>.currentSalineBolusState:SALINE_BOLUS_STATE_IN_PROGRESS TEST.VALUE:Dialysis.<>.salineBolusAbortRequested:0 TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_DIALYSIS_STATE @@ -2690,212 +342,62 @@ TEST.VALUE:SystemCommMessages.handleSalineBolusRequest.message[0].payload[1]:0 TEST.VALUE:SystemCommMessages.handleSalineBolusRequest.message[0].payload[2]:0 TEST.VALUE:SystemCommMessages.handleSalineBolusRequest.message[0].payload[3]:0 -TEST.EXPECTED:Dialysis.<>.currentSalineBolusState:SALINE_BOLUS_STATE_IN_PROGRESS -TEST.EXPECTED:Dialysis.<>.salineBolusAbortRequested:0 -TEST.EXPECTED:ModeTreatment.<>.currentTreatmentState:TREATMENT_DIALYSIS_STATE -TEST.EXPECTED:SystemCommMessages.handleSalineBolusRequest.message[0].hdr.payloadLen:4 -TEST.EXPECTED:SystemCommMessages.handleSalineBolusRequest.message[0].payload[0]:0 -TEST.EXPECTED:SystemCommMessages.handleSalineBolusRequest.message[0].payload[1]:0 -TEST.EXPECTED:SystemCommMessages.handleSalineBolusRequest.message[0].payload[2]:0 -TEST.EXPECTED:SystemCommMessages.handleSalineBolusRequest.message[0].payload[3]:0 +TEST.EXPECTED:Dialysis.<>.salineBolusAbortRequested:1 TEST.END --- Test Case: signalStartSalineBolus +-- Test Case: handleSalineBolusRequest_start TEST.UNIT:SystemCommMessages TEST.SUBPROGRAM:handleSalineBolusRequest TEST.NEW -TEST.NAME:signalStartSalineBolus -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 304 TEST.VALUE:uut_prototype_stubs.getCPLDOffButton.return:MODE_TREA - >>> >>> Value for 'Enumeral' out of range - >>> >>> Read "MODE_TREA" - >>> >>> Command Ignored - >>> (E) @LINE: 315 TEST.EXPECTED:uut_prototype_stubs.getPreTreatmentRecircState.param:TREATMENT_PARAM_SALINE_BOLUS_VOLUME - >>> >>> Unknown parameter/object name param - >>> >>> Value Line Error - Command Ignored -TEST.END_IMPORT_FAILURES: -TEST.VALUE:uut_prototype_stubs.getPreTreatmentRecircState.return:100 -TEST.VALUE:Dialysis.<>.currentSalineBolusState:SALINE_BOLUS_STATE_IDLE +TEST.NAME:handleSalineBolusRequest_start +TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA +TEST.VALUE:Dialysis.<>.currentDialysisState:DIALYSIS_UF_STATE TEST.VALUE:Dialysis.<>.salineBolusStartRequested:0 +TEST.VALUE:Dialysis.<>.totalSalineVolumeDelivered_mL:700.0 TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_DIALYSIS_STATE TEST.VALUE:SystemCommMessages.handleSalineBolusRequest.message:<> TEST.VALUE:SystemCommMessages.handleSalineBolusRequest.message[0].hdr.payloadLen:4 TEST.VALUE:SystemCommMessages.handleSalineBolusRequest.message[0].payload[0]:1 TEST.VALUE:SystemCommMessages.handleSalineBolusRequest.message[0].payload[1]:0 TEST.VALUE:SystemCommMessages.handleSalineBolusRequest.message[0].payload[2]:0 TEST.VALUE:SystemCommMessages.handleSalineBolusRequest.message[0].payload[3]:0 -TEST.EXPECTED:Dialysis.<>.currentSalineBolusState:SALINE_BOLUS_STATE_IDLE -TEST.EXPECTED:Dialysis.<>.salineBolusStartRequested:0 -TEST.EXPECTED:ModeTreatment.<>.currentTreatmentState:TREATMENT_DIALYSIS_STATE -TEST.EXPECTED:SystemCommMessages.handleSalineBolusRequest.message[0].hdr.payloadLen:4 -TEST.EXPECTED:SystemCommMessages.handleSalineBolusRequest.message[0].payload[0]:1 -TEST.EXPECTED:SystemCommMessages.handleSalineBolusRequest.message[0].payload[1]:0 -TEST.EXPECTED:SystemCommMessages.handleSalineBolusRequest.message[0].payload[2]:0 -TEST.EXPECTED:SystemCommMessages.handleSalineBolusRequest.message[0].payload[3]:0 +TEST.EXPECTED:Dialysis.<>.salineBolusStartRequested:1 TEST.END -- Subprogram: handleUFPauseResumeRequest --- Test Case: handleUFPauseResumeRequest.001 +-- Test Case: handleUFPauseResumeRequest_pause_UF TEST.UNIT:SystemCommMessages TEST.SUBPROGRAM:handleUFPauseResumeRequest TEST.NEW -TEST.NAME:handleUFPauseResumeRequest.001 -TEST.BASIS_PATH:1 of 4 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if ((message->hdr).payloadLen == sizeof(U32)) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: +TEST.NAME:handleUFPauseResumeRequest_pause_UF +TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA +TEST.VALUE:Dialysis.<>.currentDialysisState:DIALYSIS_UF_STATE +TEST.VALUE:Dialysis.<>.currentUFState:UF_RUNNING_STATE +TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_DIALYSIS_STATE TEST.VALUE:SystemCommMessages.handleUFPauseResumeRequest.message:<> -TEST.VALUE:SystemCommMessages.handleUFPauseResumeRequest.message[0].hdr.payloadLen:<> -TEST.EXPECTED:SystemCommMessages.handleUFPauseResumeRequest.message[0].hdr.payloadLen:0 -TEST.END - --- Test Case: handleUFPauseResumeRequest.002 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:handleUFPauseResumeRequest -TEST.NEW -TEST.NAME:handleUFPauseResumeRequest.002 -TEST.BASIS_PATH:2 of 4 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if ((message->hdr).payloadLen == sizeof(U32)) ==> TRUE - (2) if ((UF_CMD_PAUSE) == cmd) ==> FALSE - (3) if ((UF_CMD_RESUME) == cmd) ==> FALSE - Test Case Generation Notes: - Cannot set local variable cmd in branch 2 - Cannot set local variable cmd in branch 3 -TEST.END_NOTES: -TEST.VALUE:SystemCommMessages.handleUFPauseResumeRequest.message:<> TEST.VALUE:SystemCommMessages.handleUFPauseResumeRequest.message[0].hdr.payloadLen:4 -TEST.EXPECTED:SystemCommMessages.handleUFPauseResumeRequest.message[0].hdr.payloadLen:4 +TEST.VALUE:SystemCommMessages.handleUFPauseResumeRequest.message[0].payload[0]:0 +TEST.VALUE:SystemCommMessages.handleUFPauseResumeRequest.message[0].payload[1]:0 +TEST.VALUE:SystemCommMessages.handleUFPauseResumeRequest.message[0].payload[2]:0 +TEST.VALUE:SystemCommMessages.handleUFPauseResumeRequest.message[0].payload[3]:0 +TEST.EXPECTED:Dialysis.<>.currentUFState:UF_PAUSED_STATE TEST.END --- Test Case: handleUFPauseResumeRequest.003 +-- Test Case: handleUFPauseResumeRequest_resume_UF TEST.UNIT:SystemCommMessages TEST.SUBPROGRAM:handleUFPauseResumeRequest TEST.NEW -TEST.NAME:handleUFPauseResumeRequest.003 -TEST.BASIS_PATH:3 of 4 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if ((message->hdr).payloadLen == sizeof(U32)) ==> TRUE - (2) if ((UF_CMD_PAUSE) == cmd) ==> FALSE - (3) if ((UF_CMD_RESUME) == cmd) ==> TRUE - Test Case Generation Notes: - Cannot set local variable cmd in branch 2 - Cannot set local variable cmd in branch 3 -TEST.END_NOTES: +TEST.NAME:handleUFPauseResumeRequest_resume_UF +TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA +TEST.VALUE:Dialysis.<>.currentDialysisState:DIALYSIS_UF_STATE +TEST.VALUE:Dialysis.<>.currentUFState:UF_PAUSED_STATE +TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_DIALYSIS_STATE TEST.VALUE:SystemCommMessages.handleUFPauseResumeRequest.message:<> TEST.VALUE:SystemCommMessages.handleUFPauseResumeRequest.message[0].hdr.payloadLen:4 -TEST.EXPECTED:SystemCommMessages.handleUFPauseResumeRequest.message[0].hdr.payloadLen:4 +TEST.VALUE:SystemCommMessages.handleUFPauseResumeRequest.message[0].payload[0]:1 +TEST.VALUE:SystemCommMessages.handleUFPauseResumeRequest.message[0].payload[1]:0 +TEST.VALUE:SystemCommMessages.handleUFPauseResumeRequest.message[0].payload[2]:0 +TEST.VALUE:SystemCommMessages.handleUFPauseResumeRequest.message[0].payload[3]:0 +TEST.EXPECTED:Dialysis.<>.currentUFState:UF_RUNNING_STATE TEST.END - --- Test Case: handleUFPauseResumeRequest.004 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:handleUFPauseResumeRequest -TEST.NEW -TEST.NAME:handleUFPauseResumeRequest.004 -TEST.BASIS_PATH:4 of 4 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) if ((message->hdr).payloadLen == sizeof(U32)) ==> TRUE - (2) if ((UF_CMD_PAUSE) == cmd) ==> TRUE - Test Case Generation Notes: - Cannot set local variable cmd in branch 2 -TEST.END_NOTES: -TEST.VALUE:SystemCommMessages.handleUFPauseResumeRequest.message:<> -TEST.VALUE:SystemCommMessages.handleUFPauseResumeRequest.message[0].hdr.payloadLen:4 -TEST.VALUE:SystemCommMessages.handleUFPauseResumeRequest.message[0].payload:<> -TEST.VALUE:SystemCommMessages.handleUFPauseResumeRequest.message[0].payload:"0" -TEST.EXPECTED:SystemCommMessages.handleUFPauseResumeRequest.message[0].hdr.payloadLen:4 -TEST.END - --- Unit: TreatmentStop - --- Subprogram: transitionToTreatmentStop - --- Test Case: transitionToTreatmentStop.001 -TEST.UNIT:TreatmentStop -TEST.SUBPROGRAM:transitionToTreatmentStop -TEST.NEW -TEST.NAME:transitionToTreatmentStop.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 4 -TEST.NOTES: -This is an automatically generated test case. -Test Path 1 -(1) if ((1) == getRinsebackCompleted()) ==> FALSE -(2) if ((0) == isAnyAlarmActive()) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getRinsebackCompleted -TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:1 -TEST.VALUE:ModeTreatment.getRinsebackCompleted.return:<> -TEST.END - --- Test Case: transitionToTreatmentStop.002 -TEST.UNIT:TreatmentStop -TEST.SUBPROGRAM:transitionToTreatmentStop -TEST.NEW -TEST.NAME:transitionToTreatmentStop.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 4 -TEST.NOTES: -This is an automatically generated test case. -Test Path 2 -(1) if ((1) == getRinsebackCompleted()) ==> FALSE -(2) if ((0) == isAnyAlarmActive()) ==> TRUE -(3) if ((1) == getRinsebackCompleted()) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getRinsebackCompleted -TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0 -TEST.VALUE:ModeTreatment.getRinsebackCompleted.return:<> -TEST.END - --- Test Case: transitionToTreatmentStop.003 -TEST.UNIT:TreatmentStop -TEST.SUBPROGRAM:transitionToTreatmentStop -TEST.NEW -TEST.NAME:transitionToTreatmentStop.003 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:3 of 4 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 3 -(1) if ((1) == getRinsebackCompleted()) ==> FALSE -(2) if ((0) == isAnyAlarmActive()) ==> TRUE -(3) if ((1) == getRinsebackCompleted()) ==> TRUE -Test Case Generation Notes: -Conflict: Trying to set variable ModeTreatment.getRinsebackCompleted.return 'equal to' and 'not equal to' same value in branches 1/3 -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getRinsebackCompleted -TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0 -TEST.VALUE:ModeTreatment.getRinsebackCompleted.return:<> -TEST.END - --- Test Case: transitionToTreatmentStop.004 -TEST.UNIT:TreatmentStop -TEST.SUBPROGRAM:transitionToTreatmentStop -TEST.NEW -TEST.NAME:transitionToTreatmentStop.004 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:4 of 4 -TEST.NOTES: -This is an automatically generated test case. -Test Path 4 -(1) if ((1) == getRinsebackCompleted()) ==> TRUE -(2) if ((0) == isAnyAlarmActive()) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getRinsebackCompleted -TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:1 -TEST.VALUE:ModeTreatment.getRinsebackCompleted.return:1 -TEST.END Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS_cba.cvr =================================================================== diff -u -rbee4a17cf2dedb3a18483e2c05846785ed1b3da7 -r976f618877c02e298d7e2291b12177d6dc219617 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS_cba.cvr (.../INT_DIALYSIS_cba.cvr) (revision bee4a17cf2dedb3a18483e2c05846785ed1b3da7) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS_cba.cvr (.../INT_DIALYSIS_cba.cvr) (revision 976f618877c02e298d7e2291b12177d6dc219617) @@ -23,94 +23,6 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:9 -IMPORT.SOURCE.ORIG_FILENAME:Timers.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:11 -IMPORT.SOURCE.ORIG_FILENAME:AirTrap.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:12 -IMPORT.SOURCE.ORIG_FILENAME:BloodFlow.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:13 -IMPORT.SOURCE.ORIG_FILENAME:Buttons.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:14 IMPORT.SOURCE.ORIG_FILENAME:DGInterface.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function @@ -132,117 +44,7 @@ IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:15 -IMPORT.SOURCE.ORIG_FILENAME:DialInFlow.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:16 -IMPORT.SOURCE.ORIG_FILENAME:DialOutFlow.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:17 -IMPORT.SOURCE.ORIG_FILENAME:PresOccl.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:18 -IMPORT.SOURCE.ORIG_FILENAME:SyringePump.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:19 -IMPORT.SOURCE.ORIG_FILENAME:Valves.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:20 +IMPORT.SOURCE.UNIT:11 IMPORT.SOURCE.ORIG_FILENAME:Dialysis.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function @@ -264,7 +66,7 @@ IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:21 +IMPORT.SOURCE.UNIT:12 IMPORT.SOURCE.ORIG_FILENAME:ModePostTreat.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function @@ -286,7 +88,7 @@ IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:22 +IMPORT.SOURCE.UNIT:13 IMPORT.SOURCE.ORIG_FILENAME:ModePreTreat.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function @@ -308,7 +110,7 @@ IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:23 +IMPORT.SOURCE.UNIT:14 IMPORT.SOURCE.ORIG_FILENAME:ModeTreatment.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function @@ -330,95 +132,7 @@ IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:24 -IMPORT.SOURCE.ORIG_FILENAME:ModeTreatmentParams.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:25 -IMPORT.SOURCE.ORIG_FILENAME:OperationModes.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:26 -IMPORT.SOURCE.ORIG_FILENAME:SelfTests.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:27 -IMPORT.SOURCE.ORIG_FILENAME:TreatmentStop.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:28 +IMPORT.SOURCE.UNIT:15 IMPORT.SOURCE.ORIG_FILENAME:Reservoirs.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function @@ -440,7 +154,7 @@ IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:29 +IMPORT.SOURCE.UNIT:16 IMPORT.SOURCE.ORIG_FILENAME:SystemCommMessages.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function @@ -461,28 +175,6 @@ IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:30 -IMPORT.SOURCE.ORIG_FILENAME:TaskGeneral.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END RESULT.CBA.BEGIN RESULT.CBA.RESULT: CBA_Dialysis RESULT.CBA.NOTES @@ -574,7 +266,7 @@ uFTimeMS = 0; RESULT.CBA.NOTES_END -RESULT.CBA.UNIT: /home/asif/work/update_23rd/workspace_hd/hdfirmware/firmware/App/Modes/Dialysis.c +RESULT.CBA.UNIT: /home/fw/workspace_hd/hdfirmware/firmware/App/Modes/Dialysis.c RESULT.CBA.FUNCTION: handleDialysisSalineBolusState RESULT.CBA.LINE.BEGIN RESULT.CBA.LINE: 0 Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_FANS/INT_FANS.env =================================================================== diff -u -r03babd95ffe2b8cca989645afc1ce958644a1ab0 -r976f618877c02e298d7e2291b12177d6dc219617 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_FANS/INT_FANS.env (.../INT_FANS.env) (revision 03babd95ffe2b8cca989645afc1ce958644a1ab0) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_FANS/INT_FANS.env (.../INT_FANS.env) (revision 976f618877c02e298d7e2291b12177d6dc219617) @@ -9,6 +9,16 @@ ENVIRO.STUB: ALL_BY_PROTOTYPE ENVIRO.TYPE_HANDLED_DIRS_ALLOWED: ENVIRO.LIBRARY_STUBS: +ENVIRO.UNIT_PREFIX_USER_CODE: +ENVIRO.UNIT_PREFIX_USER_CODE_FILE:Fans +#include "reg_etpwm.h" + +etpwmBASE_t * pwmBase_ptr; + +#undef etpwmREG7 +#define etpwmREG7 pwmBase_ptr +ENVIRO.END_UNIT_PREFIX_USER_CODE_FILE: +ENVIRO.END_UNIT_PREFIX_USER_CODE: ENVIRO.COVERAGE_TYPE: FUNCTION ENVIRO.WHITE_BOX: YES ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/include/ Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_FANS/INT_FANS.tst =================================================================== diff -u -rbee4a17cf2dedb3a18483e2c05846785ed1b3da7 -r976f618877c02e298d7e2291b12177d6dc219617 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_FANS/INT_FANS.tst (.../INT_FANS.tst) (revision bee4a17cf2dedb3a18483e2c05846785ed1b3da7) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_FANS/INT_FANS.tst (.../INT_FANS.tst) (revision 976f618877c02e298d7e2291b12177d6dc219617) @@ -30,693 +30,157 @@ (28) case postState ==> default Test Case Generation Notes: TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:NUM_OF_POST_STATES -TEST.EXPECTED:ModeInitPOST.<>.postState:NUM_OF_POST_STATES -TEST.END - --- Test Case: execInitAndPOSTMode.002 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.002 -TEST.BASIS_PATH:2 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if ((1) == stop) ==> FALSE - (2) case postState ==> POST_STATE_START - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_START -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_START -TEST.END - --- Test Case: execInitAndPOSTMode.003 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.003 -TEST.BASIS_PATH:3 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if ((1) == stop) ==> FALSE - (3) case postState ==> POST_STATE_FW_INTEGRITY - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_FW_INTEGRITY -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_FW_INTEGRITY -TEST.END - --- Test Case: execInitAndPOSTMode.004 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.004 -TEST.BASIS_PATH:4 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) if ((1) == stop) ==> FALSE - (4) case postState ==> POST_STATE_WATCHDOG - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_WATCHDOG -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_WATCHDOG -TEST.END - --- Test Case: execInitAndPOSTMode.005 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.005 -TEST.BASIS_PATH:5 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 5 - (1) if ((1) == stop) ==> FALSE - (5) case postState ==> POST_STATE_SAFETY_SHUTDOWN - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_SAFETY_SHUTDOWN -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_SAFETY_SHUTDOWN -TEST.END - --- Test Case: execInitAndPOSTMode.006 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.006 -TEST.BASIS_PATH:6 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 6 - (1) if ((1) == stop) ==> FALSE - (6) case postState ==> POST_STATE_RTC - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_RTC -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_RTC -TEST.END - --- Test Case: execInitAndPOSTMode.007 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.007 -TEST.BASIS_PATH:7 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 7 - (1) if ((1) == stop) ==> FALSE - (7) case postState ==> POST_STATE_NVDATAMGMT - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_NVDATAMGMT -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_NVDATAMGMT -TEST.END - --- Test Case: execInitAndPOSTMode.008 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.008 -TEST.BASIS_PATH:8 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 8 - (1) if ((1) == stop) ==> FALSE - (8) case postState ==> POST_STATE_BLOOD_FLOW - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_BLOOD_FLOW -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_BLOOD_FLOW -TEST.END - --- Test Case: execInitAndPOSTMode.009 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.009 -TEST.BASIS_PATH:9 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 9 - (1) if ((1) == stop) ==> FALSE - (9) case postState ==> POST_STATE_DIALYSATE_INLET_FLOW - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_DIALYSATE_INLET_FLOW -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_DIALYSATE_INLET_FLOW -TEST.END - --- Test Case: execInitAndPOSTMode.010 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.010 -TEST.BASIS_PATH:10 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 10 - (1) if ((1) == stop) ==> FALSE - (10) case postState ==> POST_STATE_DIALYSATE_OUTLET_FLOW - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_DIALYSATE_OUTLET_FLOW -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_DIALYSATE_OUTLET_FLOW -TEST.END - --- Test Case: execInitAndPOSTMode.011 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.011 -TEST.BASIS_PATH:11 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 11 - (1) if ((1) == stop) ==> FALSE - (11) case postState ==> POST_STATE_BLOOD_LEAK - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_BLOOD_LEAK -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_BLOOD_LEAK -TEST.END - --- Test Case: execInitAndPOSTMode.012 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.012 -TEST.BASIS_PATH:12 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 12 - (1) if ((1) == stop) ==> FALSE - (12) case postState ==> POST_STATE_VALVES - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_VALVES -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_VALVES -TEST.END - --- Test Case: execInitAndPOSTMode.013 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.013 -TEST.BASIS_PATH:13 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 13 - (1) if ((1) == stop) ==> FALSE - (13) case postState ==> POST_STATE_SYRINGE_PUMP - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_SYRINGE_PUMP -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_SYRINGE_PUMP -TEST.END - --- Test Case: execInitAndPOSTMode.014 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.014 -TEST.BASIS_PATH:14 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 14 - (1) if ((1) == stop) ==> FALSE - (14) case postState ==> POST_STATE_PRES_OCCL - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_PRES_OCCL -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_PRES_OCCL -TEST.END - --- Test Case: execInitAndPOSTMode.015 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.015 -TEST.BASIS_PATH:15 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 15 - (1) if ((1) == stop) ==> FALSE - (15) case postState ==> POST_STATE_ALARM_AUDIO - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_ALARM_AUDIO -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_ALARM_AUDIO -TEST.END - --- Test Case: execInitAndPOSTMode.016 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.016 -TEST.BASIS_PATH:16 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 16 - (1) if ((1) == stop) ==> FALSE - (16) case postState ==> POST_STATE_ALARM_LAMP - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_ALARM_LAMP -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_ALARM_LAMP -TEST.END - --- Test Case: execInitAndPOSTMode.017 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.017 -TEST.BASIS_PATH:17 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 17 - (1) if ((1) == stop) ==> FALSE - (17) case postState ==> POST_STATE_ACCELEROMETER - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_ACCELEROMETER -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_ACCELEROMETER -TEST.END - --- Test Case: execInitAndPOSTMode.018 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.018 -TEST.BASIS_PATH:18 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 18 - (1) if ((1) == stop) ==> FALSE - (18) case postState ==> POST_STATE_TEMPERATURES - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_TEMPERATURES -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_TEMPERATURES -TEST.END - --- Test Case: execInitAndPOSTMode.019 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.019 -TEST.BASIS_PATH:19 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 19 - (1) if ((1) == stop) ==> FALSE - (19) case postState ==> POST_STATE_FANS - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> +TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:0 TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_FANS TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_STUCK_BUTTON TEST.END --- Test Case: execInitAndPOSTMode.020 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.020 -TEST.BASIS_PATH:20 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 20 - (1) if ((1) == stop) ==> FALSE - (20) case postState ==> POST_STATE_STUCK_BUTTON - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_STUCK_BUTTON -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_STUCK_BUTTON -TEST.END - --- Test Case: execInitAndPOSTMode.021 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.021 -TEST.BASIS_PATH:21 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 21 - (1) if ((1) == stop) ==> FALSE - (21) case postState ==> POST_STATE_UI_POST - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_UI_POST -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_UI_POST -TEST.END - --- Test Case: execInitAndPOSTMode.022 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.022 -TEST.BASIS_PATH:22 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 22 - (1) if ((1) == stop) ==> FALSE - (22) case postState ==> POST_STATE_FW_COMPATIBILITY - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_FW_COMPATIBILITY -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_FAILED -TEST.END - --- Test Case: execInitAndPOSTMode.023 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.023 -TEST.BASIS_PATH:23 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 23 - (1) if ((1) == stop) ==> FALSE - (23) case postState ==> POST_STATE_FPGA - (24) if ((1) == tempPOSTPassed) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_FPGA -TEST.VALUE:ModeInitPOST.<>.tempPOSTPassed:<> -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_FAILED -TEST.EXPECTED:ModeInitPOST.<>.tempPOSTPassed:0 -TEST.END - --- Test Case: execInitAndPOSTMode.024 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.024 -TEST.BASIS_PATH:24 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 24 - (1) if ((1) == stop) ==> FALSE - (23) case postState ==> POST_STATE_FPGA - (24) if ((1) == tempPOSTPassed) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_FPGA -TEST.VALUE:ModeInitPOST.<>.tempPOSTPassed:1 -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_COMPLETED -TEST.EXPECTED:ModeInitPOST.<>.tempPOSTPassed:1 -TEST.END - --- Test Case: execInitAndPOSTMode.025 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.025 -TEST.BASIS_PATH:25 of 28 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 25 - (1) if ((1) == stop) ==> FALSE - (25) case postState ==> POST_STATE_COMPLETED - (26) if (++postCompleteDelayTimerCtr > (2 * 1000) / 50) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 26 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_COMPLETED -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_COMPLETED -TEST.END - --- Test Case: execInitAndPOSTMode.026 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.026 -TEST.BASIS_PATH:26 of 28 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 26 - (1) if ((1) == stop) ==> FALSE - (25) case postState ==> POST_STATE_COMPLETED - (26) if (++postCompleteDelayTimerCtr > (2 * 1000) / 50) ==> TRUE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 26 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_COMPLETED -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_COMPLETED -TEST.END - --- Test Case: execInitAndPOSTMode.027 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.027 -TEST.BASIS_PATH:27 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 27 - (1) if ((1) == stop) ==> FALSE - (27) case postState ==> POST_STATE_FAILED - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<> -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_FAILED -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_FAILED -TEST.END - --- Test Case: execInitAndPOSTMode.028 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.028 -TEST.BASIS_PATH:28 of 28 -TEST.NOTES: -This is an automatically generated test case. - Test Path 28 - (1) if ((1) == stop) ==> TRUE - (28) case postState ==> default - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:1 -TEST.VALUE:ModeInitPOST.<>.postState:NUM_OF_POST_STATES -TEST.EXPECTED:ModeInitPOST.<>.postState:NUM_OF_POST_STATES -TEST.END - --- Test Case: execInitAndPOSTMode.029 -TEST.UNIT:ModeInitPOST -TEST.SUBPROGRAM:execInitAndPOSTMode -TEST.NEW -TEST.NAME:execInitAndPOSTMode.029 -TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_FANS -TEST.EXPECTED:ModeInitPOST.<>.postState:POST_STATE_STUCK_BUTTON -TEST.END - -- Unit: SystemCommMessages -- Subprogram: handleFansRPMOverride --- Test Case: handleFansRPMOverride.001 +-- Test Case: handleFansRPMOverride_reset TEST.UNIT:SystemCommMessages TEST.SUBPROGRAM:handleFansRPMOverride TEST.NEW -TEST.NAME:handleFansRPMOverride.001 -TEST.BASIS_PATH:1 of 3 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if (sizeof(TEST_OVERRIDE_ARRAY_PAYLOAD_T) == (message->hdr).payloadLen) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: +TEST.NAME:handleFansRPMOverride_reset +TEST.STUB:SystemCommMessages.isTestingActivated +TEST.VALUE:Fans.<>.fansStatus.rpm[FAN_INLET_1].override:1 +TEST.VALUE:SystemCommMessages.isTestingActivated.return:1 TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message:<> -TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].hdr.payloadLen:<> -TEST.EXPECTED:SystemCommMessages.handleFansRPMOverride.message[0].hdr.payloadLen:0 -TEST.END - --- Test Case: handleFansRPMOverride.002 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:handleFansRPMOverride -TEST.NEW -TEST.NAME:handleFansRPMOverride.002 -TEST.BASIS_PATH:2 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (sizeof(TEST_OVERRIDE_ARRAY_PAYLOAD_T) == (message->hdr).payloadLen) ==> TRUE - (2) if ((0) == payload.reset) ==> FALSE - Test Case Generation Notes: - Cannot set local variable payload in branch 2 -TEST.END_NOTES: -TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message:<> TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].hdr.payloadLen:12 -TEST.EXPECTED:SystemCommMessages.handleFansRPMOverride.message[0].hdr.payloadLen:12 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[0]:1 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[1]:0 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[2]:0 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[3]:0 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[4]:0 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[5]:0 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[6]:0xB0 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[7]:0x41 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[8]:0 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[9]:0 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[10]:0 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[11]:0 +TEST.EXPECTED:Fans.<>.fansStatus.rpm[FAN_INLET_1].override:0x0 TEST.END --- Test Case: handleFansRPMOverride.003 +-- Test Case: handleFansRPMOverride_set TEST.UNIT:SystemCommMessages TEST.SUBPROGRAM:handleFansRPMOverride TEST.NEW -TEST.NAME:handleFansRPMOverride.003 -TEST.BASIS_PATH:3 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if (sizeof(TEST_OVERRIDE_ARRAY_PAYLOAD_T) == (message->hdr).payloadLen) ==> TRUE - (2) if ((0) == payload.reset) ==> TRUE - Test Case Generation Notes: - Cannot set local variable payload in branch 2 -TEST.END_NOTES: +TEST.NAME:handleFansRPMOverride_set +TEST.STUB:SystemCommMessages.isTestingActivated +TEST.VALUE:SystemCommMessages.isTestingActivated.return:1 TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message:<> TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].hdr.payloadLen:12 -TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload:<> -TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload:"1" -TEST.EXPECTED:SystemCommMessages.handleFansRPMOverride.message[0].hdr.payloadLen:12 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[0]:0 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[1]:0 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[2]:0 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[3]:0 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[4]:0 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[5]:0 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[6]:0xB0 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[7]:0x41 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[8]:0 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[9]:0 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[10]:0 +TEST.VALUE:SystemCommMessages.handleFansRPMOverride.message[0].payload[11]:0 +TEST.EXPECTED:Fans.<>.fansStatus.rpm[FAN_INLET_1].ovData:22.0 +TEST.EXPECTED:Fans.<>.fansStatus.rpm[FAN_INLET_1].override:0xCCC33C33 TEST.END -- Subprogram: handleSetFansDutyCycleOverrideRequest --- Test Case: handleSetFansDutyCycleOverrideRequest.001 +-- Test Case: handleSetFansDutyCycleOverrideRequest_reset TEST.UNIT:SystemCommMessages TEST.SUBPROGRAM:handleSetFansDutyCycleOverrideRequest TEST.NEW -TEST.NAME:handleSetFansDutyCycleOverrideRequest.001 -TEST.BASIS_PATH:1 of 3 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if (sizeof(TEST_OVERRIDE_PAYLOAD_T) == (message->hdr).payloadLen) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: +TEST.NAME:handleSetFansDutyCycleOverrideRequest_reset +TEST.STUB:SystemCommMessages.isTestingActivated +TEST.VALUE:Fans.<>.fansStatus.dutyCycle.override:1 +TEST.VALUE:SystemCommMessages.isTestingActivated.return:1 TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message:<> -TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].hdr.payloadLen:<> -TEST.EXPECTED:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].hdr.payloadLen:0 -TEST.END - --- Test Case: handleSetFansDutyCycleOverrideRequest.002 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:handleSetFansDutyCycleOverrideRequest -TEST.NEW -TEST.NAME:handleSetFansDutyCycleOverrideRequest.002 -TEST.BASIS_PATH:2 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (sizeof(TEST_OVERRIDE_PAYLOAD_T) == (message->hdr).payloadLen) ==> TRUE - (2) if ((0) == payload.reset) ==> FALSE - Test Case Generation Notes: - Cannot set local variable payload in branch 2 -TEST.END_NOTES: -TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message:<> TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].hdr.payloadLen:8 -TEST.EXPECTED:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].hdr.payloadLen:8 +TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].payload[0]:1 +TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].payload[1]:0 +TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].payload[2]:0 +TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].payload[3]:0 +TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].payload[4]:0xAE +TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].payload[5]:0x47 +TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].payload[6]:0x61 +TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].payload[7]:0x3E +TEST.EXPECTED:Fans.<>.fansStatus.dutyCycle.override:0x0 +TEST.ATTRIBUTES:Fans.<>.fansStatus.rpm[FAN_INLET_1].override:EXPECTED_BASE=16 +TEST.ATTRIBUTES:SystemCommMessages.handleFansRPMOverride.message[0].payload[6]:INPUT_BASE=16 +TEST.ATTRIBUTES:SystemCommMessages.handleFansRPMOverride.message[0].payload[7]:INPUT_BASE=16 TEST.END --- Test Case: handleSetFansDutyCycleOverrideRequest.003 +-- Test Case: handleSetFansDutyCycleOverrideRequest_set TEST.UNIT:SystemCommMessages TEST.SUBPROGRAM:handleSetFansDutyCycleOverrideRequest TEST.NEW -TEST.NAME:handleSetFansDutyCycleOverrideRequest.003 -TEST.BASIS_PATH:3 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if (sizeof(TEST_OVERRIDE_PAYLOAD_T) == (message->hdr).payloadLen) ==> TRUE - (2) if ((0) == payload.reset) ==> TRUE - Test Case Generation Notes: - Cannot set local variable payload in branch 2 -TEST.END_NOTES: +TEST.NAME:handleSetFansDutyCycleOverrideRequest_set +TEST.STUB:SystemCommMessages.isTestingActivated +TEST.VALUE:SystemCommMessages.isTestingActivated.return:1 TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message:<> TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].hdr.payloadLen:8 -TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].payload:<> -TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].payload:"1" -TEST.EXPECTED:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].hdr.payloadLen:8 +TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].payload[0]:0 +TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].payload[1]:0 +TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].payload[2]:0 +TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].payload[3]:0 +TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].payload[4]:0xAE +TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].payload[5]:0x47 +TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].payload[6]:0x61 +TEST.VALUE:SystemCommMessages.handleSetFansDutyCycleOverrideRequest.message[0].payload[7]:0x3E +TEST.EXPECTED:Fans.<>.fansStatus.dutyCycle.ovData:0.22 +TEST.EXPECTED:Fans.<>.fansStatus.dutyCycle.override:0xCCC33C33 +TEST.ATTRIBUTES:Fans.<>.fansStatus.rpm[FAN_INLET_1].override:EXPECTED_BASE=16 +TEST.ATTRIBUTES:SystemCommMessages.handleFansRPMOverride.message[0].payload[6]:INPUT_BASE=16 +TEST.ATTRIBUTES:SystemCommMessages.handleFansRPMOverride.message[0].payload[7]:INPUT_BASE=16 TEST.END -- Subprogram: handleTestFansBroadcastIntervalOverrideRequest --- Test Case: handleTestFansBroadcastIntervalOverrideRequest.001 +-- Test Case: handleTestFansBroadcastIntervalOverrideRequest_reset TEST.UNIT:SystemCommMessages TEST.SUBPROGRAM:handleTestFansBroadcastIntervalOverrideRequest TEST.NEW -TEST.NAME:handleTestFansBroadcastIntervalOverrideRequest.001 -TEST.BASIS_PATH:1 of 3 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if (sizeof(TEST_OVERRIDE_PAYLOAD_T) == (message->hdr).payloadLen) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: +TEST.NAME:handleTestFansBroadcastIntervalOverrideRequest_reset +TEST.STUB:SystemCommMessages.isTestingActivated +TEST.VALUE:Fans.<>.fansPublishInterval.override:1 +TEST.VALUE:SystemCommMessages.isTestingActivated.return:1 TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message:<> -TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].hdr.payloadLen:<> -TEST.EXPECTED:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].hdr.payloadLen:0 -TEST.END - --- Test Case: handleTestFansBroadcastIntervalOverrideRequest.002 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:handleTestFansBroadcastIntervalOverrideRequest -TEST.NEW -TEST.NAME:handleTestFansBroadcastIntervalOverrideRequest.002 -TEST.BASIS_PATH:2 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (sizeof(TEST_OVERRIDE_PAYLOAD_T) == (message->hdr).payloadLen) ==> TRUE - (2) if ((0) == payload.reset) ==> FALSE - Test Case Generation Notes: - Cannot set local variable payload in branch 2 -TEST.END_NOTES: -TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message:<> TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].hdr.payloadLen:8 -TEST.EXPECTED:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].hdr.payloadLen:8 +TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].payload[0]:1 +TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].payload[1]:0 +TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].payload[2]:0 +TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].payload[3]:0 +TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].payload[4]:100 +TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].payload[5]:0 +TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].payload[6]:0 +TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].payload[7]:0 +TEST.EXPECTED:Fans.<>.fansPublishInterval.override:0x0 TEST.END --- Test Case: handleTestFansBroadcastIntervalOverrideRequest.003 +-- Test Case: handleTestFansBroadcastIntervalOverrideRequest_set TEST.UNIT:SystemCommMessages TEST.SUBPROGRAM:handleTestFansBroadcastIntervalOverrideRequest TEST.NEW -TEST.NAME:handleTestFansBroadcastIntervalOverrideRequest.003 -TEST.BASIS_PATH:3 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if (sizeof(TEST_OVERRIDE_PAYLOAD_T) == (message->hdr).payloadLen) ==> TRUE - (2) if ((0) == payload.reset) ==> TRUE - Test Case Generation Notes: - Cannot set local variable payload in branch 2 -TEST.END_NOTES: +TEST.NAME:handleTestFansBroadcastIntervalOverrideRequest_set +TEST.STUB:SystemCommMessages.isTestingActivated +TEST.VALUE:SystemCommMessages.isTestingActivated.return:1 TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message:<> TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].hdr.payloadLen:8 -TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].payload:<> -TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].payload:"1" -TEST.EXPECTED:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].hdr.payloadLen:8 +TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].payload[0]:0 +TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].payload[1]:0 +TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].payload[2]:0 +TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].payload[3]:0 +TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].payload[4]:100 +TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].payload[5]:0 +TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].payload[6]:0 +TEST.VALUE:SystemCommMessages.handleTestFansBroadcastIntervalOverrideRequest.message[0].payload[7]:0 +TEST.EXPECTED:Fans.<>.fansPublishInterval.ovData:2 +TEST.EXPECTED:Fans.<>.fansPublishInterval.override:0xCCC33C33 TEST.END -- Subprogram: handleTestFansRPMAlarmStartTimeOffsetRequest @@ -726,33 +190,16 @@ TEST.SUBPROGRAM:handleTestFansRPMAlarmStartTimeOffsetRequest TEST.NEW TEST.NAME:handleTestFansRPMAlarmStartTimeOffsetRequest.001 -TEST.BASIS_PATH:1 of 2 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if (sizeof(U32) == (message->hdr).payloadLen) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: +TEST.STUB:SystemCommMessages.isTestingActivated +TEST.VALUE:Fans.<>.rpmAlarmStartTimeOffset:0 +TEST.VALUE:SystemCommMessages.isTestingActivated.return:1 TEST.VALUE:SystemCommMessages.handleTestFansRPMAlarmStartTimeOffsetRequest.message:<> -TEST.VALUE:SystemCommMessages.handleTestFansRPMAlarmStartTimeOffsetRequest.message[0].hdr.payloadLen:<> -TEST.EXPECTED:SystemCommMessages.handleTestFansRPMAlarmStartTimeOffsetRequest.message[0].hdr.payloadLen:0 -TEST.END - --- Test Case: handleTestFansRPMAlarmStartTimeOffsetRequest.002 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:handleTestFansRPMAlarmStartTimeOffsetRequest -TEST.NEW -TEST.NAME:handleTestFansRPMAlarmStartTimeOffsetRequest.002 -TEST.BASIS_PATH:2 of 2 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (sizeof(U32) == (message->hdr).payloadLen) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:SystemCommMessages.handleTestFansRPMAlarmStartTimeOffsetRequest.message:<> TEST.VALUE:SystemCommMessages.handleTestFansRPMAlarmStartTimeOffsetRequest.message[0].hdr.payloadLen:4 -TEST.EXPECTED:SystemCommMessages.handleTestFansRPMAlarmStartTimeOffsetRequest.message[0].hdr.payloadLen:4 +TEST.VALUE:SystemCommMessages.handleTestFansRPMAlarmStartTimeOffsetRequest.message[0].payload[0]:150 +TEST.VALUE:SystemCommMessages.handleTestFansRPMAlarmStartTimeOffsetRequest.message[0].payload[1]:0 +TEST.VALUE:SystemCommMessages.handleTestFansRPMAlarmStartTimeOffsetRequest.message[0].payload[2]:0 +TEST.VALUE:SystemCommMessages.handleTestFansRPMAlarmStartTimeOffsetRequest.message[0].payload[3]:0 +TEST.EXPECTED:Fans.<>.rpmAlarmStartTimeOffset:150 TEST.END -- Unit: TaskGeneral @@ -764,31 +211,14 @@ TEST.SUBPROGRAM:taskGeneral TEST.NEW TEST.NAME:execFans -TEST.VALUE:uut_prototype_stubs.execPresOcclSelfTest.return:SELF_TEST_STATUS_IN_PROGRESS -TEST.VALUE:uut_prototype_stubs.execTemperaturesSelfTest.return:SELF_TEST_STATUS_IN_PROGRESS +TEST.VALUE:Fans.<>.pwmBase_ptr:<> +TEST.VALUE:Fans.<>.fansExecState:FANS_EXEC_STATE_START TEST.VALUE:uut_prototype_stubs.isAlarmActive.alarm:ALARM_ID_HD_UI_COMM_POST_FAILED TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:1 -TEST.VALUE:uut_prototype_stubs.isHDOnlyCANNode.return:0 -TEST.VALUE:uut_prototype_stubs.checkInWithWatchdogMgmt.task:TASK_GENERAL -TEST.EXPECTED:uut_prototype_stubs.checkInWithWatchdogMgmt.task:TASK_GENERAL +TEST.EXPECTED:Fans.<>.fansExecState:FANS_EXEC_STATE_RUN_STATE TEST.END --- Test Case: taskGeneral.001 -TEST.UNIT:TaskGeneral -TEST.SUBPROGRAM:taskGeneral -TEST.NEW -TEST.NAME:taskGeneral.001 -TEST.BASIS_PATH:1 of 2 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if ((1) == uiCommunicated()) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:<> -TEST.END - -- Unit: sys_main -- Subprogram: initSoftware @@ -802,4 +232,6 @@ TEST.NOTES: No branches in subprogram TEST.END_NOTES: +TEST.VALUE:Fans.<>.fansExecState:NUM_OF_FANS_EXEC_STATES +TEST.EXPECTED:Fans.<>.fansExecState:FANS_EXEC_STATE_START TEST.END Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_FANS/INT_FANS_cba.cvr =================================================================== diff -u -rbee4a17cf2dedb3a18483e2c05846785ed1b3da7 -r976f618877c02e298d7e2291b12177d6dc219617 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_FANS/INT_FANS_cba.cvr (.../INT_FANS_cba.cvr) (revision bee4a17cf2dedb3a18483e2c05846785ed1b3da7) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_FANS/INT_FANS_cba.cvr (.../INT_FANS_cba.cvr) (revision 976f618877c02e298d7e2291b12177d6dc219617) @@ -163,8 +163,19 @@ Line # 483 + +--- Invalidated Analysis Lines --- + >>> Failed to find matching line for: + >>> Result: CBA_Fans + >>> Unit: 9 + >>> Function: setInletFansDutyCycle + >>> Line Context: { + + >>> Context After: etpwmSetCmpA( ((etpwmBASE_t *)0xFCF79200U), (U32)( (S32)( ( pwm * (F32)(((etpwmBASE_t *)0xFCF79200U)->TBPRD) ) + 0.5F ) ) ); +} + RESULT.CBA.NOTES_END -RESULT.CBA.UNIT: /home/asif/work/update_23rd/workspace_hd/hdfirmware/firmware/App/Controllers/Fans.c +RESULT.CBA.UNIT: /home/fw/workspace_hd/hdfirmware/firmware/App/Controllers/Fans.c RESULT.CBA.FUNCTION: convertTogglePeriod2RPM RESULT.CBA.LINE.BEGIN RESULT.CBA.LINE: 0 @@ -186,17 +197,6 @@ F32 maxTemperature = 0.0; RESULT.CBA.CONTEXT_AFTER_END RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: getMeasuredFanRPM -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -F32 rpm; -// Check if the called fan is in range -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END RESULT.CBA.FUNCTION: getPublishFansDataInterval RESULT.CBA.LINE.BEGIN RESULT.CBA.LINE: 0 @@ -251,15 +251,5 @@ RESULT.CBA.CONTEXT_AFTER_END RESULT.CBA.MATCHING_LINE_INDEX: 1 RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: setInletFansDutyCycle -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -etpwmSetCmpA( ((etpwmBASE_t *)0xFCF79200U), (U32)( (S32)( ( pwm * (F32)(((etpwmBASE_t *)0xFCF79200U)->TBPRD) ) + 0.5F ) ) ); -} -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END RESULT.CBA.END IMPORT.END Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_FLUIDLEAK/INT_FLUIDLEAK.tst =================================================================== diff -u -r03babd95ffe2b8cca989645afc1ce958644a1ab0 -r976f618877c02e298d7e2291b12177d6dc219617 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_FLUIDLEAK/INT_FLUIDLEAK.tst (.../INT_FLUIDLEAK.tst) (revision 03babd95ffe2b8cca989645afc1ce958644a1ab0) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_FLUIDLEAK/INT_FLUIDLEAK.tst (.../INT_FLUIDLEAK.tst) (revision 976f618877c02e298d7e2291b12177d6dc219617) @@ -17,117 +17,88 @@ -- Subprogram: handleSetFluidLeakBroadcastIntervalOverrideRequest --- Test Case: handleSetFluidLeakBroadcastIntervalOverrideRequest.001 +-- Test Case: handleSetFluidLeakBroadcastIntervalOverrideRequest_reset TEST.UNIT:SystemCommMessages TEST.SUBPROGRAM:handleSetFluidLeakBroadcastIntervalOverrideRequest TEST.NEW -TEST.NAME:handleSetFluidLeakBroadcastIntervalOverrideRequest.001 -TEST.BASIS_PATH:1 of 3 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if (sizeof(TEST_OVERRIDE_PAYLOAD_T) == (message->hdr).payloadLen) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: +TEST.NAME:handleSetFluidLeakBroadcastIntervalOverrideRequest_reset +TEST.STUB:SystemCommMessages.isTestingActivated +TEST.VALUE:FluidLeak.<>.fluidLeakStatePublishInterval.override:1 +TEST.VALUE:SystemCommMessages.isTestingActivated.return:1 TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message:<> -TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message[0].hdr.payloadLen:<> -TEST.END - --- Test Case: handleSetFluidLeakBroadcastIntervalOverrideRequest.002 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:handleSetFluidLeakBroadcastIntervalOverrideRequest -TEST.NEW -TEST.NAME:handleSetFluidLeakBroadcastIntervalOverrideRequest.002 -TEST.BASIS_PATH:2 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (sizeof(TEST_OVERRIDE_PAYLOAD_T) == (message->hdr).payloadLen) ==> TRUE - (2) if ((0) == payload.reset) ==> FALSE - Test Case Generation Notes: - Cannot set local variable payload in branch 2 -TEST.END_NOTES: -TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message:<> TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message[0].hdr.payloadLen:8 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message[0].payload[0]:1 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message[0].payload[1]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message[0].payload[2]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message[0].payload[3]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message[0].payload[4]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message[0].payload[5]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message[0].payload[6]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message[0].payload[7]:0 +TEST.EXPECTED:FluidLeak.<>.fluidLeakStatePublishInterval.override:0x0 TEST.END --- Test Case: handleSetFluidLeakBroadcastIntervalOverrideRequest.003 +-- Test Case: handleSetFluidLeakBroadcastIntervalOverrideRequest_set TEST.UNIT:SystemCommMessages TEST.SUBPROGRAM:handleSetFluidLeakBroadcastIntervalOverrideRequest TEST.NEW -TEST.NAME:handleSetFluidLeakBroadcastIntervalOverrideRequest.003 -TEST.BASIS_PATH:3 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if (sizeof(TEST_OVERRIDE_PAYLOAD_T) == (message->hdr).payloadLen) ==> TRUE - (2) if ((0) == payload.reset) ==> TRUE - Test Case Generation Notes: - Cannot set local variable payload in branch 2 -TEST.END_NOTES: +TEST.NAME:handleSetFluidLeakBroadcastIntervalOverrideRequest_set +TEST.STUB:SystemCommMessages.isTestingActivated +TEST.VALUE:SystemCommMessages.isTestingActivated.return:1 TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message:<> TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message[0].hdr.payloadLen:8 -TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message[0].payload:<> -TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message[0].payload:"1" +TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message[0].payload[0]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message[0].payload[1]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message[0].payload[2]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message[0].payload[3]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message[0].payload[4]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message[0].payload[5]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message[0].payload[6]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakBroadcastIntervalOverrideRequest.message[0].payload[7]:0 +TEST.EXPECTED:FluidLeak.<>.fluidLeakStatePublishInterval.override:0xCCC33C33 TEST.END -- Subprogram: handleSetFluidLeakStateOverrideRequest --- Test Case: handleSetFluidLeakStateOverrideRequest.001 +-- Test Case: handleSetFluidLeakStateOverrideRequest_reset TEST.UNIT:SystemCommMessages TEST.SUBPROGRAM:handleSetFluidLeakStateOverrideRequest TEST.NEW -TEST.NAME:handleSetFluidLeakStateOverrideRequest.001 -TEST.BASIS_PATH:1 of 3 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if (sizeof(TEST_OVERRIDE_PAYLOAD_T) == (message->hdr).payloadLen) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: +TEST.NAME:handleSetFluidLeakStateOverrideRequest_reset +TEST.STUB:SystemCommMessages.isTestingActivated +TEST.VALUE:FluidLeak.<>.fluidLeakState.override:1 +TEST.VALUE:SystemCommMessages.isTestingActivated.return:1 TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message:<> -TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].hdr.payloadLen:<> -TEST.EXPECTED:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].hdr.payloadLen:0 -TEST.END - --- Test Case: handleSetFluidLeakStateOverrideRequest.002 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:handleSetFluidLeakStateOverrideRequest -TEST.NEW -TEST.NAME:handleSetFluidLeakStateOverrideRequest.002 -TEST.BASIS_PATH:2 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (sizeof(TEST_OVERRIDE_PAYLOAD_T) == (message->hdr).payloadLen) ==> TRUE - (2) if ((0) == payload.reset) ==> FALSE - Test Case Generation Notes: - Cannot set local variable payload in branch 2 -TEST.END_NOTES: -TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message:<> TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].hdr.payloadLen:8 -TEST.EXPECTED:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].hdr.payloadLen:8 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].payload[0]:1 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].payload[1]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].payload[2]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].payload[3]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].payload[4]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].payload[5]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].payload[6]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].payload[7]:0 +TEST.EXPECTED:FluidLeak.<>.fluidLeakState.override:0x0 TEST.END --- Test Case: handleSetFluidLeakStateOverrideRequest.003 +-- Test Case: handleSetFluidLeakStateOverrideRequest_set TEST.UNIT:SystemCommMessages TEST.SUBPROGRAM:handleSetFluidLeakStateOverrideRequest TEST.NEW -TEST.NAME:handleSetFluidLeakStateOverrideRequest.003 -TEST.BASIS_PATH:3 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if (sizeof(TEST_OVERRIDE_PAYLOAD_T) == (message->hdr).payloadLen) ==> TRUE - (2) if ((0) == payload.reset) ==> TRUE - Test Case Generation Notes: - Cannot set local variable payload in branch 2 -TEST.END_NOTES: +TEST.NAME:handleSetFluidLeakStateOverrideRequest_set +TEST.STUB:SystemCommMessages.isTestingActivated +TEST.VALUE:SystemCommMessages.isTestingActivated.return:1 TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message:<> TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].hdr.payloadLen:8 -TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].payload:<> -TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].payload:"1" -TEST.EXPECTED:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].hdr.payloadLen:8 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].payload[0]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].payload[1]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].payload[2]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].payload[3]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].payload[4]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].payload[5]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].payload[6]:0 +TEST.VALUE:SystemCommMessages.handleSetFluidLeakStateOverrideRequest.message[0].payload[7]:0 +TEST.EXPECTED:FluidLeak.<>.fluidLeakState.override:0xCCC33C33 TEST.END -- Unit: TaskPriority @@ -146,22 +117,10 @@ (1) if ((1) == uiCommunicated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:<> -TEST.END - --- Test Case: taskPriority.002 -TEST.UNIT:TaskPriority -TEST.SUBPROGRAM:taskPriority -TEST.NEW -TEST.NAME:taskPriority.002 -TEST.BASIS_PATH:2 of 2 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if ((1) == uiCommunicated()) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: +TEST.VALUE:FluidLeak.<>.fluidLeakStatePublicationTimerCounter:12 +TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:15 TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:1 +TEST.EXPECTED:FluidLeak.<>.fluidLeakStatePublicationTimerCounter:13 TEST.END -- Unit: sys_main @@ -177,4 +136,6 @@ TEST.NOTES: No branches in subprogram TEST.END_NOTES: +TEST.VALUE:FluidLeak.<>.fluidLeakStatePublicationTimerCounter:1 +TEST.EXPECTED:FluidLeak.<>.fluidLeakStatePublicationTimerCounter:50 TEST.END