代碼規(guī)范管理系統(tǒng)的制作方法
【技術(shù)領(lǐng)域】
[0001]本發(fā)明涉及一種管理系統(tǒng)，具體地，涉及一種代碼規(guī)范管理系統(tǒng)。
【背景技術(shù)】
[0002]C語言在提供給程序員簡潔和靈活的同時，也帶給我們諸多的容易造成漏洞的副作用。通過靜態(tài)代碼分析，我們可以在不執(zhí)行代碼的前提下檢測到多種容易導(dǎo)致程序漏洞的代碼。這樣的靜態(tài)分析工具上世紀(jì)八十年代就已經(jīng)產(chǎn)生。目前，像PC-Lint、CoverityPrevent>LDRA Testbed等商業(yè)工具廣泛地應(yīng)用于軟件開發(fā)過程中，還有像Splin這樣的開源工具也在不斷的演變和完善中。靜態(tài)代碼分析工具極大的提高了軟件工程中代碼檢查的效率，降低了人工代碼復(fù)查的工作量。當(dāng)前市場上的這些分析工具，其中有的工具功能非常強大，能夠?qū)Τ绦蜻M(jìn)行全局分析和對運行時的程序狀態(tài)進(jìn)行預(yù)判。例如，對空指針引用的預(yù)判，堆棧溢出的檢查，運算操作中損失精度的檢查等等。
[0003]為了提高代碼質(zhì)量，減少由于編碼導(dǎo)致的錯誤發(fā)生率，每個項目組或者單位內(nèi)部都有自己的編程規(guī)范，但是編程規(guī)則一般都是很復(fù)雜的，只是單純的依靠程序員的個人自律是很難達(dá)到編程規(guī)范要求的，而上述的靜態(tài)分析工具又有一定的復(fù)雜性，掌控起來比較麻煩，而某些商業(yè)軟件有需要花費很大的經(jīng)濟(jì)成本，所以問題的解決就變得十分迫切了。

【發(fā)明內(nèi)容】

