[Java Path Finder][JPF学习笔记][2]在Windows Server上安装JPF

最新推荐文章于 2024-05-21 09:52:34 发布

weixin_34237596

最新推荐文章于 2024-05-21 09:52:34 发布

阅读量138

点赞数

文章标签： java 开发工具

原文链接：http://www.cnblogs.com/quyu/archive/2011/06/20/2085373.html

版权

下载完成相应组件后，从控制台进入jpf-core安装目录（以jpf-core的安装为例，毕竟这个是必须的），如C:\Documents and Settings\Administrator\jpf\jpf-core中，运行

bin \ ant test

然后ant会出现很多信息，如果顺利的话，会在最后出现

BUILD SUCCESSFUL
Total time : 2 minutes 31 seconds

类似这样的信息。但是我在自己服务器上build的结果是会有一个报错：

BUILD FAILED
C: \ Documents and Settings \ Administrator \ jpf \ jpf-core \ build . xml: 350 : Test gov . nasa . jpf . test . mc . data . PerturbatorTest failed

但是经过上述Build运行之后，已经能够成功生成“build”文件夹了。当然，如果不通过repositories进行安装，则更为简单和便捷，在JPF的每个组件的介绍页面的最下部，都有相应ZIP文件夹包含了已经编译好的对应项目，例如jpf-core的zip文件可以通过链接：http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-core#no1 直接看到。

接下来我们简单通过Eclipse来看看JPF的功能，参考页面http://babelfish.arc.nasa.gov/trac/jpf/wiki/install/eclipse-plugin 中提示的最简单步骤（Using the Update Site (Simplest Method)）可以很简单地安装JPF的Eclipse Plugin。但是如果仅仅安装该Plugin，还是不能正常在Eclipse中运行JPF。需要进行下述检查及设置：

1. 创建site.properties文件并进行设置。

在安装好Eclipse插件后，在Eclipse主界面Window--Preferences--JPF Preferences中的Path to site properties可以看到，该插件对site.properties的默认位置是：C:\Documents and Settings\Administrator\.jpf\site.properties （这个每个系统会有微小差异），方便起见，我们可以将site.properties文件创建在该位置。在JPF主页上有对site.properties在window下创建的示例：http://babelfish.arc.nasa.gov/trac/jpf/attachment/wiki/install/site-properties/site.properties-windows

2. 在Eclipse中运行JPF插件。

正如这个页面中http://babelfish.arc.nasa.gov/trac/jpf/wiki/install/build 中讲到的，Specify classpath=PATH_TO_BIN_DIRECTORY to add the class files for the program under test to JPF's class path. Windows users will need to use the double-backslash notation in specifying paths in the .jpf file. 和命令行相比，在Eclipse中运行稍微麻烦一些，需要在.jpf文件中指定classpath，classpath的值就是需要进行检验的java文件对应的bin目录，例如，如果要对HelloWorld这个类进行检验，那么classpath应设置成类似：