Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_COMMBUFFERS/INT_COMMBUFFERS.tst =================================================================== diff -u -rbee4a17cf2dedb3a18483e2c05846785ed1b3da7 -rb49678e8452e8e814ba0a5aada061368eff042bb --- vectorcast/Hercules_RM46_HD_Project/environment/INT_COMMBUFFERS/INT_COMMBUFFERS.tst (.../INT_COMMBUFFERS.tst) (revision bee4a17cf2dedb3a18483e2c05846785ed1b3da7) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_COMMBUFFERS/INT_COMMBUFFERS.tst (.../INT_COMMBUFFERS.tst) (revision b49678e8452e8e814ba0a5aada061368eff042bb) @@ -15,184 +15,8 @@ -- Unit: SystemComm --- Subprogram: checkPendingACKList - --- Test Case: checkPendingACKList.001 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:checkPendingACKList -TEST.NEW -TEST.NAME:checkPendingACKList.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 4 (template) -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) for (i < (25)) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 -TEST.END_NOTES: -TEST.END - --- Test Case: checkPendingACKList.002 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:checkPendingACKList -TEST.NEW -TEST.NAME:checkPendingACKList.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 4 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) for (i < (25)) ==> TRUE - (2) if ((1) == (pendingAckList[i]).used && (1) == didTimeout((pendingAckList[i]).timeStamp, 150)) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 - Cannot set i due to assignment -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> -TEST.VALUE:SystemComm.<>.pendingAckList[0].used:<> -TEST.EXPECTED:SystemComm.<>.pendingAckList[0].used:0 -TEST.END - --- Test Case: checkPendingACKList.003 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:checkPendingACKList -TEST.NEW -TEST.NAME:checkPendingACKList.003 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:3 of 4 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) for (i < (25)) ==> TRUE - (2) if ((1) == (pendingAckList[i]).used && (1) == didTimeout((pendingAckList[i]).timeStamp, 150)) ==> TRUE - (3) if ((pendingAckList[i]).retries > 0) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 - Cannot set i due to assignment -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 -TEST.VALUE:SystemComm.<>.pendingAckList[0].used:1 -TEST.VALUE:SystemComm.<>.pendingAckList[0].retries:<> -TEST.EXPECTED:SystemComm.<>.pendingAckList[0].used:0 -TEST.EXPECTED:SystemComm.<>.pendingAckList[0].retries:0 -TEST.END - --- Test Case: checkPendingACKList.004 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:checkPendingACKList -TEST.NEW -TEST.NAME:checkPendingACKList.004 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:4 of 4 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) for (i < (25)) ==> TRUE - (2) if ((1) == (pendingAckList[i]).used && (1) == didTimeout((pendingAckList[i]).timeStamp, 150)) ==> TRUE - (3) if ((pendingAckList[i]).retries > 0) ==> TRUE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 - Cannot set i due to assignment -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 -TEST.VALUE:SystemComm.<>.pendingAckList[0].used:1 -TEST.VALUE:SystemComm.<>.pendingAckList[0].retries:<> -TEST.EXPECTED:SystemComm.<>.pendingAckList[0].used:1 -TEST.EXPECTED:SystemComm.<>.pendingAckList[0].retries:65534 -TEST.END - --- Subprogram: clearCANXmitBuffers - --- Test Case: clearCANXmitBuffers.001 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:clearCANXmitBuffers -TEST.NEW -TEST.NAME:clearCANXmitBuffers.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 2 (template) -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) for (i < (5)) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 -TEST.END_NOTES: -TEST.END - --- Test Case: clearCANXmitBuffers.002 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:clearCANXmitBuffers -TEST.NEW -TEST.NAME:clearCANXmitBuffers.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 2 (template) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) for (i < (5)) ==> TRUE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 -TEST.END_NOTES: -TEST.END - -- Subprogram: consumeBufferPaddingBeforeSync --- Test Case: consumeBufferPaddingBeforeSync.001 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:consumeBufferPaddingBeforeSync -TEST.NEW -TEST.NAME:consumeBufferPaddingBeforeSync.001 -TEST.BASIS_PATH:1 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) while (numOfBytesInBuffer > (0)) ==> FALSE - Test Case Generation Notes: - Cannot set local variable numOfBytesInBuffer in branch 1 -TEST.END_NOTES: -TEST.VALUE:SystemComm.consumeBufferPaddingBeforeSync.buffer:<> -TEST.EXPECTED:SystemComm.consumeBufferPaddingBeforeSync.buffer:COMM_BUFFER_NOT_USED -TEST.END - --- Test Case: consumeBufferPaddingBeforeSync.002 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:consumeBufferPaddingBeforeSync -TEST.NEW -TEST.NAME:consumeBufferPaddingBeforeSync.002 -TEST.BASIS_PATH:2 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) while (numOfBytesInBuffer > (0)) ==> TRUE - (2) if (0xa5 == data) ==> TRUE - Test Case Generation Notes: - Cannot set local variable numOfBytesInBuffer in branch 1 - Cannot set local variable data in branch 2 -TEST.END_NOTES: -TEST.VALUE:SystemComm.consumeBufferPaddingBeforeSync.buffer:<> -TEST.EXPECTED:SystemComm.consumeBufferPaddingBeforeSync.buffer:COMM_BUFFER_NOT_USED -TEST.END - --- Test Case: consumeBufferPaddingBeforeSync.003 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:consumeBufferPaddingBeforeSync -TEST.NEW -TEST.NAME:consumeBufferPaddingBeforeSync.003 -TEST.BASIS_PATH:3 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) while (numOfBytesInBuffer > (0)) ==> TRUE - (2) if (0xa5 == data) ==> FALSE - Test Case Generation Notes: - Cannot set local variable numOfBytesInBuffer in branch 1 - Cannot set local variable data in branch 2 -TEST.END_NOTES: -TEST.VALUE:SystemComm.consumeBufferPaddingBeforeSync.buffer:<> -TEST.EXPECTED:SystemComm.consumeBufferPaddingBeforeSync.buffer:COMM_BUFFER_NOT_USED -TEST.END - -- Test Case: peekAndgetFromAndNumberOfBytesInCommBuffer TEST.UNIT:SystemComm TEST.SUBPROGRAM:consumeBufferPaddingBeforeSync @@ -232,535 +56,6 @@ TEST.EXPECTED:SystemComm.consumeBufferPaddingBeforeSync.buffer:COMM_BUFFER_IN_CAN_UI_2_HD TEST.END --- Subprogram: findNextHighestPriorityCANPacketToTransmit - --- Test Case: findNextHighestPriorityCANPacketToTransmit.001 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:findNextHighestPriorityCANPacketToTransmit -TEST.NEW -TEST.NAME:findNextHighestPriorityCANPacketToTransmit.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 3 (template) -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) for (i < (5)) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 -TEST.END_NOTES: -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: findNextHighestPriorityCANPacketToTransmit.002 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:findNextHighestPriorityCANPacketToTransmit -TEST.NEW -TEST.NAME:findNextHighestPriorityCANPacketToTransmit.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 3 (template) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) for (i < (5)) ==> TRUE - (2) if (numberOfBytesInCommBuffer(CAN_OUT_BUFFERS[i]) >= (8)) ==> TRUE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 - Cannot set return value of function numberOfBytesInCommBuffer in branch 2 -TEST.END_NOTES: -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: findNextHighestPriorityCANPacketToTransmit.003 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:findNextHighestPriorityCANPacketToTransmit -TEST.NEW -TEST.NAME:findNextHighestPriorityCANPacketToTransmit.003 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:3 of 3 (template) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) for (i < (5)) ==> TRUE - (2) if (numberOfBytesInCommBuffer(CAN_OUT_BUFFERS[i]) >= (8)) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 - Cannot set return value of function numberOfBytesInCommBuffer in branch 2 -TEST.END_NOTES: -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Subprogram: handleCANMsgInterrupt - --- Test Case: handleCANMsgInterrupt.001 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:handleCANMsgInterrupt -TEST.NEW -TEST.NAME:handleCANMsgInterrupt.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 6 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if ((1) == isCANBoxForXmit(srcCANBox)) ==> FALSE - (3) if ((1) == isCANBoxForRecv(srcCANBox)) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:SystemComm.isCANBoxForXmit -TEST.STUB:SystemComm.isCANBoxForRecv -TEST.VALUE:SystemComm.handleCANMsgInterrupt.srcCANBox:<> -TEST.VALUE:SystemComm.isCANBoxForXmit.return:<> -TEST.VALUE:SystemComm.isCANBoxForRecv.return:<> -TEST.EXPECTED:SystemComm.handleCANMsgInterrupt.srcCANBox:COMM_BUFFER_NOT_USED -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: handleCANMsgInterrupt.002 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:handleCANMsgInterrupt -TEST.NEW -TEST.NAME:handleCANMsgInterrupt.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 6 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if ((1) == isCANBoxForXmit(srcCANBox)) ==> FALSE - (3) if ((1) == isCANBoxForRecv(srcCANBox)) ==> TRUE - (4) if ((0) != canIsRxMessageArrived((canBASE_t *)0xfff7dc00U, srcCANBox)) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:SystemComm.isCANBoxForXmit -TEST.STUB:SystemComm.isCANBoxForRecv -TEST.VALUE:uut_prototype_stubs.canIsRxMessageArrived.return:0 -TEST.VALUE:SystemComm.handleCANMsgInterrupt.srcCANBox:<> -TEST.VALUE:SystemComm.isCANBoxForXmit.return:<> -TEST.VALUE:SystemComm.isCANBoxForRecv.return:1 -TEST.EXPECTED:SystemComm.handleCANMsgInterrupt.srcCANBox:COMM_BUFFER_NOT_USED -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: handleCANMsgInterrupt.003 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:handleCANMsgInterrupt -TEST.NEW -TEST.NAME:handleCANMsgInterrupt.003 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:3 of 6 -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if ((1) == isCANBoxForXmit(srcCANBox)) ==> FALSE - (3) if ((1) == isCANBoxForRecv(srcCANBox)) ==> TRUE - (4) if ((0) != canIsRxMessageArrived((canBASE_t *)0xfff7dc00U, srcCANBox)) ==> TRUE - (5) if (result != (0)) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:SystemComm.isCANBoxForXmit -TEST.STUB:SystemComm.isCANBoxForRecv -TEST.VALUE:uut_prototype_stubs.canGetData.return:0 -TEST.VALUE:uut_prototype_stubs.canIsRxMessageArrived.return:1 -TEST.VALUE:SystemComm.handleCANMsgInterrupt.srcCANBox:<> -TEST.VALUE:SystemComm.isCANBoxForXmit.return:<> -TEST.VALUE:SystemComm.isCANBoxForRecv.return:1 -TEST.EXPECTED:SystemComm.handleCANMsgInterrupt.srcCANBox:COMM_BUFFER_NOT_USED -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: handleCANMsgInterrupt.004 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:handleCANMsgInterrupt -TEST.NEW -TEST.NAME:handleCANMsgInterrupt.004 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:4 of 6 -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) if ((1) == isCANBoxForXmit(srcCANBox)) ==> FALSE - (3) if ((1) == isCANBoxForRecv(srcCANBox)) ==> TRUE - (4) if ((0) != canIsRxMessageArrived((canBASE_t *)0xfff7dc00U, srcCANBox)) ==> TRUE - (5) if (result != (0)) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:SystemComm.isCANBoxForXmit -TEST.STUB:SystemComm.isCANBoxForRecv -TEST.VALUE:uut_prototype_stubs.canGetData.return:1 -TEST.VALUE:uut_prototype_stubs.canIsRxMessageArrived.return:1 -TEST.VALUE:SystemComm.handleCANMsgInterrupt.srcCANBox:<> -TEST.VALUE:SystemComm.isCANBoxForXmit.return:<> -TEST.VALUE:SystemComm.isCANBoxForRecv.return:1 -TEST.EXPECTED:SystemComm.handleCANMsgInterrupt.srcCANBox:COMM_BUFFER_NOT_USED -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: handleCANMsgInterrupt.005 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:handleCANMsgInterrupt -TEST.NEW -TEST.NAME:handleCANMsgInterrupt.005 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:5 of 6 -TEST.NOTES: -This is an automatically generated test case. - Test Path 5 - (1) if ((1) == isCANBoxForXmit(srcCANBox)) ==> TRUE - (2) if ((0) == bytesXmitted) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:SystemComm.isCANBoxForXmit -TEST.VALUE:SystemComm.handleCANMsgInterrupt.srcCANBox:<> -TEST.VALUE:SystemComm.isCANBoxForXmit.return:1 -TEST.EXPECTED:SystemComm.handleCANMsgInterrupt.srcCANBox:COMM_BUFFER_NOT_USED -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: handleCANMsgInterrupt.006 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:handleCANMsgInterrupt -TEST.NEW -TEST.NAME:handleCANMsgInterrupt.006 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:6 of 6 -TEST.NOTES: -This is an automatically generated test case. - Test Path 6 - (1) if ((1) == isCANBoxForXmit(srcCANBox)) ==> TRUE - (2) if ((0) == bytesXmitted) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:SystemComm.isCANBoxForXmit -TEST.VALUE:SystemComm.handleCANMsgInterrupt.srcCANBox:<> -TEST.VALUE:SystemComm.isCANBoxForXmit.return:1 -TEST.EXPECTED:SystemComm.handleCANMsgInterrupt.srcCANBox:COMM_BUFFER_NOT_USED -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Subprogram: processIncomingData - --- Test Case: processIncomingData.001 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:processIncomingData -TEST.NEW -TEST.NAME:processIncomingData.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 9 (template) -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) for (i < (7)) ==> FALSE - (8) if ((1) == badCRCDetected) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 - Cannot set local variable badCRCDetected in branch 8 -TEST.END_NOTES: -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: processIncomingData.002 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:processIncomingData -TEST.NEW -TEST.NAME:processIncomingData.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 9 (template) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) for (i < (7)) ==> FALSE - (8) if ((1) == badCRCDetected) ==> TRUE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 - Cannot set local variable badCRCDetected in branch 8 -TEST.END_NOTES: -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: processIncomingData.003 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:processIncomingData -TEST.NEW -TEST.NAME:processIncomingData.003 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:3 of 9 (template) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) for (i < (7)) ==> TRUE - (2) while ((1) == messagesInBuffer) ==> FALSE - (8) if ((1) == badCRCDetected) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 - Cannot set local variable messagesInBuffer in branch 2 - Cannot set local variable badCRCDetected in branch 8 -TEST.END_NOTES: -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: processIncomingData.004 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:processIncomingData -TEST.NEW -TEST.NAME:processIncomingData.004 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:4 of 9 (template) -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) for (i < (7)) ==> TRUE - (2) while ((1) == messagesInBuffer) ==> TRUE - (3) if (numOfBytesInBuffer >= sizeof(MESSAGE_HEADER_T) + sizeof(U08)) ==> FALSE - (8) if ((1) == badCRCDetected) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 - Cannot set local variable messagesInBuffer in branch 2 - Cannot set return value of function numberOfBytesInCommBuffer in branch 3 - Cannot set local variable badCRCDetected in branch 8 -TEST.END_NOTES: -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: processIncomingData.005 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:processIncomingData -TEST.NEW -TEST.NAME:processIncomingData.005 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:5 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 5 - (1) for (i < (7)) ==> TRUE - (2) while ((1) == messagesInBuffer) ==> TRUE - (3) if (numOfBytesInBuffer >= sizeof(MESSAGE_HEADER_T) + sizeof(U08)) ==> TRUE - (4) if (numOfBytesInBuffer > sizeof(MESSAGE_WRAPPER_T) + (1)) ==> FALSE - (5) if (msgSize > 0) ==> FALSE - (7) if (-1 == msgSize) ==> FALSE - (8) if ((1) == badCRCDetected) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 - Cannot set local variable messagesInBuffer in branch 2 - Cannot set return value of function numberOfBytesInCommBuffer in branch 3 - Cannot set local variable badCRCDetected in branch 8 -TEST.END_NOTES: -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: processIncomingData.006 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:processIncomingData -TEST.NEW -TEST.NAME:processIncomingData.006 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:6 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 6 - (1) for (i < (7)) ==> TRUE - (2) while ((1) == messagesInBuffer) ==> TRUE - (3) if (numOfBytesInBuffer >= sizeof(MESSAGE_HEADER_T) + sizeof(U08)) ==> TRUE - (4) if (numOfBytesInBuffer > sizeof(MESSAGE_WRAPPER_T) + (1)) ==> FALSE - (5) if (msgSize > 0) ==> FALSE - (7) if (-1 == msgSize) ==> TRUE - (8) if ((1) == badCRCDetected) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 - Cannot set local variable messagesInBuffer in branch 2 - Cannot set return value of function numberOfBytesInCommBuffer in branch 3 - Cannot set badCRCDetected due to assignment -TEST.END_NOTES: -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: processIncomingData.007 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:processIncomingData -TEST.NEW -TEST.NAME:processIncomingData.007 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:7 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 7 - (1) for (i < (7)) ==> TRUE - (2) while ((1) == messagesInBuffer) ==> TRUE - (3) if (numOfBytesInBuffer >= sizeof(MESSAGE_HEADER_T) + sizeof(U08)) ==> TRUE - (4) if (numOfBytesInBuffer > sizeof(MESSAGE_WRAPPER_T) + (1)) ==> FALSE - (5) if (msgSize > 0) ==> TRUE - (6) if ((COMM_BUFFER_IN_CAN_DG_BROADCAST) == MSG_IN_BUFFERS[i]) ==> FALSE - (8) if ((1) == badCRCDetected) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 - Cannot set local variable messagesInBuffer in branch 2 - Cannot set return value of function numberOfBytesInCommBuffer in branch 3 - Cannot set local variable dataPtr in branch 6 - Cannot set const variable TEST.VALUE:SystemComm.<>.MSG_IN_BUFFERS[0]: in branch 6 - Cannot set i due to assignment - Cannot set local variable badCRCDetected in branch 8 -TEST.END_NOTES: -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: processIncomingData.008 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:processIncomingData -TEST.NEW -TEST.NAME:processIncomingData.008 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:8 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 8 - (1) for (i < (7)) ==> TRUE - (2) while ((1) == messagesInBuffer) ==> TRUE - (3) if (numOfBytesInBuffer >= sizeof(MESSAGE_HEADER_T) + sizeof(U08)) ==> TRUE - (4) if (numOfBytesInBuffer > sizeof(MESSAGE_WRAPPER_T) + (1)) ==> FALSE - (5) if (msgSize > 0) ==> TRUE - (6) if ((COMM_BUFFER_IN_CAN_DG_BROADCAST) == MSG_IN_BUFFERS[i]) ==> TRUE - (8) if ((1) == badCRCDetected) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 - Cannot set local variable messagesInBuffer in branch 2 - Cannot set return value of function numberOfBytesInCommBuffer in branch 3 - Cannot set local variable dataPtr in branch 6 - Cannot set variable to out of range value 8 in branch 6 - Cannot set i due to assignment - Cannot set local variable badCRCDetected in branch 8 -TEST.END_NOTES: -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: processIncomingData.009 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:processIncomingData -TEST.NEW -TEST.NAME:processIncomingData.009 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:9 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 9 - (1) for (i < (7)) ==> TRUE - (2) while ((1) == messagesInBuffer) ==> TRUE - (3) if (numOfBytesInBuffer >= sizeof(MESSAGE_HEADER_T) + sizeof(U08)) ==> TRUE - (4) if (numOfBytesInBuffer > sizeof(MESSAGE_WRAPPER_T) + (1)) ==> TRUE - (5) if (msgSize > 0) ==> FALSE - (7) if (-1 == msgSize) ==> FALSE - (8) if ((1) == badCRCDetected) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 1 - Cannot set local variable messagesInBuffer in branch 2 - Cannot set return value of function numberOfBytesInCommBuffer in branch 3 - Cannot set local variable badCRCDetected in branch 8 -TEST.END_NOTES: -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Subprogram: transmitNextCANPacket - --- Test Case: transmitNextCANPacket.001 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:transmitNextCANPacket -TEST.NEW -TEST.NAME:transmitNextCANPacket.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 4 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if (buffer != (COMM_BUFFER_NOT_USED)) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:SystemComm.findNextHighestPriorityCANPacketToTransmit -TEST.VALUE:SystemComm.findNextHighestPriorityCANPacketToTransmit.return:COMM_BUFFER_NOT_USED -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: transmitNextCANPacket.002 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:transmitNextCANPacket -TEST.NEW -TEST.NAME:transmitNextCANPacket.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 4 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (buffer != (COMM_BUFFER_NOT_USED)) ==> TRUE - (2) if (dataSize == (8)) ==> FALSE - Test Case Generation Notes: - Cannot set local variable dataSize in branch 2 -TEST.END_NOTES: -TEST.STUB:SystemComm.findNextHighestPriorityCANPacketToTransmit -TEST.VALUE:SystemComm.findNextHighestPriorityCANPacketToTransmit.return:COMM_BUFFER_OUT_CAN_HD_ALARM -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: transmitNextCANPacket.003 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:transmitNextCANPacket -TEST.NEW -TEST.NAME:transmitNextCANPacket.003 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:3 of 4 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if (buffer != (COMM_BUFFER_NOT_USED)) ==> TRUE - (2) if (dataSize == (8)) ==> TRUE - (3) if ((0) != canTransmit((canBASE_t *)0xfff7dc00U, mBox, data)) ==> FALSE - Test Case Generation Notes: - Cannot set local variable dataSize in branch 2 -TEST.END_NOTES: -TEST.STUB:SystemComm.findNextHighestPriorityCANPacketToTransmit -TEST.VALUE:uut_prototype_stubs.canTransmit.return:0 -TEST.VALUE:SystemComm.findNextHighestPriorityCANPacketToTransmit.return:COMM_BUFFER_OUT_CAN_HD_ALARM -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: transmitNextCANPacket.004 -TEST.UNIT:SystemComm -TEST.SUBPROGRAM:transmitNextCANPacket -TEST.NEW -TEST.NAME:transmitNextCANPacket.004 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:4 of 4 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) if (buffer != (COMM_BUFFER_NOT_USED)) ==> TRUE - (2) if (dataSize == (8)) ==> TRUE - (3) if ((0) != canTransmit((canBASE_t *)0xfff7dc00U, mBox, data)) ==> TRUE - Test Case Generation Notes: - Cannot set local variable dataSize in branch 2 -TEST.END_NOTES: -TEST.STUB:SystemComm.findNextHighestPriorityCANPacketToTransmit -TEST.VALUE:uut_prototype_stubs.canTransmit.return:1 -TEST.VALUE:SystemComm.findNextHighestPriorityCANPacketToTransmit.return:COMM_BUFFER_OUT_CAN_HD_ALARM -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - -- Unit: SystemCommMessages -- Subprogram: sendOffButtonMsgToUI @@ -804,469 +99,6 @@ TEST.EXPECTED:SystemCommMessages.sendOffButtonMsgToUI.return:1 TEST.END --- Subprogram: serializeMessage - --- Test Case: serializeMessage.001 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:serializeMessage -TEST.NEW -TEST.NAME:serializeMessage.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if ((1) == isTestingActivated()) ==> FALSE - (4) if (blocked != (1)) ==> FALSE - Test Case Generation Notes: - Cannot set local variable blocked in branch 4 -TEST.END_NOTES: -TEST.STUB:SystemCommMessages.isTestingActivated -TEST.VALUE:SystemCommMessages.serializeMessage.buffer:<> -TEST.VALUE:SystemCommMessages.serializeMessage.ackReq:<> -TEST.VALUE:SystemCommMessages.isTestingActivated.return:<> -TEST.EXPECTED:SystemCommMessages.serializeMessage.buffer:COMM_BUFFER_NOT_USED -TEST.EXPECTED:SystemCommMessages.serializeMessage.ackReq:0 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: serializeMessage.002 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:serializeMessage -TEST.NEW -TEST.NAME:serializeMessage.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if ((1) == isTestingActivated()) ==> FALSE - (4) if (blocked != (1)) ==> TRUE - (5) if ((msg.hdr).msgID != (MSG_ID_ACK_MESSAGE_THAT_REQUIRES_ACK)) ==> FALSE - (8) if (sizeMod == (0)) ==> FALSE - (9) for (i < sizePad) ==> FALSE - (10) if ((1) == ackReq) ==> FALSE - (12) if ((0) == error) ==> FALSE - Test Case Generation Notes: - Cannot set local variable blocked in branch 4 - Cannot set local variable msgSize in branch 5 - Cannot set sizeMod due to assignment - Cannot set sizePad due to assignment - Cannot set local variable error in branch 12 -TEST.END_NOTES: -TEST.STUB:SystemCommMessages.isTestingActivated -TEST.VALUE:SystemCommMessages.serializeMessage.msg.hdr.msgID:65535 -TEST.VALUE:SystemCommMessages.serializeMessage.buffer:<> -TEST.VALUE:SystemCommMessages.serializeMessage.ackReq:<> -TEST.VALUE:SystemCommMessages.isTestingActivated.return:<> -TEST.EXPECTED:SystemCommMessages.serializeMessage.msg.hdr.msgID:65535 -TEST.EXPECTED:SystemCommMessages.serializeMessage.buffer:COMM_BUFFER_NOT_USED -TEST.EXPECTED:SystemCommMessages.serializeMessage.ackReq:0 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: serializeMessage.003 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:serializeMessage -TEST.NEW -TEST.NAME:serializeMessage.003 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:3 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if ((1) == isTestingActivated()) ==> FALSE - (4) if (blocked != (1)) ==> TRUE - (5) if ((msg.hdr).msgID != (MSG_ID_ACK_MESSAGE_THAT_REQUIRES_ACK)) ==> FALSE - (8) if (sizeMod == (0)) ==> FALSE - (9) for (i < sizePad) ==> FALSE - (10) if ((1) == ackReq) ==> FALSE - (12) if ((0) == error) ==> TRUE - Test Case Generation Notes: - Cannot set local variable blocked in branch 4 - Cannot set local variable msgSize in branch 5 - Cannot set sizeMod due to assignment - Cannot set sizePad due to assignment - Cannot set local variable error in branch 12 -TEST.END_NOTES: -TEST.STUB:SystemCommMessages.isTestingActivated -TEST.VALUE:SystemCommMessages.serializeMessage.msg.hdr.msgID:65535 -TEST.VALUE:SystemCommMessages.serializeMessage.buffer:<> -TEST.VALUE:SystemCommMessages.serializeMessage.ackReq:<> -TEST.VALUE:SystemCommMessages.isTestingActivated.return:<> -TEST.EXPECTED:SystemCommMessages.serializeMessage.msg.hdr.msgID:65535 -TEST.EXPECTED:SystemCommMessages.serializeMessage.buffer:COMM_BUFFER_NOT_USED -TEST.EXPECTED:SystemCommMessages.serializeMessage.ackReq:0 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: serializeMessage.004 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:serializeMessage -TEST.NEW -TEST.NAME:serializeMessage.004 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:4 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) if ((1) == isTestingActivated()) ==> FALSE - (4) if (blocked != (1)) ==> TRUE - (5) if ((msg.hdr).msgID != (MSG_ID_ACK_MESSAGE_THAT_REQUIRES_ACK)) ==> FALSE - (8) if (sizeMod == (0)) ==> FALSE - (9) for (i < sizePad) ==> FALSE - (10) if ((1) == ackReq) ==> TRUE - (11) if ((0) == addMsgToPendingACKList(&msg, buffer, data, msgSize)) ==> FALSE - (12) if ((0) == error) ==> FALSE - Test Case Generation Notes: - Cannot set local variable blocked in branch 4 - Cannot set local variable msgSize in branch 5 - Cannot set sizeMod due to assignment - Cannot set sizePad due to assignment - Cannot set local variable error in branch 12 -TEST.END_NOTES: -TEST.STUB:SystemComm.addMsgToPendingACKList -TEST.STUB:SystemCommMessages.isTestingActivated -TEST.VALUE:SystemComm.addMsgToPendingACKList.return:1 -TEST.VALUE:SystemCommMessages.serializeMessage.msg.hdr.msgID:65535 -TEST.VALUE:SystemCommMessages.serializeMessage.buffer:<> -TEST.VALUE:SystemCommMessages.serializeMessage.ackReq:1 -TEST.VALUE:SystemCommMessages.isTestingActivated.return:<> -TEST.EXPECTED:SystemCommMessages.serializeMessage.msg.hdr.msgID:65535 -TEST.EXPECTED:SystemCommMessages.serializeMessage.buffer:COMM_BUFFER_NOT_USED -TEST.EXPECTED:SystemCommMessages.serializeMessage.ackReq:1 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: serializeMessage.005 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:serializeMessage -TEST.NEW -TEST.NAME:serializeMessage.005 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:5 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 5 - (1) if ((1) == isTestingActivated()) ==> FALSE - (4) if (blocked != (1)) ==> TRUE - (5) if ((msg.hdr).msgID != (MSG_ID_ACK_MESSAGE_THAT_REQUIRES_ACK)) ==> FALSE - (8) if (sizeMod == (0)) ==> FALSE - (9) for (i < sizePad) ==> FALSE - (10) if ((1) == ackReq) ==> TRUE - (11) if ((0) == addMsgToPendingACKList(&msg, buffer, data, msgSize)) ==> TRUE - (12) if ((0) == error) ==> FALSE - Test Case Generation Notes: - Cannot set local variable blocked in branch 4 - Cannot set local variable msgSize in branch 5 - Cannot set sizeMod due to assignment - Cannot set sizePad due to assignment - Cannot set error due to assignment -TEST.END_NOTES: -TEST.STUB:SystemComm.addMsgToPendingACKList -TEST.STUB:SystemCommMessages.isTestingActivated -TEST.VALUE:SystemComm.addMsgToPendingACKList.return:0 -TEST.VALUE:SystemCommMessages.serializeMessage.msg.hdr.msgID:65535 -TEST.VALUE:SystemCommMessages.serializeMessage.buffer:<> -TEST.VALUE:SystemCommMessages.serializeMessage.ackReq:1 -TEST.VALUE:SystemCommMessages.isTestingActivated.return:<> -TEST.EXPECTED:SystemCommMessages.serializeMessage.msg.hdr.msgID:65535 -TEST.EXPECTED:SystemCommMessages.serializeMessage.buffer:COMM_BUFFER_NOT_USED -TEST.EXPECTED:SystemCommMessages.serializeMessage.ackReq:1 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: serializeMessage.006 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:serializeMessage -TEST.NEW -TEST.NAME:serializeMessage.006 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:6 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 6 - (1) if ((1) == isTestingActivated()) ==> FALSE - (4) if (blocked != (1)) ==> TRUE - (5) if ((msg.hdr).msgID != (MSG_ID_ACK_MESSAGE_THAT_REQUIRES_ACK)) ==> FALSE - (8) if (sizeMod == (0)) ==> FALSE - (9) for (i < sizePad) ==> TRUE - (10) if ((1) == ackReq) ==> FALSE - (12) if ((0) == error) ==> FALSE - Test Case Generation Notes: - Cannot set local variable blocked in branch 4 - Cannot set local variable msgSize in branch 5 - Cannot set sizeMod due to assignment - Cannot set sizePad due to assignment - Cannot set local variable error in branch 12 -TEST.END_NOTES: -TEST.STUB:SystemCommMessages.isTestingActivated -TEST.VALUE:SystemCommMessages.serializeMessage.msg.hdr.msgID:65535 -TEST.VALUE:SystemCommMessages.serializeMessage.buffer:<> -TEST.VALUE:SystemCommMessages.serializeMessage.ackReq:<> -TEST.VALUE:SystemCommMessages.isTestingActivated.return:<> -TEST.EXPECTED:SystemCommMessages.serializeMessage.msg.hdr.msgID:65535 -TEST.EXPECTED:SystemCommMessages.serializeMessage.buffer:COMM_BUFFER_NOT_USED -TEST.EXPECTED:SystemCommMessages.serializeMessage.ackReq:0 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: serializeMessage.007 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:serializeMessage -TEST.NEW -TEST.NAME:serializeMessage.007 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:7 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 7 - (1) if ((1) == isTestingActivated()) ==> FALSE - (4) if (blocked != (1)) ==> TRUE - (5) if ((msg.hdr).msgID != (MSG_ID_ACK_MESSAGE_THAT_REQUIRES_ACK)) ==> FALSE - (8) if (sizeMod == (0)) ==> TRUE - (9) for (i < sizePad) ==> FALSE - (10) if ((1) == ackReq) ==> FALSE - (12) if ((0) == error) ==> FALSE - Test Case Generation Notes: - Cannot set local variable blocked in branch 4 - Cannot set local variable msgSize in branch 5 - Cannot set sizeMod due to assignment - Cannot set sizePad due to assignment - Cannot set local variable error in branch 12 -TEST.END_NOTES: -TEST.STUB:SystemCommMessages.isTestingActivated -TEST.VALUE:SystemCommMessages.serializeMessage.msg.hdr.msgID:65535 -TEST.VALUE:SystemCommMessages.serializeMessage.buffer:<> -TEST.VALUE:SystemCommMessages.serializeMessage.ackReq:<> -TEST.VALUE:SystemCommMessages.isTestingActivated.return:<> -TEST.EXPECTED:SystemCommMessages.serializeMessage.msg.hdr.msgID:65535 -TEST.EXPECTED:SystemCommMessages.serializeMessage.buffer:COMM_BUFFER_NOT_USED -TEST.EXPECTED:SystemCommMessages.serializeMessage.ackReq:0 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: serializeMessage.008 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:serializeMessage -TEST.NEW -TEST.NAME:serializeMessage.008 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:8 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 8 - (1) if ((1) == isTestingActivated()) ==> FALSE - (4) if (blocked != (1)) ==> TRUE - (5) if ((msg.hdr).msgID != (MSG_ID_ACK_MESSAGE_THAT_REQUIRES_ACK)) ==> TRUE - (6) if (nextSeqNo >= 0x7fff) ==> FALSE - (7) if ((1) == ackReq) ==> FALSE - (8) if (sizeMod == (0)) ==> FALSE - (9) for (i < sizePad) ==> FALSE - (10) if ((1) == ackReq) ==> FALSE - (12) if ((0) == error) ==> FALSE - Test Case Generation Notes: - Cannot set local variable blocked in branch 4 - Cannot set local variable msgSize in branch 5 - Cannot set sizeMod due to assignment - Cannot set sizePad due to assignment - Cannot set local variable error in branch 12 -TEST.END_NOTES: -TEST.STUB:SystemCommMessages.isTestingActivated -TEST.VALUE:SystemCommMessages.<>.nextSeqNo:<> -TEST.VALUE:SystemCommMessages.serializeMessage.msg.hdr.msgID:<> -TEST.VALUE:SystemCommMessages.serializeMessage.buffer:<> -TEST.VALUE:SystemCommMessages.serializeMessage.ackReq:<> -TEST.VALUE:SystemCommMessages.isTestingActivated.return:<> -TEST.EXPECTED:SystemCommMessages.<>.nextSeqNo:1 -TEST.EXPECTED:SystemCommMessages.serializeMessage.msg.hdr.msgID:0 -TEST.EXPECTED:SystemCommMessages.serializeMessage.buffer:COMM_BUFFER_NOT_USED -TEST.EXPECTED:SystemCommMessages.serializeMessage.ackReq:0 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: serializeMessage.009 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:serializeMessage -TEST.NEW -TEST.NAME:serializeMessage.009 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:9 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 9 - (1) if ((1) == isTestingActivated()) ==> FALSE - (4) if (blocked != (1)) ==> TRUE - (5) if ((msg.hdr).msgID != (MSG_ID_ACK_MESSAGE_THAT_REQUIRES_ACK)) ==> TRUE - (6) if (nextSeqNo >= 0x7fff) ==> FALSE - (7) if ((1) == ackReq) ==> TRUE - (8) if (sizeMod == (0)) ==> FALSE - (9) for (i < sizePad) ==> FALSE - (10) if ((1) == ackReq) ==> FALSE - (12) if ((0) == error) ==> FALSE - Test Case Generation Notes: - Cannot set local variable blocked in branch 4 - Cannot set local variable msgSize in branch 5 - Cannot set sizeMod due to assignment - Cannot set sizePad due to assignment - Conflict: Trying to set variable SystemCommMessages.serializeMessage.ackReq 'equal to' and 'not equal to' same value in branches 7/10 - Cannot set local variable error in branch 12 -TEST.END_NOTES: -TEST.STUB:SystemCommMessages.isTestingActivated -TEST.VALUE:SystemCommMessages.<>.nextSeqNo:<> -TEST.VALUE:SystemCommMessages.serializeMessage.msg.hdr.msgID:<> -TEST.VALUE:SystemCommMessages.serializeMessage.buffer:<> -TEST.VALUE:SystemCommMessages.serializeMessage.ackReq:1 -TEST.VALUE:SystemCommMessages.isTestingActivated.return:<> -TEST.EXPECTED:SystemCommMessages.<>.nextSeqNo:1 -TEST.EXPECTED:SystemCommMessages.serializeMessage.msg.hdr.msgID:0 -TEST.EXPECTED:SystemCommMessages.serializeMessage.buffer:COMM_BUFFER_NOT_USED -TEST.EXPECTED:SystemCommMessages.serializeMessage.ackReq:1 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: serializeMessage.010 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:serializeMessage -TEST.NEW -TEST.NAME:serializeMessage.010 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:10 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 10 - (1) if ((1) == isTestingActivated()) ==> FALSE - (4) if (blocked != (1)) ==> TRUE - (5) if ((msg.hdr).msgID != (MSG_ID_ACK_MESSAGE_THAT_REQUIRES_ACK)) ==> TRUE - (6) if (nextSeqNo >= 0x7fff) ==> TRUE - (7) if ((1) == ackReq) ==> FALSE - (8) if (sizeMod == (0)) ==> FALSE - (9) for (i < sizePad) ==> FALSE - (10) if ((1) == ackReq) ==> FALSE - (12) if ((0) == error) ==> FALSE - Test Case Generation Notes: - Cannot set local variable blocked in branch 4 - Cannot set local variable msgSize in branch 5 - Cannot set sizeMod due to assignment - Cannot set sizePad due to assignment - Cannot set local variable error in branch 12 -TEST.END_NOTES: -TEST.STUB:SystemCommMessages.isTestingActivated -TEST.VALUE:SystemCommMessages.<>.nextSeqNo:<> -TEST.VALUE:SystemCommMessages.serializeMessage.msg.hdr.msgID:<> -TEST.VALUE:SystemCommMessages.serializeMessage.buffer:<> -TEST.VALUE:SystemCommMessages.serializeMessage.ackReq:<> -TEST.VALUE:SystemCommMessages.isTestingActivated.return:<> -TEST.EXPECTED:SystemCommMessages.<>.nextSeqNo:1 -TEST.EXPECTED:SystemCommMessages.serializeMessage.msg.hdr.msgID:0 -TEST.EXPECTED:SystemCommMessages.serializeMessage.buffer:COMM_BUFFER_NOT_USED -TEST.EXPECTED:SystemCommMessages.serializeMessage.ackReq:0 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: serializeMessage.011 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:serializeMessage -TEST.NEW -TEST.NAME:serializeMessage.011 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:11 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 11 - (1) if ((1) == isTestingActivated()) ==> TRUE - (2) for (i < (8)) ==> FALSE - (4) if (blocked != (1)) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 2 - Cannot set local variable blocked in branch 4 -TEST.END_NOTES: -TEST.STUB:SystemCommMessages.isTestingActivated -TEST.VALUE:SystemCommMessages.serializeMessage.buffer:<> -TEST.VALUE:SystemCommMessages.serializeMessage.ackReq:<> -TEST.VALUE:SystemCommMessages.isTestingActivated.return:1 -TEST.EXPECTED:SystemCommMessages.serializeMessage.buffer:COMM_BUFFER_NOT_USED -TEST.EXPECTED:SystemCommMessages.serializeMessage.ackReq:0 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: serializeMessage.012 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:serializeMessage -TEST.NEW -TEST.NAME:serializeMessage.012 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:12 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 12 - (1) if ((1) == isTestingActivated()) ==> TRUE - (2) for (i < (8)) ==> TRUE - (3) if ((msg.hdr).msgID == blockedMessagesForXmit.blockedMessages[i]) ==> TRUE - (4) if (blocked != (1)) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 2 - Cannot set i due to assignment - Cannot set blocked due to assignment -TEST.END_NOTES: -TEST.STUB:SystemCommMessages.isTestingActivated -TEST.VALUE:SystemCommMessages.<>.blockedMessagesForXmit.blockedMessages[0]:<> -TEST.VALUE:SystemCommMessages.serializeMessage.msg.hdr.msgID:<> -TEST.VALUE:SystemCommMessages.serializeMessage.buffer:<> -TEST.VALUE:SystemCommMessages.serializeMessage.ackReq:<> -TEST.VALUE:SystemCommMessages.isTestingActivated.return:1 -TEST.EXPECTED:SystemCommMessages.<>.blockedMessagesForXmit.blockedMessages[0]:0 -TEST.EXPECTED:SystemCommMessages.serializeMessage.msg.hdr.msgID:0 -TEST.EXPECTED:SystemCommMessages.serializeMessage.buffer:COMM_BUFFER_NOT_USED -TEST.EXPECTED:SystemCommMessages.serializeMessage.ackReq:0 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - --- Test Case: serializeMessage.013 -TEST.UNIT:SystemCommMessages -TEST.SUBPROGRAM:serializeMessage -TEST.NEW -TEST.NAME:serializeMessage.013 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:13 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 13 - (1) if ((1) == isTestingActivated()) ==> TRUE - (2) for (i < (8)) ==> TRUE - (3) if ((msg.hdr).msgID == blockedMessagesForXmit.blockedMessages[i]) ==> FALSE - (4) if (blocked != (1)) ==> FALSE - Test Case Generation Notes: - Conflict: Unable to control expression-to-expression comparison in branch 2 - Cannot set i due to assignment - Cannot set local variable blocked in branch 4 -TEST.END_NOTES: -TEST.STUB:SystemCommMessages.isTestingActivated -TEST.VALUE:SystemCommMessages.<>.blockedMessagesForXmit.blockedMessages[0]:1 -TEST.VALUE:SystemCommMessages.serializeMessage.msg.hdr.msgID:<> -TEST.VALUE:SystemCommMessages.serializeMessage.buffer:<> -TEST.VALUE:SystemCommMessages.serializeMessage.ackReq:<> -TEST.VALUE:SystemCommMessages.isTestingActivated.return:1 -TEST.EXPECTED:SystemCommMessages.<>.blockedMessagesForXmit.blockedMessages[0]:1 -TEST.EXPECTED:SystemCommMessages.serializeMessage.msg.hdr.msgID:0 -TEST.EXPECTED:SystemCommMessages.serializeMessage.buffer:COMM_BUFFER_NOT_USED -TEST.EXPECTED:SystemCommMessages.serializeMessage.ackReq:0 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][0]:EXPECTED_BASE=16 -TEST.ATTRIBUTES:CommBuffers.<>.commBuffers[9][0][2]:INPUT_BASE=16 -TEST.END - -- Unit: sys_main -- Subprogram: initSoftware @@ -1365,14 +197,3 @@ TEST.EXPECTED:CommBuffers.<>.commBuffers[COMM_BUFFER_IN_CAN_UI_BROADCAST][0][0]:0 TEST.EXPECTED:CommBuffers.<>.commBuffers[COMM_BUFFER_IN_CAN_UI_BROADCAST][1][0]:0 TEST.END - --- Test Case: initSoftware.001 -TEST.UNIT:sys_main -TEST.SUBPROGRAM:initSoftware -TEST.NEW -TEST.NAME:initSoftware.001 -TEST.BASIS_PATH:1 of 1 -TEST.NOTES: - No branches in subprogram -TEST.END_NOTES: -TEST.END Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_CONSUMABLESELFTEST/INT_CONSUMABLESELFTEST.tst =================================================================== diff -u -rbee4a17cf2dedb3a18483e2c05846785ed1b3da7 -rb49678e8452e8e814ba0a5aada061368eff042bb --- vectorcast/Hercules_RM46_HD_Project/environment/INT_CONSUMABLESELFTEST/INT_CONSUMABLESELFTEST.tst (.../INT_CONSUMABLESELFTEST.tst) (revision bee4a17cf2dedb3a18483e2c05846785ed1b3da7) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_CONSUMABLESELFTEST/INT_CONSUMABLESELFTEST.tst (.../INT_CONSUMABLESELFTEST.tst) (revision b49678e8452e8e814ba0a5aada061368eff042bb) @@ -22,124 +22,24 @@ TEST.SUBPROGRAM:handleSelfTestConsumableState TEST.NEW TEST.NAME:handleSelfTestConsumableState.001 -TEST.BASIS_PATH:1 of 3 (template) -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if ((CONSUMABLE_SELF_TESTS_COMPLETE_STATE) == getConsumableSelfTestState()) ==> FALSE - Test Case Generation Notes: - Cannot set return value of function getConsumableSelfTestState in branch 1 -TEST.END_NOTES: +TEST.VALUE:ConsumableSelfTest.<>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_INSTALL_STATE +TEST.EXPECTED:ConsumableSelfTest.<>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_INSTALL_STATE TEST.END --- Test Case: handleSelfTestConsumableState.002 -TEST.UNIT:ModePreTreat -TEST.SUBPROGRAM:handleSelfTestConsumableState -TEST.NEW -TEST.NAME:handleSelfTestConsumableState.002 -TEST.BASIS_PATH:2 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if ((CONSUMABLE_SELF_TESTS_COMPLETE_STATE) == getConsumableSelfTestState()) ==> TRUE - (2) if (submodeCompleteTransitionTimeCounter++ >= 1000 / 50) ==> FALSE - Test Case Generation Notes: - Cannot set return value of function getConsumableSelfTestState in branch 1 -TEST.END_NOTES: -TEST.VALUE:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:<> -TEST.EXPECTED:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:0 -TEST.END - --- Test Case: handleSelfTestConsumableState.003 -TEST.UNIT:ModePreTreat -TEST.SUBPROGRAM:handleSelfTestConsumableState -TEST.NEW -TEST.NAME:handleSelfTestConsumableState.003 -TEST.BASIS_PATH:3 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if ((CONSUMABLE_SELF_TESTS_COMPLETE_STATE) == getConsumableSelfTestState()) ==> TRUE - (2) if (submodeCompleteTransitionTimeCounter++ >= 1000 / 50) ==> TRUE - Test Case Generation Notes: - Cannot set return value of function getConsumableSelfTestState in branch 1 -TEST.END_NOTES: -TEST.VALUE:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:<> -TEST.EXPECTED:ModePreTreat.<>.submodeCompleteTransitionTimeCounter:4294967295 -TEST.END - -- Subprogram: handleWaterSampleState -- Test Case: handleWaterSampleState.001 TEST.UNIT:ModePreTreat TEST.SUBPROGRAM:handleWaterSampleState TEST.NEW TEST.NAME:handleWaterSampleState.001 -TEST.BASIS_PATH:1 of 4 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if ((SAMPLE_WATER_COMPLETE_STATE) == getSampleWaterState()) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getSampleWaterState.return:<> -TEST.END - --- Test Case: handleWaterSampleState.002 -TEST.UNIT:ModePreTreat -TEST.SUBPROGRAM:handleWaterSampleState -TEST.NEW -TEST.NAME:handleWaterSampleState.002 -TEST.BASIS_PATH:2 of 4 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if ((SAMPLE_WATER_COMPLETE_STATE) == getSampleWaterState()) ==> TRUE - (2) if ((SELF_TEST_STATUS_PASSED) == getSampleWaterResult()) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getSampleWaterState.return:2 -TEST.VALUE:uut_prototype_stubs.getSampleWaterResult.return:SELF_TEST_STATUS_IN_PROGRESS -TEST.END - --- Test Case: handleWaterSampleState.003 -TEST.UNIT:ModePreTreat -TEST.SUBPROGRAM:handleWaterSampleState -TEST.NEW -TEST.NAME:handleWaterSampleState.003 -TEST.BASIS_PATH:3 of 4 -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if ((SAMPLE_WATER_COMPLETE_STATE) == getSampleWaterState()) ==> TRUE - (2) if ((SELF_TEST_STATUS_PASSED) == getSampleWaterResult()) ==> TRUE - (3) if ((DG_MODE_STAN) == dgOpMode && (DG_STANDBY_MODE_STATE_IDLE) == dgSubMode) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL -TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1 -TEST.VALUE:uut_prototype_stubs.getSampleWaterState.return:2 -TEST.VALUE:uut_prototype_stubs.getSampleWaterResult.return:SELF_TEST_STATUS_PASSED -TEST.END - --- Test Case: handleWaterSampleState.004 -TEST.UNIT:ModePreTreat -TEST.SUBPROGRAM:handleWaterSampleState -TEST.NEW -TEST.NAME:handleWaterSampleState.004 -TEST.BASIS_PATH:4 of 4 -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) if ((SAMPLE_WATER_COMPLETE_STATE) == getSampleWaterState()) ==> TRUE - (2) if ((SELF_TEST_STATUS_PASSED) == getSampleWaterResult()) ==> TRUE - (3) if ((DG_MODE_STAN) == dgOpMode && (DG_STANDBY_MODE_STATE_IDLE) == dgSubMode) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0 TEST.VALUE:uut_prototype_stubs.getSampleWaterState.return:2 TEST.VALUE:uut_prototype_stubs.getSampleWaterResult.return:SELF_TEST_STATUS_PASSED +TEST.VALUE:ModePreTreat.handleWaterSampleState.return:HD_PRE_TREATMENT_WATER_SAMPLE_STATE +TEST.EXPECTED:uut_prototype_stubs.setCurrentSubState.subState:0 +TEST.EXPECTED:ModePreTreat.handleWaterSampleState.return:HD_PRE_TREATMENT_SELF_TEST_CONSUMABLE_STATE TEST.END -- Subprogram: initPreTreatmentMode @@ -149,46 +49,10 @@ TEST.SUBPROGRAM:initPreTreatmentMode TEST.NEW TEST.NAME:initPreTreatmentMode.001 -TEST.BASIS_PATH:1 of 1 -TEST.NOTES: - No branches in subprogram -TEST.END_NOTES: +TEST.VALUE:ConsumableSelfTest.<>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_BICARB_PUMP_CHECK_STATE +TEST.EXPECTED:ConsumableSelfTest.<>.currentConsumableSelfTestState:CONSUMABLE_SELF_TESTS_INSTALL_STATE TEST.END --- Subprogram: publishPreTreatmentState - --- Test Case: publishPreTreatmentState.001 -TEST.UNIT:ModePreTreat -TEST.SUBPROGRAM:publishPreTreatmentState -TEST.NEW -TEST.NAME:publishPreTreatmentState.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 2 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if (++preTreatmentPublishTimerCounter >= getU32OverrideValue(&preTreatmentModePublishInterval)) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> -TEST.END - --- Test Case: publishPreTreatmentState.002 -TEST.UNIT:ModePreTreat -TEST.SUBPROGRAM:publishPreTreatmentState -TEST.NEW -TEST.NAME:publishPreTreatmentState.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 2 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (++preTreatmentPublishTimerCounter >= getU32OverrideValue(&preTreatmentModePublishInterval)) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> -TEST.END - -- Unit: SystemCommMessages -- Subprogram: handleConsumableInstallConfirm Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_CPLD/INT_CPLD.env =================================================================== diff -u -rc8a1d0915907024f9ac6a8a4f689f3e0377c1f62 -rb49678e8452e8e814ba0a5aada061368eff042bb --- vectorcast/Hercules_RM46_HD_Project/environment/INT_CPLD/INT_CPLD.env (.../INT_CPLD.env) (revision c8a1d0915907024f9ac6a8a4f689f3e0377c1f62) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_CPLD/INT_CPLD.env (.../INT_CPLD.env) (revision b49678e8452e8e814ba0a5aada061368eff042bb) @@ -1,13 +1,10 @@ ENVIRO.NEW ENVIRO.NAME:INT_CPLD ENVIRO.STUB_BY_FUNCTION:AlarmLamp -ENVIRO.STUB_BY_FUNCTION:AlarmMgmt ENVIRO.STUB_BY_FUNCTION:Buttons ENVIRO.UUT:CPLD ENVIRO.STUB_BY_FUNCTION:TaskGeneral ENVIRO.STUB_BY_FUNCTION:TaskPriority -ENVIRO.STUB_BY_FUNCTION:TaskTimer -ENVIRO.STUB_BY_FUNCTION:Voltages ENVIRO.STUB_BY_FUNCTION:WatchdogMgmt ENVIRO.STUB_BY_FUNCTION:sys_main ENVIRO.MAX_VARY_RANGE: 20 @@ -16,13 +13,22 @@ ENVIRO.LIBRARY_STUBS: ENVIRO.UNIT_PREFIX_USER_CODE: ENVIRO.UNIT_PREFIX_USER_CODE_FILE:CPLD - - +#include "reg_gio.h" #include "reg_mibspi.h" -mibspiBASE_t* ptr_mibspiREG5; + +gioPORT_t * ptr_gioPORT_B; +#undef gioPORTB +#define gioPORTB ptr_gioPORT_B + +gioPORT_t * ptr_gioPORT_A; +#undef gioPORTA +#define gioPORTA ptr_gioPORT_A + +mibspiBASE_t * ptr_mibspiBASE_t; #undef mibspiREG5 -#define mibspiREG5 ptr_mibspiREG5 +#define mibspiREG5 ptr_mibspiBASE_t + ENVIRO.END_UNIT_PREFIX_USER_CODE_FILE: ENVIRO.END_UNIT_PREFIX_USER_CODE: ENVIRO.COVERAGE_TYPE: FUNCTION Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_CPLD/INT_CPLD.tst =================================================================== diff -u -rbee4a17cf2dedb3a18483e2c05846785ed1b3da7 -rb49678e8452e8e814ba0a5aada061368eff042bb --- vectorcast/Hercules_RM46_HD_Project/environment/INT_CPLD/INT_CPLD.tst (.../INT_CPLD.tst) (revision bee4a17cf2dedb3a18483e2c05846785ed1b3da7) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_CPLD/INT_CPLD.tst (.../INT_CPLD.tst) (revision b49678e8452e8e814ba0a5aada061368eff042bb) @@ -2,7 +2,7 @@ -- Test Case Script -- -- Environment : INT_CPLD --- Unit(s) Under Test: AlarmLamp AlarmMgmt Buttons CPLD TaskGeneral TaskPriority TaskTimer Voltages WatchdogMgmt sys_main +-- Unit(s) Under Test: AlarmLamp Buttons CPLD TaskGeneral TaskPriority WatchdogMgmt sys_main -- -- Script Features TEST.SCRIPT_FEATURE:C_DIRECT_ARRAY_INDEXING @@ -17,163 +17,6 @@ -- Subprogram: execAlarmLampTest --- Test Case: execAlarmLampTest.001 -TEST.UNIT:AlarmLamp -TEST.SUBPROGRAM:execAlarmLampTest -TEST.NEW -TEST.NAME:execAlarmLampTest.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 9 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (9) case alarmLampSelfTestState ==> default - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:AlarmLamp.<>.alarmLampSelfTestState:NUM_OF_ALARM_LAMP_SELF_TEST_STATES -TEST.EXPECTED:AlarmLamp.<>.alarmLampSelfTestState:NUM_OF_ALARM_LAMP_SELF_TEST_STATES -TEST.END - --- Test Case: execAlarmLampTest.002 -TEST.UNIT:AlarmLamp -TEST.SUBPROGRAM:execAlarmLampTest -TEST.NEW -TEST.NAME:execAlarmLampTest.002 -TEST.BASIS_PATH:3 of 9 -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (2) case alarmLampSelfTestState ==> ALARM_LAMP_SELF_TEST_STATE_RED - (3) if ((1) == didTimeout(alarmLampSelfTestStepTimerCount, 1000)) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:AlarmLamp.<>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_RED -TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> -TEST.EXPECTED:AlarmLamp.<>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_RED -TEST.END - --- Test Case: execAlarmLampTest.003 -TEST.UNIT:AlarmLamp -TEST.SUBPROGRAM:execAlarmLampTest -TEST.NEW -TEST.NAME:execAlarmLampTest.003 -TEST.BASIS_PATH:5 of 9 -TEST.NOTES: -This is an automatically generated test case. - Test Path 5 - (4) case alarmLampSelfTestState ==> ALARM_LAMP_SELF_TEST_STATE_YELLOW - (5) if ((1) == didTimeout(alarmLampSelfTestStepTimerCount, 1000)) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:AlarmLamp.<>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_YELLOW -TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> -TEST.EXPECTED:AlarmLamp.<>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_YELLOW -TEST.END - --- Test Case: execAlarmLampTest.004 -TEST.UNIT:AlarmLamp -TEST.SUBPROGRAM:execAlarmLampTest -TEST.NEW -TEST.NAME:execAlarmLampTest.004 -TEST.BASIS_PATH:7 of 9 -TEST.NOTES: -This is an automatically generated test case. - Test Path 7 - (6) case alarmLampSelfTestState ==> ALARM_LAMP_SELF_TEST_STATE_GREEN - (7) if ((1) == didTimeout(alarmLampSelfTestStepTimerCount, 1000)) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:AlarmLamp.<>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_GREEN -TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> -TEST.EXPECTED:AlarmLamp.<>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_GREEN -TEST.END - --- Test Case: execAlarmLampTest.005 -TEST.UNIT:AlarmLamp -TEST.SUBPROGRAM:execAlarmLampTest -TEST.NEW -TEST.NAME:execAlarmLampTest.005 -TEST.BASIS_PATH:9 of 9 -TEST.NOTES: -This is an automatically generated test case. - Test Path 9 - (8) case alarmLampSelfTestState ==> ALARM_LAMP_SELF_TEST_STATE_COMPLETE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:AlarmLamp.<>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_COMPLETE -TEST.EXPECTED:AlarmLamp.<>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_START -TEST.END - --- Test Case: execAlarmLampTest.006 -TEST.UNIT:AlarmLamp -TEST.SUBPROGRAM:execAlarmLampTest -TEST.NEW -TEST.NAME:execAlarmLampTest.006 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 9 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) case alarmLampSelfTestState ==> ALARM_LAMP_SELF_TEST_STATE_START - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:AlarmLamp.<>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_START -TEST.END - --- Test Case: execAlarmLampTest.007 -TEST.UNIT:AlarmLamp -TEST.SUBPROGRAM:execAlarmLampTest -TEST.NEW -TEST.NAME:execAlarmLampTest.007 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:4 of 9 -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (2) case alarmLampSelfTestState ==> ALARM_LAMP_SELF_TEST_STATE_RED - (3) if ((1) == didTimeout(alarmLampSelfTestStepTimerCount, 1000)) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:AlarmLamp.<>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_RED -TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 -TEST.END - --- Test Case: execAlarmLampTest.008 -TEST.UNIT:AlarmLamp -TEST.SUBPROGRAM:execAlarmLampTest -TEST.NEW -TEST.NAME:execAlarmLampTest.008 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:6 of 9 -TEST.NOTES: -This is an automatically generated test case. - Test Path 6 - (4) case alarmLampSelfTestState ==> ALARM_LAMP_SELF_TEST_STATE_YELLOW - (5) if ((1) == didTimeout(alarmLampSelfTestStepTimerCount, 1000)) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:AlarmLamp.<>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_YELLOW -TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 -TEST.END - --- Test Case: execAlarmLampTest.009 -TEST.UNIT:AlarmLamp -TEST.SUBPROGRAM:execAlarmLampTest -TEST.NEW -TEST.NAME:execAlarmLampTest.009 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:8 of 9 -TEST.NOTES: -This is an automatically generated test case. - Test Path 8 - (6) case alarmLampSelfTestState ==> ALARM_LAMP_SELF_TEST_STATE_GREEN - (7) if ((1) == didTimeout(alarmLampSelfTestStepTimerCount, 1000)) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:AlarmLamp.<>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_GREEN -TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 -TEST.END - -- Test Case: setCPLDLampGreen TEST.UNIT:AlarmLamp TEST.SUBPROGRAM:execAlarmLampTest @@ -182,1442 +25,18 @@ TEST.VALUE:AlarmLamp.<>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_RED TEST.VALUE:AlarmLamp.<>.alarmLampSelfTestStepTimerCount:1000 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 -TEST.VALUE:CPLD.<>.ptr_mibspiREG5:<> -TEST.VALUE:CPLD.<>.ptr_mibspiREG5[0].PC3:0 +TEST.VALUE:CPLD.<>.ptr_mibspiBASE_t:<> +TEST.VALUE:CPLD.<>.ptr_mibspiBASE_t[0].PC3:0 TEST.EXPECTED:AlarmLamp.<>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_YELLOW TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:1000 TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:1000 -TEST.EXPECTED:CPLD.<>.ptr_mibspiREG5[0].PC3:0x200 +TEST.EXPECTED:CPLD.<>.ptr_mibspiBASE_t[0].PC3:0x200 TEST.END --- Test Case: setCPLDLampRed -TEST.UNIT:AlarmLamp -TEST.SUBPROGRAM:execAlarmLampTest -TEST.NEW -TEST.NAME:setCPLDLampRed -TEST.VALUE:AlarmLamp.<>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_START -TEST.VALUE:AlarmLamp.<>.alarmLampSelfTestStepTimerCount:1000 -TEST.VALUE:CPLD.<>.ptr_mibspiREG5:<> -TEST.VALUE:CPLD.<>.ptr_mibspiREG5[0].PC3:0x200 -TEST.EXPECTED:AlarmLamp.<>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_RED -TEST.EXPECTED:CPLD.<>.ptr_mibspiREG5[0].PC3:0xA00 -TEST.END - --- Subprogram: setAlarmLampToPatternStep - --- Test Case: setAlarmLampToPatternStep.001 -TEST.UNIT:AlarmLamp -TEST.SUBPROGRAM:setAlarmLampToPatternStep -TEST.NEW -TEST.NAME:setAlarmLampToPatternStep.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 1 -(1) if ((LAMP_PATTERNS[getCurrentAlarmLampPattern()]).green[currentLampPatternStep] == (LAMP_STATE_ON)) ==> FALSE -(2) if ((LAMP_PATTERNS[getCurrentAlarmLampPattern()]).red[currentLampPatternStep] == (LAMP_STATE_ON)) ==> FALSE -Test Case Generation Notes: -Cannot set value of field for a const class/struct/union for (LAMP_PATTERNS[getCurrentAlarmLampPattern()]).green in branch 1 -Cannot set value of field for a const class/struct/union for (LAMP_PATTERNS[getCurrentAlarmLampPattern()]).red in branch 2 -TEST.END_NOTES: -TEST.VALUE:AlarmLamp.<>.currentLampPatternStep:0 -TEST.END - --- Test Case: setAlarmLampToPatternStep.002 -TEST.UNIT:AlarmLamp -TEST.SUBPROGRAM:setAlarmLampToPatternStep -TEST.NEW -TEST.NAME:setAlarmLampToPatternStep.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 2 -(1) if ((LAMP_PATTERNS[getCurrentAlarmLampPattern()]).green[currentLampPatternStep] == (LAMP_STATE_ON)) ==> FALSE -(2) if ((LAMP_PATTERNS[getCurrentAlarmLampPattern()]).red[currentLampPatternStep] == (LAMP_STATE_ON)) ==> TRUE -Test Case Generation Notes: -Cannot set value of field for a const class/struct/union for (LAMP_PATTERNS[getCurrentAlarmLampPattern()]).green in branch 1 -Cannot set variable to out of range value 1 in branch 2 -TEST.END_NOTES: -TEST.VALUE:AlarmLamp.<>.currentLampPatternStep:0 -TEST.END - --- Test Case: setAlarmLampToPatternStep.003 -TEST.UNIT:AlarmLamp -TEST.SUBPROGRAM:setAlarmLampToPatternStep -TEST.NEW -TEST.NAME:setAlarmLampToPatternStep.003 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:3 of 3 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 3 -(1) if ((LAMP_PATTERNS[getCurrentAlarmLampPattern()]).green[currentLampPatternStep] == (LAMP_STATE_ON)) ==> TRUE -(2) if ((LAMP_PATTERNS[getCurrentAlarmLampPattern()]).red[currentLampPatternStep] == (LAMP_STATE_ON)) ==> FALSE -Test Case Generation Notes: -Cannot set variable to out of range value 1 in branch 1 -Cannot set value of field for a const class/struct/union for (LAMP_PATTERNS[getCurrentAlarmLampPattern()]).red in branch 2 -TEST.END_NOTES: -TEST.VALUE:AlarmLamp.<>.currentLampPatternStep:0 -TEST.VALUE:AlarmLamp.<>.alarmLampOn:1 -TEST.END - --- Unit: AlarmMgmt - --- Subprogram: activateAlarm2Data - --- Test Case: activateAlarm2Data.001 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:activateAlarm2Data -TEST.NEW -TEST.NAME:activateAlarm2Data.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 1 -(1) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(2) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> FALSE -Test Case Generation Notes: -Cannot set return value of function getCPLDACPowerLossDetected in branch 1 -TEST.END_NOTES: -TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarm:<> -TEST.END - --- Test Case: activateAlarm2Data.002 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:activateAlarm2Data -TEST.NEW -TEST.NAME:activateAlarm2Data.002 -TEST.COMPOUND_ONLY -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) ->>> (E) @LINE: 34 TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarm:ALARM_ID_NO_ALARM ->>> >>> Warning: Value already set ->>> >>> Previous value 1 ignored -TEST.END_IMPORT_FAILURES: -TEST.BASIS_PATH:2 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 2 -(1) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(2) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> TRUE -(3) if (((0) == alarmsBlockedTimer || (ALARM_ID_HD_AC_POWER_LOST) == alarm) || (ALARM_ID_HD_AC_POWER_LOST_IN_TREATMENT) == alarm) ==> FALSE -Test Case Generation Notes: -Cannot set return value of function getCPLDACPowerLossDetected in branch 1 -TEST.END_NOTES: -TEST.VALUE:AlarmMgmt.<>.alarmsBlockedTimer:1 -TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarm:ALARM_ID_NO_ALARM -TEST.END - --- Test Case: activateAlarm2Data.003 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:activateAlarm2Data -TEST.NEW -TEST.NAME:activateAlarm2Data.003 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:3 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 3 -(1) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(2) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> TRUE -(3) if (((0) == alarmsBlockedTimer || (ALARM_ID_HD_AC_POWER_LOST) == alarm) || (ALARM_ID_HD_AC_POWER_LOST_IN_TREATMENT) == alarm) ==> TRUE -(4) if ((0) == alarmIsActive[alarm]) ==> FALSE -Test Case Generation Notes: -Cannot set return value of function getCPLDACPowerLossDetected in branch 1 -Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.activateAlarm2Data.alarm ) in branches 2/3 -Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.activateAlarm2Data.alarm ) in branches 2/4 -TEST.END_NOTES: -TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 -TEST.VALUE:AlarmMgmt.<>.alarmsBlockedTimer:0 -TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarm:ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED -TEST.END - --- Test Case: activateAlarm2Data.004 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:activateAlarm2Data -TEST.NEW -TEST.NAME:activateAlarm2Data.004 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:4 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 4 -(1) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(2) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> TRUE -(3) if (((0) == alarmsBlockedTimer || (ALARM_ID_HD_AC_POWER_LOST) == alarm) || (ALARM_ID_HD_AC_POWER_LOST_IN_TREATMENT) == alarm) ==> TRUE -(4) if ((0) == alarmIsActive[alarm]) ==> TRUE -(5) if ((1) == (ALARM_TABLE[alarm]).alarmTreatmentLog && (MODE_TREA) == getCurrentOperationMode()) ==> FALSE -Test Case Generation Notes: -Cannot set return value of function getCPLDACPowerLossDetected in branch 1 -Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.activateAlarm2Data.alarm ) in branches 2/3 -Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.activateAlarm2Data.alarm ) in branches 2/4 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmTreatmentLog in branch 5 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL -TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:0 -TEST.VALUE:AlarmMgmt.<>.alarmsBlockedTimer:0 -TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarm:ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED -TEST.END - --- Test Case: activateAlarm2Data.005 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:activateAlarm2Data -TEST.NEW -TEST.NAME:activateAlarm2Data.005 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:5 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 5 -(1) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(2) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> TRUE -(3) if (((0) == alarmsBlockedTimer || (ALARM_ID_HD_AC_POWER_LOST) == alarm) || (ALARM_ID_HD_AC_POWER_LOST_IN_TREATMENT) == alarm) ==> TRUE -(4) if ((0) == alarmIsActive[alarm]) ==> TRUE -(5) if ((1) == (ALARM_TABLE[alarm]).alarmTreatmentLog && (MODE_TREA) == getCurrentOperationMode()) ==> TRUE -Test Case Generation Notes: -Cannot set return value of function getCPLDACPowerLossDetected in branch 1 -Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.activateAlarm2Data.alarm ) in branches 2/3 -Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.activateAlarm2Data.alarm ) in branches 2/4 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmTreatmentLog in branch 5 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA -TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:0 -TEST.VALUE:AlarmMgmt.<>.alarmsBlockedTimer:0 -TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarm:ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED -TEST.END - --- Test Case: activateAlarm2Data.006 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:activateAlarm2Data -TEST.NEW -TEST.NAME:activateAlarm2Data.006 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:6 of 6 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 6 -(1) if ((1) == getCPLDACPowerLossDetected()) ==> TRUE -(2) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> FALSE -Test Case Generation Notes: -Cannot set return value of function getCPLDACPowerLossDetected in branch 1 -TEST.END_NOTES: -TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarm:<> -TEST.END - --- Subprogram: publishAlarmInfo - --- Test Case: publishAlarmInfo.001 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:publishAlarmInfo -TEST.NEW -TEST.NAME:publishAlarmInfo.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 3 -TEST.NOTES: -This is an automatically generated test case. -Test Path 1 -(1) if (++alarmStatusPublicationTimerCounter >= getU32OverrideValue(&alarmStatusPublishInterval)) ==> FALSE -(2) if (++alarmInfoPublicationTimerCounter >= getU32OverrideValue(&alarmInfoPublishInterval)) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> -TEST.END - --- Test Case: publishAlarmInfo.002 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:publishAlarmInfo -TEST.NEW -TEST.NAME:publishAlarmInfo.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 3 (template) -TEST.NOTES: -This is an automatically generated test case. -Test Path 2 -(1) if (++alarmStatusPublicationTimerCounter >= getU32OverrideValue(&alarmStatusPublishInterval)) ==> FALSE -(2) if (++alarmInfoPublicationTimerCounter >= getU32OverrideValue(&alarmInfoPublishInterval)) ==> TRUE -Test Case Generation Notes: -Conflict: Cannot resolve multiple comparisons ( uut_prototype_stubs.getU32OverrideValue.return ) in branches 1/2 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> -TEST.END - --- Test Case: publishAlarmInfo.003 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:publishAlarmInfo -TEST.NEW -TEST.NAME:publishAlarmInfo.003 -TEST.COMPOUND_ONLY -TEST.IMPORT_FAILURES: -(E) Errors from previous script import(s) ->>> (E) @LINE: 50 TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> ->>> >>> Warning: Value already set ->>> >>> Previous value <> ignored -TEST.END_IMPORT_FAILURES: -TEST.BASIS_PATH:3 of 3 -TEST.NOTES: -This is an automatically generated test case. -Test Path 3 -(1) if (++alarmStatusPublicationTimerCounter >= getU32OverrideValue(&alarmStatusPublishInterval)) ==> TRUE -(2) if (++alarmInfoPublicationTimerCounter >= getU32OverrideValue(&alarmInfoPublishInterval)) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> -TEST.END - --- Subprogram: updateAlarmsFlags - --- Test Case: updateAlarmsFlags.001 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:updateAlarmsFlags -TEST.NEW -TEST.NAME:updateAlarmsFlags.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 20 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 1 -(1) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(2) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(3) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(4) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE -(16) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(17) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly || ((((0) == alarmStatus.noClear && (1) == noResume) && (1) == noRinseback) && (1) == noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(18) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(19) if ((((MODE_FAUL) == currentMode || (MODE_SERV) == currentMode) || (MODE_STAN) == currentMode) || (MODE_TREA) == currentMode && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 4 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly in branch 17 -Cannot set local variable noResume in branch 17 -Cannot set local variable noRinseback in branch 17 -Cannot set local variable noEndTreatment in branch 17 -Cannot set return value of function getCPLDACPowerLossDetected in branch 18 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_END_TREATMENT]:<> -TEST.END - --- Test Case: updateAlarmsFlags.002 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:updateAlarmsFlags -TEST.NEW -TEST.NAME:updateAlarmsFlags.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 20 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 2 -(1) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(2) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(3) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(4) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE -(16) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(17) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly || ((((0) == alarmStatus.noClear && (1) == noResume) && (1) == noRinseback) && (1) == noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(18) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(19) if ((((MODE_FAUL) == currentMode || (MODE_SERV) == currentMode) || (MODE_STAN) == currentMode) || (MODE_TREA) == currentMode && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> TRUE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 4 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly in branch 17 -Cannot set local variable noResume in branch 17 -Cannot set local variable noRinseback in branch 17 -Cannot set local variable noEndTreatment in branch 17 -Cannot set return value of function getCPLDACPowerLossDetected in branch 18 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL -TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_END_TREATMENT]:<> -TEST.END - --- Test Case: updateAlarmsFlags.003 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:updateAlarmsFlags -TEST.NEW -TEST.NAME:updateAlarmsFlags.003 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:3 of 20 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 3 -(1) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(2) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(3) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(4) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE -(16) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(17) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly || ((((0) == alarmStatus.noClear && (1) == noResume) && (1) == noRinseback) && (1) == noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(18) if ((1) == getCPLDACPowerLossDetected()) ==> TRUE -(19) if ((((MODE_FAUL) == currentMode || (MODE_SERV) == currentMode) || (MODE_STAN) == currentMode) || (MODE_TREA) == currentMode && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 4 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly in branch 17 -Cannot set local variable noResume in branch 17 -Cannot set local variable noRinseback in branch 17 -Cannot set local variable noEndTreatment in branch 17 -Cannot set return value of function getCPLDACPowerLossDetected in branch 18 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_END_TREATMENT]:<> -TEST.END - --- Test Case: updateAlarmsFlags.004 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:updateAlarmsFlags -TEST.NEW -TEST.NAME:updateAlarmsFlags.004 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:4 of 20 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 4 -(1) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(2) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(3) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(4) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE -(16) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(17) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly || ((((0) == alarmStatus.noClear && (1) == noResume) && (1) == noRinseback) && (1) == noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> TRUE -(18) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(19) if ((((MODE_FAUL) == currentMode || (MODE_SERV) == currentMode) || (MODE_STAN) == currentMode) || (MODE_TREA) == currentMode && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 4 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly in branch 17 -Cannot set local variable noResume in branch 17 -Cannot set local variable noRinseback in branch 17 -Cannot set local variable noEndTreatment in branch 17 -Cannot set return value of function getCPLDACPowerLossDetected in branch 18 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:0 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:0 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_END_TREATMENT]:<> -TEST.END - --- Test Case: updateAlarmsFlags.005 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:updateAlarmsFlags -TEST.NEW -TEST.NAME:updateAlarmsFlags.005 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:5 of 20 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 5 -(1) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(2) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(3) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(4) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE -(16) if ((1) == alarmStatus.topAlarmConditionDetected) ==> TRUE -(17) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly || ((((0) == alarmStatus.noClear && (1) == noResume) && (1) == noRinseback) && (1) == noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(18) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(19) if ((((MODE_FAUL) == currentMode || (MODE_SERV) == currentMode) || (MODE_STAN) == currentMode) || (MODE_TREA) == currentMode && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 4 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly in branch 17 -Cannot set noResume due to assignment -Cannot set local variable noRinseback in branch 17 -Cannot set local variable noEndTreatment in branch 17 -Cannot set return value of function getCPLDACPowerLossDetected in branch 18 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:1 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_END_TREATMENT]:<> -TEST.END - --- Test Case: updateAlarmsFlags.006 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:updateAlarmsFlags -TEST.NEW -TEST.NAME:updateAlarmsFlags.006 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:6 of 20 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 6 -(1) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(2) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(3) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(4) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE -(5) if ((1) == alarmIsActive[a]) ==> FALSE -(16) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(17) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly || ((((0) == alarmStatus.noClear && (1) == noResume) && (1) == noRinseback) && (1) == noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(18) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(19) if ((((MODE_FAUL) == currentMode || (MODE_SERV) == currentMode) || (MODE_STAN) == currentMode) || (MODE_TREA) == currentMode && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 4 -Cannot set a due to assignment -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly in branch 17 -Cannot set local variable noResume in branch 17 -Cannot set local variable noRinseback in branch 17 -Cannot set local variable noEndTreatment in branch 17 -Cannot set return value of function getCPLDACPowerLossDetected in branch 18 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:<> -TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_END_TREATMENT]:<> -TEST.END - --- Test Case: updateAlarmsFlags.007 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:updateAlarmsFlags -TEST.NEW -TEST.NAME:updateAlarmsFlags.007 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:7 of 20 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 7 -(1) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(2) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(3) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(4) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE -(5) if ((1) == alarmIsActive[a]) ==> TRUE -(6) if ((1) == (ALARM_TABLE[a]).alarmIsFault) ==> FALSE -(7) if ((1) == (ALARM_TABLE[a]).alarmStops) ==> FALSE -(8) if ((1) == (ALARM_TABLE[a]).alarmNoClear) ==> FALSE -(9) if ((ALARM_TABLE[a]).alarmNoResume) ==> FALSE -(10) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(12) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(14) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(16) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(17) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly || ((((0) == alarmStatus.noClear && (1) == noResume) && (1) == noRinseback) && (1) == noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(18) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(19) if ((((MODE_FAUL) == currentMode || (MODE_SERV) == currentMode) || (MODE_STAN) == currentMode) || (MODE_TREA) == currentMode && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 4 -Cannot set a due to assignment -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmIsFault in branch 6 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmStops in branch 7 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoClear in branch 8 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoResume in branch 9 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly in branch 17 -Cannot set noResume due to assignment -Cannot set noRinseback due to assignment -Cannot set noEndTreatment due to assignment -Cannot set return value of function getCPLDACPowerLossDetected in branch 18 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_END_TREATMENT]:<> -TEST.END - --- Test Case: updateAlarmsFlags.008 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:updateAlarmsFlags -TEST.NEW -TEST.NAME:updateAlarmsFlags.008 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:8 of 20 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 8 -(1) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(2) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(3) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(4) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE -(5) if ((1) == alarmIsActive[a]) ==> TRUE -(6) if ((1) == (ALARM_TABLE[a]).alarmIsFault) ==> FALSE -(7) if ((1) == (ALARM_TABLE[a]).alarmStops) ==> FALSE -(8) if ((1) == (ALARM_TABLE[a]).alarmNoClear) ==> FALSE -(9) if ((ALARM_TABLE[a]).alarmNoResume) ==> FALSE -(10) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(12) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(14) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> TRUE -(15) if ((1) == (ALARM_TABLE[a]).alarmNoEndTreatment) ==> FALSE -(16) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(17) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly || ((((0) == alarmStatus.noClear && (1) == noResume) && (1) == noRinseback) && (1) == noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(18) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(19) if ((((MODE_FAUL) == currentMode || (MODE_SERV) == currentMode) || (MODE_STAN) == currentMode) || (MODE_TREA) == currentMode && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 4 -Cannot set a due to assignment -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmIsFault in branch 6 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmStops in branch 7 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoClear in branch 8 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoResume in branch 9 -Conflict: Trying to set variable AlarmMgmt.<>.alarmUserRecoveryActionEnabled[2] 'equal to' and 'not equal to' same value in branches 3/14 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoEndTreatment in branch 15 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly in branch 17 -Cannot set noResume due to assignment -Cannot set noRinseback due to assignment -Cannot set noEndTreatment due to assignment -Cannot set return value of function getCPLDACPowerLossDetected in branch 18 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_END_TREATMENT]:<> -TEST.END - --- Test Case: updateAlarmsFlags.009 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:updateAlarmsFlags -TEST.NEW -TEST.NAME:updateAlarmsFlags.009 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:9 of 20 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 9 -(1) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(2) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(3) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(4) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE -(5) if ((1) == alarmIsActive[a]) ==> TRUE -(6) if ((1) == (ALARM_TABLE[a]).alarmIsFault) ==> FALSE -(7) if ((1) == (ALARM_TABLE[a]).alarmStops) ==> FALSE -(8) if ((1) == (ALARM_TABLE[a]).alarmNoClear) ==> FALSE -(9) if ((ALARM_TABLE[a]).alarmNoResume) ==> FALSE -(10) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(12) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(14) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> TRUE -(15) if ((1) == (ALARM_TABLE[a]).alarmNoEndTreatment) ==> TRUE -(16) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(17) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly || ((((0) == alarmStatus.noClear && (1) == noResume) && (1) == noRinseback) && (1) == noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(18) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(19) if ((((MODE_FAUL) == currentMode || (MODE_SERV) == currentMode) || (MODE_STAN) == currentMode) || (MODE_TREA) == currentMode && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 4 -Cannot set a due to assignment -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmIsFault in branch 6 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmStops in branch 7 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoClear in branch 8 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoResume in branch 9 -Conflict: Trying to set variable AlarmMgmt.<>.alarmUserRecoveryActionEnabled[2] 'equal to' and 'not equal to' same value in branches 3/14 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoEndTreatment in branch 15 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly in branch 17 -Cannot set noResume due to assignment -Cannot set noRinseback due to assignment -Cannot set noEndTreatment due to assignment -Cannot set return value of function getCPLDACPowerLossDetected in branch 18 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_END_TREATMENT]:<> -TEST.END - --- Test Case: updateAlarmsFlags.010 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:updateAlarmsFlags -TEST.NEW -TEST.NAME:updateAlarmsFlags.010 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:10 of 20 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 10 -(1) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(2) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(3) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(4) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE -(5) if ((1) == alarmIsActive[a]) ==> TRUE -(6) if ((1) == (ALARM_TABLE[a]).alarmIsFault) ==> FALSE -(7) if ((1) == (ALARM_TABLE[a]).alarmStops) ==> FALSE -(8) if ((1) == (ALARM_TABLE[a]).alarmNoClear) ==> FALSE -(9) if ((ALARM_TABLE[a]).alarmNoResume) ==> FALSE -(10) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(12) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> TRUE -(13) if ((1) == (ALARM_TABLE[a]).alarmNoRinseback) ==> FALSE -(14) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(16) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(17) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly || ((((0) == alarmStatus.noClear && (1) == noResume) && (1) == noRinseback) && (1) == noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(18) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(19) if ((((MODE_FAUL) == currentMode || (MODE_SERV) == currentMode) || (MODE_STAN) == currentMode) || (MODE_TREA) == currentMode && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 4 -Cannot set a due to assignment -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmIsFault in branch 6 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmStops in branch 7 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoClear in branch 8 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoResume in branch 9 -Conflict: Trying to set variable AlarmMgmt.<>.alarmUserRecoveryActionEnabled[1] 'equal to' and 'not equal to' same value in branches 2/12 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoRinseback in branch 13 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly in branch 17 -Cannot set noResume due to assignment -Cannot set noRinseback due to assignment -Cannot set noEndTreatment due to assignment -Cannot set return value of function getCPLDACPowerLossDetected in branch 18 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_END_TREATMENT]:<> -TEST.END - --- Test Case: updateAlarmsFlags.011 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:updateAlarmsFlags -TEST.NEW -TEST.NAME:updateAlarmsFlags.011 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:11 of 20 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 11 -(1) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(2) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(3) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(4) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE -(5) if ((1) == alarmIsActive[a]) ==> TRUE -(6) if ((1) == (ALARM_TABLE[a]).alarmIsFault) ==> FALSE -(7) if ((1) == (ALARM_TABLE[a]).alarmStops) ==> FALSE -(8) if ((1) == (ALARM_TABLE[a]).alarmNoClear) ==> FALSE -(9) if ((ALARM_TABLE[a]).alarmNoResume) ==> FALSE -(10) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(12) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> TRUE -(13) if ((1) == (ALARM_TABLE[a]).alarmNoRinseback) ==> TRUE -(14) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(16) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(17) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly || ((((0) == alarmStatus.noClear && (1) == noResume) && (1) == noRinseback) && (1) == noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(18) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(19) if ((((MODE_FAUL) == currentMode || (MODE_SERV) == currentMode) || (MODE_STAN) == currentMode) || (MODE_TREA) == currentMode && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 4 -Cannot set a due to assignment -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmIsFault in branch 6 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmStops in branch 7 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoClear in branch 8 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoResume in branch 9 -Conflict: Trying to set variable AlarmMgmt.<>.alarmUserRecoveryActionEnabled[1] 'equal to' and 'not equal to' same value in branches 2/12 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoRinseback in branch 13 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly in branch 17 -Cannot set noResume due to assignment -Cannot set noRinseback due to assignment -Cannot set noEndTreatment due to assignment -Cannot set return value of function getCPLDACPowerLossDetected in branch 18 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_END_TREATMENT]:<> -TEST.END - --- Test Case: updateAlarmsFlags.012 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:updateAlarmsFlags -TEST.NEW -TEST.NAME:updateAlarmsFlags.012 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:12 of 20 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 12 -(1) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(2) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(3) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(4) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE -(5) if ((1) == alarmIsActive[a]) ==> TRUE -(6) if ((1) == (ALARM_TABLE[a]).alarmIsFault) ==> FALSE -(7) if ((1) == (ALARM_TABLE[a]).alarmStops) ==> FALSE -(8) if ((1) == (ALARM_TABLE[a]).alarmNoClear) ==> FALSE -(9) if ((ALARM_TABLE[a]).alarmNoResume) ==> FALSE -(10) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> TRUE -(11) if ((1) == (ALARM_TABLE[a]).alarmNoResume) ==> FALSE -(12) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(14) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(16) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(17) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly || ((((0) == alarmStatus.noClear && (1) == noResume) && (1) == noRinseback) && (1) == noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(18) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(19) if ((((MODE_FAUL) == currentMode || (MODE_SERV) == currentMode) || (MODE_STAN) == currentMode) || (MODE_TREA) == currentMode && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 4 -Cannot set a due to assignment -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmIsFault in branch 6 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmStops in branch 7 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoClear in branch 8 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoResume in branch 9 -Conflict: Trying to set variable AlarmMgmt.<>.alarmUserRecoveryActionEnabled[0] 'equal to' and 'not equal to' same value in branches 1/10 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoResume in branch 11 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly in branch 17 -Cannot set noResume due to assignment -Cannot set noRinseback due to assignment -Cannot set noEndTreatment due to assignment -Cannot set return value of function getCPLDACPowerLossDetected in branch 18 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_END_TREATMENT]:<> -TEST.END - --- Test Case: updateAlarmsFlags.013 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:updateAlarmsFlags -TEST.NEW -TEST.NAME:updateAlarmsFlags.013 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:13 of 20 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 13 -(1) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(2) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(3) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(4) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE -(5) if ((1) == alarmIsActive[a]) ==> TRUE -(6) if ((1) == (ALARM_TABLE[a]).alarmIsFault) ==> FALSE -(7) if ((1) == (ALARM_TABLE[a]).alarmStops) ==> FALSE -(8) if ((1) == (ALARM_TABLE[a]).alarmNoClear) ==> FALSE -(9) if ((ALARM_TABLE[a]).alarmNoResume) ==> FALSE -(10) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> TRUE -(11) if ((1) == (ALARM_TABLE[a]).alarmNoResume) ==> TRUE -(12) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(14) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(16) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(17) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly || ((((0) == alarmStatus.noClear && (1) == noResume) && (1) == noRinseback) && (1) == noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(18) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(19) if ((((MODE_FAUL) == currentMode || (MODE_SERV) == currentMode) || (MODE_STAN) == currentMode) || (MODE_TREA) == currentMode && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 4 -Cannot set a due to assignment -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmIsFault in branch 6 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmStops in branch 7 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoClear in branch 8 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoResume in branch 9 -Conflict: Trying to set variable AlarmMgmt.<>.alarmUserRecoveryActionEnabled[0] 'equal to' and 'not equal to' same value in branches 1/10 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoResume in branch 11 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly in branch 17 -Cannot set noResume due to assignment -Cannot set noRinseback due to assignment -Cannot set noEndTreatment due to assignment -Cannot set return value of function getCPLDACPowerLossDetected in branch 18 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_END_TREATMENT]:<> -TEST.END - --- Test Case: updateAlarmsFlags.014 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:updateAlarmsFlags -TEST.NEW -TEST.NAME:updateAlarmsFlags.014 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:14 of 20 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 14 -(1) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(2) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(3) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(4) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE -(5) if ((1) == alarmIsActive[a]) ==> TRUE -(6) if ((1) == (ALARM_TABLE[a]).alarmIsFault) ==> FALSE -(7) if ((1) == (ALARM_TABLE[a]).alarmStops) ==> FALSE -(8) if ((1) == (ALARM_TABLE[a]).alarmNoClear) ==> FALSE -(9) if ((ALARM_TABLE[a]).alarmNoResume) ==> TRUE -(10) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(12) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(14) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(16) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(17) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly || ((((0) == alarmStatus.noClear && (1) == noResume) && (1) == noRinseback) && (1) == noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(18) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(19) if ((((MODE_FAUL) == currentMode || (MODE_SERV) == currentMode) || (MODE_STAN) == currentMode) || (MODE_TREA) == currentMode && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 4 -Cannot set a due to assignment -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmIsFault in branch 6 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmStops in branch 7 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoClear in branch 8 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoResume in branch 9 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly in branch 17 -Cannot set noResume due to assignment -Cannot set noRinseback due to assignment -Cannot set noEndTreatment due to assignment -Cannot set return value of function getCPLDACPowerLossDetected in branch 18 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_END_TREATMENT]:<> -TEST.END - --- Test Case: updateAlarmsFlags.015 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:updateAlarmsFlags -TEST.NEW -TEST.NAME:updateAlarmsFlags.015 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:15 of 20 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 15 -(1) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(2) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(3) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(4) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE -(5) if ((1) == alarmIsActive[a]) ==> TRUE -(6) if ((1) == (ALARM_TABLE[a]).alarmIsFault) ==> FALSE -(7) if ((1) == (ALARM_TABLE[a]).alarmStops) ==> FALSE -(8) if ((1) == (ALARM_TABLE[a]).alarmNoClear) ==> TRUE -(9) if ((ALARM_TABLE[a]).alarmNoResume) ==> FALSE -(10) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(12) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(14) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(16) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(17) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly || ((((0) == alarmStatus.noClear && (1) == noResume) && (1) == noRinseback) && (1) == noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(18) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(19) if ((((MODE_FAUL) == currentMode || (MODE_SERV) == currentMode) || (MODE_STAN) == currentMode) || (MODE_TREA) == currentMode && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 4 -Cannot set a due to assignment -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmIsFault in branch 6 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmStops in branch 7 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoClear in branch 8 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoResume in branch 9 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly in branch 17 -Cannot set noResume due to assignment -Cannot set noRinseback due to assignment -Cannot set noEndTreatment due to assignment -Cannot set return value of function getCPLDACPowerLossDetected in branch 18 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_END_TREATMENT]:<> -TEST.END - --- Test Case: updateAlarmsFlags.016 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:updateAlarmsFlags -TEST.NEW -TEST.NAME:updateAlarmsFlags.016 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:16 of 20 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 16 -(1) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(2) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(3) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(4) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE -(5) if ((1) == alarmIsActive[a]) ==> TRUE -(6) if ((1) == (ALARM_TABLE[a]).alarmIsFault) ==> FALSE -(7) if ((1) == (ALARM_TABLE[a]).alarmStops) ==> TRUE -(8) if ((1) == (ALARM_TABLE[a]).alarmNoClear) ==> FALSE -(9) if ((ALARM_TABLE[a]).alarmNoResume) ==> FALSE -(10) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(12) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(14) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(16) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(17) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly || ((((0) == alarmStatus.noClear && (1) == noResume) && (1) == noRinseback) && (1) == noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(18) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(19) if ((((MODE_FAUL) == currentMode || (MODE_SERV) == currentMode) || (MODE_STAN) == currentMode) || (MODE_TREA) == currentMode && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 4 -Cannot set a due to assignment -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmIsFault in branch 6 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmStops in branch 7 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoClear in branch 8 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoResume in branch 9 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly in branch 17 -Cannot set noResume due to assignment -Cannot set noRinseback due to assignment -Cannot set noEndTreatment due to assignment -Cannot set return value of function getCPLDACPowerLossDetected in branch 18 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_END_TREATMENT]:<> -TEST.END - --- Test Case: updateAlarmsFlags.017 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:updateAlarmsFlags -TEST.NEW -TEST.NAME:updateAlarmsFlags.017 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:17 of 20 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 17 -(1) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(2) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(3) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(4) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE -(5) if ((1) == alarmIsActive[a]) ==> TRUE -(6) if ((1) == (ALARM_TABLE[a]).alarmIsFault) ==> TRUE -(7) if ((1) == (ALARM_TABLE[a]).alarmStops) ==> FALSE -(8) if ((1) == (ALARM_TABLE[a]).alarmNoClear) ==> FALSE -(9) if ((ALARM_TABLE[a]).alarmNoResume) ==> FALSE -(10) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(12) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(14) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(16) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(17) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly || ((((0) == alarmStatus.noClear && (1) == noResume) && (1) == noRinseback) && (1) == noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(18) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(19) if ((((MODE_FAUL) == currentMode || (MODE_SERV) == currentMode) || (MODE_STAN) == currentMode) || (MODE_TREA) == currentMode && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 4 -Cannot set a due to assignment -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmIsFault in branch 6 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmStops in branch 7 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoClear in branch 8 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoResume in branch 9 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly in branch 17 -Cannot set noResume due to assignment -Cannot set noRinseback due to assignment -Cannot set noEndTreatment due to assignment -Cannot set return value of function getCPLDACPowerLossDetected in branch 18 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_END_TREATMENT]:<> -TEST.END - --- Test Case: updateAlarmsFlags.018 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:updateAlarmsFlags -TEST.NEW -TEST.NAME:updateAlarmsFlags.018 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:18 of 20 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 18 -(1) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(2) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(3) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> TRUE -(4) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE -(16) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(17) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly || ((((0) == alarmStatus.noClear && (1) == noResume) && (1) == noRinseback) && (1) == noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(18) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(19) if ((((MODE_FAUL) == currentMode || (MODE_SERV) == currentMode) || (MODE_STAN) == currentMode) || (MODE_TREA) == currentMode && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 4 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly in branch 17 -Cannot set local variable noResume in branch 17 -Cannot set local variable noRinseback in branch 17 -Cannot set local variable noEndTreatment in branch 17 -Cannot set return value of function getCPLDACPowerLossDetected in branch 18 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_RINSEBACK]:<> -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]:1 -TEST.END - --- Test Case: updateAlarmsFlags.019 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:updateAlarmsFlags -TEST.NEW -TEST.NAME:updateAlarmsFlags.019 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:19 of 20 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 19 -(1) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE -(2) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> TRUE -(3) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(4) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE -(16) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(17) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly || ((((0) == alarmStatus.noClear && (1) == noResume) && (1) == noRinseback) && (1) == noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(18) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(19) if ((((MODE_FAUL) == currentMode || (MODE_SERV) == currentMode) || (MODE_STAN) == currentMode) || (MODE_TREA) == currentMode && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 4 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly in branch 17 -Cannot set local variable noResume in branch 17 -Cannot set local variable noRinseback in branch 17 -Cannot set local variable noEndTreatment in branch 17 -Cannot set return value of function getCPLDACPowerLossDetected in branch 18 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]:<> -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]:1 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]:<> -TEST.END - --- Test Case: updateAlarmsFlags.020 -TEST.UNIT:AlarmMgmt -TEST.SUBPROGRAM:updateAlarmsFlags -TEST.NEW -TEST.NAME:updateAlarmsFlags.020 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:20 of 20 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 20 -(1) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> TRUE -(2) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE -(3) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE -(4) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE -(16) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(17) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly || ((((0) == alarmStatus.noClear && (1) == noResume) && (1) == noRinseback) && (1) == noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE -(18) if ((1) == getCPLDACPowerLossDetected()) ==> FALSE -(19) if ((((MODE_FAUL) == currentMode || (MODE_SERV) == currentMode) || (MODE_STAN) == currentMode) || (MODE_TREA) == currentMode && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 4 -Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmClearOnly in branch 17 -Cannot set local variable noResume in branch 17 -Cannot set local variable noRinseback in branch 17 -Cannot set local variable noEndTreatment in branch 17 -Cannot set return value of function getCPLDACPowerLossDetected in branch 18 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT -TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE -TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 -TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]:1 -TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK..ALARM_USER_ACTION_END_TREATMENT]:<> -TEST.END - -- Unit: Buttons --- Subprogram: execButtons - --- Test Case: execButtons.001 -TEST.UNIT:Buttons -TEST.SUBPROGRAM:execButtons -TEST.NEW -TEST.NAME:execButtons.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 3 (template) -TEST.NOTES: -This is an automatically generated test case. -Test Path 1 -(1) if (off == (PIN_SIGNAL_HIGH)) ==> FALSE -(2) if (stop == (PIN_SIGNAL_HIGH)) ==> FALSE -Test Case Generation Notes: -Cannot set local variable off in branch 1 -Cannot set local variable stop in branch 2 -TEST.END_NOTES: -TEST.END - --- Test Case: execButtons.002 -TEST.UNIT:Buttons -TEST.SUBPROGRAM:execButtons -TEST.NEW -TEST.NAME:execButtons.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 3 (template) -TEST.NOTES: -This is an automatically generated test case. -Test Path 2 -(1) if (off == (PIN_SIGNAL_HIGH)) ==> FALSE -(2) if (stop == (PIN_SIGNAL_HIGH)) ==> TRUE -Test Case Generation Notes: -Cannot set local variable off in branch 1 -Cannot set local variable stop in branch 2 -TEST.END_NOTES: -TEST.END - --- Test Case: execButtons.003 -TEST.UNIT:Buttons -TEST.SUBPROGRAM:execButtons -TEST.NEW -TEST.NAME:execButtons.003 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:3 of 3 (template) -TEST.NOTES: -This is an automatically generated test case. -Test Path 3 -(1) if (off == (PIN_SIGNAL_HIGH)) ==> TRUE -(2) if (stop == (PIN_SIGNAL_HIGH)) ==> FALSE -Test Case Generation Notes: -Cannot set local variable off in branch 1 -Cannot set local variable stop in branch 2 -TEST.END_NOTES: -TEST.END - --- Test Case: getCPLDOffAndStopButtons -TEST.UNIT:Buttons -TEST.SUBPROGRAM:execButtons -TEST.NEW -TEST.NAME:getCPLDOffAndStopButtons -TEST.COMPOUND_ONLY -TEST.VALUE:uut_prototype_stubs.gioGetBit.return:1 -TEST.EXPECTED:uut_prototype_stubs.gioGetBit.bit:0,1 -TEST.END - -- Subprogram: handleOffButtonProcessing --- Test Case: handleOffButtonProcessing.001 -TEST.UNIT:Buttons -TEST.SUBPROGRAM:handleOffButtonProcessing -TEST.NEW -TEST.NAME:handleOffButtonProcessing.001 -TEST.BASIS_PATH:1 of 9 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if (getOffButtonState() != prevOffButtonState) ==> FALSE - (3) if ((1) == offRequestAwaitingUserConfirmation) ==> FALSE - (5) if ((1) == offButtonPressPending) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:Buttons.getOffButtonState -TEST.VALUE:Buttons.<>.prevOffButtonState:<> -TEST.VALUE:Buttons.<>.offRequestAwaitingUserConfirmation:<> -TEST.VALUE:Buttons.<>.offButtonPressPending:<> -TEST.VALUE:Buttons.getOffButtonState.return:<> -TEST.EXPECTED:Buttons.<>.prevOffButtonState:BUTTON_STATE_RELEASED -TEST.EXPECTED:Buttons.<>.offRequestAwaitingUserConfirmation:0 -TEST.EXPECTED:Buttons.<>.offButtonPressPending:0 -TEST.END - --- Test Case: handleOffButtonProcessing.002 -TEST.UNIT:Buttons -TEST.SUBPROGRAM:handleOffButtonProcessing -TEST.NEW -TEST.NAME:handleOffButtonProcessing.002 -TEST.BASIS_PATH:2 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if (getOffButtonState() != prevOffButtonState) ==> FALSE - (3) if ((1) == offRequestAwaitingUserConfirmation) ==> FALSE - (5) if ((1) == offButtonPressPending) ==> TRUE - (6) if (offRequestDelayTimer >= (2000)) ==> FALSE - Test Case Generation Notes: - Cannot set offRequestDelayTimer due to assignment -TEST.END_NOTES: -TEST.STUB:Buttons.getOffButtonState -TEST.VALUE:Buttons.<>.prevOffButtonState:<> -TEST.VALUE:Buttons.<>.offRequestAwaitingUserConfirmation:<> -TEST.VALUE:Buttons.<>.offButtonPressPending:1 -TEST.VALUE:Buttons.getOffButtonState.return:<> -TEST.EXPECTED:Buttons.<>.prevOffButtonState:BUTTON_STATE_RELEASED -TEST.EXPECTED:Buttons.<>.offRequestAwaitingUserConfirmation:0 -TEST.EXPECTED:Buttons.<>.offButtonPressPending:1 -TEST.END - --- Test Case: handleOffButtonProcessing.003 -TEST.UNIT:Buttons -TEST.SUBPROGRAM:handleOffButtonProcessing -TEST.NEW -TEST.NAME:handleOffButtonProcessing.003 -TEST.BASIS_PATH:3 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) if (getOffButtonState() != prevOffButtonState) ==> FALSE - (3) if ((1) == offRequestAwaitingUserConfirmation) ==> FALSE - (5) if ((1) == offButtonPressPending) ==> TRUE - (6) if (offRequestDelayTimer >= (2000)) ==> TRUE - (7) if (offRequestPulseTimer >= (50)) ==> FALSE - Test Case Generation Notes: - Cannot set offRequestDelayTimer due to assignment - Cannot set offRequestPulseTimer due to assignment -TEST.END_NOTES: -TEST.STUB:Buttons.getOffButtonState -TEST.VALUE:Buttons.<>.prevOffButtonState:<> -TEST.VALUE:Buttons.<>.offRequestAwaitingUserConfirmation:<> -TEST.VALUE:Buttons.<>.offButtonPressPending:1 -TEST.VALUE:Buttons.getOffButtonState.return:<> -TEST.EXPECTED:Buttons.<>.prevOffButtonState:BUTTON_STATE_RELEASED -TEST.EXPECTED:Buttons.<>.offRequestAwaitingUserConfirmation:0 -TEST.EXPECTED:Buttons.<>.offButtonPressPending:1 -TEST.END - --- Test Case: handleOffButtonProcessing.004 -TEST.UNIT:Buttons -TEST.SUBPROGRAM:handleOffButtonProcessing -TEST.NEW -TEST.NAME:handleOffButtonProcessing.004 -TEST.BASIS_PATH:4 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) if (getOffButtonState() != prevOffButtonState) ==> FALSE - (3) if ((1) == offRequestAwaitingUserConfirmation) ==> FALSE - (5) if ((1) == offButtonPressPending) ==> TRUE - (6) if (offRequestDelayTimer >= (2000)) ==> TRUE - (7) if (offRequestPulseTimer >= (50)) ==> TRUE - (8) if (offRequestPulseCount == (0)) ==> FALSE - Test Case Generation Notes: - Cannot set offRequestDelayTimer due to assignment - Cannot set offRequestPulseTimer due to assignment - Cannot set offRequestPulseCount due to assignment -TEST.END_NOTES: -TEST.STUB:Buttons.getOffButtonState -TEST.VALUE:Buttons.<>.prevOffButtonState:<> -TEST.VALUE:Buttons.<>.offRequestAwaitingUserConfirmation:<> -TEST.VALUE:Buttons.<>.offButtonPressPending:1 -TEST.VALUE:Buttons.getOffButtonState.return:<> -TEST.EXPECTED:Buttons.<>.prevOffButtonState:BUTTON_STATE_RELEASED -TEST.EXPECTED:Buttons.<>.offRequestAwaitingUserConfirmation:0 -TEST.EXPECTED:Buttons.<>.offButtonPressPending:1 -TEST.END - --- Test Case: handleOffButtonProcessing.005 -TEST.UNIT:Buttons -TEST.SUBPROGRAM:handleOffButtonProcessing -TEST.NEW -TEST.NAME:handleOffButtonProcessing.005 -TEST.BASIS_PATH:5 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 5 - (1) if (getOffButtonState() != prevOffButtonState) ==> FALSE - (3) if ((1) == offRequestAwaitingUserConfirmation) ==> FALSE - (5) if ((1) == offButtonPressPending) ==> TRUE - (6) if (offRequestDelayTimer >= (2000)) ==> TRUE - (7) if (offRequestPulseTimer >= (50)) ==> TRUE - (8) if (offRequestPulseCount == (0)) ==> TRUE - Test Case Generation Notes: - Cannot set offRequestDelayTimer due to assignment - Cannot set offRequestPulseTimer due to assignment - Cannot set offRequestPulseCount due to assignment -TEST.END_NOTES: -TEST.STUB:Buttons.getOffButtonState -TEST.VALUE:Buttons.<>.prevOffButtonState:<> -TEST.VALUE:Buttons.<>.offRequestAwaitingUserConfirmation:<> -TEST.VALUE:Buttons.<>.offButtonPressPending:1 -TEST.VALUE:Buttons.getOffButtonState.return:<> -TEST.EXPECTED:Buttons.<>.prevOffButtonState:BUTTON_STATE_RELEASED -TEST.EXPECTED:Buttons.<>.offRequestAwaitingUserConfirmation:0 -TEST.EXPECTED:Buttons.<>.offButtonPressPending:1 -TEST.END - --- Test Case: handleOffButtonProcessing.006 -TEST.UNIT:Buttons -TEST.SUBPROGRAM:handleOffButtonProcessing -TEST.NEW -TEST.NAME:handleOffButtonProcessing.006 -TEST.BASIS_PATH:6 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 6 - (1) if (getOffButtonState() != prevOffButtonState) ==> FALSE - (3) if ((1) == offRequestAwaitingUserConfirmation) ==> TRUE - (4) if (offRequestPendingTimer >= 1000 * 60) ==> FALSE - (5) if ((1) == offButtonPressPending) ==> FALSE - Test Case Generation Notes: - Cannot set offRequestPendingTimer due to assignment -TEST.END_NOTES: -TEST.STUB:Buttons.getOffButtonState -TEST.VALUE:Buttons.<>.prevOffButtonState:<> -TEST.VALUE:Buttons.<>.offRequestAwaitingUserConfirmation:1 -TEST.VALUE:Buttons.<>.offButtonPressPending:<> -TEST.VALUE:Buttons.getOffButtonState.return:<> -TEST.EXPECTED:Buttons.<>.prevOffButtonState:BUTTON_STATE_RELEASED -TEST.EXPECTED:Buttons.<>.offRequestAwaitingUserConfirmation:1 -TEST.EXPECTED:Buttons.<>.offButtonPressPending:0 -TEST.END - --- Test Case: handleOffButtonProcessing.007 -TEST.UNIT:Buttons -TEST.SUBPROGRAM:handleOffButtonProcessing -TEST.NEW -TEST.NAME:handleOffButtonProcessing.007 -TEST.BASIS_PATH:7 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 7 - (1) if (getOffButtonState() != prevOffButtonState) ==> FALSE - (3) if ((1) == offRequestAwaitingUserConfirmation) ==> TRUE - (4) if (offRequestPendingTimer >= 1000 * 60) ==> TRUE - (5) if ((1) == offButtonPressPending) ==> FALSE - Test Case Generation Notes: - Cannot set offRequestPendingTimer due to assignment -TEST.END_NOTES: -TEST.STUB:Buttons.getOffButtonState -TEST.VALUE:Buttons.<>.prevOffButtonState:<> -TEST.VALUE:Buttons.<>.offRequestAwaitingUserConfirmation:1 -TEST.VALUE:Buttons.<>.offButtonPressPending:<> -TEST.VALUE:Buttons.getOffButtonState.return:<> -TEST.EXPECTED:Buttons.<>.prevOffButtonState:BUTTON_STATE_RELEASED -TEST.EXPECTED:Buttons.<>.offRequestAwaitingUserConfirmation:1 -TEST.EXPECTED:Buttons.<>.offButtonPressPending:0 -TEST.END - --- Test Case: handleOffButtonProcessing.008 -TEST.UNIT:Buttons -TEST.SUBPROGRAM:handleOffButtonProcessing -TEST.NEW -TEST.NAME:handleOffButtonProcessing.008 -TEST.BASIS_PATH:8 of 9 -TEST.NOTES: -This is an automatically generated test case. - Test Path 8 - (1) if (getOffButtonState() != prevOffButtonState) ==> TRUE - (2) if (getOffButtonState() == (BUTTON_STATE_PRESSED)) ==> FALSE - (3) if ((1) == offRequestAwaitingUserConfirmation) ==> FALSE - (5) if ((1) == offButtonPressPending) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.STUB:Buttons.getOffButtonState -TEST.VALUE:Buttons.<>.prevOffButtonState:BUTTON_STATE_PRESSED -TEST.VALUE:Buttons.<>.offRequestAwaitingUserConfirmation:<> -TEST.VALUE:Buttons.<>.offButtonPressPending:<> -TEST.VALUE:Buttons.getOffButtonState.return:BUTTON_STATE_RELEASED -TEST.EXPECTED:Buttons.<>.prevOffButtonState:BUTTON_STATE_RELEASED -TEST.EXPECTED:Buttons.<>.offRequestAwaitingUserConfirmation:0 -TEST.EXPECTED:Buttons.<>.offButtonPressPending:0 -TEST.END - --- Test Case: handleOffButtonProcessing.009 -TEST.UNIT:Buttons -TEST.SUBPROGRAM:handleOffButtonProcessing -TEST.NEW -TEST.NAME:handleOffButtonProcessing.009 -TEST.BASIS_PATH:9 of 9 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 9 - (1) if (getOffButtonState() != prevOffButtonState) ==> TRUE - (2) if (getOffButtonState() == (BUTTON_STATE_PRESSED)) ==> TRUE - (3) if ((1) == offRequestAwaitingUserConfirmation) ==> FALSE - (5) if ((1) == offButtonPressPending) ==> FALSE - Test Case Generation Notes: - Conflict: Cannot resolve multiple comparisons ( Buttons.getOffButtonState.return ) in branches 1/2 -TEST.END_NOTES: -TEST.STUB:Buttons.getOffButtonState -TEST.VALUE:Buttons.<>.prevOffButtonState:BUTTON_STATE_PRESSED -TEST.VALUE:Buttons.<>.offRequestAwaitingUserConfirmation:<> -TEST.VALUE:Buttons.<>.offButtonPressPending:<> -TEST.VALUE:Buttons.getOffButtonState.return:BUTTON_STATE_RELEASED -TEST.EXPECTED:Buttons.<>.prevOffButtonState:BUTTON_STATE_RELEASED -TEST.EXPECTED:Buttons.<>.offRequestAwaitingUserConfirmation:0 -TEST.EXPECTED:Buttons.<>.offButtonPressPending:0 -TEST.END - -- Test Case: toggleCPLDOffRequest TEST.UNIT:Buttons TEST.SUBPROGRAM:handleOffButtonProcessing @@ -1634,340 +53,10 @@ TEST.EXPECTED:Buttons.<>.offRequestDelayTimer:2000 TEST.END --- Unit: TaskGeneral - --- Subprogram: taskGeneral - --- Test Case: taskGeneral.001 -TEST.UNIT:TaskGeneral -TEST.SUBPROGRAM:taskGeneral -TEST.NEW -TEST.NAME:taskGeneral.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 2 -TEST.NOTES: -This is an automatically generated test case. -Test Path 1 -(1) if ((1) == uiCommunicated()) ==> FALSE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:<> -TEST.END - --- Test Case: taskGeneral.002 -TEST.UNIT:TaskGeneral -TEST.SUBPROGRAM:taskGeneral -TEST.NEW -TEST.NAME:taskGeneral.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 2 -TEST.NOTES: -This is an automatically generated test case. -Test Path 2 -(1) if ((1) == uiCommunicated()) ==> TRUE -Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:1 -TEST.END - --- Unit: TaskPriority - --- Subprogram: taskPriority - --- Test Case: taskPriority.001 -TEST.UNIT:TaskPriority -TEST.SUBPROGRAM:taskPriority -TEST.NEW -TEST.NAME:taskPriority.001 -TEST.BASIS_PATH:1 of 2 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if ((1) == uiCommunicated()) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:<> -TEST.END - --- Test Case: taskPriority.002 -TEST.UNIT:TaskPriority -TEST.SUBPROGRAM:taskPriority -TEST.NEW -TEST.NAME:taskPriority.002 -TEST.BASIS_PATH:2 of 2 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if ((1) == uiCommunicated()) ==> TRUE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:1 -TEST.END - --- Unit: TaskTimer - --- Subprogram: taskTimer - --- Test Case: taskTimer.001 -TEST.UNIT:TaskTimer -TEST.SUBPROGRAM:taskTimer -TEST.NEW -TEST.NAME:taskTimer.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 1 -TEST.NOTES: -No branches in subprogram -TEST.END_NOTES: -TEST.END - --- Unit: Voltages - --- Subprogram: checkVoltageRanges - --- Test Case: checkVoltageRanges.001 -TEST.UNIT:Voltages -TEST.SUBPROGRAM:checkVoltageRanges -TEST.NEW -TEST.NAME:checkVoltageRanges.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 7 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 1 -(1) for (channel < (NUM_OF_MONITORED_LINES)) ==> FALSE -(4) if ((1) == hasPowerBeenLost) ==> FALSE -(6) if ((1) == isPersistentAlarmConditionCleared(ALARM_ID_HD_AC_POWER_LOST, hasPowerBeenLost)) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 1 -Cannot set local variable hasPowerBeenLost in branch 4 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmConditionCleared.return:<> -TEST.END - --- Test Case: checkVoltageRanges.002 -TEST.UNIT:Voltages -TEST.SUBPROGRAM:checkVoltageRanges -TEST.NEW -TEST.NAME:checkVoltageRanges.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 7 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 2 -(1) for (channel < (NUM_OF_MONITORED_LINES)) ==> FALSE -(4) if ((1) == hasPowerBeenLost) ==> FALSE -(6) if ((1) == isPersistentAlarmConditionCleared(ALARM_ID_HD_AC_POWER_LOST, hasPowerBeenLost)) ==> TRUE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 1 -Cannot set local variable hasPowerBeenLost in branch 4 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmConditionCleared.return:1 -TEST.END - --- Test Case: checkVoltageRanges.003 -TEST.UNIT:Voltages -TEST.SUBPROGRAM:checkVoltageRanges -TEST.NEW -TEST.NAME:checkVoltageRanges.003 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:3 of 7 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 3 -(1) for (channel < (NUM_OF_MONITORED_LINES)) ==> FALSE -(4) if ((1) == hasPowerBeenLost) ==> TRUE -(5) if (((MODE_PRET) == opMode || (MODE_TREA) == opMode) || (MODE_POST) == opMode) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 1 -Cannot set local variable hasPowerBeenLost in branch 4 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL -TEST.END - --- Test Case: checkVoltageRanges.004 -TEST.UNIT:Voltages -TEST.SUBPROGRAM:checkVoltageRanges -TEST.NEW -TEST.NAME:checkVoltageRanges.004 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:4 of 7 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 4 -(1) for (channel < (NUM_OF_MONITORED_LINES)) ==> FALSE -(4) if ((1) == hasPowerBeenLost) ==> TRUE -(5) if (((MODE_PRET) == opMode || (MODE_TREA) == opMode) || (MODE_POST) == opMode) ==> TRUE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 1 -Cannot set local variable hasPowerBeenLost in branch 4 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_PRET -TEST.END - --- Test Case: checkVoltageRanges.005 -TEST.UNIT:Voltages -TEST.SUBPROGRAM:checkVoltageRanges -TEST.NEW -TEST.NAME:checkVoltageRanges.005 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:5 of 7 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 5 -(1) for (channel < (NUM_OF_MONITORED_LINES)) ==> TRUE -(2) if (isSafetyShutdownActivated() != (1) && hasPowerBeenLost != (1) || channel != (MONITORED_LINE_24V) && channel != (MONITORED_LINE_24V_REGEN)) ==> FALSE -(4) if ((1) == hasPowerBeenLost) ==> FALSE -(6) if ((1) == isPersistentAlarmConditionCleared(ALARM_ID_HD_AC_POWER_LOST, hasPowerBeenLost)) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 1 -Cannot set local variable hasPowerBeenLost in branch 2 -Cannot set channel due to assignment -Cannot set local variable hasPowerBeenLost in branch 4 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmConditionCleared.return:<> -TEST.VALUE:uut_prototype_stubs.isSafetyShutdownActivated.return:1 -TEST.END - --- Test Case: checkVoltageRanges.006 -TEST.UNIT:Voltages -TEST.SUBPROGRAM:checkVoltageRanges -TEST.NEW -TEST.NAME:checkVoltageRanges.006 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:6 of 7 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 6 -(1) for (channel < (NUM_OF_MONITORED_LINES)) ==> TRUE -(2) if (isSafetyShutdownActivated() != (1) && hasPowerBeenLost != (1) || channel != (MONITORED_LINE_24V) && channel != (MONITORED_LINE_24V_REGEN)) ==> TRUE -(3) if (volts > MAX_VOLTAGES[channel] || volts < MIN_VOLTAGES[channel]) ==> TRUE -(4) if ((1) == hasPowerBeenLost) ==> FALSE -(6) if ((1) == isPersistentAlarmConditionCleared(ALARM_ID_HD_AC_POWER_LOST, hasPowerBeenLost)) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 1 -Cannot set local variable hasPowerBeenLost in branch 2 -Cannot set channel due to assignment -Cannot set local variable hasPowerBeenLost in branch 4 -TEST.END_NOTES: -TEST.STUB:Voltages.getMonitoredLineLevel -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmConditionCleared.return:<> -TEST.VALUE:uut_prototype_stubs.isSafetyShutdownActivated.return:<> -TEST.VALUE:Voltages.getMonitoredLineLevel.return:<> -TEST.END - --- Test Case: checkVoltageRanges.007 -TEST.UNIT:Voltages -TEST.SUBPROGRAM:checkVoltageRanges -TEST.NEW -TEST.NAME:checkVoltageRanges.007 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:7 of 7 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 7 -(1) for (channel < (NUM_OF_MONITORED_LINES)) ==> TRUE -(2) if (isSafetyShutdownActivated() != (1) && hasPowerBeenLost != (1) || channel != (MONITORED_LINE_24V) && channel != (MONITORED_LINE_24V_REGEN)) ==> TRUE -(3) if (volts > MAX_VOLTAGES[channel] || volts < MIN_VOLTAGES[channel]) ==> FALSE -(4) if ((1) == hasPowerBeenLost) ==> FALSE -(6) if ((1) == isPersistentAlarmConditionCleared(ALARM_ID_HD_AC_POWER_LOST, hasPowerBeenLost)) ==> FALSE -Test Case Generation Notes: -Conflict: Unable to control expression-to-expression comparison in branch 1 -Cannot set local variable hasPowerBeenLost in branch 2 -Cannot set channel due to assignment -Cannot set variable TEST.VALUE:Voltages.getMonitoredLineLevel.return: in branch 3 to unknown value -Cannot set const variable TEST.VALUE:Voltages.<>.MIN_VOLTAGES[0]: -Cannot set const variable TEST.VALUE:Voltages.<>.MAX_VOLTAGES[0]: -Cannot set local variable hasPowerBeenLost in branch 4 -TEST.END_NOTES: -TEST.STUB:Voltages.getMonitoredLineLevel -TEST.VALUE:uut_prototype_stubs.isPersistentAlarmConditionCleared.return:<> -TEST.VALUE:uut_prototype_stubs.isSafetyShutdownActivated.return:<> -TEST.END - -- Unit: WatchdogMgmt -- Subprogram: execWatchdogMgmt --- Test Case: execWatchdogMgmt.001 -TEST.UNIT:WatchdogMgmt -TEST.SUBPROGRAM:execWatchdogMgmt -TEST.NEW -TEST.NAME:execWatchdogMgmt.001 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:1 of 4 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 1 -(1) if ((1) == allTasksCheckedIn && (1) == didTimeout(lastWatchdogPetTime, 45)) ==> FALSE -(2) if ((PIN_SIGNAL_LOW) == getCPLDWatchdogExpired()) ==> FALSE -Test Case Generation Notes: -Cannot set return value of function getCPLDWatchdogExpired in branch 2 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> -TEST.END - --- Test Case: execWatchdogMgmt.002 -TEST.UNIT:WatchdogMgmt -TEST.SUBPROGRAM:execWatchdogMgmt -TEST.NEW -TEST.NAME:execWatchdogMgmt.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 4 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 2 -(1) if ((1) == allTasksCheckedIn && (1) == didTimeout(lastWatchdogPetTime, 45)) ==> FALSE -(2) if ((PIN_SIGNAL_LOW) == getCPLDWatchdogExpired()) ==> TRUE -(3) if ((WATCHDOG_SELF_TEST_STATE_COMPLETE) == watchdogSelfTestState || getCurrentOperationMode() != (MODE_INIT)) ==> FALSE -Test Case Generation Notes: -Cannot set return value of function getCPLDWatchdogExpired in branch 2 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT -TEST.VALUE:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_START -TEST.EXPECTED:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_START -TEST.END - --- Test Case: execWatchdogMgmt.003 -TEST.UNIT:WatchdogMgmt -TEST.SUBPROGRAM:execWatchdogMgmt -TEST.NEW -TEST.NAME:execWatchdogMgmt.003 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:3 of 4 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 3 -(1) if ((1) == allTasksCheckedIn && (1) == didTimeout(lastWatchdogPetTime, 45)) ==> FALSE -(2) if ((PIN_SIGNAL_LOW) == getCPLDWatchdogExpired()) ==> TRUE -(3) if ((WATCHDOG_SELF_TEST_STATE_COMPLETE) == watchdogSelfTestState || getCurrentOperationMode() != (MODE_INIT)) ==> TRUE -Test Case Generation Notes: -Cannot set return value of function getCPLDWatchdogExpired in branch 2 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> -TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL -TEST.VALUE:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_COMPLETE -TEST.EXPECTED:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_COMPLETE -TEST.END - --- Test Case: execWatchdogMgmt.004 -TEST.UNIT:WatchdogMgmt -TEST.SUBPROGRAM:execWatchdogMgmt -TEST.NEW -TEST.NAME:execWatchdogMgmt.004 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:4 of 4 (partial) -TEST.NOTES: -This is an automatically generated test case. -Test Path 4 -(1) if ((1) == allTasksCheckedIn && (1) == didTimeout(lastWatchdogPetTime, 45)) ==> TRUE -(2) if ((PIN_SIGNAL_LOW) == getCPLDWatchdogExpired()) ==> FALSE -Test Case Generation Notes: -Cannot set return value of function getCPLDWatchdogExpired in branch 2 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 -TEST.END - -- Test Case: getCPLDWatchdogExpired TEST.UNIT:WatchdogMgmt TEST.SUBPROGRAM:execWatchdogMgmt @@ -1977,298 +66,8 @@ TEST.EXPECTED:uut_prototype_stubs.gioGetBit.bit:2 TEST.END --- Subprogram: execWatchdogTest - --- Test Case: execWatchdogTest.001 -TEST.UNIT:WatchdogMgmt -TEST.SUBPROGRAM:execWatchdogTest -TEST.NEW -TEST.NAME:execWatchdogTest.001 -TEST.BASIS_PATH:1 of 13 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (13) case watchdogSelfTestState ==> default - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:WatchdogMgmt.<>.watchdogSelfTestState:NUM_OF_WATCHDOG_SELF_TEST_STATES -TEST.END - --- Test Case: execWatchdogTest.002 -TEST.UNIT:WatchdogMgmt -TEST.SUBPROGRAM:execWatchdogTest -TEST.NEW -TEST.NAME:execWatchdogTest.002 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:2 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) case watchdogSelfTestState ==> WATCHDOG_SELF_TEST_STATE_START - (3) while ((0) == didTimeout(watchdogSelfTestTimerCount, 500)) ==> FALSE - (4) if ((PIN_SIGNAL_LOW) == getCPLDWatchdogExpired()) ==> FALSE - Test Case Generation Notes: - Cannot set return value of function getCPLDWatchdogExpired in branch 4 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 -TEST.VALUE:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_START -TEST.EXPECTED:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_RECOVER -TEST.END - --- Test Case: execWatchdogTest.003 -TEST.UNIT:WatchdogMgmt -TEST.SUBPROGRAM:execWatchdogTest -TEST.NEW -TEST.NAME:execWatchdogTest.003 -TEST.BASIS_PATH:3 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 3 - (1) case watchdogSelfTestState ==> WATCHDOG_SELF_TEST_STATE_START - (3) while ((0) == didTimeout(watchdogSelfTestTimerCount, 500)) ==> FALSE - (4) if ((PIN_SIGNAL_LOW) == getCPLDWatchdogExpired()) ==> TRUE - (5) if (v24 > (5.0F)) ==> FALSE - (6) if (audioCurrent < (200.0F)) ==> FALSE - Test Case Generation Notes: - Cannot set return value of function getCPLDWatchdogExpired in branch 4 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 -TEST.VALUE:uut_prototype_stubs.getIntADCVoltageConverted.return:<> -TEST.VALUE:uut_prototype_stubs.getFPGABackupAlarmAudioCurrent.return:<> -TEST.VALUE:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_START -TEST.EXPECTED:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_RECOVER -TEST.END - --- Test Case: execWatchdogTest.004 -TEST.UNIT:WatchdogMgmt -TEST.SUBPROGRAM:execWatchdogTest -TEST.NEW -TEST.NAME:execWatchdogTest.004 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:4 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 4 - (1) case watchdogSelfTestState ==> WATCHDOG_SELF_TEST_STATE_START - (3) while ((0) == didTimeout(watchdogSelfTestTimerCount, 500)) ==> FALSE - (4) if ((PIN_SIGNAL_LOW) == getCPLDWatchdogExpired()) ==> TRUE - (5) if (v24 > (5.0F)) ==> FALSE - (6) if (audioCurrent < (200.0F)) ==> TRUE - Test Case Generation Notes: - Cannot set return value of function getCPLDWatchdogExpired in branch 4 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 -TEST.VALUE:uut_prototype_stubs.getIntADCVoltageConverted.return:<> -TEST.VALUE:uut_prototype_stubs.getFPGABackupAlarmAudioCurrent.return:<> -TEST.VALUE:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_START -TEST.EXPECTED:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_RECOVER -TEST.END - --- Test Case: execWatchdogTest.005 -TEST.UNIT:WatchdogMgmt -TEST.SUBPROGRAM:execWatchdogTest -TEST.NEW -TEST.NAME:execWatchdogTest.005 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:5 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 5 - (1) case watchdogSelfTestState ==> WATCHDOG_SELF_TEST_STATE_START - (3) while ((0) == didTimeout(watchdogSelfTestTimerCount, 500)) ==> FALSE - (4) if ((PIN_SIGNAL_LOW) == getCPLDWatchdogExpired()) ==> TRUE - (5) if (v24 > (5.0F)) ==> TRUE - Test Case Generation Notes: - Cannot set return value of function getCPLDWatchdogExpired in branch 4 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 -TEST.VALUE:uut_prototype_stubs.getIntADCVoltageConverted.return:<> -TEST.VALUE:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_START -TEST.EXPECTED:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_RECOVER -TEST.END - --- Test Case: execWatchdogTest.006 -TEST.UNIT:WatchdogMgmt -TEST.SUBPROGRAM:execWatchdogTest -TEST.NEW -TEST.NAME:execWatchdogTest.006 -TEST.BASIS_PATH:6 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 6 - (1) case watchdogSelfTestState ==> WATCHDOG_SELF_TEST_STATE_START - (3) while ((0) == didTimeout(watchdogSelfTestTimerCount, 500)) ==> TRUE - (4) if ((PIN_SIGNAL_LOW) == getCPLDWatchdogExpired()) ==> FALSE - Test Case Generation Notes: - Cannot set return value of function getCPLDWatchdogExpired in branch 4 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.didTimeout.return:0 -TEST.VALUE:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_START -TEST.EXPECTED:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_IN_PROGRESS -TEST.END - --- Test Case: execWatchdogTest.007 -TEST.UNIT:WatchdogMgmt -TEST.SUBPROGRAM:execWatchdogTest -TEST.NEW -TEST.NAME:execWatchdogTest.007 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:7 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 7 - (2) case watchdogSelfTestState ==> WATCHDOG_SELF_TEST_STATE_IN_PROGRESS - (3) while ((0) == didTimeout(watchdogSelfTestTimerCount, 500)) ==> FALSE - (4) if ((PIN_SIGNAL_LOW) == getCPLDWatchdogExpired()) ==> FALSE - Test Case Generation Notes: - Cannot set return value of function getCPLDWatchdogExpired in branch 4 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 -TEST.VALUE:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_IN_PROGRESS -TEST.EXPECTED:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_RECOVER -TEST.END - --- Test Case: execWatchdogTest.008 -TEST.UNIT:WatchdogMgmt -TEST.SUBPROGRAM:execWatchdogTest -TEST.NEW -TEST.NAME:execWatchdogTest.008 -TEST.BASIS_PATH:8 of 13 -TEST.NOTES: -This is an automatically generated test case. - Test Path 8 - (7) case watchdogSelfTestState ==> WATCHDOG_SELF_TEST_STATE_RECOVER - (8) if ((1) == didTimeout(watchdogSelfTestTimerCount, 500)) ==> FALSE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> -TEST.VALUE:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_RECOVER -TEST.EXPECTED:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_RECOVER -TEST.END - --- Test Case: execWatchdogTest.009 -TEST.UNIT:WatchdogMgmt -TEST.SUBPROGRAM:execWatchdogTest -TEST.NEW -TEST.NAME:execWatchdogTest.009 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:9 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 9 - (7) case watchdogSelfTestState ==> WATCHDOG_SELF_TEST_STATE_RECOVER - (8) if ((1) == didTimeout(watchdogSelfTestTimerCount, 500)) ==> TRUE - (9) if ((PIN_SIGNAL_HIGH) == getCPLDWatchdogExpired()) ==> FALSE - Test Case Generation Notes: - Cannot set return value of function getCPLDWatchdogExpired in branch 9 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 -TEST.VALUE:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_RECOVER -TEST.EXPECTED:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_COMPLETE -TEST.END - --- Test Case: execWatchdogTest.010 -TEST.UNIT:WatchdogMgmt -TEST.SUBPROGRAM:execWatchdogTest -TEST.NEW -TEST.NAME:execWatchdogTest.010 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:10 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 10 - (7) case watchdogSelfTestState ==> WATCHDOG_SELF_TEST_STATE_RECOVER - (8) if ((1) == didTimeout(watchdogSelfTestTimerCount, 500)) ==> TRUE - (9) if ((PIN_SIGNAL_HIGH) == getCPLDWatchdogExpired()) ==> TRUE - (10) if (v24 < (22.60000038F)) ==> FALSE - (11) if (audioCurrent > (10.0F)) ==> FALSE - Test Case Generation Notes: - Cannot set return value of function getCPLDWatchdogExpired in branch 9 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 -TEST.VALUE:uut_prototype_stubs.getIntADCVoltageConverted.return:<> -TEST.VALUE:uut_prototype_stubs.getFPGABackupAlarmAudioCurrent.return:<> -TEST.VALUE:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_RECOVER -TEST.EXPECTED:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_COMPLETE -TEST.END - --- Test Case: execWatchdogTest.011 -TEST.UNIT:WatchdogMgmt -TEST.SUBPROGRAM:execWatchdogTest -TEST.NEW -TEST.NAME:execWatchdogTest.011 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:11 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 11 - (7) case watchdogSelfTestState ==> WATCHDOG_SELF_TEST_STATE_RECOVER - (8) if ((1) == didTimeout(watchdogSelfTestTimerCount, 500)) ==> TRUE - (9) if ((PIN_SIGNAL_HIGH) == getCPLDWatchdogExpired()) ==> TRUE - (10) if (v24 < (22.60000038F)) ==> FALSE - (11) if (audioCurrent > (10.0F)) ==> TRUE - Test Case Generation Notes: - Cannot set return value of function getCPLDWatchdogExpired in branch 9 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 -TEST.VALUE:uut_prototype_stubs.getIntADCVoltageConverted.return:<> -TEST.VALUE:uut_prototype_stubs.getFPGABackupAlarmAudioCurrent.return:<> -TEST.VALUE:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_RECOVER -TEST.EXPECTED:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_COMPLETE -TEST.END - --- Test Case: execWatchdogTest.012 -TEST.UNIT:WatchdogMgmt -TEST.SUBPROGRAM:execWatchdogTest -TEST.NEW -TEST.NAME:execWatchdogTest.012 -TEST.COMPOUND_ONLY -TEST.BASIS_PATH:12 of 13 (partial) -TEST.NOTES: -This is an automatically generated test case. - Test Path 12 - (7) case watchdogSelfTestState ==> WATCHDOG_SELF_TEST_STATE_RECOVER - (8) if ((1) == didTimeout(watchdogSelfTestTimerCount, 500)) ==> TRUE - (9) if ((PIN_SIGNAL_HIGH) == getCPLDWatchdogExpired()) ==> TRUE - (10) if (v24 < (22.60000038F)) ==> TRUE - Test Case Generation Notes: - Cannot set return value of function getCPLDWatchdogExpired in branch 9 -TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 -TEST.VALUE:uut_prototype_stubs.getIntADCVoltageConverted.return:<> -TEST.VALUE:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_RECOVER -TEST.EXPECTED:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_COMPLETE -TEST.END - --- Test Case: execWatchdogTest.013 -TEST.UNIT:WatchdogMgmt -TEST.SUBPROGRAM:execWatchdogTest -TEST.NEW -TEST.NAME:execWatchdogTest.013 -TEST.BASIS_PATH:13 of 13 -TEST.NOTES: -This is an automatically generated test case. - Test Path 13 - (12) case watchdogSelfTestState ==> WATCHDOG_SELF_TEST_STATE_COMPLETE - Test Case Generation Notes: -TEST.END_NOTES: -TEST.VALUE:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_COMPLETE -TEST.EXPECTED:WatchdogMgmt.<>.watchdogSelfTestState:WATCHDOG_SELF_TEST_STATE_START -TEST.END - -- Subprogram: petWatchdog --- Test Case: petWatchdog.001 -TEST.UNIT:WatchdogMgmt -TEST.SUBPROGRAM:petWatchdog -TEST.NEW -TEST.NAME:petWatchdog.001 -TEST.BASIS_PATH:1 of 1 -TEST.NOTES: - No branches in subprogram -TEST.END_NOTES: -TEST.END - -- Test Case: toggleCPLDWatchdog TEST.UNIT:WatchdogMgmt TEST.SUBPROGRAM:petWatchdog @@ -2281,16 +80,6 @@ -- Subprogram: initSoftware --- Test Case: initCPLD -TEST.UNIT:sys_main -TEST.SUBPROGRAM:initSoftware -TEST.NEW -TEST.NAME:initCPLD -TEST.COMPOUND_ONLY -TEST.VALUE:CPLD.<>.ptr_mibspiREG5:<> -TEST.VALUE:CPLD.<>.ptr_mibspiREG5[0].PC3:0xE00 -TEST.END - -- Test Case: initSoftware.001 TEST.UNIT:sys_main TEST.SUBPROGRAM:initSoftware @@ -2300,5 +89,8 @@ TEST.NOTES: No branches in subprogram TEST.END_NOTES: -TEST.STUB:AlarmMgmt.initAlarmMgmt +TEST.VALUE:CPLD.<>.ptr_gioPORT_A:<> +TEST.VALUE:CPLD.<>.ptr_mibspiBASE_t:<> +TEST.VALUE:CPLD.<>.ptr_mibspiBASE_t[0].PC3:0xF00 +TEST.EXPECTED:CPLD.<>.ptr_mibspiBASE_t[0].PC3:0x100 TEST.END Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_CPLD/INT_CPLD_cba.cvr =================================================================== diff -u -rbee4a17cf2dedb3a18483e2c05846785ed1b3da7 -rb49678e8452e8e814ba0a5aada061368eff042bb --- vectorcast/Hercules_RM46_HD_Project/environment/INT_CPLD/INT_CPLD_cba.cvr (.../INT_CPLD_cba.cvr) (revision bee4a17cf2dedb3a18483e2c05846785ed1b3da7) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_CPLD/INT_CPLD_cba.cvr (.../INT_CPLD_cba.cvr) (revision b49678e8452e8e814ba0a5aada061368eff042bb) @@ -1,262 +1 @@ --- Imported Coverage Results Script -IMPORT.BEGIN -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:8 -IMPORT.SOURCE.ORIG_FILENAME:S0000008.c -IMPORT.SOURCE.COVERAGE_STATUS:FALSE -IMPORT.SOURCE.COVERAGE_TYPE:None -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:TRUE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:TRUE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:TRUE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:TRUE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:TRUE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:TRUE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_UNKNOWN -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:TRUE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:9 -IMPORT.SOURCE.ORIG_FILENAME:AlarmLamp.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:11 -IMPORT.SOURCE.ORIG_FILENAME:Buttons.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:12 -IMPORT.SOURCE.ORIG_FILENAME:Voltages.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:13 -IMPORT.SOURCE.ORIG_FILENAME:CPLD.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:14 -IMPORT.SOURCE.ORIG_FILENAME:AlarmMgmt.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:15 -IMPORT.SOURCE.ORIG_FILENAME:WatchdogMgmt.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:16 -IMPORT.SOURCE.ORIG_FILENAME:TaskGeneral.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:17 -IMPORT.SOURCE.ORIG_FILENAME:TaskPriority.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:18 -IMPORT.SOURCE.ORIG_FILENAME:TaskTimer.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:19 -IMPORT.SOURCE.ORIG_FILENAME:sys_main.c -IMPORT.SOURCE.COVERAGE_STATUS:TRUE -IMPORT.SOURCE.COVERAGE_TYPE:Function -IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE -IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE -IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE -IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE -IMPORT.SOURCE.EDG_COVERAGE:TRUE -IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE -IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE -IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE -IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE -IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS -IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE -IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE -IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE -IMPORT.SOURCE.END -RESULT.CBA.BEGIN -RESULT.CBA.RESULT: CBA_CPLD -RESULT.CBA.NOTES -Blue lamp not yet used. -RESULT.CBA.NOTES_END -RESULT.CBA.UNIT: /home/asif/work/update_23rd/workspace_hd/hdfirmware/firmware/App/Drivers/CPLD.c -RESULT.CBA.FUNCTION: setCPLDLampBlue -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -if ( level == PIN_SIGNAL_HIGH ) -{ -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.END -IMPORT.END