代码健壮性检测

检测项目

1.异常处理覆盖率（目标值≥95%，未捕获异常数≤3个/万行）

2.内存泄漏阈值（连续运行72小时内存波动≤2%）

3.边界条件测试（输入值域覆盖10%超限范围）

4.线程安全等级（多核并发测试通过率100%）

5.故障恢复时间（关键业务中断恢复≤500ms）

检测范围

1.嵌入式实时操作系统（RTOS）应用程序

2.工业控制PLC逻辑编程模块

3.自动驾驶决策算法核心代码

4.金融交易系统清算引擎组件

5.医疗设备控制指令集固件

检测方法

ASTME2334-19软件验证标准：适用于医疗设备代码路径覆盖测试

ISO26262-6:2018道路车辆功能安全：规范汽车电子单元异常处理机制

GB/T25000.51-2016系统与软件质量要求：定义可靠性分级指标

IEC61508-3:2010工业控制系统：规定安全完整性等级(SIL)验证流程

DO-178C航空电子设备：强制要求需求追踪覆盖率≥90%

检测设备

1.ParasoftC/C++test2023.1：静态代码分析工具（支持MISRAC:2012规则集）

2.VectorCAST2024：动态单元测试平台（提供100%MC/DC覆盖率验证）

3.LDRATestbed10.4：代码复杂度分析仪（计算圈复杂度≤10的达标率）

4.Klocwork2023.2：内存泄漏检测系统（精度达到字节级追踪）

5.RationalTestRealTime8.5：嵌入式代码仿真器（支持VxWorks/QNX实时测试）

6.CodeSonar7.4：深度缺陷扫描仪（检出率＞95%并发缺陷）

7.Cantata9.0：自动化单元测试框架（符合ISO26262ASIL-D认证）

8.PolyspaceBugFinderR2023a：运行时错误验证工具（数学运算溢出检测）

北检(北京)检测技术研究院【简称：北检院】

报告：可出具第三方检测报告(电子版/纸质版)。

检测周期：7~15工作日，可加急。

资质：旗下实验室可出具CMA/CNAS资质报告。

标准测试：严格按国标/行标/企标/国际标准检测。

非标测试：支持定制化试验方案。

售后：报告终身可查，工程师1v1服务。

以上是与"代码健壮性检测"相关的简单介绍，具体试验/检测周期、检测方法和仪器选择会根据具体的检测要求和标准而有所不同。北检检测技术研究院将根据客户需求合理的制定试验方案。