导入现有的 JUnit 测试

如果 JUnit 测试在 TPTP 外部,则可以将这些测试导入到 TPTP JUnit 测试中。

步骤 1

如果测试已在现有的 Eclipse Java 项目中,则转到步骤 2

步骤 2

注意,导入向导将显示工作空间中尚未导入到 TPTP 中的所有现有 JUnit 测试用例。如果此列表是空的,则表示在工作空间中找不到任何 JUnit 测试,或者已将所有的现有 JUnit 测试类导入到 TPTP 中。