雨田靜態(tài)分析系統(tǒng)是款對c文件進(jìn)行靜態(tài)分析的軟件。代碼質(zhì)量分析以 MISRA為依據(jù),分析了近60種常見問題。主要分析內(nèi)容包括控制流分析、數(shù)據(jù)流分析、基本度量指標(biāo)的計(jì)算、違反代碼規(guī)則的檢查等。 且能夠顯示函數(shù)內(nèi)部的控制流圖以及函數(shù)間的調(diào)用關(guān)系圖。對于出現(xiàn)的問題會給出問題發(fā)生的具體位置,有利于代碼質(zhì)量的提高。 軟件特色 指標(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),為對代碼質(zhì)量進(jìn)行有效的評價(jià)提供堅(jiān)實(shí)的基礎(chǔ)。 規(guī)則全面 雨田靜態(tài)分析系統(tǒng)以MISRA為基礎(chǔ),結(jié)合眾多c語言專家的研究成果以及多名資深c/c++開發(fā)人員的經(jīng)驗(yàn),提煉出了300余條可檢查的質(zhì)量規(guī)則,從代碼的正確性、健壯性、可讀性、語義唯一性、環(huán)境兼容性等多個(gè)方面對之進(jìn)行詳盡地檢查,輔助開發(fā)及測評人員查找代碼中的問題。 功能緊湊、簡單易用 雨田靜態(tài)分析系統(tǒng)力求以最簡潔的方式提供最實(shí)用的分析結(jié)果。用戶僅僅需要執(zhí)行“打開”操作,就可以查看工程中所有源文件的度量指標(biāo)、相關(guān)代碼、控制流圖、以及規(guī)則檢查結(jié)果等重要信息。在執(zhí)行一次“綜合質(zhì)量分析”操作,就可以查閱工程中所有源文件及其逐函數(shù)的指標(biāo)匯總報(bào)告、規(guī)則檢查報(bào)告、可讀性報(bào)告、可維護(hù)性報(bào)告、可測試性報(bào)告以及質(zhì)量評估報(bào)告等眾多分析報(bào)告。 使用靈活 雨田靜態(tài)分析系統(tǒng)允許用戶選擇語法分析策略、分析報(bào)告內(nèi)容以及編碼規(guī)則,還允許用戶調(diào)整相關(guān)編碼規(guī)則的邊界(閥值),從而使之成為自己特定的編碼規(guī)則。借助于自身具備的靈活性,雨田靜態(tài)分析系統(tǒng)盡可能的適應(yīng)用戶的應(yīng)用環(huán)境。
使用編程語言寫的程序,由于每條指令都對應(yīng)計(jì)算機(jī)一個(gè)特定的基本動(dòng)作,所以程序占用內(nèi)存少、執(zhí)行效率高。
|
[溫馨提示]:
點(diǎn)下面下載:(推薦使用"迅雷"進(jìn)行下載,系統(tǒng)下載大全QQ交流群:)