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

2009 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number 21500033
Research InstitutionTokyo Institute of Technology

Principal Investigator

権藤 克彦  Tokyo Institute of Technology, 大学院・情報理工学研究科, 准教授 (50262283)

Keywords追跡性 / 追記式 / 文字粒度 / ソフトウェア保守
Research Abstract

・より詳細な既存技術・既存研究の調査・サーベイ(平成21年4月~9月)
これまでの調査では「追記型・文字粒度の追跡子」に類する研究は無った.しかし,ここ数年,追跡性に関する研究は活発であり,継続的な調査・サーベイが不可欠である.(知覚困難型)電子透かし,ステガノグラフィー,暗号の署名技術,(他分野の)追跡子などの既存研究について,広範囲に渡って調査を行った.また,エディタ,Webブラウザ,統合開発環境(IDE)などでの文字エンコーディングの処理方法なども,より詳細に調査を行った.
この調査・サーベイは次年度以降に実装する「ソフトウェア追跡性の高精度に確保するシステム「をより適切に開発するために重要な基礎となる.
・「追記型・文字粒度の追跡子」のための文字エンコーディング方式の検討・設計(平成21年9月~22年3月)
案1:文字符号化方式の標準であるISO/IEC 2022(いわゆるISO-2022)として,「追記型・文字粒度の追跡子」のための文字エンコーディング方式を定義可能かを検討する.
案2:Emacsの文字属性機能等,アプリケーションレベルでの「追記型・文字粒度の追跡子」の実現方法を検討する.
という2つの案を検討したが,当初の予定通り,案1を採用する方向で設計等を行った.これはエディタやWebブラウザに「追記型・文字粒度の追跡子」を対応させる際に,文字エンコーディングを追加させるだけで済むためである.
この設計は「ソフトウェア追跡性の高精度に確保するシステム」の中核となる部分であり,後付けによる推論ではなく,細粒度で高精度に追跡性を確保することで,ソフトウェア保守性の向上を図るという大きな意義がある.

  • Research Products

    (4 results)

All 2010 2009

All Journal Article (1 results) (of which Peer Reviewed: 1 results) Presentation (3 results)

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

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

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

    • 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
  • [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
  • [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

URL: 

Published: 2011-06-16   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi