主题中讨论的其他器件:HALCOGEN
工具与软件:
a)是否有针对 Halcogen 生成的驱动程序的 LDRA 单元测试可用作 DO178C 声明覆盖的证据? 如果是这样、我们如何得到它们并执行它们?
b)生成的代码似乎具有以下注释-示例如下。 我们如何获得 HL_CONQ_GIO_SR2的详细信息?
*/
/* sourceId:gio_sourceId_001 */
/* DesignId:GIO_DesignId_001 */
/*要求:HL_CONNQ_GIO_SR2 */。
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 初始化
Unknown 说:a)是否有任何针对 Halcogen 生成的驱动程序的 LDRA 单元测试可用作 DO178C 声明覆盖的证据? 如果是、我们如何获得它们并执行它们?
HALCOGen CSP 将执行以下测试并生成测试报告。 我相信这些文档将帮助您使用 HalCogen 代码来遵守安全标准。
要运行测试、需要 LDRA 工具。 LDRA 工具不是 CSP 下载的一部分。 您需要联系 LDRA 来从他们那里购买和安装 LDRA 单元软件。