Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_PRETREATMENTRECIRC/INT_PRETREATMENTRECIRC.env =================================================================== diff -u -rbee4a17cf2dedb3a18483e2c05846785ed1b3da7 -r7034ec1e752c8145ebb6a7afcd07e17378ddb807 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_PRETREATMENTRECIRC/INT_PRETREATMENTRECIRC.env (.../INT_PRETREATMENTRECIRC.env) (revision bee4a17cf2dedb3a18483e2c05846785ed1b3da7) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_PRETREATMENTRECIRC/INT_PRETREATMENTRECIRC.env (.../INT_PRETREATMENTRECIRC.env) (revision 7034ec1e752c8145ebb6a7afcd07e17378ddb807) @@ -12,6 +12,60 @@ ENVIRO.STUB: ALL_BY_PROTOTYPE ENVIRO.TYPE_HANDLED_DIRS_ALLOWED: ENVIRO.LIBRARY_STUBS: +ENVIRO.UNIT_PREFIX_USER_CODE: +ENVIRO.UNIT_PREFIX_USER_CODE_FILE:BloodFlow +#include "reg_etpwm.h" +#include "reg_can.h" + +etpwmBASE_t * ptr_etpwmBASE_t ; +#undef etpwmREG1 +#define etpwmREG1 ptr_etpwmBASE_t + +canBASE_t * ptr_canBASE_t; +#undef canREG3 +#define canREG3 ptr_canBASE_t +ENVIRO.END_UNIT_PREFIX_USER_CODE_FILE: +ENVIRO.UNIT_PREFIX_USER_CODE_FILE:DialInFlow +#include "reg_etpwm.h" +#include "reg_gio.h" +#include "reg_mibspi.h" + +etpwmBASE_t * ptr_etpwmBASE_t ; +#undef etpwmREG2 +#define etpwmREG2 ptr_etpwmBASE_t + +gioPORT_t * ptr_gioPORT_t; +#undef gioPORTA +#define gioPORTA ptr_gioPORT_t + +mibspiBASE_t * ptr_mibspiBASE_t; +#undef mibspiREG5 +#define mibspiREG5 ptr_mibspiBASE_t +ENVIRO.END_UNIT_PREFIX_USER_CODE_FILE: +ENVIRO.UNIT_PREFIX_USER_CODE_FILE:DialOutFlow +#include "reg_mibspi.h" +#include "reg_etpwm.h" +#include "reg_gio.h" + +mibspiBASE_t * ptr_mibspiBase_t; +#undef mibspiREG1 +#define mibspiREG1 ptr_mibspiBase_t + +etpwmBASE_t * ptr_etpwmBASE_t; +#undef etpwmREG3 +#define etpwmREG3 ptr_etpwmBASE_t + +gioPORT_t * ptr_gioPORT_t; +#undef gioPORTA +#define gioPORTA ptr_gioPORT_t +ENVIRO.END_UNIT_PREFIX_USER_CODE_FILE: +ENVIRO.UNIT_PREFIX_USER_CODE_FILE:Valves +#include "reg_het.h" +gioPORT_t * ptr_gioPort; +#undef hetPORT1 +#define hetPORT1 ptr_gioPort +ENVIRO.END_UNIT_PREFIX_USER_CODE_FILE: +ENVIRO.END_UNIT_PREFIX_USER_CODE: ENVIRO.COVERAGE_TYPE: FUNCTION ENVIRO.WHITE_BOX: YES ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/include/ Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_PRETREATMENTRECIRC/INT_PRETREATMENTRECIRC.tst =================================================================== diff -u -rbee4a17cf2dedb3a18483e2c05846785ed1b3da7 -r7034ec1e752c8145ebb6a7afcd07e17378ddb807 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_PRETREATMENTRECIRC/INT_PRETREATMENTRECIRC.tst (.../INT_PRETREATMENTRECIRC.tst) (revision bee4a17cf2dedb3a18483e2c05846785ed1b3da7) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_PRETREATMENTRECIRC/INT_PRETREATMENTRECIRC.tst (.../INT_PRETREATMENTRECIRC.tst) (revision 7034ec1e752c8145ebb6a7afcd07e17378ddb807) @@ -23,8 +23,17 @@ TEST.NEW TEST.NAME:transitionToPreTreatmentRecirc TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_PRIME_COMPLETED_LOW_PRIORITY -TEST.VALUE:uut_prototype_stubs.getPrimeState.return:HD_PRIME_COMPLETE -TEST.VALUE:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:SUBMODE_COMPLETE_UI_TRANSITION_TIME_COUNT +TEST.VALUE:uut_prototype_stubs.getPrimeState.return:MACRO=HD_PRIME_COMPLETE +TEST.VALUE:BloodFlow.<>.ptr_etpwmBASE_t:<> +TEST.VALUE:BloodFlow.<>.ptr_canBASE_t:<> +TEST.VALUE:DialInFlow.<>.ptr_etpwmBASE_t:<> +TEST.VALUE:DialInFlow.<>.ptr_gioPORT_t:<> +TEST.VALUE:DialInFlow.<>.ptr_mibspiBASE_t:<> +TEST.VALUE:DialOutFlow.<>.ptr_mibspiBase_t:<> +TEST.VALUE:DialOutFlow.<>.ptr_etpwmBASE_t:<> +TEST.VALUE:DialOutFlow.<>.ptr_gioPORT_t:<> +TEST.VALUE:Valves.<>.ptr_gioPort:<> +TEST.VALUE:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:MACRO=SUBMODE_COMPLETE_UI_TRANSITION_TIME_COUNT TEST.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_PRIME_COMPLETED_LOW_PRIORITY TEST.END Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_PRETREATMENTRECIRC/INT_PRETREATMENTRECIRC_cba.cvr =================================================================== diff -u -rbee4a17cf2dedb3a18483e2c05846785ed1b3da7 -r7034ec1e752c8145ebb6a7afcd07e17378ddb807 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_PRETREATMENTRECIRC/INT_PRETREATMENTRECIRC_cba.cvr (.../INT_PRETREATMENTRECIRC_cba.cvr) (revision bee4a17cf2dedb3a18483e2c05846785ed1b3da7) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_PRETREATMENTRECIRC/INT_PRETREATMENTRECIRC_cba.cvr (.../INT_PRETREATMENTRECIRC_cba.cvr) (revision 7034ec1e752c8145ebb6a7afcd07e17378ddb807) @@ -205,7 +205,7 @@ 1)static HD_PRE_TREATMENT_RECIRC_STATE_T handlePreTreatmentRecirculateStoppedState( void ) Line # 245 RESULT.CBA.NOTES_END -RESULT.CBA.UNIT: /home/asif/work/update_23rd/workspace_hd/hdfirmware/firmware/App/Modes/PreTreatmentRecirc.c +RESULT.CBA.UNIT: /home/fw/wshd/hdfirmware/firmware/App/Modes/PreTreatmentRecirc.c RESULT.CBA.FUNCTION: handlePreTreatmentRecirculateStoppedState RESULT.CBA.LINE.BEGIN RESULT.CBA.LINE: 0 Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_PRIME/INT_PRIME.env =================================================================== diff -u -rbee4a17cf2dedb3a18483e2c05846785ed1b3da7 -r7034ec1e752c8145ebb6a7afcd07e17378ddb807 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_PRIME/INT_PRIME.env (.../INT_PRIME.env) (revision bee4a17cf2dedb3a18483e2c05846785ed1b3da7) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_PRIME/INT_PRIME.env (.../INT_PRIME.env) (revision 7034ec1e752c8145ebb6a7afcd07e17378ddb807) @@ -18,6 +18,60 @@ ENVIRO.STUB: ALL_BY_PROTOTYPE ENVIRO.TYPE_HANDLED_DIRS_ALLOWED: ENVIRO.LIBRARY_STUBS: +ENVIRO.UNIT_PREFIX_USER_CODE: +ENVIRO.UNIT_PREFIX_USER_CODE_FILE:BloodFlow +#include "reg_etpwm.h" +#include "reg_can.h" + +etpwmBASE_t * ptr_etpwmBASE_t ; +#undef etpwmREG1 +#define etpwmREG1 ptr_etpwmBASE_t + +canBASE_t * ptr_canBASE_t; +#undef canREG3 +#define canREG3 ptr_canBASE_t +ENVIRO.END_UNIT_PREFIX_USER_CODE_FILE: +ENVIRO.UNIT_PREFIX_USER_CODE_FILE:DialInFlow +#include "reg_etpwm.h" +#include "reg_gio.h" +#include "reg_mibspi.h" + +etpwmBASE_t * ptr_etpwmBASE_t ; +#undef etpwmREG2 +#define etpwmREG2 ptr_etpwmBASE_t + +gioPORT_t * ptr_gioPORT_t; +#undef gioPORTA +#define gioPORTA ptr_gioPORT_t + +mibspiBASE_t * ptr_mibspiBASE_t; +#undef mibspiREG5 +#define mibspiREG5 ptr_mibspiBASE_t +ENVIRO.END_UNIT_PREFIX_USER_CODE_FILE: +ENVIRO.UNIT_PREFIX_USER_CODE_FILE:DialOutFlow +#include "reg_mibspi.h" +#include "reg_etpwm.h" +#include "reg_gio.h" + +mibspiBASE_t * ptr_mibspiBase_t; +#undef mibspiREG1 +#define mibspiREG1 ptr_mibspiBase_t + +etpwmBASE_t * ptr_etpwmBASE_t; +#undef etpwmREG3 +#define etpwmREG3 ptr_etpwmBASE_t + +gioPORT_t * ptr_gioPORT_t; +#undef gioPORTA +#define gioPORTA ptr_gioPORT_t +ENVIRO.END_UNIT_PREFIX_USER_CODE_FILE: +ENVIRO.UNIT_PREFIX_USER_CODE_FILE:Valves +#include "reg_het.h" +gioPORT_t * ptr_gioPort; +#undef hetPORT1 +#define hetPORT1 ptr_gioPort +ENVIRO.END_UNIT_PREFIX_USER_CODE_FILE: +ENVIRO.END_UNIT_PREFIX_USER_CODE: ENVIRO.COVERAGE_TYPE: FUNCTION ENVIRO.WHITE_BOX: YES ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/include/ Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_PRIME/INT_PRIME.tst =================================================================== diff -u -rbee4a17cf2dedb3a18483e2c05846785ed1b3da7 -r7034ec1e752c8145ebb6a7afcd07e17378ddb807 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_PRIME/INT_PRIME.tst (.../INT_PRIME.tst) (revision bee4a17cf2dedb3a18483e2c05846785ed1b3da7) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_PRIME/INT_PRIME.tst (.../INT_PRIME.tst) (revision 7034ec1e752c8145ebb6a7afcd07e17378ddb807) @@ -26,27 +26,11 @@ TEST.STUB:ModeTreatmentParams.getTreatmentParameterU32 TEST.VALUE:ModeTreatmentParams.getTreatmentParameterU32.param:TREATMENT_PARAM_BLOOD_FLOW TEST.VALUE:ModeTreatmentParams.getTreatmentParameterU32.return:0 +TEST.EXPECTED:BloodPrime.<>.bloodPrimeState:BLOOD_PRIME_RAMP_STATE TEST.END -- Unit: ModePreTreat --- Subprogram: handlePreTreatmentReservoirMgmtRequestReservoirSwitchState - --- Test Case: getPrimeState -TEST.UNIT:ModePreTreat -TEST.SUBPROGRAM:handlePreTreatmentReservoirMgmtRequestReservoirSwitchState -TEST.NEW -TEST.NAME:getPrimeState -TEST.STUB:DGInterface.getDGOpMode -TEST.STUB:DGInterface.getDGSubMode -TEST.STUB:ModePreTreat.getPreTreatmentSubState -TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE -TEST.VALUE:DGInterface.getDGSubMode.return:DG_GEN_IDLE_MODE_STATE_FLUSH_WATER -TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_1].fillComplete:1 -TEST.VALUE:ModePreTreat.<>.reservoirStatus[DG_RESERVOIR_2].fillComplete:1 -TEST.VALUE:ModePreTreat.getPreTreatmentSubState.return:HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE -TEST.END - -- Subprogram: handlePrimeState -- Test Case: execPrime @@ -58,14 +42,6 @@ TEST.EXPECTED:ModePreTreat.<>.alarmActionResumeReceived:0 TEST.END --- Test Case: getPrimeState -TEST.UNIT:ModePreTreat -TEST.SUBPROGRAM:handlePrimeState -TEST.NEW -TEST.NAME:getPrimeState -TEST.VALUE:ModePreTreat.<>.alarmActionResumeReceived:0 -TEST.END - -- Test Case: signalResumePrime TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handlePrimeState @@ -82,8 +58,18 @@ TEST.SUBPROGRAM:handleSelfTestDryState TEST.NEW TEST.NAME:transitionToPrime -TEST.VALUE:uut_prototype_stubs.getDrySelfTestsState.return:DRY_SELF_TESTS_COMPLETE_STATE -TEST.VALUE:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:SUBMODE_COMPLETE_UI_TRANSITION_TIME_COUNT +TEST.VALUE:uut_prototype_stubs.getDrySelfTestsState.return:MACRO=DRY_SELF_TESTS_COMPLETE_STATE +TEST.VALUE:BloodFlow.<>.ptr_etpwmBASE_t:<> +TEST.VALUE:BloodFlow.<>.ptr_canBASE_t:<> +TEST.VALUE:DialInFlow.<>.ptr_etpwmBASE_t:<> +TEST.VALUE:DialInFlow.<>.ptr_gioPORT_t:<> +TEST.VALUE:DialInFlow.<>.ptr_mibspiBASE_t:<> +TEST.VALUE:DialOutFlow.<>.ptr_mibspiBase_t:<> +TEST.VALUE:DialOutFlow.<>.ptr_etpwmBASE_t:<> +TEST.VALUE:DialOutFlow.<>.ptr_gioPORT_t:<> +TEST.VALUE:Valves.<>.ptr_gioPort:<> +TEST.VALUE:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:MACRO=SUBMODE_COMPLETE_UI_TRANSITION_TIME_COUNT +TEST.EXPECTED:ModePreTreat.handleSelfTestDryState.return:HD_PRE_TREATMENT_PRIME_STATE TEST.END -- Subprogram: initPreTreatmentMode @@ -93,6 +79,8 @@ TEST.SUBPROGRAM:initPreTreatmentMode TEST.NEW TEST.NAME:initPrime +TEST.EXPECTED:Prime.<>.currentPrimeState:HD_PRIME_WAIT_FOR_USER_START_STATE +TEST.EXPECTED:Prime.<>.currentReservoirMgmtState:PRIME_RESERVOIR_MGMT_START_STATE TEST.END -- Subprogram: publishPreTreatmentState @@ -108,6 +96,8 @@ TEST.VALUE:uut_prototype_stubs.getDrySelfTestsState.return:0 TEST.VALUE:uut_prototype_stubs.getSampleWaterState.return:0 TEST.VALUE:ModePreTreat.<>.preTreatmentPublishTimerCounter:10 +TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_PRE_TREATMENT_STATE_DATA +TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.END -- Unit: SystemCommMessages Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_PRIME/INT_PRIME_cba.cvr =================================================================== diff -u -rbee4a17cf2dedb3a18483e2c05846785ed1b3da7 -r7034ec1e752c8145ebb6a7afcd07e17378ddb807 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_PRIME/INT_PRIME_cba.cvr (.../INT_PRIME_cba.cvr) (revision bee4a17cf2dedb3a18483e2c05846785ed1b3da7) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_PRIME/INT_PRIME_cba.cvr (.../INT_PRIME_cba.cvr) (revision 7034ec1e752c8145ebb6a7afcd07e17378ddb807) @@ -376,8 +376,21 @@ 14)static void purgeAirValvesBloodPumpControl( BOOL firstTime ) Line # 467 + +15) U32 getDialyzerDialysateVolume( void ) +line # 353 RESULT.CBA.NOTES_END -RESULT.CBA.UNIT: /home/asif/work/update_23rd/workspace_hd/hdfirmware/firmware/App/Modes/Prime.c +RESULT.CBA.UNIT: /home/fw/wshd/hdfirmware/firmware/App/Modes/Prime.c +RESULT.CBA.FUNCTION: getDialyzerDialysateVolume +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +U32 dialyzerType = getTreatmentParameterU32( TREATMENT_PARAM_DIALYZER_TYPE ); +return dialyzerVolumeTable[ dialyzerType ].dialysateVolume; +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END RESULT.CBA.FUNCTION: handlePrimeBubbleClear RESULT.CBA.LINE.BEGIN RESULT.CBA.LINE: 0 Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_RESERVOIRS/INT_RESERVOIRS.env =================================================================== diff -u -r202a7e6c312e5dc5b85c0d2a30689c6d35a4358b -r7034ec1e752c8145ebb6a7afcd07e17378ddb807 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_RESERVOIRS/INT_RESERVOIRS.env (.../INT_RESERVOIRS.env) (revision 202a7e6c312e5dc5b85c0d2a30689c6d35a4358b) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_RESERVOIRS/INT_RESERVOIRS.env (.../INT_RESERVOIRS.env) (revision 7034ec1e752c8145ebb6a7afcd07e17378ddb807) @@ -5,6 +5,7 @@ ENVIRO.STUB_BY_FUNCTION:ModeTreatment ENVIRO.STUB_BY_FUNCTION:OperationModes ENVIRO.UUT:Reservoirs +ENVIRO.STUB_BY_FUNCTION:SystemCommMessages ENVIRO.MAX_VARY_RANGE: 20 ENVIRO.STUB: ALL_BY_PROTOTYPE ENVIRO.TYPE_HANDLED_DIRS_ALLOWED: Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_RESERVOIRS/INT_RESERVOIRS.tst =================================================================== diff -u -r202a7e6c312e5dc5b85c0d2a30689c6d35a4358b -r7034ec1e752c8145ebb6a7afcd07e17378ddb807 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_RESERVOIRS/INT_RESERVOIRS.tst (.../INT_RESERVOIRS.tst) (revision 202a7e6c312e5dc5b85c0d2a30689c6d35a4358b) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_RESERVOIRS/INT_RESERVOIRS.tst (.../INT_RESERVOIRS.tst) (revision 7034ec1e752c8145ebb6a7afcd07e17378ddb807) @@ -2,7 +2,7 @@ -- Test Case Script -- -- Environment : INT_RESERVOIRS --- Unit(s) Under Test: Dialysis ModePreTreat ModeTreatment OperationModes Reservoirs +-- Unit(s) Under Test: Dialysis ModePreTreat ModeTreatment OperationModes Reservoirs SystemCommMessages -- -- Script Features TEST.SCRIPT_FEATURE:C_DIRECT_ARRAY_INDEXING @@ -30,80 +30,31 @@ (2) if ((1) == salineBolusStartRequested) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: -TEST.VALUE:Dialysis.<>.setUFVolumeML:<> -TEST.VALUE:Dialysis.<>.salineBolusStartRequested:<> -TEST.VALUE:Dialysis.handleUFRunningState.dialysisState:<> -TEST.END - --- Test Case: handleUFRunningState.002 -TEST.UNIT:Dialysis -TEST.SUBPROGRAM:handleUFRunningState -TEST.NEW -TEST.NAME:handleUFRunningState.002 -TEST.BASIS_PATH:2 of 4 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (refUFVolume >= setUFVolumeML) ==> FALSE - (2) if ((1) == salineBolusStartRequested) ==> TRUE - (3) if ((SALINE_BOLUS_STATE_IDLE) == currentSalineBolusState) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:Dialysis.<>.currentSalineBolusState:SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP -TEST.VALUE:Dialysis.<>.setUFVolumeML:<> -TEST.VALUE:Dialysis.<>.salineBolusStartRequested:1 -TEST.VALUE:Dialysis.handleUFRunningState.dialysisState:<> -TEST.END - --- Test Case: handleUFRunningState.003 -TEST.UNIT:Dialysis -TEST.SUBPROGRAM:handleUFRunningState -TEST.NEW -TEST.NAME:handleUFRunningState.003 -TEST.BASIS_PATH:3 of 4 -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if (refUFVolume >= setUFVolumeML) ==> FALSE - (2) if ((1) == salineBolusStartRequested) ==> TRUE - (3) if ((SALINE_BOLUS_STATE_IDLE) == currentSalineBolusState) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: TEST.VALUE:Dialysis.<>.currentSalineBolusState:SALINE_BOLUS_STATE_IDLE -TEST.VALUE:Dialysis.<>.setUFVolumeML:<> +TEST.VALUE:Dialysis.<>.setUFVolumeML:1000.0 TEST.VALUE:Dialysis.<>.salineBolusStartRequested:1 TEST.VALUE:Dialysis.handleUFRunningState.dialysisState:<> +TEST.EXPECTED:Dialysis.handleUFRunningState.return:UF_PAUSED_STATE TEST.END --- Test Case: handleUFRunningState.004 -TEST.UNIT:Dialysis -TEST.SUBPROGRAM:handleUFRunningState -TEST.NEW -TEST.NAME:handleUFRunningState.004 -TEST.BASIS_PATH:4 of 4 -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) if (refUFVolume >= setUFVolumeML) ==> TRUE - (2) if ((1) == salineBolusStartRequested) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:Dialysis.<>.setUFVolumeML:<> -TEST.VALUE:Dialysis.<>.salineBolusStartRequested:<> -TEST.VALUE:Dialysis.handleUFRunningState.dialysisState:<> -TEST.END - -- Subprogram: setFinalReservoirVolume -- Test Case: setFinalReservoirVolume.001 TEST.UNIT:Dialysis TEST.SUBPROGRAM:setFinalReservoirVolume TEST.NEW TEST.NAME:setFinalReservoirVolume.001 +TEST.IMPORT_FAILURES: +(E) @LINE: 51 TEST.EXPECTED:uut_prototype_stubs.sendRecordToDialin.event:HD_EVENT_RSRVR_UF_VOLUME_AND_TIME,HD_EVENT_RSRVR_UF_RATE,HD_EVENT_RSRVR_1_LOAD_CELL_END_VALUES + >>> Unknown parameter/object name event + >>> Value Line Error - Command Ignored +TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: +TEST.STUB:SystemCommMessages.sendEvent +TEST.EXPECTED:SystemCommMessages.sendEvent.event:HD_EVENT_RSRVR_UF_VOLUME_AND_TIME,HD_EVENT_RSRVR_UF_RATE,HD_EVENT_RSRVR_1_LOAD_CELL_END_VALUES TEST.END -- Subprogram: transitionToDialysis @@ -117,6 +68,8 @@ TEST.NOTES: No branches in subprogram TEST.END_NOTES: +TEST.VALUE:Dialysis.<>.currentDialysisState:DIALYSIS_START_STATE +TEST.EXPECTED:OperationModes.<>.currentSubState:0 TEST.END -- Unit: ModePreTreat @@ -136,23 +89,9 @@ Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: +TEST.EXPECTED:ModePreTreat.<>.currentReservoirMgmtState:PRE_TREATMENT_RESERVOIR_MGMT_START_STATE TEST.END --- Test Case: initPreTreatmentMode.002 -TEST.UNIT:ModePreTreat -TEST.SUBPROGRAM:initPreTreatmentMode -TEST.NEW -TEST.NAME:initPreTreatmentMode.002 -TEST.BASIS_PATH:2 of 2 (template) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) for (reservoirIndex < (NUM_OF_DG_RESERVOIRS)) ==> TRUE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 -TEST.END_NOTES: -TEST.END - -- Unit: ModeTreatment -- Subprogram: handleTreatmentDialysisState @@ -174,223 +113,49 @@ TEST.STUB:Dialysis.getDialysisState TEST.VALUE:Dialysis.getDialysisState.return:DIALYSIS_SALINE_BOLUS_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> -TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:<> +TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:14400 +TEST.VALUE:ModeTreatment.<>.treatmentTimeMS:1000000 +TEST.EXPECTED:Reservoirs.<>.reservoirsState:TREATMENT_RESERVOIR_MGMT_START_STATE TEST.END --- Test Case: handleTreatmentDialysisState.002 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:handleTreatmentDialysisState -TEST.NEW -TEST.NAME:handleTreatmentDialysisState.002 -TEST.BASIS_PATH:2 of 4 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (dialysisState != (DIALYSIS_SALINE_BOLUS_STATE)) ==> FALSE - (2) if (treatmentTimeMS / (1000) >= presTreatmentTimeSecs) ==> FALSE - (3) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:Dialysis.getDialysisState -TEST.VALUE:Dialysis.getDialysisState.return:DIALYSIS_SALINE_BOLUS_STATE -TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 -TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:<> -TEST.END +-- Unit: SystemCommMessages --- Test Case: handleTreatmentDialysisState.003 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:handleTreatmentDialysisState -TEST.NEW -TEST.NAME:handleTreatmentDialysisState.003 -TEST.BASIS_PATH:3 of 4 -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if (dialysisState != (DIALYSIS_SALINE_BOLUS_STATE)) ==> FALSE - (2) if (treatmentTimeMS / (1000) >= presTreatmentTimeSecs) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:Dialysis.getDialysisState -TEST.VALUE:Dialysis.getDialysisState.return:DIALYSIS_SALINE_BOLUS_STATE -TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:<> -TEST.END +-- Subprogram: handleTestHDRecirulationPctOverrideRequest --- Test Case: handleTreatmentDialysisState.004 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:handleTreatmentDialysisState +-- Test Case: handleTestHDRecirulationPctOverrideRequest.001 +TEST.UNIT:SystemCommMessages +TEST.SUBPROGRAM:handleTestHDRecirulationPctOverrideRequest TEST.NEW -TEST.NAME:handleTreatmentDialysisState.004 -TEST.BASIS_PATH:4 of 4 -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) if (dialysisState != (DIALYSIS_SALINE_BOLUS_STATE)) ==> TRUE - (2) if (treatmentTimeMS / (1000) >= presTreatmentTimeSecs) ==> FALSE - (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:Dialysis.getDialysisState -TEST.VALUE:Dialysis.getDialysisState.return:DIALYSIS_START_STATE -TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> -TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:<> +TEST.NAME:handleTestHDRecirulationPctOverrideRequest.001 +TEST.VALUE:SystemCommMessages.<>.testerLoggedIn:TRUE +TEST.VALUE:SystemCommMessages.handleTestHDRecirulationPctOverrideRequest.message:<> +TEST.VALUE:SystemCommMessages.handleTestHDRecirulationPctOverrideRequest.message[0].hdr.payloadLen:8 +TEST.VALUE:SystemCommMessages.handleTestHDRecirulationPctOverrideRequest.message[0].payload[0]:0 +TEST.VALUE:SystemCommMessages.handleTestHDRecirulationPctOverrideRequest.message[0].payload[1]:0 +TEST.VALUE:SystemCommMessages.handleTestHDRecirulationPctOverrideRequest.message[0].payload[2]:0 +TEST.VALUE:SystemCommMessages.handleTestHDRecirulationPctOverrideRequest.message[0].payload[3]:0 +TEST.VALUE:SystemCommMessages.handleTestHDRecirulationPctOverrideRequest.message[0].payload[4]:1 +TEST.VALUE:SystemCommMessages.handleTestHDRecirulationPctOverrideRequest.message[0].payload[5]:0 +TEST.VALUE:SystemCommMessages.handleTestHDRecirulationPctOverrideRequest.message[0].payload[6]:0 +TEST.VALUE:SystemCommMessages.handleTestHDRecirulationPctOverrideRequest.message[0].payload[7]:0 +TEST.EXPECTED:Reservoirs.<>.recirculationLevelPct.override:0xCCC33C33 TEST.END --- Subprogram: handleTreatmentStopState - --- Test Case: handleTreatmentStopState.001 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:handleTreatmentStopState +-- Test Case: handleTestHDRecirulationPctOverrideRequest.002 +TEST.UNIT:SystemCommMessages +TEST.SUBPROGRAM:handleTestHDRecirulationPctOverrideRequest TEST.NEW -TEST.NAME:handleTreatmentStopState.001 -TEST.BASIS_PATH:1 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if ((1) == resumeTreatmentAlarmResponseRequest) ==> FALSE - (3) if ((1) == initiateRinsebackAlarmResponseRequest) ==> FALSE - (4) if ((1) == endTreatmentAlarmResponseRequest) ==> FALSE - (5) if ((1) == leavingTreatmentStopState) ==> FALSE - Test Case Generation Notes: - Cannot set leavingTreatmentStopState due to assignment -TEST.END_NOTES: -TEST.VALUE:ModeTreatment.<>.resumeTreatmentAlarmResponseRequest:<> -TEST.VALUE:ModeTreatment.<>.initiateRinsebackAlarmResponseRequest:<> -TEST.VALUE:ModeTreatment.<>.endTreatmentAlarmResponseRequest:<> +TEST.NAME:handleTestHDRecirulationPctOverrideRequest.002 +TEST.VALUE:SystemCommMessages.<>.testerLoggedIn:TRUE +TEST.VALUE:SystemCommMessages.handleTestHDRecirulationPctOverrideRequest.message:<> +TEST.VALUE:SystemCommMessages.handleTestHDRecirulationPctOverrideRequest.message[0].hdr.payloadLen:8 +TEST.VALUE:SystemCommMessages.handleTestHDRecirulationPctOverrideRequest.message[0].payload[0]:1 +TEST.VALUE:SystemCommMessages.handleTestHDRecirulationPctOverrideRequest.message[0].payload[1]:0 +TEST.VALUE:SystemCommMessages.handleTestHDRecirulationPctOverrideRequest.message[0].payload[2]:0 +TEST.VALUE:SystemCommMessages.handleTestHDRecirulationPctOverrideRequest.message[0].payload[3]:0 +TEST.VALUE:SystemCommMessages.handleTestHDRecirulationPctOverrideRequest.message[0].payload[4]:1 +TEST.VALUE:SystemCommMessages.handleTestHDRecirulationPctOverrideRequest.message[0].payload[5]:0 +TEST.VALUE:SystemCommMessages.handleTestHDRecirulationPctOverrideRequest.message[0].payload[6]:0 +TEST.VALUE:SystemCommMessages.handleTestHDRecirulationPctOverrideRequest.message[0].payload[7]:0 +TEST.EXPECTED:Reservoirs.<>.recirculationLevelPct.override:0x0 TEST.END - --- Test Case: handleTreatmentStopState.002 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:handleTreatmentStopState -TEST.NEW -TEST.NAME:handleTreatmentStopState.002 -TEST.BASIS_PATH:2 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if ((1) == resumeTreatmentAlarmResponseRequest) ==> FALSE - (3) if ((1) == initiateRinsebackAlarmResponseRequest) ==> FALSE - (4) if ((1) == endTreatmentAlarmResponseRequest) ==> FALSE - (5) if ((1) == leavingTreatmentStopState) ==> TRUE - Test Case Generation Notes: - Cannot set leavingTreatmentStopState due to assignment -TEST.END_NOTES: -TEST.VALUE:ModeTreatment.<>.resumeTreatmentAlarmResponseRequest:<> -TEST.VALUE:ModeTreatment.<>.initiateRinsebackAlarmResponseRequest:<> -TEST.VALUE:ModeTreatment.<>.endTreatmentAlarmResponseRequest:<> -TEST.END - --- Test Case: handleTreatmentStopState.003 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:handleTreatmentStopState -TEST.NEW -TEST.NAME:handleTreatmentStopState.003 -TEST.BASIS_PATH:3 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if ((1) == resumeTreatmentAlarmResponseRequest) ==> FALSE - (3) if ((1) == initiateRinsebackAlarmResponseRequest) ==> FALSE - (4) if ((1) == endTreatmentAlarmResponseRequest) ==> TRUE - (5) if ((1) == leavingTreatmentStopState) ==> FALSE - Test Case Generation Notes: - Cannot set local variable leavingTreatmentStopState in branch 5 -TEST.END_NOTES: -TEST.VALUE:ModeTreatment.<>.resumeTreatmentAlarmResponseRequest:<> -TEST.VALUE:ModeTreatment.<>.initiateRinsebackAlarmResponseRequest:<> -TEST.VALUE:ModeTreatment.<>.endTreatmentAlarmResponseRequest:1 -TEST.END - --- Test Case: handleTreatmentStopState.004 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:handleTreatmentStopState -TEST.NEW -TEST.NAME:handleTreatmentStopState.004 -TEST.BASIS_PATH:4 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) if ((1) == resumeTreatmentAlarmResponseRequest) ==> FALSE - (3) if ((1) == initiateRinsebackAlarmResponseRequest) ==> TRUE - (5) if ((1) == leavingTreatmentStopState) ==> FALSE - Test Case Generation Notes: - Cannot set local variable leavingTreatmentStopState in branch 5 -TEST.END_NOTES: -TEST.VALUE:ModeTreatment.<>.resumeTreatmentAlarmResponseRequest:<> -TEST.VALUE:ModeTreatment.<>.initiateRinsebackAlarmResponseRequest:1 -TEST.END - --- Test Case: handleTreatmentStopState.005 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:handleTreatmentStopState -TEST.NEW -TEST.NAME:handleTreatmentStopState.005 -TEST.BASIS_PATH:5 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 5 - (1) if ((1) == resumeTreatmentAlarmResponseRequest) ==> TRUE - (2) if ((1) == getBloodIsPrimed()) ==> FALSE - (5) if ((1) == leavingTreatmentStopState) ==> FALSE - Test Case Generation Notes: - Cannot set local variable leavingTreatmentStopState in branch 5 -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getBloodIsPrimed -TEST.VALUE:ModeTreatment.<>.resumeTreatmentAlarmResponseRequest:1 -TEST.VALUE:ModeTreatment.getBloodIsPrimed.return:<> -TEST.END - --- Test Case: handleTreatmentStopState.006 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:handleTreatmentStopState -TEST.NEW -TEST.NAME:handleTreatmentStopState.006 -TEST.BASIS_PATH:6 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 6 - (1) if ((1) == resumeTreatmentAlarmResponseRequest) ==> TRUE - (2) if ((1) == getBloodIsPrimed()) ==> TRUE - (5) if ((1) == leavingTreatmentStopState) ==> FALSE - Test Case Generation Notes: - Cannot set local variable leavingTreatmentStopState in branch 5 -TEST.END_NOTES: -TEST.STUB:ModeTreatment.getBloodIsPrimed -TEST.VALUE:ModeTreatment.<>.resumeTreatmentAlarmResponseRequest:1 -TEST.VALUE:ModeTreatment.getBloodIsPrimed.return:1 -TEST.END - --- Subprogram: transitionToTreatmentMode - --- Test Case: transitionToTreatmentMode.001 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:transitionToTreatmentMode -TEST.NEW -TEST.NAME:transitionToTreatmentMode.001 -TEST.BASIS_PATH:1 of 2 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if (getTestConfigStatus(TEST_CONFIG_RECOVER_TREATMENT) != (1) || getPreviousOperationMode() != (DG_MODE_FAUL)) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:OperationModes.getPreviousOperationMode -TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 -TEST.VALUE:OperationModes.getPreviousOperationMode.return:MODE_FAUL -TEST.END - --- Test Case: transitionToTreatmentMode.002 -TEST.UNIT:ModeTreatment -TEST.SUBPROGRAM:transitionToTreatmentMode -TEST.NEW -TEST.NAME:transitionToTreatmentMode.002 -TEST.BASIS_PATH:2 of 2 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (getTestConfigStatus(TEST_CONFIG_RECOVER_TREATMENT) != (1) || getPreviousOperationMode() != (DG_MODE_FAUL)) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:OperationModes.getPreviousOperationMode -TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:<> -TEST.VALUE:OperationModes.getPreviousOperationMode.return:MODE_SERV -TEST.END Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_RESERVOIRS/INT_RESERVOIRS_cba.cvr =================================================================== diff -u -rbee4a17cf2dedb3a18483e2c05846785ed1b3da7 -r7034ec1e752c8145ebb6a7afcd07e17378ddb807 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_RESERVOIRS/INT_RESERVOIRS_cba.cvr (.../INT_RESERVOIRS_cba.cvr) (revision bee4a17cf2dedb3a18483e2c05846785ed1b3da7) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_RESERVOIRS/INT_RESERVOIRS_cba.cvr (.../INT_RESERVOIRS_cba.cvr) (revision 7034ec1e752c8145ebb6a7afcd07e17378ddb807) @@ -131,6 +131,28 @@ 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_Reservoirs RESULT.CBA.NOTES @@ -167,7 +189,7 @@ 9)static U32 getTargetFillVolumeBasedOnDialysateFlowML( void ) Line # 729 RESULT.CBA.NOTES_END -RESULT.CBA.UNIT: /home/asif/work/update_23rd/workspace_hd/hdfirmware/firmware/App/Services/Reservoirs.c +RESULT.CBA.UNIT: /home/fw/wshd/hdfirmware/firmware/App/Services/Reservoirs.c RESULT.CBA.FUNCTION: getFillTimeMS RESULT.CBA.LINE.BEGIN RESULT.CBA.LINE: 0 Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_RINSEBACK/INT_RINSEBACK.env =================================================================== diff -u -rbee4a17cf2dedb3a18483e2c05846785ed1b3da7 -r7034ec1e752c8145ebb6a7afcd07e17378ddb807 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_RINSEBACK/INT_RINSEBACK.env (.../INT_RINSEBACK.env) (revision bee4a17cf2dedb3a18483e2c05846785ed1b3da7) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_RINSEBACK/INT_RINSEBACK.env (.../INT_RINSEBACK.env) (revision 7034ec1e752c8145ebb6a7afcd07e17378ddb807) @@ -18,6 +18,39 @@ ENVIRO.STUB: ALL_BY_PROTOTYPE ENVIRO.TYPE_HANDLED_DIRS_ALLOWED: ENVIRO.LIBRARY_STUBS: +ENVIRO.UNIT_PREFIX_USER_CODE: +ENVIRO.UNIT_PREFIX_USER_CODE_FILE:BloodFlow +#include "reg_etpwm.h" +#include "reg_can.h" + +etpwmBASE_t * ptr_etpwmBASE_t ; +#undef etpwmREG1 +#define etpwmREG1 ptr_etpwmBASE_t + +canBASE_t * ptr_canBASE_t; +#undef canREG3 +#define canREG3 ptr_canBASE_t +ENVIRO.END_UNIT_PREFIX_USER_CODE_FILE: +ENVIRO.UNIT_PREFIX_USER_CODE_FILE:DialOutFlow +#include "reg_mibspi.h" +#include "reg_etpwm.h" +#include "reg_gio.h" + +mibspiBASE_t * ptr_mibspiBase_t; +#undef mibspiREG1 +#define mibspiREG1 ptr_mibspiBase_t + +etpwmBASE_t * ptr_etpwmBASE_t; +#undef etpwmREG3 +#define etpwmREG3 ptr_etpwmBASE_t +ENVIRO.END_UNIT_PREFIX_USER_CODE_FILE: +ENVIRO.UNIT_PREFIX_USER_CODE_FILE:Valves +#include "reg_het.h" +gioPORT_t * ptr_gioPort; +#undef hetPORT1 +#define hetPORT1 ptr_gioPort +ENVIRO.END_UNIT_PREFIX_USER_CODE_FILE: +ENVIRO.END_UNIT_PREFIX_USER_CODE: ENVIRO.COVERAGE_TYPE: FUNCTION ENVIRO.WHITE_BOX: YES ENVIRO.SEARCH_LIST: $(VCAST_SRC_DIR)/include/ Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_RINSEBACK/INT_RINSEBACK.tst =================================================================== diff -u -rbee4a17cf2dedb3a18483e2c05846785ed1b3da7 -r7034ec1e752c8145ebb6a7afcd07e17378ddb807 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_RINSEBACK/INT_RINSEBACK.tst (.../INT_RINSEBACK.tst) (revision bee4a17cf2dedb3a18483e2c05846785ed1b3da7) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_RINSEBACK/INT_RINSEBACK.tst (.../INT_RINSEBACK.tst) (revision 7034ec1e752c8145ebb6a7afcd07e17378ddb807) @@ -27,7 +27,10 @@ TEST.VALUE:uut_prototype_stubs.getUltrafiltrationState.return:UF_PAUSED_STATE TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IDLE TEST.VALUE:uut_prototype_stubs.getCurrentBloodPrimeState.return:BLOOD_PRIME_RAMP_STATE +TEST.VALUE:ModeTreatment.<>.treatmentTimeBroadcastTimerCtr:0 +TEST.VALUE:ModeTreatment.<>.treatmentStateBroadcastTimerCtr:6 TEST.VALUE:TreatmentStop.getCurrentTreatmentStopState.return:TREATMENT_STOP_RECIRC_STATE +TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_TREATMENT_TIME_DATA,MSG_ID_TREATMENT_STATE_DATA TEST.END -- Subprogram: handleTreatmentEndState @@ -74,8 +77,14 @@ TEST.SUBPROGRAM:handleTreatmentStopState TEST.NEW TEST.NAME:transitionToRinseback +TEST.VALUE:BloodFlow.<>.ptr_etpwmBASE_t:<> +TEST.VALUE:BloodFlow.<>.ptr_canBASE_t:<> +TEST.VALUE:DialOutFlow.<>.ptr_mibspiBase_t:<> +TEST.VALUE:DialOutFlow.<>.ptr_etpwmBASE_t:<> +TEST.VALUE:Valves.<>.ptr_gioPort:<> TEST.VALUE:ModeTreatment.<>.initiateRinsebackAlarmResponseRequest:1 TEST.VALUE:ModeTreatment.<>.rinsebackToStoppedRequest:1 +TEST.EXPECTED:ModeTreatment.handleTreatmentStopState.return:TREATMENT_RINSEBACK_STATE TEST.END -- Subprogram: transitionToTreatmentMode @@ -86,8 +95,12 @@ TEST.NEW TEST.NAME:initRinseback TEST.STUB:ModeTreatment.initTreatmentMode +TEST.STUB:OperationModes.getPreviousOperationMode TEST.STUB:TreatmentStop.initTreatmentStop TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:0 +TEST.VALUE:OperationModes.getPreviousOperationMode.return:MODE_PRET +TEST.EXPECTED:Rinseback.<>.rinsebackState:RINSEBACK_STOP_INIT_STATE +TEST.EXPECTED:Rinseback.<>.rinsebackTargetVolume_mL:350.0 TEST.END -- Unit: SystemCommMessages Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_RINSEBACK/INT_RINSEBACK_cba.cvr =================================================================== diff -u -rbee4a17cf2dedb3a18483e2c05846785ed1b3da7 -r7034ec1e752c8145ebb6a7afcd07e17378ddb807 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_RINSEBACK/INT_RINSEBACK_cba.cvr (.../INT_RINSEBACK_cba.cvr) (revision bee4a17cf2dedb3a18483e2c05846785ed1b3da7) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_RINSEBACK/INT_RINSEBACK_cba.cvr (.../INT_RINSEBACK_cba.cvr) (revision 7034ec1e752c8145ebb6a7afcd07e17378ddb807) @@ -34,7 +34,7 @@ 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:TRUE +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 @@ -56,9 +56,9 @@ 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:TRUE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:TRUE +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 @@ -78,7 +78,7 @@ 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:TRUE +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 @@ -100,9 +100,9 @@ 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:TRUE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:TRUE +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 @@ -122,9 +122,9 @@ 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:TRUE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:TRUE +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 @@ -144,7 +144,7 @@ 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:TRUE +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 @@ -166,7 +166,7 @@ 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:TRUE +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 @@ -188,9 +188,9 @@ 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:TRUE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:TRUE +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 @@ -210,7 +210,7 @@ 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:TRUE +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 @@ -254,7 +254,7 @@ 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:TRUE +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 @@ -276,7 +276,7 @@ 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:TRUE +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 @@ -298,7 +298,7 @@ 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:TRUE +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 @@ -383,7 +383,7 @@ 16)static F32 getRinsebackVolume( void ) Line #249 RESULT.CBA.NOTES_END -RESULT.CBA.UNIT: /home/asif/work/update_23rd/workspace_hd/hdfirmware/firmware/App/Modes/Rinseback.c +RESULT.CBA.UNIT: /home/fw/wshd/hdfirmware/firmware/App/Modes/Rinseback.c RESULT.CBA.FUNCTION: getRinsebackVolume RESULT.CBA.LINE.BEGIN RESULT.CBA.LINE: 0