Aletheia – 메인프레임 마이그레이션을 위한 결정론적 COBOL 검증
hackernews
|
|
📦 오픈소스
#aletheia
#cobol
#review
#검증
#마이그레이션
#메인프레임
원문 출처: hackernews · Genesis Park에서 요약 및 분석
요약
스페인 개발자가 만든 'Aletheia'는 COBOL에서 Java 등으로의 메인프레임 마이그레이션 시, 레거시 코드가 새로운 환경에서도 동일하게 작동하는지를 확인하는 도구입니다. ANTLR4를 사용해 의미론적 모델을 구축하고, 실제 프로덕션 데이터를 기반으로 생성된 Python 참조 실행본과 비교하여 동작이 일치하는지 필드 단위로 검증합니다. 1,000회 이상의 테스트를 통과했으며 실제 은행 및 보험 프로그램 대상으로 약 94.3%의 검증률을 기록하는 등 높은 정확도를 자랑합니다.
본문
# aletheia deterministic behavioral verification for COBOL mainframe migrations. **try it:** [live demo](https://attractive-sadye-aletheia-7b91ff1e.koyeb.app) ## what it does you're migrating COBOL to Java or whatever. your vendor says it works. aletheia proves whether it actually behaves the same as the mainframe. upload your COBOL and get a full analysis. upload mainframe data alongside it and run Shadow Diff to verify behavioral equivalence field by field. binary verdict: **VERIFIED** or **REQUIRES MANUAL REVIEW**. no confidence scores, no AI in the verification loop. fully deterministic. ## how it works parses the original COBOL with ANTLR4, builds a deterministic semantic model, generates a Python reference execution, then compares that against mainframe production data. if the outputs match you get a proof. if they don't you get a diagnosis of exactly where the behavior diverged. the Python model is the internal answer key. the migrated code gets graded against it. ## stats 1006+ tests, 0 failures. 94.3% verified on 459 dense banking/insurance programs. handles 5000+ line programs. ## who this is for migration consultancies and banks running COBOL migrations who need to prove the rewrite is correct. ## contact built by hector from spain. happy to verify a batch of your programs for free. open an issue or reach out at [email protected].
Genesis Park 편집팀이 AI를 활용하여 작성한 분석입니다. 원문은 출처 링크를 통해 확인할 수 있습니다.
공유