- 本文讨论了将遗留COBOL程序迁移到Java的挑战，包括缺乏测试数据和难以验证边界情况。
- 提出了一种新颖的自主测试合成方法，称为'锁匠循环'，它使用两个运行时环境（COBOL源和Java目标）并配备模拟工具。
- 锁匠循环包括对输入模拟进行迭代的'见证搜索'，以穿透程序分支，然后进行保留奇偶性的突变，并且当达到路由边界时，分析器识别'锁定段落'。
- 在三个COBOL-Java案例研究（两个开源和一个内部生产级程序，430-4,114源代码行）上评估，该方法持续改进了覆盖率，超过了输入搜索的瓶颈。
共 1 篇