匯入現有的 JUnit 測試

TPTP 以外的 JUnit 測試可以匯入 TPTP JUnit 測試中。

步驟 1

如果現有的 Eclipse Java 專案內已有測試,請前往步驟 2

步驟 2

請注意,匯入精靈會顯示工作區內現存但尚未匯入 TPTP 中的所有 JUnit 測試案例。 如果此清單空白,則表示在工作區找不到 JUnit 測試,或現有的所有 JUnit 測試類別已匯入 TPTP 中。