安全编译器资质审核套件(CQKIT):
- 支持编译器覆盖范围分析
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.
安全编译器资质审核套件(CQKIT):
安全最终产品的认证要求开发中使用的编译器工具链符合功能安全标准。 ‘‘工具资质认证’或‘工具验证’等工具的鉴定过程可能会耗时且成本高昂。 最终用户必须负责整个工具资质审核流程。
TI ARM 编译器不符合任何安全标准。 TI 提供编译器 QKIT、使客户能够使用 TI 编译器进行功能安全开发。
我们使用了资质审核套件方法、而不是对编译器进行认证。 主要原因是我们不想将客户限制在编译器选项和用例的子集。 CQKIT 方法允许客户灵活使用我们的编译器(即编译器选项、语言功能等)。 编译器的用户必须应用编译器 QKIT。
安装 CQKIT 后、请执行以下操作进行覆盖测试:
1.从获取 QKIT 安装程序的同一工具文件夹下载编译器版本的检测编译器。
如果您使用编译器20.2.6.LTS、请下载 ti_cgt_arm_20.2.6.ls_bincov_win64.tar.bz2
2. 将“bincov”文件夹解压缩到临时位置。 此文件夹包含所有编译器工具链可执行文件的检测版本以及每个可执行文件的覆盖数据收集文件(*。cov 文件)。
3.将原始编译器安装文件夹从"bin"重命名为"bin_old"。 在编译器安装文件夹中创建新的"bin"文件夹,并将可执行文件和*。cov 覆盖文件从"bincov"文件夹复制到"bin"文件夹。
4. 设置环境变量 COVFILELIST。 这是一个以逗号分隔的列表、其中列出了所有编译器可执行.cov 文件的路径。
按照以下步骤在 CCS 中设置 COVFILELIST:
COVFILELIST=C:\ti_cgt_arm_20.2.6.LTS、C:\ti_cgt_arm_arm_20.2.6.LTS \bin\armacpia.cov、C:\ti_cgt_arm_armcart.st\ti_armbe.t_mcart_20.2.t_cart\arm_mcobt_mce.t_mct_mct_mct_cl_cl_g.t_arm_mbe.t_mcart\t_mcart_20.2.t_cart\t_mcart_mcart_b\t_mcart_b.r.t_mcart_mcart_b.r.t_be.t_mct_mcart_be.t_mct_mcart_mcart_be.t_mcart_b.t_b.t_b.r.r.t_b.r.t_m\nt_m\nt_m.t_mct_m\net 2.6.LTS \bin\armcbeia.cov、C:\ti_cgt_arm_20.2.6.LTS、C:\ti_cgt_arm_arm_20.2.6.LTS、C:\ti_cgt_armcart_20.2.6.LTS、armcart_armcart_cart_cart.c:\libgt_arm_b.micro_cart_cart_20.2.6.bin\arm_cart_cart\arm_cart.micro.c:\arm_cart_cart_cart\arm20.2.202.202.202.b\arm_cart\arm_cart\arm_cart\arm_cart\arm_cart\arm_cart\armb\arm_cart\arm.arm.b.micro.micro.micro.micro.c:\arm_cart\armb\armb\arm_cart\armb\arm_cart\arm_cart\arm.micro.micro.b\armb\armb.
5. 构建您的应用程序。 请注意、每次执行检测的可执行文件时、*。cov 文件的时间戳都会更新。
6. 覆盖数据收集完成后,将"bin"文件夹重命名为"bin.cov",并将原始"bin.old"文件夹重命名为"bin",以恢复原始的未检测编译器可执行文件。
7. 将所有*.cov 文件压缩到“bin.cov”文件夹中。 通过电子邮件将此 zip 文件以及用于编译应用程序的编译器和链接器选项列表发送至 TI、网址 为 safeti_cqkit_data@ti.com
与编译器版本验证期间收集的覆盖率数据文件相比、TI 将对您提交的覆盖率数据文件的功能覆盖率进行比较。 TI 将发送摘要报告。