ソフトウェア部品間のデータ授受関係解析に基づく部品接続誤りの自動検出

• 研究課題/領域番号: 21700030
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: ソフトウエア
• 研究機関: 大阪大学
• 研究代表者: 石尾 隆 大阪大学, 大学院・情報科学研究科, 助教 (60452413)
• 研究期間 (年度): 2009 – 2010
• 研究課題ステータス: 完了 (2010年度)
• 配分額: 3,900千円 (直接経費: 3,000千円、間接経費: 900千円); 2010年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円); 2009年度: 2,210千円 (直接経費: 1,700千円、間接経費: 510千円)
• キーワード: プログラム解析 / データフロー解析 / プログラムスライシング / 静的解析 / プログラム理解 / 開発環境 / Java / 欠陥検出 / オブジェクト指向

研究概要

本研究では,ソフトウェア部品の間でやり取りされているデータの流れを抽出する新しいアルゴリズムを構築した.既存手法は計算に長い時間がかかることが知られていたが,本研究では,ソフトウェアの動作を一部近似して計算する方式によって,高速な計算を実現した.構築した手法を用いて,複数のソフトウェアに対する適用実験を行った結果,ソフトウェア部品の典型的な接続情報を抽出できること,プログラムの調査に有効であることを確認した.

研究成果

• [雑誌論文] 協調動作するオブジェクト群の変化に基づく実行履歴の自動分割 (2010)
  • 著者名/発表者名: 渡邊結, 石尾隆, 井上克郎
  • 雑誌名: 情報処理学会論文誌 Vol.51, No.12 ページ: 2273-2286
  • NAID: 120005478143
  • 査読あり
• [雑誌論文] 協調動作するオブジェクト群の変化に基づく実行履歴の自動分割 (2010)
  • 著者名/発表者名: 渡邊結, 石尾隆, 井上克郎
  • 雑誌名: 情報処理学会論文誌 巻: Vol.51, No.12 ページ: 2273-2286
  • NAID: 120005478143
  • 査読あり
• [雑誌論文] 複数のソフトウェアを横断した利用関係に基づくユーティリティクラスの自動検出 (2009)
  • 著者名/発表者名: 市井誠, 石尾隆, 井上克
  • 雑誌名: 情報処理学会論文誌 Vol.50, No.10 ページ: 2514-2519
  • NAID: 120005478103
  • 査読あり
• [雑誌論文] 複数のソフトウェアを横断した利用関係に基づくユーティリティクラスの自動検出 (2009)
  • 著者名/発表者名: 市井誠
  • 雑誌名: 情報処理学会論文誌 Vol.50, No.10 ページ: 2514-2519
  • 査読あり
• [学会発表] 変数間データフローグラフを用いたソースコード間の移動支援 (2011)
  • 著者名/発表者名: 悦田翔梧, 石尾隆, 井上克郎
  • 学会等名: 第171回ソフトウェア工学研究発表会
  • 発表場所: 化学会館
  • 年月日: 2011-03-14
• [学会発表] A lightweight dataflow analysis to support source code reading. (2011)
  • 著者名/発表者名: Takashi Ishio
  • 学会等名: 12th CREST Open Workshop
  • 発表場所: King's College London (イギリス)
  • 年月日: 2011-01-24
• [学会発表] Alightweight dataflow analysis to support source code reading (2011)
  • 著者名/発表者名: 石尾隆
  • 学会等名: 12th CREST Open Workshop
  • 発表場所: ロンドン(イギリス)
  • 年月日: 2011-01-24
• [学会発表] オブジェクト生成関係抽出ツールROBIN (2010)
  • 著者名/発表者名: 中野佑紀, 伊達浩典, 渡邊結, 石尾隆, 井上克郎
  • 学会等名: 第17回ソフトウェア工学の基礎ワークショップ
  • 発表場所: 新潟県南魚沼郡
  • 年月日: 2010-11-18
• [学会発表] コード片に共通した特性を自動抽出するソースコード閲覧ツールの試作 (2010)
  • 著者名/発表者名: 石尾隆, 井上克郎
  • 学会等名: 第170回ソフトウェア工学研究発表会
  • 発表場所: 大阪大学
  • 年月日: 2010-11-12
• [学会発表] コード片に共通した特性を自動抽出するソースコード閲覧ツールの試作 (2010)
  • 著者名/発表者名: 石尾隆
  • 学会等名: 第170回ソフトウェア工学研究発表会
  • 発表場所: 大阪大学吹田キャンパス
  • 年月日: 2010-11-12
• [学会発表] ソフトウェア部品利用例抽出のためのデータフロー解析手法の提案と評価 (2010)
  • 著者名/発表者名: 柳慶吾, 石尾隆, 井上克郎
  • 学会等名: 第167回ソフトウェア工学研究発表会
  • 発表場所: 国立情報学研究所
  • 年月日: 2010-03-19
• [学会発表] クラス動作シナリオ可視化手法のプログラム理解作業に対する有効性評価 (2010)
  • 著者名/発表者名: 宗像聡, 石尾隆, 井上克郎
  • 学会等名: 第167回ソフトウェア工学研究発表会
  • 発表場所: 国立情報学研究所.情報処理学会ソフトウェア工学研究会CS領域章受賞
  • 年月日: 2010-03-18
• [学会発表] プログラムの変更前後での実行履歴の差分検出手法 (2010)
  • 著者名/発表者名: 伊藤芳朗
  • 学会等名: 第167回ソフトウェア工学研究発表会
  • 発表場所: 国立情報学研究所
  • 年月日: 2010-03-18
• [学会発表] クラス動作シナリオ可視化手法のプログラム理解作業に対する有効性評価 (2010)
  • 著者名/発表者名: 宗像聡
  • 学会等名: 第167回ソフトウェア工学研究発表会
  • 発表場所: 国立情報学研究所
  • 年月日: 2010-03-18
• [学会発表] オブジェクト生成の観測に基づくプログラム実行の要約の抽出 (2010)
  • 著者名/発表者名: 中野佑紀
  • 学会等名: 第72回情報処理学会全国大会
  • 発表場所: 東京大学本郷キャンパス
  • 年月日: 2010-03-11
• [学会発表] コーディングパターンとキーワードを用いて生成したコードスニペットの推薦 (2010)
  • 著者名/発表者名: 関山太朗
  • 学会等名: 第72回情報処理学会全国大会
  • 発表場所: 東京大学本郷キャンパス
  • 年月日: 2010-03-09
• [学会発表] オープンソースソフトウェアに対するコーディングパターン分析の適用 (2009)
  • 著者名/発表者名: 伊達浩典, 石尾隆, 井上克郎
  • 学会等名: ソフトウェアエンジニアリングシンポジウム2009
  • 発表場所: 東京女子大学
  • 年月日: 2009-09-09