追記型・文字粒度の追跡子による，ソフトウェア追跡性の高精度な確保

2013 年度 研究成果報告書

• 研究課題/領域番号: 21500033
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 東京工業大学
• 研究代表者: 権藤 克彦 東京工業大学, 学術国際情報センター, 教授 (50262283)
• 研究期間 (年度): 2009-04-01 – 2014-03-31
• キーワード: 追跡性 / 追記式 / 文字粒度 / ソフトウェア保守

研究概要

ソフトウェア保守コストを下げるために，ソフトウェア追跡性を高めることが重要である．本研究では「追記式・文字粒度の追跡子」を用いた新しい手法を提案実装し，ソフトウェア追跡性を高めることを試みた．成果として，Unicode第14面を用いた追跡子の実装，ハッシュ値を用いたソースコードとドキュメントの一貫性保持方式の実装，厳格なアンサーセットで構成する追跡性リンクの事例集の作成を行った．また，追跡子の派生技術として，教育用コンパイラの研究などの成果も得た．

研究成果

• [雑誌論文] 整数オーバーフローの未定義動作検出に対する整数境界値の定量的評価 (2014)
  • 著者名/発表者名: 森川知哉, 荒堀喜貴, 権藤克彦
  • 雑誌名: コンピュータソフトウェア(レター論文) 巻: [31], No.1 ページ: 103-109
  • URL: https://www.jstage.jst.go.jp/article/jssst/31/1/31_1_103/_pdf
  • 査読あり
• [雑誌論文] GPUを利用したポインタ解析の実装と評価 (2012)
  • 著者名/発表者名: 深谷敏邦, 権藤克彦
  • 雑誌名: コンピュータソフトウェア(レター論文) 巻: [29], No.3 ページ: 70-76
  • URL: https://www.jstage.jst.go.jp/article/jssst/29/3/29_3_70/_pdf
  • 査読あり
• [雑誌論文] ネイティブアセンブリコードを出力する教育用コンパイラ(XCC)と, 水平スライスが可能な可視化ツール(MieruCompiler) (2012)
  • 著者名/発表者名: 権藤克彦, 福安直樹, 荒堀喜貴
  • 雑誌名: 電子情報通信学会論文誌 巻: vol.J95-D, No.5 ページ: 1225-1241
  • URL: http://ci.nii.ac.jp/naid/110009444739
  • 査読あり
• [雑誌論文] 競合回避機構を備えた高互換かつ高精度な境界検査手法 (2012)
  • 著者名/発表者名: 荒堀喜貴, 権藤克彦, 前島英雄
  • 雑誌名: 情報処理学会論文誌 巻: 53(3) ページ: 1150-1165
  • URL: http://ci.nii.ac.jp/naid/110008802673
  • 査読あり
• [雑誌論文] 誤解放を防ぐための新しい型修飾子strict_lifetime (2012)
  • 著者名/発表者名: 鮎川力也, 権藤克彦, 荒堀喜貴
  • 雑誌名: 電子情報通信学会論文誌 巻: vol.J95-D, no.2 ページ: 217-224
  • URL: http://ci.nii.ac.jp/naid/110009328418
  • 査読あり
• [雑誌論文] 広範な実用Cプログラムに適用可能かつ高精度な動的境界検査ツール (2010)
  • 著者名/発表者名: 荒堀喜貴, 権藤克彦, 前島英雄
  • 雑誌名: 電子情報通信学会論文誌 巻: vol.J93-D, no.10 ページ: 1851-1865
  • URL: http://ci.nii.ac.jp/naid/110007730846
  • 査読あり
• [雑誌論文] Cプログラムの割込み競合の動的検出法, 情報処理学会論文誌 (2010)
  • 著者名/発表者名: 荒堀喜貴, 権藤克彦, 前島英雄
  • 雑誌名: 情報処理学会論文誌 巻: vol.51, no.9 ページ: 1816-1831
  • URL: http://ci.nii.ac.jp/naid/110007970782
  • 査読あり
• [雑誌論文] 事例研究:ツール「簡単#include検査君」とその経験 (2010)
  • 著者名/発表者名: 権藤克彦, 冨永和人
  • 雑誌名: コンピュータソフトウェア(レター論文) 巻: [27], No.2 ページ: 93-99
  • URL: https://www.jstage.jst.go.jp/article/jssst/27/2/27_2_2_93/_pdf
  • 査読あり
• [学会発表] MieruCompiler : Integrated Visualization Tool with ``Horizontal Slicing'' for Educational Compilers (2010)
  • 著者名/発表者名: K. Gondow, N. Fukuyasu, Y. Arahori
  • 学会等名: 41st ACM Technical Sympo. on Computer Science Education (SIGCSE 2010)
  • 発表場所: 米国ミルウォーキー
  • 年月日: 2010-03-11
• [学会発表] TCBC : Trap Caching Bounds Checking for C (2009)
  • 著者名/発表者名: Y. Arahori, K. Gondow, H. Maejima
  • 学会等名: 8th Int. Conf. Dependable, Autonomic and Secure Computing (DASC-09)
  • 発表場所: 中国成都
  • 年月日: 2009-12-12
• [学会発表] Cache-Based Bounds Checking for Multi-Threaded C Programs (2009)
  • 著者名/発表者名: Y. Arahori, K. Gondow, H. Maejima
  • 学会等名: 21st IASTED Int. Conf. Parallel and Distributed Computing Systems (PDCS 2009)
  • 発表場所: 米国ボストン
  • 年月日: 2009-11-03