手工创建 JUnit 测试

可以手工创建 TPTP JUnit 测试,也可以通过将 TPTP 外部的现有 JUnit 测试导入到 TPTP JUnit 测试中来进行创建。如果 TPTP JUnit 测试要利用 TPTP JUnit 测试的行为功能,则应该以手工方式创建它们。

注意,在创建 JUnit 测试之前,必须存在 Java 项目。

  1. 选择文件 > 新建 > 其他
  2. 展开测试。选择 TPTP JUnit 测试
  3. 单击下一步以打开新建 JUnit 测试定义对话框。标识源代码文件夹(javaProject)、包(junit.samples)以及要对 Junit 测试源代码指定的名称(JUnit_src)。
  4. 单击下一步。将打开新建 JUnit 测试定义对话框。
  5. 输入父文件夹(javaProject/junit/samples)和名称(JUnit_src)。
  6. (可选)单击下一步,然后提供 JUnit 测试定义的描述。
  7. 单击完成

注意,向导的第 2 页和第 3 页是可选的(即,您可以在第 1 页就完成向导)。并且,在第 1 页和第 2 页中请求的信息之间的差别如下:第 1 页询问源代码的名称和位置,而第 2 页询问 TPTP 测试(模型)的名称和位置。缺省情况下,这些信息是完全相同的。

(C) Copyright IBM Corporation 2000, 2006. All Rights Reserved.