這里主要介紹三種開源的工具,PMD、CheckStyle和FindBugs,著重是在Ant里的調(diào)用,據(jù)說商業(yè)軟件JTest也是著名的代碼分析工具,哈哈,要花錢的沒有用過。 PMD (http://pmd./) 簡介: PMD 掃描java源代碼,查找潛在的問題,如: 可能的bugs,如空的try/catch/finally/switch聲明 死亡的代碼,沒有使用的本地變量,參數(shù)和私有方法 不合標(biāo)準(zhǔn)的代碼,如String/StringBuffer用法 過于復(fù)雜的表達(dá)式,如不必要的if表達(dá)式 重復(fù)的代碼,拷貝、粘貼的代碼 PMD 的含義,如 Project Mess Detector Project Monitoring Directives Project Meets Deadline Programming Mistake Detector… 用法: 可以在命令行下執(zhí)行,如 pmd c:\Test.java xml rulesets/unusedcode.xml 也可以使用IDE的插件,如Eclipse、IDEA、JBuilder、JCreator等等 這里主要介紹Ant里的調(diào)用, ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() 自定義規(guī)則: 有兩個(gè)辦法來自定義規(guī)則,可以編寫java類和編寫XPath,編寫java類的一般步驟是,先確定要查找的代碼形式,利用PMD自帶的designer.bat工具查看AST(抽象語法樹),然后編寫規(guī)則類(繼承net.sourceforge.pmd.AbstractRule),然后編寫一個(gè)ruleset的XML文件,最后就可以運(yùn)行PMD進(jìn)行檢查。編寫XPath比編寫java類要容易些,但也需要掌握AST的含義,利用designer.bat工具可以查看AST,比如 //ClassBody [count(//VariableDeclarator[../Type/Name[@Image=‘Logger‘]])>1] ,這個(gè)表達(dá)式就是查找類的代碼里是否聲明了多個(gè) Logger ,然后編寫一個(gè) ruleset 的 XML 文件,最后運(yùn)行 PMD 進(jìn)行檢查。這里是一個(gè) ruleset 的 XML 文件的例子。 自定義規(guī)則集合: ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() 最后,我們運(yùn)行PMD的時(shí)候就可以指定這個(gè) ruleset 文件。 自帶規(guī)則的介紹: PMD 自帶了很多規(guī)則集合,并且分類寫入不同的 ruleset 文件,如 Basic 包含每人都必須遵守的代碼最佳實(shí)踐,如EmptyCatchBlock Braces 關(guān)于條件分支的規(guī)則,如IfStmtsMustUseBraces Code Size 關(guān)于代碼大小的規(guī)則,如方法的長度,參數(shù)的長度,屬性的個(gè)數(shù)等 Clone 克隆實(shí)現(xiàn)的規(guī)則,如是否有super.clone() Controversial 一些有爭議的規(guī)則,如UnnecessaryConstructor不必要的構(gòu)造器 Coupling 對(duì)象連接有關(guān)的規(guī)則 Design 可以檢查有問題的設(shè)計(jì),如SwitchStmtsShouldHaveDefault Finalizers 使用finalizers時(shí)需遵循的規(guī)則,如FinalizeOnlyCallsSuperFinalize Import Statements 和import有關(guān)的規(guī)則,如DuplicateImports重復(fù)import J2EE 唯一規(guī)則UseProperClassLoader,class.getClassLoader()可能不正確,用 Thread.currentThread().getContextClassLoader() 代替 Javabeans 和javabean規(guī)范有關(guān)的規(guī)則,有BeanMembersShouldSerialize屬性必須 序列化和MissingSerialVersionUID缺少序列化ID JUnit Tests 和JUnit測試有關(guān)的,如JUnitSpelling拼寫檢查等 Logging (Java) 檢查Logger的一些錯(cuò)誤用法,如MoreThanOneLogger多個(gè)Logger Logging (Jakarta) 使用Jakarta Logger的一些規(guī)則,有UseCorrectExceptionLogging 異常處理不當(dāng)和ProperLogger是否正確定義Logger Migrating JDK 版本移植的規(guī)則,如ReplaceVectorWithList用List代替Vector Naming 和命名有關(guān)的規(guī)則,名稱太短或太長,命名的約定等 Optimizations 優(yōu)化性能的一些規(guī)則,如LocalVariableCouldBeFinal本地變量如果 只賦值一次,則應(yīng)該聲明為final Strict Exceptions 比較嚴(yán)格的異常處理方針,如AvoidCatchingThrowable Strings 使用String和StringBuffer時(shí)應(yīng)遵守的規(guī)則,如StringToString Sun Security 編寫安全的代碼,有MethodReturnsInternalArray直接返回內(nèi)部的數(shù)組, 更安全的做法是返回一個(gè)拷貝和ArrayIsStoredDirectly Unused Code 檢查未使用的代碼,如UnusedPrivateField未使用的私有屬性 Java Server Pages 編寫jsp的一些方針,如NoLongScripts Java Server Faces 編寫jsf的一些方針,有DontNestJsfInJstlIteration,在Jsf 里使用jstl的標(biāo)簽 PMD 里面還有一個(gè)寫好的ruleset文件,在pmd-3.8.jar里面的rulesets文件夾下,名稱是favorites.xml,以下是主要部分: ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() 其它事項(xiàng): 1. 可以使用JDK1.5的聲明 @SuppressWarnings(""),禁止PMD的警告。 2. 可以使用//NOPMD來標(biāo)記行或塊代碼,禁止PMD警告。 3. 有兩種方法自定義Rule,編寫java類和編寫XPath。 4. PMD 提供了多種IDE的插件來運(yùn)行PMD。 參考文檔: PMD 官方文檔(http://pmd./) OnJava 上一篇文檔( http://www./pub/a/onjava/2003/04/09/pmd_rules.html ) 代碼靜態(tài)分析(http://blog.donews.com/foxgem/archive/ |
|