本主題將說明如何建立和執行手動測試。
這時會建立一個新的測試配置,該配置最初的名稱是 New_Configuration。 您可以更改這個名稱。 或者,展開 Hyades 手動測試,再按一下您想要視察或修改的已列出配置。 這時會在「測試」標籤中開啟「執行」對話框。
如果要採用預設值來執行測試,或者使用您在前一個測試執行時所設定的相同值, 可以立即按一下執行,停止讀取。
母主題︰利用 TPTP 的手動測試