有兩種方式可以建立 TPTP JUnit 測試:手動建立,或從現有的 JUnit 測試案例中建立。
「TPTP JUnit 測試」可經由手動建立,或將 TPTP 以外的現有 JUnit 測試匯入「TPTP JUnit 測試」中來建立。如果要利用 TPTP JUnit 測試行為特性,則必須手動建立。
如果有 TPTP 以外的 JUnit 測試,可以將它們匯入 TPTP JUnit 測試中。