講演抄録/キーワード |
講演名 |
2013-03-06 17:40
データ依存の伝播確率に基づく欠陥箇所特定支援 ○村松沙那恵(名大)・小林隆志(東工大/名大)・渥美紀寿(名大)・阿草清滋(京大) MSS2012-71 SS2012-71 |
抄録 |
(和) |
デバッグ作業において,欠陥箇所を特定することは時間や労力のかかる作業である.本研究では多段階のデータ依存性を考慮した欠陥箇所特定手法を提案する.既存研究のパス識別性能に限界がある点に着目し,ステートメント間のデータ依存を推移的に伝播させることによって,パスを識別能力を向上させる.提案手法では,変数の定義・更新や参照を記録した実行トレースから各ステートメントのデータ依存を取得する.成功実行を基に各データ依存伝播の発生確率を計算し,失敗実行におけるデータ依存伝播と比較をすることにより,成功実行では発生する確率の少ないステートメントを欠陥箇所の候補を提示する.データ依存の伝播確率を用いることにより,従来の手法では特定できない欠陥が識別できることをケーススタディを通して示す. |
(英) |
One of the most tedious and time-consuming tasks of debugging is fault localization (FL), which is locating root cause of failure. In this paper, we propose a novel FL technique based on propagation probability of data dependency. We focus on the limitations of path identification in existence FL approaches. Our technique improve a capability to localize faults by propagating data dependencies among the statements transitively. We analyze data dependencies of each statement
from execution traces that include events of variables definition, updating and reference. We compute a probability of each data dependency propagation from passed runs. By comparing the propagation probability of a failed run, we rank the statements as suspicious statements. The result of a case study shows, the use of propagation probability can improve on existing FL techniques. |
キーワード |
(和) |
デバッグ / 欠陥箇所特定 / プログラム解析 / / / / / |
(英) |
Debugging / Fault Localization / Program Analysis / / / / / |
文献情報 |
信学技報, vol. 112, no. 458, SS2012-71, pp. 69-74, 2013年3月. |
資料番号 |
SS2012-71 |
発行日 |
2013-02-27 (MSS, SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
MSS2012-71 SS2012-71 |