文献

J-GLOBAL ID：201902234967329189   整理番号：19A0527581

記号解析を用いたマルチスレッドプログラムのデバッグ【JST・京大機械翻訳】

Debugging Multithreaded Programs Using Symbolic Analysis

著者 (1件)： Zhang Xiaodong (Xi’an Jiaotong University, China)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ICST  ページ： 557-558  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 逐次ソフトウェアデバッグ,すなわち,プログラム挙動が固定入力の下で決定論的であるという基本的仮定が,スレッドスケジューリングによってもたらされる非決定性のためにもはや有効でないので,デバッギングマルチスレッドソフトウェアは挑戦的である。この基本的な仮定を復元するために,著者らは,プログラマが,それらが連続しているように,マルチスレッドプログラムをデバッグできるように,プロアクティブなデバッギング法を提案した。著者らのアプローチは,新しい記号解析と動的解析技術の集合の相乗的統合に基づいている。特に,記号解析を用いて,複数のスレッドインタリービングの下でのプログラム挙動を調査し,次に新しいブランチへの動的実行を駆動した。動的解析を用いてこれらの新しいブランチを実行し,さらに記号解析を導いた。このフィードバックループを適用する正味の効果は,固定試験入力の下でのプログラム挙動の系統的で完全な範囲である。Copyright 2019 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： ソフトウェア ,  非決定性 ,  *マルチスレッド ,  インタリービング ,  動的解析 ,  スケジューリング ,  *スレッド ,  プログラマ ,  *デバッギング
準シソーラス用語： フィードバックループ ,  決定論 , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (4件)： 記号 ,  解析 ,  マルチスレッド ,  デバッグ