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.

[参考译文] SAFETI-HALCOGEN-CSP:报告生成。

Guru**** 667810 points
Other Parts Discussed in Thread: SAFETI-HALCOGEN-CSP, HALCOGEN
请注意,本文内容源自机器翻译,可能存在语法或其它翻译错误,仅供参考。如需获取准确内容,请参阅链接中的英语原文或自行翻译。

https://e2e.ti.com/support/microcontrollers/arm-based-microcontrollers-group/arm-based-microcontrollers/f/arm-based-microcontrollers-forum/1222151/safeti-halcogen-csp-report-generation

器件型号:SAFETI-HALCOGEN-CSP
主题中讨论的其他器件: HALCOGEN

您好!

在 上一篇博客文章中,QJ Wang 对  SAFETI-HALCOGEN-CSP 作了如下陈述

如果你使用同样的版本编译器和同样的版本 HalCoGen、你可以使用 HalCoGen CSP 随附的报告。

这是否意味着有一种方法可以避免重复进行 HalCoGen 生成的代码的单元测试、而只需重新使用现有的测试结果报告、覆盖报告等?  或者有必要获得 LDRAUnit 许可证并为项目专用的 HalCoGen 配置重新生成单位测试吗?

还有其他的帖子,如 这个 声明 CSP 封装是免费的? 为什么请求页面会提及12'000$/25'000$个价格标签?

感谢您的回答。

此致、
亚伦

  • 请注意,本文内容源自机器翻译,可能存在语法或其它翻译错误,仅供参考。如需获取准确内容,请参阅链接中的英语原文或自行翻译。
    是否有办法避免重复 HalCoGen 生成的代码的单元测试,而只是重复使用现有的测试结果报告、覆盖报告等?

    是的、这是我的理解。 测试结果报告是使用 LDRA 9.4.3、HalCoGen 4.07.01和 TI ARM 编译器5.0.4生成的。 请仔细检查您的功能安全评估机构。

    是否需要获得 LDRAUnit 许可证并为项目特定的 HalCoGen 配置重新生成单元测试?

    CSP 包括测试用例和 e HalCOGen 测试自动化单元(TAU)。 LDRA 单元不是 CSP 下载的一部分、您需要从 LDRA 购买 LDRA 许可证。

    此外还有其他帖子、例如 此帖子 表示 CSP 包是免费的? 为什么请求页面会提及12'000$/25'000$个价格标签?

    是的、CSP 封装是免费的。 我们可以选择在之前下载 CSP + LDRA 9.4.3、但几年前已取消此选项。  

  • 请注意,本文内容源自机器翻译,可能存在语法或其它翻译错误,仅供参考。如需获取准确内容,请参阅链接中的英语原文或自行翻译。

    如何在从 TI 下载 HALCoGen CSP 后获取 LDRA 单元并设置许可证?

    下载 HALCoGen-CSP 后、客户可以联系 LDRA 并获取 LDRAunit-TI-Qual 9.4.3 (或更高版本)。

    客户可以通过以下步骤从 LDRA 申请 LDRAUnit 和完整许可证:

    1.下载 HALCoGen-CSP 无 LDRA 封装后、客户可以联系 LDRA 并获取 LDRAunit-TI-Qual 9.4.3 (或更高版本)。

    2.客户可以通过与 LDRA 共享以下信息来向 LDRA 申请 LDRAUnit 和完整的许可证:1. 产品名称:LDRAunit-SafeTI-CSP (C/C++、Windows) 2. 确切器件型号:LPSN7W56SafeTI

    3.关于获取 LDRA 的说明:

    • 请通过 sales@ldra.com 联系 LDRA、分享上面给出的"产品名称"和"确切器件型号"来申请报价。
    • LDRA 将发布报价、在收到采购订单时将向客户发送软件下载链接并提供许可密钥。
    • LDRA 将设置网络商店页面并提供此页面的链接、以便客户可以简单地在线订购和付款