java PathFinder最新版本(09.3.7)及其安装使用详解

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的环境变量，具体有： --JPF类(可以使用jpf/build/jpf/ 目录,或者直接通过jpf.jar) --JPF相关类库(可以使用jpf/build/env/jvm/ 目录,或者直接通过jpf.jar) --bcel.jar是必须的，也应该加到环境变量中去 --可选的一些JPF扩展类(如：listeners, properties等) ************ *命令行运行* ************ 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" 说明：RunAnt.class的作用 如果在你的目录下找不到env_jvm.jar, jpf.jar, bcel.jar 你可以在windows下运行java RunAnt jar 或者在linux下运行./build-tools/bin/ant jar 来得到这些jar文件