Index: firmware/App/Modes/ModeTreatment.c =================================================================== diff -u -r66c0967bb1b1912a5cf3a8e94ea3de726741f607 -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- firmware/App/Modes/ModeTreatment.c (.../ModeTreatment.c) (revision 66c0967bb1b1912a5cf3a8e94ea3de726741f607) +++ firmware/App/Modes/ModeTreatment.c (.../ModeTreatment.c) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -1095,7 +1095,8 @@ ( TRUE == getTestConfigStatus( TEST_CONFIG_ENABLE_ONE_MINUTE_TREATMENT ) ) ? TRUE : FALSE ); BOOL isTxTimeValid = ( ( TRUE == isMinTxTimeValid ) && ( treatmentTime <= getU32TreatmentParamUpperRangeLimit( TREATMENT_PARAM_TREATMENT_DURATION ) ) ? TRUE : FALSE ); - BOOL isUFRateValid = ( ( newUFRateMLPM >= MIN_UF_RATE_ML_MIN ) && ( newUFRateMLPM <= MAX_UF_RATE_ML_MIN ) ? TRUE : FALSE ); + // Only the upper range UF rate is checked here. Per the check above if the UF diff is < 0, it is set to zero so the minimum UF rate is 0 and cannot be negative + BOOL isUFRateValid = ( newUFRateMLPM <= MAX_UF_RATE_ML_MIN ? TRUE : FALSE ); if ( ( TRUE == isTxTimeValid ) && ( dialVolume <= MAX_DIALYSATE_VOLUME_ML ) && ( TRUE == isUFRateValid ) ) { Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_ALARMMGMT/INT_ALARMMGMT.env =================================================================== diff -u -r29ac7317120235a30ffdd294d47529a4e3b4936a -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_ALARMMGMT/INT_ALARMMGMT.env (.../INT_ALARMMGMT.env) (revision 29ac7317120235a30ffdd294d47529a4e3b4936a) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_ALARMMGMT/INT_ALARMMGMT.env (.../INT_ALARMMGMT.env) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -5,6 +5,7 @@ ENVIRO.STUB_BY_FUNCTION:ModeStandby ENVIRO.STUB_BY_FUNCTION:ModeTreatment ENVIRO.STUB_BY_FUNCTION:Reservoirs +ENVIRO.STUB_BY_FUNCTION:SalineBolus ENVIRO.STUB_BY_FUNCTION:SystemComm ENVIRO.STUB_BY_FUNCTION:SystemCommMessages ENVIRO.STUB_BY_FUNCTION:TaskGeneral Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_ALARMMGMT/INT_ALARMMGMT.tst =================================================================== diff -u -rcce4e06bbcd3dd60ed7fc20676dff3e54a4ae4a0 -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_ALARMMGMT/INT_ALARMMGMT.tst (.../INT_ALARMMGMT.tst) (revision cce4e06bbcd3dd60ed7fc20676dff3e54a4ae4a0) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_ALARMMGMT/INT_ALARMMGMT.tst (.../INT_ALARMMGMT.tst) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -2,7 +2,7 @@ -- Test Case Script -- -- Environment : INT_ALARMMGMT --- Unit(s) Under Test: AlarmMgmt ModeInitPOST ModeStandby ModeTreatment Reservoirs SystemComm SystemCommMessages TaskGeneral TreatmentEnd TreatmentStop sys_main +-- Unit(s) Under Test: AlarmMgmt ModeInitPOST ModeStandby ModeTreatment Reservoirs SalineBolus SystemComm SystemCommMessages TaskGeneral TreatmentEnd TreatmentStop sys_main -- -- Script Features TEST.SCRIPT_FEATURE:C_DIRECT_ARRAY_INDEXING @@ -125,6 +125,23 @@ TEST.EXPECTED:Reservoirs.isDialysateTempAlarmActive.return:0 TEST.END +-- Unit: SalineBolus + +-- Subprogram: signalStartSalineBolus + +-- Test Case: signalStartSalineBolus.001 +TEST.UNIT:SalineBolus +TEST.SUBPROGRAM:signalStartSalineBolus +TEST.NEW +TEST.NAME:signalStartSalineBolus.001 +TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA +TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_DIALYSIS_STATE +TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED +TEST.VALUE:AlarmMgmt.<>.alarmStatus.noRinseback:1 +TEST.VALUE:AlarmMgmt.<>.alarmStatus.noBloodRecirc:0 +TEST.EXPECTED:SalineBolus.<>.salineBolusStartRequested:0 +TEST.END + -- Unit: SystemCommMessages -- Subprogram: handleAlarmAudioVolumeSetCmd Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_ALARMMGMT/INT_ALARMMGMT_cba.cvr =================================================================== diff -u -rcce4e06bbcd3dd60ed7fc20676dff3e54a4ae4a0 -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_ALARMMGMT/INT_ALARMMGMT_cba.cvr (.../INT_ALARMMGMT_cba.cvr) (revision cce4e06bbcd3dd60ed7fc20676dff3e54a4ae4a0) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_ALARMMGMT/INT_ALARMMGMT_cba.cvr (.../INT_ALARMMGMT_cba.cvr) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -89,7 +89,7 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:13 -IMPORT.SOURCE.ORIG_FILENAME:TreatmentEnd.c +IMPORT.SOURCE.ORIG_FILENAME:SalineBolus.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE @@ -111,7 +111,7 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:14 -IMPORT.SOURCE.ORIG_FILENAME:TreatmentStop.c +IMPORT.SOURCE.ORIG_FILENAME:TreatmentEnd.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE @@ -133,7 +133,7 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:15 -IMPORT.SOURCE.ORIG_FILENAME:AlarmMgmt.c +IMPORT.SOURCE.ORIG_FILENAME:TreatmentStop.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE @@ -155,7 +155,7 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:16 -IMPORT.SOURCE.ORIG_FILENAME:Reservoirs.c +IMPORT.SOURCE.ORIG_FILENAME:AlarmMgmt.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE @@ -177,7 +177,7 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:17 -IMPORT.SOURCE.ORIG_FILENAME:SystemComm.c +IMPORT.SOURCE.ORIG_FILENAME:Reservoirs.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE @@ -199,7 +199,7 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:18 -IMPORT.SOURCE.ORIG_FILENAME:SystemCommMessages.c +IMPORT.SOURCE.ORIG_FILENAME:SystemComm.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE @@ -221,7 +221,7 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:19 -IMPORT.SOURCE.ORIG_FILENAME:TaskGeneral.c +IMPORT.SOURCE.ORIG_FILENAME:SystemCommMessages.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE @@ -243,6 +243,28 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:20 +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 +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:21 IMPORT.SOURCE.ORIG_FILENAME:sys_main.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function @@ -286,7 +308,7 @@ Line # 505 #########################3 RESULT.CBA.NOTES_END -RESULT.CBA.UNIT: /home/fw/wshd/hdfirmware/firmware/App/Services/AlarmMgmt.c +RESULT.CBA.UNIT: /home/fw/workspace_hd/hdfirmware/firmware/App/Services/AlarmMgmt.c RESULT.CBA.FUNCTION: getAlarmStartTime RESULT.CBA.LINE.BEGIN RESULT.CBA.LINE: 0 Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_BATTERY/INT_BATTERY.tst =================================================================== diff -u -r7a2cea1950da971aff6f0a05dd7a617fa7d0824a -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_BATTERY/INT_BATTERY.tst (.../INT_BATTERY.tst) (revision 7a2cea1950da971aff6f0a05dd7a617fa7d0824a) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_BATTERY/INT_BATTERY.tst (.../INT_BATTERY.tst) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -27,7 +27,7 @@ TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.isPOSTPassed.return:1 -TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:16 +TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:17 TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_TREATMENT_STATE TEST.VALUE:ModeStandby.signalUserInitiateTreatment.return:1 TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_BLOODFLOW/INT_BLOODFLOW.env =================================================================== diff -u -rd4800b196e6ca3ff4b98c5a21d71a0267f7ec386 -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_BLOODFLOW/INT_BLOODFLOW.env (.../INT_BLOODFLOW.env) (revision d4800b196e6ca3ff4b98c5a21d71a0267f7ec386) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_BLOODFLOW/INT_BLOODFLOW.env (.../INT_BLOODFLOW.env) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -5,6 +5,7 @@ ENVIRO.STUB_BY_FUNCTION:Interrupts ENVIRO.STUB_BY_FUNCTION:ModeInitPOST ENVIRO.STUB_BY_FUNCTION:PresOccl +ENVIRO.STUB_BY_FUNCTION:SalineBolus ENVIRO.STUB_BY_FUNCTION:SystemCommMessages ENVIRO.STUB_BY_FUNCTION:TaskGeneral ENVIRO.STUB_BY_FUNCTION:TaskPriority Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_BLOODFLOW/INT_BLOODFLOW.tst =================================================================== diff -u -rbf0f40a7af6c94739144a847dd9af12cbf6e109a -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_BLOODFLOW/INT_BLOODFLOW.tst (.../INT_BLOODFLOW.tst) (revision bf0f40a7af6c94739144a847dd9af12cbf6e109a) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_BLOODFLOW/INT_BLOODFLOW.tst (.../INT_BLOODFLOW.tst) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -2,7 +2,7 @@ -- Test Case Script -- -- Environment : INT_BLOODFLOW --- Unit(s) Under Test: BloodFlow Dialysis Interrupts ModeInitPOST PresOccl SystemCommMessages TaskGeneral TaskPriority sys_main +-- Unit(s) Under Test: BloodFlow Dialysis Interrupts ModeInitPOST PresOccl SalineBolus SystemCommMessages TaskGeneral TaskPriority sys_main -- -- Script Features TEST.SCRIPT_FEATURE:C_DIRECT_ARRAY_INDEXING @@ -13,176 +13,6 @@ TEST.SCRIPT_FEATURE:VCAST_MAIN_NOT_RENAMED -- --- Unit: Dialysis - --- Subprogram: handleSalineBolusInProgressState - --- Test Case: handleSalineBolusInProgressState.001 -TEST.UNIT:Dialysis -TEST.SUBPROGRAM:handleSalineBolusInProgressState -TEST.NEW -TEST.NAME:handleSalineBolusInProgressState.001 -TEST.BASIS_PATH:1 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if ((1) == isSalineBagEmpty()) ==> FALSE - (2) if (totalSalineVolumeDelivered_mL >= (F32)800) ==> FALSE - (3) if (bolusSalineVolumeDelivered_mL >= bolusTargetVolume) ==> FALSE - (4) if ((1) == salineBolusAbortRequested) ==> FALSE - (5) if (fabs(expectedSalineBolusVolume_mL - bolusSalineVolumeDelivered_mL) > maxBolusErrorMl) ==> FALSE - (6) if (result != (SALINE_BOLUS_STATE_IN_PROGRESS)) ==> FALSE - Test Case Generation Notes: - Cannot set totalSalineVolumeDelivered_mL due to assignment - Cannot set local variable maxBolusErrorMl in branch 5 - Cannot set local variable result in branch 6 -TEST.END_NOTES: -TEST.STUB:PresOccl.isSalineBagEmpty -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:<> -TEST.VALUE:PresOccl.isSalineBagEmpty.return:<> -TEST.VALUE:Dialysis.<>.salineBolusAbortRequested:<> -TEST.VALUE:Dialysis.handleSalineBolusInProgressState.dialysisState:<> -TEST.EXPECTED:Dialysis.<>.salineBolusAbortRequested:0 -TEST.END - --- Test Case: handleSalineBolusInProgressState.002 -TEST.UNIT:Dialysis -TEST.SUBPROGRAM:handleSalineBolusInProgressState -TEST.NEW -TEST.NAME:handleSalineBolusInProgressState.002 -TEST.BASIS_PATH:2 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if ((1) == isSalineBagEmpty()) ==> FALSE - (2) if (totalSalineVolumeDelivered_mL >= (F32)800) ==> FALSE - (3) if (bolusSalineVolumeDelivered_mL >= bolusTargetVolume) ==> FALSE - (4) if ((1) == salineBolusAbortRequested) ==> FALSE - (5) if (fabs(expectedSalineBolusVolume_mL - bolusSalineVolumeDelivered_mL) > maxBolusErrorMl) ==> FALSE - (6) if (result != (SALINE_BOLUS_STATE_IN_PROGRESS)) ==> TRUE - (7) if ((0) == errorFound) ==> FALSE - Test Case Generation Notes: - Cannot set totalSalineVolumeDelivered_mL due to assignment - Cannot set local variable maxBolusErrorMl in branch 5 - Cannot set local variable result in branch 6 - Cannot set local variable errorFound in branch 7 -TEST.END_NOTES: -TEST.STUB:PresOccl.isSalineBagEmpty -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:<> -TEST.VALUE:PresOccl.isSalineBagEmpty.return:<> -TEST.VALUE:Dialysis.<>.salineBolusAbortRequested:<> -TEST.VALUE:Dialysis.handleSalineBolusInProgressState.dialysisState:<> -TEST.EXPECTED:Dialysis.<>.salineBolusAbortRequested:0 -TEST.END - --- Test Case: handleSalineBolusInProgressState.003 -TEST.UNIT:Dialysis -TEST.SUBPROGRAM:handleSalineBolusInProgressState -TEST.NEW -TEST.NAME:handleSalineBolusInProgressState.003 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 285 TEST.VALUE:Dialysis.<>.salineBolusAutoResumeUF:<> - >>> >>> Unknown parameter/object name salineBolusAutoResumeUF - >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 288 TEST.EXPECTED:Dialysis.<>.salineBolusAutoResumeUF:0 - >>> >>> Unknown parameter/object name salineBolusAutoResumeUF - >>> >>> Value Line Error - Command Ignored -TEST.END_IMPORT_FAILURES: -TEST.BASIS_PATH:3 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if ((1) == isSalineBagEmpty()) ==> FALSE - (2) if (totalSalineVolumeDelivered_mL >= (F32)800) ==> FALSE - (3) if (bolusSalineVolumeDelivered_mL >= bolusTargetVolume) ==> FALSE - (4) if ((1) == salineBolusAbortRequested) ==> FALSE - (5) if (fabs(expectedSalineBolusVolume_mL - bolusSalineVolumeDelivered_mL) > maxBolusErrorMl) ==> FALSE - (6) if (result != (SALINE_BOLUS_STATE_IN_PROGRESS)) ==> TRUE - (7) if ((0) == errorFound) ==> TRUE - (8) if ((1) == salineBolusAutoResumeUF) ==> FALSE - Test Case Generation Notes: - Cannot set totalSalineVolumeDelivered_mL due to assignment - Cannot set local variable maxBolusErrorMl in branch 5 - Cannot set local variable result in branch 6 - Cannot set local variable errorFound in branch 7 -TEST.END_NOTES: -TEST.STUB:PresOccl.isSalineBagEmpty -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:<> -TEST.VALUE:PresOccl.isSalineBagEmpty.return:<> -TEST.VALUE:Dialysis.<>.salineBolusAbortRequested:<> -TEST.VALUE:Dialysis.handleSalineBolusInProgressState.dialysisState:<> -TEST.EXPECTED:Dialysis.<>.salineBolusAbortRequested:0 -TEST.END - --- Test Case: handleSalineBolusInProgressState.004 -TEST.UNIT:Dialysis -TEST.SUBPROGRAM:handleSalineBolusInProgressState -TEST.NEW -TEST.NAME:handleSalineBolusInProgressState.004 -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 318 TEST.VALUE:Dialysis.<>.salineBolusAutoResumeUF:1 - >>> >>> Unknown parameter/object name salineBolusAutoResumeUF - >>> >>> Value Line Error - Command Ignored - >>> (E) @LINE: 321 TEST.EXPECTED:Dialysis.<>.salineBolusAutoResumeUF:1 - >>> >>> Unknown parameter/object name salineBolusAutoResumeUF - >>> >>> Value Line Error - Command Ignored -TEST.END_IMPORT_FAILURES: -TEST.BASIS_PATH:4 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) if ((1) == isSalineBagEmpty()) ==> FALSE - (2) if (totalSalineVolumeDelivered_mL >= (F32)800) ==> FALSE - (3) if (bolusSalineVolumeDelivered_mL >= bolusTargetVolume) ==> FALSE - (4) if ((1) == salineBolusAbortRequested) ==> FALSE - (5) if (fabs(expectedSalineBolusVolume_mL - bolusSalineVolumeDelivered_mL) > maxBolusErrorMl) ==> FALSE - (6) if (result != (SALINE_BOLUS_STATE_IN_PROGRESS)) ==> TRUE - (7) if ((0) == errorFound) ==> TRUE - (8) if ((1) == salineBolusAutoResumeUF) ==> TRUE - Test Case Generation Notes: - Cannot set totalSalineVolumeDelivered_mL due to assignment - Cannot set local variable maxBolusErrorMl in branch 5 - Cannot set local variable result in branch 6 - Cannot set local variable errorFound in branch 7 -TEST.END_NOTES: -TEST.STUB:PresOccl.isSalineBagEmpty -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:<> -TEST.VALUE:PresOccl.isSalineBagEmpty.return:<> -TEST.VALUE:Dialysis.<>.salineBolusAbortRequested:<> -TEST.VALUE:Dialysis.handleSalineBolusInProgressState.dialysisState:<> -TEST.EXPECTED:Dialysis.<>.salineBolusAbortRequested:0 -TEST.END - --- Test Case: handleSalineBolusInProgressState.005 -TEST.UNIT:Dialysis -TEST.SUBPROGRAM:handleSalineBolusInProgressState -TEST.NEW -TEST.NAME:handleSalineBolusInProgressState.005 -TEST.BASIS_PATH:5 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 5 - (1) if ((1) == isSalineBagEmpty()) ==> FALSE - (2) if (totalSalineVolumeDelivered_mL >= (F32)800) ==> FALSE - (3) if (bolusSalineVolumeDelivered_mL >= bolusTargetVolume) ==> FALSE - (4) if ((1) == salineBolusAbortRequested) ==> FALSE - (5) if (fabs(expectedSalineBolusVolume_mL - bolusSalineVolumeDelivered_mL) > maxBolusErrorMl) ==> TRUE - (6) if (result != (SALINE_BOLUS_STATE_IN_PROGRESS)) ==> FALSE - Test Case Generation Notes: - Cannot set totalSalineVolumeDelivered_mL due to assignment - Cannot set local variable maxBolusErrorMl in branch 5 - Cannot set result due to assignment -TEST.END_NOTES: -TEST.STUB:PresOccl.isSalineBagEmpty -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:<> -TEST.VALUE:PresOccl.isSalineBagEmpty.return:<> -TEST.VALUE:Dialysis.<>.salineBolusAbortRequested:<> -TEST.VALUE:Dialysis.handleSalineBolusInProgressState.dialysisState:<> -TEST.EXPECTED:Dialysis.<>.salineBolusAbortRequested:0 -TEST.END - -- Unit: Interrupts -- Subprogram: edgeNotification @@ -239,6 +69,21 @@ TEST.EXPECTED:PresOccl.<>.currPresLimitsState:PRESSURE_LIMITS_STATE_OFF TEST.END +-- Unit: SalineBolus + +-- Subprogram: handleSalineBolusInProgressState + +-- Test Case: handleSalineBolusInProgressState.001 +TEST.UNIT:SalineBolus +TEST.SUBPROGRAM:handleSalineBolusInProgressState +TEST.NEW +TEST.NAME:handleSalineBolusInProgressState.001 +TEST.VALUE:BloodFlow.<>.ptr_canREG3:<> +TEST.VALUE:BloodFlow.<>.ptr_pwmREG1:<> +TEST.VALUE:SalineBolus.<>.salineBolusAbortRequested:1 +TEST.EXPECTED:SalineBolus.handleSalineBolusInProgressState.return:SALINE_BOLUS_STATE_IDLE +TEST.END + -- Unit: SystemCommMessages -- Subprogram: handleHDBloodPumpRotorCountOverrideRequest Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_BLOODFLOW/INT_BLOODFLOW_cba.cvr =================================================================== diff -u -rbf0f40a7af6c94739144a847dd9af12cbf6e109a -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_BLOODFLOW/INT_BLOODFLOW_cba.cvr (.../INT_BLOODFLOW_cba.cvr) (revision bf0f40a7af6c94739144a847dd9af12cbf6e109a) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_BLOODFLOW/INT_BLOODFLOW_cba.cvr (.../INT_BLOODFLOW_cba.cvr) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -111,7 +111,7 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:14 -IMPORT.SOURCE.ORIG_FILENAME:Interrupts.c +IMPORT.SOURCE.ORIG_FILENAME:SalineBolus.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE @@ -133,7 +133,7 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:15 -IMPORT.SOURCE.ORIG_FILENAME:SystemCommMessages.c +IMPORT.SOURCE.ORIG_FILENAME:Interrupts.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE @@ -155,7 +155,7 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:16 -IMPORT.SOURCE.ORIG_FILENAME:TaskGeneral.c +IMPORT.SOURCE.ORIG_FILENAME:SystemCommMessages.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE @@ -177,7 +177,7 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:17 -IMPORT.SOURCE.ORIG_FILENAME:TaskPriority.c +IMPORT.SOURCE.ORIG_FILENAME:TaskGeneral.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE @@ -199,6 +199,28 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:18 +IMPORT.SOURCE.ORIG_FILENAME:TaskPriority.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:sys_main.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function @@ -299,7 +321,7 @@ Line # 808 ############## RESULT.CBA.NOTES_END -RESULT.CBA.UNIT: /home/fw/wshd/hdfirmware/firmware/App/Controllers/BloodFlow.c +RESULT.CBA.UNIT: /home/fw/workspace_hd/hdfirmware/firmware/App/Controllers/BloodFlow.c RESULT.CBA.FUNCTION: checkBloodPumpDirection RESULT.CBA.LINE.BEGIN RESULT.CBA.LINE: 0 Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALOUTFLOW/INT_DIALOUTFLOW.env =================================================================== diff -u -r64fe9e586377d72c9e793d7bae0098ad2db22761 -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALOUTFLOW/INT_DIALOUTFLOW.env (.../INT_DIALOUTFLOW.env) (revision 64fe9e586377d72c9e793d7bae0098ad2db22761) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALOUTFLOW/INT_DIALOUTFLOW.env (.../INT_DIALOUTFLOW.env) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -6,6 +6,7 @@ ENVIRO.STUB_BY_FUNCTION:Interrupts ENVIRO.STUB_BY_FUNCTION:ModeInitPOST ENVIRO.STUB_BY_FUNCTION:ModeStandby +ENVIRO.STUB_BY_FUNCTION:SalineBolus ENVIRO.STUB_BY_FUNCTION:SystemCommMessages ENVIRO.STUB_BY_FUNCTION:TaskGeneral ENVIRO.STUB_BY_FUNCTION:TaskPriority Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALOUTFLOW/INT_DIALOUTFLOW.tst =================================================================== diff -u -r64fe9e586377d72c9e793d7bae0098ad2db22761 -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALOUTFLOW/INT_DIALOUTFLOW.tst (.../INT_DIALOUTFLOW.tst) (revision 64fe9e586377d72c9e793d7bae0098ad2db22761) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALOUTFLOW/INT_DIALOUTFLOW.tst (.../INT_DIALOUTFLOW.tst) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -2,7 +2,7 @@ -- Test Case Script -- -- Environment : INT_DIALOUTFLOW --- Unit(s) Under Test: DialInFlow DialOutFlow Dialysis Interrupts ModeInitPOST ModeStandby SystemCommMessages TaskGeneral TaskPriority sys_main +-- Unit(s) Under Test: DialInFlow DialOutFlow Dialysis Interrupts ModeInitPOST ModeStandby SalineBolus SystemCommMessages TaskGeneral TaskPriority sys_main -- -- Script Features TEST.SCRIPT_FEATURE:C_DIRECT_ARRAY_INDEXING @@ -29,21 +29,6 @@ -- Unit: Dialysis --- Subprogram: handleSalineBolusWait4Pumps2Stop - --- Test Case: handleSalineBolusWait4Pumps2Stop_isDialOutPumpRunning -TEST.UNIT:Dialysis -TEST.SUBPROGRAM:handleSalineBolusWait4Pumps2Stop -TEST.NEW -TEST.NAME:handleSalineBolusWait4Pumps2Stop_isDialOutPumpRunning -TEST.STUB:DialInFlow.isDialInPumpRunning -TEST.VALUE:DialInFlow.isDialInPumpRunning.return:0 -TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:0 -TEST.VALUE:DialOutFlow.<>.isDialOutPumpOn:0 -TEST.VALUE:Dialysis.<>.bolusSalineVolumeDelivered_mL:15.0 -TEST.EXPECTED:Dialysis.<>.bolusSalineVolumeDelivered_mL:0.0 -TEST.END - -- Subprogram: initDialysis -- Test Case: initDialysis_resetDialOutRateOffset @@ -121,6 +106,22 @@ TEST.EXPECTED:DialOutFlow.<>.dopStopAtHomePosition:1 TEST.END +-- Unit: SalineBolus + +-- Subprogram: handleSalineBolusWait4Pumps2Stop + +-- Test Case: handleSalineBolusWait4Pumps2Stop.001 +TEST.UNIT:SalineBolus +TEST.SUBPROGRAM:handleSalineBolusWait4Pumps2Stop +TEST.NEW +TEST.NAME:handleSalineBolusWait4Pumps2Stop.001 +TEST.VALUE:DialInFlow.<>.isDialInPumpOn:0 +TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:0 +TEST.VALUE:DialOutFlow.<>.isDialOutPumpOn:0 +TEST.EXPECTED:SalineBolus.<>.bolusSalineVolumeDelivered_mL:0.0 +TEST.EXPECTED:SalineBolus.handleSalineBolusWait4Pumps2Stop.return:SALINE_BOLUS_STATE_IN_PROGRESS +TEST.END + -- Unit: SystemCommMessages -- Subprogram: handleTestDialOutFlowBroadcastIntervalOverrideRequest @@ -492,11 +493,11 @@ TEST.NEW TEST.NAME:TaskGeneral_execDialOutFlowController TEST.STUB:DialInFlow.execDialInFlowController +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.execPresOcclSelfTest.return:SELF_TEST_STATUS_IN_PROGRESS TEST.VALUE:uut_prototype_stubs.execRTCSelfTest.return:SELF_TEST_STATUS_IN_PROGRESS TEST.VALUE:uut_prototype_stubs.execTemperaturesSelfTest.return:SELF_TEST_STATUS_IN_PROGRESS -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.checkInWithWatchdogMgmt.task:TASK_GENERAL TEST.EXPECTED:uut_prototype_stubs.checkInWithWatchdogMgmt.task:TASK_GENERAL Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALOUTFLOW/INT_DIALOUTFLOW_cba.cvr =================================================================== diff -u -r64fe9e586377d72c9e793d7bae0098ad2db22761 -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALOUTFLOW/INT_DIALOUTFLOW_cba.cvr (.../INT_DIALOUTFLOW_cba.cvr) (revision 64fe9e586377d72c9e793d7bae0098ad2db22761) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALOUTFLOW/INT_DIALOUTFLOW_cba.cvr (.../INT_DIALOUTFLOW_cba.cvr) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -133,7 +133,7 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:15 -IMPORT.SOURCE.ORIG_FILENAME:Interrupts.c +IMPORT.SOURCE.ORIG_FILENAME:SalineBolus.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE @@ -155,7 +155,7 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:16 -IMPORT.SOURCE.ORIG_FILENAME:SystemCommMessages.c +IMPORT.SOURCE.ORIG_FILENAME:Interrupts.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE @@ -177,7 +177,7 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:17 -IMPORT.SOURCE.ORIG_FILENAME:TaskGeneral.c +IMPORT.SOURCE.ORIG_FILENAME:SystemCommMessages.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE @@ -199,7 +199,7 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:18 -IMPORT.SOURCE.ORIG_FILENAME:TaskPriority.c +IMPORT.SOURCE.ORIG_FILENAME:TaskGeneral.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE @@ -221,6 +221,28 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:19 +IMPORT.SOURCE.ORIG_FILENAME:TaskPriority.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.ORIG_FILENAME:sys_main.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS.env =================================================================== diff -u -r976f618877c02e298d7e2291b12177d6dc219617 -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS.env (.../INT_DIALYSIS.env) (revision 976f618877c02e298d7e2291b12177d6dc219617) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS.env (.../INT_DIALYSIS.env) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -6,6 +6,7 @@ ENVIRO.STUB_BY_FUNCTION:ModePreTreat ENVIRO.STUB_BY_FUNCTION:ModeTreatment ENVIRO.STUB_BY_FUNCTION:Reservoirs +ENVIRO.STUB_BY_FUNCTION:SalineBolus ENVIRO.STUB_BY_FUNCTION:SystemCommMessages ENVIRO.MAX_VARY_RANGE: 20 ENVIRO.STUB: ALL_BY_PROTOTYPE Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS.tst =================================================================== diff -u -re6051a4d203f12f56632e252fc7fcb6bd781c635 -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS.tst (.../INT_DIALYSIS.tst) (revision e6051a4d203f12f56632e252fc7fcb6bd781c635) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS.tst (.../INT_DIALYSIS.tst) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -2,7 +2,7 @@ -- Test Case Script -- -- Environment : INT_DIALYSIS --- Unit(s) Under Test: DGInterface Dialysis ModePostTreat ModePreTreat ModeTreatment Reservoirs SystemCommMessages +-- Unit(s) Under Test: DGInterface Dialysis ModePostTreat ModePreTreat ModeTreatment Reservoirs SalineBolus SystemCommMessages -- -- Script Features TEST.SCRIPT_FEATURE:C_DIRECT_ARRAY_INDEXING @@ -36,10 +36,17 @@ TEST.SUBPROGRAM:collectTreatmentLogData TEST.NEW TEST.NAME:collectTreatmentLogData_getTotalSalineBolusVolumeDelivered -TEST.VALUE:Dialysis.<>.totalSalineVolumeDelivered_mL:50.0 +TEST.IMPORT_FAILURES: +(E) Errors from previous script import(s) + >>> (E) @LINE: 39 TEST.VALUE:Dialysis.<>.totalSalineVolumeDelivered_mL:50.0 + >>> >>> Unknown parameter/object name totalSalineVolumeDelivered_mL + >>> >>> Value Line Error - Command Ignored +TEST.END_IMPORT_FAILURES: +TEST.VALUE:uut_prototype_stubs.getMeasuredArterialPressure.return:50.0 TEST.VALUE:ModePostTreat.<>.treatmentLogData.actualTreatmentDur_sec:5 TEST.VALUE:ModePostTreat.<>.treatmentLogData.salineBolusVolume_mL:15 TEST.VALUE:ModeTreatment.<>.treatmentTimeMS:5000 +TEST.VALUE:SalineBolus.<>.totalSalineVolumeDelivered_mL:50.0 TEST.EXPECTED:ModePostTreat.<>.treatmentLogData.salineBolusVolume_mL:50 TEST.END @@ -397,6 +404,20 @@ TEST.EXPECTED:Reservoirs.handleReservoirMgmtWaitToFillState.return:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE TEST.END +-- Unit: SalineBolus + +-- Subprogram: resetSalineBolus + +-- Test Case: resetSalineBolus.001 +TEST.UNIT:SalineBolus +TEST.SUBPROGRAM:resetSalineBolus +TEST.NEW +TEST.NAME:resetSalineBolus.001 +TEST.EXPECTED:SalineBolus.<>.currentSalineBolusState:SALINE_BOLUS_STATE_IDLE +TEST.EXPECTED:SalineBolus.<>.totalSalineVolumeDelivered_mL:0.0 +TEST.EXPECTED:SalineBolus.<>.bolusSalineVolumeDelivered_mL:0.0 +TEST.END + -- Unit: SystemCommMessages -- Subprogram: handleSalineBolusRequest @@ -406,36 +427,54 @@ TEST.SUBPROGRAM:handleSalineBolusRequest TEST.NEW TEST.NAME:handleSalineBolusRequest_abort +TEST.IMPORT_FAILURES: +(E) Errors from previous script import(s) + >>> (E) @LINE: 410 TEST.VALUE:Dialysis.<>.currentSalineBolusState:SALINE_BOLUS_STATE_IN_PROGRESS + >>> >>> Unknown parameter/object name currentSalineBolusState + >>> >>> Value Line Error - Command Ignored + >>> (E) @LINE: 411 TEST.VALUE:Dialysis.<>.salineBolusAbortRequested:0 + >>> >>> Unknown parameter/object name salineBolusAbortRequested + >>> >>> Value Line Error - Command Ignored + >>> (E) @LINE: 419 TEST.EXPECTED:Dialysis.<>.salineBolusAbortRequested:1 + >>> >>> Unknown parameter/object name salineBolusAbortRequested + >>> >>> Value Line Error - Command Ignored +TEST.END_IMPORT_FAILURES: 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 TEST.VALUE:SystemCommMessages.handleSalineBolusRequest.message:<> TEST.VALUE:SystemCommMessages.handleSalineBolusRequest.message[0].hdr.payloadLen:4 TEST.VALUE:SystemCommMessages.handleSalineBolusRequest.message[0].payload[0]:0 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.<>.salineBolusAbortRequested:1 TEST.END -- Test Case: handleSalineBolusRequest_start TEST.UNIT:SystemCommMessages TEST.SUBPROGRAM:handleSalineBolusRequest TEST.NEW TEST.NAME:handleSalineBolusRequest_start +TEST.IMPORT_FAILURES: +(E) Errors from previous script import(s) + >>> (E) @LINE: 429 TEST.VALUE:Dialysis.<>.salineBolusStartRequested:0 + >>> >>> Unknown parameter/object name salineBolusStartRequested + >>> >>> Value Line Error - Command Ignored + >>> (E) @LINE: 430 TEST.VALUE:Dialysis.<>.totalSalineVolumeDelivered_mL:700.0 + >>> >>> Unknown parameter/object name totalSalineVolumeDelivered_mL + >>> >>> Value Line Error - Command Ignored + >>> (E) @LINE: 438 TEST.EXPECTED:Dialysis.<>.salineBolusStartRequested:1 + >>> >>> Unknown parameter/object name salineBolusStartRequested + >>> >>> Value Line Error - Command Ignored +TEST.END_IMPORT_FAILURES: 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.<>.salineBolusStartRequested:1 TEST.END -- Subprogram: handleUFPauseResumeRequest Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS_cba.cvr =================================================================== diff -u -r976f618877c02e298d7e2291b12177d6dc219617 -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS_cba.cvr (.../INT_DIALYSIS_cba.cvr) (revision 976f618877c02e298d7e2291b12177d6dc219617) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS_cba.cvr (.../INT_DIALYSIS_cba.cvr) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -133,7 +133,7 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:15 -IMPORT.SOURCE.ORIG_FILENAME:Reservoirs.c +IMPORT.SOURCE.ORIG_FILENAME:SalineBolus.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE @@ -155,6 +155,28 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:16 +IMPORT.SOURCE.ORIG_FILENAME:Reservoirs.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:SystemCommMessages.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function @@ -265,6 +287,44 @@ >>> Context After: lastUFTimeStamp = getMSTimerCount(); uFTimeMS = 0; + +--- Invalidated Analysis Lines --- + >>> Failed to find matching line for: + >>> Result: CBA_Dialysis + >>> Unit: 11 + >>> Function: handleSalineBolusIdleState + >>> Line Context: { + + >>> Context After: SALINE_BOLUS_STATE_T result = SALINE_BOLUS_STATE_IDLE; +// Handle saline bolus start request from user + + >>> Failed to find matching line for: + >>> Result: CBA_Dialysis + >>> Unit: 11 + >>> Function: handleSalineBolusInProgressState + >>> Line Context: { + + >>> Context After: SALINE_BOLUS_STATE_T result = SALINE_BOLUS_STATE_IN_PROGRESS; +BOOL errorFound = + + >>> Failed to find matching line for: + >>> Result: CBA_Dialysis + >>> Unit: 11 + >>> Function: handleSalineBolusMaxDeliveredState + >>> Line Context: { + + >>> Context After: SALINE_BOLUS_STATE_T result = SALINE_BOLUS_STATE_MAX_DELIVERED; +// This is a terminal state for a given treatment - no more saline may be delivered to patient + + >>> Failed to find matching line for: + >>> Result: CBA_Dialysis + >>> Unit: 11 + >>> Function: handleSalineBolusWait4Pumps2Stop + >>> Line Context: { + + >>> Context After: SALINE_BOLUS_STATE_T result = SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP; +if ( ( + RESULT.CBA.NOTES_END RESULT.CBA.UNIT: /home/fw/workspace_hd/hdfirmware/firmware/App/Modes/Dialysis.c RESULT.CBA.FUNCTION: handleDialysisSalineBolusState @@ -274,7 +334,7 @@ RESULT.CBA.CONTEXT: { RESULT.CBA.CONTEXT_AFTER: DIALYSIS_STATE_T result = DIALYSIS_SALINE_BOLUS_STATE; -SALINE_BOLUS_STATE_T priorSubState = currentSalineBolusState; +SALINE_BOLUS_STATE_T currSalineBolusState = execSalineBolus(); RESULT.CBA.CONTEXT_AFTER_END RESULT.CBA.MATCHING_LINE_INDEX: 1 RESULT.CBA.LINE.END @@ -289,49 +349,6 @@ RESULT.CBA.CONTEXT_AFTER_END RESULT.CBA.MATCHING_LINE_INDEX: 1 RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: handleSalineBolusIdleState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -SALINE_BOLUS_STATE_T result = SALINE_BOLUS_STATE_IDLE; -// Handle saline bolus start request from user -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: handleSalineBolusInProgressState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -SALINE_BOLUS_STATE_T result = SALINE_BOLUS_STATE_IN_PROGRESS; -BOOL errorFound = -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: handleSalineBolusMaxDeliveredState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -SALINE_BOLUS_STATE_T result = SALINE_BOLUS_STATE_MAX_DELIVERED; -// This is a terminal state for a given treatment - no more saline may be delivered to patient -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: handleSalineBolusWait4Pumps2Stop -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -SALINE_BOLUS_STATE_T result = SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP; -if ( ( -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END RESULT.CBA.FUNCTION: handleUFPausedState RESULT.CBA.LINE.BEGIN RESULT.CBA.LINE: 0 Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_RESERVOIRS/INT_RESERVOIRS.tst =================================================================== diff -u -re6051a4d203f12f56632e252fc7fcb6bd781c635 -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_RESERVOIRS/INT_RESERVOIRS.tst (.../INT_RESERVOIRS.tst) (revision e6051a4d203f12f56632e252fc7fcb6bd781c635) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_RESERVOIRS/INT_RESERVOIRS.tst (.../INT_RESERVOIRS.tst) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -36,6 +36,14 @@ TEST.SUBPROGRAM:handleUFRunningState TEST.NEW TEST.NAME:handleUFRunningState.001 +TEST.IMPORT_FAILURES: +(E) @LINE: 47 TEST.VALUE:Dialysis.<>.currentSalineBolusState:SALINE_BOLUS_STATE_IDLE + >>> Unknown parameter/object name currentSalineBolusState + >>> Value Line Error - Command Ignored +(E) @LINE: 49 TEST.VALUE:Dialysis.<>.salineBolusStartRequested:1 + >>> Unknown parameter/object name salineBolusStartRequested + >>> Value Line Error - Command Ignored +TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. @@ -44,10 +52,10 @@ (2) if ((1) == salineBolusStartRequested) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: -TEST.VALUE:Dialysis.<>.currentSalineBolusState:SALINE_BOLUS_STATE_IDLE TEST.VALUE:Dialysis.<>.setUFVolumeML:1000.0 -TEST.VALUE:Dialysis.<>.salineBolusStartRequested:1 TEST.VALUE:Dialysis.handleUFRunningState.dialysisState:<> +TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IDLE +TEST.VALUE:uut_prototype_stubs.isSalineBolusStartRequested.return:1 TEST.EXPECTED:Dialysis.handleUFRunningState.return:UF_PAUSED_STATE TEST.END Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_SALINEBOLUS/INT_SALINEBOLUS.env =================================================================== diff -u -r78a4b6ca8a0bcc6b5de2b786d3beb8c135fd2aab -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_SALINEBOLUS/INT_SALINEBOLUS.env (.../INT_SALINEBOLUS.env) (revision 78a4b6ca8a0bcc6b5de2b786d3beb8c135fd2aab) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_SALINEBOLUS/INT_SALINEBOLUS.env (.../INT_SALINEBOLUS.env) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -1,9 +1,25 @@ ENVIRO.NEW ENVIRO.NAME:INT_SALINEBOLUS +ENVIRO.STUB_BY_FUNCTION:Dialysis +ENVIRO.STUB_BY_FUNCTION:ModePostTreat ENVIRO.STUB_BY_FUNCTION:ModeTreatment ENVIRO.STUB_BY_FUNCTION:SalineBolus +ENVIRO.STUB_BY_FUNCTION:SystemCommMessages +ENVIRO.STUB_BY_FUNCTION:TreatmentStop ENVIRO.MAX_VARY_RANGE: 20 ENVIRO.STUB: ALL_BY_PROTOTYPE ENVIRO.TYPE_HANDLED_DIRS_ALLOWED: ENVIRO.LIBRARY_STUBS: +ENVIRO.COVERAGE_TYPE: FUNCTION +ENVIRO.WHITE_BOX: YES +ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/include/ +ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/source/ +ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/App/ +ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/App/Controllers/ +ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/App/Drivers/ +ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/App/Modes/ +ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/App/Services/ +ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/App/Tasks/ +ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/../../fwcommon/ +ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/../../common/ ENVIRO.END Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_SALINEBOLUS/INT_SALINEBOLUS.tst =================================================================== diff -u -r78a4b6ca8a0bcc6b5de2b786d3beb8c135fd2aab -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_SALINEBOLUS/INT_SALINEBOLUS.tst (.../INT_SALINEBOLUS.tst) (revision 78a4b6ca8a0bcc6b5de2b786d3beb8c135fd2aab) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_SALINEBOLUS/INT_SALINEBOLUS.tst (.../INT_SALINEBOLUS.tst) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -2,7 +2,7 @@ -- Test Case Script -- -- Environment : INT_SALINEBOLUS --- Unit(s) Under Test: ModeTreatment SalineBolus +-- Unit(s) Under Test: Dialysis ModePostTreat ModeTreatment SalineBolus SystemCommMessages TreatmentStop -- -- Script Features TEST.SCRIPT_FEATURE:C_DIRECT_ARRAY_INDEXING @@ -12,3 +12,124 @@ TEST.SCRIPT_FEATURE:STATIC_HEADER_FUNCS_IN_UUTS TEST.SCRIPT_FEATURE:VCAST_MAIN_NOT_RENAMED -- + +-- Unit: Dialysis + +-- Subprogram: handleUFPausedState + +-- Test Case: handleUFPausedState.001 +TEST.UNIT:Dialysis +TEST.SUBPROGRAM:handleUFPausedState +TEST.NEW +TEST.NAME:handleUFPausedState.001 +TEST.VALUE:Dialysis.handleUFPausedState.dialysisState:<> +TEST.VALUE:SalineBolus.<>.currentSalineBolusState:SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP +TEST.VALUE:SalineBolus.<>.salineBolusStartRequested:1 +TEST.EXPECTED:Dialysis.<>.autoResumeUF:0 +TEST.END + +-- Unit: ModePostTreat + +-- Subprogram: collectTreatmentLogData + +-- Test Case: collectTreatmentLogData.001 +TEST.UNIT:ModePostTreat +TEST.SUBPROGRAM:collectTreatmentLogData +TEST.NEW +TEST.NAME:collectTreatmentLogData.001 +TEST.VALUE:ModePostTreat.<>.currentPostTreatmentState:HD_POST_TREATMENT_VERIFY_STATE +TEST.EXPECTED:ModePostTreat.<>.currentPostTreatmentState:HD_POST_TREATMENT_VERIFY_STATE +TEST.END + +-- Unit: ModeTreatment + +-- Subprogram: transitionToTreatmentMode + +-- Test Case: transitionToTreatmentMode.001 +TEST.UNIT:ModeTreatment +TEST.SUBPROGRAM:transitionToTreatmentMode +TEST.NEW +TEST.NAME:transitionToTreatmentMode.001 +TEST.VALUE:uut_prototype_stubs.getPreviousOperationMode.return:MODE_TREA +TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_BLOOD_PRIME_STATE +TEST.EXPECTED:ModeTreatment.transitionToTreatmentMode.return:0 +TEST.END + +-- Unit: SystemCommMessages + +-- Subprogram: handleSalineBolusRequest + +-- Test Case: handleSalineBolusRequest_start +TEST.UNIT:SystemCommMessages +TEST.SUBPROGRAM:handleSalineBolusRequest +TEST.NEW +TEST.NAME:handleSalineBolusRequest_start +TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA +TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0 +TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_DIALYSIS_STATE +TEST.VALUE:SalineBolus.<>.currentSalineBolusState:SALINE_BOLUS_STATE_IDLE +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:SalineBolus.<>.salineBolusStartRequested:1 +TEST.END + +-- Test Case: handleSalineBolusRequest_stop +TEST.UNIT:SystemCommMessages +TEST.SUBPROGRAM:handleSalineBolusRequest +TEST.NEW +TEST.NAME:handleSalineBolusRequest_stop +TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA +TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0 +TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_DIALYSIS_STATE +TEST.VALUE:SalineBolus.<>.currentSalineBolusState:SALINE_BOLUS_STATE_IN_PROGRESS +TEST.VALUE:SystemCommMessages.handleSalineBolusRequest.message:<> +TEST.VALUE:SystemCommMessages.handleSalineBolusRequest.message[0].hdr.payloadLen:4 +TEST.VALUE:SystemCommMessages.handleSalineBolusRequest.message[0].payload[0]:0 +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:SalineBolus.<>.salineBolusAbortRequested:1 +TEST.END + +-- Unit: TreatmentStop + +-- Subprogram: execTreatmentStop + +-- Test Case: execTreatmentStop.001 +TEST.UNIT:TreatmentStop +TEST.SUBPROGRAM:execTreatmentStop +TEST.NEW +TEST.NAME:execTreatmentStop.001 +TEST.VALUE:SalineBolus.<>.salineBolusBroadcastTimerCtr:5 +TEST.VALUE:TreatmentStop.<>.currentTxStopState:TREATMENT_STOP_RECIRC_STATE +TEST.EXPECTED:SalineBolus.<>.salineBolusBroadcastTimerCtr:6 +TEST.END + +-- Subprogram: handleTreatmentStopDeliverSalineBolusState + +-- Test Case: handleTreatmentStopDeliverSalineBolusState.001 +TEST.UNIT:TreatmentStop +TEST.SUBPROGRAM:handleTreatmentStopDeliverSalineBolusState +TEST.NEW +TEST.NAME:handleTreatmentStopDeliverSalineBolusState.001 +TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:0 +TEST.VALUE:SalineBolus.<>.currentSalineBolusState:SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP +TEST.VALUE:SalineBolus.<>.salineBolusStartRequested:1 +TEST.EXPECTED:TreatmentStop.handleTreatmentStopDeliverSalineBolusState.return:TREATMENT_STOP_DELIVER_SALINE_BOLUS_STATE +TEST.END + +-- Subprogram: transitionToTreatmentStop + +-- Test Case: transitionToTreatmentStop.001 +TEST.UNIT:TreatmentStop +TEST.SUBPROGRAM:transitionToTreatmentStop +TEST.NEW +TEST.NAME:transitionToTreatmentStop.001 +TEST.EXPECTED:SalineBolus.<>.currentSalineBolusState:SALINE_BOLUS_STATE_IDLE +TEST.EXPECTED:SalineBolus.<>.totalSalineVolumeDelivered_mL:0.0 +TEST.EXPECTED:SalineBolus.<>.bolusSalineVolumeDelivered_mL:0.0 +TEST.END Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_SALINEBOLUS/INT_SALINEBOLUS_cba.cvr =================================================================== diff -u --- vectorcast/Hercules_RM46_HD_Project/environment/INT_SALINEBOLUS/INT_SALINEBOLUS_cba.cvr (revision 0) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_SALINEBOLUS/INT_SALINEBOLUS_cba.cvr (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -0,0 +1,205 @@ +-- Imported Coverage Results Script +IMPORT.BEGIN +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:8 +IMPORT.SOURCE.ORIG_FILENAME:S0000008.c +IMPORT.SOURCE.COVERAGE_STATUS:FALSE +IMPORT.SOURCE.COVERAGE_TYPE:None +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:TRUE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:TRUE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:TRUE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:TRUE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:TRUE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:TRUE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_UNKNOWN +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:TRUE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:9 +IMPORT.SOURCE.ORIG_FILENAME:Dialysis.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:ModePostTreat.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:ModeTreatment.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:SalineBolus.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: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:15 +IMPORT.SOURCE.ORIG_FILENAME:SystemCommMessages.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_SalineBolus +RESULT.CBA.NOTES +//static havent called from outside + +1)static SALINE_BOLUS_STATE_T handleSalineBolusIdleState( void ) +Line #304 + +2)static SALINE_BOLUS_STATE_T handleSalineBolusWait4Pumps2Stop( void ) +Line #333 + +3)static SALINE_BOLUS_STATE_T handleSalineBolusInProgressState( void ) +Line #369 +RESULT.CBA.NOTES_END +RESULT.CBA.UNIT: /home/fw/workspace_hd/hdfirmware/firmware/App/Modes/SalineBolus.c +RESULT.CBA.FUNCTION: handleSalineBolusIdleState +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +SALINE_BOLUS_STATE_T result = SALINE_BOLUS_STATE_IDLE; +// Handle saline bolus start request from user +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.MATCHING_LINE_INDEX: 1 +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: handleSalineBolusInProgressState +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +SALINE_BOLUS_STATE_T result = SALINE_BOLUS_STATE_IN_PROGRESS; +F32 timeSinceLastVolumeUpdateMin = (F32)calcTimeSince( bolusSalineLastVolumeTimeStamp ) / (F32)( 1000 * 60 ); +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.MATCHING_LINE_INDEX: 1 +RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: handleSalineBolusWait4Pumps2Stop +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +SALINE_BOLUS_STATE_T result = SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP; +if ( ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.MATCHING_LINE_INDEX: 1 +RESULT.CBA.LINE.END +RESULT.CBA.END +IMPORT.END Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_SYSTEMCOMMMESSAGES/INT_SYSTEMCOMMMESSAGES.env =================================================================== diff -u -r2bfc2546c1c2236b1211b49ea90832b3cc42f568 -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_SYSTEMCOMMMESSAGES/INT_SYSTEMCOMMMESSAGES.env (.../INT_SYSTEMCOMMMESSAGES.env) (revision 2bfc2546c1c2236b1211b49ea90832b3cc42f568) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_SYSTEMCOMMMESSAGES/INT_SYSTEMCOMMMESSAGES.env (.../INT_SYSTEMCOMMMESSAGES.env) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -18,6 +18,7 @@ ENVIRO.STUB_BY_FUNCTION:OperationModes ENVIRO.STUB_BY_FUNCTION:Prime ENVIRO.STUB_BY_FUNCTION:Rinseback +ENVIRO.STUB_BY_FUNCTION:SalineBolus ENVIRO.STUB_BY_FUNCTION:SampleWater ENVIRO.STUB_BY_FUNCTION:SyringePump ENVIRO.STUB_BY_FUNCTION:SystemComm Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_SYSTEMCOMMMESSAGES/INT_SYSTEMCOMMMESSAGES.tst =================================================================== diff -u -re6051a4d203f12f56632e252fc7fcb6bd781c635 -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_SYSTEMCOMMMESSAGES/INT_SYSTEMCOMMMESSAGES.tst (.../INT_SYSTEMCOMMMESSAGES.tst) (revision e6051a4d203f12f56632e252fc7fcb6bd781c635) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_SYSTEMCOMMMESSAGES/INT_SYSTEMCOMMMESSAGES.tst (.../INT_SYSTEMCOMMMESSAGES.tst) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -2,7 +2,7 @@ -- Test Case Script -- -- Environment : INT_SYSTEMCOMMMESSAGES --- Unit(s) Under Test: AlarmMgmt BloodFlow BloodLeak Buttons DGInterface DialInFlow DialOutFlow Dialysis ModeInitPOST ModePostTreat ModePreTreat ModeStandby ModeTreatment ModeTreatmentParams NVDataMgmt OperationModes Prime Rinseback SampleWater SyringePump SystemComm SystemCommMessages TestSupport TreatmentEnd TreatmentRecirc TreatmentStop +-- Unit(s) Under Test: AlarmMgmt BloodFlow BloodLeak Buttons DGInterface DialInFlow DialOutFlow Dialysis ModeInitPOST ModePostTreat ModePreTreat ModeStandby ModeTreatment ModeTreatmentParams NVDataMgmt OperationModes Prime Rinseback SalineBolus SampleWater SyringePump SystemComm SystemCommMessages TestSupport TreatmentEnd TreatmentRecirc TreatmentStop -- -- Script Features TEST.SCRIPT_FEATURE:C_DIRECT_ARRAY_INDEXING @@ -81,11 +81,19 @@ TEST.NEW TEST.NAME:sendOffButtonMsgToUI TEST.IMPORT_FAILURES: -(I) @LINE: 235 +(I) @LINE: 243 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 238 +(I) @LINE: 246 >>> 'FALSE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 239 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 242 + >>> >>> 'FALSE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 235 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 238 + >>> >>> 'FALSE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 231 >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 234 @@ -430,9 +438,13 @@ TEST.NEW TEST.NAME:sendDGFillCommand TEST.IMPORT_FAILURES: -(I) @LINE: 494 +(I) @LINE: 506 >>> 'FALSE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 500 + >>> >>> 'FALSE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 494 + >>> >>> 'FALSE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 488 >>> >>> 'FALSE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 482 @@ -587,44 +599,6 @@ TEST.EXPECTED:DGInterface.<>.dgCmdResp[DG_CMD_STOP_ACTIVE_COOL].commandID:0 TEST.END --- Unit: Dialysis - --- Subprogram: signalStartSalineBolus - --- Test Case: sendSalineBolusResponse -TEST.UNIT:Dialysis -TEST.SUBPROGRAM:signalStartSalineBolus -TEST.NEW -TEST.NAME:sendSalineBolusResponse -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) - >>> (E) @LINE: 400 TEST.VALUE:uut_prototype_stubs.execWatchdogTest.return:MODE_PRET - >>> >>> Value for 'Enumeral' out of range - >>> >>> Read "MODE_PRET" - >>> >>> Command Ignored -TEST.END_IMPORT_FAILURES: -TEST.VALUE:uut_prototype_stubs.getCriticalData.return.uInt:100 -TEST.VALUE:uut_prototype_stubs.addToCommBuffer.return:1 -TEST.EXPECTED:uut_prototype_stubs.addToCommBuffer.buffer:COMM_BUFFER_OUT_CAN_HD_2_UI -TEST.EXPECTED:uut_prototype_stubs.addToCommBuffer.data[0]:0xA5 -TEST.EXPECTED:uut_prototype_stubs.addToCommBuffer.data[3]:0x14 -TEST.EXPECTED:uut_prototype_stubs.addToCommBuffer.data[4]:0 -TEST.EXPECTED:uut_prototype_stubs.addToCommBuffer.data[5]:12 -TEST.EXPECTED:uut_prototype_stubs.addToCommBuffer.data[6]:0 -TEST.EXPECTED:uut_prototype_stubs.addToCommBuffer.data[7]:0 -TEST.EXPECTED:uut_prototype_stubs.addToCommBuffer.data[8]:0 -TEST.EXPECTED:uut_prototype_stubs.addToCommBuffer.data[9]:0 -TEST.EXPECTED:uut_prototype_stubs.addToCommBuffer.data[10]:3 -TEST.EXPECTED:uut_prototype_stubs.addToCommBuffer.data[11]:0 -TEST.EXPECTED:uut_prototype_stubs.addToCommBuffer.data[12]:0 -TEST.EXPECTED:uut_prototype_stubs.addToCommBuffer.data[13]:0 -TEST.EXPECTED:uut_prototype_stubs.addToCommBuffer.data[14]:100 -TEST.EXPECTED:uut_prototype_stubs.addToCommBuffer.data[15]:0 -TEST.EXPECTED:uut_prototype_stubs.addToCommBuffer.data[16]:0 -TEST.EXPECTED:uut_prototype_stubs.addToCommBuffer.data[17]:0 -TEST.EXPECTED:uut_prototype_stubs.addToCommBuffer.len:24 -TEST.END - -- Unit: ModeInitPOST -- Subprogram: execInitAndPOSTMode @@ -1179,10 +1153,16 @@ TEST.SUBPROGRAM:addConfirmationRequest TEST.NEW TEST.NAME:addConfirmationRequest.001 +TEST.IMPORT_FAILURES: +(E) Errors from previous script import(s) + >>> (E) @LINE: 1185 TEST.VALUE:OperationModes.addConfirmationRequest.requestID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH + >>> >>> Unknown parameter/object name requestID + >>> >>> Value Line Error - Command Ignored +TEST.END_IMPORT_FAILURES: TEST.VALUE:OperationModes.<>.confirmRequests[0].requestID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH TEST.VALUE:OperationModes.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_UNUSED TEST.VALUE:OperationModes.<>.confirmRequests[1].status:CONFIRMATION_REQUEST_STATUS_UNUSED -TEST.VALUE:OperationModes.addConfirmationRequest.requestID:GENERIC_CONFIRM_ID_DISINFECT_STOP_WATERFLUSH +TEST.VALUE:OperationModes.addConfirmationRequest.request:<> TEST.EXPECTED:OperationModes.<>.confirmRequests[0].status:CONFIRMATION_REQUEST_STATUS_PENDING TEST.END @@ -1217,6 +1197,21 @@ TEST.EXPECTED:Rinseback.<>.pauseRinsebackRequested:1 TEST.END +-- Unit: SalineBolus + +-- Subprogram: signalAbortSalineBolus + +-- Test Case: signalAbortSalineBolus.001 +TEST.UNIT:SalineBolus +TEST.SUBPROGRAM:signalAbortSalineBolus +TEST.NEW +TEST.NAME:signalAbortSalineBolus.001 +TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_DIALYSIS_STATE +TEST.VALUE:OperationModes.<>.currentMode:MODE_TREA +TEST.VALUE:SalineBolus.<>.currentSalineBolusState:SALINE_BOLUS_STATE_IDLE +TEST.EXPECTED:SalineBolus.<>.salineBolusAbortRequested:0 +TEST.END + -- Unit: SampleWater -- Subprogram: signalSampleWaterUserAction @@ -1497,11 +1492,19 @@ TEST.NEW TEST.NAME:001C TEST.IMPORT_FAILURES: -(I) @LINE: 1557 +(I) @LINE: 1544 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 1558 +(I) @LINE: 1545 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 1567 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 1568 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 1557 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 1558 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 1545 >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 1546 @@ -2767,11 +2770,11 @@ TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[1]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[2]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[3]:0 -TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[4]:00 +TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[4]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[5]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[6]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[7]:0 -TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[8]:05 +TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[8]:5 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[9]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[10]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[11]:0 @@ -2792,7 +2795,7 @@ TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[1]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[2]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[3]:0 -TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[4]:00 +TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[4]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[5]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[6]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[7]:0 @@ -2814,11 +2817,11 @@ TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[1]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[2]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[3]:0 -TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[4]:01 +TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[4]:1 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[5]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[6]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[7]:0 -TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[8]:00 +TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[8]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[9]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[10]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[11]:0 @@ -2833,9 +2836,13 @@ TEST.NEW TEST.NAME:handleAirPumpIntervalOverrideRequest TEST.IMPORT_FAILURES: -(I) @LINE: 2837 +(I) @LINE: 2900 >>> 'MSG_ID_HD_AIR_PUMP_PUBLISH_INTERVAL_OVERRIDE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 2921 + >>> >>> 'MSG_ID_HD_AIR_PUMP_PUBLISH_INTERVAL_OVERRIDE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 2837 + >>> >>> 'MSG_ID_HD_AIR_PUMP_PUBLISH_INTERVAL_OVERRIDE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 2823 >>> >>> 'MSG_ID_HD_AIR_PUMP_PUBLISH_INTERVAL_OVERRIDE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 2810 @@ -3416,14 +3423,19 @@ TEST.NAME:handleSalineBolusRequest TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) + >>> (E) @LINE: 3426 TEST.VALUE:Dialysis.<>.salineBolusStartRequested:0 + >>> >>> Unknown parameter/object name salineBolusStartRequested + >>> >>> Value Line Error - Command Ignored + >>> (E) @LINE: 3452 TEST.EXPECTED:Dialysis.<>.salineBolusStartRequested:0 + >>> >>> Unknown parameter/object name salineBolusStartRequested + >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1260 TEST.VALUE:uut_prototype_stubs.execWatchdogTest.return:MODE_PRET >>> >>> Value for 'Enumeral' out of range >>> >>> Read "MODE_PRET" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:uut_prototype_stubs.getCriticalData.return.uInt:100 TEST.VALUE:uut_prototype_stubs.addToCommBuffer.return:1 -TEST.VALUE:Dialysis.<>.salineBolusStartRequested:0 TEST.VALUE:SystemComm.processReceivedMessage.message:<> TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.msgID:0x12 TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.payloadLen:4 @@ -3449,7 +3461,6 @@ TEST.EXPECTED:uut_prototype_stubs.addToCommBuffer.data[16]:0 TEST.EXPECTED:uut_prototype_stubs.addToCommBuffer.data[17]:0 TEST.EXPECTED:uut_prototype_stubs.addToCommBuffer.len:24 -TEST.EXPECTED:Dialysis.<>.salineBolusStartRequested:0 TEST.ATTRIBUTES:SystemComm.processReceivedMessage.message[0].payload[4]:INPUT_BASE=16 TEST.ATTRIBUTES:SystemComm.processReceivedMessage.message[0].payload[5]:INPUT_BASE=16 TEST.ATTRIBUTES:SystemComm.processReceivedMessage.message[0].payload[6]:INPUT_BASE=16 @@ -4478,9 +4489,13 @@ TEST.NEW TEST.NAME:handleTestDialInPumpHomeRequest TEST.IMPORT_FAILURES: -(I) @LINE: 4458 +(I) @LINE: 4529 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 4544 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 4458 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 4442 >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 4427 @@ -4837,9 +4852,13 @@ TEST.NEW TEST.NAME:handleTestDialOutPumpHomeRequest TEST.IMPORT_FAILURES: -(I) @LINE: 4815 +(I) @LINE: 4890 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 4903 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 4815 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 4797 >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 4780 @@ -6206,11 +6225,19 @@ TEST.NEW TEST.NAME:processReceivedMessage.011 TEST.IMPORT_FAILURES: -(I) @LINE: 6194 +(I) @LINE: 6277 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 6195 +(I) @LINE: 6278 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 6286 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 6287 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 6194 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 6195 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 6172 >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 6173 @@ -6293,11 +6320,19 @@ TEST.NEW TEST.NAME:processReceivedMessage.012 TEST.IMPORT_FAILURES: -(I) @LINE: 6277 +(I) @LINE: 6368 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 6278 +(I) @LINE: 6369 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 6373 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 6374 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 6277 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 6278 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 6251 >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 6252 @@ -6380,11 +6415,19 @@ TEST.NEW TEST.NAME:processReceivedMessage.013 TEST.IMPORT_FAILURES: -(I) @LINE: 6360 +(I) @LINE: 6459 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 6361 +(I) @LINE: 6460 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 6460 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 6461 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 6360 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 6361 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 6330 >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 6331 @@ -6467,11 +6510,19 @@ TEST.NEW TEST.NAME:processReceivedMessage.014 TEST.IMPORT_FAILURES: -(I) @LINE: 6443 +(I) @LINE: 6550 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 6444 +(I) @LINE: 6551 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 6547 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 6548 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 6443 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 6444 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 6409 >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 6410 @@ -6998,11 +7049,19 @@ TEST.NEW TEST.NAME:processReceivedMessage.030 TEST.IMPORT_FAILURES: -(I) @LINE: 6974 +(I) @LINE: 7089 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 6975 +(I) @LINE: 7090 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 7082 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 7083 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 6974 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 6975 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 6936 >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 6937 @@ -7089,11 +7148,19 @@ TEST.NEW TEST.NAME:processReceivedMessage.031 TEST.IMPORT_FAILURES: -(I) @LINE: 7061 +(I) @LINE: 7184 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 7062 +(I) @LINE: 7185 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 7173 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 7174 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 7061 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 7062 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 7019 >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 7020 @@ -7180,11 +7247,19 @@ TEST.NEW TEST.NAME:processReceivedMessage.032 TEST.IMPORT_FAILURES: -(I) @LINE: 7148 +(I) @LINE: 7279 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 7149 +(I) @LINE: 7280 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 7264 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 7265 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 7148 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 7149 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 7102 >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 7103 @@ -7271,11 +7346,19 @@ TEST.NEW TEST.NAME:processReceivedMessage.033 TEST.IMPORT_FAILURES: -(I) @LINE: 7235 +(I) @LINE: 7374 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 7236 +(I) @LINE: 7375 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 7355 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 7356 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 7235 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 7236 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 7185 >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 7186 @@ -7981,11 +8064,19 @@ TEST.NEW TEST.NAME:processReceivedMessage.052 TEST.IMPORT_FAILURES: -(I) @LINE: 7948 +(I) @LINE: 8095 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 7949 +(I) @LINE: 8096 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 8072 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 8073 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 7948 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 7949 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 7894 >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 7895 @@ -9489,10 +9580,16 @@ TEST.NEW TEST.NAME:sendACKMsg TEST.IMPORT_FAILURES: -(E) @LINE: 9538 TEST.ATTRIBUTES:SystemComm.processReceivedMessage.message[0].hdr.msgID::INPUT_BASE=16 +(E) @LINE: 9691 TEST.ATTRIBUTES:SystemComm.processReceivedMessage.message[0].hdr.msgID::INPUT_BASE=16 >>> Expected a field name from the record type MESSAGE_HEADER_T >>> Read: msgID::INPUT_BASE=16 (E) Errors from previous script import(s) + >>> (E) @LINE: 9665 TEST.ATTRIBUTES:SystemComm.processReceivedMessage.message[0].hdr.msgID::INPUT_BASE=16 + >>> >>> Expected a field name from the record type MESSAGE_HEADER_T + >>> >>> Read: msgID::INPUT_BASE=16 + >>> (E) @LINE: 9538 TEST.ATTRIBUTES:SystemComm.processReceivedMessage.message[0].hdr.msgID::INPUT_BASE=16 + >>> >>> Expected a field name from the record type MESSAGE_HEADER_T + >>> >>> Read: msgID::INPUT_BASE=16 >>> (E) @LINE: 9481 TEST.ATTRIBUTES:SystemComm.processReceivedMessage.message[0].hdr.msgID::INPUT_BASE=16 >>> >>> Expected a field name from the record type MESSAGE_HEADER_T >>> >>> Read: msgID::INPUT_BASE=16 Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_SYSTEMCOMMMESSAGES/INT_SYSTEMCOMMMESSAGES_cba.cvr =================================================================== diff -u -rd70e51a4923a1815042e579c78b585b9f987a5df -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_SYSTEMCOMMMESSAGES/INT_SYSTEMCOMMMESSAGES_cba.cvr (.../INT_SYSTEMCOMMMESSAGES_cba.cvr) (revision d70e51a4923a1815042e579c78b585b9f987a5df) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_SYSTEMCOMMMESSAGES/INT_SYSTEMCOMMMESSAGES_cba.cvr (.../INT_SYSTEMCOMMMESSAGES_cba.cvr) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -441,7 +441,7 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:29 -IMPORT.SOURCE.ORIG_FILENAME:SampleWater.c +IMPORT.SOURCE.ORIG_FILENAME:SalineBolus.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE @@ -463,7 +463,7 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:30 -IMPORT.SOURCE.ORIG_FILENAME:TreatmentEnd.c +IMPORT.SOURCE.ORIG_FILENAME:SampleWater.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE @@ -485,7 +485,7 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:31 -IMPORT.SOURCE.ORIG_FILENAME:TreatmentRecirc.c +IMPORT.SOURCE.ORIG_FILENAME:TreatmentEnd.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE @@ -507,7 +507,7 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:32 -IMPORT.SOURCE.ORIG_FILENAME:TreatmentStop.c +IMPORT.SOURCE.ORIG_FILENAME:TreatmentRecirc.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE @@ -529,7 +529,7 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:33 -IMPORT.SOURCE.ORIG_FILENAME:AlarmMgmt.c +IMPORT.SOURCE.ORIG_FILENAME:TreatmentStop.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE @@ -551,7 +551,7 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:34 -IMPORT.SOURCE.ORIG_FILENAME:SystemComm.c +IMPORT.SOURCE.ORIG_FILENAME:AlarmMgmt.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE @@ -573,6 +573,28 @@ IMPORT.SOURCE.END IMPORT.SOURCE.BEGIN IMPORT.SOURCE.UNIT:35 +IMPORT.SOURCE.ORIG_FILENAME:SystemComm.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:36 IMPORT.SOURCE.ORIG_FILENAME:SystemCommMessages.c IMPORT.SOURCE.COVERAGE_STATUS:TRUE IMPORT.SOURCE.COVERAGE_TYPE:Function Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_TREATMENTSTOP/INT_TREATMENTSTOP.tst =================================================================== diff -u -re6051a4d203f12f56632e252fc7fcb6bd781c635 -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_TREATMENTSTOP/INT_TREATMENTSTOP.tst (.../INT_TREATMENTSTOP.tst) (revision e6051a4d203f12f56632e252fc7fcb6bd781c635) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_TREATMENTSTOP/INT_TREATMENTSTOP.tst (.../INT_TREATMENTSTOP.tst) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -58,9 +58,13 @@ TEST.NEW TEST.NAME:handleTreatmentRinsebackState.001 TEST.IMPORT_FAILURES: -(I) @LINE: 73 +(I) @LINE: 78 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 76 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 73 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. >>> (E) @LINE: 60 TEST.VALUE:uut_prototype_stubs.<>.ptr_mibspiBase_t:<> >>> >>> Unknown parameter/object name ptr_mibspiBase_t >>> >>> Value Line Error - Command Ignored Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_TREATMENTSTOP/INT_TREATMENTSTOP_cba.cvr =================================================================== diff -u -re6051a4d203f12f56632e252fc7fcb6bd781c635 -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_TREATMENTSTOP/INT_TREATMENTSTOP_cba.cvr (.../INT_TREATMENTSTOP_cba.cvr) (revision e6051a4d203f12f56632e252fc7fcb6bd781c635) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_TREATMENTSTOP/INT_TREATMENTSTOP_cba.cvr (.../INT_TREATMENTSTOP_cba.cvr) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -123,8 +123,14 @@ 10)static void setupForDialysateRecirculationState( void ) line #149 -11) +11) static TREATMENT_STOP_STATE_T handleTreatmentStopDialysateRecircState( void ) +line #399 +12) static TREATMENT_STOP_STATE_T handleTreatmentStopDeliverSalineBolusState( void ) +line #477 + +13) + --- Invalidated Analysis Lines --- >>> Failed to find matching line for: >>> Result: CBA_TreatmentStop @@ -135,6 +141,17 @@ >>> Context After: TREATMENT_STOP_STATE_T result = TREATMENT_STOP_RECOVER_BLOOD_DETECT_STATE; // Keep reseting the blood sitting timer + +--- Invalidated Analysis Lines --- + >>> Failed to find matching line for: + >>> Result: CBA_TreatmentStop + >>> Unit: 11 + >>> Function: handleTreatmentStopBloodRecircState + >>> Line Context: { + + >>> Context After: TREATMENT_STOP_STATE_T result = TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE; +result = handleTreatmentStopAlarmsAndSignals(result); + RESULT.CBA.NOTES_END RESULT.CBA.UNIT: /home/fw/workspace_hd/hdfirmware/firmware/App/Modes/TreatmentStop.c RESULT.CBA.FUNCTION: handleTreatmentStopBloodRecircState @@ -144,7 +161,7 @@ RESULT.CBA.CONTEXT: { RESULT.CBA.CONTEXT_AFTER: TREATMENT_STOP_STATE_T result = TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE; -result = handleTreatmentStopAlarmsAndSignals(result); +result = handleTreatmentStopAlarmsAndSignals( result ); RESULT.CBA.CONTEXT_AFTER_END RESULT.CBA.LINE.END RESULT.CBA.FUNCTION: handleTreatmentStopBloodSittingTimer @@ -158,6 +175,16 @@ RESULT.CBA.CONTEXT_AFTER_END RESULT.CBA.MATCHING_LINE_INDEX: 1 RESULT.CBA.LINE.END +RESULT.CBA.FUNCTION: handleTreatmentStopDeliverSalineBolusState +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +TREATMENT_STOP_STATE_T result = TREATMENT_STOP_DELIVER_SALINE_BOLUS_STATE; +execSalineBolus(); +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END RESULT.CBA.FUNCTION: handleTreatmentStopDialysateRecircState RESULT.CBA.LINE.BEGIN RESULT.CBA.LINE: 0 Index: vectorcast/Hercules_RM46_HD_Project/environment/MODEINITPOST/MODEINITPOST.tst =================================================================== diff -u -r7a2cea1950da971aff6f0a05dd7a617fa7d0824a -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/MODEINITPOST/MODEINITPOST.tst (.../MODEINITPOST.tst) (revision 7a2cea1950da971aff6f0a05dd7a617fa7d0824a) +++ vectorcast/Hercules_RM46_HD_Project/environment/MODEINITPOST/MODEINITPOST.tst (.../MODEINITPOST.tst) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -22,7 +22,7 @@ TEST.SUBPROGRAM:execFWCompatibilityTest TEST.NEW TEST.NAME:execFWCompatibilityTest.001 -TEST.VALUE:ModeInitPOST.<>.uiVersion.compatibility:16 +TEST.VALUE:ModeInitPOST.<>.uiVersion.compatibility:17 TEST.VALUE:ModeInitPOST.execFWCompatibilityTest.return:SELF_TEST_STATUS_IN_PROGRESS TEST.EXPECTED:ModeInitPOST.execFWCompatibilityTest.return:SELF_TEST_STATUS_PASSED TEST.END Index: vectorcast/Hercules_RM46_HD_Project/environment/MODESTANDBY/MODESTANDBY.tst =================================================================== diff -u -r78a4b6ca8a0bcc6b5de2b786d3beb8c135fd2aab -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/MODESTANDBY/MODESTANDBY.tst (.../MODESTANDBY.tst) (revision 78a4b6ca8a0bcc6b5de2b786d3beb8c135fd2aab) +++ vectorcast/Hercules_RM46_HD_Project/environment/MODESTANDBY/MODESTANDBY.tst (.../MODESTANDBY.tst) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -114,11 +114,15 @@ TEST.NEW TEST.NAME:execStandbyMode.005 TEST.IMPORT_FAILURES: -(I) @LINE: 240 - >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. (I) @LINE: 244 >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. +(I) @LINE: 248 + >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 240 + >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 244 + >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 236 >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 240 @@ -254,11 +258,15 @@ TEST.NEW TEST.NAME:execStandbyMode.006 TEST.IMPORT_FAILURES: -(I) @LINE: 376 +(I) @LINE: 384 >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 378 +(I) @LINE: 386 >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 376 + >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 378 + >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 368 >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 370 @@ -414,11 +422,15 @@ TEST.NEW TEST.NAME:execStandbyMode.008 TEST.IMPORT_FAILURES: -(I) @LINE: 532 +(I) @LINE: 544 >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 535 +(I) @LINE: 547 >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 532 + >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 535 + >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 520 >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 523 @@ -553,11 +565,15 @@ TEST.NEW TEST.NAME:execStandbyMode.009 TEST.IMPORT_FAILURES: -(I) @LINE: 667 +(I) @LINE: 683 >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 670 +(I) @LINE: 686 >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 667 + >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 670 + >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 651 >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 654 @@ -743,11 +759,15 @@ TEST.NEW TEST.NAME:execStandbyMode.012 TEST.IMPORT_FAILURES: -(I) @LINE: 853 +(I) @LINE: 873 >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 857 +(I) @LINE: 877 >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 853 + >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 857 + >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 833 >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 837 @@ -5247,7 +5267,7 @@ TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.isPOSTPassed.return:1 -TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:16 +TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:17 TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 TEST.END @@ -5270,7 +5290,7 @@ TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.isPOSTPassed.return:1 -TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:16 +TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:17 TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 TEST.END @@ -5334,7 +5354,7 @@ TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.isPOSTPassed.return:1 -TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:16 +TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:17 TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 TEST.END @@ -5357,7 +5377,7 @@ TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.isPOSTPassed.return:1 -TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:16 +TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:17 TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:1 TEST.END Index: vectorcast/Hercules_RM46_HD_Project/environment/MODETREATMENT/MODETREATMENT.tst =================================================================== diff -u -r78a4b6ca8a0bcc6b5de2b786d3beb8c135fd2aab -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/MODETREATMENT/MODETREATMENT.tst (.../MODETREATMENT.tst) (revision 78a4b6ca8a0bcc6b5de2b786d3beb8c135fd2aab) +++ vectorcast/Hercules_RM46_HD_Project/environment/MODETREATMENT/MODETREATMENT.tst (.../MODETREATMENT.tst) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -2224,6 +2224,91 @@ TEST.EXPECTED:ModeTreatment.handleTreatmentStopState.return:TREATMENT_STOP_STATE TEST.END +-- Subprogram: handleUFRateConfirmationMessageFromUI + +-- Test Case: handleUFRateConfirmationMessageFromUI_no_timeout_UF_not_in_progress +TEST.UNIT:ModeTreatment +TEST.SUBPROGRAM:handleUFRateConfirmationMessageFromUI +TEST.NEW +TEST.NAME:handleUFRateConfirmationMessageFromUI_no_timeout_UF_not_in_progress +TEST.VALUE:ModeTreatment.<>.txDurationRequest.newUFRateMLPM:22.2 +TEST.VALUE:ModeTreatment.<>.txDurationRequest.isUFRateConfInProgress:0 +TEST.VALUE:uut_prototype_stubs.didTimeout.return:0 +TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.requestID:GENERIC_CONFIRM_ID_UF_RATE_CHANGE_IN_TX_DURATION_CHANGE +TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.payload1:22.2 +TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.payload2:0.0 +TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.payload3:0.0 +TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.payload4:0.0 +TEST.END + +-- Test Case: handleUFRateConfirmationMessageFromUI_timeout_UF_in_progress_accepted +TEST.UNIT:ModeTreatment +TEST.SUBPROGRAM:handleUFRateConfirmationMessageFromUI +TEST.NEW +TEST.NAME:handleUFRateConfirmationMessageFromUI_timeout_UF_in_progress_accepted +TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:60 +TEST.VALUE:ModeTreatment.<>.presMaxUFVolumeML:0.0 +TEST.VALUE:ModeTreatment.<>.txDurationRequest.requestedTxDurationMins:120 +TEST.VALUE:ModeTreatment.<>.txDurationRequest.newUFRateMLPM:22.2 +TEST.VALUE:ModeTreatment.<>.txDurationRequest.isUFRateConfInProgress:1 +TEST.VALUE:uut_prototype_stubs.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_ACCEPTED +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:100 +TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 +TEST.EXPECTED:ModeTreatment.<>.presTreatmentTimeSecs:7200 +TEST.EXPECTED:ModeTreatment.<>.presUFRate:22.2 +TEST.EXPECTED:ModeTreatment.<>.txDurationRequest.rqstStartTimeStamp:0 +TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.requestID:GENERIC_CONFIRM_ID_UF_RATE_CHANGE_IN_TX_DURATION_CHANGE +TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.payload1:22.2 +TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.payload2:0.0 +TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.payload3:0.0 +TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.payload4:0.0 +TEST.EXPECTED:uut_prototype_stubs.setConfirmationRequestStatus.requestID:GENERIC_CONFIRM_ID_UF_RATE_CHANGE_IN_TX_DURATION_CHANGE +TEST.EXPECTED:uut_prototype_stubs.setConfirmationRequestStatus.status:CONFIRMATION_REQUEST_STATUS_TIMEOUT +TEST.END + +-- Test Case: handleUFRateConfirmationMessageFromUI_timeout_UF_in_progress_not_accepted_or_rejected +TEST.UNIT:ModeTreatment +TEST.SUBPROGRAM:handleUFRateConfirmationMessageFromUI +TEST.NEW +TEST.NAME:handleUFRateConfirmationMessageFromUI_timeout_UF_in_progress_not_accepted_or_rejected +TEST.VALUE:ModeTreatment.<>.txDurationRequest.newUFRateMLPM:22.2 +TEST.VALUE:ModeTreatment.<>.txDurationRequest.isUFRateConfInProgress:1 +TEST.VALUE:uut_prototype_stubs.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_PENDING +TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 +TEST.EXPECTED:ModeTreatment.<>.txDurationRequest.rqstStartTimeStamp:0 +TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.requestID:GENERIC_CONFIRM_ID_UF_RATE_CHANGE_IN_TX_DURATION_CHANGE +TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.payload1:22.2 +TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.payload2:0.0 +TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.payload3:0.0 +TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.payload4:0.0 +TEST.EXPECTED:uut_prototype_stubs.setConfirmationRequestStatus.requestID:GENERIC_CONFIRM_ID_UF_RATE_CHANGE_IN_TX_DURATION_CHANGE +TEST.EXPECTED:uut_prototype_stubs.setConfirmationRequestStatus.status:CONFIRMATION_REQUEST_STATUS_TIMEOUT +TEST.END + +-- Test Case: handleUFRateConfirmationMessageFromUI_timeout_UF_in_progress_rejected +TEST.UNIT:ModeTreatment +TEST.SUBPROGRAM:handleUFRateConfirmationMessageFromUI +TEST.NEW +TEST.NAME:handleUFRateConfirmationMessageFromUI_timeout_UF_in_progress_rejected +TEST.VALUE:ModeTreatment.<>.txDurationRequest.requestedTxDurationMins:120 +TEST.VALUE:ModeTreatment.<>.txDurationRequest.newUFRateMLPM:22.2 +TEST.VALUE:ModeTreatment.<>.txDurationRequest.isUFRateConfInProgress:1 +TEST.VALUE:uut_prototype_stubs.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_REJECTED +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:100 +TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 +TEST.EXPECTED:ModeTreatment.<>.txDurationRequest.requestedTxDurationMins:0 +TEST.EXPECTED:ModeTreatment.<>.txDurationRequest.newUFRateMLPM:0.0 +TEST.EXPECTED:ModeTreatment.<>.txDurationRequest.isUFRateConfInProgress:0 +TEST.EXPECTED:ModeTreatment.<>.txDurationRequest.rqstStartTimeStamp:0 +TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.requestID:GENERIC_CONFIRM_ID_UF_RATE_CHANGE_IN_TX_DURATION_CHANGE +TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.payload1:22.2 +TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.payload2:0.0 +TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.payload3:0.0 +TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.payload4:0.0 +TEST.EXPECTED:uut_prototype_stubs.setConfirmationRequestStatus.requestID:GENERIC_CONFIRM_ID_UF_RATE_CHANGE_IN_TX_DURATION_CHANGE +TEST.EXPECTED:uut_prototype_stubs.setConfirmationRequestStatus.status:CONFIRMATION_REQUEST_STATUS_TIMEOUT +TEST.END + -- Subprogram: initTreatmentMode -- Test Case: initTreatmentMode_NominalPath @@ -3650,29 +3735,30 @@ -- Subprogram: verifyTreatmentDurationSettingChange --- Test Case: verifyTreatmentDurationSettingChange.01_not_in_Tx +-- Test Case: verifyTreatmentDurationSettingChange_in_Tx_num_of_Tx_states TEST.UNIT:ModeTreatment TEST.SUBPROGRAM:verifyTreatmentDurationSettingChange TEST.NEW -TEST.NAME:verifyTreatmentDurationSettingChange.01_not_in_Tx +TEST.NAME:verifyTreatmentDurationSettingChange_in_Tx_num_of_Tx_states +TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_END_STATE TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:60 TEST.VALUE:ModeTreatment.<>.presUFRate:2.0 TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.data:50 TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.override:0 TEST.VALUE:uut_prototype_stubs.getUltrafiltrationReferenceVolume.return:2.0 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_SERV +TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:150 TEST.EXPECTED:ModeTreatment.verifyTreatmentDurationSettingChange.return:0 TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.accepted:0 -TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.reason:3 +TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.reason:4 TEST.END --- Test Case: verifyTreatmentDurationSettingChange.02_in_Tx_num_of_Tx_states +-- Test Case: verifyTreatmentDurationSettingChange_in_Tx_start_Tx_state TEST.UNIT:ModeTreatment TEST.SUBPROGRAM:verifyTreatmentDurationSettingChange TEST.NEW -TEST.NAME:verifyTreatmentDurationSettingChange.02_in_Tx_num_of_Tx_states -TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_END_STATE +TEST.NAME:verifyTreatmentDurationSettingChange_in_Tx_start_Tx_state +TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_START_STATE TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:60 TEST.VALUE:ModeTreatment.<>.presUFRate:2.0 TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.data:50 @@ -3685,115 +3771,174 @@ TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.reason:4 TEST.END --- Test Case: verifyTreatmentDurationSettingChange.03_in_Tx_start_Tx_state +-- Test Case: verifyTreatmentDurationSettingChange_in_Tx_state_min_Tx_time_not_valid TEST.UNIT:ModeTreatment TEST.SUBPROGRAM:verifyTreatmentDurationSettingChange TEST.NEW -TEST.NAME:verifyTreatmentDurationSettingChange.03_in_Tx_start_Tx_state -TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_START_STATE +TEST.NAME:verifyTreatmentDurationSettingChange_in_Tx_state_min_Tx_time_not_valid +TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_BLOOD_PRIME_STATE TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:60 TEST.VALUE:ModeTreatment.<>.presUFRate:2.0 +TEST.VALUE:ModeTreatment.<>.treatmentTimeMS:600000 TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.data:50 TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.override:0 +TEST.VALUE:ModeTreatment.verifyTreatmentDurationSettingChange.treatmentTime:70 +TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:0 +TEST.VALUE:uut_prototype_stubs.getTotalMeasuredUFVolumeInMl.return:5.0 TEST.VALUE:uut_prototype_stubs.getUltrafiltrationReferenceVolume.return:2.0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:150 +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:20.0 +TEST.VALUE:uut_prototype_stubs.getU32TreatmentParamLowerRangeLimit.return:80 +TEST.VALUE:uut_prototype_stubs.getF32TreatmentParamLowerRangeLimit.return:150.0 TEST.EXPECTED:ModeTreatment.verifyTreatmentDurationSettingChange.return:0 TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.accepted:0 -TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.reason:4 +TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.reason:6 TEST.END --- Test Case: verifyTreatmentDurationSettingChange.04_in_Tx_state_min_time +-- Test Case: verifyTreatmentDurationSettingChange_in_Tx_state_min_Tx_time_not_valid_dialysate_>_150000 TEST.UNIT:ModeTreatment TEST.SUBPROGRAM:verifyTreatmentDurationSettingChange TEST.NEW -TEST.NAME:verifyTreatmentDurationSettingChange.04_in_Tx_state_min_time +TEST.NAME:verifyTreatmentDurationSettingChange_in_Tx_state_min_Tx_time_not_valid_dialysate_>_150000 TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_BLOOD_PRIME_STATE TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:60 +TEST.VALUE:ModeTreatment.<>.presMaxUFVolumeML:15.0 TEST.VALUE:ModeTreatment.<>.presUFRate:2.0 TEST.VALUE:ModeTreatment.<>.treatmentTimeMS:600000 TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.data:50 TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.override:0 -TEST.VALUE:ModeTreatment.verifyTreatmentDurationSettingChange.treatmentTime:2 -TEST.VALUE:uut_prototype_stubs.getUltrafiltrationReferenceVolume.return:2.0 +TEST.VALUE:ModeTreatment.verifyTreatmentDurationSettingChange.treatmentTime:75 +TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 +TEST.VALUE:uut_prototype_stubs.getTotalMeasuredUFVolumeInMl.return:5.0 +TEST.VALUE:uut_prototype_stubs.getUltrafiltrationReferenceVolume.return:200.0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:150 +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:15000 +TEST.VALUE:uut_prototype_stubs.getU32TreatmentParamLowerRangeLimit.return:80 +TEST.VALUE:uut_prototype_stubs.getU32TreatmentParamUpperRangeLimit.return:100 +TEST.VALUE:uut_prototype_stubs.getF32TreatmentParamLowerRangeLimit.return:150.0 TEST.EXPECTED:ModeTreatment.verifyTreatmentDurationSettingChange.return:0 TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.accepted:0 -TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.reason:13 +TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.reason:10 TEST.END --- Test Case: verifyTreatmentDurationSettingChange.05_in_Tx_state_min_time_>_time_>_60_mins +-- Test Case: verifyTreatmentDurationSettingChange_in_Tx_state_min_Tx_time_not_valid_pres_UF_<_meas_UF TEST.UNIT:ModeTreatment TEST.SUBPROGRAM:verifyTreatmentDurationSettingChange TEST.NEW -TEST.NAME:verifyTreatmentDurationSettingChange.05_in_Tx_state_min_time_>_time_>_60_mins +TEST.NAME:verifyTreatmentDurationSettingChange_in_Tx_state_min_Tx_time_not_valid_pres_UF_<_meas_UF TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_BLOOD_PRIME_STATE TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:60 +TEST.VALUE:ModeTreatment.<>.presMaxUFVolumeML:15.0 TEST.VALUE:ModeTreatment.<>.presUFRate:2.0 -TEST.VALUE:ModeTreatment.<>.treatmentTimeMS:5000000 +TEST.VALUE:ModeTreatment.<>.treatmentTimeMS:600000 TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.data:50 TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.override:0 -TEST.VALUE:ModeTreatment.verifyTreatmentDurationSettingChange.treatmentTime:65 -TEST.VALUE:uut_prototype_stubs.getUltrafiltrationReferenceVolume.return:2.0 +TEST.VALUE:ModeTreatment.verifyTreatmentDurationSettingChange.treatmentTime:90 +TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 +TEST.VALUE:uut_prototype_stubs.getTotalMeasuredUFVolumeInMl.return:5.0 +TEST.VALUE:uut_prototype_stubs.getUltrafiltrationReferenceVolume.return:200.0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:150 +TEST.VALUE:uut_prototype_stubs.getU32TreatmentParamLowerRangeLimit.return:80 +TEST.VALUE:uut_prototype_stubs.getF32TreatmentParamLowerRangeLimit.return:150.0 TEST.EXPECTED:ModeTreatment.verifyTreatmentDurationSettingChange.return:0 TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.accepted:0 -TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.reason:7 +TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.reason:6 TEST.END --- Test Case: verifyTreatmentDurationSettingChange.06_in_Tx_state_min_time_<_60_mins +-- Test Case: verifyTreatmentDurationSettingChange_in_Tx_state_min_Tx_time_valid_UF_rate_change_in_range TEST.UNIT:ModeTreatment TEST.SUBPROGRAM:verifyTreatmentDurationSettingChange TEST.NEW -TEST.NAME:verifyTreatmentDurationSettingChange.06_in_Tx_state_min_time_<_60_mins +TEST.NAME:verifyTreatmentDurationSettingChange_in_Tx_state_min_Tx_time_valid_UF_rate_change_in_range TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_BLOOD_PRIME_STATE TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:60 +TEST.VALUE:ModeTreatment.<>.presMaxUFVolumeML:15.0 TEST.VALUE:ModeTreatment.<>.presUFRate:2.0 -TEST.VALUE:ModeTreatment.<>.treatmentTimeMS:1000 +TEST.VALUE:ModeTreatment.<>.treatmentTimeMS:600000 TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.data:50 TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.override:0 -TEST.VALUE:ModeTreatment.verifyTreatmentDurationSettingChange.treatmentTime:50 -TEST.VALUE:uut_prototype_stubs.getUltrafiltrationReferenceVolume.return:2.0 +TEST.VALUE:ModeTreatment.verifyTreatmentDurationSettingChange.treatmentTime:70 +TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 +TEST.VALUE:uut_prototype_stubs.getTotalMeasuredUFVolumeInMl.return:5.0 +TEST.VALUE:uut_prototype_stubs.getUltrafiltrationReferenceVolume.return:200.0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:150 -TEST.EXPECTED:ModeTreatment.verifyTreatmentDurationSettingChange.return:0 -TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.accepted:0 -TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.reason:13 +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:2.0 +TEST.VALUE:uut_prototype_stubs.getU32TreatmentParamLowerRangeLimit.return:80 +TEST.VALUE:uut_prototype_stubs.getU32TreatmentParamUpperRangeLimit.return:100 +TEST.VALUE:uut_prototype_stubs.getF32TreatmentParamLowerRangeLimit.return:150.0 +TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:12345 +TEST.EXPECTED:ModeTreatment.<>.txDurationRequest.requestedTxDurationMins:70 +TEST.EXPECTED:ModeTreatment.<>.txDurationRequest.newUFRateMLPM:33.25 +TEST.EXPECTED:ModeTreatment.<>.txDurationRequest.isUFRateConfInProgress:1 +TEST.EXPECTED:ModeTreatment.<>.txDurationRequest.rqstStartTimeStamp:12345 +TEST.EXPECTED:ModeTreatment.verifyTreatmentDurationSettingChange.return:1 TEST.END --- Test Case: verifyTreatmentDurationSettingChange.07_in_Tx_state_min_Tx_time_not_valid +-- Test Case: verifyTreatmentDurationSettingChange_in_Tx_state_min_Tx_time_valid_UF_rate_change_rejcet TEST.UNIT:ModeTreatment TEST.SUBPROGRAM:verifyTreatmentDurationSettingChange TEST.NEW -TEST.NAME:verifyTreatmentDurationSettingChange.07_in_Tx_state_min_Tx_time_not_valid +TEST.NAME:verifyTreatmentDurationSettingChange_in_Tx_state_min_Tx_time_valid_UF_rate_change_rejcet TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_BLOOD_PRIME_STATE TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:60 +TEST.VALUE:ModeTreatment.<>.presMaxUFVolumeML:15.0 TEST.VALUE:ModeTreatment.<>.presUFRate:2.0 TEST.VALUE:ModeTreatment.<>.treatmentTimeMS:600000 TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.data:50 TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.override:0 TEST.VALUE:ModeTreatment.verifyTreatmentDurationSettingChange.treatmentTime:70 -TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:0 -TEST.VALUE:uut_prototype_stubs.getUltrafiltrationReferenceVolume.return:2.0 +TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 +TEST.VALUE:uut_prototype_stubs.getTotalMeasuredUFVolumeInMl.return:5.0 +TEST.VALUE:uut_prototype_stubs.getUltrafiltrationReferenceVolume.return:200.0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:150 +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:2.5 TEST.VALUE:uut_prototype_stubs.getU32TreatmentParamLowerRangeLimit.return:80 +TEST.VALUE:uut_prototype_stubs.getU32TreatmentParamUpperRangeLimit.return:100 TEST.VALUE:uut_prototype_stubs.getF32TreatmentParamLowerRangeLimit.return:150.0 +TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:12345 TEST.EXPECTED:ModeTreatment.verifyTreatmentDurationSettingChange.return:0 TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.accepted:0 -TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.reason:6 +TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.reason:12 TEST.END --- Test Case: verifyTreatmentDurationSettingChange.08_in_Tx_state_min_Tx_time_valid_uf_not_valid +-- Test Case: verifyTreatmentDurationSettingChange_in_Tx_state_min_Tx_time_valid_no_UF_rate_change TEST.UNIT:ModeTreatment TEST.SUBPROGRAM:verifyTreatmentDurationSettingChange TEST.NEW -TEST.NAME:verifyTreatmentDurationSettingChange.08_in_Tx_state_min_Tx_time_valid_uf_not_valid +TEST.NAME:verifyTreatmentDurationSettingChange_in_Tx_state_min_Tx_time_valid_no_UF_rate_change TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_BLOOD_PRIME_STATE TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:60 +TEST.VALUE:ModeTreatment.<>.presMaxUFVolumeML:15.0 TEST.VALUE:ModeTreatment.<>.presUFRate:2.0 +TEST.VALUE:ModeTreatment.<>.treatmentTimeMS:600000 +TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.data:50 +TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.override:0 +TEST.VALUE:ModeTreatment.verifyTreatmentDurationSettingChange.treatmentTime:75 +TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 +TEST.VALUE:uut_prototype_stubs.getTotalMeasuredUFVolumeInMl.return:5.0 +TEST.VALUE:uut_prototype_stubs.getUltrafiltrationReferenceVolume.return:200.0 +TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:150 +TEST.VALUE:uut_prototype_stubs.getU32TreatmentParamLowerRangeLimit.return:80 +TEST.VALUE:uut_prototype_stubs.getU32TreatmentParamUpperRangeLimit.return:100 +TEST.VALUE:uut_prototype_stubs.getF32TreatmentParamLowerRangeLimit.return:150.0 +TEST.EXPECTED:ModeTreatment.verifyTreatmentDurationSettingChange.return:1 +TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.accepted:1 +TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.reason:0 +TEST.END + +-- Test Case: verifyTreatmentDurationSettingChange_in_Tx_state_min_Tx_time_valid_uf_not_valid +TEST.UNIT:ModeTreatment +TEST.SUBPROGRAM:verifyTreatmentDurationSettingChange +TEST.NEW +TEST.NAME:verifyTreatmentDurationSettingChange_in_Tx_state_min_Tx_time_valid_uf_not_valid +TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_BLOOD_PRIME_STATE +TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:60 +TEST.VALUE:ModeTreatment.<>.presUFRate:2.0 TEST.VALUE:ModeTreatment.<>.treatmentTimeMS:1000 TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.data:50 TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.override:0 @@ -3810,11 +3955,11 @@ TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.reason:6 TEST.END --- Test Case: verifyTreatmentDurationSettingChange.09_in_Tx_state_min_Tx_time_valid_uf_valid_dial_flow_not_valid +-- Test Case: verifyTreatmentDurationSettingChange_in_Tx_state_min_Tx_time_valid_uf_valid_dial_flow_not_valid TEST.UNIT:ModeTreatment TEST.SUBPROGRAM:verifyTreatmentDurationSettingChange TEST.NEW -TEST.NAME:verifyTreatmentDurationSettingChange.09_in_Tx_state_min_Tx_time_valid_uf_valid_dial_flow_not_valid +TEST.NAME:verifyTreatmentDurationSettingChange_in_Tx_state_min_Tx_time_valid_uf_valid_dial_flow_not_valid TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_BLOOD_PRIME_STATE TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:60 TEST.VALUE:ModeTreatment.<>.presUFRate:0.0 @@ -3834,56 +3979,83 @@ TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.reason:10 TEST.END --- Test Case: verifyTreatmentDurationSettingChange.10_in_Tx_state_min_Tx_time_valid_uf_not_valid_dial_flow_not_valid +-- Test Case: verifyTreatmentDurationSettingChange_in_Tx_state_min_time TEST.UNIT:ModeTreatment TEST.SUBPROGRAM:verifyTreatmentDurationSettingChange TEST.NEW -TEST.NAME:verifyTreatmentDurationSettingChange.10_in_Tx_state_min_Tx_time_valid_uf_not_valid_dial_flow_not_valid +TEST.NAME:verifyTreatmentDurationSettingChange_in_Tx_state_min_time TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_BLOOD_PRIME_STATE TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:60 TEST.VALUE:ModeTreatment.<>.presUFRate:2.0 +TEST.VALUE:ModeTreatment.<>.treatmentTimeMS:600000 +TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.data:50 +TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.override:0 +TEST.VALUE:ModeTreatment.verifyTreatmentDurationSettingChange.treatmentTime:2 +TEST.VALUE:uut_prototype_stubs.getUltrafiltrationReferenceVolume.return:2.0 +TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:150 +TEST.EXPECTED:ModeTreatment.verifyTreatmentDurationSettingChange.return:0 +TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.accepted:0 +TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.reason:13 +TEST.END + +-- Test Case: verifyTreatmentDurationSettingChange_in_Tx_state_min_time_<_60_mins +TEST.UNIT:ModeTreatment +TEST.SUBPROGRAM:verifyTreatmentDurationSettingChange +TEST.NEW +TEST.NAME:verifyTreatmentDurationSettingChange_in_Tx_state_min_time_<_60_mins +TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_BLOOD_PRIME_STATE +TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:60 +TEST.VALUE:ModeTreatment.<>.presUFRate:2.0 TEST.VALUE:ModeTreatment.<>.treatmentTimeMS:1000 TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.data:50 TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.override:0 -TEST.VALUE:ModeTreatment.verifyTreatmentDurationSettingChange.treatmentTime:70 -TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 +TEST.VALUE:ModeTreatment.verifyTreatmentDurationSettingChange.treatmentTime:50 TEST.VALUE:uut_prototype_stubs.getUltrafiltrationReferenceVolume.return:2.0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:10 -TEST.VALUE:uut_prototype_stubs.getU32TreatmentParamLowerRangeLimit.return:80 -TEST.VALUE:uut_prototype_stubs.getU32TreatmentParamUpperRangeLimit.return:90 -TEST.VALUE:uut_prototype_stubs.getF32TreatmentParamLowerRangeLimit.return:0.1 +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:150 TEST.EXPECTED:ModeTreatment.verifyTreatmentDurationSettingChange.return:0 TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.accepted:0 -TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.reason:11 +TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.reason:13 TEST.END --- Test Case: verifyTreatmentDurationSettingChange.11_in_Tx_state_min_Tx_time_valid_uf_valid_dial_flow_valid +-- Test Case: verifyTreatmentDurationSettingChange_in_Tx_state_min_time_>_time_>_60_mins TEST.UNIT:ModeTreatment TEST.SUBPROGRAM:verifyTreatmentDurationSettingChange TEST.NEW -TEST.NAME:verifyTreatmentDurationSettingChange.11_in_Tx_state_min_Tx_time_valid_uf_valid_dial_flow_valid +TEST.NAME:verifyTreatmentDurationSettingChange_in_Tx_state_min_time_>_time_>_60_mins TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_BLOOD_PRIME_STATE TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:60 TEST.VALUE:ModeTreatment.<>.presUFRate:2.0 -TEST.VALUE:ModeTreatment.<>.treatmentTimeMS:600000 +TEST.VALUE:ModeTreatment.<>.treatmentTimeMS:5000000 TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.data:50 TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.override:0 -TEST.VALUE:ModeTreatment.verifyTreatmentDurationSettingChange.treatmentTime:70 -TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 +TEST.VALUE:ModeTreatment.verifyTreatmentDurationSettingChange.treatmentTime:65 TEST.VALUE:uut_prototype_stubs.getUltrafiltrationReferenceVolume.return:2.0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:10 -TEST.VALUE:uut_prototype_stubs.getU32TreatmentParamLowerRangeLimit.return:80 -TEST.VALUE:uut_prototype_stubs.getU32TreatmentParamUpperRangeLimit.return:90 -TEST.VALUE:uut_prototype_stubs.getF32TreatmentParamLowerRangeLimit.return:0.1 -TEST.VALUE:uut_prototype_stubs.getF32TreatmentParamUpperRangeLimit.return:2.0 -TEST.EXPECTED:ModeTreatment.<>.presMaxUFVolumeML:122.0 -TEST.EXPECTED:ModeTreatment.verifyTreatmentDurationSettingChange.return:1 -TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.accepted:1 -TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.reason:0 +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:150 +TEST.EXPECTED:ModeTreatment.verifyTreatmentDurationSettingChange.return:0 +TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.accepted:0 +TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.reason:7 TEST.END +-- Test Case: verifyTreatmentDurationSettingChange_not_in_Tx +TEST.UNIT:ModeTreatment +TEST.SUBPROGRAM:verifyTreatmentDurationSettingChange +TEST.NEW +TEST.NAME:verifyTreatmentDurationSettingChange_not_in_Tx +TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:60 +TEST.VALUE:ModeTreatment.<>.presUFRate:2.0 +TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.data:50 +TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.override:0 +TEST.VALUE:uut_prototype_stubs.getUltrafiltrationReferenceVolume.return:2.0 +TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_SERV +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:150 +TEST.EXPECTED:ModeTreatment.verifyTreatmentDurationSettingChange.return:0 +TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.accepted:0 +TEST.EXPECTED:uut_prototype_stubs.sendChangeTreatmentDurationResponse.reason:3 +TEST.END + -- Subprogram: verifyUFSettingsChange -- Test Case: verifyUFSettingsChange_in_Tx_in_state_UF_out_lower_range @@ -4099,9 +4271,15 @@ TEST.NEW TEST.NAME:verifyUFSettingsConfirmation_ConfirmationTimeout TEST.IMPORT_FAILURES: -(I) @LINE: 4208 +(I) @LINE: 4386 >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 4221 + >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 4210 + >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 4208 + >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 4169 >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 4062 @@ -4230,9 +4408,15 @@ TEST.NEW TEST.NAME:verifyUFSettingsConfirmation_NotInTreatmentMode TEST.IMPORT_FAILURES: -(I) @LINE: 4337 +(I) @LINE: 4521 >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 4354 + >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 4341 + >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 4337 + >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 4296 >>> >>> 'UF_ADJ_UF_RATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 4187 Index: vectorcast/Hercules_RM46_HD_Project/environment/TREATMENTSTOP/TREATMENTSTOP.tst =================================================================== diff -u -re6051a4d203f12f56632e252fc7fcb6bd781c635 -ra99ba4c383d65b09a1681d1b7f74be94b3359412 --- vectorcast/Hercules_RM46_HD_Project/environment/TREATMENTSTOP/TREATMENTSTOP.tst (.../TREATMENTSTOP.tst) (revision e6051a4d203f12f56632e252fc7fcb6bd781c635) +++ vectorcast/Hercules_RM46_HD_Project/environment/TREATMENTSTOP/TREATMENTSTOP.tst (.../TREATMENTSTOP.tst) (revision a99ba4c383d65b09a1681d1b7f74be94b3359412) @@ -36,7 +36,7 @@ TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:100 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 -TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:5 +TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:6 TEST.END -- Test Case: execTreatmentStop_recover_blood_detect_state @@ -122,6 +122,16 @@ TEST.EXPECTED:TreatmentStop.<>.currentTxStopState:TREATMENT_STOP_RECIRC_STATE TEST.END +-- Test Case: execTreatmentStop_stop_saline_bolus +TEST.UNIT:TreatmentStop +TEST.SUBPROGRAM:execTreatmentStop +TEST.NEW +TEST.NAME:execTreatmentStop_stop_saline_bolus +TEST.VALUE:TreatmentStop.<>.currentTxStopState:TREATMENT_STOP_DELIVER_SALINE_BOLUS_STATE +TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS +TEST.EXPECTED:TreatmentStop.<>.currentTxStopState:TREATMENT_STOP_DELIVER_SALINE_BOLUS_STATE +TEST.END + -- Subprogram: getCurrentTreatmentStopState -- Test Case: getCurrentTreatmentStopState.001 @@ -298,6 +308,29 @@ TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE TEST.END +-- Test Case: handleTreatmentStopAlarmsAndSignals_saline_not_requested_saline_idle +TEST.UNIT:TreatmentStop +TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals +TEST.NEW +TEST.NAME:handleTreatmentStopAlarmsAndSignals_saline_not_requested_saline_idle +TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:0 +TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IDLE +TEST.VALUE:uut_prototype_stubs.isSalineBolusStartRequested.return:1 +TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_DELIVER_SALINE_BOLUS_STATE +TEST.EXPECTED:uut_prototype_stubs.setCurrent4thLevelState.state:0 +TEST.END + +-- Test Case: handleTreatmentStopAlarmsAndSignals_saline_requested_saline_not_idle +TEST.UNIT:TreatmentStop +TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals +TEST.NEW +TEST.NAME:handleTreatmentStopAlarmsAndSignals_saline_requested_saline_not_idle +TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:0 +TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP +TEST.VALUE:uut_prototype_stubs.isSalineBolusStartRequested.return:0 +TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_DELIVER_SALINE_BOLUS_STATE +TEST.END + -- Subprogram: handleTreatmentStopBloodRecircState -- Test Case: handleTreatmentStopBloodRecircState.001 @@ -393,6 +426,18 @@ TEST.EXPECTED:TreatmentStop.<>.bloodSittingTimerCtr:6 TEST.END +-- Subprogram: handleTreatmentStopDeliverSalineBolusState + +-- Test Case: handleTreatmentStopDeliverSalineBolusState.001 +TEST.UNIT:TreatmentStop +TEST.SUBPROGRAM:handleTreatmentStopDeliverSalineBolusState +TEST.NEW +TEST.NAME:handleTreatmentStopDeliverSalineBolusState.001 +TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP +TEST.VALUE:uut_prototype_stubs.isSalineBolusStartRequested.return:0 +TEST.EXPECTED:TreatmentStop.handleTreatmentStopDeliverSalineBolusState.return:TREATMENT_STOP_DELIVER_SALINE_BOLUS_STATE +TEST.END + -- Subprogram: handleTreatmentStopDialysateRecircState -- Test Case: handleTreatmentStopDialysateRecircState.001