Java Pathfinder (JPF) 完全安装配置过程.docx

Java Pathfinder(JPF)完全安装配置过程(2013年6月)Java PathFinder是一个可执行Java程序调试/检验系统它的内核是一个Java虚拟机 (JVM),可用于系统地探测程序所有可能的执行路径，以避免死锁或无法处理的异常之类的 情况发生与传统的调试程序不同，Java PathFinder报告导致缺陷的整个执行路径Java PathF in de r特别适合在多线程的程序中发现很难测试的并发缺陷―、前言本文所介绍的JPF安装配置过程，主要参考JPF官方网站，并以Windows 操作系统、Eclipse开发平台为基础进行配置如使用Mac OS X等其它操作系统 或NetBeans等其它开发平台的用户，安装配置过程有所差异，详细介绍请查阅 官网官网：http://babelfish.arc.nasa.gov/trac/jpf二、 系统需求及前提Java SE Development Kit (JDK)版本 1.6 (6.0)以上Eclipse 版本 3.5 (Galileo)以上最少2Gb内存Java运行设置-Xmx1024m以上三、 辅助软件的下载与安装1、 JDK官网： 到官网或通过其它途径下载JDK，保证下载的版本为1.6 (6.0)以上，并完 成JDK的安装。

安装完成后需进行Java的相关配置为保证JPF的命令行操作(cmd模式) 和Eclipse能够顺利执行，至少需完成环境变量Java_Home的设置依次点击：“我的电脑”(右键)一“属性”一“高级”一“环境变量”，弹出 Windows的“环境变量"配置卡，在“系统变量”中进行相关配置Java_Home 指向你的JDK安装目录，如：C:\ProgramFiles\Java\jdk160_23，请根据你的实 际目录进行设置其它环境变量如：path、classpath，仅对JPF而言无需设置2、 Eclipse官网：http://www.eclipse.org/downloads/到官网或通过其它途径下载Eclipse，保证下载的版本为3.5 (Galileo)以上， 并完成Eclipse的安装3、 TortoiseHg官网：http://tortoisehg.bitbucket.org如果要下载JPF的相关组件，必须要使用一个名叫Mercurial的分布式版本 控制系统对于Windows类的操作系统，可以使用TortoiseHg，它是Mercurial 的可视化客户端工具，操作起来更为简便到官网或通过其它途径下载TortoiseHg，并完成TortoiseHg的安装。

由于网 上关于TortoiseHg的介绍和资源比较少，对于英文较为生疏的朋友，推荐一个汉 化版 TortoiseHg 的下载网址： 1,经测试可正 常使用四、 JPF相关组件的下载JPF的相关组件可以通过Mercurial提供的“clone"操作进行下载，各个组 件资源都存储在http://babelfish.arc.nasa.gov/hg/jpf这一根目录下你可以选择你 想使用的某个组件进行 clone，如：http://babelfish.arc.nasa.gov/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中的安装路径为： http://babelfish.arc.nasa.gov/hg/jpf/jpf-core，然后开始下载，在一段时间的等待之 后，JPF core这个组件就成功下载到本地了。

可以使用类似的方法下载JPF其它组件，主要区别在于URL的不同，但其 组成都是根目录+组件名的方式，^卩../hg/jpf/［组件名］建议下载时保存的文件夹 名称和组件名一致初次使用JPF，只需下载JPF core即可五、 创建 site.properties 文件site.properties文件告诉JPF在初始化时去哪里寻找所下载的JPF组件，所以 必须由用户亲自编辑，添加各个组件的地址路径site.properties属于java编程中 常用的properties文件，是一种配置文件，主要用于表达配置信息，文件类型为 *.properties，格式为文本文件，文件的内容是格式是“键=值”的键值对格式以下是一个site.properties文件的实例：# JPF site configurationjpf-core = ${user.home}/projects/jpf/jpf-core# numeric extensionjpf-numeric = ${user.home}/projects/jpf/jpf-numeric# annotation-based program properties extension jpf-aprop = ${user.home}/projects/jpf/jpf-apropextensions=${jpf-core},${jpf-aprop}#... and all your other installed projects文件中的主要格式为“＜组件名〉= ＜组件路径〉”而最后的extensions 一项 的配置将影响到后续建立JPF工程时的参考格式，为JPF的自行拓展提供了便利。

