Parasoft靜態(tài)代碼掃描配置使用指導(dǎo)-創(chuàng)新互聯(lián)

一、環(huán)境要求

創(chuàng)新互聯(lián)-專業(yè)網(wǎng)站定制、快速模板網(wǎng)站建設(shè)、高性價(jià)比嘉興網(wǎng)站開發(fā)、企業(yè)建站全套包干低至880元,成熟完善的模板庫,直接使用。一站式嘉興網(wǎng)站制作公司更省心,省錢,快速模板網(wǎng)站建設(shè)找我們,業(yè)務(wù)覆蓋嘉興地區(qū)。費(fèi)用合理售后完善,10多年實(shí)體公司更值得信賴。

CPU:I7 12核心以上
OS:Ubuntu 1604以上操作系統(tǒng)
硬盤:1T以上空間
內(nèi)存:32G以上
編譯器:GUN GCC/ARM GCC/…

二、Parasoft C/C++ Test 安裝
2.1、Parasoft C/C++ Test 安裝方法
綠色安裝包c(diǎn)pptest.tar.gz
在這里插入圖片描述
Tar命令解壓:tar xvf ./cpptest.tar.gz -C ./
在這里插入圖片描述
在這里插入圖片描述
在這里插入圖片描述
2.2、配置liences
運(yùn)行cpptest
在這里插入圖片描述
選擇parasoft c/c++ test的工作空間(非安裝目錄)
在這里插入圖片描述

在這里插入圖片描述
菜單->Parasoft->選項(xiàng)->許可證->配置
選中:使用許可證服務(wù)器
主機(jī)名:192.168.130.94
端口:8080
在這里插入圖片描述
確認(rèn):

1、許可正常

2、版本為Automation Compliance Edition

點(diǎn) 應(yīng)用并關(guān)閉

三、創(chuàng)建BugDetective文件(bdf)

專有名詞理解:

BDF文件: BugDetective 項(xiàng)目文件

通俗的說bdf文件是通過parasoft c/c++ test的 cpptesttrace工具在代碼正常編譯的過程中對所有要編譯的代碼(如: .c .h)文件的一個(gè)遍歷記錄。

cpptest安裝目錄:cpptest工具安裝的目錄。

如:/mnt/work/tools/cpptest

cpptest workspace目錄:cpptest的工作目錄。

如:/home/ubuntu/parasoft/workspace

待測試代碼工程可編譯運(yùn)行的目錄。

如:/mnt/work/mcu

待測試代碼工程的編譯命令

如:在 /mnt/work/mcu 目錄下執(zhí)行 ./MCU/start.sh

運(yùn)行如下命令:

cd /mnt/work/mcu

export PATH=$PATH:/mnt/work/tools/cpptest:/mnt/work/tools/cpptest/bin

cpptesttrace \

--cpptesttraceOutputFile=/mnt/work/mcu/mcu.bdf \

--cpptesttraceProjectName=Alita_MCU \

./MCU/start.sh

開始編譯代碼,會(huì)有/mnt/work/mcu/mcu.bdf 文件生成,等代碼編譯完成后,就是我們需要的bdf 文件。
在這里插入圖片描述
四、通過bdf文件創(chuàng)建靜態(tài)掃描項(xiàng)目
4.1、編譯器配置
如果編譯代碼的編譯器不是常用的GUN C/C++編譯器,比如是arm-gcc 就需要重新配置編譯器選項(xiàng),同一種編譯器只需要配置一次,下次使用可以在列表中選擇。

本文配置的例子已經(jīng)配置好,無需再配置,如有新的編譯器需要按照本文檔重新配置。

打開 cpptest主界面

菜單->文件->新建->其他

向?qū)Э蜉斎耄壕幾g

列表中選中:自定義編譯器
在這里插入圖片描述
在這里插入圖片描述
找到編譯器目錄確認(rèn)一些信息
在這里插入圖片描述
編譯器名:arm-none-eabi-gcc

版本號:10.3.1

目錄:xxxxxxxxxx

根據(jù)上一頁得出的信息

第一步 選GUN GCC 10.x(x86_64)作為模板

第二步 選擇編譯器的可執(zhí)行文件

第三步 填寫編譯器名

第四步 填寫編譯器標(biāo)識符,一般是編譯器名+版本號
在這里插入圖片描述
點(diǎn)下一步,找到配置文件的目錄復(fù)制后再點(diǎn)完成
在這里插入圖片描述
打開目錄,發(fā)現(xiàn)有三個(gè)配置文件。
在這里插入圖片描述
在這里插入圖片描述
分別刪除三個(gè)文件中的所有 -m64的參數(shù)并保存。

