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

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

研究課題

研究課題/領域番号 22500037
研究種目

基盤研究(C)

配分区分補助金
応募区分一般
研究分野 ソフトウエア
研究機関南山大学

研究代表者

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

研究分担者 野呂 昌満  南山大学, 情報理工学部, 教授 (40189452)
張 漢明  南山大学, 情報理工学部, 准教授 (90329756)
研究期間 (年度) 2010 – 2012
研究課題ステータス 完了 (2012年度)
配分額 *注記
4,290千円 (直接経費: 3,300千円、間接経費: 990千円)
2012年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2011年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2010年度: 1,820千円 (直接経費: 1,400千円、間接経費: 420千円)
キーワードソフトウェア工学 / ソフトウェア解析 / ソフトウェア進化 / アーキテクチャ設計 / 確率的言語モデル / ソフトウェアコーパス / コードインスペクション / 検証方式 / ソースコード解析 / 書換え支援 / リポジトリ解析 / ソフトウェアリポジトリ / インスペクション / 書き換え支援 / ソフトウェアアーキテクチャ
研究概要

本研究は,ソフトウェア開発者の知的作業に起因して生ずるプロダクトの曖昧性を,確率的要素を含むモデルで表現し,ソフトウェア解析・進化のプロセスを体系的に支援するための方法論とツール基盤を構築した.ソフトウェア進化研究の包括的な調査に基づいて本研究の位置づけを行うとともに,再利用可能なソースコード解析ツール基盤の開発やソフトウェアアーキテクチャ設計判断過程のモデル化を行った.

報告書

(4件)
  • 2012 実績報告書   研究成果報告書 ( PDF )
  • 2011 実績報告書
  • 2010 実績報告書
  • 研究成果

    (43件)

すべて 2013 2012 2011 2010

