站内搜索: 请输入搜索关键词

当前页面: 开发资料首页Netbeans 专题通过 NetBeans 构建和运行 Java PathFinder

通过 NetBeans 构建和运行 Java PathFinder

摘要: 通过 NetBeans 构建和运行 Java PathFinder 作者 Charlie Hunt 本文档演示了启动和运行 Java PathFinder SourceForge.net 项目的 Ne...
通过 NetBeans 构建和运行 Java PathFinder

本文档演示了启动和运行 Java PathFinder SourceForge.net 项目的 NetBeans 开发环境是非常容易的。正如您将在本文档中所阅读的一样,将 NetBeans 用作开发工具来构建和运行 Java PathFinder 非常简单。

Java PathFinder 是 NASA 项目的结果。它主要是在 NASA 软件模型研究中心开发的,现在仍然在使用。Java PathFinder 项目是一个软件模型检查的可行性研究,开始于 1999 年。从那时起它便开始了通往学术研究和工业之路,它甚至在实际太空船缺陷检测中也发挥过作用。

Java PathFinder 是一个用来验证可执行 Java bytecode 程序的系统。它的基本形式是用作显式声明软件模型检查程序的 Java 虚拟机 (JVM),从系统上探测程序所有可能的执行路径,以避免死锁或未处理异常之类的情况发生。与传统的调试程序不同,Java PathFinder 报告导致缺陷的整个执行路径。Java PathFinder 特别适合在多线程的程序中发现很难测试的并发缺陷。

入门

要入门,首先需要设置您的环境。验证环境设置正确之后,您将准备获得 Java PathFinder 源文件,然后从 NetBeans 中构建并运行它。

本文档中的说明是从 Windows 用户的角度提出的。Solaris 和 Linux 用户应该针对其平台在适用的地方替换路径名、安装程序名等。

设置环境

构建和运行 Java PathFinder 之前,您需要安装几个附加组件。完成此操作的最简单方法是下载所有组件,然后按照下文列出的顺序安装它们。

下载组件

注意: 安装说明假设您将所有组件下载到 C:\tmp 中。

  1. Java 2 SDK 标准版本 1.4.2 或 1.5.0 或更高版本(如果尚未安装)。
    http://java.sun.com/j2se/1.5.0/download.jsp

    注意: 下面的说明假设您下载了 Windows 版本的 JDK。

  2. NetBeans 4.1 IDE(如果您未安装 NetBeans)
    http://www.netbeans.info/downloads/download.php?type=4.1rc1

    注意: 如果您没有打算进行 J2EE 开发,则可以下载 NetBeans 4.1 RC 安装程序 (netbeans-4_1-rc1-windows.exe) 版本。

  3. Java PathFinder Convenience Libraries
    http://sourceforge.net/project/showfiles.php?group_id=136825&package_id=151191&release_id=323978

    这个文件是 jpf-lib.zip,它包含 Java PathFinder 所需的 .jar 文件。

安装组件

下载所有组件之后,按照下面的说明安装它们。

  1. 如果您尚未安装 1.4.2 或 1.5.0 或更高版本的 JDK,则安装 Java 2 SDK:

    转到下载 JDK 的 C:\tmp 目录,然后双击 jdk-1_5_0_02-windows-i586-install.exe 文件即可启动 JDK 的安装。按照 JDK 安装程序给出的说明来安装 JDK。

  2. 如果您尚未安装 NetBeans,则安装 NetBeans IDE:

    转到下载 NetBeans 的 C:\tmp 目录,然后双击 netbeans-4_1-rc1-windows.exe 文件即可启动 NetBeans 的安装。按照 NetBeans 安装程序给出的说明来安装 NetBeans。

您已经具有构建 Java PathFinder 所需的环境了,现在开始准备启动 NetBeans、获得 Java PathFinder 源代码、从源中构建 Java PathFinder 并从 NetBeans 中运行所有 Java PathFinder。

启动 NetBeans

要启动 NetBeans,请双击桌面上的 NetBeans 4.1 图标。如果您在 Solaris 或 Linux 上,则通过在终端窗口中键入 netbeans 来启动 NetBeans。

