java代码静态检查工具介绍.doc

静态检查:静态测试包括代码检查、静态结构分析、代码质量度量等。它可以由人       工进行,充分发挥人的逻辑思维优势,也可以借助软件工具自动进行。       代码检查代码检查包括代码走查、桌面检查、代码审查等,主要检查代码和       设计的一致性,代码对标准的遵循、可读性,代码的逻辑表达的正确性,代       码结构的合理性等方面;可以发现违背程序编写标准的问题,程序中不安全、       不明确和模糊的部分,找出程序中不可移植部分、违背程序编程风格的问题,       包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和程序结构       检查等内容。”。看了一系列的静态代码扫描或者叫静态代码分析工具后,       总结对工具的看法:静态代码扫描工具,和编译器的某些功能其实是很相似的,       他们也需要词法分析,语法分析,语意分析...但和编译器不一样的是他们可       以自定义各种各样的复杂的规则去对代码进行分析。静态检测工具:PMD1)PMD是一个代码检查工具,它用于分析Java源代码,找出潜在的问题:1)潜在的bug:空的try/catch/finally/switch语句2)未使用的代码:未使用的局部变量、参数、私有方法等3)可选的代码:String/StringBuffer的滥用4)复杂的表达式:不必须的if语句、可以使用while循环完成的for循环5)重复的代码:拷贝/粘贴代码意味着拷贝/粘贴bugs2)PMD特点:1)与其他分析工具不同的是,PMD通过静态分析获知代码错误。也就是说,在不运行Java程序的情况下报告错误。2)PMD附带了许多可以直接使用的规则,利用这些规则可以找出Java源程序的许多问题3)用户还可以自己定义规则,检查Java代码是否符合某些特定的编码规范。3)同时,PMD已经与JDeveloper、Eclipse、jEdit、JBuilder、BlueJ、Beans、SunJavaStudioEnterprise/Creator、IntelliJIDEA、TextPad、Maven、Ant、Gel、JCreator以及Emacs集成在一起。4)PMD规则是可以定制的:可用的规则并不仅限于内置规则。您可以添加新规则:可以通过编写Java代码并重新编译PDM,或者更简单些,编写XPath表达式,它会针对每个Java类的抽象语法树进行处理。5)只使用PDM内置规则,PMD也可以找到你代码中的一些真正问题。某些问题可能很小,但有些问题则可能很大。PMD不可能找到每个bug,你仍然需要做单元测试和接受测试,在查找已知bug时,即使是PMD也无法替代一个好的调试器。但是,PMD确实可以帮助你发现未知的问题。FindBugs1)FindBugs是一个开源的静态代码分析工具,基于LGPL开源协议,无需运行就能对代码进行分析的工具。不注重style及format,注重检测真正的bug及潜在的性能问题 ,尤其注意了尽可能抑制误检测(falsepositives)的发生。以bytecode(*.class、*.jar)为对象进行检查。除了单独动作,还可以用作Eclipse的plug-in,以及嵌入Ant作为task之一进行利用。2)findbugs自带检测器的介绍: findbugs自带60余种Badpra