Parasoft C/C++test 是一款专注于C/C++语言的静态分析和单元测试工具,其核心工作原理是通过编译来进行分析。它需要一个强大、标准且可控的编译工具链来解析代码。GCC是业界公认的标准C/C++编译器,其语法和预处理行为非常规范。将代码迁移到GCC,可以确保静态分析、单元测试的执行是在一个统一、标准的环境中进行,避免因特定编译器的扩展语法、特殊内置函数或隐式行为导致的分析误差或失败。
>>点击获取Parasoft C/C++test试用
在主机环境(Windows/Linux)上配置GCC并编译代码,远比在主机上模拟一个完整的嵌入式编译和链接环境要简单。我们通常只要求编译通过以进行静态分析和生成单元测试用例,而无需链接成功,因为这避免了处理目标平台的启动文件、芯片专用库等复杂依赖。
一、设置环境变量
将MinGW的bin目录设置到电脑的环境PATH下
为了让Parasoft C/C++test能够定位并调用MinGW GCC(gcc.exe, g++.exe, make.exe等)工具链。
二、在Cpptest中新建项目
选择菜单“文件》新建》项目”
位置指定到项目代码所在路径
点击完成会创建一个项目,并在项目下产生一个Makefile文件
三、编辑Makefile文件
修改Makefile文件来指定要编译的代码文件
OBJS指定要编译哪些.c文件
CFLAGS指定宏参数,以及需要的头文件查找目录
编辑好后,可以右击项目选择“构建项目”。这样可以编译整个项目代码
构建项目时如果报告链接失败可以不用管,只需要能编译代码即可
Cpptest 需要获取项目的构建规则和配置才能正确编译和分析代码。对于非标准项目结构或使用自定义构建流程的项目,手动创建或修改 Makefile 是最灵活、最可靠的方式。
四、设置Cpptest项目属性
右击项目选择属性。设置好“Parasoft>C/C++test>构建设置”下的相关参数
明确告诉Cpptest使用哪个编译器、哪个Makefile文件以及如何调用它们。确保Cpptest的分析引擎和刚刚配置的MinGW GCC环境能够无缝协作
五、进行Cpptest测试
一般依次进行如下操作
1.运行静态代码分析
2.自动生成单元测试用例
3.生成缺失的桩函数
4.运行单元测试用例
通过上述步骤将代码迁移至MinGW GCC编译器并完成配置,即可在Parasoft C/C++test环境中建立完整的代码分析能力。该过程为后续执行静态分析、单元测试等质量保障活动提供了必要的构建环境支持,有助于在开发阶段及时发现代码缺陷,为后续的持续集成流程提供支持。
Parasoft作为业界领先的自动化软件测试工具提供商,支持跨平台、多编译环境的代码分析与测试。除了以上基于GCC编译器的静态分析、单元测试等核心应用之外,还能够实现代码覆盖率分析、运行时错误检测、测试用例自动化管理、持续集成流水线嵌入等高级功能,帮助客户在开发生命周期早期识别代码缺陷、执行合规性检查,显著降低后期缺陷修复成本,提升软件产品质量与交付效率。
关于慧都
慧都是一家行业数字化解决方案公司,专注于软件、石油与工业领域,以深入的业务理解和行业经验,帮助企业实现智能化转型与持续竞争优势。在软件工程领域,我们提供开发控件、研发管理、代码开发、部署运维等软件开发全链路所需的产品,提供正版授权采购、技术选型、个性化维保等服务,帮助客户实现技术合规、降本增效与风险可控。
慧都科技作为Parasoft公司在中国区的官方授权合作伙伴,为国内企业提供Parasoft C/C++test产品的正版授权、定制化部署与全生命周期技术支持与服务。我们致力于助力客户精准贯彻功能安全标准、全面提升软件开发效率、有效管控项目风险,最终构建符合国际标准的高质量软件体系。
发表评论