博客專欄

EEPW首頁 > 博客 > Helix QAC — 軟件靜態(tài)測試工具

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

發(fā)布人:hiraintech 時間:2020-09-01 來源:工程師 發(fā)布文章

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

     

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

 

QAC/QAC++主要功能

?  代碼自動審查

       QAC/QAC++能夠?qū)/C++代碼規(guī)則進行自動檢查,報告所違反的編程標(biāo)準(zhǔn)和準(zhǔn)則,減少代碼審查所需的時間,使軟件工程師在開發(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ì)量改進提供客觀準(zhǔn)確的依據(jù),幫助企業(yè)從宏觀上把控軟件質(zhì)量。

 

?  靈活的測****理

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

 

QA Verify主要功能

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

 

 

 

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++工程文件

 

 

  


*博客內(nèi)容為網(wǎng)友個人發(fā)布,僅代表博主個人觀點,如有侵權(quán)請聯(lián)系工作人員刪除。

熱電偶相關(guān)文章:熱電偶原理


關(guān)鍵詞: Helix QAC

技術(shù)專區(qū)

關(guān)閉