您好!
我们正在基于 TMS570LS3137开发面向 IEC 61508 SIL2认证的软件。 我们计划利用 SafeTI 诊断库(SDL)提供的诊断功能。
我已为 SDL 申请并安装合规性支持包(CSP)。 我知道 SDL 不是经过认证的软件、但 CSP 提供文档和单元测试来支持应用程序(包括 SDL)的认证。
因为我们使用的编译器版本与运行 CSP 提供的单元测试所使用的编译器版本不同。 因此,我们需要获得 LDRA 的许可证,使用我们的编译器版本重新运行单元测试,并生成新的报告。
但我注意到、SDL CSP 还包含针对 SDL 的预编译二进制文件(请参阅"C:\ti\Hercules\SafeTI Diagnostic Library\2.4.0_LDRA_Less\libs\SafeTILib_TMS570LS31_Be.lib")。
现在、我的问题是:如果我们将预编译的 SDL 二进制文件链接到应用程序中、而不是重新编译 SDL 源代码、那么我们能否在应用程序的安全案例中直接包含来自 SDL CSP 的单元测试报告?
感谢您的深入理解。
此致、
亚伦