一、環(huán)境要求
創(chuàng)新互聯(lián)-專業(yè)網(wǎng)站定制、快速模板網(wǎng)站建設(shè)、高性價(jià)比嘉興網(wǎng)站開發(fā)、企業(yè)建站全套包干低至880元,成熟完善的模板庫(kù),直接使用。一站式嘉興網(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工具在代碼正常編譯的過程中對(duì)所有要編譯的代碼(如: .c .h)文件的一個(gè)遍歷記錄。
cpptest安裝目錄:cpptest工具安裝的目錄。
如:/mnt/work/tools/cpptest
cpptest workspace目錄:cpptest的工作目錄。
如:/home/ubuntu/parasoft/workspace
待測(cè)試代碼工程可編譯運(yùn)行的目錄。
如:/mnt/work/mcu
待測(cè)試代碼工程的編譯命令
如:在 /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
版本號(hào):10.3.1
目錄:xxxxxxxxxx
根據(jù)上一頁(yè)得出的信息
第一步 選GUN GCC 10.x(x86_64)作為模板
第二步 選擇編譯器的可執(zhí)行文件
第三步 填寫編譯器名
第四步 填寫編譯器標(biāo)識(shí)符,一般是編譯器名+版本號(hào)
點(diǎn)下一步,找到配置文件的目錄復(fù)制后再點(diǎn)完成
打開目錄,發(fā)現(xiàn)有三個(gè)配置文件。
分別刪除三個(gè)文件中的所有 -m64的參數(shù)并保存。
目錄退后一級(jí)
把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->測(cè)試配置->內(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)測(cè)試分析
項(xiàng)目資源管理->Parasoft->測(cè)試執(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級(jí)流量清洗系統(tǒng)配攻擊溯源,準(zhǔn)確流量調(diào)度確保服務(wù)器高可用性,企業(yè)級(jí)服務(wù)器適合批量采購(gòu),新人活動(dòng)首月15元起,快前往官網(wǎng)查看詳情吧
文章題目:Parasoft靜態(tài)代碼掃描配置使用指導(dǎo)-創(chuàng)新互聯(lián)
文章URL:http://jinyejixie.com/article24/coicce.html
成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián),為您提供網(wǎng)頁(yè)設(shè)計(jì)公司、網(wǎng)站策劃、標(biāo)簽優(yōu)化、域名注冊(cè)、建站公司、網(wǎng)站建設(shè)
聲明:本網(wǎng)站發(fā)布的內(nèi)容(圖片、視頻和文字)以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主,如果涉及侵權(quán)請(qǐng)盡快告知,我們將會(huì)在第一時(shí)間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng),如需處理請(qǐng)聯(lián)系客服。電話:028-86922220;郵箱:631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載,或轉(zhuǎn)載時(shí)需注明來源: 創(chuàng)新互聯(lián)
猜你還喜歡下面的內(nèi)容