美好的一天，我是一名正在研究论文的硕士生 这涉及使用正式方法来证明我的正确性 应用。该应用是关于交通灯控制系统和 我在java中编写它，它有一个模拟器来控制。现在我 选择FindBugs作为证明我的正确性的工具 模拟系统，但我很难做到设置 安装后的FindBugs。请帮帮我一些 指导线。即使我已阅读，我使用的是Windows Vista操作系统 通过教程和手册，我仍然可以设置它。请帮忙或 我需要任何规范语言吗？
答案 0 :(得分：0)
您使用的是IDE吗？（eclipse / IntellijA） 我建议你使用eclipse，因为它是免费的。 安装eclipse后，将项目导入工作区并安装eclipse的'findbu'g插件。右键单击项目时，您将看到findbug选项。只需“运行”即可显示代码中的错误。