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