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

? ? ? Helix QAC 是Perforce 公司（原PRQA 公司）產(chǎn)品，主要用于C/C++ 代碼的完全自動(dòng)化靜態(tài)分析工作，可以提供編碼規(guī)則檢查、代碼質(zhì)量度量、軟件結(jié)構(gòu)分析、測(cè)試結(jié)果管理等功能。Helix QAC 能夠全面而準(zhǔn)確地發(fā)現(xiàn)軟件中潛在的問題，自身符合ISO26262 功能安全標(biāo)準(zhǔn)認(rèn)證。目前已廣泛應(yīng)用于汽車、電子商務(wù)、醫(yī)療器械、生產(chǎn)和通信等領(lǐng)域。

?

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

?

產(chǎn)品介紹

?

1.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、MISRA C++:2008 等)， 及其他多種行業(yè)編程規(guī)則。QAC/QAC++ 能夠發(fā)現(xiàn)1700 多種C 語言問題、1300 多種C++ 的問題，并提供方便的二次開發(fā)接口，可以讓軟件質(zhì)量工程師定制符合自身要求的規(guī)范。

?

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

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

?

???靈活的測(cè)試管理

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

?

2.QA Verify 主要功能

?

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

?

?

3.QA Framework 主要功能

?

? ? ? QA Framework 是PRQA 公司于2013 年10 月發(fā)布的一個(gè)新模塊，它將QAC/QAC++ 的用戶界面又封裝了一層，在新的用戶界面上支持更多操作，比如可以同時(shí)使用QAC 和QAC++ 的分析器，不再需要單獨(dú)使用兩個(gè)軟件；再如用戶可以在QAC/QAC++ 的界面上直接修改源代碼等。QA Framework的主要功能有：

?

???新的用戶界面

? ?????用戶可以直接在QA Framework界面中修改源代碼

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

???與Visual Studio和Eclipse完全集成

???允許工程中同時(shí)含有C文件和CPP文件

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

?

經(jīng)緯恒潤(rùn)

北京市海淀區(qū)知春路7號(hào)致真大廈D座6層

電話：010-64840808

郵箱：market_dept@hirain.com

網(wǎng)址：www.hirain.com