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

时间:2016-06-24 12:35:06
【文件属性】:

文件名称: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资源较少,而其官网全英内容又令很多用户头疼,相信本文档能够给用户带来极大的帮助。


网友评论

  • 这个不能做参考,什么东西都没有,好歹给个实例嘛