Windows 安装后如何设置和使用FindBugs?

Windows 安装后如何设置和使用FindBugs?,windows,Windows,你好,我是一名硕士生,目前正在写我的论文 其中包括使用形式化方法来证明我的 应用该应用程序是关于交通灯控制系统和 我用java写的,它有一个模拟器来控制。现在我 选择FindBugs作为工具来证明我的 模拟系统,但我在设置 安装后的FindBugs。请你帮我弄点好吗 指导线。我正在使用windows vista操作系统,尽管我读过 通过教程和手册,我仍然可以设置它。请帮忙或 我需要任何规范语言吗?您使用的是IDE吗?(eclipse/IntellijA) 我建议您使用eclipse,因为它是免费

你好,我是一名硕士生,目前正在写我的论文 其中包括使用形式化方法来证明我的 应用该应用程序是关于交通灯控制系统和 我用java写的,它有一个模拟器来控制。现在我 选择FindBugs作为工具来证明我的 模拟系统,但我在设置 安装后的FindBugs。请你帮我弄点好吗 指导线。我正在使用windows vista操作系统,尽管我读过 通过教程和手册,我仍然可以设置它。请帮忙或 我需要任何规范语言吗?

您使用的是IDE吗?(eclipse/IntellijA) 我建议您使用eclipse,因为它是免费的。 安装eclipse后,将项目导入工作区并安装eclipse的“findbu”g插件。当你右键点击你的项目时,你会看到findbug选项。只需“运行”即可显示代码中的错误