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++的問題，涉及到的方面有：編譯連結的錯誤、違反語言規範、可能產生不確定行為的、不安全的資料型別轉換等。

• 自動對程式設計規則進行檢查

在工具中新增要分析的檔案，配置好相應環境，執行一次就可以對新增的檔案進行全部的分析，執行速度快，使用過程簡單，容易理解，上手快。

• 友好的幫助系統

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

• 提供對軟體結構的分析

可以分析軟體的結構，包括檔案之間的包含關係、函式之間的呼叫關係以及函式自身的結構。

• 提供對軟體的質量分析

採用國際標準的軟體質量度量方法及度量指標，對客戶的程式碼質量進行評估。提供六十餘個指標進行評估，客戶可以方便地在各個指標之間進行切換。

• 自定製報告

可實現固定模板報告生成，同時也可根據使用者需求定製報告內容。可支援匯出PDF報告、HTML報告。

• 團隊協作

可實現版本管理、基線管理、使用者管理、插入註釋功能，實現團隊協作。

• 可持續整合

支援命令列形式執行分析，能夠實現與持續整合環境（如Jenkins等）進行整合。

資質認證證書

應用案例