「TPTP JUnit 測試」可經由手動建立,或將 TPTP 以外的現有 JUnit 測試匯入「TPTP JUnit 測試」中來建立。 如果要利用 TPTP JUnit 測試行為特性,則必須手動建立。
請注意,在建立 JUnit 測試之前,Java 專案必須存在。
請注意,精靈的第二頁和第三頁是選用頁面(亦即,在第一頁就可完成精靈)。此外,第 1 頁和第 2 頁所需的資訊有下列差異:第一頁要求程式碼的名稱和位置,第二頁要求 TPTP 測試(模型)的名稱和位置。依預設,兩者完全相同。
(C) Copyright IBM Corporation 2000, 2006. All Rights Reserved.