論文の概要: 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つを見出した。
情報フローは干渉を推定するために用いられるが、理想的には偽陽性の数を削減すべきである。
関連論文リスト
- 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) - A Closer Look at the Intervention Procedure of Concept Bottleneck Models [18.222350428973343]
概念ボトルネックモデル(コンセプションボトルネックモデル、CBM)は、その高レベルな概念に基づいて与えられた入力のターゲット応答を予測する、解釈可能なニューラルネットワークモデルのクラスである。
CBMは、ドメインの専門家が予測された概念に介入し、テスト時に間違いを修正できるので、最後にもっと正確なタスク予測ができる。
本研究では,介入効果を向上させるために介入概念を選択する様々な方法を開発し,異なる状況下でどのように進化するかを詳細に分析する。
論文 参考訳(メタデータ) (2023-02-28T02:37:24Z) - Generic Temporal Reasoning with Differential Analysis and Explanation [61.96034987217583]
時間差分解析でギャップを埋めるTODAYという新しいタスクを導入する。
TODAYは、システムがインクリメンタルな変化の効果を正しく理解できるかどうかを評価する。
共同学習においてTODAYの指導スタイルと説明アノテーションが有効であることを示す。
論文 参考訳(メタデータ) (2022-12-20T17:40:03Z) - FineDiving: A Fine-grained Dataset for Procedure-aware Action Quality
Assessment [93.09267863425492]
競争力のあるスポーツビデオにおける行動の高レベル意味論と内部時間構造の両方を理解することが、予測を正確かつ解釈可能なものにする鍵である、と我々は主張する。
本研究では,多様なダイビングイベントに対して,アクションプロシージャに関する詳細なアノテーションを付加した,ファインディビングと呼ばれる詳細なデータセットを構築した。
論文 参考訳(メタデータ) (2022-04-07T17:59:32Z) - Domain Knowledge Driven Pseudo Labels for Interpretable Goal-Conditioned
Interactive Trajectory Prediction [29.701029725302586]
目標条件付きフレームワークを用いた共同軌道予測問題について検討する。
本研究では,条件付き変分自動エンコーダ(CVAE)モデルを導入し,異なる相互作用モードを潜在空間に明示的にエンコードする。
KLの消滅を回避する新しい手法を提案し、擬似ラベルを用いた解釈可能な対話型潜在空間を誘導する。
論文 参考訳(メタデータ) (2022-03-28T21:41:21Z) - Can Information Flows Suggest Targets for Interventions in Neural
Circuits? [21.50255963224792]
神経科学および臨床応用により,情報フローの観察的測定が介入を示唆するか否かを実証的に検討した。
我々は、訓練されたニューラルネットワークのエッジ上の真のラベル(精度に責任があり、したがって望ましい)に関する情報の流れを計測する。
保護属性に関する大きな情報の流れを伝達するプルーニングエッジは,出力時のバイアスを大幅に低減することを示す。
論文 参考訳(メタデータ) (2021-11-09T17:59:42Z) - Out of Context: A New Clue for Context Modeling of Aspect-based
Sentiment Analysis [54.735400754548635]
ABSAは、与えられた側面に関してレビューで表現された感情を予測することを目的としている。
与えられたアスペクトは、コンテキストモデリングプロセスにおけるコンテキストからの新たなヒントと見なされるべきである。
異なるバックボーンに基づいて複数のアスペクト認識コンテキストエンコーダを設計する。
論文 参考訳(メタデータ) (2021-06-21T02:26:03Z) - Uncertainty as a Form of Transparency: Measuring, Communicating, and
Using Uncertainty [66.17147341354577]
我々は,モデル予測に関連する不確実性を推定し,伝達することにより,相補的な透明性の形式を考えることについて議論する。
モデルの不公平性を緩和し、意思決定を強化し、信頼できるシステムを構築するために不確実性がどのように使われるかを説明する。
この研究は、機械学習、可視化/HCI、デザイン、意思決定、公平性にまたがる文学から引き出された学際的レビューを構成する。
論文 参考訳(メタデータ) (2020-11-15T17:26:14Z) - Interpretable Multi-dataset Evaluation for Named Entity Recognition [110.64368106131062]
本稿では,名前付きエンティティ認識(NER)タスクに対する一般的な評価手法を提案する。
提案手法は,モデルとデータセットの違いと,それらの間の相互作用を解釈することを可能にする。
分析ツールを利用可能にすることで、将来の研究者が同様の分析を実行し、この分野の進歩を促進することができる。
論文 参考訳(メタデータ) (2020-11-13T10:53:27Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。