[0004]針對現(xiàn)有技術(shù)中的缺陷，本發(fā)明的目的是提供一種代碼規(guī)范管理系統(tǒng)，其快速糾正程序員的編碼規(guī)則問題，在不需要程序員學(xué)習(xí)靜態(tài)分析工具的情況下，幫助程序員形成良好的編程習(xí)慣。
[0005]根據(jù)本發(fā)明的一個方面，提供一種代碼規(guī)范管理系統(tǒng)，其特征在于，包括:
[0006]靜態(tài)分析服務(wù)器，通過調(diào)用類似PC-Lint、Coverity Prevent、LDRA Testbed軟件工具的靜態(tài)分析功能完成指定代碼的靜態(tài)分析，然后根據(jù)配置好的編碼規(guī)則集對靜態(tài)分析的結(jié)果進(jìn)行過濾，將最終的結(jié)果保存在數(shù)據(jù)庫中供查詢和統(tǒng)計；
[0007]IDE靜態(tài)分析結(jié)果查看插件，用于完成代碼的編碼規(guī)則檢查，將代碼提交給靜態(tài)分析服務(wù)器，然后通過查詢數(shù)據(jù)庫能快速的看到結(jié)果；
[0008]編碼規(guī)則修改助手，根據(jù)編碼規(guī)則違反情況給出可能的解決方案供程序員選擇。
[0009]優(yōu)選地，所述編碼規(guī)則修改助手將代碼中違反編碼規(guī)則的地方進(jìn)行特殊的標(biāo)記。
[0010]與現(xiàn)有技術(shù)相比，本發(fā)明具有如下的有益效果:一，本發(fā)明快速糾正程序員的編碼規(guī)則問題，在不需要程序員學(xué)習(xí)靜態(tài)分析工具的情況下，幫助程序員形成良好的編程習(xí)慣。二，本發(fā)明修正助手協(xié)助完成代碼的修改，提高了工作效率和出錯率。三，本發(fā)明完成的檢查結(jié)果記錄，方便問題的統(tǒng)計和回溯。
【附圖說明】
[0011]通過閱讀參照以下附圖對非限制性實施例所作的詳細(xì)描述，本發(fā)明的其它特征、目的和優(yōu)點將會變得更明顯:
[0012]圖1為本發(fā)明代碼規(guī)范管理系統(tǒng)的原理框圖。
【具體實施方式】
[0013]下面結(jié)合具體實施例對本發(fā)明進(jìn)行詳細(xì)說明。以下實施例將有助于本領(lǐng)域的技術(shù)人員進(jìn)一步理解本發(fā)明，但不以任何形式限制本發(fā)明。應(yīng)當(dāng)指出的是，對本領(lǐng)域的普通技術(shù)人員來說，在不脫離本發(fā)明構(gòu)思的前提下，還可以做出若干變形和改進(jìn)。這些都屬于本發(fā)明的保護(hù)范圍。
[0014]如圖1所示，本發(fā)明代碼規(guī)范管理系統(tǒng)包括:
[0015]靜態(tài)分析服務(wù)器，通過調(diào)用類似PC-Lint、Coverity Prevent、LDRA Testbed軟件工具的靜態(tài)分析功能完成指定代碼的靜態(tài)分析，然后根據(jù)配置好的編碼規(guī)則集對靜態(tài)分析的結(jié)果進(jìn)行過濾，將最終的結(jié)果保存在數(shù)據(jù)庫中供查詢和統(tǒng)計；
[0016]IDE靜態(tài)分析結(jié)果查看插件，為常用的IDE開發(fā)一些插件，用于完成代碼的編碼規(guī)則檢查，類似IDE中的編譯功能，將代碼提交給靜態(tài)分析服務(wù)器，然后通過查詢數(shù)據(jù)庫能快速的看到結(jié)果。程序員只需要操作IDE中的這個插件就可以看到編碼規(guī)則的違反情況，避免了 PC-Lint、Coverity Prevent、LDRA Testbed 等軟件工具的學(xué)習(xí)；
[0017]編碼規(guī)則修改助手，程序員看到編碼規(guī)則違反情況之后，就需要去手動的解決這些問題，而手動的修改效率低并且易出錯，所以一個編碼規(guī)則修改助手就很有必要了，此助手會根據(jù)編碼規(guī)則違反情況給出可能的解決方案供程序員選擇，由于程序的嚴(yán)謹(jǐn)性要求很高，所以編碼規(guī)則修改助手只會在程序員確認(rèn)之后才會對代碼進(jìn)行修改。編碼規(guī)則修改助手將代碼中違反編碼規(guī)則的地方進(jìn)行特殊的標(biāo)記。在使用者通過IDE編寫代碼時，根據(jù)使用者編碼規(guī)則的違反情況，編碼規(guī)則修改助手進(jìn)行正確格式的格式，并幫助使用者自動生成某種符合規(guī)范的代碼分支框架。
[0018]本發(fā)明建立一個靜態(tài)分析服務(wù)器，然后將靜態(tài)分析的結(jié)果和編程規(guī)范匹配之后的結(jié)果存放在數(shù)據(jù)庫中，用于查看；這樣就避免了程序員對靜態(tài)分析工具的學(xué)習(xí)。本發(fā)明在IDE (Integrated Drive Electronics，集成驅(qū)動電子設(shè)備)中編寫一個客戶端插件，將客戶編碼的問題像編譯代碼一樣及時的反映出來。本發(fā)明提供用戶改變編碼規(guī)則問題的助手，將可能更好的代碼提供給用戶選擇，避免了手工改進(jìn)的低效率和易出錯問題。本發(fā)明提供用戶改變編碼規(guī)則問題的助手，將可能更好的代碼提供給用戶選擇，避免了手工改進(jìn)的低效率和易出錯問題。
[0019]以上對本發(fā)明的具體實施例進(jìn)行了描述。需要理解的是，本發(fā)明并不局限于上述特定實施方式，本領(lǐng)域技術(shù)人員可以在權(quán)利要求的范圍內(nèi)做出各種變形或修改，這并不影響本發(fā)明的實質(zhì)內(nèi)容。
【主權(quán)項】
1.一種代碼規(guī)范管理系統(tǒng)，其特征在于，包括: 靜態(tài)分析服務(wù)器，通過調(diào)用類似PC-Lint、Coverity Prevent、LDRA Testbed軟件工具的靜態(tài)分析功能完成指定代碼的靜態(tài)分析，然后根據(jù)配置好的編碼規(guī)則集對靜態(tài)分析的結(jié)果進(jìn)行過濾，將最終的結(jié)果保存在數(shù)據(jù)庫中供查詢和統(tǒng)計； IDE靜態(tài)分析結(jié)果查看插件，用于完成代碼的編碼規(guī)則檢查，將代碼提交給靜態(tài)分析服務(wù)器，然后通過查詢數(shù)據(jù)庫能快速的看到結(jié)果； 編碼規(guī)則修改助手，根據(jù)編碼規(guī)則違反情況給出可能的解決方案供程序員選擇。
2.根據(jù)權(quán)利要求1所述的代碼規(guī)范管理系統(tǒng)，其特征在于，所述編碼規(guī)則修改助手將代碼中違反編碼規(guī)則的地方進(jìn)行特殊的標(biāo)記。
【專利摘要】本發(fā)明提供了一種代碼規(guī)范管理系統(tǒng)，該系統(tǒng)包括：靜態(tài)分析服務(wù)器，靜態(tài)分析服務(wù)器，通過調(diào)用類似PC-Lint、Coverity Prevent、LDRA Testbed軟件工具的靜態(tài)分析功能完成指定代碼的靜態(tài)分析，然后根據(jù)配置好的編碼規(guī)則集對靜態(tài)分析的結(jié)果進(jìn)行過濾，將最終的結(jié)果保存在數(shù)據(jù)庫中供查詢和統(tǒng)計；IDE靜態(tài)分析結(jié)果查看插件，用于完成代碼的編碼規(guī)則檢查，將代碼提交給靜態(tài)分析服務(wù)器，然后通過查詢數(shù)據(jù)庫能快速的看到結(jié)果；編碼規(guī)則修改助手，根據(jù)編碼規(guī)則違反情況給出可能的解決方案供程序員選擇。本發(fā)明快速糾正程序員的編碼規(guī)則問題，在不需要程序員學(xué)習(xí)靜態(tài)分析工具的情況下，幫助程序員形成良好的編程習(xí)慣。
【IPC分類】G06F11-36
【公開號】CN104615540
【申請?zhí)枴緾N201510070600
【發(fā)明人】咸峰, 劉鈞鈞, 王偉
【申請人】上海創(chuàng)景計算機系統(tǒng)有限公司
【公開日】2015年5月13日
【申請日】2015年2月10日