一、環(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)：

１、許可正常

２、版本為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

開始編譯代碼，會有/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)目




完成

在資源管理器中會列出項(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://aaarwkj.com/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)請盡快告知，我們將會在第一時(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)