關於驗證例證
核對某例證時，將再生該例證。可使用「核對」(Verify) 來加快將新增立的例證載入工作階段的過程，以便可以把它們加到例證索引檔案中。核對後儲存類屬模型會把所有成功再生的例證的名稱新增到該目錄的例證索引檔案中。
要核對例證，可按一下 > ，或按一下「核對」(Verify) 工具列按鈕，兩者都位於「族表」(Family Table) 對話方塊中。兩個指令都將開啟「族樹」(Family Tree) 對話方塊，此對話方塊列出和選取了所有核對例證。可核對所有例證，或僅核對所選例證。
再生每個例證時，在其名稱旁邊會放置一個紅色箭頭圖示 (此圖示出現非常快)。再生例證後，對話方塊的「核對狀態」(Verification Status) 列下將顯示再生狀態 (SUCCESS 或 FAILURE)。
核對結果被寫入名為 modelname.tst 的檔案，其中 modelname 是目前類屬模型的名稱。.tst 檔案記錄例證名、類屬模型名和每個被核對的例證的再生狀態。
 |
• 如果族樹有多個分支 (如在多層「族表」(Family Table) 中)，核對過程將再生此樹中的所有例證。
• 再生每個例證後，它將被從記憶體中拭除。但是，已在記憶體中的那些例證 (如使用「例證」(Instance) 指令擷取的例證) 仍可從記憶體中獲得。
|