• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

High-precision traceability by write-once/character-granularity tracers

Research Project

Project/Area Number 21500033
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Software
Research InstitutionTokyo Institute of Technology

Principal Investigator

GONDOW Katsuhiko  東京工業大学, 学術国際情報センター, 教授 (50262283)

Project Period (FY) 2009-04-01 – 2014-03-31
Project Status Completed (Fiscal Year 2013)
Budget Amount *help
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2013: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2012: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2011: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2010: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2009: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Keywords追跡性 / 追記式 / 文字粒度 / ソフトウェア保守 / 文字エンコーディング / Unicode第14面
Research Abstract

To reduce the cost of software maintenace, it is highly important to improve the software traceability. Our research proposed and implemented a new method using "tracer with write-once/character-granularity" to improve the software traceability. As a result, we implemented a tracer using the Plane 14 of Unicode and a consistency system using hash-value between source code and document, and provided a case study of traceability links as a strict answer set. We also proposed and implemented a new educational compiler and so on as derived technologies using tracers.

Report

(6 results)
  • 2013 Annual Research Report   Final Research Report ( PDF )
  • 2012 Annual Research Report
  • 2011 Annual Research Report
  • 2010 Annual Research Report
  • 2009 Annual Research Report
  • Research Products

    (19 results)

All 2014 2012 2010 2009

