百度360必应搜狗淘宝本站头条
当前位置:网站首页 > IT知识 > 正文

白盒自动化测试工具:FindBugs的使用指南

liuian 2024-12-05 14:27 19 浏览

1、FindBugs介绍

  FindBugs是一款Java静态代码分析工具,与其他静态分析工具(如Checkstyle和PMD)不同,FindBugs不注重样式或者格式,它专注于寻找真正的缺陷或者潜在的性能问题,它可以帮助java工程师提高代码质量以及排除隐含的缺陷。有了静态分析工具,就可以在不实际运行程序的情况对软件进行分析。

  FindBugs运用ApacheBCEL库分析类文件(class文件)而不是源代码,将字节码与一组缺陷模式进行对比以发现可能的问题。FindBugs的检测器已增至300多条,被分为不同的类型,常见的类型如下:

  正确性(Correctness):这种归类下的问题在某种情况下会导致bug,比如错误的强制类型转换等。

  最佳实践反例(Badpractice):这种类别下的代码违反了公认的最佳实践标准,比如某个类实现了equals方法但未实现hashCode方法等。

  多线程正确性(Multithreadedcorrectness):关注于同步和多线程问题。

  性能(Performance):潜在的性能问题。

  安全(Security):安全相关。

  高危(Dodgy):FindBugs团队认为该类型下的问题代码导致bug的可能性很高。

  2、在Eclipse中安装FindBugs插件

  以下为我的安装步骤,可能大家用的是MyEclipse步骤不仅相同。

  Step1:

  Step2:

  Step3:

  3、在Eclipse中使用FindBugs操作步骤

  3.1打开FindBugs视图

  step1:

  step2:

  step3:

  3.2执行FindBugs任务

  右键单击你要检测的工程、包或文件-->FindBugs-->FindBugs。


  check完成后将在BugExplorer视图中看到问题列表,该列表以问题类型组织。


  展开列表,双击列表中具体的问题就可以定位的具体的代码行。


  4、配置FindBugs

  在这里可以对FindBugs规则等进行详细设置。选择你的项目,右键-->Properties-->FindBugs-->

  4.1 RunAutomatically开关

  当此项选中后,FindBugs将会在你修改Java类时自动运行,如你设置了Eclipse自动编译开关后,当你修改完Java文件保存,FindBugs就会运行,并将相应的信息实时显示。

  当此项没有选中,你只能每次在需要的时候自己去运行FindBugs来检查你的代码。

  4.2 DetectorConfiguration选择项

  在这里你可以选择所要进行检查的相关的BugPattern条目,你可以根据需要选择或去掉相应的检查条件。


  4.3 Minimumprioritytoreport选择项

  这个选择项是让你选择哪个级别的信息进行显示,有Low、Medium、High三个选择项可以选择,很类似于Log4J的级别设置啦。比如:

  High选择项:只有是High级别的提示信息才会被显示;

  Medium选择项:只有是Medium和High级别的提示信息才会被显示;

  Low选择项:所有级别的提示信息都会被显示。

  4.4 Reportbugcategories选择项

  在这里是一些显示Bug分类的选择:

  Maliciouscodevulnerability关于恶意破坏代码相关方面的

  Correctness关于代码正确性相关方面的

  Internationalization关于代码国际化相关方面的

  Performance关于代码性能相关方面的

  Multithreadedcorrectness关于代码多线程正确性相关方面的

  5、Ant使用简介

  有了Ant这样的自动化机制,就可以以多种方法监视软件质量。有许多种扫描源代码和二进制文件的工具,但是其中最流行的两种是PMD和FindBugs。PMD扫描源代码文件,并根据一系列规则检查其中的代码。如果代码有问题,它就会报告一个违规。FindBugs的作用与PMD相似,但是它扫描二进制文件(即类文件)并报告bug。

  以下为配置脚本:

   <project name="analyze_asm_util" default="findbugs">


   <!-- findbugs task definition -->

   <property name="findbugs.home" value="/Users/ben/Documents/workspace/findbugs/findbugs" />

   <property name="jvmargs" value="-server -Xss1m -Xmx800m -Duser.language=en -Duser.region=EN -Dfindbugs.home=${findbugs.home}" />


   <path id="findbugs.lib">

   <fileset dir="${findbugs.home}/lib">

   <include name="findbugs-ant.jar"/>

   </fileset>

   </path>


   <taskdef name="findbugs" classname="edu.umd.cs.findbugs.anttask.FindBugsTask">

   <classpath refid="findbugs.lib" />

   </taskdef>


   <taskdef name="computeBugHistory" classname="edu.umd.cs.findbugs.anttask.ComputeBugHistoryTask">

   <classpath refid="findbugs.lib" />

   </taskdef>


   <taskdef name="setBugDatabaseInfo" classname="edu.umd.cs.findbugs.anttask.SetBugDatabaseInfoTask">

   <classpath refid="findbugs.lib" />

   </taskdef>


   <taskdef name="mineBugHistory" classname="edu.umd.cs.findbugs.anttask.MineBugHistoryTask">

   <classpath refid="findbugs.lib" />

   </taskdef>


   <!-- findbugs task definition -->

   <target name="findbugs">

   <antcall target="analyze" />

   <antcall target="mine" />

   </target>


   <!-- analyze task -->

   <target name="analyze">

   <!-- run findbugs against asm-util -->

   <findbugs home="${findbugs.home}"

   output="xml:withMessages"

   timeout="90000000"

   reportLevel="experimental"

   workHard="true"

   effort="max"

   adjustExperimental="true"

   jvmargs="${jvmargs}"

   failOnError="true"

   outputFile="out.xml"

   projectName="Findbugs"

   debug="false">

   <class location="asm-util-3.0.jar" />

   </findbugs>

   </target>


   <target name="mine">


   <!-- Set info to the latest analysis -->

   <setBugDatabaseInfo home="${findbugs.home}"

   withMessages="true"

   name="asm-util-3.0.jar"

   input="out.xml"

   output="out-rel.xml"/>


   <!-- Checking if history file already exists (out-hist.xml) -->

   <condition property="mining.historyfile.available">

   <available file="out-hist.xml"/>

   </condition>

   <condition property="mining.historyfile.notavailable">

   <not>

   <available file="out-hist.xml"/>

   </not>

   </condition>


   <!-- this target is executed if the history file do not exist (first run) -->

   <antcall target="history-init">

   <param name="data.file" value="out-rel.xml" />

   <param name="hist.file" value="out-hist.xml" />

   </antcall>

   <!-- else this one is executed -->

   <antcall target="history">

   <param name="data.file" value="out-rel.xml" />

   <param name="hist.file" value="out-hist.xml" />

   <param name="hist.summary.file" value="out-hist.txt" />

   </antcall>

   </target>


   <!-- Initializing history file -->

   <target name="history-init" if="mining.historyfile.notavailable">

   <copy file="${data.file}" tofile="${hist.file}" />

   </target>


   <!-- Computing bug history -->

   <target name="history" if="mining.historyfile.available">

   <!-- Merging ${data.file} into ${hist.file} -->

   <computeBugHistory home="${findbugs.home}"

   withMessages="true"

   output="${hist.file}">

   <dataFile name="${hist.file}"/>

   <dataFile name="${data.file}"/>

   </computeBugHistory>


   <!-- Compute history into ${hist.summary.file} -->

   <mineBugHistory home="${findbugs.home}"

   formatDates="true"

   noTabs="true"

   input="${hist.file}"

   output="${hist.summary.file}"/>

   </target>


  </project>

