Helix QAC企業(yè)級(jí)自動(dòng)代碼靜態(tài)分析器

1、HelixQAC企業(yè)級(jí)自動(dòng)代碼靜態(tài)分析器隨著現(xiàn)代車輛的智能化發(fā)展(ADAS,Telematics,Infotainment,CloudServices)，車載代碼量呈指數(shù)級(jí)增長(zhǎng)，代碼靜態(tài)分析的自動(dòng)化勢(shì)在必行，且人們對(duì)功能安全的要求日益嚴(yán)格，符合行業(yè)編碼規(guī)范是對(duì)車載代碼的基礎(chǔ)要求。美國(guó)Perforce(PRQA)公司是嵌入式靜態(tài)分析領(lǐng)域公認(rèn)的行業(yè)領(lǐng)導(dǎo)及先驅(qū)，擁有30多年軟件開(kāi)發(fā)及測(cè)試經(jīng)驗(yàn)，是MISRA編碼委員會(huì)創(chuàng)始會(huì)員及最具影響力的會(huì)員，同時(shí)是AUTOSAR組織在代碼靜態(tài)分析領(lǐng)域的唯一會(huì)員，負(fù)責(zé)功能安全軟件架構(gòu)的相關(guān)標(biāo)準(zhǔn)制定工作，參與編寫(xiě)了C+14編碼指南，制定了AUTOSAR測(cè)試方案。Perf

2、orce的HelixQAC作為業(yè)內(nèi)為人熟知的自動(dòng)代碼靜態(tài)分析工具，可以支持MISRAC/C+、AUTOSARC+、CERTC/C+、CWEC/C+、HICPP、JSFAVC+編碼規(guī)范包，其精準(zhǔn)的診斷消息和強(qiáng)大的軟件生命周期管理平臺(tái)為全球3000多個(gè)整車廠和零部件供應(yīng)商所信賴。北匯信息作為Perforce的合作伙伴，將為中國(guó)客戶提供專業(yè)的靜態(tài)代碼測(cè)試解決方案。HelixQAC特性HelixQAC是靜態(tài)分析領(lǐng)域公認(rèn)的行業(yè)先驅(qū)，旨在幫助開(kāi)發(fā)和測(cè)試人員在Coding階段實(shí)現(xiàn)高效的自動(dòng)化靜態(tài)測(cè)試，發(fā)現(xiàn)代碼潛在缺陷，衡量代碼質(zhì)量，縮減開(kāi)發(fā)時(shí)間，降低開(kāi)發(fā)成本。HelixQAC包含3部分主體：HelixQAC

3、/C+靜態(tài)分析器可以兼容數(shù)百萬(wàn)行代碼，高速執(zhí)行靜態(tài)分析；編碼規(guī)范包可選組件，配合靜態(tài)分析器實(shí)現(xiàn)代碼的合規(guī)性測(cè)試；項(xiàng)目管理平臺(tái)HelixQACDashboard全生命周期軟件開(kāi)發(fā)管理。1、代碼靜態(tài)分析HelixQAC借助特有的深度數(shù)據(jù)流分析引擎，模擬代碼運(yùn)行時(shí)機(jī)制，檢測(cè)C/C+語(yǔ)言中會(huì)降低代碼復(fù)用性、導(dǎo)致功能安全問(wèn)題、產(chǎn)生網(wǎng)絡(luò)安全漏洞的危險(xiǎn)代碼結(jié)構(gòu)，最大限度提高代碼檢測(cè)覆蓋率，最小化漏報(bào)誤報(bào)率。HelixQAC目前提供多達(dá)4107條診斷消息，其中針對(duì)C語(yǔ)言2156條，C+1951條，這意味著對(duì)編碼規(guī)范更全面更精準(zhǔn)的覆蓋，因?yàn)槊恳粭l診斷消息都對(duì)應(yīng)具體的編碼規(guī)則，可以有效診斷指針操作、類型轉(zhuǎn)換、溢出

4、/零除、未定義行為、數(shù)據(jù)流等等問(wèn)題，并提供在線help，開(kāi)發(fā)工程師可以根據(jù)help實(shí)時(shí)修改源碼。9E*iL圖1HelixQAC代碼審查fltoir=w-i-dlmW.e*0a*1和沖丹i?vM4|：?4質(zhì)七ET-iiN7仲HEMC-啡*Ih列4?心!tfiL,MAliliiHtWt.Ei!d=丄一一-a丫hhRIMMtnnLumnJI4murcMrum*imqiJdtKWiflLurptn-IA|_LCwrrrrpioAXMParnplHJ40二I.ip應(yīng)出詢IT7RkMUIIPAll?HP*Vkl4A-lJr*-wl2、度量元指標(biāo)度量元是對(duì)源代碼某些可量化屬性的度量，每個(gè)度量元都從不同角度反