すべて 雑誌論文 (21件) (うち査読あり 21件) 学会発表 (20件) 図書 (2件)

  • [雑誌論文] Dependency Based Approach for Software Analysis Web Services Replacement2012

    • 著者名/発表者名
      C. Wijesiriwardana, G. Ghezzi, E.Giger, A. Sawada, H. Gall
    • 雑誌名

      Proc. the 19th Asia-Pacific Software Engineering Conference

      ページ: 294-299

    • DOI

      10.1109/apsec.2012.130

    • 関連する報告書
      2012 実績報告書 2012 研究成果報告書
    • 査読あり
  • [雑誌論文] ソフトウェア進化研究の分類と動向2012

    • 著者名/発表者名
      大森隆行,丸山勝久,林晋平,沢田篤史
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 29 号: 3 ページ: 3_3-3_28

    • DOI

      10.11309/jssst.29.3_3

    • NAID

      130004549283

    • ISSN
      0289-6540
    • 関連する報告書
      2012 実績報告書 2012 研究成果報告書
    • 査読あり
  • [雑誌論文] 属性付き字句系列に基づくソースコード書き換え支援環境2012

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

      情報処理学会論文誌

      巻: Vol.53,No.7 ページ: 1832-1849

    • NAID

      110009423553

    • URL

      http://id.nii.ac.jp/1001/00083176/

    • 関連する報告書
      2012 研究成果報告書
    • 査読あり
  • [雑誌論文] 属性付き字句系列に基づくソースコード書き換え支援環境2012

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

      情報処理学会論文誌

      巻: 53巻 ページ: 1832-1849

    • NAID

      110009423553

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] A Design Map for Recording Precise Architecture Decisions2011

    • 著者名/発表者名
      Sawada, A, Noro, M., Chang, H.-M., Hachisu, Y., Yoshida, A
    • 雑誌名

      Proc.the 18th Asia-Pacific Software Engineering Conference (APSEC2011)

      ページ: 298-305

    • DOI

      10.1109/apsec.2011.36

    • 関連する報告書
      2012 研究成果報告書 2011 実績報告書
    • 査読あり
  • [雑誌論文] ソースコードインスペクションツールのためのソフトウェアアーキテクチャの設計と進化2011

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

      コンピュータソフトウェア

      巻: Vol.28,No.4

    • NAID

      130004549240

    • 関連する報告書
      2012 研究成果報告書
    • 査読あり
  • [雑誌論文] HTML要素の状態を考慮したCSSの拡張方法の提案2011

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

      電子情報通信学会論文誌D

      巻: Vol.J94-D,No.11 ページ: 1931-1934

    • NAID

      110008761643

    • 関連する報告書
      2012 研究成果報告書
    • 査読あり
  • [雑誌論文] コンパイル方式によるXQuery問い合わせプログラム生成方法2011

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

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

      ページ: 21-30

    • 関連する報告書
      2012 研究成果報告書
    • 査読あり
  • [雑誌論文] 表現の違いを考慮したマクロ逆置換方法の提案2011

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

      ソフトウェアエンジニアリングシンポジウム2011論文集(情報処理学会シンポジウムシリーズ)

      巻: Vol.2011 ページ: 1-6

    • NAID

      170000067110

    • URL

      http://id.nii.ac.jp/1001/00077559/

    • 関連する報告書
      2012 研究成果報告書
    • 査読あり
  • [雑誌論文] 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 SoftwareDevelopment Conference (AOSD2011)

      ページ: 215-226

    • DOI

      10.1145/1960275.1960301

    • 関連する報告書
      2012 研究成果報告書
    • 査読あり
  • [雑誌論文] 表現の違いを考慮したマクロ逆置換方法の提案2011

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

      ソフトウェアエンジニアリングシンポジウム2011論文集(情報処理学会シンポジウムシリーズ)

      巻: 2011 ページ: 1-6

    • NAID

      170000067110

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] コンパイル方式によるXQuery問い合わせプログラム生成方法2011

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

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

      ページ: 21-30

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] HTML要素の状態を考慮したCSSの拡張方法の提案2011

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

      電子情報通信学会論文誌D

      巻: J94-D ページ: 1931-1934

    • NAID

      110008761643

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] ソースコードインスペクションツールのためのソフトウェアアーキテクチャの設計と進化2011

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

      コンピュータソフトウェア

      巻: 28

    • NAID

      130004549240

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] 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 実績報告書
    • 査読あり
  • [雑誌論文] モデル検査を用いた振舞検証の実用化技術に関する考察-網羅性に着目して-2010

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

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

      ページ: 107-122

    • 関連する報告書
      2012 研究成果報告書
    • 査読あり
  • [雑誌論文] デザインパターンを用いたソースコードインスペクションツールのソフトウェアアーキテクチャ設計2010

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

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

      ページ: 15-24

    • 関連する報告書
      2012 研究成果報告書
    • 査読あり
  • [雑誌論文] 属性付き字句系列に基づくプログラム書換え支援環境の試作2010

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

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

      ページ: 119-126

    • 関連する報告書
      2012 研究成果報告書
    • 査読あり
  • [雑誌論文] 属性付き字句系列に基づくプログラム書換え支援環境の試作2010

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

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

      ページ: 119-126

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

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

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

      ページ: 15-24

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

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

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

      ページ: 107-112

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [学会発表] アーキテクチャ指向開発における形式手法適用に関する考察2013

    • 著者名/発表者名
      張漢明,野呂昌満,沢田篤史,吉田敦,蜂巣吉成
    • 学会等名
      情報処理学会第28回組込みシステム研究発表会
    • 発表場所
      対馬市交流センター(長崎県対馬市)
    • 年月日
      2013-03-13
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] SOAに基づくシステムのためのアプリケーションプラットフォームのプロダクトライン化に関する研究,情2013

    • 著者名/発表者名
      江坂篤侍,野呂昌満 ,沢田篤史
    • 学会等名
      報処理学会第179回ソフトウェア工学研究発表会
    • 発表場所
      化学会館(東京都千代田区)
    • 年月日
      2013-03-12
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] SOAに基づくシステムのためのアプリケーションプラットフォームのプロダクトライン化に関する研究2013

    • 著者名/発表者名
      江坂篤侍,野呂昌満,沢田篤史
    • 学会等名
      情報処理学会ソフトウェア工学研究会
    • 発表場所
      化学会館
    • 関連する報告書
      2012 実績報告書
  • [学会発表] アーキテクチャ指向開発における形式手法適用に関する考察2013

    • 著者名/発表者名
      張漢明,野呂昌満,沢田篤史,吉田敦,蜂巣吉成
    • 学会等名
      情報処理学会組込みシステム研究会
    • 発表場所
      対馬市交流センター
    • 関連する報告書
      2012 実績報告書
  • [学会発表] フォールトパターンを用いたデバッグ支援2012

    • 著者名/発表者名
      張漢明,沢田篤史
    • 学会等名
      日本ソフトウェア科学会第19回ソフトウェア工学の基礎ワークショップ
    • 発表場所
      ゆふいん山水館(大分県由布市)
    • 年月日
      2012-12-13
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] 並行システム記述におけるフォールトパターンに関する考察2012

    • 著者名/発表者名
      張漢明,野呂昌満,沢田篤史,横森励士,吉田敦,蜂巣吉成
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      広島市立大学(広島県広島市)
    • 年月日
      2012-11-01
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] ネットワークの振る舞いに依存するシステムへの形式手法の適用の検討2012

    • 著者名/発表者名
      吉田信明,張漢明,沢田篤史,中村行宏
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      広島市立大学(広島県広島市)
    • 年月日
      2012-11-01
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] ソフトウェア進化研究に関する動向調査-IWPSEシリーズを題材に-2012

    • 著者名/発表者名
      大森隆行,丸山勝久,林晋平,沢田篤史
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      てんぶす那覇(沖縄県那覇市)
    • 年月日
      2012-03-14
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] ソフトウェア進化研究に関する動向調査-IWPSEシリーズを題材に-2012

    • 著者名/発表者名
      大森隆行, 丸山勝久, 林晋平, 沢田篤史
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      てんぶす那覇
    • 年月日
      2012-03-14
    • 関連する報告書
      2011 実績報告書
  • [学会発表] ネットワークの振る舞いに依存するシステムへの形式手法の適用の検討2012

    • 著者名/発表者名
      吉田信明,張漢明,沢田篤史,中村行宏
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      広島市立大学
    • 関連する報告書
      2012 実績報告書
  • [学会発表] 並行システム記述におけるフォールトパターンに関する考察2012

    • 著者名/発表者名
      張漢明,野呂昌満,沢田篤史,横森励士,吉田敦,蜂巣吉成
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      広島市立大学
    • 関連する報告書
      2012 実績報告書
  • [学会発表] フォールトパターンを用いたデバッグ支援2012

    • 著者名/発表者名
      張漢明,沢田篤史
    • 学会等名
      日本ソフトウェア科学会第19回ソフトウェア工学の基礎ワークショップ
    • 発表場所
      ゆふいん山水館
    • 関連する報告書
      2012 実績報告書
  • [学会発表] パターンに基づくCSP記述の検査に関する考察2011

    • 著者名/発表者名
      張漢明,野呂昌満,沢田篤史,吉田敦,蜂巣吉成,横森励士
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      北陸先端科学技術大学院大学(石川県能美市)
    • 年月日
      2011-10-28
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] パターンに基づくCSP記述の検査に関する考察2011

    • 著者名/発表者名
      張漢明, 野呂昌満, 沢田篤史, 吉田敦, 蜂巣吉成, 横森励士
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      北陸先端科学技術大学院大学
    • 年月日
      2011-10-28
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 階層分割に基づく組込みソフトウェアの振舞い検証の支援について2010

    • 著者名/発表者名
      張漢明 ,野呂昌満 ,沢田篤史 ,蜂巣吉成,吉田敦
    • 学会等名
      情報処理学会第18回組込みシステム研 究発表会
    • 発表場所
      はこだて未来大学(北海道函館市)
    • 年月日
      2010-08-10
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] 階層分割に基づく組込みソフトウェアの振舞い検証の支援について2010

    • 著者名/発表者名
      張漢明, 野呂昌満, 沢田篤史, 蜂巣吉成, 吉田敦
    • 学会等名
      情報処理学会第18回組込みシステム研究発表会
    • 発表場所
      はこだて未来大学(北海道函館市)
    • 年月日
      2010-08-10
    • 関連する報告書
      2010 実績報告書
  • [学会発表] On the Job Learning2010

    • 著者名/発表者名
      沢田篤史
    • 学会等名
      産学連携による新しいソフトウェア工学教育手法
    • 発表場所
      慶應義塾大学日吉キャンパス(横浜市港北区)
    • 年月日
      2010-06-26
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] On the Job Learning~産学連携による新しいソフトウェア工学教育手法~2010

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

    • 著者名/発表者名
      浦野彰彦,沢田篤史,野呂昌満,蜂巣吉成
    • 学会等名
      情報処理学会第168回ソフトウェア工学研究会/第17回組込みシステム研究会合同研究発表会
    • 発表場所
      化学会館(東京都千代田区)
    • 年月日
      2010-06-02
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] デザインパターンを用いたCDIツールのアーキテクチャとその実現2010

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

    • 著者名/発表者名
      沢田篤史,平山雅之
    • 総ページ数
      352
    • 出版者
      CQ出版社
    • 関連する報告書
      2012 研究成果報告書
  • [図書] 組込みソフトウェア開発技術2011

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

URL: 

公開日: 2010-08-23   更新日: 2019-07-29  

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

Powered by NII kakenhi