論文の概要: Methodological Harness in Agentic Software Engineering: An Empirical Study on Mining Software Repositories
- arxiv url: http://arxiv.org/abs/2609.32014v1
- Date: Fri, 25 Sep 2026 21:20:45 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-08 03:51:19.607502
- Title: Methodological Harness in Agentic Software Engineering: An Empirical Study on Mining Software Repositories
- Title（参考訳）: エージェントソフトウェア工学における方法論的調和--マイニングソフトウェアリポジトリの実証的研究
- Abstract要約: 本研究を動機とするフレームワークは,8つのメカニズムを持つ方法論的ハーネスを提案する。
これらはルールやコンテキストファイル、仕様、アーキテクチャ上の決定記録などのアーティファクトを通じて実現される。
エージェントアクティビティを持つリポジトリで、このハーネスがどのように観測可能かを分析します。
- 参考スコア（独自算出の注目度）: 1.9653875502109692
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Context. Agentic software engineering requires mechanisms to coordinate and govern agents' work. The framework motivating this study proposes a methodological harness with eight mechanisms: context engineering, persistent shared knowledge, executable specifications, N-version mindset and parallel agents, normative specifications, structured consultation, evidence-based acceptance, and graduated autonomy. These are realized through artifacts such as rule or context files, specifications, and architectural decision records, but the framework had not been empirically validated at repository scale. Objective. We analyze to what extent and how this harness is observable in repositories with agentic activity. RQ1 characterizes adoption through artifact prevalence, breadth, co-occurrence, and temporal evolution; RQ2 examines rule files - a key observable artifact and persistent source of agent instructions - to assess how their content reflects the proposed mechanisms. Method. From the AIDev dataset of 116,211 GitHub repositories, we analyzed 5,435 using a design stratified by visibility, measured through stars as an indicator of popularity and/or reputation. For RQ1, we detected and quantified artifacts and introduction dates for the seven observable mechanisms. For RQ2, we qualitatively coded rule files from 150 repositories. Results. Population prevalence of at least one mechanism is 21.7%, versus 65.3% among the most visible repositories. Multi-mechanism configurations are rare. Where rule files exist, they almost always guide the agent and state norms, while persistent shared knowledge, executable specifications, structured consultation, and graduated autonomy appear only in a minority. Conclusions. The harness is empirically observable, but mainly through isolated mechanisms rather than the integrated system proposed by the framework.
- Abstract（参考訳）: コンテキスト。
エージェントソフトウェアエンジニアリングはエージェントの作業の調整と管理を行うメカニズムを必要とする。
本研究を動機とするフレームワークは,コンテキストエンジニアリング,永続的共有知識,実行可能仕様,Nバージョンマインドセットと並列エージェント,規範的仕様,構造化コンサルティング,エビデンスに基づく受け入れ,漸進的自律性という8つのメカニズムを備えた方法論的ハーネスを提案する。
これらはルールやコンテキストファイル、仕様、アーキテクチャ上の決定記録といったアーティファクトを通じて実現されているが、このフレームワークはリポジトリの規模で実証的に検証されていない。
目的。
エージェントアクティビティを持つリポジトリで、このハーネスがどのように観測可能かを分析します。
RQ1はアーティファクトの有病率、広さ、共起、時間的進化を通じて採用を特徴付け、RQ2はルールファイル(重要な観測可能なアーティファクトであり、エージェント命令の永続的なソースである)を調べ、それらのコンテンツが提案されたメカニズムをどのように反映しているかを評価する。
方法。
116,211のGitHubリポジトリのAIDevデータセットから、人気と評判の指標として星を通して測定された可視性によって階層化された設計を用いて、5,435を解析した。
RQ1では,観測可能な7つのメカニズムのアーティファクトと導入日を検出し,定量化した。
RQ2では、150のリポジトリからルールファイルを質的にコードしました。
結果。
少なくとも1つのメカニズムの個体数は21.7%であり、最も目に見えるレポジトリの中で65.3%である。
マルチメカニズム構成はまれである。
ルールファイルが存在する場合、エージェントとステートの規範をほとんど常にガイドしますが、永続的な共有知識、実行可能な仕様、構造化されたコンサルティング、そして卒業した自主性は少数派にしか見えません。
結論。
ハーネスは経験的に観測可能であるが、主にフレームワークによって提案された統合システムではなく、分離されたメカニズムによって構成される。
関連論文リスト
- Authoring Agent Skills: A Software-Engineering Approach [1.3774017060585184]
Agent Skillsは、エージェントが要求に応じてロードする再利用可能な手続き的知識を備えた、大規模な言語モデルエージェントを拡張する新しい方法である。
AnthropicはAgens Skillsを導入し、いくつかのエージェントツールでサポートされているオープン仕様としてフォーマットを公開した。
このメモは、スキルはソフトウェアアーチファクトであり、その構築はソフトウェアエンジニアリングの原則に従うべきであると主張している。
論文 参考訳（メタデータ） (2026-07-27T19:43:41Z) - Towards Diverse and Comprehensive Benchmarks for Mutual Information Estimation [47.29900218955283]
相互情報推定は、機械学習と統計学における中心的な問題である。
既存のベンチマークでは、単純化された低次元分布上の推定器を評価し、複雑な現実的なデータに対する性能はほとんど探索されていない。
我々はこのギャップを、統一されたコプラ理論の観点から、包括的なベンチマークフレームワークで解決する。
論文 参考訳（メタデータ） (2026-07-03T16:55:55Z) - From Prompt to Process: a Process Taxonomy and Comparative Assessment of Frameworks Supporting AI Software Development Agents [0.0]
AI機能をプロセスに変換する運用フレームワークに重点を置いています。
仕様駆動による完全な軽量な開発、エージェント駆動のアジャイル計画、エージェント上のコンテキストエンジニアリング、ワークツリーの分離とレビュー、レガシーシステムからの運用仕様の回復。
私たちの中心的な貢献は、仕様、コンテキスト、役割、実行、バリデーション、ポータビリティという6次元プロセスの分類です。
論文 参考訳（メタデータ） (2026-06-03T14:49:15Z) - Code2UML: Agentic LLMs with context engineering for scalable software visualization [7.069738194755401]
本稿では,ソースコードリポジトリからの自動ダイアグラム生成のためのコンテキストエンジニアリングを備えたエージェントアーキテクチャを提案する。
PlannerAgent、Analyzer DiagramAgent、CorrectorAgent、DependencyAnalyzerAgentの5つの特別なエージェントの階層を採用しており、Claude Agent SDK上に構築されている。
決定論的で重み付けされたIR圧縮層は、完全なプロジェクトIRをトークン制約に適合するように保証されたダイアグラム固有のビューに変換する。
論文 参考訳（メタデータ） (2026-05-23T08:01:26Z) - Code as Agent Harness [107.31925305395957]
新興のエージェントシステムでは、コードはもはや単なる目標出力ではない。
コードはエージェントの推論、行動、環境モデリング、実行ベースの検証のための運用上の基盤としてますます役立っている。
この調査は、実行可能、検証可能、ステートフルなAIエージェントシステムに向けた統一されたロードマップを提供する。
論文 参考訳（メタデータ） (2026-05-18T17:59:03Z) - Reversa: A Reverse Documentation Engineering Framework for Converting Legacy Software into Operational Specifications for AI Agents [0.0]
本稿では,レガシソフトウェアをAIエージェントのトレーサブルな運用仕様に変換するためのリバースドキュメンテーションエンジニアリングフレームワークであるReversaを紹介する。
特殊なエージェントは、プロジェクト表面をマッピングし、モジュールを分析し、暗黙のルールを抽出し、アーキテクチャを合成し、ユニットレベルの仕様を書き、生成されたクレームをレビューする。
提案では,コードと仕様間のトレーサビリティ,明確な信頼性マーキング,人間の検証のためのギャップの保存という,3つのメカニズムを強調している。
論文 参考訳（メタデータ） (2026-05-18T17:23:13Z) - Iterative Audit Convergence in LLM-Managed Multi-Agent Systems: A Case Study in Prompt Engineering Quality Assurance [0.0]
AEGISに適用されたエージェント駆動型監査の単一システム事例研究を報告する。
本報告では, 明示的な符号規則, 非単調な収束, 監査スコープの拡がりを含む7カテゴリーの欠陥分類を報告する。
論文 参考訳（メタデータ） (2026-05-12T15:39:04Z) - OctoBench: Benchmarking Scaffold-Aware Instruction Following in Repository-Grounded Agentic Coding [57.39403818250357]
ここでは,レポジトリベースエージェントコーディングにおける足場認識命令のベンチマークを行うOctoBenchを紹介する。
OctoBenchは34の環境と217のタスクを3つの足場タイプでインスタンス化し、7,098の客観的チェックリストアイテムとペアリングする。
実験により、タスク解決と足場対応の体系的なギャップが明らかになり、トレーニングと評価の必要性が強調される。
論文 参考訳（メタデータ） (2026-01-15T12:36:08Z) - Object-Centric Conformance Alignments with Synchronization (Extended Version) [57.76661079749309]
対象中心のペトリネットが一対多の関係を捉える能力と,その同一性に基づいたオブジェクトの比較と同期を行う識別子を持つペトリネットの能力を組み合わせた,新たな形式主義を提案する。
我々は、満足度変調理論(SMT)の符号化に基づく、そのようなネットに対する適合性チェック手法を提案する。
論文 参考訳（メタデータ） (2023-12-13T21:53:32Z) - Multi-Agent Reinforcement Learning with Temporal Logic Specifications [65.79056365594654]
本研究では,時間論理仕様を満たすための学習課題を,未知の環境下でエージェントのグループで検討する。
我々は、時間論理仕様のための最初のマルチエージェント強化学習手法を開発した。
主アルゴリズムの正確性と収束性を保証する。
論文 参考訳（メタデータ） (2021-02-01T01:13:03Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。