-- 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: convertString2Integer -- Test Case: convertString2Integer.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:convertString2Integer TEST.NEW TEST.NAME:convertString2Integer.001 TEST.BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == respLength) ==> FALSE (2) for (i < respExpectedLength) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].isCmdRespRdy:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespBuffer:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespBuffer:"A" TEST.VALUE:BloodLeak.convertString2Integer.cmd:0 TEST.VALUE:BloodLeak.convertString2Integer.respLength:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].commandResp:65 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.convertString2Integer.cmd:0 TEST.EXPECTED:BloodLeak.convertString2Integer.respLength:1 TEST.END -- Test Case: convertString2Integer.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:convertString2Integer TEST.NEW TEST.NAME:convertString2Integer.002 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == respLength) ==> FALSE (2) for (i < respExpectedLength) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].commandResp:65 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].isCmdRespRdy:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespBuffer:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespBuffer:"A" TEST.VALUE:BloodLeak.convertString2Integer.cmd:0 TEST.VALUE:BloodLeak.convertString2Integer.respLength:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].commandResp:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.convertString2Integer.cmd:0 TEST.EXPECTED:BloodLeak.convertString2Integer.respLength:0 TEST.END -- Test Case: convertString2Integer.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:convertString2Integer TEST.NEW TEST.NAME:convertString2Integer.003 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 34 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespBuffer[18446744073709551615]:<> >>> >>> Invalid array index value 18446744073709551615 >>> >>> Command Ignored. TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:2 of 4 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == respLength) ==> FALSE (2) for (i < respExpectedLength) ==> TRUE (3) if (bufferValue >= (48) && bufferValue <= (57)) ==> FALSE Test Case Generation Notes: Cannot set i due to assignment Conflict: Cannot resolve multiple comparisons ( BloodLeak.<>.bloodLeakEmbModeCmd[0].length ) in branches 2/3 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:1 TEST.VALUE:BloodLeak.convertString2Integer.cmd:<> TEST.VALUE:BloodLeak.convertString2Integer.respLength:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:1 TEST.EXPECTED:BloodLeak.convertString2Integer.cmd:0 TEST.EXPECTED:BloodLeak.convertString2Integer.respLength:0 TEST.END -- Test Case: convertString2Integer.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:convertString2Integer TEST.NEW TEST.NAME:convertString2Integer.004 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == respLength) ==> FALSE (2) for (i < respExpectedLength) ==> TRUE (3) if (bufferValue >= (48) && bufferValue <= (57)) ==> FALSE Test Case Generation Notes: Cannot set i due to assignment Conflict: Cannot resolve multiple comparisons ( BloodLeak.<>.bloodLeakEmbModeCmd[0].length ) in branches 2/3 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespBuffer:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespBuffer:"57" TEST.VALUE:BloodLeak.convertString2Integer.cmd:<> TEST.VALUE:BloodLeak.convertString2Integer.respLength:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespBuffer:"57" TEST.EXPECTED:BloodLeak.convertString2Integer.cmd:0 TEST.EXPECTED:BloodLeak.convertString2Integer.respLength:0 TEST.END -- Test Case: convertString2Integer.005 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:convertString2Integer TEST.NEW TEST.NAME:convertString2Integer.005 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == respLength) ==> FALSE (2) for (i < respExpectedLength) ==> TRUE (3) if (bufferValue >= (48) && bufferValue <= (57)) ==> FALSE Test Case Generation Notes: Cannot set i due to assignment Conflict: Cannot resolve multiple comparisons ( BloodLeak.<>.bloodLeakEmbModeCmd[0].length ) in branches 2/3 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespBuffer:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespBuffer:"58" TEST.VALUE:BloodLeak.convertString2Integer.cmd:<> TEST.VALUE:BloodLeak.convertString2Integer.respLength:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespBuffer:"58" TEST.EXPECTED:BloodLeak.convertString2Integer.cmd:0 TEST.EXPECTED:BloodLeak.convertString2Integer.respLength:0 TEST.END -- Subprogram: dequeueEmbModeCmd -- Test Case: equeueEmbModeCmd.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:dequeueEmbModeCmd TEST.NEW TEST.NAME:equeueEmbModeCmd.001 TEST.BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isEmbModeCmdQueueEmpty()) ==> TRUE (2) if (bloodLeakEmbModeCmdQFrontIndex >= 10 - 1) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.isEmbModeCmdQueueEmpty TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdQ:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdQ:"A" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdQFrontIndex:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdQCount:10 TEST.VALUE:BloodLeak.isEmbModeCmdQueueEmpty.return:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdQFrontIndex:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdQCount:9 TEST.EXPECTED:BloodLeak.dequeueEmbModeCmd.return:65 TEST.END -- Test Case: equeueEmbModeCmd.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:dequeueEmbModeCmd TEST.NEW TEST.NAME:equeueEmbModeCmd.002 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isEmbModeCmdQueueEmpty()) ==> TRUE (2) if (bloodLeakEmbModeCmdQFrontIndex >= 10 - 1) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.isEmbModeCmdQueueEmpty TEST.VALUE:BloodLeak.isEmbModeCmdQueueEmpty.return:1 TEST.EXPECTED:BloodLeak.dequeueEmbModeCmd.return:0 TEST.END -- Test Case: equeueEmbModeCmd.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:dequeueEmbModeCmd TEST.NEW TEST.NAME:equeueEmbModeCmd.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isEmbModeCmdQueueEmpty()) ==> TRUE (2) if (bloodLeakEmbModeCmdQFrontIndex >= 10 - 1) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.isEmbModeCmdQueueEmpty TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdQ:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdQ:"A" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdQFrontIndex:11 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdQCount:10 TEST.VALUE:BloodLeak.isEmbModeCmdQueueEmpty.return:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdQ:"A" TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdQFrontIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdQCount:9 TEST.EXPECTED:BloodLeak.dequeueEmbModeCmd.return:0 TEST.END -- Subprogram: enqueueEmbModeCmd -- Test Case: enqueueEmbModeCmd.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:enqueueEmbModeCmd TEST.NEW TEST.NAME:enqueueEmbModeCmd.001 TEST.BASIS_PATH:1 of 2 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (bloodLeakEmbModeCmdQRearIndex >= 10 - 1) ==> FALSE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( BloodLeak.<>.bloodLeakEmbModeCmdQRearIndex ) in branch 1 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdQRearIndex:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdQCount:10 TEST.VALUE:BloodLeak.enqueueEmbModeCmd.cmd:65 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdQ:"A" TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdQRearIndex:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdQCount:11 TEST.EXPECTED:BloodLeak.enqueueEmbModeCmd.cmd:65 TEST.END -- Test Case: enqueueEmbModeCmd.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:enqueueEmbModeCmd TEST.NEW TEST.NAME:enqueueEmbModeCmd.002 TEST.BASIS_PATH:2 of 2 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (bloodLeakEmbModeCmdQRearIndex >= 10 - 1) ==> TRUE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( BloodLeak.<>.bloodLeakEmbModeCmdQRearIndex ) in branch 1 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdQRearIndex:11 TEST.VALUE:BloodLeak.enqueueEmbModeCmd.cmd:65 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdQ:"" TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdQRearIndex:0 TEST.EXPECTED:BloodLeak.enqueueEmbModeCmd.cmd:65 TEST.END -- Subprogram: execBloodLeak -- Test Case: execBloodLeak.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeak TEST.NEW TEST.NAME:execBloodLeak.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 125 TEST.VALUE:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_START_UP_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "BLOOD_LEAK_START_UP_STATE" >>> >>> Command Ignored >>> (E) @LINE: 127 TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:1000 >>> >>> Could not find function calcTimeSince >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 128 TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_START_UP_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "BLOOD_LEAK_START_UP_STATE" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: 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.STUB:BloodLeak.handleBloodLeakWaitForPostState TEST.STUB:BloodLeak.publishBloodLeakData TEST.VALUE:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.VALUE:BloodLeak.handleBloodLeakWaitForPostState.return:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:1 TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.nvData:GET_CAL_BLOOD_LEAK_SENSOR TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.bufferAddress:"" TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.bufferLength:8 TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.nvAlarm:ALARM_ID_HD_BLOOD_LEAK_INVALID_CAL_RECORD TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.EXPECTED:uut_prototype_stubs.getNVRecord2Driver.nvData:GET_CAL_BLOOD_LEAK_SENSOR TEST.EXPECTED:uut_prototype_stubs.getNVRecord2Driver.bufferAddress:"" TEST.EXPECTED:uut_prototype_stubs.getNVRecord2Driver.bufferLength:8 TEST.EXPECTED:uut_prototype_stubs.getNVRecord2Driver.numOfSnsrs2Check:0 TEST.EXPECTED:uut_prototype_stubs.getNVRecord2Driver.nvAlarm:ALARM_ID_HD_BLOOD_LEAK_INVALID_CAL_RECORD TEST.END -- Test Case: execBloodLeak.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeak TEST.NEW TEST.NAME:execBloodLeak.002 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_CHECK_SET_POINT_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.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.005 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeak TEST.NEW TEST.NAME:execBloodLeak.005 TEST.VALUE:BloodLeak.<>.bloodLeakState:NUM_OF_BLOOD_LEAK_STATES TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_INIT_STATE TEST.END -- Test Case: execBloodLeak.006 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeak TEST.NEW TEST.NAME:execBloodLeak.006 TEST.STUB:BloodLeak.handleBloodLeakCheckZeroAndSelfTestState TEST.VALUE:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_CHECK_ZERO_AND_SELF_TEST_STATE TEST.VALUE:BloodLeak.handleBloodLeakCheckZeroAndSelfTestState.return:BLOOD_LEAK_CHECK_ZERO_AND_SELF_TEST_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_CHECK_ZERO_AND_SELF_TEST_STATE TEST.END -- Subprogram: execBloodLeakEmbModeCommand -- Test Case: execBloodLeakEmbModeCommand.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeakEmbModeCommand TEST.NEW TEST.NAME:execBloodLeakEmbModeCommand.001 TEST.BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) case bloodLeakEmbModeSubstate ==> BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMAND_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.handleBloodLeakEmbModeWaitForCommandState TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeSubstate:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMAND_STATE TEST.VALUE:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMAND_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeSubstate:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMAND_STATE TEST.END -- Test Case: execBloodLeakEmbModeCommand.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeakEmbModeCommand TEST.NEW TEST.NAME:execBloodLeakEmbModeCommand.002 TEST.BASIS_PATH:3 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 3 (2) case bloodLeakEmbModeSubstate ==> BLOOD_LEAK_EMB_MODE_SEND_COMMAND_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.handleBloodLeakEmbModeSendCommandState TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeSubstate:BLOOD_LEAK_EMB_MODE_SEND_COMMAND_STATE TEST.VALUE:BloodLeak.handleBloodLeakEmbModeSendCommandState.return:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMMAND_RESPONSE_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeSubstate:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMMAND_RESPONSE_STATE TEST.END -- Test Case: execBloodLeakEmbModeCommand.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeakEmbModeCommand TEST.NEW TEST.NAME:execBloodLeakEmbModeCommand.003 TEST.BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (3) case bloodLeakEmbModeSubstate ==> BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMMAND_RESPONSE_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.handleBloodLeakEmbModeWaitForCommandResponseState TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeSubstate:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMMAND_RESPONSE_STATE TEST.VALUE:BloodLeak.handleBloodLeakEmbModeWaitForCommandResponseState.return:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMMAND_RESPONSE_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeSubstate:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMMAND_RESPONSE_STATE 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: getAvailableEmbModeQueueCount -- Test Case: BASIS-PATH-001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:getAvailableEmbModeQueueCount TEST.NEW TEST.NAME:BASIS-PATH-001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdQCount:10 TEST.EXPECTED:BloodLeak.getAvailableEmbModeQueueCount.return:2 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: handleBloodLeakCheckSetPointState -- Test Case: handleBloodLeakCheckSetPointState.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCheckSetPointState TEST.NEW TEST.NAME:handleBloodLeakCheckSetPointState.001 TEST.BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (bloodLeakSetPoint != bloodLeakCalRecord.setPoint && (1) == isCommandRespReady) ==> FALSE (3) if ((1) == isCommandRespReady) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakCalRecord.setPoint:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandResp:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.handleBloodLeakCheckSetPointState.return:BLOOD_LEAK_CHECK_SET_POINT_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakCalRecord.setPoint:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandResp:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.handleBloodLeakCheckSetPointState.return:BLOOD_LEAK_INIT_STATE TEST.END -- Test Case: handleBloodLeakCheckSetPointState.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCheckSetPointState TEST.NEW TEST.NAME:handleBloodLeakCheckSetPointState.002 TEST.BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (bloodLeakSetPoint != bloodLeakCalRecord.setPoint && (1) == isCommandRespReady) ==> TRUE (2) if ((bloodLeakEmbModeCmd[D_EMB_MODE_CMD]).commandRetryCount < 3) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakCalRecord.setPoint:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandResp:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandRetryCount:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.handleBloodLeakCheckSetPointState.return:BLOOD_LEAK_CHECK_SET_POINT_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakCalRecord.setPoint:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandResp:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandRetryCount:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].isCmdRespRdy:0 TEST.EXPECTED:BloodLeak.handleBloodLeakCheckSetPointState.return:BLOOD_LEAK_CHECK_SET_POINT_STATE TEST.END -- Test Case: handleBloodLeakCheckSetPointState.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCheckSetPointState TEST.NEW TEST.NAME:handleBloodLeakCheckSetPointState.003 TEST.BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (bloodLeakSetPoint != bloodLeakCalRecord.setPoint && (1) == isCommandRespReady) ==> TRUE (2) if ((bloodLeakEmbModeCmd[D_EMB_MODE_CMD]).commandRetryCount < 3) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.enqueueEmbModeCmd TEST.VALUE:BloodLeak.<>.bloodLeakCalRecord.setPoint:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandResp:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandRetryCount:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].isCmdRespRdy:0 TEST.VALUE:BloodLeak.enqueueEmbModeCmd.cmd:MACRO=D_EMB_MODE_CMD TEST.EXPECTED:BloodLeak.<>.bloodLeakCalRecord.setPoint:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandResp:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandRetryCount:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].isCmdRespRdy:0 TEST.END -- Test Case: handleBloodLeakCheckSetPointState.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCheckSetPointState TEST.NEW TEST.NAME:handleBloodLeakCheckSetPointState.004 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (bloodLeakSetPoint != bloodLeakCalRecord.setPoint && (1) == isCommandRespReady) ==> TRUE (2) if ((bloodLeakEmbModeCmd[D_EMB_MODE_CMD]).commandRetryCount < 3) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.enqueueEmbModeCmd TEST.VALUE:BloodLeak.<>.bloodLeakCalRecord.setPoint:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandResp:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandRetryCount:2 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.handleBloodLeakCheckSetPointState.return:BLOOD_LEAK_CHECK_SET_POINT_STATE TEST.VALUE:BloodLeak.enqueueEmbModeCmd.cmd:MACRO=D_EMB_MODE_CMD TEST.EXPECTED:BloodLeak.<>.bloodLeakCalRecord.setPoint:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandResp:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandRetryCount:3 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.handleBloodLeakCheckSetPointState.return:BLOOD_LEAK_CHECK_SET_POINT_STATE TEST.END -- Subprogram: handleBloodLeakCheckZeroAndSelfTestState -- Test Case: handleBloodLeakCheckZeroAndSelfTestState.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCheckZeroAndSelfTestState TEST.NEW TEST.NAME:handleBloodLeakCheckZeroAndSelfTestState.001 TEST.BASIS_PATH:1 of 16 (template) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) for (i < (NUM_OF_EMB_CMDS)) ==> FALSE (6) if ((1) == areCommandsReady) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set local variable areCommandsReady in branch 6 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].isCmdRespRdy:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:1 TEST.VALUE:BloodLeak.handleBloodLeakCheckZeroAndSelfTestState.return:BLOOD_LEAK_CHECK_ZERO_AND_SELF_TEST_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].isCmdRespRdy:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:1 TEST.EXPECTED:BloodLeak.handleBloodLeakCheckZeroAndSelfTestState.return:BLOOD_LEAK_CHECK_ZERO_AND_SELF_TEST_STATE TEST.END -- Test Case: handleBloodLeakCheckZeroAndSelfTestState.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCheckZeroAndSelfTestState TEST.NEW TEST.NAME:handleBloodLeakCheckZeroAndSelfTestState.002 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) for (i < (NUM_OF_EMB_CMDS)) ==> FALSE (6) if ((1) == areCommandsReady) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set local variable areCommandsReady in branch 6 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:1 TEST.VALUE:BloodLeak.handleBloodLeakCheckZeroAndSelfTestState.return:BLOOD_LEAK_CHECK_ZERO_AND_SELF_TEST_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].isCmdRespRdy:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].isCmdRespRdy:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].isCmdRespRdy:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].isCmdRespRdy:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:1 TEST.EXPECTED:BloodLeak.handleBloodLeakCheckZeroAndSelfTestState.return:BLOOD_LEAK_CHECK_ZERO_AND_SELF_TEST_STATE TEST.END -- Test Case: handleBloodLeakCheckZeroAndSelfTestState.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCheckZeroAndSelfTestState TEST.NEW TEST.NAME:handleBloodLeakCheckZeroAndSelfTestState.003 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) for (i < (NUM_OF_EMB_CMDS)) ==> FALSE (6) if ((1) == areCommandsReady) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set local variable areCommandsReady in branch 6 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].commandResp:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandResp:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].commandResp:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].commandResp:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].commandResp:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].commandResp:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].commandResp:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].commandResp:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:1 TEST.VALUE:BloodLeak.handleBloodLeakCheckZeroAndSelfTestState.return:BLOOD_LEAK_CHECK_ZERO_AND_SELF_TEST_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].commandResp:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandResp:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].commandResp:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].commandResp:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].isCmdRespRdy:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].commandResp:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].isCmdRespRdy:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].commandResp:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].commandResp:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].commandResp:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].isCmdRespRdy:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].isCmdRespRdy:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:1 TEST.EXPECTED:BloodLeak.handleBloodLeakCheckZeroAndSelfTestState.return:BLOOD_LEAK_CHECK_ZERO_AND_SELF_TEST_STATE TEST.END -- Test Case: handleBloodLeakCheckZeroAndSelfTestState.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCheckZeroAndSelfTestState TEST.NEW TEST.NAME:handleBloodLeakCheckZeroAndSelfTestState.004 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) for (i < (NUM_OF_EMB_CMDS)) ==> FALSE (6) if ((1) == areCommandsReady) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set local variable areCommandsReady in branch 6 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].commandRetryCount:3 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:1 TEST.VALUE:BloodLeak.handleBloodLeakCheckZeroAndSelfTestState.return:BLOOD_LEAK_CHECK_ZERO_AND_SELF_TEST_STATE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_BLOOD_LEAK_SENSOR_ZERO_SEQUENCE_FAILED TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:100 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].commandRetryCount:3 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:1 TEST.EXPECTED:BloodLeak.handleBloodLeakCheckZeroAndSelfTestState.return:BLOOD_LEAK_INIT_STATE TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_BLOOD_LEAK_SENSOR_ZERO_SEQUENCE_FAILED TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0 TEST.END -- Test Case: handleBloodLeakCheckZeroAndSelfTestState.005 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCheckZeroAndSelfTestState TEST.NEW TEST.NAME:handleBloodLeakCheckZeroAndSelfTestState.005 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) for (i < (NUM_OF_EMB_CMDS)) ==> FALSE (6) if ((1) == areCommandsReady) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set local variable areCommandsReady in branch 6 TEST.END_NOTES: TEST.STUB:BloodLeak.zeroBloodLeak TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:1 TEST.VALUE:BloodLeak.zeroBloodLeak.return:0 TEST.VALUE:BloodLeak.handleBloodLeakCheckZeroAndSelfTestState.return:BLOOD_LEAK_CHECK_ZERO_AND_SELF_TEST_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:1 TEST.EXPECTED:BloodLeak.handleBloodLeakCheckZeroAndSelfTestState.return:BLOOD_LEAK_CHECK_ZERO_AND_SELF_TEST_STATE TEST.END -- Test Case: handleBloodLeakCheckZeroAndSelfTestState.006 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCheckZeroAndSelfTestState TEST.NEW TEST.NAME:handleBloodLeakCheckZeroAndSelfTestState.006 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].commandResp:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandResp:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].commandResp:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].commandResp:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].commandResp:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].commandResp:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].commandResp:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].commandResp:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].commandResp:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandResp:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].commandResp:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].commandResp:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandResp:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].commandResp:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].commandResp:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].commandResp:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].commandResp:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].commandResp:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].commandResp:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].commandResp:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandResp:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].commandResp:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].isCmdRespRdy:1 TEST.END -- Subprogram: handleBloodLeakEmbModeSendCommandState -- Test Case: handleBloodLeakEmbModeSendCommandState.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeSendCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeSendCommandState.001 TEST.BASIS_PATH:3 of 19 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (11) case (bloodLeakEmbModeRqstedCmd) ==> SP_EMB_MODE_CMD (12) if (12 == bloodLeakEmbModeCmdSeq[0][0]) ==> FALSE (14) if (bloodLeakUARTCmdIndex > bloodLeakSetPointSeqLength - (1)) ==> FALSE (15) if ((bloodLeakEmbModeRqstedCmd != (CS_EMB_MODE_CMD) && bloodLeakUARTCmdIndex - (1) > (0)) && bloodLeakUARTCmdIndex - (1) <= 0 + 1) ==> FALSE (17) if ((0) == isUARTCtrlDone) ==> TRUE (18) if ((0) == isUARTCtrlCmd) ==> FALSE Test Case Generation Notes: Conflict: Multiple equality operators with different values (BloodLeak.<>.bloodLeakEmbModeRqstedCmd) in branches 11/15 Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:<> TEST.VALUE:BloodLeak.<>.bloodLeakSetPointSequence[0][1]:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:2 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakSetPointSequence[0][1]:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:2 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:0 TEST.END -- Test Case: handleBloodLeakEmbModeSendCommandState.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeSendCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeSendCommandState.004 TEST.BASIS_PATH:12 of 19 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 12 (2) case (bloodLeakEmbModeRqstedCmd) ==> T_EMB_MODE_CMD (10) if (bloodLeakUARTCmdIndex > bloodLeakEmbModeCmdSeqLength - (1)) ==> FALSE (15) if ((bloodLeakEmbModeRqstedCmd != (CS_EMB_MODE_CMD) && bloodLeakUARTCmdIndex - (1) > (0)) && bloodLeakUARTCmdIndex - (1) <= 0 + 1) ==> FALSE (17) if ((0) == isUARTCtrlDone) ==> FALSE (19) if (12 == commandInIndex0) ==> FALSE Test Case Generation Notes: Conflict: Multiple equality operators with different values (BloodLeak.<>.bloodLeakEmbModeRqstedCmd) in branches 2/15 Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:3 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:3 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:0 TEST.END -- Test Case: handleBloodLeakEmbModeSendCommandState.005 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeSendCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeSendCommandState.005 TEST.BASIS_PATH:13 of 19 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 13 (3) case (bloodLeakEmbModeRqstedCmd) ==> G_EMB_MODE_CMD (10) if (bloodLeakUARTCmdIndex > bloodLeakEmbModeCmdSeqLength - (1)) ==> FALSE (15) if ((bloodLeakEmbModeRqstedCmd != (CS_EMB_MODE_CMD) && bloodLeakUARTCmdIndex - (1) > (0)) && bloodLeakUARTCmdIndex - (1) <= 0 + 1) ==> FALSE (17) if ((0) == isUARTCtrlDone) ==> FALSE (19) if (12 == commandInIndex0) ==> FALSE Test Case Generation Notes: Conflict: Multiple equality operators with different values (BloodLeak.<>.bloodLeakEmbModeRqstedCmd) in branches 3/15 Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:4 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:4 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:0 TEST.END -- Test Case: handleBloodLeakEmbModeSendCommandState.006 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeSendCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeSendCommandState.006 TEST.BASIS_PATH:14 of 19 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 14 (4) case (bloodLeakEmbModeRqstedCmd) ==> I_EMB_MODE_CMD (10) if (bloodLeakUARTCmdIndex > bloodLeakEmbModeCmdSeqLength - (1)) ==> FALSE (15) if ((bloodLeakEmbModeRqstedCmd != (CS_EMB_MODE_CMD) && bloodLeakUARTCmdIndex - (1) > (0)) && bloodLeakUARTCmdIndex - (1) <= 0 + 1) ==> FALSE (17) if ((0) == isUARTCtrlDone) ==> FALSE (19) if (12 == commandInIndex0) ==> FALSE Test Case Generation Notes: Conflict: Multiple equality operators with different values (BloodLeak.<>.bloodLeakEmbModeRqstedCmd) in branches 4/15 Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:5 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:5 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:0 TEST.END -- Test Case: handleBloodLeakEmbModeSendCommandState.007 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeSendCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeSendCommandState.007 TEST.BASIS_PATH:15 of 19 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 15 (5) case (bloodLeakEmbModeRqstedCmd) ==> V_EMB_MODE_CMD (10) if (bloodLeakUARTCmdIndex > bloodLeakEmbModeCmdSeqLength - (1)) ==> FALSE (15) if ((bloodLeakEmbModeRqstedCmd != (CS_EMB_MODE_CMD) && bloodLeakUARTCmdIndex - (1) > (0)) && bloodLeakUARTCmdIndex - (1) <= 0 + 1) ==> FALSE (17) if ((0) == isUARTCtrlDone) ==> FALSE (19) if (12 == commandInIndex0) ==> FALSE Test Case Generation Notes: Conflict: Multiple equality operators with different values (BloodLeak.<>.bloodLeakEmbModeRqstedCmd) in branches 5/15 Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:6 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:6 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:0 TEST.END -- Test Case: handleBloodLeakEmbModeSendCommandState.008 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeSendCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeSendCommandState.008 TEST.BASIS_PATH:16 of 19 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 16 (6) case (bloodLeakEmbModeRqstedCmd) ==> Z_EMB_MODE_CMD (10) if (bloodLeakUARTCmdIndex > bloodLeakEmbModeCmdSeqLength - (1)) ==> FALSE (15) if ((bloodLeakEmbModeRqstedCmd != (CS_EMB_MODE_CMD) && bloodLeakUARTCmdIndex - (1) > (0)) && bloodLeakUARTCmdIndex - (1) <= 0 + 1) ==> FALSE (17) if ((0) == isUARTCtrlDone) ==> FALSE (19) if (12 == commandInIndex0) ==> FALSE Test Case Generation Notes: Conflict: Multiple equality operators with different values (BloodLeak.<>.bloodLeakEmbModeRqstedCmd) in branches 6/15 Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:7 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:7 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:0 TEST.END -- Test Case: handleBloodLeakEmbModeSendCommandState.009 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeSendCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeSendCommandState.009 TEST.BASIS_PATH:17 of 19 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 17 (7) case (bloodLeakEmbModeRqstedCmd) ==> Q_EMB_MODE_CMD (10) if (bloodLeakUARTCmdIndex > bloodLeakEmbModeCmdSeqLength - (1)) ==> FALSE (15) if ((bloodLeakEmbModeRqstedCmd != (CS_EMB_MODE_CMD) && bloodLeakUARTCmdIndex - (1) > (0)) && bloodLeakUARTCmdIndex - (1) <= 0 + 1) ==> FALSE (17) if ((0) == isUARTCtrlDone) ==> FALSE (19) if (12 == commandInIndex0) ==> FALSE Test Case Generation Notes: Conflict: Multiple equality operators with different values (BloodLeak.<>.bloodLeakEmbModeRqstedCmd) in branches 7/15 Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:8 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:8 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:0 TEST.END -- Test Case: handleBloodLeakEmbModeSendCommandState.010 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeSendCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeSendCommandState.010 TEST.BASIS_PATH:18 of 19 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 18 (8) case (bloodLeakEmbModeRqstedCmd) ==> D_EMB_MODE_CMD (10) if (bloodLeakUARTCmdIndex > bloodLeakEmbModeCmdSeqLength - (1)) ==> FALSE (15) if ((bloodLeakEmbModeRqstedCmd != (CS_EMB_MODE_CMD) && bloodLeakUARTCmdIndex - (1) > (0)) && bloodLeakUARTCmdIndex - (1) <= 0 + 1) ==> FALSE (17) if ((0) == isUARTCtrlDone) ==> FALSE (19) if (12 == commandInIndex0) ==> FALSE Test Case Generation Notes: Conflict: Multiple equality operators with different values (BloodLeak.<>.bloodLeakEmbModeRqstedCmd) in branches 8/15 Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:9 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:9 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:0 TEST.END -- Test Case: handleBloodLeakEmbModeSendCommandState.011 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeSendCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeSendCommandState.011 TEST.BASIS_PATH:19 of 19 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 19 (9) case (bloodLeakEmbModeRqstedCmd) ==> C_EMB_MODE_CMD (10) if (bloodLeakUARTCmdIndex > bloodLeakEmbModeCmdSeqLength - (1)) ==> FALSE (15) if ((bloodLeakEmbModeRqstedCmd != (CS_EMB_MODE_CMD) && bloodLeakUARTCmdIndex - (1) > (0)) && bloodLeakUARTCmdIndex - (1) <= 0 + 1) ==> FALSE (17) if ((0) == isUARTCtrlDone) ==> FALSE (19) if (12 == commandInIndex0) ==> FALSE Test Case Generation Notes: Conflict: Multiple equality operators with different values (BloodLeak.<>.bloodLeakEmbModeRqstedCmd) in branches 9/15 Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:10 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:10 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:0 TEST.END -- Test Case: handleBloodLeakEmbModeSendCommandState.012 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeSendCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeSendCommandState.012 TEST.NOTES: This is an automatically generated test case. Test Path 10 (1) case (bloodLeakEmbModeRqstedCmd) ==> CS_EMB_MODE_CMD (10) if (bloodLeakUARTCmdIndex > bloodLeakEmbModeCmdSeqLength - (1)) ==> FALSE (15) if ((bloodLeakEmbModeRqstedCmd != (CS_EMB_MODE_CMD) && bloodLeakUARTCmdIndex - (1) > (0)) && bloodLeakUARTCmdIndex - (1) <= 0 + 1) ==> FALSE (17) if ((0) == isUARTCtrlDone) ==> FALSE (19) if (12 == commandInIndex0) ==> FALSE Test Case Generation Notes: Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:98 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:90 TEST.VALUE:BloodLeak.handleBloodLeakEmbModeSendCommandState.return:BLOOD_LEAK_EMB_MODE_SEND_COMMAND_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:0 TEST.EXPECTED:BloodLeak.handleBloodLeakEmbModeSendCommandState.return:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMMAND_RESPONSE_STATE TEST.END -- Test Case: handleBloodLeakEmbModeSendCommandState.013 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeSendCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeSendCommandState.013 TEST.NOTES: This is an automatically generated test case. Test Path 8 (11) case (bloodLeakEmbModeRqstedCmd) ==> SP_EMB_MODE_CMD (12) if (12 == bloodLeakEmbModeCmdSeq[0][0]) ==> TRUE (13) if (bloodLeakUARTCmdIndex > bloodLeakEmbModeCmdSeqLength - (1)) ==> FALSE (15) if ((bloodLeakEmbModeRqstedCmd != (CS_EMB_MODE_CMD) && bloodLeakUARTCmdIndex - (1) > (0)) && bloodLeakUARTCmdIndex - (1) <= 0 + 1) ==> FALSE (17) if ((0) == isUARTCtrlDone) ==> FALSE (19) if (12 == commandInIndex0) ==> FALSE Test Case Generation Notes: Conflict: Multiple equality operators with different values (BloodLeak.<>.bloodLeakEmbModeRqstedCmd) in branches 11/15 Cannot set isUARTCtrlDone due to assignment Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0] 'equal to' and 'not equal to' same value in branches 12/19 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:99 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:2 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:12 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:99 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:2 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:12 TEST.END -- Test Case: handleBloodLeakEmbModeSendCommandState.015 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeSendCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeSendCommandState.015 TEST.NOTES: This is an automatically generated test case. Test Path 3 (11) case (bloodLeakEmbModeRqstedCmd) ==> SP_EMB_MODE_CMD (12) if (12 == bloodLeakEmbModeCmdSeq[0][0]) ==> FALSE (14) if (bloodLeakUARTCmdIndex > bloodLeakSetPointSeqLength - (1)) ==> FALSE (15) if ((bloodLeakEmbModeRqstedCmd != (CS_EMB_MODE_CMD) && bloodLeakUARTCmdIndex - (1) > (0)) && bloodLeakUARTCmdIndex - (1) <= 0 + 1) ==> FALSE (17) if ((0) == isUARTCtrlDone) ==> TRUE (18) if ((0) == isUARTCtrlCmd) ==> FALSE Test Case Generation Notes: Conflict: Multiple equality operators with different values (BloodLeak.<>.bloodLeakEmbModeRqstedCmd) in branches 11/15 Cannot set isUARTCtrlDone due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:10 TEST.VALUE:BloodLeak.<>.bloodLeakSetPointSeqLength:10 TEST.VALUE:BloodLeak.<>.bloodLeakSetPointSequence[0][1]:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:2 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakSetPointSequence[0][1]:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:2 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:0 TEST.END -- Test Case: handleBloodLeakEmbModeSendCommandState.016 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeSendCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeSendCommandState.016 TEST.NOTES: This is an automatically generated test case. Test Path 8 (11) case (bloodLeakEmbModeRqstedCmd) ==> SP_EMB_MODE_CMD (12) if (12 == bloodLeakEmbModeCmdSeq[0][0]) ==> TRUE (13) if (bloodLeakUARTCmdIndex > bloodLeakEmbModeCmdSeqLength - (1)) ==> FALSE (15) if ((bloodLeakEmbModeRqstedCmd != (CS_EMB_MODE_CMD) && bloodLeakUARTCmdIndex - (1) > (0)) && bloodLeakUARTCmdIndex - (1) <= 0 + 1) ==> FALSE (17) if ((0) == isUARTCtrlDone) ==> FALSE (19) if (12 == commandInIndex0) ==> FALSE Test Case Generation Notes: Conflict: Multiple equality operators with different values (BloodLeak.<>.bloodLeakEmbModeRqstedCmd) in branches 11/15 Cannot set isUARTCtrlDone due to assignment Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0] 'equal to' and 'not equal to' same value in branches 12/19 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:2 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:12 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:99 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:2 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:2 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:12 TEST.END -- Test Case: handleBloodLeakEmbModeSendCommandState.017 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeSendCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeSendCommandState.017 TEST.NOTES: This is an automatically generated test case. Test Path 8 (11) case (bloodLeakEmbModeRqstedCmd) ==> SP_EMB_MODE_CMD (12) if (12 == bloodLeakEmbModeCmdSeq[0][0]) ==> TRUE (13) if (bloodLeakUARTCmdIndex > bloodLeakEmbModeCmdSeqLength - (1)) ==> FALSE (15) if ((bloodLeakEmbModeRqstedCmd != (CS_EMB_MODE_CMD) && bloodLeakUARTCmdIndex - (1) > (0)) && bloodLeakUARTCmdIndex - (1) <= 0 + 1) ==> FALSE (17) if ((0) == isUARTCtrlDone) ==> FALSE (19) if (12 == commandInIndex0) ==> FALSE Test Case Generation Notes: Conflict: Multiple equality operators with different values (BloodLeak.<>.bloodLeakEmbModeRqstedCmd) in branches 11/15 Cannot set isUARTCtrlDone due to assignment Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0] 'equal to' and 'not equal to' same value in branches 12/19 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakUARTCmdIndex:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:2 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:12 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:99 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:0x80 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:2 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:2 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0][0]:12 TEST.END -- Test Case: handleBloodLeakEmbModeSendCommandState.018 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeSendCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeSendCommandState.018 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:<> TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:255 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:145 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:255 TEST.END -- Subprogram: handleBloodLeakEmbModeWaitForCommandResponseState -- Test Case: handleBloodLeakEmbModeWaitForCommandResponseState.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeWaitForCommandResponseState TEST.NEW TEST.NAME:handleBloodLeakEmbModeWaitForCommandResponseState.001 TEST.BASIS_PATH:2 of 12 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == bloodLeakEmbModeHasRxRqstBeenSent) ==> FALSE (2) if (rxFIFOCount > 0 && (0) == bloodLeakEmbModeHasRxRqstBeenSent) ==> FALSE (3) if ((1) == hasCharBeenReceived && bloodLeakEmbModeRespIndex >= length) ==> FALSE (11) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, commandTimeoutMS)) ==> TRUE Test Case Generation Notes: Cannot set local variable hasCharBeenReceived in branch 3 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasRxRqstBeenSent:2 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:4294967295 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeHasRxRqstBeenSent:2 TEST.END -- Test Case: handleBloodLeakEmbModeWaitForCommandResponseState.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeWaitForCommandResponseState TEST.NEW TEST.NAME:handleBloodLeakEmbModeWaitForCommandResponseState.002 TEST.BASIS_PATH:11 of 12 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if ((1) == bloodLeakEmbModeHasRxRqstBeenSent) ==> FALSE (2) if (rxFIFOCount > 0 && (0) == bloodLeakEmbModeHasRxRqstBeenSent) ==> TRUE (3) if ((1) == hasCharBeenReceived && bloodLeakEmbModeRespIndex >= length) ==> FALSE (11) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, commandTimeoutMS)) ==> FALSE Test Case Generation Notes: Cannot set local variable hasCharBeenReceived in branch 3 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasRxRqstBeenSent:0 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:4294967295 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeHasRxRqstBeenSent:0 TEST.END -- Test Case: handleBloodLeakEmbModeWaitForCommandResponseState.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeWaitForCommandResponseState TEST.NEW TEST.NAME:handleBloodLeakEmbModeWaitForCommandResponseState.003 TEST.BASIS_PATH:12 of 12 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if ((1) == bloodLeakEmbModeHasRxRqstBeenSent) ==> TRUE (3) if ((1) == hasCharBeenReceived && bloodLeakEmbModeRespIndex >= length) ==> FALSE (11) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, commandTimeoutMS)) ==> FALSE Test Case Generation Notes: Cannot set hasCharBeenReceived due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasRxRqstBeenSent:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:4294967295 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeHasRxRqstBeenSent:0 TEST.END -- Test Case: handleBloodLeakEmbModeWaitForCommandResponseState.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeWaitForCommandResponseState TEST.NEW TEST.NAME:handleBloodLeakEmbModeWaitForCommandResponseState.004 TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if ((1) == bloodLeakEmbModeHasRxRqstBeenSent) ==> FALSE (2) if (rxFIFOCount > 0 && (0) == bloodLeakEmbModeHasRxRqstBeenSent) ==> TRUE (3) if ((1) == hasCharBeenReceived && bloodLeakEmbModeRespIndex >= length) ==> FALSE (11) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, commandTimeoutMS)) ==> FALSE Test Case Generation Notes: Cannot set local variable hasCharBeenReceived in branch 3 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasRxRqstBeenSent:2 TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:4294967295 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeHasRxRqstBeenSent:2 TEST.END -- Test Case: handleBloodLeakEmbModeWaitForCommandResponseState.005 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeWaitForCommandResponseState TEST.NEW TEST.NAME:handleBloodLeakEmbModeWaitForCommandResponseState.005 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if ((1) == bloodLeakEmbModeHasRxRqstBeenSent) ==> TRUE (3) if ((1) == hasCharBeenReceived && bloodLeakEmbModeRespIndex >= length) ==> FALSE (11) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, commandTimeoutMS)) ==> FALSE Test Case Generation Notes: Cannot set hasCharBeenReceived due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasRxRqstBeenSent:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeHasRxRqstBeenSent:0 TEST.END -- Test Case: handleBloodLeakEmbModeWaitForCommandResponseState.006 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeWaitForCommandResponseState TEST.NEW TEST.NAME:handleBloodLeakEmbModeWaitForCommandResponseState.006 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if ((1) == bloodLeakEmbModeHasRxRqstBeenSent) ==> TRUE (3) if ((1) == hasCharBeenReceived && bloodLeakEmbModeRespIndex >= length) ==> FALSE (11) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, commandTimeoutMS)) ==> FALSE Test Case Generation Notes: Cannot set hasCharBeenReceived due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespBuffer:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespBuffer:"0" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasRxRqstBeenSent:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeHasRxRqstBeenSent:0 TEST.END -- Test Case: handleBloodLeakEmbModeWaitForCommandResponseState.007 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeWaitForCommandResponseState TEST.NEW TEST.NAME:handleBloodLeakEmbModeWaitForCommandResponseState.007 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if ((1) == bloodLeakEmbModeHasRxRqstBeenSent) ==> TRUE (3) if ((1) == hasCharBeenReceived && bloodLeakEmbModeRespIndex >= length) ==> FALSE (11) if ((1) == didTimeout(bloodLeakEmbModeOpsStartTime, commandTimeoutMS)) ==> FALSE Test Case Generation Notes: Cannot set hasCharBeenReceived due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].length:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespBuffer:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespBuffer:"0" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasRxRqstBeenSent:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdQFrontIndex:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].length:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespBuffer:"F" TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeHasRxRqstBeenSent:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdQFrontIndex:1 TEST.EXPECTED:BloodLeak.handleBloodLeakEmbModeWaitForCommandResponseState.return:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMAND_STATE TEST.END -- Subprogram: handleBloodLeakEmbModeWaitForCommandState -- Test Case: handleBloodLeakEmbModeWaitForCommandState.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeWaitForCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeWaitForCommandState.001 TEST.BASIS_PATH:1 of 12 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((0) == isEmbModeCmdQueueEmpty()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.isEmbModeCmdQueueEmpty TEST.VALUE:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMAND_STATE TEST.VALUE:BloodLeak.isEmbModeCmdQueueEmpty.return:1 TEST.EXPECTED:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMAND_STATE TEST.END -- Test Case: handleBloodLeakEmbModeWaitForCommandState.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeWaitForCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeWaitForCommandState.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isEmbModeCmdQueueEmpty()) ==> TRUE (12) case (bloodLeakEmbModeRqstedCmd) ==> SP_EMB_MODE_CMD Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.dequeueEmbModeCmd TEST.STUB:BloodLeak.isEmbModeCmdQueueEmpty TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.dequeueEmbModeCmd.return:0 TEST.VALUE:BloodLeak.isEmbModeCmdQueueEmpty.return:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMAND_STATE TEST.END -- Test Case: handleBloodLeakEmbModeWaitForCommandState.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeWaitForCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeWaitForCommandState.004 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isEmbModeCmdQueueEmpty()) ==> TRUE (12) case (bloodLeakEmbModeRqstedCmd) ==> SP_EMB_MODE_CMD Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.dequeueEmbModeCmd TEST.STUB:BloodLeak.isEmbModeCmdQueueEmpty TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:6,4,0,5,4 TEST.VALUE:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMAND_STATE TEST.VALUE:BloodLeak.dequeueEmbModeCmd.return:1 TEST.VALUE:BloodLeak.isEmbModeCmdQueueEmpty.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeOpsStartTime:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:6 TEST.EXPECTED:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:(5)BLOOD_LEAK_EMB_MODE_SEND_COMMAND_STATE TEST.END -- Test Case: handleBloodLeakEmbModeWaitForCommandState.005 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeWaitForCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeWaitForCommandState.005 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isEmbModeCmdQueueEmpty()) ==> TRUE (12) case (bloodLeakEmbModeRqstedCmd) ==> SP_EMB_MODE_CMD Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.dequeueEmbModeCmd TEST.STUB:BloodLeak.isEmbModeCmdQueueEmpty TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:6,4,0,5,4 TEST.VALUE:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMAND_STATE TEST.VALUE:BloodLeak.dequeueEmbModeCmd.return:3 TEST.VALUE:BloodLeak.isEmbModeCmdQueueEmpty.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:3 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeOpsStartTime:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:6 TEST.EXPECTED:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:(5)BLOOD_LEAK_EMB_MODE_SEND_COMMAND_STATE TEST.END -- Test Case: handleBloodLeakEmbModeWaitForCommandState.006 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeWaitForCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeWaitForCommandState.006 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isEmbModeCmdQueueEmpty()) ==> TRUE (12) case (bloodLeakEmbModeRqstedCmd) ==> SP_EMB_MODE_CMD Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.dequeueEmbModeCmd TEST.STUB:BloodLeak.isEmbModeCmdQueueEmpty TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:6,4,0,5,4 TEST.VALUE:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMAND_STATE TEST.VALUE:BloodLeak.dequeueEmbModeCmd.return:4 TEST.VALUE:BloodLeak.isEmbModeCmdQueueEmpty.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:4 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeOpsStartTime:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:6 TEST.EXPECTED:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:(5)BLOOD_LEAK_EMB_MODE_SEND_COMMAND_STATE TEST.END -- Test Case: handleBloodLeakEmbModeWaitForCommandState.007 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeWaitForCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeWaitForCommandState.007 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isEmbModeCmdQueueEmpty()) ==> TRUE (12) case (bloodLeakEmbModeRqstedCmd) ==> SP_EMB_MODE_CMD Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.dequeueEmbModeCmd TEST.STUB:BloodLeak.isEmbModeCmdQueueEmpty TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:6,4,0,5,4 TEST.VALUE:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMAND_STATE TEST.VALUE:BloodLeak.dequeueEmbModeCmd.return:5 TEST.VALUE:BloodLeak.isEmbModeCmdQueueEmpty.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:5 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeOpsStartTime:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:6 TEST.EXPECTED:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:(5)BLOOD_LEAK_EMB_MODE_SEND_COMMAND_STATE TEST.END -- Test Case: handleBloodLeakEmbModeWaitForCommandState.008 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeWaitForCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeWaitForCommandState.008 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isEmbModeCmdQueueEmpty()) ==> TRUE (12) case (bloodLeakEmbModeRqstedCmd) ==> SP_EMB_MODE_CMD Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.dequeueEmbModeCmd TEST.STUB:BloodLeak.isEmbModeCmdQueueEmpty TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:6,4,0,5,4 TEST.VALUE:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMAND_STATE TEST.VALUE:BloodLeak.dequeueEmbModeCmd.return:6 TEST.VALUE:BloodLeak.isEmbModeCmdQueueEmpty.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:6 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeOpsStartTime:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:6 TEST.EXPECTED:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:(5)BLOOD_LEAK_EMB_MODE_SEND_COMMAND_STATE TEST.END -- Test Case: handleBloodLeakEmbModeWaitForCommandState.009 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeWaitForCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeWaitForCommandState.009 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isEmbModeCmdQueueEmpty()) ==> TRUE (12) case (bloodLeakEmbModeRqstedCmd) ==> SP_EMB_MODE_CMD Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.dequeueEmbModeCmd TEST.STUB:BloodLeak.isEmbModeCmdQueueEmpty TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:6,4,0,5,4 TEST.VALUE:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMAND_STATE TEST.VALUE:BloodLeak.dequeueEmbModeCmd.return:7 TEST.VALUE:BloodLeak.isEmbModeCmdQueueEmpty.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:7 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeOpsStartTime:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:6 TEST.EXPECTED:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:(5)BLOOD_LEAK_EMB_MODE_SEND_COMMAND_STATE TEST.END -- Test Case: handleBloodLeakEmbModeWaitForCommandState.010 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeWaitForCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeWaitForCommandState.010 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isEmbModeCmdQueueEmpty()) ==> TRUE (12) case (bloodLeakEmbModeRqstedCmd) ==> SP_EMB_MODE_CMD Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.dequeueEmbModeCmd TEST.STUB:BloodLeak.isEmbModeCmdQueueEmpty TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:6,4,0,5,4 TEST.VALUE:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMAND_STATE TEST.VALUE:BloodLeak.dequeueEmbModeCmd.return:8 TEST.VALUE:BloodLeak.isEmbModeCmdQueueEmpty.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:8 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeOpsStartTime:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:6 TEST.EXPECTED:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:(5)BLOOD_LEAK_EMB_MODE_SEND_COMMAND_STATE TEST.END -- Test Case: handleBloodLeakEmbModeWaitForCommandState.011 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeWaitForCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeWaitForCommandState.011 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isEmbModeCmdQueueEmpty()) ==> TRUE (12) case (bloodLeakEmbModeRqstedCmd) ==> SP_EMB_MODE_CMD Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.dequeueEmbModeCmd TEST.STUB:BloodLeak.isEmbModeCmdQueueEmpty TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:6,4,0,5,4 TEST.VALUE:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMAND_STATE TEST.VALUE:BloodLeak.dequeueEmbModeCmd.return:9 TEST.VALUE:BloodLeak.isEmbModeCmdQueueEmpty.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:9 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeOpsStartTime:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:6 TEST.EXPECTED:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:(5)BLOOD_LEAK_EMB_MODE_SEND_COMMAND_STATE TEST.END -- Test Case: handleBloodLeakEmbModeWaitForCommandState.012 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeWaitForCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeWaitForCommandState.012 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isEmbModeCmdQueueEmpty()) ==> TRUE (12) case (bloodLeakEmbModeRqstedCmd) ==> SP_EMB_MODE_CMD Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.dequeueEmbModeCmd TEST.STUB:BloodLeak.isEmbModeCmdQueueEmpty TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:6,4,0,5,4 TEST.VALUE:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMAND_STATE TEST.VALUE:BloodLeak.dequeueEmbModeCmd.return:10 TEST.VALUE:BloodLeak.isEmbModeCmdQueueEmpty.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:10 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeOpsStartTime:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeqLength:6 TEST.EXPECTED:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:(5)BLOOD_LEAK_EMB_MODE_SEND_COMMAND_STATE TEST.END -- Test Case: handleBloodLeakEmbModeWaitForCommandState.013 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeWaitForCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeWaitForCommandState.013 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isEmbModeCmdQueueEmpty()) ==> TRUE (12) case (bloodLeakEmbModeRqstedCmd) ==> SP_EMB_MODE_CMD Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.prepareSetPointSeq TEST.STUB:BloodLeak.dequeueEmbModeCmd TEST.STUB:BloodLeak.isEmbModeCmdQueueEmpty TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.VALUE:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMAND_STATE TEST.VALUE:BloodLeak.prepareSetPointSeq.setPoint:0 TEST.VALUE:BloodLeak.dequeueEmbModeCmd.return:2 TEST.VALUE:BloodLeak.isEmbModeCmdQueueEmpty.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:2 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeOpsStartTime:1 TEST.EXPECTED:BloodLeak.handleBloodLeakEmbModeWaitForCommandState.return:BLOOD_LEAK_EMB_MODE_SEND_COMMAND_STATE TEST.END -- Test Case: handleBloodLeakEmbModeWaitForCommandState.014 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeWaitForCommandState TEST.NEW TEST.NAME:handleBloodLeakEmbModeWaitForCommandState.014 TEST.STUB:BloodLeak.dequeueEmbModeCmd TEST.STUB:BloodLeak.isEmbModeCmdQueueEmpty TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:12 TEST.VALUE:BloodLeak.dequeueEmbModeCmd.return:12 TEST.VALUE:BloodLeak.isEmbModeCmdQueueEmpty.return:0 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:12 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:145 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:12 TEST.END -- Subprogram: handleBloodLeakInitState -- Test Case: handleBloodLeakInitState.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakInitState TEST.NEW TEST.NAME:handleBloodLeakInitState.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 629 TEST.STUB:BloodLeak.hasZeroBloodLeakBeenRequested >>> >>> Could not find function hasZeroBloodLeakBeenRequested >>> >>> in unit BloodLeak. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 629 >>> >>> Could not stub BloodLeak.hasZeroBloodLeakBeenRequested >>> (E) @LINE: 630 TEST.VALUE:BloodLeak.hasZeroBloodLeakBeenRequested.return:<> >>> >>> Subprogram 'hasZeroBloodLeakBeenRequested' is invalid >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == hasZeroBloodLeakBeenRequested()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:0 TEST.VALUE:BloodLeak.handleBloodLeakInitState.return:BLOOD_LEAK_INIT_STATE TEST.EXPECTED:BloodLeak.handleBloodLeakInitState.return:BLOOD_LEAK_INIT_STATE TEST.END -- Test Case: handleBloodLeakInitState.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakInitState TEST.NEW TEST.NAME:handleBloodLeakInitState.002 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == hasZeroBloodLeakBeenRequested()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:1 TEST.VALUE:BloodLeak.handleBloodLeakInitState.return:BLOOD_LEAK_INIT_STATE TEST.EXPECTED:BloodLeak.handleBloodLeakInitState.return:BLOOD_LEAK_CHECK_ZERO_AND_SELF_TEST_STATE TEST.END -- Subprogram: handleBloodLeakNormalState -- Test Case: handleBloodLeakNormalState.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakNormalState TEST.NEW TEST.NAME:handleBloodLeakNormalState.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 621 TEST.VALUE:uut_prototype_stubs.noFPGABloodLeakDetected.return:1 >>> >>> Could not find function noFPGABloodLeakDetected >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.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.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 639 TEST.VALUE:uut_prototype_stubs.noFPGABloodLeakDetected.return:<> >>> >>> Could not find function noFPGABloodLeakDetected >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.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.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 661 TEST.VALUE:uut_prototype_stubs.noFPGABloodLeakDetected.return:<> >>> >>> Could not find function noFPGABloodLeakDetected >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.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.VALUE:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakStatus.return:1 TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.END -- Test Case: handleBloodLeakNormalState.005 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakNormalState TEST.NEW TEST.NAME:handleBloodLeakNormalState.005 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 707 TEST.VALUE:uut_prototype_stubs.noFPGABloodLeakDetected.return:<> >>> >>> Could not find function noFPGABloodLeakDetected >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.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.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 750 TEST.VALUE:BloodLeak.<>.bloodLeakZeroRequested:<> >>> >>> Unknown parameter/object name bloodLeakZeroRequested >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 754 TEST.VALUE:uut_prototype_stubs.noFPGABloodLeakDetected.return:<> >>> >>> Could not find function noFPGABloodLeakDetected >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 755 TEST.EXPECTED:BloodLeak.<>.bloodLeakZeroRequested:0 >>> >>> Unknown parameter/object name bloodLeakZeroRequested >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.<>.bloodLeakPersistenceCtr:<> TEST.VALUE:BloodLeak.<>.bloodLeakExitNormalRequested:1 TEST.VALUE:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_NOT_DETECTED TEST.EXPECTED:BloodLeak.<>.bloodLeakPersistenceCtr:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakExitNormalRequested:0 TEST.END -- Test Case: handleBloodLeakNormalState.008 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakNormalState TEST.NEW TEST.NAME:handleBloodLeakNormalState.008 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 827 TEST.STUB:BloodLeak.hasZeroBloodLeakBeenRequested >>> >>> Could not find function hasZeroBloodLeakBeenRequested >>> >>> in unit BloodLeak. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 827 >>> >>> Could not stub BloodLeak.hasZeroBloodLeakBeenRequested >>> (E) @LINE: 829 TEST.VALUE:BloodLeak.hasZeroBloodLeakBeenRequested.return:1 >>> >>> Subprogram 'hasZeroBloodLeakBeenRequested' is invalid >>> >>> Command Ignored >>> (E) @LINE: 830 TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_PREP_FOR_ZERO_CMD_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "BLOOD_LEAK_PREP_FOR_ZERO_CMD_STATE" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:1 TEST.VALUE:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_BLOOD_LEAK_DETECTED TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_CHECK_ZERO_AND_SELF_TEST_STATE TEST.END -- Subprogram: handleBloodLeakWaitForPostState -- Test Case: handleBloodLeakWaitForPostState.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakWaitForPostState TEST.NEW TEST.NAME:handleBloodLeakWaitForPostState.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1114 TEST.VALUE:BloodLeak.<>.bloodLeakIsPOSTComplete:<> >>> >>> Unknown parameter/object name bloodLeakIsPOSTComplete >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1115 TEST.EXPECTED:BloodLeak.<>.bloodLeakIsPOSTComplete:0 >>> >>> Unknown parameter/object name bloodLeakIsPOSTComplete >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandResp:100 TEST.VALUE:BloodLeak.handleBloodLeakWaitForPostState.return:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_SERV TEST.EXPECTED:BloodLeak.handleBloodLeakWaitForPostState.return:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.END -- Test Case: handleBloodLeakWaitForPostState.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakWaitForPostState TEST.NEW TEST.NAME:handleBloodLeakWaitForPostState.002 TEST.BASIS_PATH:1 of 5 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((80) == cmdResp) ==> FALSE (2) if ((1) == (bloodLeakEmbModeCmd[CS_EMB_MODE_CMD]).isCmdRespRdy && (70) == cmdResp) ==> FALSE (4) if (getCurrentOperationMode() != (MODE_INIT) && (1) == isEmbModeReady) ==> FALSE Test Case Generation Notes: Cannot set local variable isEmbModeReady in branch 4 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandResp:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:0 TEST.VALUE:BloodLeak.handleBloodLeakWaitForPostState.return:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandResp:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:0 TEST.EXPECTED:BloodLeak.handleBloodLeakWaitForPostState.return:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.END -- Test Case: handleBloodLeakWaitForPostState.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakWaitForPostState TEST.NEW TEST.NAME:handleBloodLeakWaitForPostState.003 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.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandResp:80 TEST.VALUE:BloodLeak.handleBloodLeakWaitForPostState.return:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_SERV TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandResp:80 TEST.EXPECTED:BloodLeak.handleBloodLeakWaitForPostState.return:BLOOD_LEAK_CHECK_SET_POINT_STATE TEST.END -- Test Case: handleBloodLeakWaitForPostState.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakWaitForPostState TEST.NEW TEST.NAME:handleBloodLeakWaitForPostState.004 TEST.BASIS_PATH:4 of 5 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((80) == cmdResp) ==> FALSE (2) if ((1) == (bloodLeakEmbModeCmd[CS_EMB_MODE_CMD]).isCmdRespRdy && (70) == cmdResp) ==> TRUE (3) if ((bloodLeakEmbModeCmd[CS_EMB_MODE_CMD]).commandRetryCount < 3) ==> TRUE (4) if (getCurrentOperationMode() != (MODE_INIT) && (1) == isEmbModeReady) ==> FALSE Test Case Generation Notes: Cannot set local variable isEmbModeReady in branch 4 TEST.END_NOTES: TEST.STUB:BloodLeak.enqueueEmbModeCmd TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandResp:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandRetryCount:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.handleBloodLeakWaitForPostState.return:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.VALUE:BloodLeak.enqueueEmbModeCmd.cmd:MACRO=CS_EMB_MODE_CMD,MACRO=D_EMB_MODE_CMD TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandResp:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandRetryCount:2 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.handleBloodLeakWaitForPostState.return:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.EXPECTED:BloodLeak.enqueueEmbModeCmd.cmd:1,9 TEST.END -- Test Case: handleBloodLeakWaitForPostState.005 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakWaitForPostState TEST.NEW TEST.NAME:handleBloodLeakWaitForPostState.005 TEST.BASIS_PATH:5 of 5 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((80) == cmdResp) ==> TRUE (4) if (getCurrentOperationMode() != (MODE_INIT) && (1) == isEmbModeReady) ==> FALSE Test Case Generation Notes: Cannot set isEmbModeReady due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandResp:80 TEST.VALUE:BloodLeak.handleBloodLeakWaitForPostState.return:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandResp:80 TEST.EXPECTED:BloodLeak.handleBloodLeakWaitForPostState.return:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.END -- Test Case: handleBloodLeakWaitForPostState.006 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakWaitForPostState TEST.NEW TEST.NAME:handleBloodLeakWaitForPostState.006 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((80) == cmdResp) ==> FALSE (2) if ((1) == (bloodLeakEmbModeCmd[CS_EMB_MODE_CMD]).isCmdRespRdy && (70) == cmdResp) ==> TRUE (3) if ((bloodLeakEmbModeCmd[CS_EMB_MODE_CMD]).commandRetryCount < 3) ==> TRUE (4) if (getCurrentOperationMode() != (MODE_INIT) && (1) == isEmbModeReady) ==> FALSE Test Case Generation Notes: Cannot set local variable isEmbModeReady in branch 4 TEST.END_NOTES: TEST.STUB:BloodLeak.enqueueEmbModeCmd TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandResp:71 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandRetryCount:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.handleBloodLeakWaitForPostState.return:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.VALUE:BloodLeak.enqueueEmbModeCmd.cmd:CS_EMB_MODE_CMD,D_EMB_MODE_CMD TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandResp:71 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandRetryCount:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.handleBloodLeakWaitForPostState.return:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.END -- Test Case: handleBloodLeakWaitForPostState.007 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakWaitForPostState TEST.NEW TEST.NAME:handleBloodLeakWaitForPostState.007 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((80) == cmdResp) ==> FALSE (2) if ((1) == (bloodLeakEmbModeCmd[CS_EMB_MODE_CMD]).isCmdRespRdy && (70) == cmdResp) ==> TRUE (3) if ((bloodLeakEmbModeCmd[CS_EMB_MODE_CMD]).commandRetryCount < 3) ==> TRUE (4) if (getCurrentOperationMode() != (MODE_INIT) && (1) == isEmbModeReady) ==> FALSE Test Case Generation Notes: Cannot set local variable isEmbModeReady in branch 4 TEST.END_NOTES: TEST.STUB:BloodLeak.enqueueEmbModeCmd TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandResp:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandRetryCount:4 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.handleBloodLeakWaitForPostState.return:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.VALUE:BloodLeak.enqueueEmbModeCmd.cmd:CS_EMB_MODE_CMD,D_EMB_MODE_CMD TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandResp:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandRetryCount:5 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.handleBloodLeakWaitForPostState.return:BLOOD_LEAK_WAIT_FOR_POST_STATE 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[0]:<> TEST.VALUE:BloodLeak.<>.bloodLeakSetPointSequence[0]:"83","13","0","1","0"" TEST.EXPECTED:BloodLeak.<>.bloodLeakUARTCmdIndex:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakSetPointSeqLength:6 TEST.END -- Subprogram: isEmbModeCmdQueueEmpty -- Test Case: isEmbModeCmdQueueEmpty.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:isEmbModeCmdQueueEmpty TEST.NEW TEST.NAME:isEmbModeCmdQueueEmpty.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (bloodLeakEmbModeCmdQCount > 0) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdQCount:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdQCount:0 TEST.EXPECTED:BloodLeak.isEmbModeCmdQueueEmpty.return:1 TEST.END -- Test Case: isEmbModeCmdQueueEmpty.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:isEmbModeCmdQueueEmpty TEST.NEW TEST.NAME:isEmbModeCmdQueueEmpty.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (bloodLeakEmbModeCmdQCount > 0) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdQCount:<> TEST.VALUE:BloodLeak.isEmbModeCmdQueueEmpty.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdQCount:255 TEST.EXPECTED:BloodLeak.isEmbModeCmdQueueEmpty.return:0 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: processReceivedEmbModeChar -- Test Case: processReceivedEmbModeChar.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:processReceivedEmbModeChar TEST.NEW TEST.NAME:processReceivedEmbModeChar.001 TEST.BASIS_PATH:1 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> FALSE (5) if (expChar1 != (NU_EMB_MODE_CMD) && expChar2 != (NU_EMB_MODE_CMD)) ==> FALSE (8) if ((NU_EMB_MODE_CMD) == expChar1 && (NU_EMB_MODE_CMD) == expChar2) ==> 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:BloodLeak.processReceivedEmbModeChar.data:<> 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.EXPECTED:BloodLeak.processReceivedEmbModeChar.data:0 TEST.END -- Test Case: processReceivedEmbModeChar.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:processReceivedEmbModeChar TEST.NEW TEST.NAME:processReceivedEmbModeChar.002 TEST.BASIS_PATH:2 of 11 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> FALSE (5) if (expChar1 != (NU_EMB_MODE_CMD) && expChar2 != (NU_EMB_MODE_CMD)) ==> FALSE (8) if ((NU_EMB_MODE_CMD) == expChar1 && (NU_EMB_MODE_CMD) == expChar2) ==> TRUE (9) if (bloodLeakEmbModeRespIndex < length) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar2 'equal to' and 'not equal to' same value in branches 1/5 Conflict: Trying to set variable BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar2 'equal to' and 'not equal to' same value in branches 1/8 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:BloodLeak.processReceivedEmbModeChar.data:<> 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.EXPECTED:BloodLeak.processReceivedEmbModeChar.data:0 TEST.END -- Test Case: processReceivedEmbModeChar.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:processReceivedEmbModeChar TEST.NEW TEST.NAME:processReceivedEmbModeChar.003 TEST.BASIS_PATH:8 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> TRUE (2) if (bloodLeakEmbModeRespIndex < length) ==> 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:BloodLeak.processReceivedEmbModeChar.data:<> 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.EXPECTED:BloodLeak.processReceivedEmbModeChar.data:0 TEST.END -- Test Case: processReceivedEmbModeChar.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:processReceivedEmbModeChar TEST.NEW TEST.NAME:processReceivedEmbModeChar.004 TEST.BASIS_PATH:11 of 11 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> TRUE (2) if (bloodLeakEmbModeRespIndex < length) ==> TRUE (3) if (expChar1 == data && (0) == bloodLeakEmbModeRespIndex) ==> TRUE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar1 ) in branches 1/3 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:1 TEST.VALUE:BloodLeak.processReceivedEmbModeChar.data:<> 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:4294967295 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:2 TEST.EXPECTED:BloodLeak.processReceivedEmbModeChar.data:0 TEST.END -- Test Case: processReceivedEmbModeChar.005 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:processReceivedEmbModeChar TEST.NEW TEST.NAME:processReceivedEmbModeChar.005 TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> TRUE (2) if (bloodLeakEmbModeRespIndex < length) ==> TRUE (3) if (expChar1 == data && (0) == bloodLeakEmbModeRespIndex) ==> TRUE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar1 ) in branches 1/3 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:0 TEST.VALUE:BloodLeak.processReceivedEmbModeChar.data:<> 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:4294967295 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.EXPECTED:BloodLeak.processReceivedEmbModeChar.data:0 TEST.END -- Test Case: processReceivedEmbModeChar.006 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:processReceivedEmbModeChar TEST.NEW TEST.NAME:processReceivedEmbModeChar.006 TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> TRUE (2) if (bloodLeakEmbModeRespIndex < length) ==> TRUE (3) if (expChar1 == data && (0) == bloodLeakEmbModeRespIndex) ==> TRUE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar1 ) in branches 1/3 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:1 TEST.VALUE:BloodLeak.processReceivedEmbModeChar.data:1 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:4294967295 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:1 TEST.EXPECTED:BloodLeak.processReceivedEmbModeChar.data:1 TEST.END -- Test Case: processReceivedEmbModeChar.007 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:processReceivedEmbModeChar TEST.NEW TEST.NAME:processReceivedEmbModeChar.007 TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> TRUE (2) if (bloodLeakEmbModeRespIndex < length) ==> TRUE (3) if (expChar1 == data && (0) == bloodLeakEmbModeRespIndex) ==> TRUE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( BloodLeak.<>.bloodLeakEmbModeCmd[0].expChar1 ) in branches 1/3 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:0 TEST.VALUE:BloodLeak.processReceivedEmbModeChar.data:1 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:4294967295 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:1 TEST.EXPECTED:BloodLeak.processReceivedEmbModeChar.data:1 TEST.END -- Test Case: processReceivedEmbModeChar.008 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:processReceivedEmbModeChar TEST.NEW TEST.NAME:processReceivedEmbModeChar.008 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> FALSE (5) if (expChar1 != (NU_EMB_MODE_CMD) && expChar2 != (NU_EMB_MODE_CMD)) ==> FALSE (8) if ((NU_EMB_MODE_CMD) == expChar1 && (NU_EMB_MODE_CMD) == expChar2) ==> 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:2,0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.VALUE:BloodLeak.processReceivedEmbModeChar.data:<> 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.EXPECTED:BloodLeak.processReceivedEmbModeChar.data:0 TEST.END -- Test Case: processReceivedEmbModeChar.009 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:processReceivedEmbModeChar TEST.NEW TEST.NAME:processReceivedEmbModeChar.009 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> FALSE (5) if (expChar1 != (NU_EMB_MODE_CMD) && expChar2 != (NU_EMB_MODE_CMD)) ==> FALSE (8) if ((NU_EMB_MODE_CMD) == expChar1 && (NU_EMB_MODE_CMD) == expChar2) ==> 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,0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:10 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.VALUE:BloodLeak.processReceivedEmbModeChar.data:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.EXPECTED:BloodLeak.processReceivedEmbModeChar.data:0 TEST.END -- Test Case: processReceivedEmbModeChar.010 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:processReceivedEmbModeChar TEST.NEW TEST.NAME:processReceivedEmbModeChar.010 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> FALSE (5) if (expChar1 != (NU_EMB_MODE_CMD) && expChar2 != (NU_EMB_MODE_CMD)) ==> FALSE (8) if ((NU_EMB_MODE_CMD) == expChar1 && (NU_EMB_MODE_CMD) == expChar2) ==> 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,0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:10 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.VALUE:BloodLeak.processReceivedEmbModeChar.data:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:1 TEST.EXPECTED:BloodLeak.processReceivedEmbModeChar.data:1 TEST.END -- Test Case: processReceivedEmbModeChar.011 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:processReceivedEmbModeChar TEST.NEW TEST.NAME:processReceivedEmbModeChar.011 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:2 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:1 TEST.VALUE:BloodLeak.processReceivedEmbModeChar.data:48 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:2 TEST.END -- Test Case: processReceivedEmbModeChar.012 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:processReceivedEmbModeChar TEST.NEW TEST.NAME:processReceivedEmbModeChar.012 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:2 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:1 TEST.VALUE:BloodLeak.processReceivedEmbModeChar.data:58 TEST.EXPECTED:BloodLeak.processReceivedEmbModeChar.data:58 TEST.END -- Test Case: processReceivedEmbModeChar.013 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:processReceivedEmbModeChar TEST.NEW TEST.NAME:processReceivedEmbModeChar.013 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (expChar1 != (NU_EMB_MODE_CMD) && (NU_EMB_MODE_CMD) == expChar2) ==> FALSE (5) if (expChar1 != (NU_EMB_MODE_CMD) && expChar2 != (NU_EMB_MODE_CMD)) ==> FALSE (8) if ((NU_EMB_MODE_CMD) == expChar1 && (NU_EMB_MODE_CMD) == expChar2) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:0,1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.VALUE:BloodLeak.processReceivedEmbModeChar.data:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.EXPECTED:BloodLeak.processReceivedEmbModeChar.data:0 TEST.END -- Subprogram: publishBloodLeakData -- Test Case: publishBloodLeakData.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:publishBloodLeakData TEST.NEW TEST.NAME:publishBloodLeakData.001 TEST.IMPORT_FAILURES: (E) @LINE: 2622 TEST.EXPECTED:BloodLeak.<>.bloodLeakDataPublicationTimerCounter:0 >>> Unknown parameter/object name bloodLeakDataPublicationTimerCounter >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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.END -- Test Case: publishBloodLeakData.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:publishBloodLeakData TEST.NEW TEST.NAME:publishBloodLeakData.002 TEST.IMPORT_FAILURES: (E) @LINE: 2639 TEST.VALUE:BloodLeak.<>.bloodLeakDataPublicationTimerCounter:0 >>> Unknown parameter/object name bloodLeakDataPublicationTimerCounter >>> Value Line Error - Command Ignored (E) @LINE: 2641 TEST.EXPECTED:BloodLeak.<>.bloodLeakDataPublicationTimerCounter:1 >>> Unknown parameter/object name bloodLeakDataPublicationTimerCounter >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: 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:uut_prototype_stubs.getU32OverrideValue.return:<> 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:BloodLeak.testSetBloodLeakEmbeddedModeCommand.return:0 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.STUB:BloodLeak.enqueueEmbModeCmd TEST.VALUE:BloodLeak.<>.bloodLeakSignalEmbModeReq:1 TEST.VALUE:BloodLeak.testSetBloodLeakEmbeddedModeCommand.command:10 TEST.VALUE:BloodLeak.testSetBloodLeakEmbeddedModeCommand.setPointPayload:100 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.<>.bloodLeakEmbModeSetPoint:100 TEST.EXPECTED:BloodLeak.enqueueEmbModeCmd.cmd:10 TEST.EXPECTED:BloodLeak.testSetBloodLeakEmbeddedModeCommand.return:1 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 -- 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.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 2647 TEST.EXPECTED:BloodLeak.<>.bloodLeakZeroRequested:1 >>> >>> Unknown parameter/object name bloodLeakZeroRequested >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.STUB:BloodLeak.enqueueEmbModeCmd TEST.VALUE:BloodLeak.enqueueEmbModeCmd.cmd:7,4,7,8,3 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:1 TEST.EXPECTED:BloodLeak.zeroBloodLeak.return:1 TEST.EXPECTED:BloodLeak.enqueueEmbModeCmd.cmd:7,4,7,8,3 TEST.END -- Test Case: zeroBloodLeak.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:zeroBloodLeak TEST.NEW TEST.NAME:zeroBloodLeak.002 TEST.BASIS_PATH:1 of 3 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (getAvailableEmbModeQueueCount() >= (5)) ==> FALSE (2) if (++bloodLeakEmbModeCmdEnqueueCount > (3)) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 2 TEST.END_NOTES: TEST.STUB:BloodLeak.getAvailableEmbModeQueueCount TEST.VALUE:BloodLeak.getAvailableEmbModeQueueCount.return:<> TEST.EXPECTED:BloodLeak.zeroBloodLeak.return:1 TEST.END -- Test Case: zeroBloodLeak.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:zeroBloodLeak TEST.NEW TEST.NAME:zeroBloodLeak.003 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (getAvailableEmbModeQueueCount() >= (5)) ==> FALSE (2) if (++bloodLeakEmbModeCmdEnqueueCount > (3)) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 2 TEST.END_NOTES: TEST.STUB:BloodLeak.getAvailableEmbModeQueueCount TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdEnqueueCount:4 TEST.VALUE:BloodLeak.getAvailableEmbModeQueueCount.return:<> TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdEnqueueCount:5 TEST.EXPECTED:BloodLeak.zeroBloodLeak.return:1 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:144 TEST.END