获得 Java PathFinder 源代码

下一步是配置 NetBeans IDE 以从 sourceforge.net CVS 存储库中检索 Java PathFinder 源代码。

在 NetBeans IDE 中,从主菜单中选择 Versioning > CVS > Check Out,如下面的图 1 所示。

Versioning > CVS > Check Out

图 1 Versioning > CVS > Check Out

选择 Versioning > CVS > Check Out 菜单项之后,您将看到“Enabling Advanced CVS Command Options”对话框,如图 2 所示。

图 2 Enabling Advanced CVS Command Options

图 2 Enabling Advanced CVS Command Options

如果您以后不想看到这个对话框,则转到前面并勾选上图 2 中所示的“Do Not Show This Dialog Box Again”标签旁边的复选框,然后按 Check Out 按钮。

接下来您将看到“CVS Checkout”对话框。在这个屏幕上您需要输入几个值。在此屏幕上应该输入以下每个值。

    Working Directory: <source path where to place Java PathFinder source files>

记住这个目录路径,之后您需要再次输入它

    CVS Server Type: pserver
CVS Server Name: cvs.sourceforge.net
    Port: 2401
User Name: anonymous
    Repository Path: /cvsroot/javapathfinder

选择“Use Built-in CVS Client”

    Password:<此处不填>

保留 Modules 和 Revision 字段为空

    Module(s):<此处不填>
    Revision or Tag:<此处不填>

CVS Checkout 窗体的外观类似于下图 3 中所示的窗体外观。

图 3 CVS Checkout

图 3 CVS Checkout

如果您在 Password 字段和 Login 按钮下面看到“You are not logged in.”消息,则您需要登录。如果您看到这个消息,则立即按 Login 按钮。标签将更改为“You are logged in”,如上图 3 所示。

我的开发环境中的 CVS Checkout 窗体如下图 4 所示。

图 4 已登录的 CVS Checkout

图 4 已登录的 CVS Checkout

完成 CVS Checkout 窗体之后,显示“you are logged in”,然后按“Ok”按钮。

按“Ok”按钮之后,CVS Checkout 窗体将消失,您将注意到 NetBeans IDE 底部的输出窗口将显示运行 CVS 签出的 VCS Output。这个 VCS Output 窗口中的输出非常类似于下面图 5 中所示的输出。

图 5 VCS Output 窗口 - 单击可放大为最大尺寸

图 5 VCS Output 窗口

完成 CVS 签出之后, VCS Output 窗口底部的状态消息将显示已经完成签出。

安装 Java PathFinder Convenience Libraries

您的系统上已经存在 Java PathFinder 源的文件夹了,下一步将是解压缩 jpf-lib.zip 文件。

指定 CVS Checkout 的工作目录时,NetBeans 在该工作目录中已创建了 javapathfinder 文件夹。这个 javapathfinder 文件夹包含一个 lib 文件夹。PathFinder 的 build.xml 可在 lib 文件夹中找到以下三个 .jar 文件:bcel.jar、fast-MD5.jar 和 xercesImpl.jar。将 jpf-lib.zip 的内容解压缩到 javapathfinder 文件夹。

在 NetBeans 中设置 Java PathFinder 项目

现在您的系统上已经存在 Java PathFinder 源文件了,下一步将创建用于构建和运行 Java PathFinder 的 NetBeans 项目。

从主菜单中选择 File > New Project,如下图 6 所示。

图 6 创建一个新项目

图 6 创建一个新项目

选择 File > New Project 菜单项之后,将出现 New Project 向导,如图 7 所示。

图 7 New Project 向导

图 7 New Project 向导

在 New Project 向导中,选择 General 项目类别和 Java Project with Existing Ant Script 项目类型,如上图 7 所示。然后按 Next 按钮。这将出现 New Project 向导的第二个屏幕。在此窗体上,指定项目文件、Ant 构建脚本的位置,并提供项目名称和项目文件夹。

对于 Location 字段,浏览到之前告知 NetBeans 下载 Java PathFinder 源文件时指定的工作目录,然后选择“javapathfinder”目录作为 Java PathFinder 源文件所在的位置。NetBeans IDE 将自动查找 Ant 构建脚本并指定项目名称和项目文件夹。您可以接受 NetBeans 为项目名称和项目文件夹选择的默认值,如果愿意也更改它们。

