arXiv:2504.10548v1 Announce Type: cross 摘要：基于大语言模型（LLM）的生成人工智能技术的最新进展使得从COBOL等过时语言到现代语言如Java或Python翻译企业级代码成为可能。虽然基于LLM的自动转换结果令人鼓舞，但生成的代码无法确保正确地翻译原始代码，因此验证翻译成Java的COBOL代码的准确性成为一种必要但耗时且劳动密集的过程。在本文中，我们分享了为IBM Watsonx Code Assistant for Z（WCA4Z）[5]开发的一个测试框架的经验，WCA4Z是一款专门用于COBOL到Java翻译的工业工具。该框架在工业环境中自动化了验证翻译后的Java代码与原始COBOL程序功能等价的过程。该框架使用符号执行为COBOL生成单元测试，模拟外部调用并将其转换为JUnit测试，以验证与翻译后的Java代码的语义等价性。这些结果不仅有助于识别并修复任何检测到的差异，还可以为改进AI模型提供反馈。