Исследователи представили метод «Locksmith Loop» — агентный подход для автоматической проверки корректности миграции устаревшего кода с COBOL на Java. Система создает параллельные среды выполнения для обоих языков, синтезирует тестовые данные и верифицирует поведение программ, что позволяет минимизировать риски при обновлении критически важной бизнес-логики и сократить объем ручного тестирования сложных систем.
Процесс миграции legacy-систем традиционно осложняется отсутствием актуальной документации и тестового покрытия. Новый метод использует ИИ-агентов для анализа исходного кода и генерации тестовых сценариев, которые охватывают граничные случаи, часто упускаемые при ручном переносе. Это обеспечивает детерминированную валидацию: если результат выполнения кода на Java отличается от COBOL-оригинала, система автоматически выявляет расхождения.
Технология ориентирована на корпоративный сектор, где замена устаревших мейнфреймов требует высокой точности. Использование агентного цикла позволяет не просто переписать код, но и гарантировать идентичность бизнес-логики в новой среде, что критично для банковских и страховых систем, до сих пор работающих на COBOL.
Ключевые факты
- Метод «Locksmith Loop» автоматизирует синтез тестов для верификации миграции между COBOL и Java.
- Система использует параллельные среды выполнения для сравнения результатов работы исходного и целевого кода.
- Подход решает проблему нехватки тестовых данных и сложности покрытия всех граничных состояний в legacy-системах.
- Метод направлен на снижение трудозатрат при обновлении критической инфраструктуры предприятий.