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

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

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

QAC/QAC++主要功能

?  代碼自動(dòng)審查

       QAC/QAC++能夠?qū)/C++代碼規(guī)則進(jìn)行自動(dòng)檢查，報(bào)告所違反的編程標(biāo)準(zhǔn)和準(zhǔn)則，減少代碼審查所需的時(shí)間，使軟件工程師在開發(fā)階段就可以避免代碼中的問題。

?  規(guī)范支持

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

?  科學(xué)的質(zhì)量度量

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

?  靈活的測****理

         QAC/QAC++能夠?qū)θ芷诘臏y試過程提供代碼質(zhì)量管理解決方案。通過QA Verify 插件，開發(fā)經(jīng)理可以隨時(shí)通過網(wǎng)頁監(jiān)控項(xiàng)目質(zhì)量趨勢，跟蹤缺陷狀態(tài)、管理代碼質(zhì)量、分配工作任務(wù)、定義復(fù)合度量、對(duì)比分析質(zhì)量、定制生成質(zhì)量報(bào)告，并和Baseline插件一起，進(jìn)行測試的版本管理和控制。

QA Verify主要功能

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

Helix QAC主要功能

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

?   新的用戶界面

     ?  支持分析界面對(duì)源碼進(jìn)行編輯

     ?  交叉平臺(tái)命令行接口

?  與Visual Studio和Eclipse無縫集成

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

?  提供HIS度量報(bào)告

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