• State Resolved
  • Locked Locked
  • Replies 2 replies
  • Subscribers 52 subscribers
  • Views 426 views
  • Users 0 members are here
Support feedback
Options
Options
Related

This thread has been locked.

If you have a related question, please click the "Ask a related question" button in the top right corner. The newly created question will be automatically linked to this question.

Original question:

Compiler: New TI C/C++ CCS ARM compiler qualification kit (ARM_SAFETI_CQKIT_RV) usage for SIL3 development

Compiler: TI ARM Cortex Compiler

user6038559
Prodigy 20 points

Tool/software: TI C/C++ Compiler

Hi,

I have questions about the compiler qualification using Qkit.

Is it necessary or recommended to compare the code coverage between qualification and application?

If the code coverage(statement, branch) is measured using dynamic analysis tool, e.g., LDRA and achieved 100% coverage, is it still required to compare the code coverage by sending *.cov files to TI?

P.S. the qualification test is successfully finished using TAU for the selected features.

  • 0
    TI__Guru**** 253380 points

    For higher safety compliance levels (SIL3 or ASIL-D), the TI Compiler QKIT requires that you do coverage comparison.

    However, the coverage comparison is for coverage of the compiler itself and not coverage of your application code.

    The coverage being compared is within the compiler itself. With this check, we are confirming that your application does not cause portions of the compiler to be executed that our release validations did not exercise.

    You build your application using an instrumented compiler provided by TI for your specific compiler version. Then send those coverage data files to TI for comparison. We will then compare those against coverage data collected during release validations. TI will then generate a report addressing any gaps.

    Thanks and regards,

    -George

  • 0 in reply to George Mock
    Prodigy 20 points

    Hi George,

    Thanks a lot for your quick reply.

    Best regards,

    -JL