文献

J-GLOBAL ID：201302262047700077   整理番号：13A0787320

データ依存の伝播確率に基づく欠陥箇所特定支援

Propagation Probability of Data Dependency for Fault Localization

著者 (5件)： 村松沙那恵 (名古屋大 大学院情報科学研究科) ,  小林隆志 (東京工大 大学院情報理工学研究科) ,  小林隆志 (名古屋大 大学院情報科学研究科) ,  渥美紀寿 (名古屋大) ,  阿草清滋 (京大 学術情報メディアセ)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 112  号： 457(MSS2012 59-86)  ページ： 69-74  発行年： 2013年02月27日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： デバッグ作業において,欠陥箇所を特定することは時間や労力のかかる作業である。本研究では多段階のデータ依存性を考慮した欠陥箇所特定手法を提案する。既存研究のパス識別性能に限界がある点に着目し,ステートメント間のデータ依存を推移的に伝播させることによって,パスの識別能力を向上させる。提案手法では,変数の定義・更新や参照を記録した実行トレースから各ステートメントのデータ依存を取得する。成功実行を基に各データ依存伝播の発生確率を計算し,失敗実行におけるデータ依存伝播と比較をすることにより,成功実行では発生する確率の少ないステートメントを欠陥箇所の候補を提示する。データ依存の伝播確率を用いることにより,従来の手法では特定できない欠陥が識別できることをケーススタディを通して示す。(著者抄録)

シソーラス用語： *デバッギング ,  *ソフトウェア障害 ,  *専門化 ,  データ ,  依存性 ,  伝搬 ,  確率 ,  プログラム解析 ,  トレース【計算機】 ,  事例研究 ,  プログラム検証 ,  多段階過程
準シソーラス用語： カバレッジ ,  *バグ ,  *特定化

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

タイトルに関連する用語 (4件)： 伝播 ,  確率 ,  欠陥箇所 ,  支援