2012 Fiscal Year Annual Research Report
追記型・文字粒度の追跡子による，ソフトウェア追跡性の高精度な確保
| Project/Area Number |
21500033
|
|---|
| Research Institution | Tokyo Institute of Technology |
|---|
Principal Investigator |
権藤 克彦 東京工業大学, 学術国際情報センター, 教授 (50262283)
|
|---|
| Project Period (FY) |
2009-04-01 – 2014-03-31
|
| Keywords | 追跡性 / 追記式 / 文字粒度 / ソフトウェア保守 |
|---|
| Research Abstract |
「追記型・文字粒度の追跡子」の実装をEmacsのマイナーモードとして実装した．平成23年度までにUnicodeの第１４面の言語タグを用いたプロトタイプ実装を行い，平成24年度にEclipseプラグインとして洗練・統合する予定だったが，実装上の困難さがあったため，Emacs上で動作するマイナーモードとして再実装を行った．この実装は言語タグ文字の入力，可視化・不可視化の制御なども可能となっており，実装規模はEmacs Lispで約300行程度とコンパクトに実装できることを確認した．
また，追跡性リンクの有用性を示すための事例集として，厳格なアンサーセットで構成する追跡性リンクの事例集作成を行った．ドキュメント理解の困難さ，膨大さ，分散性，頻繁な改訂などの観点から，対象として日本の税法を選択した．法人税，所得税，消費税の３法を対象に，独立した３０個のソースコード（それぞれ約１００行程度）を作成し，税法への追跡性リンクをコメントとして細粒度に付した．開発者の意図により正解・不正解が異なるリンクが多くあること，追跡性リンクの埋め込み自体に大きなコストがかかるが，細粒度に埋め込めたこと，埋め込んだ追跡性リンクの有用性を期待できることなどを確認した．
また本研究では「追記型・文字粒度の追跡子」のリンク追跡・矛盾検知に関する研究成果として，「ネイティブアセンブリコードを出力する教育用コンパイラ (XCC)と，水平スライスが可能な可視化ツール (MieruCompiler)」と「GPUを利用したポインタ解析の実装と評価」の研究成果をあげた．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
「追記型・文字粒度の追跡子」の実現方法として，当初予定したEclipseプラグインとしての実装ではなく，Emacsマイナーモードとしてコンパクトな実装を与えることができた．また，この実装の応用事例となる有用な事例集を構築できた．このため，研究の目的をおおむね順調に進めることができた．
|
| Strategy for Future Research Activity |
「追記型・文字粒度の追跡子」の過去４年間の研究成果を総括する．ハッシュ値を用いた追跡性リンクの矛盾検知方式，Unicodeの第１４面の言語タグを処理できるEmacsマイナーモード実装を研究成果としてまとめる．また追跡性リンクを編集時に自動的に埋め込む機能(tracer-carrying code)の研究開発も目指す．
|
