Helix QAC — 軟件靜態(tài)測試工具

        Helix QAC是Perforce公司（原PRQA 公司）產品，主要用于C/C++ 代碼的自動化靜態(tài)分析工作，可以提供編碼規(guī)則以及信息安全相關檢查、代碼質量度量、軟件結構分析、測試結果管理等功能。Helix QAC 能夠發(fā)現(xiàn)軟件中潛在的問題，自身符合ISO26262功能安全標準認證。適用于自動駕駛領域，保障嵌入式軟件的質量，提高其防御黑客攻擊能力。

        Helix QAC 主要模塊為QAC/QAC++、QA Verify、以及常用行業(yè)規(guī)則包（如MISRA C:2012、MISRA C++:2008、AUTOSAR C++、CERT、CWE 等）。

QAC/QAC++主要功能

?  代碼自動審查

       QAC/QAC++能夠對C/C++代碼規(guī)則進行自動檢查，報告所違反的編程標準和準則，減少代碼審查所需的時間，使軟件工程師在開發(fā)階段就可以避免代碼中的問題。

?  規(guī)范支持

         QAC/QAC++支持多種新編程標準(MISRA C:2012、AUTOSAR C++、CERT、CWE等)， 及其他多種行業(yè)編程規(guī)則。QAC/QAC++能夠發(fā)現(xiàn)1900多種C語言問題、1400多種C++的問題，并提供方便的二次開發(fā)接口，可以讓軟件質量工程師定制符合自身要求的規(guī)范。

?  科學的質量度量

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

?  靈活的測****理

         QAC/QAC++能夠對全生命周期的測試過程提供代碼質量管理解決方案。通過QA Verify 插件，開發(fā)經理可以隨時通過網(wǎng)頁監(jiān)控項目質量趨勢，跟蹤缺陷狀態(tài)、管理代碼質量、分配工作任務、定義復合度量、對比分析質量、定制生成質量報告，并和Baseline插件一起，進行測試的版本管理和控制。

QA Verify主要功能

         QA Verify可以與第三方持續(xù)集成插件（如Jenkins）集成，在服務器端進行代碼集中、定時測試，測試后將結果分發(fā)給團隊里的不同角色，同時提供了良好的團隊協(xié)作、版本管理、報告導出等功能。

Helix QAC主要功能

        Helix QAC（原 QA Framework），將QAC/QAC++的用戶界面又封裝了一層，在新的用戶界面上支持更多操作，比如可以同時使用QAC和QAC++的分析器，不再需要使用兩個軟件；再如用戶可以在QAC/QAC++的界面上直接修改源代碼；且默認已包含Helix QAC Dashboard(原 QA Verify)功能等。其主要功能有：

?   新的用戶界面

     ?  支持分析界面對源碼進行編輯

     ?  交叉平臺命令行接口

?  與Visual Studio和Eclipse無縫集成

?  支持混合代碼（C 和C++ ）的檢查

?  提供HIS度量報告

?  更方便地保存和發(fā)布QAC/QAC++工程文件