java pathfinder (jpf) 完全安装配置过程

《java pathfinder (jpf) 完全安装配置过程》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、JavaPathfinder(JPF)完全安装配置过程(2013年6月)JavaPathFinder是一个可执行Java程序调试/检验系统。它的内核是一个Java虚拟机(JVM)，可用于系统地探测程序所有可能的执行路径，以避免死锁或无法处理的异常之类的情况发生。与传统的调试程序不同，JavaPathFinder报告导致缺陷的整个执行路径。JavaPathFinder特别适合在多线程的程序中发现很难测试的并发缺陷。一、前言本文所介绍的JPF安装配置过程，主要参考JPF官方网站，并以Windows操作系统、Eclipse开发平台为基础进行配置。如使用MacOSX等其它操作系

2、统或NetBeans等其它开发平台的用户，安装配置过程有所差异，详细介绍请查阅官网。官网：http://babelfish.arc.nasa.gov/trac/jpf/二、系统需求及前提JavaSEDevelopmentKit(JDK)版本1.6(6.0)以上Eclipse版本3.5(Galileo)以上最少2Gb内存Java运行设置-Xmx1024m以上三、辅助软件的下载与安装1、JDK官网：http://www.oracle.com/technetwork/java/javase/downloads/index.html到官网或通过其它途径下载JDK，保证下载的版本

3、为1.6（6.0）以上，并完成JDK的安装。安装完成后需进行Java的相关配置。为保证JPF的命令行操作（cmd模式）和Eclipse能够顺利执行，至少需完成环境变量Java_Home的设置。依次点击：“我的电脑”(右键)－“属性”－“高级”－“环境变量”，弹出Windows的“环境变量”配置卡，在“系统变量”中进行相关配置。Java_Home指向你的JDK安装目录，如：C:ProgramFilesJavajdk1.6.0_23，请根据你的实际目录进行设置。其它环境变量如：path、classpath，仅对JPF而言无需设置。2、Eclipse官网：http://

4、www.eclipse.org/downloads/到官网或通过其它途径下载Eclipse，保证下载的版本为3.5（Galileo）以上，并完成Eclipse的安装。3、TortoiseHg官网：http://tortoisehg.bitbucket.org如果要下载JPF的相关组件，必须要使用一个名叫Mercurial的分布式版本控制系统。对于Windows类的操作系统，可以使用TortoiseHg，它是Mercurial6的可视化客户端工具，操作起来更为简便。到官网或通过其它途径下载TortoiseHg，并完成TortoiseHg的安装。由于网上关于Tortoise

5、Hg的介绍和资源比较少，对于英文较为生疏的朋友，推荐一个汉化版TortoiseHg的下载网址：http://www.cr173.com/soft/48257.html，经测试可正常使用。四、JPF相关组件的下载JPF的相关组件可以通过Mercurial提供的“clone”操作进行下载，各个组件资源都存储在http://babelfish.arc.nasa.gov/hg/jpf这一根目录下。你可以选择你想使用的某个组件进行clone，如：http://babelfish.arc.nasa.gov/hg/jpf/jpf-core，而不是根目录../hg/jpf，以确保所下载

6、组件的完整性和准确性。因为如果使用根目录clone，所下载的并不是JPF的全部组件，有些仅仅是一个空文件夹而已。不过，我们倒是可以利用这一方法，来看一看整个JPF的组件资源究竟如何构成。JPFcore对于JPF来说是核心组件，也是唯一一个必须要下载的组件。我们使用Mercurial的可视化客户端TortoiseHg来进行下载。在自己希望保存JPF组件的目录下新建一个名为jpf-core的文件夹（建议使用默认路径存放所下载的组件，默认路径的介绍请参见第五部分），右键点击文件夹，在弹出菜单里选择TortoiseHg->Clone，在弹出对话框的“源”选项中输入需要安装的JP

7、F组件的URL，JPFcore在Mercurialrepository中的安装路径为：http://babelfish.arc.nasa.gov/hg/jpf/jpf-core，然后开始下载，在一段时间的等待之后，JPFcore这个组件就成功下载到本地了。可以使用类似的方法下载JPF其它组件，主要区别在于URL的不同，但其组成都是根目录+组件名的方式，即../hg/jpf/[组件名]。建议下载时保存的文件夹名称和组件名一致。初次使用JPF，只需下载JPFcore即可。五、创建site.properties文件site.properties