COBOL 到 Java 迁移的可重复入口重放见证认证
原标题：Certifying Repeatable Entry-Replay Witnesses for COBOL-to-Java Migration
AI 摘要
该论文提出一种面向 COBOL 到 Java 迁移的可重复入口重放见证认证方法，通过在被测 COBOL 代理程序上观察执行轨迹来认证合成的端到端测试用例。在一个 33,429 行 COBOL 程序上生成 849 个测试用例，覆盖 78.1% 分支和 95.7% 段落，并检测出 61 个缺陷；在注入 450 个缺陷的实验中，门控方法检出 47.6%，但无法检测舍入和精度类缺陷。
正文节选
Certifying Repeatable Entry-Replay Witnesses for COBOL-to-Java Migration Abstract Producing synthetic data for comparison testing a migrated COBOL application is a major challenge that agentic migrations face today. Our prior paper, the Agentic Method for Deterministic Validation of Legacy Code Migration, presents a deterministic oracle to facilitate such migrations, the Locksmith Loop. We now propose a novel method for achieving high branch and paragraph coverage through generated synthetic end