Helix QAC/QAC++靜態(tài)測試工具—符合功能安全標(biāo)準(zhǔn)MISRA ISO26262
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ī)則的代碼段。
AUTOSAR
● 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ī)則。
靜態(tài)分析優(yōu)越性
● 編碼問題的早期檢測
在新的代碼和以前的代碼中發(fā)現(xiàn)編碼問題。比較其他靜態(tài)代碼分析器，Helix QAC發(fā)現(xiàn)更多的編程錯誤，包括C/C++的未定義或未指定的行為，且適用于數(shù)百萬行的大型項(xiàng)目。
● 風(fēng)險優(yōu)先級
以風(fēng)險的嚴(yán)重程度劃分編碼問題的優(yōu)先級。Helix QAC使用過濾器、抑制和基線的手段幫助你關(guān)注最為關(guān)鍵的代碼缺陷，提供精確的診斷和可操作的結(jié)果。用戶因此能夠首先修改最重要的問題。
● 消除安全漏洞
在源代碼上消除安全漏洞。編程錯誤往往導(dǎo)致犯罪分子利用軟件中的漏洞竊取信息，但Helix QAC使你看到并控制編程錯誤，因此能在源代碼級別上就消除了漏洞。
● 協(xié)同代碼審查
協(xié)同代碼審查，包括人工的和自動的靜態(tài)分析。你能夠?yàn)閳F(tuán)隊(duì)成員分配任務(wù)。
● 監(jiān)控代碼質(zhì)量
監(jiān)控代碼整體質(zhì)量。Helix QAC確保團(tuán)隊(duì)所有成員使用的是一致的編碼規(guī)則，你能控制規(guī)則的偏離和診斷的抑制，也能測量、跟蹤和記錄質(zhì)量度量及其趨勢。
● 集成其它工具集
將靜態(tài)代碼分析集成到其它開發(fā)工具。Helix QAC支持大多數(shù)編譯器。你可以把它集成到許多開發(fā)工具中，包括集成開發(fā)環(huán)境（比如Microsoft Visual Studio）、版本控制系統(tǒng)（比如Helix Core）、以及持續(xù)集成構(gòu)建服務(wù)器（比如Jenkins）。
工業(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)來滿足和超過客戶的需求和滿意度。
提供代碼檢測的廠商：http://www.softtest.cn/
代碼檢測工具列表：http://www.softtest.cn/multi/435.html
工具介紹：http://qa-systems.cn/multi/575.html
工具試用鏈接：http://qa-systems.cn/info/532.html
浙公網(wǎng)安備 33010602011771號