“Java PathFinder是一个可执行Java程序调试/检验系统。它的内核是一个Java虚拟机(JVM)，可用于系统地探测程序所有可能的执行路径，以避免死锁或无法处理的异常之类的情况发生。与传统的调试程序不同，Java PathFinder报告导致缺陷的整个执行路径。Java PathFinder特别适合在多线程的程序中发现很难测试的并发缺陷。”
——来自别人博客
看了许多博客之后，终于确定了安装JPF的步骤：
①对于Windows类的系统，可以下载、安装TortoiseHg，用于clone JPF的源代码 ；
安装TortoiseHg的方式不止一种，其中我选择的是：http://www.it610.com/article/2540343.htm