检测项目

1.宏定义长度检测：单行字符数≤500字符（含注释），多行宏总行数≤20行2.嵌套层级检测：允许最大嵌套深度≤5层3.参数复杂度检测：带参宏参数数量≤8个，禁用可变参数(__VA_ARGS__)4.副作用验证：宏内函数调用次数≤1次/宏5.命名规范审查：前缀匹配率≥80%（模块标识符+功能缩写）

检测范围

1.嵌入式系统C/C++源代码（符合MISRA-C:2012规范）2.工业控制PLC梯形图转换代码3.汽车电子AUTOSAR架构配置文件4.航空航天DO-178C认证级代码5.医疗器械FDAClassIII设备固件

检测方法

1.ASTME2590-17《软件静态分析标准规程》第7.3节宏展开验证2.ISO/IEC15408-3:2022安全功能组件评估要求3.GB/T34943-2017《C语言编程规范》第5.2条宏定义约束4.GJB8114-2013军用嵌入式软件审查指南附录B5.IEC61508-3:2010SIL3级系统条件编译检查规则

检测设备

1.CoverityStaticAnalysis2023.03版（ASTME2590合规模式）2.KlocworkInsight2024.1（支持DO-178Ctraceability矩阵生成）3.VectorCAST/C++Test2024.R1（多编译器兼容性验证套件）4.LDRATestbed9.6.4（军工级代码规则自动审查平台）5.Understand6.2Build1156（跨工程宏依赖关系可视化工具）6.PolyspaceBugFinderR2023b（运行时错误传播路径分析模块）7.QAC2023.1v9.1（MISRAC:2012Amendment3规则集）8.SonarQube9.9LTS（技术债指数与宏复杂度关联分析）9.EclipseCDT12.0（预处理结果交叉比对框架）10.LabVIEW2023Q3（FPGA代码宏优化验证组件）

北京中科光析科学技术研究所【简称：中析研究所】

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

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

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

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

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

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