匯出檔案可直接作為 OCL 類型檢定文件 §2.3「Log File」及「Test Case」的附件。