让认证审核有据可依：Coco通过TÜV认证，适用于ISO 26262等标准下的安全相关软件验证

对于开发安全关键软件的团队而言，达成功能安全标准要求既严苛又耗时。开发链条中的每一款工具都必须针对其预期用途完成鉴定；覆盖率证据必须按照标准规定的等级产出，并且全部材料都要经得起审核核查。仅工具鉴定一项，往往就是拖慢认证进度的主要环节之一。

Qt Group正着手解决其中与代码覆盖率相关的部分。旗下代码覆盖率分析工具Coco现已通过TÜV机构的独立认证，适用于验证安全相关软件，覆盖范围直达四项跨行业功能安全标准各自定义的完整性等级上限：

• ISO 26262（汽车）：最高支持ASIL D级

• IEC 61508（工业与通用功能安全）：最高支持SIL 4

• IEC 62304（医疗器械软件）：最高支持软件安全等级C

• EN 50716（轨道交通软件）：最高支持SIL 4

对团队而言，这意味着通过认证审核所需的各项要素被整合到了一处：一款通过认证的工具、一条现成的工具鉴定路径（借助Tool Qualification Kit for Coco在自身项目中完成），以及审核人员所需的覆盖率证据。

在高安全等级下，各标准均要求修改条件判断覆盖（MC/DC），而许多免费工具与开源工具并不提供该项能力。Coco可生成按文件、按函数、按分支以及MC/DC维度的报告，并可回溯至生成这些结果的具体测试用例。

         

Qt Group软件质量解决方案研发经理Nico Kaufmann表示，Coco现已通过认证，适用于汽车、工业、医疗以及轨道交通开发领域的安全相关软件，覆盖范围直达各标准的等级上限。对客户而言，这意味着在这四个领域中可以依托同一款代码覆盖率工具，并借助Tool Qualification Kit为每个项目完成工具鉴定。

• 产品：Coco（Qt Group旗下代码覆盖率分析工具）

• 认证机构：SGS-TÜV Saar

• 认证范围：Coco适用于安全相关软件的验证，覆盖等级直至ASIL D（ISO 26262）、SIL 4（IEC 61508，T2类工具）、软件安全Class C（IEC 62304）以及SIL 4（EN 50716，T2类工具）。

• 认证语言：C与C++

• 同时支持（不在鉴定范围内）：C#、Python、QML以及Tcl

• 覆盖率指标：语句覆盖、分支/判定覆盖、条件（MC/DC）覆盖、函数覆盖

• 工具鉴定（Tool Qualification）：团队可借助Tool Qualification Kit，在自身项目中对Coco完成鉴定

• 嵌入式支持：可在安全关键型开发常用的微控制器目标平台和交叉编译器上采集覆盖率

Coco通过了哪些安全标准的认证？

Coco已通过认证，适用于ISO 26262（汽车，直至ASIL D）、IEC 61508（工业，直至SIL 4）、IEC 62304（医疗，直至Class C）以及EN 50716（轨道交通，直至SIL 4）的验证工作。

Coco可以用于ISO 26262 ASIL D等级的项目吗？

可以。Coco已通过TÜV认证，适用于ISO 26262直至ASIL D等级。

通过该认证后，是否就无需自行对Coco进行鉴定？

仍然需要。团队仍须在自身项目与运行环境中对Coco完成鉴定；该认证提供的是对工具本身的独立可信度背书。Coco的Tool Qualification Kit可为这一步骤提供支持。具体的接受条件请与相应认证机构确认。

Coco支持哪些编程语言？

本次认证覆盖C与C++。Coco同时支持C#、Python、QML以及Tcl，这些语言属于产品功能范围，但不在本次TÜV认证的范围之内。

Coco支持MC/DC覆盖吗？

支持。Coco可测量MC/DC，这是高安全完整性等级所要求的覆盖率指标。

Coco可以在嵌入式目标平台上使用吗？

可以。Coco能够直接从资源受限的嵌入式目标平台采集覆盖率数据，涵盖NXP、Infineon、Renesas、STM32、Microchip以及TI AURIX等微控制器，配合ARM GCC、IAR、Green Hills、HighTec、Clang以及Diab等常见交叉编译器，运行环境从裸机到FreeRTOS、QNX、VxWorks、Zephyr以及SafeRTOS均可支持。