Parasoft C/C++test是一款專業的自動化軟件測試工具，致力于幫助C和C++開發團隊提升代碼質量與可靠性。Parasoft C/C++test通過執行靜態代碼分析、單元測試等多種方法，能夠高效地在開發早期識別出潛在缺陷與安全漏洞，并確保代碼符合如MISRA在內的行業核心安全編碼標準。下面將一步步完成從安裝部署到使用它對示例項目進行靜態分析的完整流程，展示其強大的代碼質量保障能力。

>>點擊獲取Parasoft C/C++test試用

1、安裝

從parasoft官方獲取安裝包

直接解壓即可：

2、部署許可證

打開cpptest.exe。

按照下圖找到機器碼，將機器碼發送給parasoft官方人員，獲取許可證，將許可證粘貼到 密碼 框中。

3、使用demo項目中的Sensor項目進行測試

3.1 項目位置

使?C/C++test安裝?錄下，\<cpptest_dir>/examples/Sensor，這個Sensor項?。

3.2 提前準備

要保證Sensor項目在windows上面編譯，必須要提前安裝gcc，g++，make等這些程序，通過MinGW或者Cygwin可以一鍵安裝這些程序。

3.3 配置環境變量

將cpptest目錄和bin目錄配置在path環境變量中：

3.4 獲取bdf文件

使?cpptesttrace命令追蹤Sensor項?的編譯過程，獲取 bdf?件。

cpptesttrace make

可以觀察到，執?完命令后不僅僅?成了make原來編譯過后的.exe程序，還多了?個cpptest.bdf?件。需要通過這個?件，將Sensor項?導?到C/C++test(cpptest）中進?測試。

3.5 導入項目

打開cpptest，點擊 Create a project...， 再點擊 創建來?構建數據?件(.bdf/ .json)的項?。點擊 下?步。

選擇獲取到的bdf文件。點擊完成。

項目就被導入成功了。

4、靜態分析

4.1 選擇測試集

選擇 Parasoft，點擊 測試配置(C)...。

在 Automatiive Pack中找到MISRA C 2012這個測試集，右鍵 選擇復制。

復制后，可以在 ???定義 下?找到復制過來的 MISRA C 2012，但是前?的icon是?個“人”，這代表這個測試集是復制過來的。我們可以裁剪這個規則集，?如說我們需要去掉?些不想要的規則。

4.2 處理測試集

點擊我們復制過來的測試集，然后再點擊右邊的窗?靜態，在右下?的窗?中可以找到打上勾的測試集，這個證明是我們啟?的規則，如果需要不啟?某些規則，只要找到它，然后去掉前?的√就可以了。做完這些操作后，點擊右下?的應?，我們的規則集就準備好了。

4.3 開始靜態測試

選擇測試?標。我們可以通過左鍵點擊，選擇整個項?，單個?件夾，或者單個.c?件。

選中后，我們再右鍵，找到Parasoft->測試執?->???定義->Compliance Packs->AutomotivePack->MISRA C 2012。點擊，進?測試。

觀察下?的這個窗?，出現進度條，證明正在測試。

1/1，證明測試結束，檢查出113個缺陷。

4.4 查看結果

點擊這個放大鏡圖標，可以跳轉到 測試結果 詳細窗口。

質量任務視圖當中就是所有的測試結果了。

雙擊違規，就可以定位到源碼了。

4.5 實操修改違規

定位源碼后，可以借助 規則文檔 理解規則，也可查看相關示例代碼。

左鍵違規，再右鍵，點擊 查看規則文檔

瀏覽器會打開對應的文檔。

通過閱讀文檔，可以知道這條規則要求的是對基礎數據類型要進行重新命名，使用到對應數據類型的地方，要進行別名替換。

按照如下圖片，進行代碼修改，保存后，再次進行掃描。

從掃描結果看，第7行已不再出現 “不應使用基本數據類型..”違規。

4.6 生成報告

生成報告前，可以進行報告的相關設置。

在首選項的報告設置中，可以進行報告內容板塊和報告格式的設置。

在下圖的配置功能中可以配置報告生成的路徑。

點擊處理或者記事本圖標都可以生成報告。

通過以上步驟，成功利用Parasoft C/C++test完成了對示例項目的靜態代碼分析與缺陷修復，這只是其強大測試能力的一部分。Parasoft C/C++test還提供單元測試、代碼覆蓋率分析及運行時監測等功能，共同構成一個完整的質量保障體系。對于客戶而言，這意味著它能有效幫助團隊自動化執行編碼規范，降低人工審查成本，從根本上提升軟件的穩定性、安全性與可維護性，是構建高質量軟件的堅實基礎。

關于慧都

慧都科技（EVGET）成?于2003年，是?家?業數字化解決?案公司，?期專注于軟件、油?與制造?業。公司基于深?的業務理解與管理洞察，以系統化的業務建模驅動技術落地，幫助企業實現智能化運營與?期競爭優勢。

慧都科技作為Parasoft公司在中國區的官方授權合作伙伴，為國內企業提供Parasoft C/C++test產品的正版授權、定制化部署與全生命周期技術支持與服務。我們致力于助力客戶精準貫徹功能安全標準、全面提升軟件開發效率、有效管控項目風險，最終構建符合國際標準的高質量軟件體系。