-- VectorCAST 19.sp3 (11/13/19) -- Test Case Script -- -- Environment : BLOODLEAK -- Unit(s) Under Test: BloodLeak -- -- 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: BloodLeak -- Subprogram: execBloodLeak -- Test Case: execBloodLeak.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeak TEST.NEW TEST.NAME:execBloodLeak.001 TEST.VALUE:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_ZERO_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_ZERO_STATE TEST.END -- Test Case: execBloodLeak.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeak TEST.NEW TEST.NAME:execBloodLeak.002 TEST.VALUE:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_SELF_TEST_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_SELF_TEST_STATE TEST.END -- Test Case: execBloodLeak.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeak TEST.NEW TEST.NAME:execBloodLeak.003 TEST.VALUE:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_NORMAL_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_NORMAL_STATE TEST.END -- Test Case: execBloodLeak.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeak TEST.NEW TEST.NAME:execBloodLeak.004 TEST.VALUE:BloodLeak.<>.bloodLeakState:NUM_OF_BLOOD_LEAK_STATES TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_INIT_STATE TEST.END -- Test Case: execBloodLeak.005 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeak TEST.NEW TEST.NAME:execBloodLeak.005 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (getCurrentOperationMode() != (MODE_INIT)) ==> 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.getCurrentOperationMode.return:MODE_FAUL TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.END -- Test Case: execBloodLeak.006 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeak TEST.NEW TEST.NAME:execBloodLeak.006 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (getCurrentOperationMode() != (MODE_INIT)) ==> 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:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_SET_SET_POINT_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_SET_SET_POINT_STATE TEST.END -- Test Case: execBloodLeak.007 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeak TEST.NEW TEST.NAME:execBloodLeak.007 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (getCurrentOperationMode() != (MODE_INIT)) ==> 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:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_SET_SET_POINT_STATE TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:1 TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:3000 TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_SET_SET_POINT_STATE TEST.END -- Test Case: execBloodLeak.008 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeak TEST.NEW TEST.NAME:execBloodLeak.008 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (getCurrentOperationMode() != (MODE_INIT)) ==> 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:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_START_UP_STATE TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:1 TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:1000 TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_START_UP_STATE TEST.END -- Test Case: execBloodLeak.009 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeak TEST.NEW TEST.NAME:execBloodLeak.009 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (getCurrentOperationMode() != (MODE_INIT)) ==> 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:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_CHECK_SET_POINT_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_INIT_STATE TEST.END -- Test Case: execBloodLeak.010 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeak TEST.NEW TEST.NAME:execBloodLeak.010 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (getCurrentOperationMode() != (MODE_INIT)) ==> 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:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_INIT_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_INIT_STATE TEST.END -- Test Case: execBloodLeak.011 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeak TEST.NEW TEST.NAME:execBloodLeak.011 TEST.BASIS_PATH:1 of 14 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isNewCalibrationRecordAvailable() && calcTimeSince(bloodLeakGetCalStartTime) > 2 * 1000) ==> FALSE (2) if ((1) == bloodLeakSignalEmbModeReq) ==> FALSE (3) if (getCurrentOperationMode() != (MODE_INIT)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakSignalEmbModeReq:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakSignalEmbModeReq:0 TEST.END -- Test Case: execBloodLeak.012 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeak TEST.NEW TEST.NAME:execBloodLeak.012 TEST.BASIS_PATH:2 of 14 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isNewCalibrationRecordAvailable() && calcTimeSince(bloodLeakGetCalStartTime) > 2 * 1000) ==> FALSE (2) if ((1) == bloodLeakSignalEmbModeReq) ==> FALSE (3) if (getCurrentOperationMode() != (MODE_INIT)) ==> TRUE (14) case bloodLeakState ==> default Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakState:NUM_OF_BLOOD_LEAK_STATES TEST.VALUE:BloodLeak.<>.bloodLeakSignalEmbModeReq:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_INIT_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakSignalEmbModeReq:0 TEST.END -- Test Case: execBloodLeak.013 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeak TEST.NEW TEST.NAME:execBloodLeak.013 TEST.BASIS_PATH:3 of 14 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == isNewCalibrationRecordAvailable() && calcTimeSince(bloodLeakGetCalStartTime) > 2 * 1000) ==> FALSE (2) if ((1) == bloodLeakSignalEmbModeReq) ==> FALSE (3) if (getCurrentOperationMode() != (MODE_INIT)) ==> TRUE (4) case bloodLeakState ==> BLOOD_LEAK_WAIT_FOR_POST_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.VALUE:BloodLeak.<>.bloodLeakSignalEmbModeReq:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakSignalEmbModeReq:0 TEST.END -- Test Case: execBloodLeak.014 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeak TEST.NEW TEST.NAME:execBloodLeak.014 TEST.BASIS_PATH:5 of 14 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((1) == isNewCalibrationRecordAvailable() && calcTimeSince(bloodLeakGetCalStartTime) > 2 * 1000) ==> FALSE (2) if ((1) == bloodLeakSignalEmbModeReq) ==> FALSE (3) if (getCurrentOperationMode() != (MODE_INIT)) ==> TRUE (6) case bloodLeakState ==> BLOOD_LEAK_CHECK_COMM_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_CHECK_COMM_STATE TEST.VALUE:BloodLeak.<>.bloodLeakSignalEmbModeReq:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_START_UP_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakSignalEmbModeReq:0 TEST.END -- Test Case: execBloodLeak.015 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeak TEST.NEW TEST.NAME:execBloodLeak.015 TEST.BASIS_PATH:12 of 14 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if ((1) == isNewCalibrationRecordAvailable() && calcTimeSince(bloodLeakGetCalStartTime) > 2 * 1000) ==> FALSE (2) if ((1) == bloodLeakSignalEmbModeReq) ==> FALSE (3) if (getCurrentOperationMode() != (MODE_INIT)) ==> TRUE (13) case bloodLeakState ==> BLOOD_LEAK_CALIBRATION_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_CALIBRATION_STATE TEST.VALUE:BloodLeak.<>.bloodLeakSignalEmbModeReq:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_CALIBRATION_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakSignalEmbModeReq:0 TEST.END -- Test Case: execBloodLeak.016 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeak TEST.NEW TEST.NAME:execBloodLeak.016 TEST.BASIS_PATH:13 of 14 TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) if ((1) == isNewCalibrationRecordAvailable() && calcTimeSince(bloodLeakGetCalStartTime) > 2 * 1000) ==> FALSE (2) if ((1) == bloodLeakSignalEmbModeReq) ==> TRUE (3) if (getCurrentOperationMode() != (MODE_INIT)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakSignalEmbModeReq:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<> TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakSignalEmbModeReq:1 TEST.END -- Subprogram: execBloodLeakSelfTest -- Test Case: execBloodLeakSelfTest.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeakSelfTest TEST.NEW TEST.NAME:execBloodLeakSelfTest.001 TEST.EXPECTED:BloodLeak.execBloodLeakSelfTest.return:SELF_TEST_STATUS_FAILED TEST.END -- Test Case: execBloodLeakSelfTest.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeakSelfTest TEST.NEW TEST.NAME:execBloodLeakSelfTest.002 TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.return:1 TEST.EXPECTED:BloodLeak.execBloodLeakSelfTest.return:SELF_TEST_STATUS_PASSED TEST.END -- Subprogram: exitBloodLeakNormalState -- Test Case: exitBloodLeakNormalState.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:exitBloodLeakNormalState TEST.NEW TEST.NAME:exitBloodLeakNormalState.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((BLOOD_LEAK_NORMAL_STATE) == bloodLeakState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.END -- Test Case: exitBloodLeakNormalState.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:exitBloodLeakNormalState TEST.NEW TEST.NAME:exitBloodLeakNormalState.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((BLOOD_LEAK_NORMAL_STATE) == bloodLeakState) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_NORMAL_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_NORMAL_STATE TEST.END -- Subprogram: getBloodLeakSelfTestStatus -- Test Case: getBloodLeakSelfTestStatus.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:getBloodLeakSelfTestStatus TEST.NEW TEST.NAME:getBloodLeakSelfTestStatus.001 TEST.EXPECTED:BloodLeak.getBloodLeakSelfTestStatus.return:SELF_TEST_STATUS_IN_PROGRESS TEST.END -- Subprogram: getBloodLeakStatus -- Test Case: getBloodLeakStatus.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:getBloodLeakStatus TEST.NEW TEST.NAME:getBloodLeakStatus.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (0xccc33c33U == bloodLeakStatus.override) ==> 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:BloodLeak.<>.bloodLeakStatus.override:3435346995 TEST.EXPECTED:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_DETECTED TEST.END -- Test Case: getBloodLeakStatus.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:getBloodLeakStatus TEST.NEW TEST.NAME:getBloodLeakStatus.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (0xccc33c33U == bloodLeakStatus.override) ==> 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:BloodLeak.<>.bloodLeakStatus.override:<> TEST.EXPECTED:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_DETECTED TEST.END -- Subprogram: handleBloodLeakCalibrationState -- Test Case: handleBloodLeakCalibrationState.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCalibrationState TEST.NEW TEST.NAME:handleBloodLeakCalibrationState.001 TEST.BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (3) case bloodLeakEmbModeSubstate ==> BLOOD_LEAK_CAL_WAIT_FOR_COMMAND_RESPONSE_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeSubstate:BLOOD_LEAK_CAL_WAIT_FOR_COMMAND_RESPONSE_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeSubstate:BLOOD_LEAK_CAL_WAIT_FOR_COMMAND_RESPONSE_STATE TEST.END -- Test Case: handleBloodLeakCalibrationState.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCalibrationState TEST.NEW TEST.NAME:handleBloodLeakCalibrationState.002 TEST.BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) case bloodLeakEmbModeSubstate ==> BLOOD_LEAK_CAL_WAIT_FOR_COMAND_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeSubstate:BLOOD_LEAK_CAL_WAIT_FOR_COMAND_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeSubstate:BLOOD_LEAK_CAL_WAIT_FOR_COMAND_STATE TEST.END -- Test Case: handleBloodLeakCalibrationState.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCalibrationState TEST.NEW TEST.NAME:handleBloodLeakCalibrationState.003 TEST.BASIS_PATH:3 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 3 (2) case bloodLeakEmbModeSubstate ==> BLOOD_LEAK_CAL_SEND_COMMAND_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeSubstate:BLOOD_LEAK_CAL_SEND_COMMAND_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeSubstate:BLOOD_LEAK_CAL_WAIT_FOR_COMMAND_RESPONSE_STATE TEST.END -- Subprogram: handleBloodLeakCheckCommState -- Test Case: handleBloodLeakCheckCommState.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCheckCommState TEST.NEW TEST.NAME:handleBloodLeakCheckCommState.001 TEST.BASIS_PATH:1 of 4 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (bloodLeakPrevFPGARegisterCount != getFPGABloodLeakRegisterCounter()) ==> FALSE (2) if ((1) == isBloodLeakCommunicating) ==> FALSE (3) if (bloodLeakCommandWriteTryCount < (3)) ==> FALSE Test Case Generation Notes: Cannot set local variable isBloodLeakCommunicating in branch 2 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakCommandWriteTryCount:<> TEST.VALUE:BloodLeak.<>.bloodLeakPrevFPGARegisterCount:0 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRegisterCounter.return:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakCommandWriteTryCount:4294967295 TEST.EXPECTED:BloodLeak.<>.bloodLeakPrevFPGARegisterCount:0 TEST.END -- Test Case: handleBloodLeakCheckCommState.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCheckCommState TEST.NEW TEST.NAME:handleBloodLeakCheckCommState.002 TEST.BASIS_PATH:2 of 4 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (bloodLeakPrevFPGARegisterCount != getFPGABloodLeakRegisterCounter()) ==> FALSE (2) if ((1) == isBloodLeakCommunicating) ==> FALSE (3) if (bloodLeakCommandWriteTryCount < (3)) ==> TRUE Test Case Generation Notes: Cannot set local variable isBloodLeakCommunicating in branch 2 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakCommandWriteTryCount:<> TEST.VALUE:BloodLeak.<>.bloodLeakPrevFPGARegisterCount:0 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRegisterCounter.return:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakCommandWriteTryCount:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakPrevFPGARegisterCount:0 TEST.END -- Test Case: handleBloodLeakCheckCommState.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCheckCommState TEST.NEW TEST.NAME:handleBloodLeakCheckCommState.003 TEST.BASIS_PATH:3 of 4 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (bloodLeakPrevFPGARegisterCount != getFPGABloodLeakRegisterCounter()) ==> FALSE (2) if ((1) == isBloodLeakCommunicating) ==> TRUE Test Case Generation Notes: Cannot set local variable isBloodLeakCommunicating in branch 2 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakPrevFPGARegisterCount:0 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRegisterCounter.return:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakPrevFPGARegisterCount:0 TEST.END -- Test Case: handleBloodLeakCheckCommState.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCheckCommState TEST.NEW TEST.NAME:handleBloodLeakCheckCommState.004 TEST.BASIS_PATH:4 of 4 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (bloodLeakPrevFPGARegisterCount != getFPGABloodLeakRegisterCounter()) ==> TRUE (2) if ((1) == isBloodLeakCommunicating) ==> FALSE (3) if (bloodLeakCommandWriteTryCount < (3)) ==> FALSE Test Case Generation Notes: Cannot set local variable isBloodLeakCommunicating in branch 2 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakCommandWriteTryCount:<> TEST.VALUE:BloodLeak.<>.bloodLeakPrevFPGARegisterCount:<> TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRegisterCounter.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakCommandWriteTryCount:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakPrevFPGARegisterCount:0 TEST.END -- Subprogram: handleBloodLeakCheckSetPointState -- Test Case: handleBloodLeakCheckSetPointState.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCheckSetPointState TEST.NEW TEST.NAME:handleBloodLeakCheckSetPointState.001 TEST.VALUE:BloodLeak.<>.bloodLeakGetCalStartTime:1 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakDetectSetPoint.return:1 TEST.EXPECTED:BloodLeak.handleBloodLeakCheckSetPointState.return:BLOOD_LEAK_SET_SET_POINT_STATE TEST.END -- Test Case: handleBloodLeakCheckSetPointState.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCheckSetPointState TEST.NEW TEST.NAME:handleBloodLeakCheckSetPointState.002 TEST.VALUE:BloodLeak.<>.bloodLeakCommandWriteTryCount:4 TEST.VALUE:BloodLeak.<>.bloodLeakCalRecord.setPoint:0 TEST.VALUE:BloodLeak.<>.bloodLeakGetCalStartTime:1 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakDetectSetPoint.return:1 TEST.EXPECTED:BloodLeak.handleBloodLeakCheckSetPointState.return:BLOOD_LEAK_CHECK_SET_POINT_STATE TEST.END -- Subprogram: handleBloodLeakInitState -- Test Case: handleBloodLeakInitState.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakInitState TEST.NEW TEST.NAME:handleBloodLeakInitState.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == bloodLeakZeroRequested) ==> 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:BloodLeak.<>.bloodLeakZeroRequested:1 TEST.EXPECTED:BloodLeak.handleBloodLeakInitState.return:BLOOD_LEAK_ZERO_STATE TEST.END -- Test Case: handleBloodLeakInitState.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakInitState TEST.NEW TEST.NAME:handleBloodLeakInitState.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == bloodLeakZeroRequested) ==> 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:BloodLeak.<>.bloodLeakZeroRequested:<> TEST.EXPECTED:BloodLeak.handleBloodLeakInitState.return:BLOOD_LEAK_INIT_STATE TEST.END -- Subprogram: handleBloodLeakNormalState -- Test Case: handleBloodLeakNormalState.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakNormalState TEST.NEW TEST.NAME:handleBloodLeakNormalState.001 TEST.MCDC_BASIS_PATH:2 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == noFPGABloodLeakDetected()) ==> 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.noFPGABloodLeakDetected.return:1 TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.END -- Test Case: handleBloodLeakNormalState.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakNormalState TEST.NEW TEST.NAME:handleBloodLeakNormalState.002 TEST.MCDC_BASIS_PATH:1 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == noFPGABloodLeakDetected()) ==> 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.noFPGABloodLeakDetected.return:<> TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.END -- Test Case: handleBloodLeakNormalState.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakNormalState TEST.NEW TEST.NAME:handleBloodLeakNormalState.003 TEST.MCDC_BASIS_PATH:8 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if ((1) == noFPGABloodLeakDetected()) ==> FALSE (2) if ((BLOOD_LEAK_DETECTED) == getBloodLeakStatus()) ==> TRUE (3) if (getCurrentOperationMode() == (MODE_TREA)) ==> 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.STUB:BloodLeak.getBloodLeakStatus TEST.VALUE:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_DETECTED TEST.VALUE:uut_prototype_stubs.noFPGABloodLeakDetected.return:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.END -- Test Case: handleBloodLeakNormalState.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakNormalState TEST.NEW TEST.NAME:handleBloodLeakNormalState.004 TEST.MCDC_BASIS_PATH:6 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((1) == noFPGABloodLeakDetected()) ==> FALSE (2) if ((BLOOD_LEAK_DETECTED) == getBloodLeakStatus()) ==> FALSE (4) if ((1) == bloodLeakZeroRequested) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.getBloodLeakStatus TEST.VALUE:BloodLeak.<>.bloodLeakZeroRequested:1 TEST.VALUE:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_NOT_DETECTED TEST.VALUE:uut_prototype_stubs.noFPGABloodLeakDetected.return:<> TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_ZERO_STATE TEST.END -- Test Case: handleBloodLeakNormalState.005 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakNormalState TEST.NEW TEST.NAME:handleBloodLeakNormalState.005 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((1) == noFPGABloodLeakDetected()) ==> FALSE (2) if ((BLOOD_LEAK_DETECTED) == getBloodLeakStatus()) ==> FALSE (4) if ((1) == bloodLeakZeroRequested) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.getBloodLeakStatus TEST.VALUE:BloodLeak.<>.bloodLeakPersistenceCtr:1000 TEST.VALUE:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_DETECTED TEST.VALUE:uut_prototype_stubs.noFPGABloodLeakDetected.return:<> TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.END -- Test Case: handleBloodLeakNormalState.006 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakNormalState TEST.NEW TEST.NAME:handleBloodLeakNormalState.006 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((1) == noFPGABloodLeakDetected()) ==> FALSE (2) if ((BLOOD_LEAK_DETECTED) == getBloodLeakStatus()) ==> FALSE (4) if ((1) == bloodLeakZeroRequested) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.getBloodLeakStatus TEST.VALUE:BloodLeak.<>.bloodLeakPersistenceCtr:1000 TEST.VALUE:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_NOT_DETECTED TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.END -- Test Case: handleBloodLeakNormalState.007 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakNormalState TEST.NEW TEST.NAME:handleBloodLeakNormalState.007 TEST.BASIS_PATH:2 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == noFPGABloodLeakDetected()) ==> FALSE (2) if ((BLOOD_LEAK_DETECTED) == getBloodLeakStatus()) ==> FALSE (4) if (bloodLeakPersistenceCtr > (0)) ==> FALSE (5) if ((1) == bloodLeakZeroRequested) ==> FALSE (6) if ((1) == bloodLeakExitNormalRequested) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.getBloodLeakStatus TEST.VALUE:BloodLeak.<>.bloodLeakZeroRequested:<> TEST.VALUE:BloodLeak.<>.bloodLeakPersistenceCtr:<> TEST.VALUE:BloodLeak.<>.bloodLeakExitNormalRequested:1 TEST.VALUE:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_NOT_DETECTED TEST.VALUE:uut_prototype_stubs.noFPGABloodLeakDetected.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakZeroRequested:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakPersistenceCtr:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakExitNormalRequested:0 TEST.END -- Subprogram: handleBloodLeakSelfTestState -- Test Case: handleBloodLeakSelfTestState.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakSelfTestState TEST.NEW TEST.NAME:handleBloodLeakSelfTestState.001 TEST.MCDC_BASIS_PATH:2 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((SELF_TEST_STATUS_IN_PROGRESS) == bloodLeakSelfTestStatus) ==> 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:BloodLeak.<>.bloodLeakSelfTestStatus:SELF_TEST_STATUS_IN_PROGRESS TEST.EXPECTED:BloodLeak.handleBloodLeakSelfTestState.return:BLOOD_LEAK_SELF_TEST_STATE TEST.END -- Test Case: handleBloodLeakSelfTestState.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakSelfTestState TEST.NEW TEST.NAME:handleBloodLeakSelfTestState.002 TEST.MCDC_BASIS_PATH:1 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((SELF_TEST_STATUS_IN_PROGRESS) == bloodLeakSelfTestStatus) ==> 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:BloodLeak.<>.bloodLeakSelfTestStatus:SELF_TEST_STATUS_PASSED TEST.EXPECTED:BloodLeak.handleBloodLeakSelfTestState.return:BLOOD_LEAK_SELF_TEST_STATE TEST.END -- Test Case: handleBloodLeakSelfTestState.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakSelfTestState TEST.NEW TEST.NAME:handleBloodLeakSelfTestState.003 TEST.MCDC_BASIS_PATH:5 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((SELF_TEST_STATUS_IN_PROGRESS) == bloodLeakSelfTestStatus) ==> TRUE (2) if ((0) == noFPGABloodLeakDetected()) ==> 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:BloodLeak.<>.bloodLeakSelfTestStatus:SELF_TEST_STATUS_IN_PROGRESS TEST.VALUE:uut_prototype_stubs.noFPGABloodLeakDetected.return:1 TEST.EXPECTED:BloodLeak.handleBloodLeakSelfTestState.return:BLOOD_LEAK_SELF_TEST_STATE TEST.END -- Test Case: handleBloodLeakSelfTestState.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakSelfTestState TEST.NEW TEST.NAME:handleBloodLeakSelfTestState.004 TEST.MCDC_BASIS_PATH:8 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if ((SELF_TEST_STATUS_IN_PROGRESS) == bloodLeakSelfTestStatus) ==> TRUE (2) if ((0) == noFPGABloodLeakDetected()) ==> FALSE (3) if ((1) == didTimeout(bloodLeakSelfTestStartTime, 500)) ==> 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:BloodLeak.<>.bloodLeakSelfTestStatus:SELF_TEST_STATUS_IN_PROGRESS TEST.VALUE:uut_prototype_stubs.noFPGABloodLeakDetected.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:BloodLeak.handleBloodLeakSelfTestState.return:BLOOD_LEAK_SELF_TEST_STATE TEST.END -- Test Case: handleBloodLeakSelfTestState.005 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakSelfTestState TEST.NEW TEST.NAME:handleBloodLeakSelfTestState.005 TEST.MCDC_BASIS_PATH:4 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((SELF_TEST_STATUS_IN_PROGRESS) == bloodLeakSelfTestStatus) ==> FALSE (4) if ((1) == noFPGABloodLeakDetected()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakSelfTestStatus:SELF_TEST_STATUS_PASSED TEST.VALUE:uut_prototype_stubs.noFPGABloodLeakDetected.return:1 TEST.EXPECTED:BloodLeak.handleBloodLeakSelfTestState.return:BLOOD_LEAK_NORMAL_STATE TEST.END -- Subprogram: handleBloodLeakSetSetPointState -- Test Case: handleBloodLeakSetSetPointState.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakSetSetPointState TEST.NEW TEST.NAME:handleBloodLeakSetSetPointState.001 TEST.EXPECTED:BloodLeak.handleBloodLeakSetSetPointState.return:BLOOD_LEAK_SET_SET_POINT_STATE TEST.END -- Test Case: handleBloodLeakSetSetPointState.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakSetSetPointState TEST.NEW TEST.NAME:handleBloodLeakSetSetPointState.002 TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:1 TEST.VALUE:BloodLeak.<>.bloodLeakSetPointSeqLength:3 TEST.EXPECTED:BloodLeak.handleBloodLeakSetSetPointState.return:BLOOD_LEAK_SET_SET_POINT_STATE TEST.END -- Test Case: handleBloodLeakSetSetPointState.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakSetSetPointState TEST.NEW TEST.NAME:handleBloodLeakSetSetPointState.003 TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:4 TEST.VALUE:BloodLeak.<>.bloodLeakSetPointSeqLength:3 TEST.VALUE:BloodLeak.<>.bloodLeakWait2ReadResponseCounter:100 TEST.EXPECTED:BloodLeak.handleBloodLeakSetSetPointState.return:BLOOD_LEAK_CHECK_SET_POINT_STATE TEST.END -- Subprogram: handleBloodLeakStartupState -- Test Case: handleBloodLeakStartupState.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakStartupState TEST.NEW TEST.NAME:handleBloodLeakStartupState.001 TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:3 TEST.EXPECTED:BloodLeak.handleBloodLeakStartupState.return:BLOOD_LEAK_START_UP_STATE TEST.END -- Test Case: handleBloodLeakStartupState.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakStartupState TEST.NEW TEST.NAME:handleBloodLeakStartupState.002 TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:4 TEST.EXPECTED:BloodLeak.handleBloodLeakStartupState.return:BLOOD_LEAK_START_UP_STATE TEST.END -- Test Case: handleBloodLeakStartupState.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakStartupState TEST.NEW TEST.NAME:handleBloodLeakStartupState.003 TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:6 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:6 TEST.EXPECTED:BloodLeak.handleBloodLeakStartupState.return:BLOOD_LEAK_START_UP_STATE TEST.END -- Test Case: handleBloodLeakStartupState.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakStartupState TEST.NEW TEST.NAME:handleBloodLeakStartupState.004 TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:6 TEST.VALUE:BloodLeak.<>.bloodLeakWait2ReadResponseCounter:100 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakWait2ReadResponseCounter:101 TEST.EXPECTED:BloodLeak.handleBloodLeakStartupState.return:BLOOD_LEAK_CHECK_COMM_STATE TEST.END -- Subprogram: handleBloodLeakWaitForPostState -- Test Case: handleBloodLeakWaitForPostState.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakWaitForPostState TEST.NEW TEST.NAME:handleBloodLeakWaitForPostState.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == bloodLeakIsPOSTComplete) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakIsPOSTComplete:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakIsPOSTComplete:0 TEST.END -- Test Case: handleBloodLeakWaitForPostState.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakWaitForPostState TEST.NEW TEST.NAME:handleBloodLeakWaitForPostState.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == bloodLeakIsPOSTComplete) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakIsPOSTComplete:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakIsPOSTComplete:1 TEST.END -- Subprogram: handleBloodLeakZeroState -- Test Case: handleBloodLeakZeroState.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakZeroState TEST.NEW TEST.NAME:handleBloodLeakZeroState.001 TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == FPGABloodLeakZeroDetected()) ==> 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.FPGABloodLeakZeroDetected.return:1 TEST.EXPECTED:BloodLeak.handleBloodLeakZeroState.return:BLOOD_LEAK_SELF_TEST_STATE TEST.END -- Test Case: handleBloodLeakZeroState.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakZeroState TEST.NEW TEST.NAME:handleBloodLeakZeroState.002 TEST.MCDC_BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == FPGABloodLeakZeroDetected()) ==> 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.FPGABloodLeakZeroDetected.return:<> TEST.EXPECTED:BloodLeak.handleBloodLeakZeroState.return:BLOOD_LEAK_ZERO_STATE TEST.END -- Test Case: handleBloodLeakZeroState.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakZeroState TEST.NEW TEST.NAME:handleBloodLeakZeroState.003 TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == FPGABloodLeakZeroDetected()) ==> FALSE (2) if ((1) == didTimeout(bloodLeakZeroStartTime, 500)) ==> 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.FPGABloodLeakZeroDetected.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:BloodLeak.handleBloodLeakZeroState.return:BLOOD_LEAK_ZERO_STATE TEST.END -- Subprogram: handleCalBloodLeakSendCommandState -- Test Case: handleCalBloodLeakSendCommandState.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakSendCommandState TEST.NEW TEST.NAME:handleCalBloodLeakSendCommandState.001 TEST.BASIS_PATH:1 of 17 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 1 (12) case (bloodLeakEmbModeRqstedCmd) ==> SP_EMB_MODE_CMD (13) if (bloodLeakUARTCmdIndex < bloodLeakSetPointSeqLength) ==> FALSE (16) if ((0) == isUARTCtrlDone) ==> FALSE Test Case Generation Notes: Cannot set local variable isUARTCtrlDone in branch 16 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:<> TEST.VALUE:BloodLeak.<>.bloodLeakSetPointSeqLength:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:2 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakSetPointSeqLength:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:2 TEST.END -- Test Case: handleCalBloodLeakSendCommandState.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakSendCommandState TEST.NEW TEST.NAME:handleCalBloodLeakSendCommandState.002 TEST.BASIS_PATH:4 of 17 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 4 (12) case (bloodLeakEmbModeRqstedCmd) ==> SP_EMB_MODE_CMD (13) if (bloodLeakUARTCmdIndex < bloodLeakSetPointSeqLength) ==> TRUE (14) if (bloodLeakUARTCmdIndex >= activeHighIndex) ==> FALSE (15) if (bloodLeakUARTCmdIndex > bloodLeakSetPointSeqLength) ==> FALSE (16) if ((0) == isUARTCtrlDone) ==> FALSE Test Case Generation Notes: Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:<> TEST.VALUE:BloodLeak.<>.bloodLeakSetPointSeqLength:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:2 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakSetPointSeqLength:4294967295 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:2 TEST.END -- Test Case: handleCalBloodLeakSendCommandState.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakSendCommandState TEST.NEW TEST.NAME:handleCalBloodLeakSendCommandState.003 TEST.BASIS_PATH:9 of 17 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) case (bloodLeakEmbModeRqstedCmd) ==> CS_EMB_MODE_CMD (10) if (bloodLeakUARTCmdIndex <= (1)) ==> TRUE (11) if (bloodLeakUARTCmdIndex > 4 - 1) ==> FALSE (16) if ((0) == isUARTCtrlDone) ==> FALSE Test Case Generation Notes: Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:1 TEST.END -- Test Case: handleCalBloodLeakSendCommandState.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakSendCommandState TEST.NEW TEST.NAME:handleCalBloodLeakSendCommandState.004 TEST.BASIS_PATH:10 of 17 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 10 (2) case (bloodLeakEmbModeRqstedCmd) ==> T_EMB_MODE_CMD (10) if (bloodLeakUARTCmdIndex <= (1)) ==> FALSE (11) if (bloodLeakUARTCmdIndex > 4 - 1) ==> FALSE (16) if ((0) == isUARTCtrlDone) ==> FALSE Test Case Generation Notes: Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:2 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:3 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:3 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:3 TEST.END -- Test Case: handleCalBloodLeakSendCommandState.005 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakSendCommandState TEST.NEW TEST.NAME:handleCalBloodLeakSendCommandState.005 TEST.BASIS_PATH:11 of 17 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 11 (3) case (bloodLeakEmbModeRqstedCmd) ==> G_EMB_MODE_CMD (10) if (bloodLeakUARTCmdIndex <= (1)) ==> FALSE (11) if (bloodLeakUARTCmdIndex > 4 - 1) ==> FALSE (16) if ((0) == isUARTCtrlDone) ==> FALSE Test Case Generation Notes: Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:2 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:4 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:3 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:4 TEST.END -- Test Case: handleCalBloodLeakSendCommandState.006 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakSendCommandState TEST.NEW TEST.NAME:handleCalBloodLeakSendCommandState.006 TEST.BASIS_PATH:12 of 17 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 12 (4) case (bloodLeakEmbModeRqstedCmd) ==> I_EMB_MODE_CMD (10) if (bloodLeakUARTCmdIndex <= (1)) ==> FALSE (11) if (bloodLeakUARTCmdIndex > 4 - 1) ==> FALSE (16) if ((0) == isUARTCtrlDone) ==> FALSE Test Case Generation Notes: Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:2 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:5 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:3 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:5 TEST.END -- Test Case: handleCalBloodLeakSendCommandState.007 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakSendCommandState TEST.NEW TEST.NAME:handleCalBloodLeakSendCommandState.007 TEST.BASIS_PATH:13 of 17 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 13 (5) case (bloodLeakEmbModeRqstedCmd) ==> V_EMB_MODE_CMD (10) if (bloodLeakUARTCmdIndex <= (1)) ==> FALSE (11) if (bloodLeakUARTCmdIndex > 4 - 1) ==> FALSE (16) if ((0) == isUARTCtrlDone) ==> FALSE Test Case Generation Notes: Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:2 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:6 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:3 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:6 TEST.END -- Test Case: handleCalBloodLeakSendCommandState.008 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakSendCommandState TEST.NEW TEST.NAME:handleCalBloodLeakSendCommandState.008 TEST.BASIS_PATH:14 of 17 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 14 (6) case (bloodLeakEmbModeRqstedCmd) ==> Z_EMB_MODE_CMD (10) if (bloodLeakUARTCmdIndex <= (1)) ==> FALSE (11) if (bloodLeakUARTCmdIndex > 4 - 1) ==> FALSE (16) if ((0) == isUARTCtrlDone) ==> FALSE Test Case Generation Notes: Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:2 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:7 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:3 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:7 TEST.END -- Test Case: handleCalBloodLeakSendCommandState.009 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakSendCommandState TEST.NEW TEST.NAME:handleCalBloodLeakSendCommandState.009 TEST.BASIS_PATH:15 of 17 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 15 (7) case (bloodLeakEmbModeRqstedCmd) ==> Q_EMB_MODE_CMD (10) if (bloodLeakUARTCmdIndex <= (1)) ==> FALSE (11) if (bloodLeakUARTCmdIndex > 4 - 1) ==> FALSE (16) if ((0) == isUARTCtrlDone) ==> FALSE Test Case Generation Notes: Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:2 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:8 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:3 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:8 TEST.END -- Test Case: handleCalBloodLeakSendCommandState.010 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakSendCommandState TEST.NEW TEST.NAME:handleCalBloodLeakSendCommandState.010 TEST.BASIS_PATH:16 of 17 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 16 (8) case (bloodLeakEmbModeRqstedCmd) ==> D_EMB_MODE_CMD (10) if (bloodLeakUARTCmdIndex <= (1)) ==> FALSE (11) if (bloodLeakUARTCmdIndex > 4 - 1) ==> FALSE (16) if ((0) == isUARTCtrlDone) ==> FALSE Test Case Generation Notes: Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:2 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:9 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:3 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:9 TEST.END -- Test Case: handleCalBloodLeakSendCommandState.011 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakSendCommandState TEST.NEW TEST.NAME:handleCalBloodLeakSendCommandState.011 TEST.NOTES: This is an automatically generated test case. Test Path 17 (9) case (bloodLeakEmbModeRqstedCmd) ==> C_EMB_MODE_CMD (10) if (bloodLeakUARTCmdIndex <= (1)) ==> FALSE (11) if (bloodLeakUARTCmdIndex > 4 - 1) ==> FALSE (16) if ((0) == isUARTCtrlDone) ==> FALSE Test Case Generation Notes: Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:4 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:10 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:10 TEST.END -- Test Case: handleCalBloodLeakSendCommandState.012 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakSendCommandState TEST.NEW TEST.NAME:handleCalBloodLeakSendCommandState.012 TEST.NOTES: This is an automatically generated test case. Test Path 6 (12) case (bloodLeakEmbModeRqstedCmd) ==> SP_EMB_MODE_CMD (13) if (bloodLeakUARTCmdIndex < bloodLeakSetPointSeqLength) ==> TRUE (14) if (bloodLeakUARTCmdIndex >= activeHighIndex) ==> TRUE (15) if (bloodLeakUARTCmdIndex > bloodLeakSetPointSeqLength) ==> FALSE (16) if ((0) == isUARTCtrlDone) ==> FALSE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( BloodLeak.<>.bloodLeakUARTCmdIndex ) in branches 13/14 Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:<> TEST.VALUE:BloodLeak.<>.bloodLeakSetPointSeqLength:2 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:2 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakSetPointSeqLength:2 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:2 TEST.END -- Test Case: handleCalBloodLeakSendCommandState.013 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakSendCommandState TEST.NEW TEST.NAME:handleCalBloodLeakSendCommandState.013 TEST.NOTES: This is an automatically generated test case. Test Path 4 (12) case (bloodLeakEmbModeRqstedCmd) ==> SP_EMB_MODE_CMD (13) if (bloodLeakUARTCmdIndex < bloodLeakSetPointSeqLength) ==> TRUE (14) if (bloodLeakUARTCmdIndex >= activeHighIndex) ==> FALSE (15) if (bloodLeakUARTCmdIndex > bloodLeakSetPointSeqLength) ==> FALSE (16) if ((0) == isUARTCtrlDone) ==> FALSE Test Case Generation Notes: Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:0 TEST.VALUE:BloodLeak.<>.bloodLeakSetPointSeqLength:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:2 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakSetPointSeqLength:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:2 TEST.END -- Subprogram: handleCalBloodLeakWaitForCommandResponseState -- Test Case: handleCalBloodLeakWaitForCommandResponseState.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandResponseState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandResponseState.002 TEST.BASIS_PATH:2 of 22 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (rxFIFOCount > 0) ==> FALSE (16) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, 5 * 1000) || 0x80 == rxFIFOCount) ==> TRUE (17) if ((NU_EMB_MODE_CMD) == bloodLeakEmbModeRespBuffer[0] && ++bloodLeakEmbModeNumOfCmdTries < (4)) ==> FALSE (18) for (i < length) ==> FALSE (20) if ((CS_EMB_MODE_CMD) == bloodLeakEmbModeRqstedCmd && (NU_EMB_MODE_CMD) == bloodLeakEmbModeRespBuffer[0]) ==> FALSE (21) if ((1) == isNull && ++bloodLeakEmbModeNumOfCmdTries < (4)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return 'equal to' and 'not equal to' same value in branches 1/16 Cannot set local variable length in branch 18 Cannot set local variable isNull in branch 21 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespBuffer[0]:1 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespBuffer[0]:1 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandResponseState.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandResponseState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandResponseState.003 TEST.BASIS_PATH:3 of 22 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (rxFIFOCount > 0) ==> FALSE (16) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, 5 * 1000) || 0x80 == rxFIFOCount) ==> TRUE (17) if ((NU_EMB_MODE_CMD) == bloodLeakEmbModeRespBuffer[0] && ++bloodLeakEmbModeNumOfCmdTries < (4)) ==> FALSE (18) for (i < length) ==> FALSE (20) if ((CS_EMB_MODE_CMD) == bloodLeakEmbModeRqstedCmd && (NU_EMB_MODE_CMD) == bloodLeakEmbModeRespBuffer[0]) ==> FALSE (21) if ((1) == isNull && ++bloodLeakEmbModeNumOfCmdTries < (4)) ==> TRUE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return 'equal to' and 'not equal to' same value in branches 1/16 Cannot set local variable length in branch 18 Cannot set local variable isNull in branch 21 Conflict: Unable to control expression-to-expression comparison in branch 21 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespBuffer[0]:1 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespBuffer[0]:1 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandResponseState.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandResponseState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandResponseState.004 TEST.BASIS_PATH:4 of 22 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (rxFIFOCount > 0) ==> FALSE (16) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, 5 * 1000) || 0x80 == rxFIFOCount) ==> TRUE (17) if ((NU_EMB_MODE_CMD) == bloodLeakEmbModeRespBuffer[0] && ++bloodLeakEmbModeNumOfCmdTries < (4)) ==> FALSE (18) for (i < length) ==> FALSE (20) if ((CS_EMB_MODE_CMD) == bloodLeakEmbModeRqstedCmd && (NU_EMB_MODE_CMD) == bloodLeakEmbModeRespBuffer[0]) ==> TRUE (21) if ((1) == isNull && ++bloodLeakEmbModeNumOfCmdTries < (4)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return 'equal to' and 'not equal to' same value in branches 1/16 Cannot set local variable length in branch 18 Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeRespBuffer[0] 'equal to' and 'not equal to' same value in branches 17/20 Cannot set local variable isNull in branch 21 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespBuffer[0]:1 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespBuffer[0]:1 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandResponseState.005 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandResponseState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandResponseState.005 TEST.BASIS_PATH:5 of 22 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (rxFIFOCount > 0) ==> FALSE (16) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, 5 * 1000) || 0x80 == rxFIFOCount) ==> TRUE (17) if ((NU_EMB_MODE_CMD) == bloodLeakEmbModeRespBuffer[0] && ++bloodLeakEmbModeNumOfCmdTries < (4)) ==> FALSE (18) for (i < length) ==> TRUE (19) if (bloodLeakEmbModeRespBuffer[i] != (NU_EMB_MODE_CMD)) ==> FALSE (20) if ((CS_EMB_MODE_CMD) == bloodLeakEmbModeRqstedCmd && (NU_EMB_MODE_CMD) == bloodLeakEmbModeRespBuffer[0]) ==> FALSE (21) if ((1) == isNull && ++bloodLeakEmbModeNumOfCmdTries < (4)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return 'equal to' and 'not equal to' same value in branches 1/16 Cannot set local variable length in branch 18 Cannot set i due to assignment Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeRespBuffer[0] 'equal to' and 'not equal to' same value in branches 17/19 Cannot set isNull due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespBuffer[0]:1 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespBuffer[0]:1 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandResponseState.006 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandResponseState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandResponseState.006 TEST.BASIS_PATH:6 of 22 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (rxFIFOCount > 0) ==> FALSE (16) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, 5 * 1000) || 0x80 == rxFIFOCount) ==> TRUE (17) if ((NU_EMB_MODE_CMD) == bloodLeakEmbModeRespBuffer[0] && ++bloodLeakEmbModeNumOfCmdTries < (4)) ==> FALSE (18) for (i < length) ==> TRUE (19) if (bloodLeakEmbModeRespBuffer[i] != (NU_EMB_MODE_CMD)) ==> TRUE (20) if ((CS_EMB_MODE_CMD) == bloodLeakEmbModeRqstedCmd && (NU_EMB_MODE_CMD) == bloodLeakEmbModeRespBuffer[0]) ==> FALSE (21) if ((1) == isNull && ++bloodLeakEmbModeNumOfCmdTries < (4)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return 'equal to' and 'not equal to' same value in branches 1/16 Cannot set local variable length in branch 18 Cannot set i due to assignment Cannot set isNull due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespBuffer[0]:1 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespBuffer[0]:1 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandResponseState.007 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandResponseState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandResponseState.007 TEST.BASIS_PATH:7 of 22 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if (rxFIFOCount > 0) ==> FALSE (16) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, 5 * 1000) || 0x80 == rxFIFOCount) ==> TRUE (17) if ((NU_EMB_MODE_CMD) == bloodLeakEmbModeRespBuffer[0] && ++bloodLeakEmbModeNumOfCmdTries < (4)) ==> TRUE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return 'equal to' and 'not equal to' same value in branches 1/16 Conflict: Unable to control expression-to-expression comparison in branch 17 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespBuffer[0]:0 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespBuffer[0]:0 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandResponseState.008 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandResponseState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandResponseState.008 TEST.BASIS_PATH:8 of 22 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if (rxFIFOCount > 0) ==> TRUE (2) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> FALSE (6) if (expChar1 != (NU_EMB_MODE_CMD) && expChar2 != (NU_EMB_MODE_CMD)) ==> FALSE (13) if ((NU_EMB_MODE_CMD) == expChar1 && (NU_EMB_MODE_CMD) == expChar2) ==> FALSE (16) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, 5 * 1000) || 0x80 == rxFIFOCount) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandResponseState.009 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandResponseState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandResponseState.009 TEST.BASIS_PATH:9 of 22 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) if (rxFIFOCount > 0) ==> TRUE (2) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> FALSE (6) if (expChar1 != (NU_EMB_MODE_CMD) && expChar2 != (NU_EMB_MODE_CMD)) ==> FALSE (13) if ((NU_EMB_MODE_CMD) == expChar1 && (NU_EMB_MODE_CMD) == expChar2) ==> TRUE (14) if (bloodLeakEmbModeRespIndex < length) ==> FALSE (16) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, 5 * 1000) || 0x80 == rxFIFOCount) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar2 'equal to' and 'not equal to' same value in branches 2/6 Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar2 'equal to' and 'not equal to' same value in branches 2/13 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandResponseState.010 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandResponseState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandResponseState.010 TEST.BASIS_PATH:10 of 22 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 10 (1) if (rxFIFOCount > 0) ==> TRUE (2) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> FALSE (6) if (expChar1 != (NU_EMB_MODE_CMD) && expChar2 != (NU_EMB_MODE_CMD)) ==> FALSE (13) if ((NU_EMB_MODE_CMD) == expChar1 && (NU_EMB_MODE_CMD) == expChar2) ==> TRUE (14) if (bloodLeakEmbModeRespIndex < length) ==> TRUE (15) if (data >= 48 && data <= 57) ==> FALSE (16) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, 5 * 1000) || 0x80 == rxFIFOCount) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar2 'equal to' and 'not equal to' same value in branches 2/6 Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar2 'equal to' and 'not equal to' same value in branches 2/13 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFODataOut.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandResponseState.011 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandResponseState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandResponseState.011 TEST.BASIS_PATH:11 of 22 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if (rxFIFOCount > 0) ==> TRUE (2) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> FALSE (6) if (expChar1 != (NU_EMB_MODE_CMD) && expChar2 != (NU_EMB_MODE_CMD)) ==> FALSE (13) if ((NU_EMB_MODE_CMD) == expChar1 && (NU_EMB_MODE_CMD) == expChar2) ==> TRUE (14) if (bloodLeakEmbModeRespIndex < length) ==> TRUE (15) if (data >= 48 && data <= 57) ==> TRUE (16) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, 5 * 1000) || 0x80 == rxFIFOCount) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar2 'equal to' and 'not equal to' same value in branches 2/6 Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar2 'equal to' and 'not equal to' same value in branches 2/13 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFODataOut.return:48 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandResponseState.012 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandResponseState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandResponseState.012 TEST.BASIS_PATH:12 of 22 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if (rxFIFOCount > 0) ==> TRUE (2) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> FALSE (6) if (expChar1 != (NU_EMB_MODE_CMD) && expChar2 != (NU_EMB_MODE_CMD)) ==> TRUE (7) if (bloodLeakEmbModeRespIndex < length) ==> FALSE (9) if (83 == command) ==> FALSE (16) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, 5 * 1000) || 0x80 == rxFIFOCount) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar1 'equal to' and 'not equal to' same value in branches 2/6 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].commandASCII:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].commandASCII:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandResponseState.013 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandResponseState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandResponseState.013 TEST.BASIS_PATH:13 of 22 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) if (rxFIFOCount > 0) ==> TRUE (2) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> FALSE (6) if (expChar1 != (NU_EMB_MODE_CMD) && expChar2 != (NU_EMB_MODE_CMD)) ==> TRUE (7) if (bloodLeakEmbModeRespIndex < length) ==> FALSE (9) if (83 == command) ==> TRUE (10) if (bloodLeakEmbModeRespIndex < (4)) ==> FALSE (16) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, 5 * 1000) || 0x80 == rxFIFOCount) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar1 'equal to' and 'not equal to' same value in branches 2/6 Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeRespIndex 'equal to' and 'not equal to' same value in branches 6/10 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].commandASCII:83 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].commandASCII:83 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandResponseState.014 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandResponseState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandResponseState.014 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 379 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar1:<> >>> >>> Warning: Value already set >>> >>> Previous value 0 ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:14 of 22 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 14 (1) if (rxFIFOCount > 0) ==> TRUE (2) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> FALSE (6) if (expChar1 != (NU_EMB_MODE_CMD) && expChar2 != (NU_EMB_MODE_CMD)) ==> TRUE (7) if (bloodLeakEmbModeRespIndex < length) ==> FALSE (9) if (83 == command) ==> TRUE (10) if (bloodLeakEmbModeRespIndex < (4)) ==> TRUE (11) if (spResponse != expChar1 && spResponse != expChar2) ==> FALSE (16) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, 5 * 1000) || 0x80 == rxFIFOCount) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar1 'equal to' and 'not equal to' same value in branches 2/6 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].commandASCII:83 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespBuffer[0]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].commandASCII:83 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespBuffer[0]:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandResponseState.015 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandResponseState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandResponseState.015 TEST.BASIS_PATH:15 of 22 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 15 (1) if (rxFIFOCount > 0) ==> TRUE (2) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> FALSE (6) if (expChar1 != (NU_EMB_MODE_CMD) && expChar2 != (NU_EMB_MODE_CMD)) ==> TRUE (7) if (bloodLeakEmbModeRespIndex < length) ==> FALSE (9) if (83 == command) ==> TRUE (10) if (bloodLeakEmbModeRespIndex < (4)) ==> TRUE (11) if (spResponse != expChar1 && spResponse != expChar2) ==> TRUE (12) if (data >= 48 && data <= 57) ==> FALSE (16) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, 5 * 1000) || 0x80 == rxFIFOCount) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar1 'equal to' and 'not equal to' same value in branches 2/6 Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar2 'equal to' and 'not equal to' same value in branches 2/11 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].commandASCII:83 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFODataOut.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].commandASCII:83 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandResponseState.016 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandResponseState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandResponseState.016 TEST.BASIS_PATH:16 of 22 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 16 (1) if (rxFIFOCount > 0) ==> TRUE (2) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> FALSE (6) if (expChar1 != (NU_EMB_MODE_CMD) && expChar2 != (NU_EMB_MODE_CMD)) ==> TRUE (7) if (bloodLeakEmbModeRespIndex < length) ==> FALSE (9) if (83 == command) ==> TRUE (10) if (bloodLeakEmbModeRespIndex < (4)) ==> TRUE (11) if (spResponse != expChar1 && spResponse != expChar2) ==> TRUE (12) if (data >= 48 && data <= 57) ==> TRUE (16) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, 5 * 1000) || 0x80 == rxFIFOCount) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar1 'equal to' and 'not equal to' same value in branches 2/6 Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar2 'equal to' and 'not equal to' same value in branches 2/11 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].commandASCII:83 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFODataOut.return:48 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].commandASCII:83 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandResponseState.017 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandResponseState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandResponseState.017 TEST.BASIS_PATH:17 of 22 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 17 (1) if (rxFIFOCount > 0) ==> TRUE (2) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> FALSE (6) if (expChar1 != (NU_EMB_MODE_CMD) && expChar2 != (NU_EMB_MODE_CMD)) ==> TRUE (7) if (bloodLeakEmbModeRespIndex < length) ==> TRUE (8) if (expChar1 == data || expChar2 == data) ==> FALSE (9) if (83 == command) ==> FALSE (16) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, 5 * 1000) || 0x80 == rxFIFOCount) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar1 'equal to' and 'not equal to' same value in branches 2/6 Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar2 'equal to' and 'not equal to' same value in branches 2/8 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].commandASCII:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].commandASCII:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandResponseState.018 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandResponseState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandResponseState.018 TEST.BASIS_PATH:18 of 22 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 18 (1) if (rxFIFOCount > 0) ==> TRUE (2) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> FALSE (6) if (expChar1 != (NU_EMB_MODE_CMD) && expChar2 != (NU_EMB_MODE_CMD)) ==> TRUE (7) if (bloodLeakEmbModeRespIndex < length) ==> TRUE (8) if (expChar1 == data || expChar2 == data) ==> TRUE (9) if (83 == command) ==> FALSE (16) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, 5 * 1000) || 0x80 == rxFIFOCount) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar1 'equal to' and 'not equal to' same value in branches 2/6 Conflict: Cannot resolve multiple comparisons ( BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar2 ) in branches 2/8 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].commandASCII:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFODataOut.return:0 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].commandASCII:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandResponseState.019 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandResponseState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandResponseState.019 TEST.BASIS_PATH:19 of 22 TEST.NOTES: This is an automatically generated test case. Test Path 19 (1) if (rxFIFOCount > 0) ==> TRUE (2) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> TRUE (3) if (bloodLeakEmbModeRespIndex < length) ==> FALSE (16) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, 5 * 1000) || 0x80 == rxFIFOCount) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:<> TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:4294967295 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandResponseState.020 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandResponseState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandResponseState.020 TEST.BASIS_PATH:20 of 22 TEST.NOTES: This is an automatically generated test case. Test Path 20 (1) if (rxFIFOCount > 0) ==> TRUE (2) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> TRUE (3) if (bloodLeakEmbModeRespIndex < length) ==> TRUE (4) if (expChar1 == data && (0) == bloodLeakEmbModeRespIndex) ==> FALSE (5) if (bloodLeakEmbModeRespIndex > (0) && data != expChar1) ==> FALSE (16) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, 5 * 1000) || 0x80 == rxFIFOCount) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:<> TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandResponseState.021 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandResponseState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandResponseState.021 TEST.BASIS_PATH:21 of 22 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 21 (1) if (rxFIFOCount > 0) ==> TRUE (2) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> TRUE (3) if (bloodLeakEmbModeRespIndex < length) ==> TRUE (4) if (expChar1 == data && (0) == bloodLeakEmbModeRespIndex) ==> FALSE (5) if (bloodLeakEmbModeRespIndex > (0) && data != expChar1) ==> TRUE (16) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, 5 * 1000) || 0x80 == rxFIFOCount) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar1 'equal to' and 'not equal to' same value in branch 2 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFODataOut.return:2 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandResponseState.022 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandResponseState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandResponseState.022 TEST.BASIS_PATH:22 of 22 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 22 (1) if (rxFIFOCount > 0) ==> TRUE (2) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> TRUE (3) if (bloodLeakEmbModeRespIndex < length) ==> TRUE (4) if (expChar1 == data && (0) == bloodLeakEmbModeRespIndex) ==> TRUE (16) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, 5 * 1000) || 0x80 == rxFIFOCount) ==> FALSE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar1 ) in branches 2/4 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:<> TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:255 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.END -- Subprogram: handleCalBloodLeakWaitForCommandState -- Test Case: handleCalBloodLeakWaitForCommandState.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandState.001 TEST.BASIS_PATH:1 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 1 (11) case (bloodLeakEmbModeRqstedCmd) ==> SP_EMB_MODE_CMD Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:2 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:2 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandState.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandState.002 TEST.BASIS_PATH:2 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) case (bloodLeakEmbModeRqstedCmd) ==> NU_EMB_MODE_CMD Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandState.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandState.003 TEST.BASIS_PATH:3 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 3 (2) case (bloodLeakEmbModeRqstedCmd) ==> CS_EMB_MODE_CMD Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:1 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandState.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandState.004 TEST.BASIS_PATH:4 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 4 (3) case (bloodLeakEmbModeRqstedCmd) ==> T_EMB_MODE_CMD Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:3 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:3 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandState.005 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandState.005 TEST.BASIS_PATH:5 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 5 (4) case (bloodLeakEmbModeRqstedCmd) ==> G_EMB_MODE_CMD Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:4 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:4 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandState.006 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandState.006 TEST.BASIS_PATH:6 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 6 (5) case (bloodLeakEmbModeRqstedCmd) ==> I_EMB_MODE_CMD Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:5 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:5 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandState.007 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandState.007 TEST.BASIS_PATH:7 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 7 (6) case (bloodLeakEmbModeRqstedCmd) ==> V_EMB_MODE_CMD Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:6 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:6 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandState.008 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandState.008 TEST.BASIS_PATH:8 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 8 (7) case (bloodLeakEmbModeRqstedCmd) ==> Z_EMB_MODE_CMD Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:7 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:7 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandState.009 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandState.009 TEST.BASIS_PATH:9 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 9 (8) case (bloodLeakEmbModeRqstedCmd) ==> Q_EMB_MODE_CMD Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:8 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:8 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandState.010 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandState.010 TEST.BASIS_PATH:10 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 10 (9) case (bloodLeakEmbModeRqstedCmd) ==> D_EMB_MODE_CMD Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:9 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:9 TEST.END -- Test Case: handleCalBloodLeakWaitForCommandState.011 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleCalBloodLeakWaitForCommandState TEST.NEW TEST.NAME:handleCalBloodLeakWaitForCommandState.011 TEST.BASIS_PATH:11 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 11 (10) case (bloodLeakEmbModeRqstedCmd) ==> C_EMB_MODE_CMD Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:10 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:10 TEST.END -- Subprogram: initBloodLeak -- Test Case: initBloodLeak.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:initBloodLeak TEST.NEW TEST.NAME:initBloodLeak.001 TEST.VALUE:BloodLeak.<>.bloodLeakSelfTestStatus:SELF_TEST_STATUS_IN_PROGRESS TEST.EXPECTED:BloodLeak.<>.bloodLeakSelfTestStatus:SELF_TEST_STATUS_IN_PROGRESS TEST.END -- Subprogram: initEmbModeSpecs -- Test Case: prepareSetPointSeq.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:initEmbModeSpecs TEST.NEW TEST.NAME:prepareSetPointSeq.001 TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:0 TEST.VALUE:BloodLeak.<>.bloodLeakSetPointSeqLength:6 TEST.VALUE:BloodLeak.<>.bloodLeakSetPointSequence:<> TEST.VALUE:BloodLeak.<>.bloodLeakSetPointSequence:"83","13","0","1","0"" TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakSetPointSeqLength:6 TEST.END -- Subprogram: prepareSetPointSeq -- Test Case: prepareSetPointSeq.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:prepareSetPointSeq TEST.NEW TEST.NAME:prepareSetPointSeq.001 TEST.BASIS_PATH:1 of 4 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) for (i < digitCount) ==> FALSE (2) if ((1) == bloodLeakSignalEmbModeReq) ==> FALSE (3) if ((1) == bloodLeakSignalEmbModeReq) ==> FALSE Test Case Generation Notes: Cannot set return value of function strlen in branch 1 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakSignalEmbModeReq:<> TEST.VALUE:BloodLeak.prepareSetPointSeq.setPoint:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakSignalEmbModeReq:0 TEST.EXPECTED:BloodLeak.prepareSetPointSeq.setPoint:0 TEST.END -- Test Case: prepareSetPointSeq.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:prepareSetPointSeq TEST.NEW TEST.NAME:prepareSetPointSeq.002 TEST.BASIS_PATH:2 of 4 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) for (i < digitCount) ==> FALSE (2) if ((1) == bloodLeakSignalEmbModeReq) ==> FALSE (3) if ((1) == bloodLeakSignalEmbModeReq) ==> TRUE Test Case Generation Notes: Cannot set return value of function strlen in branch 1 Conflict: Trying to set variable BloodLeak.<>.bloodLeakSignalEmbModeReq 'equal to' and 'not equal to' same value in branches 2/3 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakSignalEmbModeReq:<> TEST.VALUE:BloodLeak.prepareSetPointSeq.setPoint:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakSignalEmbModeReq:0 TEST.EXPECTED:BloodLeak.prepareSetPointSeq.setPoint:0 TEST.END -- Test Case: prepareSetPointSeq.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:prepareSetPointSeq TEST.NEW TEST.NAME:prepareSetPointSeq.003 TEST.BASIS_PATH:3 of 4 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) for (i < digitCount) ==> FALSE (2) if ((1) == bloodLeakSignalEmbModeReq) ==> TRUE (3) if ((1) == bloodLeakSignalEmbModeReq) ==> FALSE Test Case Generation Notes: Cannot set return value of function strlen in branch 1 Conflict: Trying to set variable BloodLeak.<>.bloodLeakSignalEmbModeReq 'equal to' and 'not equal to' same value in branches 2/3 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakSignalEmbModeReq:1 TEST.VALUE:BloodLeak.prepareSetPointSeq.setPoint:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakSignalEmbModeReq:1 TEST.EXPECTED:BloodLeak.prepareSetPointSeq.setPoint:0 TEST.END -- Test Case: prepareSetPointSeq.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:prepareSetPointSeq TEST.NEW TEST.NAME:prepareSetPointSeq.004 TEST.BASIS_PATH:4 of 4 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) for (i < digitCount) ==> TRUE (2) if ((1) == bloodLeakSignalEmbModeReq) ==> FALSE (3) if ((1) == bloodLeakSignalEmbModeReq) ==> FALSE Test Case Generation Notes: Cannot set return value of function strlen in branch 1 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakSignalEmbModeReq:<> TEST.VALUE:BloodLeak.prepareSetPointSeq.setPoint:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakSignalEmbModeReq:0 TEST.EXPECTED:BloodLeak.prepareSetPointSeq.setPoint:0 TEST.END -- Subprogram: publishBloodLeakData -- Test Case: publishBloodLeakData.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:publishBloodLeakData TEST.NEW TEST.NAME:publishBloodLeakData.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (++bloodLeakDataPublicationTimerCounter >= getU32OverrideValue(&bloodLeakDataPublishInterval)) ==> 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.EXPECTED:BloodLeak.<>.bloodLeakDataPublicationTimerCounter:0 TEST.END -- Test Case: publishBloodLeakData.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:publishBloodLeakData TEST.NEW TEST.NAME:publishBloodLeakData.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (++bloodLeakDataPublicationTimerCounter >= getU32OverrideValue(&bloodLeakDataPublishInterval)) ==> 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:BloodLeak.<>.bloodLeakDataPublicationTimerCounter:0 TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakDataPublicationTimerCounter:1 TEST.END -- Subprogram: testResetBloodLeakDataPublishIntervalOverride -- Test Case: testResetBloodLeakDataPublishIntervalOverride.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:testResetBloodLeakDataPublishIntervalOverride TEST.NEW TEST.NAME:testResetBloodLeakDataPublishIntervalOverride.001 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.EXPECTED:BloodLeak.testResetBloodLeakDataPublishIntervalOverride.return:1 TEST.END -- Test Case: testResetBloodLeakDataPublishIntervalOverride.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:testResetBloodLeakDataPublishIntervalOverride TEST.NEW TEST.NAME:testResetBloodLeakDataPublishIntervalOverride.002 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.EXPECTED:BloodLeak.testResetBloodLeakDataPublishIntervalOverride.return:0 TEST.END -- Subprogram: testResetBloodLeakStatusOverride -- Test Case: testResetBloodLeakStatusOverride.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:testResetBloodLeakStatusOverride TEST.NEW TEST.NAME:testResetBloodLeakStatusOverride.001 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.EXPECTED:BloodLeak.testResetBloodLeakStatusOverride.return:1 TEST.END -- Test Case: testResetBloodLeakStatusOverride.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:testResetBloodLeakStatusOverride TEST.NEW TEST.NAME:testResetBloodLeakStatusOverride.002 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.EXPECTED:BloodLeak.testResetBloodLeakStatusOverride.return:0 TEST.END -- Subprogram: testSetBloodLeak2EmbeddedMode -- Test Case: testSetBloodLeak2EmbeddedMode.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:testSetBloodLeak2EmbeddedMode TEST.NEW TEST.NAME:testSetBloodLeak2EmbeddedMode.001 TEST.EXPECTED:BloodLeak.testSetBloodLeak2EmbeddedMode.return:0 TEST.END -- Test Case: testSetBloodLeak2EmbeddedMode.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:testSetBloodLeak2EmbeddedMode TEST.NEW TEST.NAME:testSetBloodLeak2EmbeddedMode.002 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakSignalEmbModeReq:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:1 TEST.EXPECTED:BloodLeak.testSetBloodLeak2EmbeddedMode.return:1 TEST.END -- Test Case: testSetBloodLeak2EmbeddedMode.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:testSetBloodLeak2EmbeddedMode TEST.NEW TEST.NAME:testSetBloodLeak2EmbeddedMode.003 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_SERV TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakSignalEmbModeReq:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:1 TEST.EXPECTED:BloodLeak.testSetBloodLeak2EmbeddedMode.return:1 TEST.END -- Test Case: testSetBloodLeak2EmbeddedMode.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:testSetBloodLeak2EmbeddedMode TEST.NEW TEST.NAME:testSetBloodLeak2EmbeddedMode.004 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakSignalEmbModeReq:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:1 TEST.EXPECTED:BloodLeak.testSetBloodLeak2EmbeddedMode.return:1 TEST.END -- Test Case: testSetBloodLeak2EmbeddedMode.005 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:testSetBloodLeak2EmbeddedMode TEST.NEW TEST.NAME:testSetBloodLeak2EmbeddedMode.005 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:NUM_OF_MODES TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakSignalEmbModeReq:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.testSetBloodLeak2EmbeddedMode.return:0 TEST.END -- Subprogram: testSetBloodLeakDataPublishIntervalOverride -- Test Case: testSetBloodLeakDataPublishIntervalOverride.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:testSetBloodLeakDataPublishIntervalOverride TEST.NEW TEST.NAME:testSetBloodLeakDataPublishIntervalOverride.001 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:BloodLeak.testSetBloodLeakDataPublishIntervalOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:BloodLeak.testSetBloodLeakDataPublishIntervalOverride.return:1 TEST.END -- Test Case: testSetBloodLeakDataPublishIntervalOverride.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:testSetBloodLeakDataPublishIntervalOverride TEST.NEW TEST.NAME:testSetBloodLeakDataPublishIntervalOverride.002 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:BloodLeak.testSetBloodLeakDataPublishIntervalOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:BloodLeak.testSetBloodLeakDataPublishIntervalOverride.value:0 TEST.END -- Subprogram: testSetBloodLeakEmbeddedModeCommand -- Test Case: testSetBloodLeakEmbeddedModeCommand.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:testSetBloodLeakEmbeddedModeCommand TEST.NEW TEST.NAME:testSetBloodLeakEmbeddedModeCommand.001 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:BloodLeak.testSetBloodLeakEmbeddedModeCommand.return:0 TEST.END -- Test Case: testSetBloodLeakEmbeddedModeCommand.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:testSetBloodLeakEmbeddedModeCommand TEST.NEW TEST.NAME:testSetBloodLeakEmbeddedModeCommand.002 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:BloodLeak.testSetBloodLeakEmbeddedModeCommand.return:0 TEST.END -- Test Case: testSetBloodLeakEmbeddedModeCommand.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:testSetBloodLeakEmbeddedModeCommand TEST.NEW TEST.NAME:testSetBloodLeakEmbeddedModeCommand.003 TEST.VALUE:BloodLeak.testSetBloodLeakEmbeddedModeCommand.command:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:BloodLeak.testSetBloodLeakEmbeddedModeCommand.return:0 TEST.END -- Test Case: testSetBloodLeakEmbeddedModeCommand.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:testSetBloodLeakEmbeddedModeCommand TEST.NEW TEST.NAME:testSetBloodLeakEmbeddedModeCommand.004 TEST.VALUE:BloodLeak.<>.bloodLeakSignalEmbModeReq:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_SERV TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakSignalEmbModeReq:1 TEST.EXPECTED:BloodLeak.testSetBloodLeakEmbeddedModeCommand.return:1 TEST.END -- Test Case: testSetBloodLeakEmbeddedModeCommand.005 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:testSetBloodLeakEmbeddedModeCommand TEST.NEW TEST.NAME:testSetBloodLeakEmbeddedModeCommand.005 TEST.VALUE:BloodLeak.<>.bloodLeakSignalEmbModeReq:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeSubstate:BLOOD_LEAK_CAL_SEND_COMMAND_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_SERV TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakSignalEmbModeReq:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeSubstate:BLOOD_LEAK_CAL_SEND_COMMAND_STATE TEST.EXPECTED:BloodLeak.testSetBloodLeakEmbeddedModeCommand.return:0 TEST.END -- Test Case: testSetBloodLeakEmbeddedModeCommand.006 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:testSetBloodLeakEmbeddedModeCommand TEST.NEW TEST.NAME:testSetBloodLeakEmbeddedModeCommand.006 TEST.VALUE:BloodLeak.<>.bloodLeakSignalEmbModeReq:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeSubstate:BLOOD_LEAK_CAL_SEND_COMMAND_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_SERV TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakSignalEmbModeReq:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeSubstate:BLOOD_LEAK_CAL_SEND_COMMAND_STATE TEST.EXPECTED:BloodLeak.testSetBloodLeakEmbeddedModeCommand.return:0 TEST.END -- Subprogram: testSetBloodLeakStatusOverride -- Test Case: testSetBloodLeakStatusOverride.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:testSetBloodLeakStatusOverride TEST.NEW TEST.NAME:testSetBloodLeakStatusOverride.001 TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (status < (NUM_OF_BLOOD_LEAK_STATUS)) ==> 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:BloodLeak.testSetBloodLeakStatusOverride.status:<> TEST.EXPECTED:BloodLeak.testSetBloodLeakStatusOverride.return:0 TEST.END -- Test Case: testSetBloodLeakStatusOverride.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:testSetBloodLeakStatusOverride TEST.NEW TEST.NAME:testSetBloodLeakStatusOverride.002 TEST.MCDC_BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (status < (NUM_OF_BLOOD_LEAK_STATUS)) ==> 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:BloodLeak.testSetBloodLeakStatusOverride.status:<> TEST.EXPECTED:BloodLeak.testSetBloodLeakStatusOverride.return:0 TEST.END -- Test Case: testSetBloodLeakStatusOverride.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:testSetBloodLeakStatusOverride TEST.NEW TEST.NAME:testSetBloodLeakStatusOverride.003 TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (status < (NUM_OF_BLOOD_LEAK_STATUS)) ==> TRUE (2) if ((1) == isTestingActivated()) ==> 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:BloodLeak.testSetBloodLeakStatusOverride.status:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:BloodLeak.testSetBloodLeakStatusOverride.return:1 TEST.END -- Test Case: testSetBloodLeakStatusOverride.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:testSetBloodLeakStatusOverride TEST.NEW TEST.NAME:testSetBloodLeakStatusOverride.004 TEST.MCDC_BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (status < (NUM_OF_BLOOD_LEAK_STATUS)) ==> TRUE (2) if ((1) == isTestingActivated()) ==> 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:BloodLeak.testSetBloodLeakStatusOverride.status:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.EXPECTED:BloodLeak.testSetBloodLeakStatusOverride.return:0 TEST.END -- Subprogram: zeroBloodLeak -- Test Case: zeroBloodLeak.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:zeroBloodLeak TEST.NEW TEST.NAME:zeroBloodLeak.001 TEST.EXPECTED:BloodLeak.<>.bloodLeakZeroRequested:1 TEST.END