相关推荐

GCI: Another key public good for international community

MembersofadelegationofhighschoolstudentsfromtheU.S.stateofWashingtonposeforaphotoa...

kube on kube 实现思路分享(kube-scheduler)

这里的kubeonkube,是指建立K8s元集群,纳管其他业务K8s集群,通过声明式API管理集群的创建、增删节点等。参考https://github.com/kubean-i...

China and India hold the key to a more inclusive global future

ByMayaMajueranLead:AsChinaandIndiamark75yearsofdiplomaticties,theircooperationcouldse...

日本真子公主的婚礼又要提上日程了吗?未婚夫:债务问题已解决

日本明仁天皇将于今年3月31日退位,德仁皇太子即将成为新一任的天皇。在平成时代最后的倒计时中,明仁天皇的孙女真子公主的婚事却又一次进入了人们的视野。(viaTheTelegraph)关注日本皇室的...

kratos源码分析系列(1)(kvm源码解析与应用 pdf)

https://github.com/go-kratos/kratos是b站开源的一个微服务框架,整体来看它结合grpc生态中的grpc-gateway,以及wire依赖注入和众多常用的trace,m...

【2.C#基础】6.循环语句(c#循环语句例子)

6.循环语句当需要多次执行同一个处理时,就需要用到循环语句。一般情况下,循环的流程图如下:6.1while循环C#中的while循环语句在给定的条件为真的情况下会重复执行目标语句。格式如下:...

