Java Pathfinder 安装编译详解

1.首先需要从Sourceforge或JPF 的SVN站点上下载整个的JPF目录(trunk 或 jpf release)
2.确保你的机器上已经安装好JAVA环境，并设置好了环境变量
3.有条件的话，最好是自己安装好ANT和JUNIT，并设置好环境变量，没装也没关系，因为JPF目录中已经包含有这两个工具包，但在运行的时候可能会麻烦一些
4.编译JPF,进入到JPF的目录，用ANT来编译就可以了，如果你的JPF是放在ECLIPSE中来执行的，用ECLIPSE来编译也是一个不错的选择。
5.如果你下载的是JPF的二进制文件，那就可以省去编译源码的工作
6.有必要的话，需要设置JPF的环境变量，具体有：
在classpath中添加下面的：
--JPF类(可以使用jpf/build/jpf/ 目录,或者直接通过jpf.jar)
--JPF相关类库(可以使用jpf/build/env/jvm/ 目录,或者直接通过jpf.jar)
--bcel.jar是必须的，也应该加到环境变量中去
--可选的一些JPF扩展类(如：listeners, properties等)
如果你想在任意目录下使用JPF来检测你的JAVA类的话，需要在path中添加
%JPF_HOME%/bin

************
*命令行运行*
************
1、在bin目录下有个JPF.BAT文件，修改里面的VM设置(通常情况下，它的值比较大，可以改小一些，如1024m)
命令行下进入到JPF目录，直接运行>jpf
具体格式如下：

> bin/jpf [-c config-file] {+key=value ..} app-class {app-args ..}

  -c config-file     使用java.util.Properties文件来配置JPF(默认是'jpf.properties')
  +key=value         通过命令行来重载JPF配置文件里的值

2.在trunk目录下有一个RunJPF.class(这个在jpf release的当前目录下可能没有)
命令行下进入到JPF目录，直接运行>java RunJPF,你将看到这个命令的使用方法

3.在配置好jpf的环境变量的前提下，你可以使用JAVA命令来运行JPF，具体格式如下：
> java {vm-args..} gov.nasa.jpf.JPF jpf-args

************
**IDE运行***
************
1.在ECLIPSE中运行
(1)导入整个release文件夹里面的工程
(2)打开工程属性设置对话框，将java complier选项下， 将右面的值全改为1.4
(3)导入jpf的依赖包，lib目录下的四个JAR文件
(4)在SOURCE标签下选择要编译的源文件目录
(5)打开run dialog配置
MAINCLASS:gov.nasa.jpf.JPF
ARGUMENTS:YOUR CLASS MODEL

注意：使用eclipse编译，它的编译目标是你在第(4)步中设置的源文件目录，与使用工程目录下的build.xml编译的文件结构有一点出入。默认情况下build.xml只负责编译JPF，对于测试文件的编译不包含在其中。
(6)可以使用clean project来重新编译一下工程
2.在NETBEANS中运行
与elipse类似，不再赘述。

注：目前JPF的最新发布版本是2009年3月7日版的
新版本的JPF和老版本的在运行方式上有一点出入：
(1)在windows上运行JPF
1.下载ypjpagent dll文件，把它放在system32目录下
2.需要修改JPF_HOME/bin/jpf.bat
  把set JVM_FLAGS=-agentlib:yjpagent=tracing -Xmx1024m修改为
  set JVM_FLAGS=-agentlib:yjpagent=quiet -Xmx536m
(2)在linux上运行JPF
  需要修改JPF_HOME/bin/jpf
  把JVM_FLAGS="-Xmx1024m -ea"修改为
  JVM_FLAGS="-Xmx536m -ea"

说明：
(1)RunAnt.class的作用
如果在你的目录下找不到env_jvm.jar, jpf.jar, bcel.jar
你可以在windows下运行java RunAnt jar
或者在linux下运行./build-tools/bin/ant jar
来得到这些jar文件
(2)build.xml
在此文件的头部注释部分说明了这个文件的所有任务，你可以选择编译，如
build-tools/bin/ant compile-examples
你也可以在当前目录下，用ANT编译子目录中的BUILD.XML文件，如
build-tools/bin/ant -f examples/ase2006/build.xml
(3)清除编译目录的方法
build-tools/bin/ant clean
(4)要使设置的环境变量生效，需要重启windows的cmd.

我的执行效果如图所示

有什么不懂的朋友，欢迎提问哈。。。。

文中资源：

http://download.csdn.net/source/1276782