下图 8 显示的屏幕快照示例中是我在开发环境中所使用的值,以及 NetBeans 为项目名称和项目文件夹自动填充的默认值。

图 8 项目名称和位置 - 单击可放大为最大尺寸

图 8 项目名称和位置

选择项目名称和位置之后,按 Next 按钮。这将把您带到 New Project 向导的 Build and Run Actions 窗体。您将注意到 NetBeans 会自动将 Ant 构建目标映射到 NetBeans 操作。下图 9 显示了 NetBeans 自动选择映射的示例。

图 9 Build and Run Actions

图 9 Build and Run Actions

按 Next 按钮接受默认的映射。(注意:通过只选择一个下拉框并选择另一个 Ant 构建目标,可以更改默认映射中的任何一个。)

按 Next 按钮之后,将显示 New Project 向导的 Source Package Folders 窗体。在该窗体上,为您的项目指定源目录。要添加源包文件夹,单击该窗体 Source Package Folder 部分中的 Add Folder 按钮。浏览到之前在 CVS 窗体中指定为 Working Directory 的目录,然后打开 javapathfinder 目录。然后,选择并打开 src 文件夹。之后,按向导的 Test Package Folders 部分中的 Add Folder 按钮添加测试包文件夹。浏览到之前在 CVS 窗体中指定为 Working Directory 的目录,然后打开 javapathfinder 目录。然后,选择并打开 test 文件夹。

要在该窗体上设置的最后一项是 Source Level。通过选择 Source Level 下拉框并选择 JDK 1.4 将源级别设置为 JDK 1.4。

Source Package Folders 向导的外观类似于下图 10 所示的向导外观。

图 10 Source Package Folders

图 10 Source Package Folders

按 Next 按钮转到 Java Sources Classpath 窗体。在该窗体上,您告知 NetBeans 查找三个附加组件(BCEL、Xerces 和 MD5)的位置,编辑器将使用这些组件执行各种任务,如语法检查、代码完成和导入声明。这三个组件的 .jar 文件位于 javapathfinder/lib 文件夹中。

在该窗体上添加三个组件中的每个组件。我为开发环境添加这三个组件之后的屏幕示例如图 11 所示。

图 11 Java Sources Classpath

图 11 Java Sources Classpath

添加三个组件之后,按 Finish 按钮。

您现在将注意到在 NetBeans 项目窗口中显示了新项目。NetBeans 项目窗口的外观类似于图 12 中所示的窗口外观。

图 12 NetBeans 项目窗口

图 12 NetBeans 项目窗口

现在,您已经成功地在 NetBeans 中创建并配置了 Java PathFinder 项目。接下来准备在 NetBeans 中构建并运行 Java PathFinder。

在 NetBeans 中构建和运行 Java PathFinder 项目

在 NetBeans 项目窗口中,右键单击新创建的 Java PathFinder 项目。您可以选择构建将编译 Java PathFinder 项目的项目,也可以选择运行构建项目并运行 Java PathFinder 测试套件的项目。

在项目窗口中右键单击 Java PathFinder 项目时,您将看到的选项如下图 13 所示。

图 16 运行 Java PathFinder 项目

图 13 运行 Java PathFinder 项目

选择图 13 中所示的“Run Project”运行项目。如果 Java PathFinder 项目尚未构建,则这会启动构建该项目并在构建之后运行测试套件。您将注意到 NetBeans IDE 底部的输出窗口将显示构建和运行 Java PathFinder 项目的结果。构建和运行 Java PathFinder 项目的 NetBeans 输出窗口的示例如下。

图 14 NetBeans Output 窗口 - 单击可放大为最大尺寸

图 14 NetBeans Output 窗口

这就是拥有在 NetBeans 中构建和运行 Java PathFinder 的环境的全部内容。是不是很简单?




↑返回目录
前一篇: 通过 NetBeans 构建和运行 Project Looking Glass
后一篇: NetBeans IDE 5.0 Rich-Client Application 快速入门指南