-- 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: enqueueInfoEmbModeCmds -- Test Case: enqueueInfoEmbModeCmds.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:enqueueInfoEmbModeCmds TEST.NEW TEST.NAME:enqueueInfoEmbModeCmds.001 TEST.BASIS_PATH:1 of 6 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == didTimeout(bloodLeakEmbModeInfoCmdEnqLastTimeStamp, 2 * 1000) && bloodLeakState >= (BLOOD_LEAK_INIT_STATE)) ==> FALSE Test Case Generation Notes: Cannot set bloodLeakState due to assignment TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:0 TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:2000 TEST.END -- Test Case: enqueueInfoEmbModeCmds.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:enqueueInfoEmbModeCmds TEST.NEW TEST.NAME:enqueueInfoEmbModeCmds.002 TEST.BASIS_PATH:2 of 6 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(bloodLeakEmbModeInfoCmdEnqLastTimeStamp, 2 * 1000) && bloodLeakState >= (BLOOD_LEAK_INIT_STATE)) ==> TRUE (2) if ((0) == bloodLeakEmbModeInfoCmdCounter) ==> FALSE (3) if ((1) == bloodLeakEmbModeInfoCmdCounter) ==> FALSE (4) if ((2) == bloodLeakEmbModeInfoCmdCounter) ==> FALSE (5) if (bloodLeakEmbModeInfoCmdCounter >= 3 - 1) ==> FALSE Test Case Generation Notes: Cannot set bloodLeakState due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeInfoCmdCounter:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeInfoCmdCounter:0 TEST.END -- Test Case: enqueueInfoEmbModeCmds.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:enqueueInfoEmbModeCmds TEST.NEW TEST.NAME:enqueueInfoEmbModeCmds.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(bloodLeakEmbModeInfoCmdEnqLastTimeStamp, 2 * 1000) && bloodLeakState >= (BLOOD_LEAK_INIT_STATE)) ==> TRUE (2) if ((0) == bloodLeakEmbModeInfoCmdCounter) ==> FALSE (3) if ((1) == bloodLeakEmbModeInfoCmdCounter) ==> FALSE (4) if ((2) == bloodLeakEmbModeInfoCmdCounter) ==> FALSE (5) if (bloodLeakEmbModeInfoCmdCounter >= 3 - 1) ==> FALSE Test Case Generation Notes: Cannot set bloodLeakState due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakState:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeInfoCmdCounter:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakState:NUM_OF_BLOOD_LEAK_STATES TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeInfoCmdCounter:1 TEST.END -- Test Case: enqueueInfoEmbModeCmds.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:enqueueInfoEmbModeCmds TEST.NEW TEST.NAME:enqueueInfoEmbModeCmds.004 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(bloodLeakEmbModeInfoCmdEnqLastTimeStamp, 2 * 1000) && bloodLeakState >= (BLOOD_LEAK_INIT_STATE)) ==> TRUE (2) if ((0) == bloodLeakEmbModeInfoCmdCounter) ==> FALSE (3) if ((1) == bloodLeakEmbModeInfoCmdCounter) ==> FALSE (4) if ((2) == bloodLeakEmbModeInfoCmdCounter) ==> FALSE (5) if (bloodLeakEmbModeInfoCmdCounter >= 3 - 1) ==> FALSE Test Case Generation Notes: Cannot set bloodLeakState due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakState:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeInfoCmdCounter:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakState:NUM_OF_BLOOD_LEAK_STATES TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeInfoCmdCounter:2 TEST.END -- Test Case: enqueueInfoEmbModeCmds.005 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:enqueueInfoEmbModeCmds TEST.NEW TEST.NAME:enqueueInfoEmbModeCmds.005 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(bloodLeakEmbModeInfoCmdEnqLastTimeStamp, 2 * 1000) && bloodLeakState >= (BLOOD_LEAK_INIT_STATE)) ==> TRUE (2) if ((0) == bloodLeakEmbModeInfoCmdCounter) ==> FALSE (3) if ((1) == bloodLeakEmbModeInfoCmdCounter) ==> FALSE (4) if ((2) == bloodLeakEmbModeInfoCmdCounter) ==> FALSE (5) if (bloodLeakEmbModeInfoCmdCounter >= 3 - 1) ==> FALSE Test Case Generation Notes: Cannot set bloodLeakState due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakState:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeInfoCmdCounter:2 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakState:NUM_OF_BLOOD_LEAK_STATES TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeInfoCmdCounter:0 TEST.END -- Test Case: enqueueInfoEmbModeCmds.006 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:enqueueInfoEmbModeCmds TEST.NEW TEST.NAME:enqueueInfoEmbModeCmds.006 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(bloodLeakEmbModeInfoCmdEnqLastTimeStamp, 2 * 1000) && bloodLeakState >= (BLOOD_LEAK_INIT_STATE)) ==> TRUE (2) if ((0) == bloodLeakEmbModeInfoCmdCounter) ==> FALSE (3) if ((1) == bloodLeakEmbModeInfoCmdCounter) ==> FALSE (4) if ((2) == bloodLeakEmbModeInfoCmdCounter) ==> FALSE (5) if (bloodLeakEmbModeInfoCmdCounter >= 3 - 1) ==> FALSE Test Case Generation Notes: Cannot set bloodLeakState due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakState:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeInfoCmdCounter:3 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakState:NUM_OF_BLOOD_LEAK_STATES TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeInfoCmdCounter:0 TEST.END -- Test Case: enqueueInfoEmbModeCmds.007 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:enqueueInfoEmbModeCmds TEST.NEW TEST.NAME:enqueueInfoEmbModeCmds.007 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(bloodLeakEmbModeInfoCmdEnqLastTimeStamp, 2 * 1000) && bloodLeakState >= (BLOOD_LEAK_INIT_STATE)) ==> TRUE (2) if ((0) == bloodLeakEmbModeInfoCmdCounter) ==> FALSE (3) if ((1) == bloodLeakEmbModeInfoCmdCounter) ==> FALSE (4) if ((2) == bloodLeakEmbModeInfoCmdCounter) ==> FALSE (5) if (bloodLeakEmbModeInfoCmdCounter >= 3 - 1) ==> FALSE Test Case Generation Notes: Cannot set bloodLeakState due to assignment TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_CHECK_ZERO_AND_SELF_TEST_STATE TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeInfoCmdCounter:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_CHECK_ZERO_AND_SELF_TEST_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeInfoCmdCounter:0 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 -- Test Case: execBloodLeak.007 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeak TEST.NEW TEST.NAME:execBloodLeak.007 TEST.VALUE:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_RECOVER_BLOOD_DETECT_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_NORMAL_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 -- Test Case: execBloodLeakEmbModeCommand.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:execBloodLeakEmbModeCommand TEST.NEW TEST.NAME:execBloodLeakEmbModeCommand.004 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:NUM_OF_BLOOD_LEAK_EMB_MODE_STATES TEST.VALUE:BloodLeak.handleBloodLeakEmbModeWaitForCommandResponseState.return:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMMAND_RESPONSE_STATE TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.sInt.data:SW_FAULT_ID_BLOOD_LEAK_EMBEDDED_MODE_INVALID_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeSubstate:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMAND_STATE TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.sInt.data:157 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: getBloodLeakRxBytesAvailable -- Test Case: getBloodLeakRxBytesAvailable.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:getBloodLeakRxBytesAvailable TEST.NEW TEST.NAME:getBloodLeakRxBytesAvailable.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakRxFIFOCount.return:0x3FF TEST.EXPECTED:BloodLeak.getBloodLeakRxBytesAvailable.return:0x3FF 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: getFPGABloodDetectProcessedStatus -- Test Case: getFPGABloodDetectProcessedStatus.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:getFPGABloodDetectProcessedStatus TEST.NEW TEST.NAME:getFPGABloodDetectProcessedStatus.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (0 == getFPGABloodLeakStatus()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakStatus.return:1 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.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 755 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandRetryCount:<> >>> >>> Expected a field name from the record type CCAST_9_17 >>> >>> Read: commandRetryCount >>> (E) @LINE: 760 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandRetryCount:0 >>> >>> Expected a field name from the record type CCAST_9_17 >>> >>> Read: commandRetryCount TEST.END_IMPORT_FAILURES: 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].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].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.IMPORT_FAILURES: (I) @LINE: 866 >>> 'D_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) >>> (I) @LINE: 862 >>> >>> 'D_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. >>> (E) @LINE: 781 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandRetryCount:<> >>> >>> Expected a field name from the record type CCAST_9_17 >>> >>> Read: commandRetryCount >>> (I) @LINE: 783 >>> >>> 'D_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. >>> (E) @LINE: 786 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandRetryCount:0 >>> >>> Expected a field name from the record type CCAST_9_17 >>> >>> Read: commandRetryCount TEST.END_IMPORT_FAILURES: 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].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].isCmdRespRdy:0 TEST.END -- Test Case: handleBloodLeakCheckSetPointState.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCheckSetPointState TEST.NEW TEST.NAME:handleBloodLeakCheckSetPointState.004 TEST.IMPORT_FAILURES: (I) @LINE: 902 >>> 'D_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) >>> (I) @LINE: 895 >>> >>> 'D_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. >>> (E) @LINE: 805 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandRetryCount:2 >>> >>> Expected a field name from the record type CCAST_9_17 >>> >>> Read: commandRetryCount >>> (I) @LINE: 808 >>> >>> 'D_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. >>> (E) @LINE: 811 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandRetryCount:3 >>> >>> Expected a field name from the record type CCAST_9_17 >>> >>> Read: commandRetryCount TEST.END_IMPORT_FAILURES: 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].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].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.handleBloodLeakCheckSetPointState.return:BLOOD_LEAK_CHECK_SET_POINT_STATE TEST.END -- Test Case: handleBloodLeakCheckSetPointState.005 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCheckSetPointState TEST.NEW TEST.NAME:handleBloodLeakCheckSetPointState.005 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].commandRqstCount:4 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].commandRqstCount:4 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: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_INIT_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:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].commandResp:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].isCmdRespRdy:1 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: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.END -- Test Case: handleBloodLeakCheckZeroAndSelfTestState.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCheckZeroAndSelfTestState TEST.NEW TEST.NAME:handleBloodLeakCheckZeroAndSelfTestState.004 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 962 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].commandRetryCount:3 >>> >>> Expected a field name from the record type CCAST_9_17 >>> >>> Read: commandRetryCount >>> (E) @LINE: 979 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].commandRetryCount:3 >>> >>> Expected a field name from the record type CCAST_9_17 >>> >>> Read: commandRetryCount TEST.END_IMPORT_FAILURES: 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.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].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.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_INIT_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 -- Test Case: handleBloodLeakCheckZeroAndSelfTestState.007 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakCheckZeroAndSelfTestState TEST.NEW TEST.NAME:handleBloodLeakCheckZeroAndSelfTestState.007 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:80 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandResp:80 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].commandResp:80 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].commandResp:80 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].commandResp:80 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].commandResp:80 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].commandResp:80 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].commandResp:80 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].commandResp:80 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandResp:80 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].commandResp:80 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:80 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandResp:80 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].commandResp:80 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].commandResp:80 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].commandResp:80 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].commandResp:80 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].commandResp:80 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].commandResp:80 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].commandResp:80 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].commandResp:80 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].commandResp:80 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:1 TEST.EXPECTED:BloodLeak.handleBloodLeakCheckZeroAndSelfTestState.return:BLOOD_LEAK_NORMAL_STATE 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[0]: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.<>.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 -- Test Case: handleBloodLeakEmbModeWaitForCommandResponseState.008 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeWaitForCommandResponseState TEST.NEW TEST.NAME:handleBloodLeakEmbModeWaitForCommandResponseState.008 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:<> 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.009 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakEmbModeWaitForCommandResponseState TEST.NEW TEST.NAME:handleBloodLeakEmbModeWaitForCommandResponseState.009 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:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].length:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].length:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].length:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].length:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].length:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].length:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].length:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].length:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].length:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].length:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeRespIndex:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasRxRqstBeenSent:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRqstedCmd:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].length:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[SP_EMB_MODE_CMD].length:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[T_EMB_MODE_CMD].length:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].length:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[I_EMB_MODE_CMD].length:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[V_EMB_MODE_CMD].length:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Z_EMB_MODE_CMD].length:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[Q_EMB_MODE_CMD].length:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[D_EMB_MODE_CMD].length:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[C_EMB_MODE_CMD].length:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeHasRxRqstBeenSent:0 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.<>.bloodLeakPersistenceCtr:1000 TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_RECOVER_BLOOD_DETECT_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 -- Test Case: handleBloodLeakNormalState.009 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakNormalState TEST.NEW TEST.NAME:handleBloodLeakNormalState.009 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == noFPGABloodLeakDetected()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakPersistenceCtr:1 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN TEST.EXPECTED:BloodLeak.<>.bloodLeakPersistenceCtr:0 TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.EXPECTED:uut_prototype_stubs.getSwitchStatus.switchId:PUMP_TRACK_SWITCH TEST.END -- Test Case: handleBloodLeakNormalState.010 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakNormalState TEST.NEW TEST.NAME:handleBloodLeakNormalState.010 TEST.BASIS_PATH:1 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((STATE_OPEN) == getSwitchStatus(PUMP_TRACK_SWITCH)) ==> FALSE (8) case getCurrentOperationMode() ==> default (9) if ((1) == bloodLeakExitNormalRequested) ==> FALSE (10) if ((1) == bloodLeakEmbModeHasZeroBeenRqustd) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.getFPGABloodDetectProcessedStatus TEST.VALUE:BloodLeak.<>.bloodLeakExitNormalRequested:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:<> TEST.VALUE:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.VALUE:BloodLeak.getFPGABloodDetectProcessedStatus.return:BLOOD_LEAK_DETECTED TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.END -- Test Case: handleBloodLeakNormalState.011 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakNormalState TEST.NEW TEST.NAME:handleBloodLeakNormalState.011 TEST.BASIS_PATH:3 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((STATE_OPEN) == getSwitchStatus(PUMP_TRACK_SWITCH)) ==> FALSE (8) case getCurrentOperationMode() ==> default (9) if ((1) == bloodLeakExitNormalRequested) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.getFPGABloodDetectProcessedStatus TEST.VALUE:BloodLeak.<>.bloodLeakExitNormalRequested:1 TEST.VALUE:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_INIT_STATE TEST.VALUE:BloodLeak.getFPGABloodDetectProcessedStatus.return:BLOOD_LEAK_DETECTED TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:BloodLeak.<>.bloodLeakExitNormalRequested:0 TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_INIT_STATE TEST.END -- Test Case: handleBloodLeakNormalState.012 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakNormalState TEST.NEW TEST.NAME:handleBloodLeakNormalState.012 TEST.BASIS_PATH:4 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((STATE_OPEN) == getSwitchStatus(PUMP_TRACK_SWITCH)) ==> FALSE (2) case getCurrentOperationMode() ==> MODE_TREA (4) if ((0) == isDialysateLineInBypass()) ==> FALSE (9) if ((1) == bloodLeakExitNormalRequested) ==> FALSE (10) if ((1) == bloodLeakEmbModeHasZeroBeenRqustd) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.getFPGABloodDetectProcessedStatus TEST.STUB:BloodLeak.isDialysateLineInBypass TEST.VALUE:BloodLeak.<>.bloodLeakExitNormalRequested:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:<> TEST.VALUE:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.VALUE:BloodLeak.getFPGABloodDetectProcessedStatus.return:BLOOD_LEAK_DETECTED TEST.VALUE:BloodLeak.isDialysateLineInBypass.return:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:BloodLeak.<>.bloodLeakExitNormalRequested:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:<> TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.END -- Test Case: handleBloodLeakNormalState.013 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakNormalState TEST.NEW TEST.NAME:handleBloodLeakNormalState.013 TEST.BASIS_PATH:5 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((STATE_OPEN) == getSwitchStatus(PUMP_TRACK_SWITCH)) ==> FALSE (2) case getCurrentOperationMode() ==> MODE_TREA (4) if ((0) == isDialysateLineInBypass()) ==> TRUE (5) if ((BLOOD_LEAK_DETECTED) == getBloodLeakStatus()) ==> FALSE (7) if (bloodLeakPersistenceCtr > (0)) ==> FALSE (9) if ((1) == bloodLeakExitNormalRequested) ==> FALSE (10) if ((1) == bloodLeakEmbModeHasZeroBeenRqustd) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.getBloodLeakStatus TEST.STUB:BloodLeak.getFPGABloodDetectProcessedStatus TEST.STUB:BloodLeak.isDialysateLineInBypass TEST.VALUE:BloodLeak.<>.bloodLeakPersistenceCtr:<> TEST.VALUE:BloodLeak.<>.bloodLeakExitNormalRequested:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:<> TEST.VALUE:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.VALUE:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_NOT_DETECTED TEST.VALUE:BloodLeak.getFPGABloodDetectProcessedStatus.return:BLOOD_LEAK_DETECTED TEST.VALUE:BloodLeak.isDialysateLineInBypass.return:0 TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_BLOOD_LEAK_DETECTED TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:BloodLeak.<>.bloodLeakPersistenceCtr:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakExitNormalRequested:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:0 TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.EXPECTED:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_BLOOD_LEAK_DETECTED,ALARM_ID_HD_BLOOD_LEAK_RECOVERING_PLEASE_WAIT TEST.END -- Test Case: handleBloodLeakNormalState.014 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakNormalState TEST.NEW TEST.NAME:handleBloodLeakNormalState.014 TEST.BASIS_PATH:6 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((STATE_OPEN) == getSwitchStatus(PUMP_TRACK_SWITCH)) ==> FALSE (2) case getCurrentOperationMode() ==> MODE_TREA (4) if ((0) == isDialysateLineInBypass()) ==> TRUE (5) if ((BLOOD_LEAK_DETECTED) == getBloodLeakStatus()) ==> FALSE (7) if (bloodLeakPersistenceCtr > (0)) ==> TRUE (9) if ((1) == bloodLeakExitNormalRequested) ==> FALSE (10) if ((1) == bloodLeakEmbModeHasZeroBeenRqustd) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.getBloodLeakStatus TEST.STUB:BloodLeak.getFPGABloodDetectProcessedStatus TEST.STUB:BloodLeak.isDialysateLineInBypass TEST.VALUE:BloodLeak.<>.bloodLeakPersistenceCtr:<> TEST.VALUE:BloodLeak.<>.bloodLeakExitNormalRequested:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:<> TEST.VALUE:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.VALUE:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_NOT_DETECTED TEST.VALUE:BloodLeak.getFPGABloodDetectProcessedStatus.return:BLOOD_LEAK_DETECTED TEST.VALUE:BloodLeak.isDialysateLineInBypass.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:BloodLeak.<>.bloodLeakPersistenceCtr:4294967294 TEST.EXPECTED:BloodLeak.<>.bloodLeakExitNormalRequested:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:0 TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.END -- Test Case: handleBloodLeakNormalState.015 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakNormalState TEST.NEW TEST.NAME:handleBloodLeakNormalState.015 TEST.BASIS_PATH:7 of 10 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if ((STATE_OPEN) == getSwitchStatus(PUMP_TRACK_SWITCH)) ==> FALSE (2) case getCurrentOperationMode() ==> MODE_TREA (4) if ((0) == isDialysateLineInBypass()) ==> TRUE (5) if ((BLOOD_LEAK_DETECTED) == getBloodLeakStatus()) ==> TRUE (6) if (++bloodLeakPersistenceCtr > (10 * 1000) / 10) ==> FALSE (9) if ((1) == bloodLeakExitNormalRequested) ==> FALSE (10) if ((1) == bloodLeakEmbModeHasZeroBeenRqustd) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 6 TEST.END_NOTES: TEST.STUB:BloodLeak.getBloodLeakStatus TEST.STUB:BloodLeak.getFPGABloodDetectProcessedStatus TEST.STUB:BloodLeak.isDialysateLineInBypass TEST.VALUE:BloodLeak.<>.bloodLeakExitNormalRequested:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:<> TEST.VALUE:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.VALUE:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_DETECTED TEST.VALUE:BloodLeak.getFPGABloodDetectProcessedStatus.return:BLOOD_LEAK_DETECTED TEST.VALUE:BloodLeak.isDialysateLineInBypass.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.END -- Test Case: handleBloodLeakNormalState.016 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakNormalState TEST.NEW TEST.NAME:handleBloodLeakNormalState.016 TEST.BASIS_PATH:8 of 10 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if ((STATE_OPEN) == getSwitchStatus(PUMP_TRACK_SWITCH)) ==> FALSE (2) case getCurrentOperationMode() ==> MODE_TREA (4) if ((0) == isDialysateLineInBypass()) ==> TRUE (5) if ((BLOOD_LEAK_DETECTED) == getBloodLeakStatus()) ==> TRUE (6) if (++bloodLeakPersistenceCtr > (10 * 1000) / 10) ==> TRUE (9) if ((1) == bloodLeakExitNormalRequested) ==> FALSE (10) if ((1) == bloodLeakEmbModeHasZeroBeenRqustd) ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 6 TEST.END_NOTES: TEST.STUB:BloodLeak.getBloodLeakStatus TEST.STUB:BloodLeak.isDialysateLineInBypass TEST.VALUE:BloodLeak.<>.bloodLeakExitNormalRequested:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:<> TEST.VALUE:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.VALUE:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_DETECTED TEST.VALUE:BloodLeak.isDialysateLineInBypass.return:0 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.END -- Test Case: handleBloodLeakNormalState.017 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakNormalState TEST.NEW TEST.NAME:handleBloodLeakNormalState.017 TEST.BASIS_PATH:9 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) if ((STATE_OPEN) == getSwitchStatus(PUMP_TRACK_SWITCH)) ==> FALSE (3) case getCurrentOperationMode() ==> MODE_SERV (4) if ((0) == isDialysateLineInBypass()) ==> FALSE (9) if ((1) == bloodLeakExitNormalRequested) ==> FALSE (10) if ((1) == bloodLeakEmbModeHasZeroBeenRqustd) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.getFPGABloodDetectProcessedStatus TEST.STUB:BloodLeak.isDialysateLineInBypass TEST.VALUE:BloodLeak.<>.bloodLeakExitNormalRequested:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:<> TEST.VALUE:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.VALUE:BloodLeak.getFPGABloodDetectProcessedStatus.return:BLOOD_LEAK_DETECTED TEST.VALUE:BloodLeak.isDialysateLineInBypass.return:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_SERV TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.END -- Test Case: handleBloodLeakNormalState.018 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakNormalState TEST.NEW TEST.NAME:handleBloodLeakNormalState.018 TEST.BASIS_PATH:10 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 10 (1) if ((STATE_OPEN) == getSwitchStatus(PUMP_TRACK_SWITCH)) ==> TRUE (8) case getCurrentOperationMode() ==> default (9) if ((1) == bloodLeakExitNormalRequested) ==> FALSE (10) if ((1) == bloodLeakEmbModeHasZeroBeenRqustd) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.getFPGABloodDetectProcessedStatus TEST.VALUE:BloodLeak.<>.bloodLeakPersistenceCtr:1 TEST.VALUE:BloodLeak.<>.bloodLeakExitNormalRequested:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:<> TEST.VALUE:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.VALUE:BloodLeak.getFPGABloodDetectProcessedStatus.return:BLOOD_LEAK_DETECTED TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN TEST.EXPECTED:BloodLeak.<>.bloodLeakPersistenceCtr:0 TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE TEST.END -- Test Case: handleBloodLeakNormalState.019 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakNormalState TEST.NEW TEST.NAME:handleBloodLeakNormalState.019 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.getTestConfigStatus.config:TEST_CONFIG_DISABLE_BLOOD_LEAK_ALARM TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.EXPECTED:BloodLeak.<>.bloodLeakPersistenceCtr:1000 TEST.END -- Subprogram: handleBloodLeakRecoverBloodDetectState -- Test Case: handleBloodLeakRecoverBloodDetectState.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakRecoverBloodDetectState TEST.NEW TEST.NAME:handleBloodLeakRecoverBloodDetectState.001 TEST.BASIS_PATH:1 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((BLOOD_LEAK_NOT_DETECTED) == getBloodLeakStatus()) ==> FALSE (3) if (isAlarmActive(ALARM_ID_HD_BLOOD_LEAK_RECOVERING_PLEASE_WAIT) != (1)) ==> FALSE (4) if ((1) == bloodLeakEmbModeHasZeroBeenRqustd) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.getBloodLeakStatus TEST.VALUE:BloodLeak.<>.bloodLeakRecoveryStartTimeMS:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:0 TEST.VALUE:BloodLeak.handleBloodLeakRecoverBloodDetectState.return:BLOOD_LEAK_RECOVER_BLOOD_DETECT_STATE TEST.VALUE:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_DETECTED TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakRecoveryStartTimeMS:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:0 TEST.EXPECTED:BloodLeak.handleBloodLeakRecoverBloodDetectState.return:BLOOD_LEAK_RECOVER_BLOOD_DETECT_STATE TEST.END -- Test Case: handleBloodLeakRecoverBloodDetectState.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakRecoverBloodDetectState TEST.NEW TEST.NAME:handleBloodLeakRecoverBloodDetectState.002 TEST.BASIS_PATH:2 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((BLOOD_LEAK_NOT_DETECTED) == getBloodLeakStatus()) ==> FALSE (3) if (isAlarmActive(ALARM_ID_HD_BLOOD_LEAK_RECOVERING_PLEASE_WAIT) != (1)) ==> FALSE (4) if ((1) == bloodLeakEmbModeHasZeroBeenRqustd) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.getBloodLeakStatus TEST.VALUE:BloodLeak.<>.bloodLeakRecoveryStartTimeMS:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:1 TEST.VALUE:BloodLeak.handleBloodLeakRecoverBloodDetectState.return:BLOOD_LEAK_CHECK_ZERO_AND_SELF_TEST_STATE TEST.VALUE:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_DETECTED TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakRecoveryStartTimeMS:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:0 TEST.EXPECTED:BloodLeak.handleBloodLeakRecoverBloodDetectState.return:BLOOD_LEAK_CHECK_ZERO_AND_SELF_TEST_STATE TEST.END -- Test Case: handleBloodLeakRecoverBloodDetectState.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakRecoverBloodDetectState TEST.NEW TEST.NAME:handleBloodLeakRecoverBloodDetectState.003 TEST.BASIS_PATH:3 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((BLOOD_LEAK_NOT_DETECTED) == getBloodLeakStatus()) ==> FALSE (3) if (isAlarmActive(ALARM_ID_HD_BLOOD_LEAK_RECOVERING_PLEASE_WAIT) != (1)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.getBloodLeakStatus TEST.STUB:BloodLeak.getFPGABloodDetectProcessedStatus TEST.VALUE:BloodLeak.<>.bloodLeakStatus.data:0 TEST.VALUE:BloodLeak.<>.bloodLeakPersistenceCtr:1 TEST.VALUE:BloodLeak.handleBloodLeakRecoverBloodDetectState.return:BLOOD_LEAK_RECOVER_BLOOD_DETECT_STATE TEST.VALUE:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_DETECTED TEST.VALUE:BloodLeak.getFPGABloodDetectProcessedStatus.return:NUM_OF_BLOOD_LEAK_STATUS TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakStatus.data:2 TEST.EXPECTED:BloodLeak.<>.bloodLeakPersistenceCtr:0 TEST.EXPECTED:BloodLeak.handleBloodLeakRecoverBloodDetectState.return:BLOOD_LEAK_NORMAL_STATE TEST.END -- Test Case: handleBloodLeakRecoverBloodDetectState.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakRecoverBloodDetectState TEST.NEW TEST.NAME:handleBloodLeakRecoverBloodDetectState.004 TEST.BASIS_PATH:4 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((BLOOD_LEAK_NOT_DETECTED) == getBloodLeakStatus()) ==> TRUE (2) if ((1) == didTimeout(bloodLeakRecoveryStartTimeMS, 2 * 1000)) ==> FALSE (3) if (isAlarmActive(ALARM_ID_HD_BLOOD_LEAK_RECOVERING_PLEASE_WAIT) != (1)) ==> FALSE (4) if ((1) == bloodLeakEmbModeHasZeroBeenRqustd) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.getBloodLeakStatus TEST.STUB:BloodLeak.getFPGABloodDetectProcessedStatus TEST.VALUE:BloodLeak.<>.bloodLeakStatus.data:0 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:<> TEST.VALUE:BloodLeak.handleBloodLeakRecoverBloodDetectState.return:BLOOD_LEAK_RECOVER_BLOOD_DETECT_STATE TEST.VALUE:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_NOT_DETECTED TEST.VALUE:BloodLeak.getFPGABloodDetectProcessedStatus.return:BLOOD_LEAK_NOT_DETECTED TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakStatus.data:1 TEST.EXPECTED:BloodLeak.handleBloodLeakRecoverBloodDetectState.return:BLOOD_LEAK_RECOVER_BLOOD_DETECT_STATE TEST.END -- Test Case: handleBloodLeakRecoverBloodDetectState.005 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakRecoverBloodDetectState TEST.NEW TEST.NAME:handleBloodLeakRecoverBloodDetectState.005 TEST.BASIS_PATH:5 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((BLOOD_LEAK_NOT_DETECTED) == getBloodLeakStatus()) ==> TRUE (2) if ((1) == didTimeout(bloodLeakRecoveryStartTimeMS, 2 * 1000)) ==> TRUE (3) if (isAlarmActive(ALARM_ID_HD_BLOOD_LEAK_RECOVERING_PLEASE_WAIT) != (1)) ==> FALSE (4) if ((1) == bloodLeakEmbModeHasZeroBeenRqustd) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:BloodLeak.getBloodLeakStatus TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeHasZeroBeenRqustd:<> TEST.VALUE:BloodLeak.handleBloodLeakRecoverBloodDetectState.return:BLOOD_LEAK_RECOVER_BLOOD_DETECT_STATE TEST.VALUE:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_NOT_DETECTED TEST.VALUE:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_BLOOD_LEAK_RECOVERING_PLEASE_WAIT TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:BloodLeak.handleBloodLeakRecoverBloodDetectState.return:BLOOD_LEAK_RECOVER_BLOOD_DETECT_STATE TEST.EXPECTED:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_BLOOD_LEAK_RECOVERING_PLEASE_WAIT 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.IMPORT_FAILURES: (I) @LINE: 3072 >>> 'CS_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. (I) @LINE: 3072 >>> 'D_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) >>> (I) @LINE: 3035 >>> >>> 'CS_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 3035 >>> >>> 'D_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. >>> (E) @LINE: 2490 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandRetryCount:1 >>> >>> Expected a field name from the record type CCAST_9_17 >>> >>> Read: commandRetryCount >>> (I) @LINE: 2493 >>> >>> 'CS_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 2493 >>> >>> 'D_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. >>> (E) @LINE: 2496 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandRetryCount:2 >>> >>> Expected a field name from the record type CCAST_9_17 >>> >>> Read: commandRetryCount TEST.END_IMPORT_FAILURES: 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].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].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.IMPORT_FAILURES: (I) @LINE: 3137 >>> 'CS_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. (I) @LINE: 3137 >>> 'D_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) >>> (I) @LINE: 3095 >>> >>> 'CS_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 3095 >>> >>> 'D_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. >>> (E) @LINE: 2540 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandRetryCount:1 >>> >>> Expected a field name from the record type CCAST_9_17 >>> >>> Read: commandRetryCount >>> (I) @LINE: 2543 >>> >>> 'CS_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 2543 >>> >>> 'D_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. >>> (E) @LINE: 2546 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandRetryCount:1 >>> >>> Expected a field name from the record type CCAST_9_17 >>> >>> Read: commandRetryCount TEST.END_IMPORT_FAILURES: 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].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:71 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.IMPORT_FAILURES: (I) @LINE: 3180 >>> 'CS_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. (I) @LINE: 3180 >>> 'D_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) >>> (I) @LINE: 3133 >>> >>> 'CS_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 3133 >>> >>> 'D_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. >>> (E) @LINE: 2568 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandRetryCount:4 >>> >>> Expected a field name from the record type CCAST_9_17 >>> >>> Read: commandRetryCount >>> (I) @LINE: 2571 >>> >>> 'CS_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 2571 >>> >>> 'D_EMB_MODE_CMD' was specified as a macro, but it is in the symbol dictionary. >>> (E) @LINE: 2574 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandRetryCount:5 >>> >>> Expected a field name from the record type CCAST_9_17 >>> >>> Read: commandRetryCount TEST.END_IMPORT_FAILURES: 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].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].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.handleBloodLeakWaitForPostState.return:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.END -- Test Case: handleBloodLeakWaitForPostState.008 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakWaitForPostState TEST.NEW TEST.NAME:handleBloodLeakWaitForPostState.008 TEST.BASIS_PATH:2 of 5 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((80) == cmdResp) ==> FALSE (2) if ((1) == (bloodLeakEmbModeCmd[CS_EMB_MODE_CMD]).isCmdRespRdy && (70) == cmdResp) ==> FALSE (4) if (getCurrentOperationMode() != (MODE_INIT) && (1) == isEmbModeReady) ==> TRUE Test Case Generation Notes: Cannot set local variable isEmbModeReady in branch 4 TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0]:" CS_EMB_MODE_CMD" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[1]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[1]:" CS_EMB_MODE_CMD" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[2]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[2]:" CS_EMB_MODE_CMD" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[3]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[3]:" CS_EMB_MODE_CMD" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[4]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[4]:" CS_EMB_MODE_CMD" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[5]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[5]:" CS_EMB_MODE_CMD" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandResp:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:<> TEST.VALUE:BloodLeak.handleBloodLeakWaitForPostState.return:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0]:" " TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[1]:" " TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[2]:" " TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[3]:" " TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[4]:" " TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[5]:" " 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.009 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:handleBloodLeakWaitForPostState TEST.NEW TEST.NAME:handleBloodLeakWaitForPostState.009 TEST.BASIS_PATH:3 of 5 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((80) == cmdResp) ==> FALSE (2) if ((1) == (bloodLeakEmbModeCmd[CS_EMB_MODE_CMD]).isCmdRespRdy && (70) == cmdResp) ==> TRUE (3) if ((bloodLeakEmbModeCmd[CS_EMB_MODE_CMD]).commandRqstCount < 3) ==> 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.<>.bloodLeakEmbModeCmdSeq[0]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0]:" CS_EMB_MODE_CMD" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[1]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[1]:" CS_EMB_MODE_CMD" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[2]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[2]:" CS_EMB_MODE_CMD" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[3]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[3]:" CS_EMB_MODE_CMD" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[4]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[4]:" CS_EMB_MODE_CMD" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[5]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[5]:" CS_EMB_MODE_CMD" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandResp:70 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandRqstCount:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:1 TEST.VALUE:BloodLeak.handleBloodLeakWaitForPostState.return:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0]:" " TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[1]:" " TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[2]:" " TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[3]:" " TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[4]:" " TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[5]:" " TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandResp:70 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].commandRqstCount:255 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[CS_EMB_MODE_CMD].isCmdRespRdy:1 TEST.EXPECTED:BloodLeak.handleBloodLeakWaitForPostState.return:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.END -- Subprogram: hasBloodLeakZeroSequenceFailed -- Test Case: hasBloodLeakZeroSequenceFailed.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:hasBloodLeakZeroSequenceFailed TEST.NEW TEST.NAME:hasBloodLeakZeroSequenceFailed.001 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((bloodLeakEmbModeCmd[G_EMB_MODE_CMD]).commandRqstCount > 3) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0]:"0" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[1]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[1]:"0" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[2]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[2]:"0" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[3]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[3]:"0" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[4]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[4]:"0" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[5]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[5]:"0" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].commandRqstCount:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0]:"0" TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[1]:"0" TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[2]:"0" TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[3]:"0" TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[4]:"0" TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[5]:"0" TEST.END -- Test Case: hasBloodLeakZeroSequenceFailed.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:hasBloodLeakZeroSequenceFailed TEST.NEW TEST.NAME:hasBloodLeakZeroSequenceFailed.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((bloodLeakEmbModeCmd[G_EMB_MODE_CMD]).commandRqstCount > 3) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0]:"0" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[1]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[1]:"0" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[2]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[2]:"0" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[3]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[3]:"0" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[4]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[4]:"0" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[5]:<> TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmdSeq[5]:"0" TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].commandRqstCount:<> TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[0]:"0" TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[1]:"0" TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[2]:"0" TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[3]:"0" TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[4]:"0" TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmdSeq[5]:"0" TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[G_EMB_MODE_CMD].commandRqstCount:255 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: isDialysateLineInBypass -- Test Case: isDialysateLineInBypass.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:isDialysateLineInBypass TEST.NEW TEST.NAME:isDialysateLineInBypass.001 TEST.BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((VALVE_POSITION_C_CLOSE) == getValvePosition(VDI)) ==> FALSE (2) if ((VALVE_POSITION_C_CLOSE) == getValvePosition(VDO)) ==> FALSE (3) if (getMeasuredDialInPumpSpeed() <= (9.999999939e-09F)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.isDialysateLineInBypass.return:0 TEST.VALUE:uut_prototype_stubs.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:uut_prototype_stubs.getValvePosition.return:VALVE_POSITION_NOT_IN_POSITION TEST.EXPECTED:BloodLeak.isDialysateLineInBypass.return:0 TEST.END -- Test Case: isDialysateLineInBypass.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:isDialysateLineInBypass TEST.NEW TEST.NAME:isDialysateLineInBypass.002 TEST.BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((VALVE_POSITION_C_CLOSE) == getValvePosition(VDI)) ==> FALSE (2) if ((VALVE_POSITION_C_CLOSE) == getValvePosition(VDO)) ==> FALSE (3) if (getMeasuredDialInPumpSpeed() <= (9.999999939e-09F)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:BloodLeak.isDialysateLineInBypass.return:0 TEST.VALUE:uut_prototype_stubs.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:uut_prototype_stubs.getValvePosition.return:VALVE_POSITION_NOT_IN_POSITION TEST.EXPECTED:BloodLeak.isDialysateLineInBypass.return:0 TEST.END -- Test Case: isDialysateLineInBypass.003 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:isDialysateLineInBypass TEST.NEW TEST.NAME:isDialysateLineInBypass.003 TEST.BASIS_PATH:3 of 4 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((VALVE_POSITION_C_CLOSE) == getValvePosition(VDI)) ==> FALSE (2) if ((VALVE_POSITION_C_CLOSE) == getValvePosition(VDO)) ==> TRUE (3) if (getMeasuredDialInPumpSpeed() <= (9.999999939e-09F)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getValvePosition.return 'equal to' and 'not equal to' same value in branches 1/2 TEST.END_NOTES: TEST.VALUE:BloodLeak.isDialysateLineInBypass.return:1 TEST.VALUE:uut_prototype_stubs.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:uut_prototype_stubs.getValvePosition.return:VALVE_POSITION_NOT_IN_POSITION TEST.EXPECTED:BloodLeak.isDialysateLineInBypass.return:0 TEST.END -- Test Case: isDialysateLineInBypass.004 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:isDialysateLineInBypass TEST.NEW TEST.NAME:isDialysateLineInBypass.004 TEST.BASIS_PATH:4 of 4 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((VALVE_POSITION_C_CLOSE) == getValvePosition(VDI)) ==> TRUE (2) if ((VALVE_POSITION_C_CLOSE) == getValvePosition(VDO)) ==> FALSE (3) if (getMeasuredDialInPumpSpeed() <= (9.999999939e-09F)) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getValvePosition.return 'equal to' and 'not equal to' same value in branches 1/2 TEST.END_NOTES: TEST.VALUE:BloodLeak.isDialysateLineInBypass.return:1 TEST.VALUE:uut_prototype_stubs.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:uut_prototype_stubs.getValvePosition.return:VALVE_POSITION_C_CLOSE TEST.EXPECTED:BloodLeak.isDialysateLineInBypass.return:0 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:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:0 TEST.EXPECTED:BloodLeak.processReceivedEmbModeChar.data:(2)0 TEST.END -- Test Case: processReceivedEmbModeChar.014 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:processReceivedEmbModeChar TEST.NEW TEST.NAME:processReceivedEmbModeChar.014 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:2 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 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.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar1:2 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].expChar2:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeCmd[NU_EMB_MODE_CMD].length:10 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeRespIndex:1 TEST.EXPECTED:BloodLeak.processReceivedEmbModeChar.data:1 TEST.END -- Test Case: processReceivedEmbModeChar.015 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:processReceivedEmbModeChar TEST.NEW TEST.NAME:processReceivedEmbModeChar.015 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: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 -- Subprogram: publishBloodLeakData -- Test Case: publishBloodLeakData.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:publishBloodLeakData TEST.NEW TEST.NAME:publishBloodLeakData.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (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:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.VALUE:BloodLeak.<>.bloodLeakDataPublicationCounter:1 TEST.VALUE:BloodLeak.<>.bloodLeakEmbModeSubstate:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMAND_STATE TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_BLOOD_LEAK_DATA TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.VALUE:uut_prototype_stubs.broadcastData.dataPtr:"0" TEST.VALUE:uut_prototype_stubs.broadcastData.length:0 TEST.VALUE:uut_prototype_stubs.broadcastData.return:1 TEST.EXPECTED:BloodLeak.<>.bloodLeakState:BLOOD_LEAK_WAIT_FOR_POST_STATE TEST.EXPECTED:BloodLeak.<>.bloodLeakDataPublicationCounter:0 TEST.EXPECTED:BloodLeak.<>.bloodLeakEmbModeSubstate:BLOOD_LEAK_EMB_MODE_WAIT_FOR_COMAND_STATE TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_BLOOD_LEAK_DATA TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.EXPECTED:uut_prototype_stubs.broadcastData.dataPtr:"" TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:16 TEST.END -- Test Case: publishBloodLeakData.002 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:publishBloodLeakData TEST.NEW TEST.NAME:publishBloodLeakData.002 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (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: resetEmbModeCmdRqstCount -- Test Case: resetEmbModeCmdRqstCount.001 TEST.UNIT:BloodLeak TEST.SUBPROGRAM:resetEmbModeCmdRqstCount TEST.NEW TEST.NAME:resetEmbModeCmdRqstCount.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.VALUE:BloodLeak.resetEmbModeCmdRqstCount.cmd:<> TEST.EXPECTED:BloodLeak.resetEmbModeCmdRqstCount.cmd:<> 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