ubuntu下Parasoft静态代码扫描配置使用指导

Parasoft环境变量添加

环境变量建议配置，可以打破运行目录，让运行更加方便。

1.切换到home

cd ~

2.编辑.bashrc

vim .bashrc

3.在文件末端加入将parasoft运行目录添加到环境变量

export PATH="/home/****/cpptest/bin:$PATH"

4.保存退出

:wq

5.运行脚本立即生效，或者重启电脑

source .bashrc

许可配置

1.运行cpptest

添加环境变量后可以直接通过cpptest运行parasoft可视化界面，如果没有配置那么只有到安装目录下运行（./cpptest）

cpptest

配置工作空间并点击启动

选择->首选项

1选择许可证；

2点击配置；

3选择使用下面的许可服务器并配置URL；

4测试链接，如果测试通过会提示成功链接许可证服务器

5点击确认

6点击版本下拉框，并点击应用查看符合需求的当前许可；即可配置完成

生成BDF文件

bdf文件用于parasoft导入工程

生成过程主要是在编译工程脚本build.sh中添加cpptesttrace 相关命令

注释原有的make命令添加cpptesttrace先关命令，参考代码如下：

#清空build目录
rm -rf ./build
#清空旧的bdf文件
rm -rf ./workspace/bdf
#创建目录
mkdir -p ./workspace/bdf
mkdir -p ./build
cd ./build
cmake ..
#原始的make命令
# make
#导出bdf的命令
cpptesttrace --cpptesttraceProjectName=ATM --cpptesttraceOutputFile="home/cat/ATM/workspace/bdf/ATM.bdf" make -j 4 

注意cpptesttraceOutputFile为导出BDF的路径必须为绝对路径

Parasoft项目加载

新建项目

选择C/C++test->创建来自构建数据文件（.bdf/.json）的项目；点击下一步

点击浏览选择构建数据文件（bdf）文件，选择工作空间也可以使用默认，建议使用bdf文件夹的workspace，方便后续单元测试文件更加清晰。

选择编译器设置，也可以自动检测。如果需要不存在的编译器需要安装

点击完成即可导入项目

导入后的项目

静态检测配置

选择內建->Static Analysis 选择自己希望使用的测试配置，右键复制即可生成到用户自定义->Satic Analysis 下

可以选择配置导入：右键用户自定义->导入，选择已有的配置项

界面执行代码静态检测

1.选择项目

2.点击执行配置

3.选择测试执行->用户自定义->Static Analysis 下的测试选项 即可开始测试

导出测试配置

许可配置导出

点击共享

1.选择全部设置

2.选择导出文件

3.点击确认 导出配置

值得注意的是当前许可中必须要满足Desktop Command Line 才能执行控制台界面执行

控制台创建项目

配置编译器设置配置文件localsettings-bdf.properties，设置内容和界面导入项目时的编译器设置一样

localsettings-bdf.properties

parasoft.eula.accepted=true
# compiler settings
#gcc_9-64:gcc版本
bdf.import.compiler.family=gcc_9-64
bdf.import.c.compiler.exec=gcc
bdf.import.cpp.compiler.exec=g++
bdf.import.linker.exec=g++

 创建项目命令

-data : 工作空间

-bdf : .bdf文件

-localsettings ：配置编译器设置

cpptestcli -data "/home/dell/parasoft/workspace_cli1" -bdf "/home/del/workspace/bdf/ATM.bdf"  -localsettings "/home/del/Tools/parasoft/localsettings-bdf.properties"

结果

控制台执行静态测试

-data : 工作空间

-config : 静态测试测试配置

-report : 测试报告输出目录

-resource : 项目名

-localsettings : 配置许可

-showdetails : 显示静态测试过程

cpptestcli -data "/home/del/parasoft/workspace_cli1" -config "/home/del/parasoft/properties/ExampleConfiguration.properties" -report "/home/del/parasoft/workspace_cli/report" -resource "ATM" -localsettings "/home/del/Tools/parasoft/localsettings.properties" -showdetails