• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2010 年度 実績報告書

確率的言語モデルを用いたソフトウェア解析の研究

研究課題

研究課題/領域番号 22500037
研究機関南山大学

研究代表者

沢田 篤史  南山大学, 情報理工学部, 教授 (40273841)

研究分担者 野呂 昌満  南山大学, 情報理工学部, 教授 (40189452)
張 漢明  南山大学, 情報理工学部, 准教授 (90329756)
キーワードソフトウェア解析 / ソースコード解析 / 確率的言語モデル / ソフトウェアリポジトリ / ソフトウェアコーパス / インスペクション / 書き換え支援 / ソフトウェアアーキテクチャ
研究概要

本課題では,次の三つの項目について動向調査と研究開発を実施した.本年度は主にソフトウェアのソースコードインスペクションツールを構築することで,プログラム解析に関するノウハウを蓄積し,確率的言語モデルの適用の可能性について検討を行った.
(a) ソフトウェアコーパスの構築に関する研究では,ソースコードからソフトウェアコーパスを構築すること目的に,オープンソースソフトウェアから題材を収集するとともに,既存のフォールトプローン解析手法をはじめ,ソフトウェアリファクタリングにおけるソースコードの悪臭に対応する事例の調査を行った.
(b) 確率的言語モデルの構築に関する研究では,ソースコードの確率的言語モデルを構築するために,ソースコードに出現する誤りや誤りを招きやすい記述について調査した.リファクタリングにおける書き換えパターンなど既存の技術を参考に言語要素の抽象化について検討を行った.
(c) 開発支援ツールの整備に関する研究では,ソフトウェアインスペクションにおける既存のプログラム解析技術の調査と,インスペクションツールの実装を行った.実装したツールは,確率的言語モデルに基づく解析機能を組み込む基盤環境として今後も整備を続ける.ツールの構築にあたっては,決定的な解析結果と確率的な解析結果との統合が容易になるよう,再利用可能かつ保守性の高いソフトウェアアーキテクチャを設計し,それに基づくアプリケーションインタフェースの設計を行った.

  • 研究成果

    (8件)

すべて 2011 2010

すべて 雑誌論文 (4件) (うち査読あり 4件) 学会発表 (3件) 図書 (1件)

  • [雑誌論文] Measuring the Effects of Aspect-Oriented Refactoring on Component Relationships : Two Case Studies2011

    • 著者名/発表者名
      R.Yokomori, H.Siy, N.Yoshida, M.Noro, K.Inoue
    • 雑誌名

      Proceedings of the 10th Annual Aspect-Oriented Software Development Conference (AOSD2011)

      ページ: 215-226

    • 査読あり
  • [雑誌論文] 属性付き字句系列に基づくプログラム書換え支援環境の試作2010

    • 著者名/発表者名
      吉田敦, 蜂巣吉成, 沢田篤史, 張漢明, 野呂昌満
    • 雑誌名

      ソフトウェアエンジニアリング最前線-情報処理学会SES2010

      ページ: 119-126

    • 査読あり
  • [雑誌論文] デザインパターンを用いたソースコードインスペクションツールのソフトウェアアーキテクチャ設計2010

    • 著者名/発表者名
      浦野彰彦, 沢田篤史, 野呂昌満, 蜂巣吉成, 張漢明, 吉田敦
    • 雑誌名

      ソフトウェア工学の基礎XVII-日本ソフトウェア科学会FOSE2010

      ページ: 15-24

    • 査読あり
  • [雑誌論文] モデル検査を用いた振舞検証の実用化技術に関する考察-網羅性に着目して-2010

    • 著者名/発表者名
      張漢明, 野呂昌満, 沢田篤史, 蜂巣吉成, 吉田敦
    • 雑誌名

      ソフトウェア工学の基礎XVII-日本ソフトウェア科学会FOSE2010

      ページ: 107-112

    • 査読あり
  • [学会発表] 階層分割に基づく組込みソフトウェアの振舞い検証の支援について2010

    • 著者名/発表者名
      張漢明, 野呂昌満, 沢田篤史, 蜂巣吉成, 吉田敦
    • 学会等名
      情報処理学会第18回組込みシステム研究発表会
    • 発表場所
      はこだて未来大学(北海道函館市)
    • 年月日
      2010-08-10
  • [学会発表] On the Job Learning~産学連携による新しいソフトウェア工学教育手法~2010

    • 著者名/発表者名
      沢田篤史
    • 学会等名
      情報システム学会第3回シンポジウム
    • 発表場所
      慶應義塾大学日吉キャンパス(横浜市港北区)
    • 年月日
      2010-06-26
  • [学会発表] デザインパターンを用いたCDIツールのアーキテクチャとその実現2010

    • 著者名/発表者名
      浦野彰彦, 沢田篤史, 野呂昌満, 蜂巣吉成
    • 学会等名
      情報処理学会第168回ソフトウェア工学研究会/第17回組込みシステム研究会 合同研究発表会
    • 発表場所
      化学会館(東京都千代田区)
    • 年月日
      2010-06-02
  • [図書] 組込みソフトウェア開発技術2011

    • 著者名/発表者名
      沢田篤史, 平山雅之(編著), 三橋二彩子, 丸山勝久, 小野洋彦, 岸知二, 片山徹郎, 青木利晃, 片岡欣夫, 小笠原秀人(著)
    • 総ページ数
      352
    • 出版者
      CQ出版社

URL: 

公開日: 2012-07-19  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi