文献

J-GLOBAL ID：202002223068040487   整理番号：20A2075171

自動データレースバッグの追加【JST・京大機械翻訳】

Automated data race bugs addition

著者 (3件)： Liang Hongliang (Beijing University of Posts and Telecommunications) ,  Li Mingyue (Beijing University of Posts and Telecommunications) ,  Wang Jianli (China Information Technology Security Evaluation Center)
資料名： ACM Proceedings  (ACM Proceedings)
号： EuroSec ’20  ページ： 37-42  発行年： 2020年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 同時性バグ検出技法が直面する課題は,地上-トルースコーパスの欠如,すなわち,多くの真の同時性バグであり,これらの技術およびツールを評価,検証すること,例えば,それらの偽陰性および偽陽性率を正確に測定することが困難である。本論文では,プログラムソースコードに多くの現実的データレースバグを自動かつ迅速に注入することにより,地上-トラスコーパスを生成するための新しい動的デバッギングベース技法であるDRInjectを提案した。各データレースバグは,2つの同時性スレッドにおけるグローバル変数に修正コードを注入することによって保証される。これらのバグは,それらがプログラムで深く埋め込まれ,実際の入力によってトリガされるので現実的である。600以上のデータレースバグを10のベンチマークまたは実世界プログラムに注入し,水-nquared,X264およびlibvipsを含む。さらに,生成されたバグギプログラムを用いて4つのデータレース検出器を評価し,これらのツールに対して多くの改善空間があることを見出した。予備実験は,DRInjectが大規模プログラムでデータレースバグを注入し,偽陰性と偽陽性率のような基本的量で検出ツールを評価し,同時性ソフトウェアの将来の研究のために大きなバグコーパスを生成する基礎を形成することを示した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 同時性 ,  デバッギング ,  検出法 ,  ソフトウェア ,  検出器 ,  *ソフトウェア障害 ,  ベンチマーク ,  コーパス ,  スレッド
準シソーラス用語： 予備実験 ,  ソースコード ,  偽陰性 , 【Automatic Indexing@JST】

著者キーワード (4件)： バッグの追加 ,  データレース ,  デバッグ ,  静的解析

分類 (1件)： 計算機システム開発  (JD02010R)