研究：利用 AI 代理驗證 Legacy COBOL 遷移至 Java 的「鎖匠迴圈」方法
為何重要
將核心帳務系統（如 COBOL）遷移至現代架構是大型企業的高風險投資。隨著 AI 自動化產出程式碼，如何確保其邏輯精確性成為關鍵瓶頸。本研究提出的「鎖匠迴圈」與確定性 Oracle 是標準化驗證 AI 程式碼產出的重要工具，有助於建立企業對自動化遷移的安全信任，降低實際起步成本。
- 提出一種名為「Locksmith Loop」的新式人工智慧代理測試合成方法，用於驗證老舊程式遷移至新語言的正確性。\n- 方法將原始 COBOL 與目標生成的 Java 程式碼置於帶有模擬機制的環境中，透過迭代式的代理迴圈進行見證搜尋以覆蓋程式分支。\n- 在涵蓋兩個開源程式與一個模擬生產環境程式（行數介於 430 到 4,114）的案例研究中，該方法有效突破了輸入搜尋的瓶頸。\n- 測試結果顯示，目標 Java 程式碼在所有接受案中皆通過確定性檢查，並與 COBOL 參考版一致，覆蓋率達到 91.90%。