Index: vectorcast/Hercules_RM46_HD_Project/environment/ALARMMGMT/ALARMMGMT.tst =================================================================== diff -u -r57b932caef8b1174c28676198dcd0beb23ab4107 -r68faec206b0dbe4074f814691615411e1fc72609 --- vectorcast/Hercules_RM46_HD_Project/environment/ALARMMGMT/ALARMMGMT.tst (.../ALARMMGMT.tst) (revision 57b932caef8b1174c28676198dcd0beb23ab4107) +++ vectorcast/Hercules_RM46_HD_Project/environment/ALARMMGMT/ALARMMGMT.tst (.../ALARMMGMT.tst) (revision 68faec206b0dbe4074f814691615411e1fc72609) @@ -1705,11 +1705,15 @@ TEST.NEW TEST.NAME:handleActiveAlarmListRequest.001 TEST.IMPORT_FAILURES: -(I) @LINE: 55 +(I) @LINE: 1754 >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 58 +(I) @LINE: 1757 >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 55 + >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 58 + >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 1665 >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 1668 @@ -1763,29 +1767,51 @@ TEST.NEW TEST.NAME:handleActiveAlarmListRequest.002 TEST.IMPORT_FAILURES: -(I) @LINE: 230 +(I) @LINE: 1952 >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 231 +(I) @LINE: 1953 >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 231 +(I) @LINE: 1953 >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 231 +(I) @LINE: 1953 >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 231 +(I) @LINE: 1953 >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 231 +(I) @LINE: 1953 >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 231 +(I) @LINE: 1953 >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 231 +(I) @LINE: 1953 >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 231 +(I) @LINE: 1953 >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 231 +(I) @LINE: 1953 >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 231 +(I) @LINE: 1953 >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 230 + >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 231 + >>> >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 231 + >>> >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 231 + >>> >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 231 + >>> >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 231 + >>> >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 231 + >>> >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 231 + >>> >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 231 + >>> >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 231 + >>> >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 231 + >>> >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 1819 >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 1820 @@ -1964,11 +1990,15 @@ TEST.NEW TEST.NAME:handleActiveAlarmListRequest.003 TEST.IMPORT_FAILURES: -(I) @LINE: 296 +(I) @LINE: 2023 >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 298 +(I) @LINE: 2025 >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 296 + >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 298 + >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 1882 >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 1884 @@ -2051,10 +2081,13 @@ TEST.NEW TEST.NAME:handleResendActiveAlarmsRequest.002 TEST.IMPORT_FAILURES: -(S) @LINE: 374 +(S) @LINE: 2125 >>> Range Value Command VARY FROM:ALARM_ID_NO_ALARM TO:NUM_OF_ALARM_IDS BY: 1 >>> Results in 325 Iterations. (E) Errors from previous script import(s) + >>> (S) @LINE: 374 + >>> >>> Range Value Command VARY FROM:ALARM_ID_NO_ALARM TO:NUM_OF_ALARM_IDS BY: 1 + >>> >>> Results in 325 Iterations. >>> (S) @LINE: 1978 >>> >>> Range Value Command VARY FROM:ALARM_ID_NO_ALARM TO:NUM_OF_ALARM_IDS BY: 1 >>> >>> Results in 325 Iterations. @@ -2134,10 +2167,13 @@ TEST.NEW TEST.NAME:handleResendActiveAlarmsRequest.003 TEST.IMPORT_FAILURES: -(S) @LINE: 457 +(S) @LINE: 2212 >>> Range Value Command VARY FROM:ALARM_ID_NO_ALARM TO:NUM_OF_ALARM_IDS BY: 1 >>> Results in 325 Iterations. (E) Errors from previous script import(s) + >>> (S) @LINE: 457 + >>> >>> Range Value Command VARY FROM:ALARM_ID_NO_ALARM TO:NUM_OF_ALARM_IDS BY: 1 + >>> >>> Results in 325 Iterations. >>> (S) @LINE: 2059 >>> >>> Range Value Command VARY FROM:ALARM_ID_NO_ALARM TO:NUM_OF_ALARM_IDS BY: 1 >>> >>> Results in 325 Iterations. @@ -4081,10 +4117,13 @@ TEST.NEW TEST.NAME:testSetAlarmStartOverride_NominalPath TEST.IMPORT_FAILURES: -(E) @LINE: 603 TEST.ATTRIBUTES:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].override::EXPECTED_BASE=16 +(E) @LINE: 4217 TEST.ATTRIBUTES:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].override::EXPECTED_BASE=16 >>> Invalid array index value ALARM_ID_STUCK_BUTTON_TEST_FAILED >>> Command Ignored. (E) Errors from previous script import(s) + >>> (E) @LINE: 603 TEST.ATTRIBUTES:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].override::EXPECTED_BASE=16 + >>> >>> Invalid array index value ALARM_ID_STUCK_BUTTON_TEST_FAILED + >>> >>> Command Ignored. >>> (E) @LINE: 4058 TEST.ATTRIBUTES:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].override::EXPECTED_BASE=16 >>> >>> Invalid array index value ALARM_ID_STUCK_BUTTON_TEST_FAILED >>> >>> Command Ignored. @@ -5002,36 +5041,80 @@ TEST.EXPECTED:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]:1 TEST.END --- Test Case: updateAlarmsFlags.013 +-- Test Case: updateAlarmsFlags.014 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW -TEST.NAME:updateAlarmsFlags.013 +TEST.NAME:updateAlarmsFlags.014 +TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_ACK]:0 +TEST.VALUE:uut_prototype_stubs.getCPLDACPowerLossDetected.return:1 +TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenced:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenceStart:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenceExpiresIn:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsToEscalate:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsEscalatesIn:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_NO_ALARM +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.systemFault:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.stop:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noClear:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noResume:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noRinseback:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noEndTreatment:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noBloodRecirc:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noDialRecirc:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.ok:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noMinimize:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.lampOn:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_ACK]:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmButtonBlockers[ALARM_BUTTON_TABLE_BLOCK_RESUME..ALARM_BUTTON_TABLE_BLOCK_END_TREATMENT]:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmButtonBlockers[ALARM_BUTTON_STATE_BLOCK_RESUME..ALARM_BUTTON_STATE_BLOCK_END_TREATMENT]:1 +TEST.EXPECTED:AlarmMgmt.<>.resumeBlockedByAlarmProperty:0 +TEST.END + +-- Test Case: updateAlarmsFlags.015 +TEST.UNIT:AlarmMgmt +TEST.SUBPROGRAM:updateAlarmsFlags +TEST.NEW +TEST.NAME:updateAlarmsFlags.015 +TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_DG_FILL_CONDUCTIVITY_OUT_OF_RANGE +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_DG_FILL_CONDUCTIVITY_OUT_OF_RANGE +TEST.END + +-- Test Case: updateAlarmsFlags.016 +TEST.UNIT:AlarmMgmt +TEST.SUBPROGRAM:updateAlarmsFlags +TEST.NEW +TEST.NAME:updateAlarmsFlags.016 TEST.NOTES: This is an automatically generated test case. -Test Path 31 +Test Path 34 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (7) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(9) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(11) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> TRUE -Row number 1 forms a pair with Row 2 for Condition #11, subcondition "a". +(9) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> TRUE +(10) ((1) == (ALARM_TABLE[a]).alarmNoRinseback) ==> TRUE +Row number 1 forms a pair with Row 2 for Condition #10, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: +Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoRinseback in branch 10 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM..ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED]:1 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_RINSEBACK]:<> -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]:1 +TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:1 +TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]:<> +TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]:1 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM..ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED]:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_NONE TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenced:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenceStart:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenceExpiresIn:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsToEscalate:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsEscalatesIn:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_NO_ALARM -TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.systemFault:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.stop:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noClear:1 @@ -5040,31 +5123,53 @@ TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noEndTreatment:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noBloodRecirc:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noDialRecirc:0 -TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.ok:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.ok:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noMinimize:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.lampOn:0 -TEST.EXPECTED:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_RINSEBACK]:0 -TEST.EXPECTED:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]:1 TEST.EXPECTED:AlarmMgmt.<>.resumeBlockedByAlarmProperty:1 TEST.END --- Test Case: updateAlarmsFlags.014 +-- Test Case: updateAlarmsFlags.017 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW -TEST.NAME:updateAlarmsFlags.014 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_ACK]:0 -TEST.VALUE:uut_prototype_stubs.getCPLDACPowerLossDetected.return:1 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL +TEST.NAME:updateAlarmsFlags.017 +TEST.NOTES: +This is an automatically generated test case. +Test Path 34 +(1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE +(2) if ((1) == alarmIsActive[a]) ==> TRUE +(7) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE +(9) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> TRUE +(10) ((1) == (ALARM_TABLE[a]).alarmNoRinseback) ==> TRUE +Row number 1 forms a pair with Row 2 for Condition #10, subcondition "a". +Condition a ==> TRUE +Test Case Generation Notes: +Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoRinseback in branch 10 +Conflict: Unable to control expression-to-expression comparison in branch 1 +Cannot set a due to assignment +TEST.END_NOTES: +TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 +TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_BLOOD_LEAK_SENSOR_ZERO_SEQUENCE_FAILED]:1 +TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:1 +TEST.VALUE:AlarmMgmt.<>.alarmStatus.noEndTreatment:0 +TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]:<> +TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]:1 +TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_BLOOD_LEAK_SENSOR_ZERO_SEQUENCE_FAILED]:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_NONE TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenced:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenceStart:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenceExpiresIn:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsToEscalate:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsEscalatesIn:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_NO_ALARM -TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.systemFault:0 -TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.stop:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.stop:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noClear:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noResume:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noRinseback:1 @@ -5074,26 +5179,68 @@ TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.ok:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noMinimize:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.lampOn:0 -TEST.EXPECTED:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_ACK]:0 -TEST.EXPECTED:AlarmMgmt.<>.alarmButtonBlockers[ALARM_BUTTON_TABLE_BLOCK_RESUME..ALARM_BUTTON_TABLE_BLOCK_END_TREATMENT]:0 -TEST.EXPECTED:AlarmMgmt.<>.alarmButtonBlockers[ALARM_BUTTON_STATE_BLOCK_RESUME..ALARM_BUTTON_STATE_BLOCK_END_TREATMENT]:1 -TEST.EXPECTED:AlarmMgmt.<>.resumeBlockedByAlarmProperty:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]:1 +TEST.EXPECTED:AlarmMgmt.<>.resumeBlockedByAlarmProperty:1 TEST.END --- Test Case: updateAlarmsFlags.015 +-- Test Case: updateAlarmsFlags.018 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW -TEST.NAME:updateAlarmsFlags.015 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_DG_FILL_CONDUCTIVITY_OUT_OF_RANGE -TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_DG_FILL_CONDUCTIVITY_OUT_OF_RANGE +TEST.NAME:updateAlarmsFlags.018 +TEST.NOTES: +This is an automatically generated test case. +Test Path 34 +(1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE +(2) if ((1) == alarmIsActive[a]) ==> TRUE +(7) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE +(9) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> TRUE +(10) ((1) == (ALARM_TABLE[a]).alarmNoRinseback) ==> TRUE +Row number 1 forms a pair with Row 2 for Condition #10, subcondition "a". +Condition a ==> TRUE +Test Case Generation Notes: +Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoRinseback in branch 10 +Conflict: Unable to control expression-to-expression comparison in branch 1 +Cannot set a due to assignment +TEST.END_NOTES: +TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 +TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_DG_ACCELEROMETERS_INVALID_CAL_RECORD]:1 +TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:1 +TEST.VALUE:AlarmMgmt.<>.alarmStatus.noEndTreatment:0 +TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]:<> +TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_DG_ACCELEROMETERS_INVALID_CAL_RECORD]:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_NONE +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenced:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenceStart:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenceExpiresIn:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsToEscalate:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsEscalatesIn:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_NO_ALARM +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.systemFault:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.stop:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noClear:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noResume:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noRinseback:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noEndTreatment:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noBloodRecirc:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noDialRecirc:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.ok:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noMinimize:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.lampOn:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]:1 +TEST.EXPECTED:AlarmMgmt.<>.resumeBlockedByAlarmProperty:1 TEST.END --- Test Case: updateAlarmsFlags.016 +-- Test Case: updateAlarmsFlags.019 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW -TEST.NAME:updateAlarmsFlags.016 +TEST.NAME:updateAlarmsFlags.019 TEST.NOTES: This is an automatically generated test case. Test Path 34 @@ -5109,11 +5256,16 @@ Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: -TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM..ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED]:1 +TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:0 +TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_BLOOD_LEAK_SENSOR_EMBEDDED_MODE_FAILURE]:1 +TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_BLOOD_LEAK_SENSOR_ZERO_SEQUENCE_FAILED]:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:1 +TEST.VALUE:AlarmMgmt.<>.alarmStatus.noEndTreatment:0 TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]:<> -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]:1 -TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM..ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED]:1 +TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK..ALARM_USER_ACTION_END_TREATMENT]:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_BLOOD_LEAK_SENSOR_EMBEDDED_MODE_FAILURE]:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_BLOOD_LEAK_SENSOR_ZERO_SEQUENCE_FAILED]:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_NONE TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenced:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenceStart:0 @@ -5138,6 +5290,61 @@ TEST.EXPECTED:AlarmMgmt.<>.resumeBlockedByAlarmProperty:1 TEST.END +-- Test Case: updateAlarmsFlags.020 +TEST.UNIT:AlarmMgmt +TEST.SUBPROGRAM:updateAlarmsFlags +TEST.NEW +TEST.NAME:updateAlarmsFlags.020 +TEST.NOTES: +This is an automatically generated test case. +Test Path 34 +(1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE +(2) if ((1) == alarmIsActive[a]) ==> TRUE +(7) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE +(9) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> TRUE +(10) ((1) == (ALARM_TABLE[a]).alarmNoRinseback) ==> TRUE +Row number 1 forms a pair with Row 2 for Condition #10, subcondition "a". +Condition a ==> TRUE +Test Case Generation Notes: +Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoRinseback in branch 10 +Conflict: Unable to control expression-to-expression comparison in branch 1 +Cannot set a due to assignment +TEST.END_NOTES: +TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:0 +TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_BLOOD_LEAK_SENSOR_EMBEDDED_MODE_FAILURE]:0 +TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_BLOOD_LEAK_SENSOR_ZERO_SEQUENCE_FAILED]:1 +TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_HD_RTC_BATTERY_LOW +TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:1 +TEST.VALUE:AlarmMgmt.<>.alarmStatus.noEndTreatment:0 +TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]:<> +TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK..ALARM_USER_ACTION_END_TREATMENT]:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_BLOOD_LEAK_SENSOR_EMBEDDED_MODE_FAILURE]:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_BLOOD_LEAK_SENSOR_ZERO_SEQUENCE_FAILED]:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_NONE +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenced:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenceStart:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenceExpiresIn:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsToEscalate:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsEscalatesIn:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_HD_RTC_BATTERY_LOW +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.systemFault:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.stop:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noClear:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noResume:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noRinseback:1 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noEndTreatment:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noBloodRecirc:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noDialRecirc:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.ok:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noMinimize:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.lampOn:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]:0 +TEST.EXPECTED:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]:1 +TEST.EXPECTED:AlarmMgmt.<>.resumeBlockedByAlarmProperty:1 +TEST.END + -- Test Case: updateAlarmsFlags_Fault TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags Index: vectorcast/Hercules_RM46_HD_Project/environment/MODEINITPOST/MODEINITPOST.tst =================================================================== diff -u -r438ee57ac301108f5eabb88c021e4a9bffb3f90e -r68faec206b0dbe4074f814691615411e1fc72609 --- vectorcast/Hercules_RM46_HD_Project/environment/MODEINITPOST/MODEINITPOST.tst (.../MODEINITPOST.tst) (revision 438ee57ac301108f5eabb88c021e4a9bffb3f90e) +++ vectorcast/Hercules_RM46_HD_Project/environment/MODEINITPOST/MODEINITPOST.tst (.../MODEINITPOST.tst) (revision 68faec206b0dbe4074f814691615411e1fc72609) @@ -22,7 +22,7 @@ TEST.SUBPROGRAM:execFWCompatibilityTest TEST.NEW TEST.NAME:execFWCompatibilityTest.001 -TEST.VALUE:ModeInitPOST.<>.uiVersion.compatibility:10 +TEST.VALUE:ModeInitPOST.<>.uiVersion.compatibility:11 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 -re38bc77d881536f690243db021b8c4c3d326f730 -r68faec206b0dbe4074f814691615411e1fc72609 --- vectorcast/Hercules_RM46_HD_Project/environment/MODESTANDBY/MODESTANDBY.tst (.../MODESTANDBY.tst) (revision e38bc77d881536f690243db021b8c4c3d326f730) +++ vectorcast/Hercules_RM46_HD_Project/environment/MODESTANDBY/MODESTANDBY.tst (.../MODESTANDBY.tst) (revision 68faec206b0dbe4074f814691615411e1fc72609) @@ -114,11 +114,15 @@ TEST.NEW TEST.NAME:execStandbyMode.005 TEST.IMPORT_FAILURES: -(I) @LINE: 172 - >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. (I) @LINE: 176 >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. +(I) @LINE: 180 + >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 172 + >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 176 + >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 168 >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 172 @@ -186,11 +190,15 @@ TEST.NEW TEST.NAME:execStandbyMode.006 TEST.IMPORT_FAILURES: -(I) @LINE: 240 +(I) @LINE: 248 >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 242 +(I) @LINE: 250 >>> '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: 242 + >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 232 >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 234 @@ -278,11 +286,15 @@ TEST.NEW TEST.NAME:execStandbyMode.008 TEST.IMPORT_FAILURES: -(I) @LINE: 328 +(I) @LINE: 340 >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 331 +(I) @LINE: 343 >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 328 + >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 331 + >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 316 >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 319 @@ -349,11 +361,15 @@ TEST.NEW TEST.NAME:execStandbyMode.009 TEST.IMPORT_FAILURES: -(I) @LINE: 395 +(I) @LINE: 411 >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 398 +(I) @LINE: 414 >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 395 + >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 398 + >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 379 >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 382 @@ -471,11 +487,15 @@ TEST.NEW TEST.NAME:execStandbyMode.012 TEST.IMPORT_FAILURES: -(I) @LINE: 513 +(I) @LINE: 533 >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 517 +(I) @LINE: 537 >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 513 + >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 517 + >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 493 >>> >>> 'STANDBY_START_STATE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 497 @@ -2598,8 +2618,9 @@ TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentDGCleaningMode.startCleaningMode:0 TEST.VALUE:ModeStandby.handleStandbyModeWaitForDisinfectState.return:STANDBY_WAIT_FOR_DISINFECT_STATE +TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FLUS TEST.EXPECTED:ModeStandby.<>.currentDGCleaningMode.startCleaningMode:0 -TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDisinfectState.return:STANDBY_WAIT_FOR_DISINFECT_STATE +TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDisinfectState.return:STANDBY_WAIT_FOR_DG_CLEANING_MODE_TO_START_STATE TEST.END -- Test Case: handleStandbyModeWaitForDisinfectState.002 @@ -2639,8 +2660,9 @@ TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentDGCleaningMode.startCleaningMode:0 TEST.VALUE:ModeStandby.handleStandbyModeWaitForDisinfectState.return:STANDBY_WAIT_FOR_DISINFECT_STATE +TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_HEAT TEST.EXPECTED:ModeStandby.<>.currentDGCleaningMode.startCleaningMode:0 -TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDisinfectState.return:STANDBY_WAIT_FOR_DISINFECT_STATE +TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDisinfectState.return:STANDBY_WAIT_FOR_DG_CLEANING_MODE_TO_START_STATE TEST.END -- Test Case: handleStandbyModeWaitForDisinfectState.003 @@ -2673,8 +2695,9 @@ TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentDGCleaningMode.startCleaningMode:0 TEST.VALUE:ModeStandby.handleStandbyModeWaitForDisinfectState.return:STANDBY_WAIT_FOR_DISINFECT_STATE +TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_CHEM TEST.EXPECTED:ModeStandby.<>.currentDGCleaningMode.startCleaningMode:0 -TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDisinfectState.return:STANDBY_WAIT_FOR_DISINFECT_STATE +TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDisinfectState.return:STANDBY_WAIT_FOR_DG_CLEANING_MODE_TO_START_STATE TEST.END -- Test Case: handleStandbyModeWaitForDisinfectState.004 @@ -2700,8 +2723,9 @@ TEST.END_NOTES: TEST.VALUE:ModeStandby.<>.currentDGCleaningMode.startCleaningMode:0 TEST.VALUE:ModeStandby.handleStandbyModeWaitForDisinfectState.return:STANDBY_WAIT_FOR_DISINFECT_STATE +TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_CHFL TEST.EXPECTED:ModeStandby.<>.currentDGCleaningMode.startCleaningMode:0 -TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDisinfectState.return:STANDBY_WAIT_FOR_DISINFECT_STATE +TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDisinfectState.return:STANDBY_WAIT_FOR_DG_CLEANING_MODE_TO_START_STATE TEST.END -- Test Case: handleStandbyModeWaitForDisinfectState.005 @@ -2832,6 +2856,24 @@ TEST.EXPECTED:ModeStandby.<>.currentDGCleaningMode.startCleaningMode:1 TEST.END +-- Test Case: handleStandbyModeWaitForDisinfectState.012 +TEST.UNIT:ModeStandby +TEST.SUBPROGRAM:handleStandbyModeWaitForDisinfectState +TEST.NEW +TEST.NAME:handleStandbyModeWaitForDisinfectState.012 +TEST.NOTES: +This is an automatically generated test case. + Test Path 4 + (1) if ((1) == flushStartReqReceived) ==> TRUE + Test Case Generation Notes: +TEST.END_NOTES: +TEST.VALUE:ModeStandby.<>.currentDGCleaningMode.startCleaningMode:0 +TEST.VALUE:ModeStandby.handleStandbyModeWaitForDisinfectState.return:STANDBY_WAIT_FOR_DISINFECT_STATE +TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_ROPS +TEST.EXPECTED:ModeStandby.<>.currentDGCleaningMode.startCleaningMode:0 +TEST.EXPECTED:ModeStandby.handleStandbyModeWaitForDisinfectState.return:STANDBY_WAIT_FOR_DG_CLEANING_MODE_TO_START_STATE +TEST.END + -- Subprogram: handleStandbyModeWaitForTreatmentState -- Test Case: handleStandbyModeWaitForTreatmentState.001 @@ -3471,7 +3513,6 @@ TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].dgUsageInfo.lastChemDisFlushCompleteDateEpoch:220 TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].dgUsageInfo.lastHeatDisCompleteDateEpoch:150 TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].isDGUsageInfoAvailable:1 -TEST.VALUE:uut_prototype_stubs.getRTCTimestamp.return:160 TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.bufferAddress[0]:0 TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.bufferAddress[1]:0 TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.bufferAddress[2]:0 @@ -3491,6 +3532,7 @@ TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.bufferAddress[16]:0 TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.bufferAddress[17]:0 TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.bufferLength:18 +TEST.VALUE:uut_prototype_stubs.getRTCTimestamp.return:160 TEST.EXPECTED:ModeStandby.isDGDisinfectValid.return:1 TEST.END @@ -3505,7 +3547,6 @@ TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].dgUsageInfo.lastChemDisFlushCompleteDateEpoch:101 TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].dgUsageInfo.lastHeatDisCompleteDateEpoch:100 TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].isDGUsageInfoAvailable:1 -TEST.VALUE:uut_prototype_stubs.getRTCTimestamp.return:7500 TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.bufferAddress[0]:0 TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.bufferAddress[1]:0 TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.bufferAddress[2]:0 @@ -3525,6 +3566,7 @@ TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.bufferAddress[16]:0 TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.bufferAddress[17]:0 TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.bufferLength:18 +TEST.VALUE:uut_prototype_stubs.getRTCTimestamp.return:7500 TEST.EXPECTED:ModeStandby.isDGDisinfectValid.return:0 TEST.END @@ -3539,7 +3581,6 @@ TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].dgUsageInfo.lastChemDisFlushCompleteDateEpoch:220 TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].dgUsageInfo.lastHeatDisCompleteDateEpoch:150 TEST.VALUE:uut_prototype_stubs.getHDVersionDGServiceAndUsageData.data[0].isDGUsageInfoAvailable:1 -TEST.VALUE:uut_prototype_stubs.getRTCTimestamp.return:8000 TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.bufferAddress[0]:0 TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.bufferAddress[1]:0 TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.bufferAddress[2]:0 @@ -3559,6 +3600,7 @@ TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.bufferAddress[16]:0 TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.bufferAddress[17]:0 TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.bufferLength:18 +TEST.VALUE:uut_prototype_stubs.getRTCTimestamp.return:8000 TEST.EXPECTED:ModeStandby.isDGDisinfectValid.return:0 TEST.END @@ -4559,13 +4601,13 @@ TEST.VALUE:ModeStandby.haveHDDGServicesBeenExpired.return:0 TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:0 TEST.VALUE:uut_prototype_stubs.isBatteryCharged.return:1 -TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_SERV -TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 +TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_INIT +TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 TEST.VALUE:uut_prototype_stubs.getHeatDisinfectTemperatureSensorValue.return:40.0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1 TEST.VALUE:uut_prototype_stubs.isPOSTPassed.return:1 -TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:10 +TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:11 TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 TEST.END @@ -4588,7 +4630,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:10 +TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:11 TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 TEST.END @@ -4652,7 +4694,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:10 +TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:11 TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:0 TEST.END @@ -4675,7 +4717,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:10 +TEST.VALUE:uut_prototype_stubs.getDGVersion.return.compatibilityRev:11 TEST.EXPECTED:ModeStandby.signalUserInitiateTreatment.return:1 TEST.END Index: vectorcast/Hercules_RM46_HD_Project/environment/SYRINGEPUMP/SYRINGEPUMP.tst =================================================================== diff -u -r57b932caef8b1174c28676198dcd0beb23ab4107 -r68faec206b0dbe4074f814691615411e1fc72609 --- vectorcast/Hercules_RM46_HD_Project/environment/SYRINGEPUMP/SYRINGEPUMP.tst (.../SYRINGEPUMP.tst) (revision 57b932caef8b1174c28676198dcd0beb23ab4107) +++ vectorcast/Hercules_RM46_HD_Project/environment/SYRINGEPUMP/SYRINGEPUMP.tst (.../SYRINGEPUMP.tst) (revision 68faec206b0dbe4074f814691615411e1fc72609) @@ -1550,8 +1550,8 @@ TEST.VALUE:SyringePump.getSyringePumpEncoderStatus.return:0 TEST.VALUE:SyringePump.isSyringeDetected.return:<> TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<> -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:SyringePump.<>.requireSyringeDetection:0 TEST.EXPECTED:SyringePump.<>.syringePumpDACVrefWriteInProgress:1 @@ -1590,9 +1590,9 @@ TEST.VALUE:SyringePump.<>.syringePumpDACVrefWriteInProgress:<> TEST.VALUE:SyringePump.getSyringePumpStatus.return:1 TEST.VALUE:SyringePump.isSyringeDetected.return:<> +TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME,TREATMENT_PARAM_HEPARIN_DISPENSE_RATE TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:0.0,1.0 -TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:SyringePump.<>.syringePumpDACVrefWriteInProgress:<> TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME,TREATMENT_PARAM_HEPARIN_DISPENSE_RATE @@ -1632,8 +1632,8 @@ TEST.VALUE:SyringePump.getSyringePumpEncoderStatus.return:0 TEST.VALUE:SyringePump.isSyringeDetected.return:1 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<> -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:SyringePump.<>.requireSyringeDetection:1 TEST.EXPECTED:SyringePump.<>.syringePumpDACVrefWriteInProgress:1 @@ -1673,8 +1673,8 @@ TEST.VALUE:SyringePump.getSyringePumpEncoderStatus.return:0 TEST.VALUE:SyringePump.isSyringeDetected.return:0,1 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<> -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:SyringePump.<>.requireSyringeDetection:1 TEST.EXPECTED:SyringePump.<>.syringePumpDACVrefWriteInProgress:1 @@ -1715,8 +1715,8 @@ TEST.VALUE:SyringePump.isSyringeDetected.return:1 TEST.VALUE:uut_prototype_stubs.isAlarmActive.alarm:ALARM_ID_HD_SYRINGE_DETECTED TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:SyringePump.<>.requireSyringeDetection:1 TEST.EXPECTED:SyringePump.<>.syringePumpDACVrefWriteInProgress:1 @@ -1754,8 +1754,8 @@ TEST.VALUE:SyringePump.getSyringePumpEncoderStatus.return:0 TEST.VALUE:SyringePump.isSyringeDetected.return:<> TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<> -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:SyringePump.<>.requireSyringeDetection:0 TEST.EXPECTED:SyringePump.<>.syringePumpDACVrefWriteInProgress:1 @@ -1791,9 +1791,9 @@ TEST.VALUE:SyringePump.getSyringePumpStatus.return:1 TEST.VALUE:SyringePump.getSyringePumpEncoderStatus.return:0 TEST.VALUE:SyringePump.isSyringeDetected.return:<> -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:<> TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_SYRINGE_PUMP_FAULT TEST.END @@ -1830,13 +1830,54 @@ TEST.VALUE:SyringePump.getSyringePumpEncoderStatus.return:0 TEST.VALUE:SyringePump.isSyringeDetected.return:1 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<> -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:SyringePump.<>.requireSyringeDetection:0 TEST.EXPECTED:SyringePump.<>.syringePumpDACVrefWriteInProgress:1 TEST.END +-- Test Case: execSyringePumpMonitor.041 +TEST.UNIT:SyringePump +TEST.SUBPROGRAM:execSyringePumpMonitor +TEST.NEW +TEST.NAME:execSyringePumpMonitor.041 +TEST.NOTES: +This is an automatically generated test case. + Test Path 12 + (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE + (2) if (prevSyringeDetected != isSyringeDetected()) ==> FALSE + (3) if (bolusVol > (9.999999939e-09F) || hepRate > (9.999999939e-09F)) ==> TRUE + (4) if (prevSyringeDetected != (1) && (1) == isSyringeDetected() || requireSyringeDetection != (1)) ==> TRUE + (6) if ((1) == prevSyringeDetected && isSyringeDetected() != (1)) ==> FALSE + (7) if ((1) == isSyringeDetected() && (1) == isAlarmActive(ALARM_ID_HD_SYRINGE_DETECTED)) ==> FALSE + (8) if ((getSyringePumpEncoderStatus() & 0x80) != 0) ==> FALSE + (9) if (getSyringePumpPosition() - syringePumpLastPosition >= 0) ==> FALSE + (10) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_SYRINGE_PUMP_RUNNING_WHILE_BP_OFF_ERROR, runWhileOff)) ==> FALSE + (11) if (syringePumpDACVrefWriteInProgress != (1)) ==> FALSE + Test Case Generation Notes: + Conflict: Multiple equality operators with different values (SyringePump.isSyringeDetected.return) in branches 2/4 + Conflict: Multiple equality operators with different values (SyringePump.isSyringeDetected.return) in branches 2/6 + Conflict: Trying to set variable SyringePump.isSyringeDetected.return 'equal to' and 'not equal to' same value in branches 2/7 + Conflict: Unable to control expression-to-expression comparison in branch 9 +TEST.END_NOTES: +TEST.STUB:SyringePump.getSyringePumpSyringeDetectorV +TEST.STUB:SyringePump.getSyringePumpEncoderStatus +TEST.STUB:SyringePump.isSyringeDetected +TEST.VALUE:SyringePump.<>.requireSyringeDetection:1 +TEST.VALUE:SyringePump.<>.prevSyringeDetected:1 +TEST.VALUE:SyringePump.<>.syringePumpDACVrefWriteInProgress:1 +TEST.VALUE:SyringePump.getSyringePumpSyringeDetectorV.return:1.0 +TEST.VALUE:SyringePump.getSyringePumpEncoderStatus.return:0 +TEST.VALUE:SyringePump.isSyringeDetected.return:0 +TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<> +TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> +TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> +TEST.EXPECTED:SyringePump.<>.requireSyringeDetection:1 +TEST.EXPECTED:SyringePump.<>.syringePumpDACVrefWriteInProgress:1 +TEST.END + -- Test Case: execSyringePumpMonitor_Clear_Detected TEST.UNIT:SyringePump TEST.SUBPROGRAM:execSyringePumpMonitor @@ -1911,8 +1952,8 @@ TEST.VALUE:SyringePump.getSyringePumpEncoderStatus.return:0 TEST.VALUE:SyringePump.isSyringeDetected.return:1 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:0 -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:1.0 TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:0 +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:1.0 TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0 TEST.EXPECTED:SyringePump.<>.syringePumpDACVrefWriteInProgress:1 TEST.END @@ -1951,8 +1992,8 @@ TEST.VALUE:SyringePump.getSyringePumpEncoderStatus.return:0 TEST.VALUE:SyringePump.isSyringeDetected.return:1,0 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<> -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<> TEST.EXPECTED:SyringePump.<>.requireSyringeDetection:1 TEST.EXPECTED:SyringePump.<>.syringePumpDACVrefWriteInProgress:1 @@ -2939,10 +2980,10 @@ TEST.END_NOTES: TEST.STUB:SyringePump.getSyringePumpPosition TEST.STUB:SyringePump.isSyringeDetected -TEST.VALUE:SyringePump.getSyringePumpPosition.return:19322 +TEST.VALUE:SyringePump.getSyringePumpPosition.return:-86508 TEST.VALUE:SyringePump.isSyringeDetected.return:<> TEST.VALUE:uut_prototype_stubs.getS32OverrideValue.return:0 -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:0,240 +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:0,480 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:2.0,1.0 TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME,TREATMENT_PARAM_HEPARIN_DISPENSE_RATE TEST.END @@ -3325,9 +3366,9 @@ TEST.VALUE:SyringePump.<>.syringeVolumeAdequate:1 TEST.VALUE:SyringePump.getSyringePumpForceV.return:0.01 TEST.VALUE:SyringePump.handleSyringePumpSeekState.return:SYRINGE_PUMP_SEEK_STATE +TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:5000,100 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:1000.0 -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET TEST.EXPECTED:SyringePump.<>.syringePumpPlungerFound:1 TEST.EXPECTED:SyringePump.<>.syringeVolumeAdequate:1 TEST.EXPECTED:SyringePump.handleSyringePumpSeekState.return:SYRINGE_PUMP_OFF_STATE @@ -4532,8 +4573,8 @@ TEST.VALUE:SyringePump.<>.syringePumpSetRate:4.0 TEST.VALUE:SyringePump.<>.syringePumpPrimeCompleted:1 TEST.VALUE:uut_prototype_stubs.getF32OverrideValue.return:0.3,3.0,1.0,10.0 -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:1.0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:1.0 TEST.EXPECTED:SyringePump.<>.syringePumpSetRate:4.0 TEST.EXPECTED:SyringePump.startHeparinBolus.return:0 TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME @@ -4587,8 +4628,8 @@ TEST.VALUE:SyringePump.<>.syringePumpSetRate:4.0 TEST.VALUE:SyringePump.<>.syringePumpPrimeCompleted:1 TEST.VALUE:uut_prototype_stubs.getF32OverrideValue.return:0.3,3.0,0.5,10.0 -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:0.0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:0.0 TEST.EXPECTED:SyringePump.<>.syringePumpSetRate:4.0 TEST.EXPECTED:SyringePump.startHeparinBolus.return:0 TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME @@ -4613,8 +4654,8 @@ TEST.VALUE:SyringePump.<>.syringePumpPrimeCompleted:1 TEST.VALUE:SyringePump.startHeparinBolus.return:0 TEST.VALUE:uut_prototype_stubs.getF32OverrideValue.return:0.3,3.0,0.5,10.0 -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:1.0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:1.0 TEST.EXPECTED:SyringePump.<>.syringePumpSetRate:10.0 TEST.EXPECTED:SyringePump.startHeparinBolus.return:1 TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME @@ -4961,8 +5002,8 @@ TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_OFF TEST.VALUE:SyringePump.isSyringeDetected.return:<> TEST.VALUE:SyringePump.isSyringePumpHome.return:0 -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:0.2 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:0.2 TEST.EXPECTED:SyringePump.<>.syringePumpState:SYRINGE_PUMP_INIT_STATE TEST.EXPECTED:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_OFF TEST.END @@ -4987,8 +5028,8 @@ TEST.VALUE:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_STOPPED TEST.VALUE:SyringePump.isSyringeDetected.return:1 TEST.VALUE:SyringePump.isSyringePumpHome.return:0 -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:0.2 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:0.2 TEST.EXPECTED:SyringePump.<>.syringePumpState:SYRINGE_PUMP_OFF_STATE TEST.EXPECTED:SyringePump.<>.heparinDeliveryState:HEPARIN_STATE_STOPPED TEST.END @@ -5013,8 +5054,8 @@ TEST.VALUE:SyringePump.<>.syringePumpState:SYRINGE_PUMP_INIT_STATE TEST.VALUE:SyringePump.isSyringeDetected.return:<> TEST.VALUE:SyringePump.isSyringePumpHome.return:0 -TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:0.2 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_SERV +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:0.2 TEST.EXPECTED:SyringePump.<>.syringePumpState:SYRINGE_PUMP_INIT_STATE TEST.END @@ -6590,13 +6631,19 @@ TEST.NEW TEST.NAME:userHeparinRequest.006 TEST.IMPORT_FAILURES: -(I) @LINE: 6826 +(I) @LINE: 6858 >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 6827 +(I) @LINE: 6859 >>> 'HEPARIN_STATE_DISPENSING' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 6828 +(I) @LINE: 6860 >>> 'HEPARIN_STATE_PAUSED' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 6826 + >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 6827 + >>> >>> 'HEPARIN_STATE_DISPENSING' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 6828 + >>> >>> 'HEPARIN_STATE_PAUSED' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 6820 >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 6821 @@ -6897,9 +6944,11 @@ TEST.NEW TEST.NAME:userHeparinRequest.008 TEST.IMPORT_FAILURES: -(I) @LINE: 6948 +(I) @LINE: 6982 >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 6948 + >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 6940 >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 6880