データ依存の伝播確率に基づく欠陥箇所特定支援
スポンサーリンク
概要
- 論文の詳細を見る
デバッグ作業において,欠陥箇所を特定することは時間や労力のかかる作業である.本研究では多段階のデータ依存性を考慮した欠陥箇所特定手法を提案する.既存研究のパス識別性能に限界がある点に着目し,ステートメント間のデータ依存を推移的に伝播させることによって,パスの識別能力を向上させる.提案手法では,変数の定義・更新や参照を記録した実行トレースから各ステートメントのデータ依存を取得する.成功実行を基に各データ依存伝播の発生確率を計算し,失敗実行におけるデータ依存伝播と比較をすることにより,成功実行では発生する確率の少ないステートメントを欠陥箇所の候補を提示する.データ依存の伝播確率を用いることにより,従来の手法では特定できない欠陥が識別できることをケーススタディを通して示す.
- 一般社団法人電子情報通信学会の論文
- 2013-02-27
著者
-
Agusa Kiyoshi
Graduate School of Information Science, Nagoya University
-
渥美 紀寿
南山大学情報理工学部
-
阿草 清滋
名古屋大学工学部電気工学第二
-
小林 隆志
名古屋大学
-
渥美 紀寿
名古屋大学大学院情報科学研究科
-
阿草 清滋
名古屋大学情報科学研究科
-
阿草 清滋
京都大学学術情報メディアセンター
-
村松 沙那恵
名古屋大学大学院情報科学研究科
-
渥美 紀寿
名古屋大学 大学院 情報科学研究科
関連論文
- 自動車制御システムのエラーモデル記述による安全性分析手法(安全性及び一般)
- ウインターワークショップ2008・イン・道後開催報告
- 4. ソフトウェアエンジニアリング領域(J07-SE)(情報専門学科カリキュラム標準J07)
- BoFセッション「クラウドって正直どう?」実施報告(BoFセッション)
- Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes
- Recognizability of Redexes for Higher-Order Rewrite Systems
- Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証
- データマイニング技術を応用したソフトウェア構築・保守支援の研究動向
- ユースケース記述に対するフレームワーク利用法の導出(アーキテクチャ・フレームワーク(学生セッション))
- ソフトウェアパターン研究の発展経緯と最近の動向(ソフトウェア工学の動向報告)
- On the Job Learning : 産学連携による新しいソフトウェア工学教育手法
- 高精度なデータ依存解析に基づくシーケンス図スライシング手法(モデリング(学生セッション))
- ソフトウェア理解支援のための多粒度ソフトウェアマップ(インタフェース・ナビゲーション(学生セッション))
- 静的解析と動的解析を用いたデザインパターン検出手法
- UMLで記述したモデルの構成管理支援法(要求工学)
- デザインパターンのオブジェクト指向モデル化と支援ツールへの応用(ソフトウェアシステム)
- デザインパターンのオブジェクト指向モデル化と支援ツールへの応用
- フレームワークの要求仕様に対する適合性の評価手法
- グラフ変換を用いたUMLモデルのリファクタリング支援
- ベイジアンネットワークを用いたソフトウェア実装技術の選択支援
- 知識基盤社会を支える情報技術論文特集の発行にあたって
- StrutsLint : Web アプリケーションコーディングチェッカ
- 7.高信頼WebWare生成技術 : WebWareのテスト・解析・作成支援(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 要求定義支援のための要求適合度を用いた事例検索(要求工学(学生セッション))
- ファイル検索におけるアクセスログから抽出した関連度の利用(夏のデータベースワークショップ2007(データ工学,一般))
- ファイル検索におけるアクセスログから抽出した関連度の利用(情報抽出,夏のデータベースワークショップ2007(データ工学,一般))
- ウインターワークショップ2008・イン・道後開催報告
- 制御ソフトウェアの固定小数点演算化ツールの設計と実装
- 飛行船制御を題材としたプロジェクト型ソフトウェア開発実習
- ウインターワークショップ2009・イン・宮崎開催報告
- ウインターワークショップ2009・イン・宮崎開催報告
- ウインターワークショップ2009・イン・宮崎開催報告
- 4M-4 細粒度マークアップに基づくカスタマイズ可能なコーディング規約検査器(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
- メタ情報とコンテキスト情報を用いた入力補完機能とXPath入力への応用
- デ-25 CX-Checker : 柔軟なカスタマイズが可能なC言語コーディングルールチェッカー(デモセッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- バリエーション並行開発のための版管理ツールと統合開発環境
- 5ZK-9 キーワード非含有ファイルを検索可能とするファイル間関連度を用いた検索手法(情報爆発時代におけるマルチメディアデータと位置依存情報処理,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- イディオム検索のための関数呼出依存グラフのクラスタリング手法(ソフトウェア工学)
- XML記述によるソフトウェアリポジトリを用いたコード検索(開発支援環境)
- FCDGに基づいたコーディングパターン
- セッション型に基づく高信頼ネットワークプログラムの関数型言語による実装手法
- DEPSプロファイルの評価法とそれを利用したチェックポイント選定 (ディペンダブルコンピューティング)
- DEPSプロファイルの評価法とそれを利用したチェックポイント選定 (コンピュータシステム)
- ベイジアンネットワークを用いた実装プラットフォームの選択支援
- 第15回アジア太平洋ソフトウェア工学国際会議(APSEC 2008)参加報告
- UMLで記述したモデルの構成管理支援法(要求工学)
- フレームワークの要求仕様に対する適合性の評価手法
- "正しい"ソフトウェアの開発を
- 上流 CASE とソフトウェア開発の効率化
- DEPSプロファイルの評価法とそれを利用したチェックポイント選定
- DEPSプロファイルの評価法とそれを利用したチェックポイント選定
- メタパターン適用情報に基づくオブジェクトの協調動作履歴可視化ツール
- 例外処理を持つ関数型プログラムの停止性・非停止性証明法
- OJL:産学連携による新しい人材育成の試み (特集 高度IT人材育成の軌跡--ITトップガン構想から先導的ITスペシャリスト育成まで)
- Web オートマトン: MVC モデルに基づくWebアプリケーションの動作モデル
- 変更支援のための成果物アクセス履歴マイニング
- DEPSフレームワークにおける最悪実行時間と平均消費エネルギーのタスク内解析手法(プロセッサ設計,システムオンシリコンを支える設計技術)
- 責務記述に基づくクラスの責務割り当て支援
- 産業技術系専門職大学院の認証評価--大学評価制度はどうあるべきか? (ぺた語義(第7回))
- Preliminary Assessment of Software Metrics based on Coding Standards Violations
- CX-Checker:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ
- 高度IT資格制度座談会 (特集 高度IT資格制度)
- ウィンターワークショップ2012・イン・琵琶湖開催報告
- IT好き放題:面白さは突然に
- Reticella : An Execution Trace Slicing and Visualization Tool Based on a Behavior Model
- ベイジアンネットワークを用いたソフトウェア実装技術の選択支援 (特集 未来志向のソフトウェア工学)
- 実行トレース解析のためのデザインパターンに基づくオブジェクトグルーピング
- サブシステム境界情報に着目したSimulinkモデルの構造評価手法(学生及び若手(パラレルセッション:実装))
- サブシステム境界情報に着目したSimulinkモデルの構造評価手法(学生及び若手(パラレルセッション:実装))
- A Session Type System with Subject Reduction
- ウィンターワークショップ2012・イン・琵琶湖開催報告(報告,ソフトウェアサイエンス、理論)
- ソフトウェア開発支援基盤のためのソースプログラムのXML表現(ソフトウェア工学,ソフトウェア基礎・応用論文)
- データ依存の伝播確率に基づく欠陥箇所特定支援
- コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて
- プリプロセス命令の制御構造を利用したフィーチャ間の依存性解析(プログラム解析と開発支援)
- コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて
- 成果物アクセスの時間的局所性を考慮した変更コンテキストモデル
- データ依存の伝播確率に基づく欠陥箇所特定支援
- 成果物アクセスの時間的局所性を考慮した変更コンテキストモデル
- 実行トレース解析のためのデザインパターンに基づくオブジェクトグルーピング