5、映代碼質(zhì)量，比如復(fù)雜性、可讀性、殘留的bug或可測(cè)試性等。HelixQAC提供基于函數(shù)以及文件的度量元118個(gè)，其中針對(duì)C語(yǔ)言65個(gè)，C+53個(gè)，為企業(yè)制定度量元標(biāo)準(zhǔn)、控制度量元數(shù)值、掌控代碼質(zhì)量提供強(qiáng)有力的依據(jù)。3、HelixQAC支持的編碼規(guī)范HelixQAC可以自動(dòng)遵循以下編碼規(guī)范，并對(duì)診斷消息劃分嚴(yán)重等級(jí)，幫助用戶最先解決嚴(yán)重問(wèn)題，使其軟件符合ISO26262要求。1)MISRAC2004、MISRAC2012、MISRAC+2008：嵌入式系統(tǒng)最理想的編碼規(guī)范，防止會(huì)導(dǎo)致功能安全問(wèn)題及網(wǎng)絡(luò)安全漏洞的錯(cuò)誤編碼。)AUTOSARC+14:為應(yīng)用現(xiàn)代C+語(yǔ)言編寫(xiě)安全和任務(wù)關(guān)鍵型嵌入式系統(tǒng)提

6、供有效指導(dǎo)。)CERTC/C+:旨在清除代碼中可能導(dǎo)致網(wǎng)絡(luò)安全的編碼慣例以及未定義行為。4)CWEC/C+:從架構(gòu)、設(shè)計(jì)、乃至編碼層面描述代碼中常見(jiàn)的網(wǎng)絡(luò)安全問(wèn)題，可以作為識(shí)別、減少、預(yù)防漏洞的基線。HelixQAC基于對(duì)以上編碼規(guī)范良好的執(zhí)行力和覆蓋度，幫助全球各大整車廠、零部件供應(yīng)商及其他行業(yè)如航空、軍工、醫(yī)療等領(lǐng)域的企業(yè)提高代碼質(zhì)量，實(shí)現(xiàn)對(duì)編碼規(guī)范及相關(guān)行業(yè)標(biāo)準(zhǔn)的最佳實(shí)踐。HelixQAC對(duì)編碼規(guī)范的殖蓋度圖2編碼規(guī)范覆蓋度4、HelixQACDashboardHelixQACDashboard是基于網(wǎng)頁(yè)端的項(xiàng)目質(zhì)量管理平臺(tái)，可實(shí)現(xiàn)異地團(tuán)隊(duì)項(xiàng)目信息共享，核心開(kāi)發(fā)人員、開(kāi)發(fā)經(jīng)理、高級(jí)管理人

7、員可以在此平臺(tái)查看源碼診斷消息、進(jìn)行基線/版本管理、添加修改注釋、熱力圖快速定位問(wèn)題源碼、關(guān)注代碼質(zhì)量走勢(shì)、設(shè)置項(xiàng)目權(quán)限、查看代碼合規(guī)情況、定制報(bào)告等等，給客戶呈現(xiàn)一種更廣義的質(zhì)量管理概念。PrajiftctS4jmm-flrydataindLMlIngTLOCProjecttrefHds(CKMCMnafrvtrtut加2miFo創(chuàng)rtiBn)Projectplanift.t*3rartJortMflnBRlffQfiTlin&lAQA-lntbudgetSSVB4HU*YlxilfJilTiH11mIT.ljhtTMTIHPEnM-PULBHifewlUiI也hILdJtU*lwiiavi

8、圖3HelixQACDashboard自定義窗口圖4度量元觀測(cè)代碼質(zhì)量趨勢(shì)5、集成環(huán)境資質(zhì)認(rèn)證1)IDE集成環(huán)境：MicrosoftVisualStudio、Eclipse2)CI環(huán)境：Jenkins、Jira等通過(guò)命令行實(shí)現(xiàn)交互6、支持的操作系統(tǒng)WindowsLinux7、多樣化的本地報(bào)告合規(guī)報(bào)告：給出代碼對(duì)編碼規(guī)范的遵循情況，直觀定位問(wèn)題代碼。代碼審查報(bào)告：總結(jié)基于文件和函數(shù)的度量元數(shù)據(jù)、函數(shù)調(diào)用等信息。Metrics數(shù)據(jù)報(bào)告：提供XML文件，可用作進(jìn)一步檢查代碼質(zhì)量度量的數(shù)據(jù)源。抑制報(bào)告：提供分析工程期間診斷消息的抑制情況。d.24nimj-14ft*FgeiaUW*mnafltVirr

9、JfThklmvil“US2*TiJjb:AbiMKrZalw4Ebe4.t4nri-?護(hù)mu*-Jh-LiiU1jirtaLr7110-ranr9LIW*rM-=r-BfflW*才/bft皐初iEHSLEr-+-專貞HEIJ口LS!mnEun町*燈uJivrarrcwirw*ihm,nwfcNpMLt-uair-WSf-MrkrL十ruxISKJ圖5HelixQAC本地報(bào)告He=xQAC血世SGSTUVSAAR產(chǎn)吊、凹曲41mH盤(pán)來(lái)舞豐罟沖爍、蘋(píng)IEC61508(SIL4)、ISO26262(ASILD)、EN50128(swSIL4)、IEC60880UWEC62304(soffwaresafetyc_assc)m侖、韻&觀活曲屈&罟曜畫(huà)沏aFsnwpafidvcfitflioxSUCB&_-paIJ-SIHS-cs-snurt-IdIdllV