論文の概要: Using Information Flow to estimate interference between developers same method contributions
- arxiv url: http://arxiv.org/abs/2404.08619v1
- Date: Fri, 12 Apr 2024 17:29:22 GMT
- ステータス: 処理完了
- システム内更新日: 2024-04-15 14:18:01.748694
- Title: Using Information Flow to estimate interference between developers same method contributions
- Title(参考訳): インフォメーションフローを使って開発者間の干渉を見積もる
- Authors: Roberto Souto Maior de Barros Filho, Paulo Borba,
- Abstract要約: この研究は、統合シナリオにおける動的セマンティックコンフリクトの存在を示すために、情報フロー制御(IFC)が使えるかどうかを理解することを目的としている。
GoguenとMeseguerの干渉の概念のコードレベル適応を検知しようと試みる。
我々は、干渉を推定するために情報の流れが用いられるかどうかを理解するために評価を行う。
- 参考スコア(独自算出の注目度): 1.3505077405741583
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: This work's main goal is to understand if Information Flow Control (IFC), a security technique used for discovering leaks in software, could be used to indicate the presence of dynamic semantic conflicts between developers contributions in merge scenarios. However, as defining if a dynamic semantic conflict exists involves understanding the expected behaviour of a system, and as such behavioural specifications are often hard to capture, formalize and reason about, we instead try to detect a code level adaptation of the notion of interference from Goguen and Meseguer. We limit our scope to interference caused by developers contributions on the same method. Therefore, we conduct an evaluation to understand if information flow may be used to estimate interference. In particular, we use Java Object-sensitive Analysis (JOANA) to do the IFC for Java programs. JOANA does the IFC of Java programs by using a System Dependence Graph (SDG), a directed graph representing the information flow through a program. Additionally, we bring evidence that information flow between developers same-method contributions occurred for around 64% of the scenarios we evaluated. Finally, we conducted a manual analysis, on 35 scenarios with information flow between developers same-method contributions, to understand the limitations of using information flow to estimate interference between same-method contributions. From the 35 analysed scenarios, for only 15 we considered that an interference in fact existed. We found three different major reasons for detecting information flow and no interference: cases related to the nature of changes, to excessive annotation from our strategy and to the conservativeness of the flows identified by JOANA. We conclude that information flow may be used to estimate interference, but, ideally, the number of false positives should be reduced.
- Abstract(参考訳): この作業の主な目的は、ソフトウェアのリークを発見するために使用されるセキュリティ技術であるInformation Flow Control(IFC)が、統合シナリオにおける開発者のコントリビューション間の動的セマンティックコンフリクトの存在を示すために使用できるかどうかを理解することである。
しかしながら、動的セマンティックコンフリクトが存在すると、システムの期待される振る舞いを理解し、そのような振る舞い仕様をキャプチャ、フォーマライズ、そして推論することが難しい場合、私たちは代わりに、GoguenとMeseguerの干渉の概念のコードレベル適応を検知しようとします。
同じメソッドに対する開発者のコントリビューションによって引き起こされる干渉に、スコープを制限します。
そこで我々は,干渉を推定するために情報フローを利用することができるかを理解するために評価を行う。
特に、JavaプログラムのIFCを行うために、Java Object-sensitive Analysis (JOANA)を使用します。
JOANA は System Dependence Graph (SDG) を用いて Java プログラムの IFC を行う。
さらに、評価したシナリオの約64%で、開発者間の情報フローが同じメソッドのコントリビューションで発生した証拠も提供します。
最後に,同メソッドのコントリビューション間の干渉を推定するために情報フローを使用することの限界を理解するために,開発者間の情報フローを用いた35のシナリオを手動で分析した。
35のシナリオから、実際に干渉があったと考えるのはわずか15のケースだけだった。
情報の流れを検知し干渉しない主な理由として, 変化の性質, 戦略からの過剰なアノテーション, JOANAが認識したフローの保守性, の3つを見出した。
情報フローは干渉を推定するために用いられるが、理想的には偽陽性の数を削減すべきである。
関連論文リスト
- InterFormer: Towards Effective Heterogeneous Interaction Learning for Click-Through Rate Prediction [72.50606292994341]
我々はインターリービング方式で異種情報インタラクションを学習するInterFormerという新しいモジュールを提案する。
提案するInterFormerは,3つのパブリックデータセットと大規模産業データセットに対して,最先端のパフォーマンスを実現する。
論文 参考訳(メタデータ) (2024-11-15T00:20:36Z) - AdaCAD: Adaptively Decoding to Balance Conflicts between Contextual and Parametric Knowledge [57.66282463340297]
知識の衝突は、大きな言語モデル(LLM)の文脈における情報と、そのパラメータに格納された知識との相違から生じる。
コンフリクトの度合いに基づいて動的に調整の重みを推定する,AdaCADと呼ばれる細粒度なインスタンスレベルのアプローチを提案する。
論文 参考訳(メタデータ) (2024-09-11T16:35:18Z) - Using LLMs for Explaining Sets of Counterfactual Examples to Final Users [0.0]
自動意思決定シナリオでは、因果推論手法は基礎となるデータ生成プロセスを分析することができる。
カウンターファクトな例では、最小限の要素が変更される仮説的なシナリオを探求する。
本稿では,アクションの自然言語説明を生成するために,反事実を用いた新しい多段階パイプラインを提案する。
論文 参考訳(メタデータ) (2024-08-27T15:13:06Z) - Coarse-to-Fine Proposal Refinement Framework for Audio Temporal Forgery Detection and Localization [60.899082019130766]
本稿では、フレームレベル検出ネットワーク(FDN)と、音声の時間的偽造検出とローカライゼーションのための改良ネットワーク(PRN)を提案する。
FDNは、偽のフレーム間で情報的不整合の手がかりを抽出し、偽の領域を大まかに示すのに有用な識別的特徴を得る。
PRNは、FDNから派生した粗粒度の提案を洗練するために、信頼スコアと回帰オフセットを予測する責任がある。
論文 参考訳(メタデータ) (2024-07-23T15:07:52Z) - On the Identification of Temporally Causal Representation with Instantaneous Dependence [50.14432597910128]
時間的因果表現学習は時系列観測から潜在因果過程を特定することを目的としている。
ほとんどの方法は、潜在因果過程が即時関係を持たないという仮定を必要とする。
我々は,インスタントtextbfOus textbfLatent dynamics のための textbfIDentification フレームワークを提案する。
論文 参考訳(メタデータ) (2024-05-24T08:08:05Z) - An Information-Flow Perspective on Algorithmic Fairness [0.951828574518325]
本研究は,アルゴリズムフェアネスとセキュア情報フローの概念との関係を考察することによって得られた知見を提示する。
フェアネススプレッドと呼ばれる新しい量的公正の概念を導出し、定量的情報フローを用いて容易に分析できる。
論文 参考訳(メタデータ) (2023-12-15T14:46:36Z) - Over-the-Air Federated Learning and Optimization [52.5188988624998]
エッジ・ザ・エア計算(AirComp)によるフェデレーション学習(FL)に焦点を当てる。
本稿では,AirComp ベースの FedAvg (AirFedAvg) アルゴリズムの凸および非凸条件下での収束について述べる。
エッジデバイス(モデル、勾配、モデル差など)で送信できるローカルアップデートの種類によって、AirFedAvgで送信するとアグリゲーションエラーが発生する可能性がある。
さらに、より実用的な信号処理方式を検討し、通信効率を改善し、これらの信号処理方式によって引き起こされるモデル集約誤差の異なる形式に収束解析を拡張する。
論文 参考訳(メタデータ) (2023-10-16T05:49:28Z) - Measuring Rule-based LTLf Process Specifications: A Probabilistic
Data-driven Approach [2.5407767658470726]
宣言的プロセス仕様は、有限トレース上の線形時間論理に基づくルールによってプロセスの振舞いを定義します。
マイニングの文脈では、これらの仕様は情報システムによって記録された複数セットの実行から推論され、チェックされる。
本稿では,イベントログに対する仕様書の満足度を測定する手法を提案する。
論文 参考訳(メタデータ) (2023-05-09T13:07:01Z) - FineDiving: A Fine-grained Dataset for Procedure-aware Action Quality
Assessment [93.09267863425492]
競争力のあるスポーツビデオにおける行動の高レベル意味論と内部時間構造の両方を理解することが、予測を正確かつ解釈可能なものにする鍵である、と我々は主張する。
本研究では,多様なダイビングイベントに対して,アクションプロシージャに関する詳細なアノテーションを付加した,ファインディビングと呼ばれる詳細なデータセットを構築した。
論文 参考訳(メタデータ) (2022-04-07T17:59:32Z) - Can Information Flows Suggest Targets for Interventions in Neural
Circuits? [21.50255963224792]
神経科学および臨床応用により,情報フローの観察的測定が介入を示唆するか否かを実証的に検討した。
我々は、訓練されたニューラルネットワークのエッジ上の真のラベル(精度に責任があり、したがって望ましい)に関する情報の流れを計測する。
保護属性に関する大きな情報の流れを伝達するプルーニングエッジは,出力時のバイアスを大幅に低減することを示す。
論文 参考訳(メタデータ) (2021-11-09T17:59:42Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。