Qt工具 | 靜態代碼/架構分析工具Axivion介紹

Qt工具 | 靜態代碼/架構分析工具Axivion介紹的圖1

什么是靜態測試?

靜態方法是指不運行被測程序本身,僅通過分析或檢查源程序的語法、結構、過程、接口等來檢查程序的正確性。對需求規格說明書、軟件設計說明書、源程序做結構分析、流程圖分析、符號執行來找錯。
靜態方法通過程序靜態特性的分析,找出欠缺和可疑之處,例如不匹配的參數、不適當的循環嵌套和分支嵌套、不允許的遞歸、未使用過的變量、空指針的引用和可疑的計算等。靜態測試結果可用于進一步的查錯,并為測試用例選取提供指導。
Qt工具 | 靜態代碼/架構分析工具Axivion介紹的圖2
Axivion特性概覽
靜態代碼分析
-支持語言:C/C++,C#/.NET,Java和Ada83/Ada95
-編碼指南:涵蓋了MISRA C:2004、MISRA C:2012(包括MISRA C:2012修正1安全規則和MISRA C:2012修正2)和MISRA C++:2008的100%的自動檢查規則,AUTOSAR C++14(17.03、17.10、18.03、18.10和19.03)以及安全標準CERT C和CERT C++、CWE和ISO/IEC TS 17961(C安全編碼標準)等。您也可以使用Axivionsuite的規則編輯器設置和檢查自定義的規則。
Qt工具 | 靜態代碼/架構分析工具Axivion介紹的圖3
-度量:包含許多常見軟件指標的規則集。包含基于行、嵌套、循環復雜度、控制流等黃金老牌的指標。同時也包括HIS(Metrics QAC warning discription)這樣的指標集。
-缺陷分析:檢查源代碼中潛在的運行時錯誤。包括可擴展的數據和控制流檢查,例如越界訪問或除以零等錯誤可以提早發現。
Qt工具 | 靜態代碼/架構分析工具Axivion介紹的圖4
架構分析
使用架構檢查可以確保開發人員和軟件架構師不會離開待開發系統的基礎,而是在其基礎上進行開發。
對架構的偏離會對功能安全造成威脅。軟件架構一致性檢查有效地緩解了這種威脅。
Qt工具 | 靜態代碼/架構分析工具Axivion介紹的圖5
代碼嗅覺檢查
Axivion suite幫助您可靠地檢測和管理整個項目中的重復代碼,檢測包含頭文件的循環,以及直接調用循環,無論調用深度如何,并識別不可達的代碼。
Qt工具 | 靜態代碼/架構分析工具Axivion介紹的圖6
Delta分析
隨著時間的推移,允許持續的基線分析和自動的問題跟蹤。這使您能夠在日常業務中專注于 重要的信息。
Qt工具 | 靜態代碼/架構分析工具Axivion介紹的圖7
更多特性
-支持Windows, Linux and MacOS
-第三方工具集成:CI工具Jenkins, Bamboo等;編譯工具make, cmake, msbuild, scons and gradle;版本管理工具Subversion?, Git?, IBM? Rational? Team Concert?/ClearCase?, Perforce?等。

關于Qt

Qt是一套業界領先的產品開發框架,可供前端設計師和開發人員適用于各種設備和操作系統的先進的UI/UX。
Qt被廣泛應用于70多個行業,并在全球范圍內建立了完善的生態系統——每年下載量達數百萬次。
Qt擁有強大的合作伙伴生態——全球有超過100家軟件服務公司和SoC方案供應商具備Qt開發能力。

Qt工具 | 靜態代碼/架構分析工具Axivion介紹的圖8




深圳市優飛迪科技有限公司成立于2010年,是一家專注于產品開發平臺解決方案與物聯網技術開發的國家級高新技術企業。

十多年來,優飛迪科技在數字孿生、工業軟件尤其仿真技術、物聯網技術開發等領域積累了豐富的經驗,并在這些領域擁有數十項獨立自主的知識產權。同時,優飛迪科技也與國際和國內的主要頭部工業軟件廠商建立了戰略合作關系,能夠為客戶提供完整的產品開發平臺解決方案。

優飛迪科技技術團隊實力雄厚,主要成員均來自于國內外頂尖學府、并在相關領域有豐富的工作經驗,能為客戶提供“全心U+端到端服務”。

Qt工具 | 靜態代碼/架構分析工具Axivion介紹的圖9

登錄后免費查看全文
立即登錄
App下載
技術鄰APP
工程師必備
  • 項目客服
  • 培訓客服
  • 平臺客服

TOP

1