使用 Google Wire 在 Go 中进行依赖注入

关注点分离、松耦合系统和依赖反转原则等概念在软件工程中是众所周知的,并且在创建良好的计算机程序过程中至关重要。在本文中,我们将讨论一个同时应用了这三个原则的技术,称为依赖注入。我们将尽可能地实践,更加...

用 Golang封装你的API(golang封装dll)
用 Golang封装你的API(golang封装dll)

每日分享最新,最流行的软件开发知识与最新行业趋势,希望大家能够一键三连,多多支持,跪求关注,点赞,留言。@头条创作挑战赛本文探讨了在用Golang封装你的API的过程以及几个不同的编程步骤。我做了一个非常有限的时间来证明如何为客户正在开...

2025-05-09 20:03 liuian

Terraform 实战 | 万字长文(terrify是什么意思中文)

Terraform是什么Terraform(https://www.terraform.io/)是HashiCorp旗下的一款开源(Go语言开发)的DevOps基础架构资源管理运维工具,可...

Go 语言入门:环境安装(go语言安装 window)

一、前言这里不同于其他人的Go语言入门,环境安装我向来注重配置,比如依赖包、缓存的默认目录。因为前期不弄好,后面要整理又影响这影响那的,所以就干脆写成文章,方便后期捡起。二、安装1.安装包htt...

Go语言进阶之Go语言高性能Web框架Iris项目实战-项目结构优化EP05

前文再续,上一回我们完成了用户管理模块的CURD(增删改查)功能,功能层面,无甚大观,但有一个结构性的缺陷显而易见,那就是项目结构过度耦合,项目的耦合性(Coupling),也叫耦合度,进而言之,模块...

如何将Go项目与Docker结合实现高效部署

在现代软件开发中,使用Docker部署应用程序已经成为一种标准实践。本文将深入探讨如何将Go项目与Docker结合,实现高效、可靠的部署过程。通过详细的步骤和丰富的示例,你将能够迅速掌握这一流程。准备...

五分钟轻松熟悉一个k8s Operator应用制作

简介:operator是一种kubernetes的扩展形式,可以帮助用户以Kubernetes的声明式API风格自定义来管理应用及服务,operator已经成为分布式应用在k8s集群部...

程序员的副业秘籍!一款可以快速搭建各类系统的后台管理系统

系统简介这是一个基于Gin+Vue+ElementUI(或ArcoDesign、AntDesign)的系统快速开发平台,采用了前后端分离,旨在帮助用户快速完成各类系统的基础功能搭建。平...

使用 Go 语言开发区块链钱包的项目目录结构设计

在开发区块链钱包时,项目的目录结构应该清晰、模块化,确保代码的可维护性和扩展性。基于Go的惯例,结合区块链钱包的功能需求,以下是一个较为合理的目录结构示例:1.目录结构blockchain-wa...