Helix QAC—軟件靜態測試工具

產品概述

    Helix QAC是Perforce公司(原PRQA公司)產品,主要用于C/C++代碼的自動化靜態分析工作,可以提供編碼規則以及信息安全相關檢查、代碼質量度量、軟件結構分析、測試結果管理等功能。Helix QAC能夠準確地發現軟件中潛在的問題,自身符合ISO26262功能安全標準認證。適用于自動駕駛領域,能保障嵌入式軟件的質量,提高其防御黑客攻擊能力。Helix QAC主要模塊為QAC/QAC++、Dashboard(原QA Verify)以及常用行業規則包(如MISRA C:2012、MISRA C++:2008、AUTOSAR C++、CERT、CWE等)。

 

主要功能

  • 多種類、覆蓋面廣的編程規則

     QAC/QAC++支持多種新編程標準(MISRA C:2012、AUTOSAR C++、CERT、CWE等)及其他多種行業編程規則。QAC/QAC++能夠發現1900多種C語言問題、1400多種C++的問題,涉及到的方面有:編譯鏈接的錯誤、違反語言規范、可能產生不確定行為的、不安全的數據類型轉換等。

 

  • 自動對編程規則進行檢查

     在工具中添加要分析的文件,配置好相應環境,運行一次就可以對添加的文件進行全部的分析,運行速度快,使用過程簡單,容易理解,上手快。

 

Helix QAC—軟件靜態測試工具的圖1
  • 友好的幫助系統

     分析結果內檢查錯誤時,如果對所提示的內容不理解,可以雙擊這個錯誤,進入幫助系統。幫助系統除了提供了對錯誤的描述外,大多情況下會提供例子程序,可以幫助理解錯誤的原因,并且可以根據例子來修改自己的代碼。

 

Helix QAC—軟件靜態測試工具的圖2
  • 提供對軟件結構的分析

     可以分析軟件的結構,包括文件之間的包含關系、函數之間的調用關系以及函數自身的結構。

 

Helix QAC—軟件靜態測試工具的圖3
  • 提供對軟件的質量分析

     采用國際標準的軟件質量度量方法及度量指標,對客戶的代碼質量進行評估。提供六十余個指標進行評估,客戶可以方便地在各個指標之間進行切換。

 

Helix QAC—軟件靜態測試工具的圖4
  • 自定制報告

     可實現固定模板報告生成,同時也可根據用戶需求定制報告內容。可支持導出PDF報告、HTML報告。

 

Helix QAC—軟件靜態測試工具的圖5
  • 團隊協作

     可實現版本管理、基線管理、用戶管理、插入注釋功能,實現團隊協作。

 

Helix QAC—軟件靜態測試工具的圖6
  • 可持續集成

     支持命令行形式執行分析,能夠實現與持續集成環境(如Jenkins等)進行集成。

 

資質認證證書

Helix QAC—軟件靜態測試工具的圖7

應用案例

Helix QAC—軟件靜態測試工具的圖8


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

TOP