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++的問題，涉及到的方面有：編譯鏈接的錯誤、違反語言規范、可能產生不確定行為的、不安全的數據類型轉換等。

自動對編程規則進行檢查

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

友好的幫助系統

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

提供對軟件結構的分析

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

提供對軟件的質量分析

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

自定制報告

可實現固定模板報告生成，同時也可根據用戶需求定制報告內容?？芍С謱С鯬DF報告、HTML報告。

團隊協作

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

可持續集成

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

資質認證證書

應用案例

審核編輯 黃宇