03:06
50d ago
用 AI 把 COBOL 老代码迁成 Java,连 bug 也一起搬过去了
这篇论文提出了一个叫“Locksmith Loop”的验证方法,专门解决 AI 迁移 COBOL 到 Java 后怎么确认功能没变的问题。做法是先把原版 COBOL 和生成的 Java 代码都插上桩,脱离大型机在普通服务器上跑起来,然后让一个智能体循环去找能覆盖更多分支的输入,遇到卡住的地方就自动对代码做等价变形再继续探。他们在三个程序上试了,两个开源...
68
SCORE
H1·K1·R0