在路径中出现的user.home，指的是当前用户的工作目录，如果不清楚你的机器 的具体路径，可以使用 Java中的System.getProperty（"user.home"）语句读取 user.home属性的值对于${..}的内容，JPF将自动进行拓展补充，同时避免了驱 动器盘符的输入，不会因输入绝对路径而造成JPF迁移的不便初次创建site.properties文件，应至少且必须包含jpf-core的路径位置，同时 extensions的值也应至少且必须包含${jpf-core}以后如有需求，下载其它的JPF 组件使用，要记得在site.properties文件中添加其相应的路径等信息有些人可能会有这样的疑问，为什么要用user.home配置路径，而不是使用 我自己之前下载时所存放的位置？ 一是因为之前提到的迁移不便，二是因为JPF 中的默认位置就是如此当然，我们可以在site.properties文件中将各组件路径 指向自己所定义的任意位置，但在后续使用中的一些配置和管理上可能会出现 bug推荐使用默认位置，把刚才下载好的各个组件复制到相应路径即可在site.properties文件创建完毕后，用户还需告知JPF在启动时去哪一路径 来读取site.properties文件。

JPF官网上同样给出了默认位置，建议使用默认位置 vuser.home＞/.jpf/site.properties，这样就不需再做其它配置否则还需自行修改配 置参数（见第六部分）在这一步操作中，会出现一个新问题，即.jpf文件夹的创建在Windows操 作系统中，文件夹的命名（包括文件）是不允许“•”出现在名字首位的，系统 认为后的符号是后缀名，这时会提示“必须键入文件名”那么怎么来创建.jpf 文件夹呢？这里使用的是cmd命令行操作到达相应目录后，使用“md .jpf\” （md和.jpf\中间有一个空格）命令，即可在该目录下创建.jpf文件夹另附官网site.properties源文件下载，其组件、路径等内容请自行调整：http://babelfish.arc.nasa.goV/trac/jpf/attachment/wiki/install/site-properties/site.p roperties-windows （请注意该文件后缀名的修改）六、安装Eclipse JPF插件在此有两种方法：第一种方法较为便捷，推荐使用，但需要电脑连网；第二 种方法的适用范围较为普遍1、使用网址链接安装（较便捷）① 确保你运行的Eclipse版本＞=3.5② 在 Eclipse 中选择 Help-＞Install New Software③ 在新窗口中选择“Add”④ “Name”栏可以自定义，但“Location”栏需输入以下网址：http://babelfish.arc.nasa.goV/trac/jpf/raw-attachment/wiki/install/eclipse-plugin/update/⑤ 在“Work with：”下拉菜单中，选择刚才设置的网址⑥ 选中“Eclipse-JPF”复选框（打V）,选择“Next”进行剩下的安装2、使用dropins文件夹安装① 下载 jpf-core，核实 Eclipse>= 3.5 且 JDK>= 1.6② 下载eclipse-jpf_*.jar文件，最新版本1.0.6，下载地址：http://babelfish.arc.nasa.gOv/trac/jpf/raw-attachment/wiki/install/eclipse-plugin/e clipse-jpf_1.0.6.jar③ 将下载的jar文件放入你所安装的Eclipse目录里的dropins文件夹中④ 启动抑或重新启动Eclipse⑤ 在Eclipse中选择Window->Preferences，检查是否能够看到并且能够 点击“ JPF Preferences ”选项，如果可以表示安装成功⑥ 该方法如果不成功很可能与Eclipse和JDK版本有关，其它问题可能由 操作系统导致为进一步验证插件是否安装完成，务必执行如下操作进行测试：首先，设置Eclipse完成JPF自动build （构建）的操作。

选择Project, 在下拉菜单中查看Build Automatically前的对勾丁是否选中，如果没有，点击 一下即为选中其次，完成JPF相关参数的配置选择Window->Preferences，点击“JPF Preferences"选项，在Path to site.properties栏设置你所创建的配置文件 的路径如果你的site.properties文件使用的是默认路径，此处无需设置另 外JPF还有其它参数可配置，如有需要再做修改再次，将下载好的jpf-core工程导入到eclipse中选择File->Import， 在弹出窗口 中选择 General 下的 Existing Projects into Workspace，点击 Next， 在 Select root directory 这一栏后点击 Browse （即浏览…）,找到 jpf-core 文件夹点击“确定”，点击Finish即完成导入导入的同时Eclipse自动build， 。