-- VectorCAST 19.sp3 (11/13/19) -- Test Case Script -- -- Environment : TREATMENTSTOP -- Unit(s) Under Test: TreatmentStop -- -- Script Features TEST.SCRIPT_FEATURE:C_DIRECT_ARRAY_INDEXING TEST.SCRIPT_FEATURE:CPP_CLASS_OBJECT_REVISION TEST.SCRIPT_FEATURE:MULTIPLE_UUT_SUPPORT TEST.SCRIPT_FEATURE:MIXED_CASE_NAMES TEST.SCRIPT_FEATURE:STATIC_HEADER_FUNCS_IN_UUTS TEST.SCRIPT_FEATURE:VCAST_MAIN_NOT_RENAMED -- -- Unit: TreatmentStop -- Subprogram: execTreatmentStop -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:execTreatmentStop TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (getRinsebackCompleted() != (1)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:execTreatmentStop TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (getRinsebackCompleted() != (1)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:1 TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:execTreatmentStop TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:4 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (getRinsebackCompleted() != (1)) ==> TRUE (2) if (++bloodSittingTimerCtr > WARN_TIME_BLOOD_SITTING) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 2 TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<> TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:execTreatmentStop TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:3 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (getRinsebackCompleted() != (1)) ==> TRUE (2) if (++bloodSittingTimerCtr > WARN_TIME_BLOOD_SITTING) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 2 TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<> TEST.END -- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:execTreatmentStop TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:6 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (getRinsebackCompleted() != (1)) ==> TRUE (2) if (++bloodSittingTimerCtr > WARN_TIME_BLOOD_SITTING) ==> FALSE (3) if (bloodSittingTimerCtr > MAX_TIME_BLOOD_SITTING) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 2 TEST.END_NOTES: TEST.VALUE:TreatmentStop.<>.bloodSittingTimerCtr:<> TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<> TEST.END -- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:execTreatmentStop TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:5 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (getRinsebackCompleted() != (1)) ==> TRUE (2) if (++bloodSittingTimerCtr > WARN_TIME_BLOOD_SITTING) ==> FALSE (3) if (bloodSittingTimerCtr > MAX_TIME_BLOOD_SITTING) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 2 TEST.END_NOTES: TEST.VALUE:TreatmentStop.<>.bloodSittingTimerCtr:<> TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<> TEST.END -- Test Case: execTreatmentStop.001 TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:execTreatmentStop TEST.NEW TEST.NAME:execTreatmentStop.001 TEST.VALUE:TreatmentStop.<>.bloodSittingTimerCtr:7000 TEST.END -- Test Case: execTreatmentStop.002 TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:execTreatmentStop TEST.NEW TEST.NAME:execTreatmentStop.002 TEST.VALUE:TreatmentStop.<>.currentTxStopState:TREATMENT_STOP_NO_RECIRC_STATE TEST.END -- Test Case: execTreatmentStop.003 TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:execTreatmentStop TEST.NEW TEST.NAME:execTreatmentStop.003 TEST.VALUE:TreatmentStop.<>.currentTxStopState:NUM_OF_TREATMENT_STOP_STATES TEST.END -- Subprogram: getCurrentTreatmentStopState -- Test Case: getCurrentTreatmentStopState.001 TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:getCurrentTreatmentStopState TEST.NEW TEST.NAME:getCurrentTreatmentStopState.001 TEST.END -- Subprogram: handleTreatmentStopNoRecircState -- Test Case: handleTreatmentStopNoRecircState.001 TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:handleTreatmentStopNoRecircState TEST.NEW TEST.NAME:handleTreatmentStopNoRecircState.001 TEST.END -- Subprogram: handleTreatmentStopRecircState -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:handleTreatmentStopRecircState TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isDialysateRecircBlocked()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:handleTreatmentStopRecircState TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isDialysateRecircBlocked()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:<> TEST.END -- Subprogram: initTreatmentStop -- Test Case: initTreatmentStop.001 TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:initTreatmentStop TEST.NEW TEST.NAME:initTreatmentStop.001 TEST.END -- Subprogram: publishTreatmentStopData -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:publishTreatmentStopData TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:publishTreatmentStopData TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:publishTreatmentStopData TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:4 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE (2) if (getRinsebackCompleted() != (1)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<> TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:publishTreatmentStopData TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:3 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE (2) if (getRinsebackCompleted() != (1)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:1 TEST.END -- Test Case: COND_3_ROW_1_PAIR_a_T TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:publishTreatmentStopData TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:5 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE (2) if (getRinsebackCompleted() != (1)) ==> TRUE (3) (bloodSittingTimerCtr >= MAX_TIME_BLOOD_SITTING) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:TreatmentStop.<>.bloodSittingTimerCtr:<> TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<> TEST.END -- Test Case: COND_3_ROW_2_PAIR_a_F TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:publishTreatmentStopData TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:6 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE (2) if (getRinsebackCompleted() != (1)) ==> TRUE (3) (bloodSittingTimerCtr >= MAX_TIME_BLOOD_SITTING) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:TreatmentStop.<>.bloodSittingTimerCtr:<> TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<> TEST.END -- Subprogram: testResetTreatmentStopPublishIntervalOverride -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:testResetTreatmentStopPublishIntervalOverride TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:testResetTreatmentStopPublishIntervalOverride TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testSetTreatmentStopPublishIntervalOverride -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:testSetTreatmentStopPublishIntervalOverride TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:TreatmentStop.testSetTreatmentStopPublishIntervalOverride.ms:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:testSetTreatmentStopPublishIntervalOverride TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:TreatmentStop.testSetTreatmentStopPublishIntervalOverride.ms:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: transitionToTreatmentStop -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:transitionToTreatmentStop TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == getRinsebackCompleted()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:transitionToTreatmentStop TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == getRinsebackCompleted()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<> TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:transitionToTreatmentStop TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:4 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == getRinsebackCompleted()) ==> FALSE (2) if ((0) == isAnyAlarmActive()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0 TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<> TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:transitionToTreatmentStop TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:3 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == getRinsebackCompleted()) ==> FALSE (2) if ((0) == isAnyAlarmActive()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<> TEST.END -- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:transitionToTreatmentStop TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:6 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((1) == getRinsebackCompleted()) ==> FALSE (2) if ((0) == isAnyAlarmActive()) ==> TRUE (3) if ((1) == getRinsebackCompleted()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getRinsebackCompleted.return 'equal to' and 'not equal to' same value in branches 1/3 TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0 TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:1 TEST.END -- Test Case: COND_3_ROW_2_PAIR_a_F TEST.UNIT:TreatmentStop TEST.SUBPROGRAM:transitionToTreatmentStop TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:5 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((1) == getRinsebackCompleted()) ==> FALSE (2) if ((0) == isAnyAlarmActive()) ==> TRUE (3) if ((1) == getRinsebackCompleted()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0 TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<> TEST.END