主题中讨论的其他器件:HALCOGEN
工具与软件:
a)是否有针对 Halcogen 生成的驱动程序的 LDRA 单元测试可用作 DO178C 声明覆盖的证据? 如果是这样、我们如何得到它们并执行它们?
b)生成的代码似乎具有以下注释-示例如下。 我们如何获得 HL_CONQ_GIO_SR2的详细信息?
*/
/* sourceId:gio_sourceId_001 */
/* DesignId:GIO_DesignId_001 */
/*要求:HL_CONNQ_GIO_SR2 */。