程序文档检测

参考周期：常规试验7-15工作日，加急试验5个工作日。

注意：因业务调整,暂不接受个人委托测试,望谅解(高校、研究所等性质的个人除外)。

检测项目

1.代码规范性：缩进误差≤2字符/千行；命名规则符合CamelCase/PascalCase比例≥95%；单函数行数≤200行
2.注释完整性：有效注释密度≥20%；API接口注释覆盖率100%；版本变更记录缺失率≤5%
3.逻辑正确性：死代码占比≤0.1%；循环嵌套深度≤4层；异常处理覆盖率≥90%
4.安全合规性：高危漏洞检出率100%；敏感信息硬编码检出率≤1次/万行；权限控制缺陷率≤3处/模块
5.可维护性：模块耦合度≤0.35；圈复杂度均值≤15；重复代码率≤5%

检测范围

1.软件开发文档：需求规格说明书/设计文档/测试用例集
2.API接口文档：Swagger/OpenAPI3.0规范文件
3.嵌入式系统文档：AUTOSAR架构设计文件/ECU通信矩阵
4.算法说明文档：数学模型推导过程/边界条件定义表
5.用户手册：操作流程图/故障代码对照表/版本兼容性说明

检测方法

1.ASTME2659-18：软件需求与实现一致性验证规程
2.ISO/IEC25010:2011：软件产品质量模型与度量体系
3.GB/T8567-2006：计算机软件文档编制规范
4.ISO/IEC15408-3:2008：安全功能组件评估方法
5.GB/T30998-2014：信息技术软件安全工程度量规范

检测设备

1.SonarQube9.7：静态代码分析仪（支持27种编程语言）
2.Valgrind3.18.1：动态内存泄漏检测工具
3.LDRATestbed10.0：代码覆盖率与复杂度分析系统
4.Klocwork2023.2：安全漏洞静态扫描平台
5.VectorCAST2024：嵌入式软件单元测试环境
6.IBMRationalDOORS9.7：需求可追溯性验证系统
7.ParasoftC/C++test2023.1：编码规范自动审查工具
8.PerforceHelixALM2024：全生命周期文档一致性校验平台
9.GrammaTechCodeSonar5.3：并发缺陷与数据流分析仪
10.SparxSystemsEnterpriseArchitect16：架构设计合规性检查工具

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

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

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

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

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

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

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

中析仪器 资质