雨田靜態(tài)分析系統(tǒng)是一款非常不錯(cuò)的靜態(tài)分析工具，可以對(duì).c文件進(jìn)行靜態(tài)分析，包括基本指標(biāo)分析、數(shù)據(jù)流分析、復(fù)雜度分析、循環(huán)分析以及代碼質(zhì)量分析，有利于提高代碼質(zhì)量。

 

靜態(tài)分析工具軟件功能：

　　雨田靜態(tài)分析系統(tǒng)可以對(duì).c文件進(jìn)行靜態(tài)分析。

　　具體包括控制流分析、基本指標(biāo)分析、數(shù)據(jù)流分析、復(fù)雜度分析、循環(huán)分析以及代碼質(zhì)量分析。

　　代碼質(zhì)量分析以 MISRA為依據(jù)，分析了近60種常見(jiàn)問(wèn)題。

　　能夠顯示函數(shù)內(nèi)部的控制流圖以及函數(shù)間的調(diào)用關(guān)系圖。

　　對(duì)于出現(xiàn)的問(wèn)題會(huì)給出問(wèn)題發(fā)生的具體位置，有利于代碼質(zhì)量的提高。

靜態(tài)分析工具軟件特色：

　　指標(biāo)豐富

　　雨田靜態(tài)分析系統(tǒng)詳細(xì)計(jì)算了代碼相關(guān)指標(biāo)、注釋信息相關(guān)指標(biāo)、數(shù)據(jù)流相關(guān)指標(biāo)、復(fù)雜度相關(guān)指標(biāo)、循環(huán)相關(guān)指標(biāo)、操作符及操作數(shù)指標(biāo)、路徑指標(biāo)等多個(gè)方面的指標(biāo)，為對(duì)代碼質(zhì)量進(jìn)行有效的評(píng)價(jià)提供堅(jiān)實(shí)的基礎(chǔ)。

　　規(guī)則全面

　　雨田靜態(tài)分析系統(tǒng)以MISRA為基礎(chǔ)，結(jié)合眾多c語(yǔ)言專家的研究成果以及多名資深c/c++開(kāi)發(fā)人員的經(jīng)驗(yàn)，提煉出了300余條可檢查的質(zhì)量規(guī)則，從代碼的正確性、健壯性、可讀性、語(yǔ)義唯一性、環(huán)境兼容性等多個(gè)方面對(duì)之進(jìn)行詳盡地檢查，輔助開(kāi)發(fā)及測(cè)評(píng)人員查找代碼中的問(wèn)題。

　　功能緊湊、簡(jiǎn)單易用

　　雨田靜態(tài)分析系統(tǒng)力求以最簡(jiǎn)潔的方式提供最實(shí)用的分析結(jié)果。用戶僅僅需要執(zhí)行“打開(kāi)”操作，就可以查看工程中所有源文件的度量指標(biāo)、相關(guān)代碼、控制流圖、以及規(guī)則檢查結(jié)果等重要信息。在執(zhí)行一次“綜合質(zhì)量分析”操作，就可以查閱工程中所有源文件及其逐函數(shù)的指標(biāo)匯總報(bào)告、規(guī)則檢查報(bào)告、可讀性報(bào)告、可維護(hù)性報(bào)告、可測(cè)試性報(bào)告以及質(zhì)量評(píng)估報(bào)告等眾多分析報(bào)告。

　　使用靈活

　　雨田靜態(tài)分析系統(tǒng)允許用戶選擇語(yǔ)法分析策略、分析報(bào)告內(nèi)容以及編碼規(guī)則，還允許用戶調(diào)整相關(guān)編碼規(guī)則的邊界（閥值），從而使之成為自己特定的編碼規(guī)則。借助于自身具備的靈活性，雨田靜態(tài)分析系統(tǒng)盡可能的適應(yīng)用戶的應(yīng)用環(huán)境。

【使用步驟】

　　第一步：安裝系統(tǒng)

　　注意1: 盡量不要安裝在c盤，尤其是當(dāng)操作系統(tǒng)是win8的時(shí)候。

　　注意2：操作系統(tǒng)用戶應(yīng)該具有操作系統(tǒng)盤的權(quán)限，尤其在win8或win8+時(shí)候要注意。

　　注意3: 如果已經(jīng)安裝了“雨田單元測(cè)試系統(tǒng)”，那么不要將“雨田靜態(tài)分析系統(tǒng)”與“雨田單元測(cè)試系統(tǒng)”安裝在同一目錄下。

　　注意4： 如果安裝后首次使用即提示過(guò)期，通常是由于操作系統(tǒng)權(quán)限設(shè)置問(wèn)題，需要聯(lián)系產(chǎn)品提供方。

　　第二步：運(yùn)行系統(tǒng)。

　　從桌面或者快捷菜單中運(yùn)行系統(tǒng)。

　　第三步：打開(kāi)文件

　　在主界面中“文件”菜單欄中點(diǎn)擊“打開(kāi)”菜單項(xiàng)，在彈出的對(duì)話框中選擇要分析的文件（例如：安裝目錄\examples\Ggrocers.c）。注意目前僅僅能處理。c/.cpp/.h文件，所以請(qǐng)不要打開(kāi)其他類型的文件。

　　第四步：分析并瀏覽分析結(jié)果

　　在打開(kāi)文件后的主界面中的左側(cè)的函數(shù)導(dǎo)航樹中通過(guò)點(diǎn)擊選擇要分析的函數(shù)，系統(tǒng)會(huì)對(duì)選擇的函數(shù)進(jìn)行靜態(tài)分析。通過(guò)切換主界面右側(cè)的分析結(jié)果試圖頂部的模式，可以查閱不同的靜態(tài)分析結(jié)果。

【更新內(nèi)容】

　　V2.6.0

　　增加了指標(biāo)閾值設(shè)置界面，用戶可以在界面中直接修改閾值，而不用再修改配置文件了。

　　另外，新增了百余條c/c++/java質(zhì)量規(guī)則的檢查，大幅調(diào)高了系統(tǒng)的質(zhì)量評(píng)估能力，同時(shí)還升級(jí)了核心組件，系統(tǒng)更高效更穩(wěn)定

　　V2.5.0

　　1、添加了java編碼規(guī)則設(shè)置界面

　　2、增加了數(shù)十條java編碼規(guī)則的檢查

　　3、調(diào)整了c/cpp編碼規(guī)則設(shè)置的應(yīng)用方式

　　4、調(diào)整了打開(kāi)文件界面

　　5、調(diào)整了違規(guī)列表界面

標(biāo)簽： 靜態(tài)分析 編程 程序分析