Helix QAC-軟體靜態測試工具

Helix QAC  是Perforce 公司（原PRQA 公司）產品，主要用於C/C++ 程式碼的完全自動化靜態分析工作，可以提供編碼規則檢查、程式碼質量度量、軟體結構分析、測試結果管理等功能。Helix QAC 能夠全面而準確地發現軟體中潛在的問題，自身符合ISO26262 功能安全標準認證。目前已廣泛應用於汽車、電子商務、醫療器械、生產和通訊等領域。

Helix QAC  主要模組為QAC/QAC++、QA Verify、以及常用行業規則包（如MISRAC:2012、MISRA C++:2008、AUTOSRA C++、CERT、CWE 等）。

 

產品介紹

1.QAC/QAC++  主要功能

•   程式碼自動審查

QAC/QAC++  能夠對C/C++ 程式碼規則進行自動檢查，報告所違反的程式設計標準和準則，減少程式碼審查所需的時間，使軟體工程師在開發階段就可以避免程式碼中的問題。

•   全面的規範支援

QAC/QAC++ 全面支援多種最新程式設計標準(MISRA C:2012、MISRA C++:2008 等)， 及其他多種行業程式設計規則。QAC/QAC++ 能夠發現1700 多種C 語言問題、1300 多種C++ 的問題，並提供方便的二次開發介面，可以讓軟體質量工程師定製符合自身要求的規範。

 

•   科學的質量度量

QAC/QAC++  提供權威的度量指標分析能力，包括60 多種C 語言度量和20 多種C++ 度量，為處於不同成熟度企業的軟體質量改進提供客觀準確的依據，幫助企業從宏觀上把控軟體質量。

 

•   靈活的測試管理

QAC/QAC++  能夠對全生命週期的測試過程提供程式碼質量管理解決方案。透過QA Verify 外掛，開發經理可以隨時透過網頁監控專案質量趨勢，跟蹤缺陷狀態、管理程式碼質量、分配工作任務、定義複合度量、對比分析質量、定製生成質量報告，並和Baseline 外掛一起，進行測試的版本管理和控制。

 

2.QA Verify  主要功能

QA Verify  可以與第三方持續整合外掛（如Jenkins）整合，在伺服器端進行程式碼集中、定時測試，測試後將結果分發給團隊裡的不同角色，同時提供了良好的團隊協作、版本管理、報告匯出等功能。

 

3.QA Framework  主要功能

QA Framework  是PRQA 公司於2013 年10 月釋出的一個新模組，它將QAC/QAC++ 的使用者介面又封裝了一層，在新的使用者介面上支援更多操作，比如可以同時使用QAC 和QAC++ 的分析器，不再需要單獨使用兩個軟體；再如使用者可以在QAC/QAC++ 的介面上直接修改原始碼等。QA Framework的主要功能有：

 

•   新的使用者介面

     ♦    使用者可以直接在QA Framework介面中修改原始碼

     ♦    交叉平臺命令列介面

•   與Visual Studio和Eclipse完全整合

•   允許工程中同時含有C檔案和CPP檔案

•   更方便地儲存和釋出QAC/QAC++工程檔案