目錄退后一級
在這里插入圖片描述
把gcc-arm-none-eabi-10.3的目錄剪切到 /mnt/work/tools/cpptest/bin/engine/etc/compilers目錄下
在這里插入圖片描述
4.2、通過bdf生成靜態(tài)掃描的項(xiàng)目
重新打開cpptest

菜單->文件->新建->項(xiàng)目
在這里插入圖片描述
在這里插入圖片描述
在這里插入圖片描述
在這里插入圖片描述
完成

在資源管理器中會(huì)列出項(xiàng)目及項(xiàng)目下所有文件的樹型列表
在這里插入圖片描述
五、靜態(tài)掃描并輸出報(bào)告
5.1、基于內(nèi)建規(guī)則創(chuàng)建用戶自定義規(guī)則
cpptest菜單->Parasoft->測試配置->內(nèi)建->Automotive Pack->MISRA C 2012

選中后鼠標(biāo)點(diǎn)右鍵->復(fù)制

在 用戶自定義->Compliance Pack->Automotive Pack 下多了一個(gè)內(nèi)建MISRA C 2012的拷貝

自定義的規(guī)則 “MISA C 2012” 改名 成 “MISRA_C_2012_UD”
在這里插入圖片描述
5.2、修改靜態(tài)規(guī)則
根據(jù)需求修改檢查項(xiàng)再點(diǎn) 應(yīng)用 和 關(guān)閉

一般修改的方法為:

刪除 “建議項(xiàng)”掃描規(guī)則。

保留 “必須項(xiàng)”和“強(qiáng)制項(xiàng)”
在這里插入圖片描述
5.3、靜態(tài)測試分析
項(xiàng)目資源管理->Parasoft->測試執(zhí)行->用戶自定義->Compliance Packs->Automotive Pack->MISRA_C_2012_UD
在這里插入圖片描述
在這里插入圖片描述
在這里插入圖片描述
在這里插入圖片描述
5.4、生成報(bào)告
在這里插入圖片描述
在這里插入圖片描述
在這里插入圖片描述
在這里插入圖片描述
六、命令的方式創(chuàng)建項(xiàng)目和靜態(tài)檢查
6.1、用cpptest導(dǎo)出localsettings.properties
菜單->parasoft->選項(xiàng)->parasoft
在這里插入圖片描述
在這里插入圖片描述
在這里插入圖片描述
增加編譯器配置

打開localsettings.properties

增加編譯器配置

6.2、用cpptestcli命令通過bdf文件生成靜態(tài)檢查工程

export PATH=$PATH:/mnt/work/tools/cpptest:/mnt/work/tools/cpptest/bin

cpptestcli -data /home/ubuntu/parasoft/workspace \

-bdf /mnt/work/mcu/mcu.bdf \

-localsettings /home/ubuntu/parasoft/workspace/localsettings.properties

在這里插入圖片描述
6.3、用cpptestcli命令進(jìn)行靜態(tài)檢查并輸出報(bào)告

export PATH=$PATH:/mnt/work/tools/cpptest:/mnt/work/tools/cpptest/bin

cpptestcli -data /home/ubuntu/parasoft/workspace -resource "Alita_MCU" \

-config "user://MISRA_C_2012_UD" \

-localsettings /home/ubuntu/parasoft/workspace/localsettings.properties \

-report /mnt/work/mcu/report

在這里插入圖片描述

你是否還在尋找穩(wěn)定的海外服務(wù)器提供商?創(chuàng)新互聯(lián)www.cdcxhl.cn海外機(jī)房具備T級流量清洗系統(tǒng)配攻擊溯源,準(zhǔn)確流量調(diào)度確保服務(wù)器高可用性,企業(yè)級服務(wù)器適合批量采購,新人活動(dòng)首月15元起,快前往官網(wǎng)查看詳情吧

文章題目:Parasoft靜態(tài)代碼掃描配置使用指導(dǎo)-創(chuàng)新互聯(lián)
文章URL:http://muchs.cn/article24/coicce.html

成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián),為您提供網(wǎng)頁設(shè)計(jì)公司、網(wǎng)站策劃標(biāo)簽優(yōu)化、域名注冊、建站公司、網(wǎng)站建設(shè)

廣告

聲明:本網(wǎng)站發(fā)布的內(nèi)容(圖片、視頻和文字)以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主,如果涉及侵權(quán)請盡快告知,我們將會(huì)在第一時(shí)間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場,如需處理請聯(lián)系客服。電話:028-86922220;郵箱:631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載,或轉(zhuǎn)載時(shí)需注明來源: 創(chuàng)新互聯(lián)

搜索引擎優(yōu)化