导入现有的 JUnit 测试
如果 JUnit 测试在 TPTP 外部,则可以将这些测试导入到 TPTP JUnit 测试中。
步骤 1
如果测试已在现有的 Eclipse Java 项目中,则转到步骤 2。
-
否则,请首先单击文件 > 导入 > 文件系统,以将 Java 源代码和类文件从文件系统导入到 Java 项目中。
-
单击下一步。将打开文件系统导入对话框。
-
浏览至所需的目录,然后浏览至相关文件并选择它们。单击完成。
步骤 2
-
在将文件导入 Eclipse 工作台之后,请通过单击文件 > 导入 > JUnit 测试到 TPTP
从 Java 项目导入相关的 Java 类文件。
-
单击下一步以显示 JUnit 测试选择对话框。
-
浏览至所需的文件,然后单击完成。
-
成功导入操作的结果将是与导入的包或类相关联的 TPTP JUnit 测试文件。
注意,导入向导将显示工作空间中尚未导入到 TPTP 中的所有现有 JUnit 测试用例。如果此列表是空的,则表示在工作空间中找不到任何 JUnit 测试,或者已将所有的现有 JUnit 测试类导入到 TPTP 中。