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