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

產(chǎn)品概述

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

主要功能

多種類、覆蓋面廣的編程規(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++的問題，涉及到的方面有：編譯鏈接的錯誤、違反語言規(guī)范、可能產(chǎn)生不確定行為的、不安全的數(shù)據(jù)類型轉(zhuǎn)換等。

自動對編程規(guī)則進(jìn)行檢查

在工具中添加要分析的文件，配置好相應(yīng)環(huán)境，運(yùn)行一次就可以對添加的文件進(jìn)行全部的分析，運(yùn)行速度快，使用過程簡單，容易理解，上手快。

友好的幫助系統(tǒng)

分析結(jié)果內(nèi)檢查錯誤時，如果對所提示的內(nèi)容不理解，可以雙擊這個錯誤，進(jìn)入幫助系統(tǒng)。幫助系統(tǒng)除了提供了對錯誤的描述外，大多情況下會提供例子程序，可以幫助理解錯誤的原因，并且可以根據(jù)例子來修改自己的代碼。

提供對軟件結(jié)構(gòu)的分析

可以分析軟件的結(jié)構(gòu)，包括文件之間的包含關(guān)系、函數(shù)之間的調(diào)用關(guān)系以及函數(shù)自身的結(jié)構(gòu)。

提供對軟件的質(zhì)量分析

采用國際標(biāo)準(zhǔn)的軟件質(zhì)量度量方法及度量指標(biāo)，對客戶的代碼質(zhì)量進(jìn)行評估。提供六十余個指標(biāo)進(jìn)行評估，客戶可以方便地在各個指標(biāo)之間進(jìn)行切換。

自定制報(bào)告

可實(shí)現(xiàn)固定模板報(bào)告生成，同時也可根據(jù)用戶需求定制報(bào)告內(nèi)容?？芍С謱?dǎo)出PDF報(bào)告、HTML報(bào)告。

團(tuán)隊(duì)協(xié)作

可實(shí)現(xiàn)版本管理、基線管理、用戶管理、插入注釋功能，實(shí)現(xiàn)團(tuán)隊(duì)協(xié)作。

可持續(xù)集成

支持命令行形式執(zhí)行分析，能夠?qū)崿F(xiàn)與持續(xù)集成環(huán)境（如Jenkins等）進(jìn)行集成。

資質(zhì)認(rèn)證證書

應(yīng)用案例

審核編輯 黃宇