[参考译文] CSP、HALCoGen ATU 和 ADRAunit

您好！

HALCoGen CSP：HALCoGen 兼容支持包、旨在提供必要的文档、报告和单元测试功能、帮助客户使用 HALCoGen 生成的软件来遵守 IEC 61508和 ISO 26262等功能安全标准。

HALCoGen Tau： HALCoGen 测试自动化单元、这 是一个为 HALCoGen 生成的驱动程序生成动态覆盖分析报告和回归报告的工具(GUI)、可支持 ISO26262和 IEC61508评估

LDRAUNIT： LDRA 提供的集成框架软件工具 、用于自动生成和管理单元测试。  

2. SafeTI 诊断库：建议在系统中使用诊断库提供的 API 定期测试故障诊断。

这些示例包含在 Built 文件夹中。

首先、感谢您的回答。

使用 HALCoGen ATU 时遇到一些问题：单击“Run”，输出框提示“TCF Fail”，如何解决此问题？

 Tannks。

您好！

LDRA 测试的默认编译器为5.1.6、CCS 版本为 CCS6。 您可以尝试使用旧版本的编译器吗？

您好， 我的计算机上安装的 LDRA 版本为9.4.3，CCS 版本为 ccs8.2.0，此问题是否由版本不一致引起？

我认为这是相关的。

您好，

我按如下方式查看帮助→用户指南，软件要求，检查我的所有软件是否满足以下要求， 是否存在导致此问题的任何其他可能原因？

什么是 IAR 工具套件？

谢谢

编译器版本不影响 TCF 文件生成。 明天我会进行测试、稍后再回来。