Java Pathfinder(JPF)完全安装配置过程(2013年6月)

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