Quality Assurance Blog

让认证审核有据可依:Coco 通过 TÜV 认证,适用于 ISO 26262、IEC 61508、IEC 62304 以及 EN 50716 标准下的安全相关软件验证

作者:Qt Group中国 | 2026年8月18日 08:42:19

Coco 已通过德国 TÜV 认证,适用于验证安全相关软件,覆盖等级直至 ISO 26262(ASIL D)、IEC 61508(SIL 4)、IEC 62304(Class C)以及 EN 50716(SIL 4)。安全关键领域团队由此获得一款通过认证的代码覆盖率工具、一条现成的工具鉴定路径,以及审核所需的证据材料。

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

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 为每个项目完成工具鉴定。

获取方式

通过 TÜV 认证的 Coco 现已开放获取。如需了解 Coco 如何契合下一个可认证项目,请访问 qt.io/zh-cn/quality-assurance/coco,或联系 Qt Group 软件质量团队:qt.io/zh-cn/quality-assurance/contact-us

点击此处查看并下载 TÜV 认证证书


简要信息

产品: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 均可支持。