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.
工具与软件:
a)是否有针对 Halcogen 生成的驱动程序的 LDRA 单元测试可用作 DO178C 声明覆盖的证据? 如果是这样、我们如何得到它们并执行它们?
b)生成的代码似乎具有以下注释-示例如下。 我们如何获得 HL_CONQ_GIO_SR2的详细信息?
*/
/* sourceId:gio_sourceId_001 */
/* DesignId:GIO_DesignId_001 */
/*要求:HL_CONNQ_GIO_SR2 */。
它是开发要求文档中定义的函数 ID。 HL_CONQ_GIO_SR2 --> GIO 初始化
a)是否有任何针对 Halcogen 生成的驱动程序的 LDRA 单元测试可用作 DO178C 声明覆盖的证据? 如果是、我们如何获得它们并执行它们?
HALCOGen CSP 将执行以下测试并生成测试报告。 我相信这些文档将帮助您使用 HalCogen 代码来遵守安全标准。
要运行测试、需要 LDRA 工具。 LDRA 工具不是 CSP 下载的一部分。 您需要联系 LDRA 来从他们那里购买和安装 LDRA 单元软件。
感谢您的答复。
a)如何访问有关功能 ID 详细信息的开发需求文档?
B)我们有 LDRA 工具套件和 LDRA TLP。 我们有 Halocgen。 我们如何获得 CSP?
C)如果我们需要修改驱动程序、LDRA 单元测试将需要更新。 我们是否能够访问 CSP 中的测试以修改这些测试?
下面发布的问题是否有更新?