论文部分内容阅读
JPF(Java Pathfinder)是一种精确的Java字节码状态模型检测工具,为Java程序的模型检测提供了很好的实现方法,对并行程序中存在的死锁和数据竞争等问题,都可以有效地进行模型检测。本文实现了基于Eclipse的Java模型检测平台,使得程序员可以在编写代码的同时实时检测自己的代码。