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