| 研究課題/領域番号 |
16K12412
|
|---|
| 研究種目 |
挑戦的萌芽研究
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
ソフトウェア
|
|---|
| 研究機関 | 島根大学 |
|---|
研究代表者 |
神谷 年洋 島根大学, 学術研究院理工学系, 教授 (70415660)
|
|---|
| 研究期間 (年度) |
2016-04-01 – 2019-03-31
|
| 研究課題ステータス |
完了 (2018年度)
|
| 配分額 *注記 |
3,120千円 (直接経費: 2,400千円、間接経費: 720千円)
2018年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2017年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2016年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
|
|---|
| キーワード | プログラム解析 / プログラム理解 / 保守 / デバッグ / 動的解析 / ソフトウェア開発効率化・安定化 / デバッグ支援 / 大規模データアルゴリズム |
|---|
| 研究成果の概要 |
本研究提案の目的は複数の意味論・開発技術を用いて開発されたソフトウェアを対象としたプログラム解析手法を実現することであった。その成果として、次の3つの手法を提案・実装し、初期的な実験により評価を行った。
(1) プログラム異なるバージョンの実行トレースを解析することによりバージョン間の差異を視覚化する手法、(2) ひとつのプログラムに少しだけ異なる入力データを与えて実行することにより、プログラム内のデータフローを解析し視覚化する手法、(3)異なるプログラミング言語で記述されたソースコードから、類似コード断片を検出する手法。
|
| 研究成果の学術的意義や社会的意義 |
近年のソフトウェア開発では、ソフトウェアは複数の開発技術(およびそれらが包含する意味論)の混成物として開発される。例えば、webアプリケーションであれば、JavaScriptやhttpといったインターネットに関連する技術、プログラムを記述するための種々のプログラミング言語、データを格納し問い合わせを行うためのデータベース等の技術が用いられたソフトウェアとなる。
ソフトウェアの解析はソフトウェアの不具合修正や品質の計測に用いられるが、従来の解析技術では、ソフトエアの内部に存在する開発技術の境界が壁となり、効果的な解析が行えない場面があった。本研究提案はその壁を乗り越えた解析を実現するものである。
|
