COBOL 是一种诞生于 1959 年的面向商业数据处理的高级编程语言，至今仍大量运行在全球银行、保险、航空和政府系统的核心交易链路上。它长期被视为遗留技术，但近年因 AI 辅助现代化改造而重新进入学术与工程视野。当前围绕 COBOL 的讨论，已从“是否该淘汰”转向“如何安全地迁移、验证和文档化”。
COBOL 迁移与验证的近期研究进展
近期多篇预印本论文聚焦 COBOL 等遗留系统的现代化。2026 年 7 月发布的《Locksmith Loop：COBOL转Java迁移的确定性验证方法》提出一种确定性验证循环，用于在 COBOL 转 Java 的过程中比对行为一致性，降低迁移后逻辑偏差的风险。Locksmith Loop：COBOL转Java迁移的确定性验证方法
2026 年 5 月的《Reversa：将遗留软件转为AI智能体可操作规范的逆向文档工程框架》则尝试把遗留软件逆向为 AI 智能体可执行的规范，使 COBOL 等老系统在没有完整文档的情况下也能被自动化工具理解。Reversa：将遗留软件转为AI智能体可操作规范的逆向文档工程框架
同期另一篇《Fidelity Probes：用自然语言探针自动对齐代码与规格说明》关注代码与规格的自动对齐，通过自然语言探针检测实现与文档之间的差异。这类方法若应用于 COBOL，可帮助维护者发现隐性行为。Fidelity Probes：用自然语言探针自动对齐代码与规格说明
当前焦点与观察点
现阶段 COBOL 研究的核心矛盾是：业务逻辑仍在运行，但原始开发者稀缺、文档缺失。上述三项工作分别从迁移验证、逆向文档和规格对齐切入，说明 AI 正在被用作“理解旧系统”的中介，而不是简单重写。
观察点在于：这些方法目前多为预印本，缺少大规模生产验证；确定性验证和自动对齐能否覆盖 COBOL 中大量隐式状态与文件操作，仍是待解问题。对仍依赖 COBOL 的机构而言，更现实的路径可能是先建立可验证的规格层，再谈迁移。