All Journal Article (13 results) (of which Peer Reviewed: 12 results) Presentation (6 results)

  • [Journal Article] 整数オーバーフローの未定義動作検出に対する整数境界値の定量的評価2014

    • Author(s)
      森川知哉, 荒堀喜貴, 権藤克彦
    • Journal Title

      コンピュータソフトウェア(レター論文)

      Volume: [31], No.1 Pages: 103-109

    • NAID

      130004549325

    • URL

      https://www.jstage.jst.go.jp/article/jssst/31/1/31_1_103/_pdf

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] 整数オーバーフローの未定義動作検出に対する整数境界値の定量的評価2014

    • Author(s)
      森川知哉,荒堀喜貴,権藤克彦
    • Journal Title

      コンピュータソフトウェア(レター論文)

      Volume: vol.31, no.1 Pages: 103-109

    • NAID

      130004549325

    • Related Report
      2013 Annual Research Report
  • [Journal Article] GPUを利用したポインタ解析の実装と評価2012

    • Author(s)
      深谷敏邦, 権藤克彦
    • Journal Title

      コンピュータソフトウェア(レター論文)

      Volume: [29], No.3 Pages: 70-76

    • NAID

      10030497743

    • URL

      https://www.jstage.jst.go.jp/article/jssst/29/3/29_3_70/_pdf

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] ネイティブアセンブリコードを出力する教育用コンパイラ(XCC)と, 水平スライスが可能な可視化ツール(MieruCompiler)2012

    • Author(s)
      権藤克彦, 福安直樹, 荒堀喜貴
    • Journal Title

      電子情報通信学会論文誌

      Volume: vol.J95-D, No.5 Pages: 1225-1241

    • NAID

      110009444739

    • URL

      http://ci.nii.ac.jp/naid/110009444739

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] 競合回避機構を備えた高互換かつ高精度な境界検査手法2012

    • Author(s)
      荒堀喜貴, 権藤克彦, 前島英雄
    • Journal Title

      情報処理学会論文誌

      Volume: 53(3) Pages: 1150-1165

    • NAID

      110008802673

    • URL

      http://ci.nii.ac.jp/naid/110008802673

    • Related Report
      2013 Final Research Report 2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 誤解放を防ぐための新しい型修飾子strict_lifetime2012

    • Author(s)
      鮎川力也, 権藤克彦, 荒堀喜貴
    • Journal Title

      電子情報通信学会論文誌

      Volume: vol.J95-D, no.2 Pages: 217-224

    • URL

      http://ci.nii.ac.jp/naid/110009328418

    • Related Report
      2013 Final Research Report 2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] ネイティブアセンブリコードを出力する教育用コンパイラ (XCC)と,水平スライスが可能な可視化ツール (MieruCompiler),2012

    • Author(s)
      権藤克彦,福安 直樹,荒堀 喜貴
    • Journal Title

      電子情報通信学会論文誌

      Volume: vol.J95-D, No.5 Pages: 1225-1241

    • NAID

      110009444739

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] GPUを利用したポインタ解析の実装と評価2012

    • Author(s)
      深谷敏邦,権藤克彦
    • Journal Title

      コンピュータソフトウェア(レター論文)

      Volume: Vol.29, No.3 Pages: 70-76

    • NAID

      10030497743

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 広範な実用Cプログラムに適用可能かつ高精度な動的境界検査ツール2010

    • Author(s)
      荒堀喜貴, 権藤克彦, 前島英雄
    • Journal Title

      電子情報通信学会論文誌

      Volume: vol.J93-D, no.10 Pages: 1851-1865

    • NAID

      110007730846

    • URL

      http://ci.nii.ac.jp/naid/110007730846

    • Related Report
      2013 Final Research Report 2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Cプログラムの割込み競合の動的検出法, 情報処理学会論文誌2010

    • Author(s)
      荒堀喜貴, 権藤克彦, 前島英雄
    • Journal Title

      情報処理学会論文誌

      Volume: vol.51, no.9 Pages: 1816-1831

    • URL

      http://ci.nii.ac.jp/naid/110007970782

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] 事例研究:ツール「簡単#include検査君」とその経験2010

    • Author(s)
      権藤克彦, 冨永和人
    • Journal Title

      コンピュータソフトウェア(レター論文)

      Volume: [27], No.2 Pages: 93-99

    • NAID

      130004549174

    • URL

      https://www.jstage.jst.go.jp/article/jssst/27/2/27_2_2_93/_pdf

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Cプログラムの割込み競合の動的検出法2010

    • Author(s)
      荒堀喜貴, 権藤克彦, 前島英雄
    • Journal Title

      情報処理学会論文誌

      Volume: 51-9 Pages: 1816-1831

    • NAID

      110007970782

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 事例研究:ツール「簡単#include検査君」とその経験2010

    • Author(s)
      権藤克彦, 冨永和人
    • Journal Title

      コンピュータソフトウェア(レター論文) (In press)

    • NAID

      130004549174

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Presentation] MieruCompiler : Integrated Visualization Tool with ``Horizontal Slicing'' for Educational Compilers2010

    • Author(s)
      K. Gondow, N. Fukuyasu, Y. Arahori
    • Organizer
      41st ACM Technical Sympo. on Computer Science Education (SIGCSE 2010)
    • Place of Presentation
      米国ミルウォーキー
    • Year and Date
      2010-03-11
    • Related Report
      2013 Final Research Report
  • [Presentation] MieruCompiler : Integrated Visualization Tool with "Horizontal Slicing" for Educational Compilers2010

    • Author(s)
      K.Gondow, N.Fukuyasu, Y.Arahori
    • Organizer
      41st ACM Technical Sympo. on Computer Science Education (SIGCSE 2010)
    • Place of Presentation
      米国ミルウォーキー
    • Year and Date
      2010-03-11
    • Related Report
      2009 Annual Research Report
  • [Presentation] TCBC : Trap Caching Bounds Checking for C2009

    • Author(s)
      Y. Arahori, K. Gondow, H. Maejima
    • Organizer
      8th Int. Conf. Dependable, Autonomic and Secure Computing (DASC-09)
    • Place of Presentation
      中国成都
    • Year and Date
      2009-12-12
    • Related Report
      2013 Final Research Report
  • [Presentation] TCBC : Trap Caching Bounds Checking for C2009

    • Author(s)
      Y.Arahori, K.Gondow, H.Maejima
    • Organizer
      8th Int. Conf. Dependable, Autonomic and Secure Computing (DASC-09) (ベストペーパー賞)
    • Place of Presentation
      中国成都
    • Year and Date
      2009-12-12
    • Related Report
      2009 Annual Research Report
  • [Presentation] Cache-Based Bounds Checking for Multi-Threaded C Programs2009

    • Author(s)
      Y. Arahori, K. Gondow, H. Maejima
    • Organizer
      21st IASTED Int. Conf. Parallel and Distributed Computing Systems (PDCS 2009)
    • Place of Presentation
      米国ボストン
    • Year and Date
      2009-11-03
    • Related Report
      2013 Final Research Report
  • [Presentation] Cache-Based Bounds Checking for Multi-Threaded C Programs2009

    • Author(s)
      Y.Arahori, K.Gondow, H.Maejima
    • Organizer
      21st LASTED Int. Conf. Parallel and Distributed Computing Systems (PDCS 2009)
    • Place of Presentation
      米国ボストン
    • Year and Date
      2009-11-03
    • Related Report
      2009 Annual Research Report

URL: 

Published: 2009-04-01   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi