バイナリレベル軽量データ統合方式による高精度なC言語用CASEツールの構築

2008 年度 研究成果報告書

• 研究課題/領域番号: 17500019
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 東京工業大学
• 研究代表者: 権藤 克彦 東京工業大学, 大学院・情報理工学研究科, 准教授 (50262283)
• 研究期間 (年度): 2005 – 2008
• キーワード: CASE ツール / XML / ANSI C / バイナリレベル / データ統合

研究概要

現代社会を支える基盤ソフトウェアの障害を少なくする新しい手法として, 本研究ではバイナリレベル軽量データ統合という方式を提案した.デバッグ情報DWARF2などバイナリ中のデータを解析した結果をXML形式で格納するツール群を実装・評価してよい結果を得た. また, この方式を発展させたり ,欠点を補うために, 識別子データマイニング, C前処理系解析ツール, データ競合検出ツールなども開発し, 良い結果を得た.

研究成果

• [雑誌論文] TBCppA : 追跡子を用いたC 前処理系解析器 (2008)
  • 著者名/発表者名: 権藤克彦, 川島勇人, 今泉貴史
  • 雑誌名: コンピュータソフトウェア 25-1 ページ: 105-123
  • 査読あり
• [雑誌論文] DRACULA : シグナルによるデータ競合の検出ツール (2008)
  • 著者名/発表者名: 田原貴光, 権藤克彦
  • 雑誌名: 電子情報通信学会論文誌 J91-D[2] ページ: 449-458
  • 査読あり
• [雑誌論文] プログラム理解を支援するコンセプトキーワードの自動抽出法ckTF/IDF法の提案 (2007)
  • 著者名/発表者名: 大場勝, 権藤克彦
  • 雑誌名: 情報処理学会論文誌 48-8 ページ: 2596-2607
  • 査読あり
• [雑誌論文] 中レベル抽象・薄い中間層・追跡性の実践によるコンパクトな教育用オペレーティングシステムudosの設計と実装 (2007)
  • 著者名/発表者名: 権藤克彦, 大場勝
  • 雑誌名: 電子情報通信学会論文誌 J90-D[5] ページ: 1194-1208
  • 査読あり
• [雑誌論文] プログラム理解のための実装レベル制約とソースコード間の追跡性の整理保存法 (2007)
  • 著者名/発表者名: 大場勝, 権藤克彦
  • 雑誌名: 電子情報通信学会論文誌 J90-D[6] ページ: 1445-1461
  • 査読あり
• [雑誌論文] C言語用CASEツールへのDWARF2デバッグ情報の応用 (2006)
  • 著者名/発表者名: 権藤克彦, 鈴木朝也, 川島勇人
  • 雑誌名: コンピュータソフトウェア 23-2 ページ: 175-198
  • 査読あり
• [学会発表] DRACULA : Detector of Data Races in SignalsHandlers (2008)
  • 著者名/発表者名: T. Tahara, K. Gondow, S. Ohsuga
  • 学会等名: 15th Asia-Pacific Software Engineering Conference (APSEC2008)
  • 発表場所: 中国・北京
  • 年月日: 2008-12-03
• [学会発表] TBCppA : a Tracer Approach for Automatic Accurate Analysis of C Preprocessor's Behaviors (2008)
  • 著者名/発表者名: K. Gondow, H. Kawashima, T. Imaizumi
  • 学会等名: 8th IEEE Int. Working Conf. on Source Code Analysis and Manipulation (SCAM2008)
  • 発表場所: 中国・北京
  • 年月日: 2008-09-28
• [学会発表] Static Call Graph Generator for C++ using Debugging Information (2007)
  • 著者名/発表者名: Y. Terashima, K. Gondow
  • 学会等名: 14th Asia-Pacific Software Engineering Conference (APSEC2007), IEEE Computer Society Press
  • 発表場所: 愛知県名古屋市
  • 年月日: 2007-12-05
• [学会発表] Maintaining Traceability Links between Implementation-level Restrictions and Source Code for Program Understanding (2006)
  • 著者名/発表者名: M. Ohba, K. Gondow
  • 学会等名: 10th IASTED Int. Conf. Software Engineering and Applications (SEA2006)
  • 発表場所: Dallas, TX, USA(page-no.514-146)
  • 年月日: 2006-11-13
• [学会発表] Toward Mining "Concept Keywords" from Identifiers in Large Software Projects (2005)
  • 著者名/発表者名: M. Ohba, K. Gondow
  • 学会等名: Int'l. Workshop on Mining Software Repositories (MSR2005)
  • 発表場所: St. Louis, Missouri, USA(48-52)
  • 年月日: 2005-05-17
• [図書] ピアソンエデュケーション (2007)
  • 著者名/発表者名: 冨永和人, 権藤克彦
  • 総ページ数: 472
  • 出版者: 例解UNIXプログラミング教室