原創|使用教程|編輯:張莉|2025-10-30 13:27:13.917|閱讀 36 次
概述:Parasoft C/C++test作為一款強大的自動化代碼測試工具,集成了靜態分析、單元測試等多種測試技術,能夠幫助開發者在開發早期持續地發現代碼中的缺陷與漏洞。下面將聚焦于如何將Parasoft C/C++test無縫集成到ARM DS-5這一專業的開發環境中,并詳細說明從環境搭建到成功執行靜態分析的完整流程,為構建高可信度的ARM嵌入式軟件奠定堅實基礎。
#慧都22周年慶大促·界面/圖表報表/文檔/IDE/IOT/測試等千款熱門軟控件火熱促銷中>>
在嵌入式開發,尤其是基于ARM架構的安全關鍵領域,代碼的可靠性與穩定性至關重要。Parasoft C/C++test作為一款強大的自動化代碼測試工具,集成了靜態分析、單元測試等多種測試技術,能夠幫助開發者在開發早期持續地發現代碼中的缺陷與漏洞。下面將聚焦于如何將Parasoft C/C++test無縫集成到ARM DS-5這一專業的開發環境中,并詳細說明從環境搭建到成功執行靜態分析的完整流程,為構建高可信度的ARM嵌入式軟件奠定堅實基礎。
一、 安裝
ARM 的DS-5 IDE是基于Eclipse的開發環境,C++Test提供對于Eclipse環境的插件包,將C++Test與DS-5安裝在一個IDE中可以避免設置環境變量等比較麻煩的事情。(DS-5是RVDS的升級版,并不完全相同)
安裝方式很簡單,打開C++Test插件版,選擇DS-5,選擇DS-5中的Eclipse根目錄(注意,安裝的時候需要關閉DS-5環境),然后啟動即可
二、 項目初始化
由于是將C++Test集成到DS-5 IDE中,因此不需要進行項目導入的工作。但是需要對于項目做配置讓C++Test可以識別。
生成BDF文件
DS-5的項目都是基于Makefile的項目,因此可以通過cpptesttrace 命令來跟蹤構建生成BDF文件。如下項目:

在DS-5提供的命令行窗口中使用 cpptesttrace make clean all之后就生成了BDF文件(當然在生成BDF文件的時候可能需要設置一些環境變量來讓構建通過)
修改C++Test構建設置
項目右鍵->屬性(properties)->Parasoft->C++Test->構建設置->選項源->使用來自構建數據文件(bdf)的選項->設置bdf文件路徑(如果生成在項目路徑下比較方便)->編譯器設置->點擊自動檢測(如果沒有檢測出請點擊左側的下拉菜單選擇ARM compiler5.0)->C、C++、連接器都輸入全路徑。
以下情況為項目直接識別
RVDS項目可以直接識別,DS-5的示例項目無法直接識別
如果是這樣的項目可以不需要對項目做適配
三、 靜態分析
許可證是申請的試用許可證,是一個license.dat文件,直接執行靜態分析會報告如下錯誤:
錯誤: 收集頭文件 , TrustZone/main_normal.c 完成代碼 1 (ipro)" Error: C9555E: License checkout for feature ulteval_armcompiler with version 5.0201409 has been denied by Flex back-end. Error code: -1 Cannot find license file. The license files (or license server system network addresses) attempted are listed below. Use LM_LICENSE_FILE to use a different license file, or contact your software provider for a license file. Feature: ulteval_armcompiler Filename: c:\program files\arm\licenses\license.dat License path: c:\program files\arm\licenses\license.dat; FlexNet Licensing error:-1,359. System Error: 2 "No such file or directory" For further information, refer to the FlexNet Licensing documentation, available at "www.flexerasoftware.com". Error preprocessing file "D:\workspace\DS-5\TrustZone\main_normal.c": Process exited with code: 1 Could not preprocess source file
這個是DS-5的許可證問題導致的報錯,雖然給IDE設置過許可證了,但是還是去找c:\program files\arm\licenses\license.dat許可證,因此將許可證文件復制到該路徑下之后可以執行靜態分析
通過以上步驟,我們成功地在ARM DS-5環境中完成了Parasoft C/C++test的安裝、項目配置并解決了許可證導致的靜態分析障礙,邁出了在DS-5平臺進行深度代碼質量保障的第一步。Parasoft C/C++test的強大之處遠不止于此。除了靜態分析,它還提供了強大的單元測試與運行時錯誤檢測能力,能夠幫助客戶實現從代碼規范審查到深層邏輯缺陷挖掘的全方位測試,顯著提升代碼質量、確保軟件可靠性,并最終加速符合功能安全標準的產品上市進程。
關于慧都
慧都科技(EVGET)成?于2003年,是?家?業數字化解決?案公司,?期專注于軟件、油?與制造?業。公司基于深?的業務理解與管理洞察,以系統化的業務建模驅動技術落地,幫助企業實現智能化運營與?期競爭優勢。
慧都科技作為Parasoft公司在中國區的官方授權合作伙伴,為國內企業提供Parasoft C/C++test產品的正版授權、定制化部署與全生命周期技術支持與服務。我們致力于助力客戶精準貫徹功能安全標準、全面提升軟件開發效率、有效管控項目風險,最終構建符合國際標準的高質量軟件體系。
本站文章除注明轉載外,均為本站原創或翻譯。歡迎任何形式的轉載,但請務必注明出處、不得修改原文相關鏈接,如果存在內容上的異議請郵件反饋至chenjj@ke049m.cn