JavaPathfinder(JPF)完全安装配置过程.doc

Java Pathfinder(JPF)完全安装配置过程(2013年6月) Java PathFinder是一个可执行Java程序调试/检验系统。它的内核是一个Java虚拟机(JVM)，可用于系统地探测程序所有可能的执行路径，以避免死锁或无法处理的异常之类的情况发生。与传统的调试程序不同，Java PathFinder报告导致缺陷的整个执行路径。Java PathFinder特别适合在多线程的程序中发现很难测试的并发缺陷。Mac OS X等其它操作系统或NetBeans等其它开发平台的用户，安装配置过程有所差异，详细介绍请查阅官网。 官网：/trac/jpf/ 二、系统需求及前提 Java SE Development Kit (JDK) 版本1.6 (6.0) 以上 Eclipse 版本3.5 (Galileo) 以上 最少2Gb内存 Java运行设置-Xmx1024m以上 三、辅助软件的下载与安装 1、JDK 官网：/technetwork/java/javase/downloads/index.html 到官网或通过其它途径下载JDK，保证下载的版本为1.6（6.0）以上，并完成JDK的安装。 安装完成后需进行Java的相关配置。为保证JPF的命令行操作（cmd模式）和Eclipse能够顺利执行，至少需完成环境变量Java_Home的设置。 依次点击：“我的电脑”(右键)－“属性”－“高级”－“环境变量”，弹出Windows的“环境变量”配置卡，在“系统变量”中进行相关配置。Java_Home指向你的JDK安装目录，如：C:\Program Files\Java\jdk1.6.0_23，请根据你的实际目录进行设置。其它环境变量如：path、classpath，仅对JPF而言无需设置。 2、Eclipse 官网：/downloads/ 到官网或通过其它途径下载Eclipse，保证下载的版本为3.5（Galileo）以上，并完成Eclipse的安装。 3、TortoiseHg 官网： 如果要下载JPF的相关组件，必须要使用一个名叫Mercurial的分布式版本控制系统。对于Windows类的操作系统，可以使用TortoiseHg，它是Mercurial的可视化客户端工具，操作起来更为简便。 到官网或通过其它途径下载TortoiseHg，并完成TortoiseHg的安装。由于网上关于TortoiseHg的介绍和资源比较少，对于英文较为生疏的朋友，推荐一个汉化版TortoiseHg的下载网址：/soft/48257.html，经测试可正常使用。 四、JPF相关组件的下载 JPF的相关组件可以通过Mercurial提供的“clone”操作进行下载，各个组件资源都存储在/hg/jpf这一根目录下。你可以选择你想使用的某个组件进行clone，如：/hg/jpf/jpf-core，而不是根目录../hg/jpf，以确保所下载组件的完整性和准确性。因为如果使用根目录clone，所下载的并不是JPF的全部组件，有些仅仅是一个空文件夹而已。不过，我们倒是可以利用这一方法，来看一看整个JPF的组件资源究竟如何构成。 JPF core对于JPF来说是核心组件，也是唯一一个必须要下载的组件。我们使用Mercurial的可视化客户端TortoiseHg来进行下载。 在自己希望保存JPF组件的目录下新建一个名为jpf-core的文件夹（建议使用默认路径存放所下载的组件，默认路径的介绍请参见第五部分），右键点击文件夹，在弹出菜单里选择TortoiseHg-Clone，在弹出对话框的“源”选项中输入需要安装的JPF组件的URL，JPF core在Mercurial repository中的安装路径为：/hg/jpf/jpf-core，然后开始下载，在一段时间的等待之后，JPF core这个组件就成功下载到本地了。 可以使用类似的方法下载JPF其它组件，主要区别在于URL的不同，但其组成都是根目录+组件名的方式，即../hg/jpf/[组件名]。建议下载时保存的文件夹名称和组件名一致。初次使用JPF，只需下载JPF core即可。 五、创建perties文件 perties文件告诉JPF在初始化时去哪里寻找所下载的JPF组件，所以必须由用户亲自编辑，添加各个组件的地址路径。perties属于java编程中常用的properties文件，是一种配置文件，主要用于表达配置信息，文件类型为*.properties，格式为文本文件，文件的内容是格式是“键=值”的键值对格式。 以下是一个perties文件的实例： # JPF site configuration jpf-core = ${user.home}/projects/jpf/jpf-core # nume