原創|使用教程|編輯:張莉|2025-09-17 10:39:18.403|閱讀 66 次
概述:Parasoft C/C++test 是一款專注于C/C++語言的靜態分析和單元測試工具,其核心工作原理是通過編譯來進行分析。它需要一個強大、標準且可控的編譯工具鏈來解析代碼。GCC是業界公認的標準C/C++編譯器,其語法和預處理行為非常規范。將代碼遷移到GCC,可以確保靜態分析、單元測試的執行是在一個統一、標準的環境中進行,避免因特定編譯器的擴展語法、特殊內置函數或隱式行為導致的分析誤差或失敗。
# 界面/圖表報表/文檔/IDE等千款熱門軟控件火熱銷售中 >>
Parasoft C/C++test 是一款專注于C/C++語言的靜態分析和單元測試工具,其核心工作原理是通過編譯來進行分析。它需要一個強大、標準且可控的編譯工具鏈來解析代碼。GCC是業界公認的標準C/C++編譯器,其語法和預處理行為非常規范。將代碼遷移到GCC,可以確保靜態分析、單元測試的執行是在一個統一、標準的環境中進行,避免因特定編譯器的擴展語法、特殊內置函數或隱式行為導致的分析誤差或失敗。
在主機環境(Windows/Linux)上配置GCC并編譯代碼,遠比在主機上模擬一個完整的嵌入式編譯和鏈接環境要簡單。我們通常只要求編譯通過以進行靜態分析和生成單元測試用例,而無需鏈接成功,因為這避免了處理目標平臺的啟動文件、芯片專用庫等復雜依賴。
一、設置環境變量
將MinGW的bin目錄設置到電腦的環境PATH下
為了讓Parasoft C/C++test能夠定位并調用MinGW GCC(gcc.exe, g++.exe, make.exe等)工具鏈。
二、在Cpptest中新建項目
選擇菜單“文件》新建》項目”
位置指定到項目代碼所在路徑
點擊完成會創建一個項目,并在項目下產生一個Makefile文件
三、編輯Makefile文件
修改Makefile文件來指定要編譯的代碼文件
OBJS指定要編譯哪些.c文件
CFLAGS指定宏參數,以及需要的頭文件查找目錄
編輯好后,可以右擊項目選擇“構建項目”。這樣可以編譯整個項目代碼
構建項目時如果報告鏈接失敗可以不用管,只需要能編譯代碼即可
Cpptest 需要獲取項目的構建規則和配置才能正確編譯和分析代碼。對于非標準項目結構或使用自定義構建流程的項目,手動創建或修改 Makefile 是最靈活、最可靠的方式。
四、設置Cpptest項目屬性
右擊項目選擇屬性。設置好“Parasoft>C/C++test>構建設置”下的相關參數
明確告訴Cpptest使用哪個編譯器、哪個Makefile文件以及如何調用它們。確保Cpptest的分析引擎和剛剛配置的MinGW GCC環境能夠無縫協作
五、進行Cpptest測試
一般依次進行如下操作
1.運行靜態代碼分析
2.自動生成單元測試用例
3.生成缺失的樁函數
4.運行單元測試用例
通過上述步驟將代碼遷移至MinGW GCC編譯器并完成配置,即可在Parasoft C/C++test環境中建立完整的代碼分析能力。該過程為后續執行靜態分析、單元測試等質量保障活動提供了必要的構建環境支持,有助于在開發階段及時發現代碼缺陷,為后續的持續集成流程提供支持。
Parasoft作為業界領先的自動化軟件測試工具提供商,支持跨平臺、多編譯環境的代碼分析與測試。除了以上基于GCC編譯器的靜態分析、單元測試等核心應用之外,還能夠實現代碼覆蓋率分析、運行時錯誤檢測、測試用例自動化管理、持續集成流水線嵌入等高級功能,幫助客戶在開發生命周期早期識別代碼缺陷、執行合規性檢查,顯著降低后期缺陷修復成本,提升軟件產品質量與交付效率。
關于慧都
慧都是一家行業數字化解決方案公司,專注于軟件、石油與工業領域,以深入的業務理解和行業經驗,幫助企業實現智能化轉型與持續競爭優勢。在軟件工程領域,我們提供開發控件、研發管理、代碼開發、部署運維等軟件開發全鏈路所需的產品,提供正版授權采購、技術選型、個性化維保等服務,幫助客戶實現技術合規、降本增效與風險可控。
慧都科技作為Parasoft公司在中國區的官方授權合作伙伴,為國內企業提供Parasoft C/C++test產品的正版授權、定制化部署與全生命周期技術支持與服務。我們致力于助力客戶精準貫徹功能安全標準、全面提升軟件開發效率、有效管控項目風險,最終構建符合國際標準的高質量軟件體系。
本站文章除注明轉載外,均為本站原創或翻譯。歡迎任何形式的轉載,但請務必注明出處、不得修改原文相關鏈接,如果存在內容上的異議請郵件反饋至chenjj@ke049m.cn