Researchers have developed a new method for certifying repeatable entry-replay witnesses to improve the migration of COBOL applications to Java. This approach uses generated synthetic end-to-end test cases to achieve high branch and paragraph coverage, observing code execution traces on a surrogate COBOL program. Applied to a large COBOL program, the method generated 849 test cases, covering over 78% of source branches and 95% of main-AST paragraphs, and successfully validated the generated Java code against the COBOL surrogate. The process also identified 61 defects in the Java generator and detected 47.6% of seeded business logic bugs, though it struggled with rounding and precision errors. AI
IMPACT This research could streamline the migration of legacy systems, potentially reducing costs and improving the maintainability of older software.
RANK_REASON Academic paper detailing a novel method for code migration. [lever_c_demoted from research: ic=1 ai=0.7]
- Agentic Method for Deterministic Validation of Legacy Code Migration
- arXiv
- COBOL
- Java
- Locksmith Loop
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →