QAC代碼檢查方案

1、qa c/c+/java 分別是針對三種源代碼語言的代碼規(guī)則檢查和靜態(tài)分析工具，用于鑒別c/c+/java 語言使用過程中出現(xiàn)的問題，這些問題包括語言中比較危險、過于復(fù)雜、 不可移植、難于維護(hù)的特性，或者是編碼不符合特定的規(guī)則。而這些問題是不能靠編譯器或開發(fā)工具識別的。qa c/c+/java 能明顯地減少代碼審查所需的時間，使程序員對他們未完全理解的c/c+/java 語言編程特點多加注意。通過在開發(fā)的最初階段就注意避免編碼問題，可以提高代碼的質(zhì)量，測試的周期也將會縮短。圖 1 qa c 工程功能特點（ qa c/c+ ）qa c 分析 c 代碼， 提供超過 1300 種 c 語言使用中容易

2、出現(xiàn)的潛在問題，從而發(fā)現(xiàn)危險的結(jié)構(gòu)，發(fā)現(xiàn)維護(hù)和移植中發(fā)生的問題。成功解析許多流行的c 語言編譯器中的語言擴(kuò)展和非標(biāo)準(zhǔn)的結(jié)構(gòu)。輕松定制警告信息和報告。提供 44 種工業(yè)認(rèn)可的復(fù)雜度度量，包括圈復(fù)雜度、靜態(tài)路徑統(tǒng)計和myer s interval 等，還可以擴(kuò)展公司特定的復(fù)雜度度量。報告 iso 標(biāo)準(zhǔn)中的非標(biāo)準(zhǔn)c 可擴(kuò)展，執(zhí)行特定的分析檢查。提供多種多樣的可視化輸出，包括函數(shù)結(jié)構(gòu)圖、函數(shù)調(diào)用樹、外部參考、文件包含關(guān)系和統(tǒng)計的度量分析。高亮顯示 c 和 c+語言的移植問題。在線的 html幫助提供警告信息的詳細(xì)解釋，幫助開發(fā)人員加深理解語言特性?？捎糜?windows 和 unix 平臺，有方便易用

3、的gui 圖形界面?？梢院土餍械拈_發(fā)環(huán)境集成qa c+ 分析標(biāo)準(zhǔn)的c+，可報告400 多種 c+設(shè)計中的潛在問題，如代碼構(gòu)造行為，低效的執(zhí)行，c+相對于 c 的優(yōu)先選擇機制，可維護(hù)和可移植性的考慮以及標(biāo)準(zhǔn)庫使用的建議。解析在大多數(shù)流行編譯器中見到的非標(biāo)準(zhǔn)c+構(gòu)造， 。配置警告信息、報告和缺省值產(chǎn)生針對函數(shù)、類和文件的通用的語言度量，包括圈復(fù)雜度、靜態(tài)路徑計算、嵌套的深度和基于類的度量。產(chǎn)生基于 iso 標(biāo)準(zhǔn) c+或是用戶根據(jù)需求自定義的報告多種可視化輸出，包括函數(shù)調(diào)用、類繼承、文件包含關(guān)系和統(tǒng)計度量分析。顯示 c 和 c+語言可移植性的問題在線 html幫助提供警告信息的詳解，包括選擇項和工作

4、區(qū)?？捎糜?windows 和 unix 平臺，有方便易用的gui 圖形界面?？梢院土餍械拈_發(fā)環(huán)境集成促使產(chǎn)生好的類設(shè)計和對象設(shè)計可以解析用到atl、mfc、 roguewave 和其他第三方庫的代碼。圖 2 消息瀏覽器圖 3 度量瀏覽器圖 4 文件包含關(guān)系圖 5 函數(shù)結(jié)構(gòu)圖，可鏈接到代碼圖 6 html格式的報告突出優(yōu)勢pr 公司是專業(yè)從事軟件設(shè)計方法學(xué)和軟件編程規(guī)范研究的公司，是misra 的主要起草者。軟件代碼規(guī)則極其豐富，qa c 包含 1300 多條規(guī)則， qa c+ 包含 800 多條規(guī)則。并且全面支持misra-c ： 2004 。包含了國軍標(biāo)gjb 5369 航天型號軟件c 語

5、言安全子集 ，可以生成gjb 問題報告單格式的報告。支持軟件代碼規(guī)則定制qac 采取高級編譯技術(shù)，直接分析源代碼，分析迅速準(zhǔn)確，速度為3000 行/秒以上。問題直接定位到源代碼處，并可查找相關(guān)聯(lián)的頭文件。警告形式為類似編譯器的warning形式。qac 提供官方vc 、.net、tornado 等 ide 環(huán)境集成插件，開發(fā)人員可以邊開發(fā)邊檢查，使用方便，發(fā)現(xiàn)問題后容易修改。支持自定制環(huán)境集成，如和keil 、sourceinsignt 等常用 ide 的集成。平臺支持目前支持的語言有c、c+、java。目前可支持的平臺有microsoft windows 、sun solaris、 hp-u

6、x 、redhat linux 、slackware linux 。對于編譯器， qac 支持幾乎所有的主流編譯器，qac 在分析代碼時，并不對代碼進(jìn)行編譯， 只是分析程序時要用到一些編譯器的一些信息，如編譯器頭文件、宏等，以及嵌入式的 cpu 設(shè)定等。目前支持的編譯器有：borland c/c+ builder 、 cosmic、 diab、 edison design group、gnu c/c+ 、green hills c/c+ 、 iar 、ibm visualage c+ 、intel、keil 、metrowerks 、microsoft c/c+ 、tasking。國內(nèi)客戶航天

7、領(lǐng)域中國航天軟件評測中心中國航天飛航軟件評測中心中國航天運載火箭軟件檢測站中國航天五院產(chǎn)品質(zhì)量保證中心中國航天四院軟件檢測站中國航天五院總體部中國航天五院504所中國航天二院二部中國航天一院發(fā)射技術(shù)研究所中國航天八院軟件評測站中國航天八院八部航空領(lǐng)域航空一集團(tuán)航電軟件評測中心航空一集團(tuán)西安軟件評測中心航空一集團(tuán)成都飛機設(shè)計研究所航空一集團(tuán)沈陽飛機設(shè)計研究所航空一集團(tuán)無錫雷華研究所航空一集團(tuán)洛陽光電技術(shù)研究所航空二集團(tuán)洪都飛機660 所航空二集團(tuán)蘭州飛控儀器廠航空二集團(tuán)千山電子儀器廠中電集團(tuán)中國電子科學(xué)研究院中國電子集團(tuán)華東軟件評測中心中國賽寶軟件評測中心中國電子集團(tuán)第28研究所中國電子集團(tuán)第14研究所中國電子集團(tuán)東北技術(shù)研究所船舶核研究院兵器中船重工揚州723研究所中船重工南京724研究所中船重工7