論文の概要: Certifying Repeatable Entry-Replay Witnesses for COBOL-to-Java Migration
- arxiv url: http://arxiv.org/abs/2610.27272v1
- Date: Mon, 19 Oct 2026 20:44:35 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-21 21:58:47.498074
- Title: Certifying Repeatable Entry-Replay Witnesses for COBOL-to-Java Migration
- Title（参考訳）: COBOLからJavaへの移行のための繰り返し入出力ウィットネスの認定
- Abstract要約: 生成したエンドツーエンドテストケースを用いて,高分岐・段落カバレッジを実現するための新しい手法を提案する。
提案手法を33,429行のコードを持つ大規模プログラムに適用し,849の総合的なエンドツーエンドテストケースを生成した。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Producing synthetic data for comparison testing a migrated COBOL application is a major challenge that agentic migrations face today. Our prior paper, the Agentic Method for Deterministic Validation of Legacy Code Migration, presents a deterministic oracle to facilitate such migrations, the Locksmith Loop. We now propose a novel method for achieving high branch and paragraph coverage through generated synthetic end-to-end test cases, by means of entry-replay test-case certification by observing the code execution trace on a surrogate COBOL program that mocks external interactions via a chronological external-operation tape. We applied our method to a very large COBOL program with 33,429 lines of code to generate 849 synthetic end-to-end test cases covering 2,973/3,806 source branches (78.1%) and 989/1,033 main-AST paragraphs (95.7%). Using the Locksmith Loop's projected-agreement validation, the generated Java code matched the COBOL surrogate on the specified observations across all 849 certified synthetic end-to-end test cases. During the campaign we detected 61 defects and fixed the Java generator accordingly. To test whether the coding agent could silently introduce business logic bugs, we seeded 450 defects into the Java code, such as deleted writes, deleted paragraph calls, and altered rounding, to verify how many of these would be detected by the gating methodology. The gate detected 47.6%, including all deleted writes and paragraph calls in executed code, but was unable to detect the rounding and precision defects.
- Abstract（参考訳）: 移行したCOBOLアプリケーションを比較テストするための合成データを生成することは、今日のエージェントマイグレーションが直面する大きな課題である。
先程の論文であるAgenic Method for Deterministic Validation of Legacy Code Migrationでは,そのようなマイグレーションを容易にするための決定論的オラクルであるLocksmith Loopを紹介した。
本稿では, 時系列外部操作テープを介して外部インタラクションをモックする代理COBOLプログラム上で, コード実行トレースを観察し, 入力再生テストケース認証を用いて, 生成した合成エンドツーエンドテストケースによる高分岐・段落カバレッジを実現する新しい手法を提案する。
我々は,33,429行のコードを持つ非常に大規模なCOBOLプログラムに適用し,2,973/3,806ソースブランチ(78.1%)と989/1,033メインAST段落(95.7%)をカバーする849の合成エンドツーエンドテストケースを生成した。
Locksmith Loopのプロジェクテッド・アグリメント・バリデーションを使用して、生成されたJavaコードは、849の認証済みの総合的なエンドツーエンドテストケースのすべてにおいて、特定の観察結果に対してCOBOLに一致した。
キャンペーン中、61の欠陥を検出し、それに応じてJavaジェネレータを修正しました。
コーディングエージェントがサイレントにビジネスロジックのバグを導入できるかどうかをテストするため、削除された書き込み、削除された段落呼び出し、変更された丸めなどの450の欠陥をJavaコードにシードし、ゲーティング手法によって検出されるこれらのバグの数を検証しました。
ゲートは47.6%を検知し、すべての削除された書き込みと段落の呼び出しを実行コードで検出したが、丸みと精度の欠陥を検出できなかった。
関連論文リスト
- Agentic Method for Deterministic Validation of Legacy Code Migration [0.0]
ロックスミスループ」は2つの実行環境を準備することで開始される。
ロックスミスループ」は入力モック上でワイトネス検索を行い、プログラムの分岐を貫き、その後パリティ保存突然変異が続く。
Locksmithは、入力検索高原を超えて、継続的にカバレッジを改善した。
論文 参考訳（メタデータ） (2026-07-30T14:25:23Z) - SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging [49.898541267264115]
古い技術や疎結合なドキュメンテーション、開発者の引退などによって、メンテナンスはますます難しくなっている。
従来のルールベースのトランスコンパイラは、読み書きが難しい出力を出力する。
本稿では,新しいC言語翻訳フレームワークであるSEDCoTを提案する。
論文 参考訳（メタデータ） (2026-07-05T03:07:10Z) - CASCADE: Detecting Inconsistencies between Code and Documentation with Automatic Test Generation [0.7611870296994722]
コードとドキュメンテーション間の一貫性を維持することは、ソフトウェア開発において不可欠だが、見落とされがちな側面である。
偽陽性の低減に重点を置いた新しい不整合検出ツールであるCASCADEを紹介する。
我々はCASCADEを、オープンソースJavaプロジェクトから引き出された71の一貫性のない、814の一貫性のあるコード文書ペアからなる新しいデータセットで評価した。
論文 参考訳（メタデータ） (2026-04-21T12:26:54Z) - SPARC: Scenario Planning and Reasoning for Automated C Unit Test Generation [1.0010193170880752]
本稿では,高レベルのプログラム意図とポインタ演算と手動メモリ管理の厳密な構文制約とのギャップを埋める,ニューロシンボリックなシナリオベースのフレームワークを提案する。
我々は、59の現実世界およびアルゴリズムの被験者で評価し、バニラプロンプト生成ベースラインを31.36%、分岐カバレッジ26.01%、突然変異スコア20.78%で上回り、シンボリック実行ツールKLEEに適合または超えている。
論文 参考訳（メタデータ） (2026-02-18T18:09:03Z) - AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms [54.99368693313797]
既存のベンチマークでは、個々の言語/ツールのみをテストするため、パフォーマンス番号は直接比較できない。
このギャップに対処するAlgoVeriは、Dafny、Verus、Leanで77ドルの古典的アルゴリズムのベリコーディングを評価するベンチマークです。
論文 参考訳（メタデータ） (2026-02-10T06:58:26Z) - Detecting and Correcting Hallucinations in LLM-Generated Code via Deterministic AST Analysis [11.687400527666476]
本稿では,決定論的静的解析フレームワークがテキストと自動修正KCHを確実に検出できるかどうかを検討する。
生成されたコードを抽象構文木(AST)に解析し,動的に生成された知識ベース(KB)に対して検証する後処理フレームワークを提案する。
この非実行アプローチでは、決定論的ルールを使用して、APIと識別子レベルの競合を見つけて修正する。
論文 参考訳（メタデータ） (2026-01-27T02:16:37Z) - SemGuard: Real-Time Semantic Evaluator for Correcting LLM-Generated Code [46.20378145112059]
ポストホック修復パイプラインは、実行後にのみそのような障害を検出する。
本稿では,実時間で行レベルのセマンティック監視を行うセマンティック評価フレームワークSemGuardを紹介する。
論文 参考訳（メタデータ） (2025-09-29T09:21:32Z) - Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs [79.74676890436174]
本稿では,障害の局所化と修復のためのオラクルとして形式仕様を用いたDafny用のAPRツールを提案する。
プログラム内の各ステートメントの状態を決定するために、Hoareロジックの使用を含む一連のステップを通じて、障害をローカライズします。
また, GPT-4o miniが74.18%と高い修理成功率を示した。
論文 参考訳（メタデータ） (2025-07-04T15:36:12Z) - CodeT: Code Generation with Generated Tests [49.622590050797236]
テストケースを自動的に生成するための事前学習言語モデルについて検討する。
CodeTは生成されたテストケースを使ってコードソリューションを実行し、次に最良のソリューションを選択します。
我々は,HumanEvalとMBPPのベンチマークを用いて,5種類の事前学習モデル上でCodeTを評価する。
論文 参考訳（メタデータ） (2022-07-21T10:18:37Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。