產(chǎn)品概述
Helix QAC是靜態(tài)代碼分析工具，依據(jù)C和C++編碼規(guī)則自動掃描代碼對規(guī)則的違背。開發(fā)團(tuán)隊(duì)在開發(fā)過程的早期就可以用它來檢測缺陷，因?yàn)榇藭r修改代碼是方便也經(jīng)濟(jì)的。Helix QAC因此自動化強(qiáng)制實(shí)施代碼編程標(biāo)準(zhǔn)，比如MISRA，保證代碼的合規(guī)性。
功能特性
●遵循代碼標(biāo)準(zhǔn)
遵循編碼和工業(yè)標(biāo)準(zhǔn)。Helix QAC自動審查代碼，確保它們符合用戶選擇的編碼標(biāo)準(zhǔn)。合規(guī)性報告可視化地提醒用戶哪些代碼需要多加留意。Helix QAC支持多種C和C++編碼標(biāo)準(zhǔn)，提供相應(yīng)的合規(guī)性模塊，也支持標(biāo)準(zhǔn)的客戶化定制。
●檢查更多缺陷
在開發(fā)早期檢查編譯器沒有發(fā)現(xiàn)的關(guān)鍵缺陷。Helix QAC為用戶的軟件建立了精確的行為模型，跟蹤代碼中的變量值，如同運(yùn)行時一樣。因此這種分析化地覆蓋了代碼，使誤報和漏報。它甚至能識別極端復(fù)雜的代碼引起的問題。
●提高代碼質(zhì)量
提供任何應(yīng)用程序的整體質(zhì)量和安全。Helix QAC識別必須修改的缺陷，提供詳細(xì)的指導(dǎo)幫助開發(fā)人員修改問題。這是不需要運(yùn)行程序的。開發(fā)人員既然獲得了即時的上下文反饋，他們將因此從錯誤中獲得學(xué)習(xí)，下一次編寫新的代碼（或者評審代碼）時，能力將得到提升。
●協(xié)同代碼審查
Helix QAC的儀表盤提供了協(xié)同代碼審查的能力，用戶能夠在Helix QAC檢查出的診斷上添加注解，為其他用戶分配需要他們采取的動作。
●適應(yīng)數(shù)百萬行代碼
讓靜態(tài)分析適應(yīng)你的環(huán)境。Helix QAC有能力處理數(shù)百萬行代碼，保證你的產(chǎn)品無論代碼有多么復(fù)雜它都是安全的。
●重用代碼
重用質(zhì)量信得過的代碼。Helix QAC檢測代碼移植性問題，所以你能重用讓你放心的代碼，幫助你的快速開發(fā)。
●加速開發(fā)過程
降低瓶頸加速開發(fā)。Helix QAC能集成在構(gòu)建系統(tǒng)和持續(xù)集成環(huán)境中，盡早且頻繁地發(fā)現(xiàn)缺陷，從而避免了在開發(fā)后期往往需要花費(fèi)甚巨的錯誤。它也加速了當(dāng)前代碼的評審，你甚至可以只讓它檢查新的代碼變化，快速提供反饋。
●監(jiān)視整體代碼質(zhì)量
使用Helix QAC的儀表盤監(jiān)視代碼質(zhì)量。你能夠用它監(jiān)視代碼質(zhì)量度量，獲得質(zhì)量趨勢。儀表盤還能幫你為利益相關(guān)方創(chuàng)建屬于他們的報告。
編程標(biāo)準(zhǔn)合規(guī)性
●MISRA
MISRA編碼標(biāo)準(zhǔn)檢查安全關(guān)鍵系統(tǒng)的潛在問題。MSIRA C和MISRA C++合規(guī)性模塊指出違背這些規(guī)則的代碼段。
MISRA C模塊強(qiáng)制實(shí)施MISRA C:1998、MISRA C:2004和MISRA C:2012。
MISRA C++模塊強(qiáng)制實(shí)施MISRA C++:2008。
在MISRA規(guī)則檢查方面，Helix QAC的準(zhǔn)確性遠(yuǎn)高于其他工具。它對規(guī)則的違背劃分出嚴(yán)重度的優(yōu)先級，你可以據(jù)此修改重要的問題。
MISRA C
MISRA C++
●AUTOSAR
自動化檢查AUTOSAR C++編碼標(biāo)準(zhǔn)的合規(guī)性。
AUTOSAR編碼規(guī)則識別C++14的安全問題。
AUTOSAR C++模塊指出違背這些規(guī)則的代碼段。
●CERT
自動檢查代碼對CERT C和C++標(biāo)準(zhǔn)的合規(guī)性。
CERT編碼規(guī)則識別代碼中的安全漏洞。
CERT C和C++合規(guī)性模塊指出違背這些規(guī)則的代碼段，幫助你消除未定義的行為，應(yīng)用安全編碼的實(shí)踐。
Helix QAC通過詳細(xì)的說明和示例，幫助你優(yōu)先解決嚴(yán)重的問題。所以你將能開發(fā)安全可靠的軟件系統(tǒng)，且能夠追蹤和報告CERT合規(guī)性。
調(diào)用樹
CERT C++
●CWE
自動檢查代碼是否屬于CWE安全脆弱性列表里的行為。
CWE識別C和C++中常見的安全脆弱性。
CWE合規(guī)性模塊指出代碼是否有這些行為，有助于用戶優(yōu)先解決關(guān)鍵錯誤，提升代碼整體質(zhì)量。
熱點(diǎn)圖
CWE C++
●HIC++
自動檢查代碼是否符合High Integrity C++編碼標(biāo)準(zhǔn)，它是原PRQA代碼專家開發(fā)的標(biāo)準(zhǔn)。
HIC++標(biāo)準(zhǔn)確保C++11和C++14的高質(zhì)量代碼。
HIC++
●JSF AV C++
自動檢查代碼是否符合Joint Striker Fight Air Vehicle（JSF AV）C++編碼標(biāo)準(zhǔn)。
JSF AV C++用于安全關(guān)鍵的開發(fā)。Helix QAC提供了對該標(biāo)準(zhǔn)規(guī)則的理解為深刻的診斷信息。
JSF AV C++
●客戶化規(guī)則
自動檢查代碼是否符合定制規(guī)則。
你能夠?yàn)槟阕约旱腃/C++編碼規(guī)則定制一個合規(guī)性模塊，Helix QAC自動實(shí)施這些規(guī)則。
工業(yè)標(biāo)準(zhǔn)認(rèn)證
Helix QAC經(jīng)過了獨(dú)立的標(biāo)準(zhǔn)認(rèn)證，Helix QAC是由Programming Research開發(fā)的，后者現(xiàn)在是Perforce的組成之一。
SGS-TüV Saar認(rèn)證
Helix QAC經(jīng)過SGS-TüV Saar符合如下功能安全標(biāo)準(zhǔn)：
● ISO 26262 (automotive) up to ASIL level D
● IEC 61508 (general industrial) up to SIL 4
● EN 50128 (railways) up to SW-SIL 4
● IEC 62304 (medical devices) up to Software Safety Class C
● IEC 60880 (nuclear power)
ISO 9001 | TickIT認(rèn)證
Helix QAC也通過了ISO 9001 | TickIT plus Foundation Level認(rèn)證。
ISO 9001是廣被采用的標(biāo)準(zhǔn)，確保企業(yè)組織通過持續(xù)改進(jìn)來滿足和超過客戶的需求和滿意度。
更多詳細(xì)內(nèi)容請訪問QA Systems中文網(wǎng)：http://qa-systems.cn/
