論文の概要: On the Correctness of Software Merge
- arxiv url: http://arxiv.org/abs/2607.07987v1
- Date: Wed, 08 Jul 2026 23:27:47 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-07-10 14:45:27.364681
- Title: On the Correctness of Software Merge
- Title（参考訳）: ソフトウェアマージの正確性について
- Authors: Akira Mori, Masatomo Hashimoto,
- Abstract要約: 本稿では,既存のツールと比較して,新たな構造的マージツールを提案する。
解析可能であるということは、結果はプログラミング言語の文法に従って構文的に有効であることを意味する。
ユニバーサルであることは、結果が各ブランチで発生する編集操作を全て含み、両方のブランチに共通する編集が一度だけ適用されることを保証することを意味する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Three-way merge tools play crucial roles in modern software development, where a developer forks a branch to make local modifications and requests it to be merged into the main branch via a "pull request." Despite its importance, the task has traditionally been defined in an intuitive manner, and the results of merge tools are often accepted without scrutiny. In this paper, we present a new structural merge tool in comparison with existing tools based on the syntactic criteria we propose for evaluating the merge results. We require the merge result to be both parsable and universal. Being parsable means that the result is syntactically valid according to the grammar of the programming language. Being universal means that the result incorporates all and only the edit operations occurring in each branch while ensuring that edits common to both branches are applied only once. This requirement can be precisely defined using the notion of pushouts in category theory. In a large-scale experiment involving 43,774 file merge scenarios from 76 open-source Java projects, we found a number of incorrect results reported by existing tools such as the Git companion merge tool, whereas our tool reports none. We further compared d3j's results with 2,582 developer-resolved merges and with 2,459 merge scenarios involving 21 refactoring types. These experiments revealed both the strengths and current limitations of structural merge, and underscore the importance of clear correctness criteria. We expect that the proposed criterion will provide a foundation for developing more reliable and principled merge tools.
- Abstract（参考訳）: そこでは、開発者はブランチにローカル修正を強制し、"プルリクエスト"を通じてメインブランチにマージするように要求する。
その重要性にもかかわらず、このタスクは伝統的に直感的に定義されており、マージツールの結果は精査なしに受け入れられることが多い。
本稿では,既存のツールと比較して新しい構造的マージツールを提案する。
マージの結果は解析可能かつ普遍的である必要がある。
解析可能であるということは、結果はプログラミング言語の文法に従って構文的に有効であることを意味する。
ユニバーサルであることは、結果が各ブランチで発生する編集操作を全て含み、両方のブランチに共通する編集が一度だけ適用されることを保証することを意味する。
この要件は、圏論におけるプッシュアウトの概念を用いて、正確に定義することができる。
76のオープンソースプロジェクトから43,774のファイルマージシナリオを伴って大規模な実験を行ったところ、Gitコンパニオンマージツールのような既存のツールによって報告された誤った結果がいくつか見つかったが、私たちのツールは報告していない。
さらに、d3jの結果を、2,582の開発者解決マージ、21のリファクタリング型を含む2,459のマージシナリオと比較した。
これらの実験は、構造マージの強度と現在の限界の両方を明らかにし、明確な正当性基準の重要性を強調した。
提案された基準は、より信頼性が高く原則化されたマージツールを開発するための基盤となることを期待する。
関連論文リスト
- A Universal Textual Merge Strategy Based on Tokens for Version Control Systems [0.0]
マージはGitのようなバージョン管理システムの中核的な操作であるが、従来のラインベースのアルゴリズムは、しばしば急激な衝突を引き起こす。
文書形式に依存しない新しいトークンベースのマージアルゴリズムであるSummerを提示する。
論文 参考訳（メタデータ） (2026-04-15T12:48:01Z) - A Large Scale Empirical Analysis on the Adherence Gap between Standards and Tools in SBOM [54.38424417079265]
ソフトウェア・ビル・オブ・マテリアル(Software Bill of Materials, SBOM)は、ソフトウェア情報を整理する機械読み取り可能なアーティファクトである。
標準に従って、組織はSBOMの生成と利用のためのツールを開発した。
本稿では,我々の自動評価フレームワークであるSAPを用いて,接着ギャップの大規模2段階解析を行った。
論文 参考訳（メタデータ） (2026-01-09T08:26:05Z) - ToolLibGen: Scalable Automatic Tool Creation and Aggregation for LLM Reasoning [80.10274552177096]
外部ツールを備えたLarge Language Models (LLM) は、複雑な推論タスクにおけるパフォーマンスの向上を実証している。
このツールに強化された推論が広く採用されるのは、ドメイン固有のツールが不足しているためである。
構造化ツールライブラリに非構造化ツールのコレクションを自動的に組み込むための体系的なアプローチを提案する。
論文 参考訳（メタデータ） (2025-10-09T04:11:16Z) - LastMerge: A language-agnostic structured tool for code integration [1.201626478128059]
細いインタフェースで構成できる汎用的な構造化マージツールであるLastMergeを提案する。
2つのJava固有のツールであるjDimeとSpark、そしてそれらの一般的なツールであるLastMergeとMergirafです。
以上の結果から,ジェネリック構造化マージがマージ精度に有意な影響を及ぼす証拠は得られなかった。
論文 参考訳（メタデータ） (2025-07-25T21:46:10Z) - LLM-Driven Collaborative Model for Untangling Commits via Explicit and Implicit Dependency Reasoning [15.20947984949809]
コミット回避のための新しいコラボレーティブコンサルテーションフレームワークであるColaUntangleを提案する。
ColaUntangleは、LLM(Large Language Model)駆動エージェントをマルチエージェントアーキテクチャに統合する。
広く使われている2つのデータセット(1,612 C#と14k Java tangledコミット)上でColaUntangleを評価する。
論文 参考訳（メタデータ） (2025-07-22T09:42:13Z) - CORG: Generating Answers from Complex, Interrelated Contexts [57.213304718157985]
現実世界のコーパスでは、知識は文書間で頻繁に再帰するが、曖昧な命名、時代遅れの情報、エラーのためにしばしば矛盾を含む。
以前の研究では、言語モデルはこれらの複雑さに苦しむことが示されており、典型的には孤立した単一要因に焦点を当てている。
複数のコンテキストを個別に処理されたグループに整理するフレームワークであるContext Organizer (CORG)を紹介する。
論文 参考訳（メタデータ） (2025-04-25T02:40:48Z) - EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking [58.15568681219339]
大規模言語モデル(LLM)を評価するための新しいベンチマークであるEquiBenchを紹介する。
このタスクは、プログラムのセマンティクスについて推論するモデルの能力を直接テストする。
19の最先端LCMを評価し、最も難しいカテゴリでは、最高の精度は63.8%と76.2%であり、50%のランダムベースラインよりわずかに高い。
論文 参考訳（メタデータ） (2025-02-18T02:54:25Z) - Evaluation of Version Control Merge Tools [3.1969855247377836]
Gitのようなバージョン管理システムでは、異なる開発者やブランチからの変更を統合する方法が必要になる。
マージツールは変更のクリーンな統合を出力するか、手作業による解決のためにコンフリクトを出力する。
新しいマージツールが提案されているが、まだ互いに評価されていない。
論文 参考訳（メタデータ） (2024-10-13T17:35:14Z) - Do code refactorings influence the merge effort? [80.1936417993664]
複数のコントリビュータがソースコードを並行して変更して,新機能の実装やバグの修正,既存のコードの変更などを行っている。
これらの同時変更は、ソースコードの同じバージョンにマージする必要がある。
研究によると、すべてのマージの試みの10～20%が衝突を起こしており、これはプロセスを完了するために手動開発者の介入を必要とする。
論文 参考訳（メタデータ） (2023-05-10T13:24:59Z) - MergeBERT: Program Merge Conflict Resolution via Neural Transformers [11.460182185916704]
マージコンフリクトは、プルリクエストと継続的インテグレーションパイプラインを数時間から数日にわたって停止させる可能性がある。
本稿ではトークンレベルの3方向差分とトランスフォーマーモデルに基づく新しいニューラルプログラムマージフレームワークであるMergeBERTを紹介する。
我々のモデルは,64～69%のマージ分解能合成を達成し,既存の構造化およびニューラルプログラムマージツールよりも約2倍の性能向上を実現した。
論文 参考訳（メタデータ） (2021-08-31T21:37:53Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。