2010 Fiscal Year Annual Research Report
| Project/Area Number |
22500037
|
|---|
| Research Institution | Nanzan University |
|---|
Principal Investigator |
沢田 篤史 南山大学, 情報理工学部, 教授 (40273841)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
野呂 昌満 南山大学, 情報理工学部, 教授 (40189452)
張 漢明 南山大学, 情報理工学部, 准教授 (90329756)
|
|---|
| Keywords | ソフトウェア解析 / ソースコード解析 / 確率的言語モデル / ソフトウェアリポジトリ / ソフトウェアコーパス / インスペクション / 書き換え支援 / ソフトウェアアーキテクチャ |
|---|
| Research Abstract |
本課題では,次の三つの項目について動向調査と研究開発を実施した.本年度は主にソフトウェアのソースコードインスペクションツールを構築することで,プログラム解析に関するノウハウを蓄積し,確率的言語モデルの適用の可能性について検討を行った.
(a) ソフトウェアコーパスの構築に関する研究では,ソースコードからソフトウェアコーパスを構築すること目的に,オープンソースソフトウェアから題材を収集するとともに,既存のフォールトプローン解析手法をはじめ,ソフトウェアリファクタリングにおけるソースコードの悪臭に対応する事例の調査を行った.
(b) 確率的言語モデルの構築に関する研究では,ソースコードの確率的言語モデルを構築するために,ソースコードに出現する誤りや誤りを招きやすい記述について調査した.リファクタリングにおける書き換えパターンなど既存の技術を参考に言語要素の抽象化について検討を行った.
(c) 開発支援ツールの整備に関する研究では,ソフトウェアインスペクションにおける既存のプログラム解析技術の調査と,インスペクションツールの実装を行った.実装したツールは,確率的言語モデルに基づく解析機能を組み込む基盤環境として今後も整備を続ける.ツールの構築にあたっては,決定的な解析結果と確率的な解析結果との統合が容易になるよう,再利用可能かつ保守性の高いソフトウェアアーキテクチャを設計し,それに基づくアプリケーションインタフェースの設計を行った.
|
-
-
-
-
-
-
-
-
[Book] 組込みソフトウェア開発技術2011
Author(s)
沢田篤史, 平山雅之(編著), 三橋二彩子, 丸山勝久, 小野洋彦, 岸知二, 片山徹郎, 青木利晃, 片岡欣夫, 小笠原秀人(著)
Total Pages
352
Publisher
CQ出版社
