Loading
0

Parasoft C/C++test 静态代码分析增量扫描配置指南

增量扫描是一种优化静态代码分析过程的技术。其核心原理是仅分析和检查自上次扫描后发生变更的源代码文件部分,而非每次都对整个项目代码库进行全量分析。它通过比对当前代码与历史基准版本的差异,精确定位新增、修改或删除的代码行。

>>点击获取Parasoft C/C++test试用

作为一款专业的静态代码分析与自动化测试平台,Parasoft C/C++test 的增量扫描功能主要作用是显著提升分析效率。对于大型项目,全量扫描通常耗时较长。该功能将分析范围聚焦于变动模块,能将分析时间从数小时缩短至数分钟,这使得开发者能在提交代码后快速获得反馈。通过将新问题的检测结果与已存档的历史基准结果进行比对,Parasoft C/C++test 可以过滤掉存量问题,从而确保报告主要聚焦于本次代码变更所引入的新合规性问题或潜在缺陷。这不仅减轻了开发者的排查负担,也确保了 Parasoft C/C++test 这一质量门禁解决方案 在持续集成(CI)环境中能够高效、精准地发挥作用。

接下来就是在Parasoft C/C++test中关于增量扫描的配置方法:

1.git clone 克隆你的代码到本地
2.用cpptesttrace 跟踪编译生成bdf
3.使用bdf把项目导入cpptest

注意导入项目时选择使用外部位置,不要选择使用工作空间位置

4.配置如下

在配置时需要注意添加环境变量,主要是因为该工具需要依赖这些变量来定位关键的编译器工具链、库文件路径以及许可证服务器等信息,以确保其静态分析和单元测试功能能够正确调用所需的编译器和链接器。

5.修改测试配置

文件方式增量,通常都是使用时间维度:

系统会记录上一次处理的时间点。下次再执行增量操作时,它会去扫描所有文件,但只选择那些最后修改时间晚于上个时间点的文件进行处理。因为文件何时被修改是一个明确且易于追踪的时间戳属性,所以这种方法非常常见和高效。

代码行方式增量

6.配置完成后就可以进行扫描分析了

Parasoft C/C++test 除了提供高效的增量扫描功能外,还支持全面的静态代码分析(包括 MISRA C/C++、AUTOSAR C++14、CERT 等多种行业编码标准)、单元测试自动生成与执行代码覆盖率分析(支持 MC/DC 等关键指标),以及 CI/CD 流程深度集成的自动化测试能力。还能够通过集中化平台(DTP)统一管理测试策略和结果,帮助客户显著提升代码质量、确保合规性,并降低软件项目在功能安全与信息安全方面的风险。

关于慧都

慧都是一家行业数字化解决方案公司,专注于软件、石油与工业领域,以深入的业务理解和行业经验,帮助企业实现智能化转型与持续竞争优势。在软件工程领域,我们提供开发控件、研发管理、代码开发、部署运维等软件开发全链路所需的产品,提供正版授权采购、技术选型、个性化维保等服务,帮助客户实现技术合规、降本增效与风险可控。

慧都科技作为Parasoft公司在中国区的官方授权合作伙伴,为国内企业提供Parasoft C/C++test产品的正版授权、定制化部署与全生命周期技术支持与服务。我们致力于助力客户精准贯彻功能安全标准、全面提升软件开发效率、有效管控项目风险,最终构建符合国际标准的高质量软件体系。