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

2012 年度 研究成果報告書

• 研究課題/領域番号: 22500037
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 南山大学
• 研究代表者: 沢田 篤史 南山大学, 情報理工学部, 教授 (40273841)
• 研究分担者: 野呂 昌満 南山大学, 情報理工学部, 教授 (40189452) ; 張 漢明 南山大学, 情報理工学部, 准教授 (90329756)
• 研究期間 (年度): 2010 – 2012
• キーワード: ソフトウェア工学 / ソフトウェア解析 / ソフトウェア進化

研究概要

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

研究成果

• [雑誌論文] Dependency Based Approach for Software Analysis Web Services Replacement (2012)
  • 著者名/発表者名: C. Wijesiriwardana, G. Ghezzi, E.Giger, A. Sawada, H. Gall
  • 雑誌名: Proc. the 19th Asia-Pacific Software Engineering Conference ページ: 294-299
  • DOI: DOI:10.1109/APSEC.2012.130
  • 査読あり
• [雑誌論文] ソフトウェア進化研究の分類と動向 (2012)
  • 著者名/発表者名: 大森隆行,丸山勝久,林晋平,沢田篤史
  • 雑誌名: コンピュータソフトウェア 巻: Vol.29,No.3 ページ: 3_3-3_28
  • DOI: DOI:10.11309/jssst.29.3_3
  • 査読あり
• [雑誌論文] 属性付き字句系列に基づくソースコード書き換え支援環境 (2012)
  • 著者名/発表者名: 吉田敦,蜂巣吉成,沢田篤史,張漢明,野呂昌満
  • 雑誌名: 情報処理学会論文誌 巻: Vol.53,No.7 ページ: 1832-1849
  • URL: http://id.nii.ac.jp/1001/00083176/
  • 査読あり
• [雑誌論文] A Design Map for Recording Precise Architecture Decisions (2011)
  • 著者名/発表者名: A. Sawada, M. Noro, H. Chang, Y.Hachisu, A. Yoshida
  • 雑誌名: Proc. the 18th Asia-PacificSoftware Engineering Conference ページ: 298-305
  • DOI: DOI:10.1109/APSEC.2011.36
  • 査読あり
• [雑誌論文] ソースコードインスペクションツールのためのソフトウェアアーキテクチャの設計と進化 (2011)
  • 著者名/発表者名: 沢田篤史,野呂昌満,蜂巣吉成,張漢明,吉田敦,長大介,浦野彰彦
  • 雑誌名: コンピュータソフトウェア 巻: Vol.28,No.4 ページ: 4_241-4_261
  • DOI: DOI:JST.JSTAGE/jssst/28.4_241
  • 査読あり
• [雑誌論文] HTML要素の状態を考慮したCSSの拡張方法の提案 (2011)
  • 著者名/発表者名: 蜂巣吉成,吉田敦,野呂昌満,沢田篤史,張漢明
  • 雑誌名: 電子情報通信学会論文誌D 巻: Vol.J94-D,No.11 ページ: 1931-1934
  • 査読あり
• [雑誌論文] コンパイル方式によるXQuery問い合わせプログラム生成方法 (2011)
  • 著者名/発表者名: 蜂巣吉成,野呂昌満,沢田篤史,張漢明,吉田敦
  • 雑誌名: ソフトウェア工学の基礎XVIII-日本ソフトウェア科学会FOSE2011 ページ: 21-30
  • 査読あり
• [雑誌論文] 表現の違いを考慮したマクロ逆置換方法の提案 (2011)
  • 著者名/発表者名: 曽我展世,吉田敦,蜂巣吉成,沢田篤史,張漢明,野呂昌満
  • 雑誌名: ソフトウェアエンジニアリングシンポジウム2011論文集(情報処理学会シンポジウムシリーズ) 巻: Vol.2011 ページ: 1-6
  • URL: http://id.nii.ac.jp/1001/00077559/
  • 査読あり
• [雑誌論文] Measuring the Effects of Aspect-Oriented Refactoring on Component Relationships: Two Case Studies (2011)
  • 著者名/発表者名: R. Yokomori, H. Siy, N. Yoshida, M.Noro, K. Inoue
  • 雑誌名: Proceedings of the 10th Annual Aspect-Oriented SoftwareDevelopment Conference (AOSD2011) ページ: 215-226
  • DOI: DOI:10.1145/1960275.1960301
  • 査読あり
• [雑誌論文] モデル検査を用いた振舞検証の実用化技術に関する考察-網羅性に着目して- (2010)
  • 著者名/発表者名: 張漢明,野呂昌満,沢田篤史,蜂巣吉成,吉田敦
  • 雑誌名: ソフトウェア工学の基礎XVII-日本ソフトウェア科学会FOSE2010 ページ: 107-122
  • 査読あり
• [雑誌論文] デザインパターンを用いたソースコードインスペクションツールのソフトウェアアーキテクチャ設計 (2010)
  • 著者名/発表者名: 浦野彰彦,沢田篤史,野呂昌満,蜂巣吉成,張漢明,吉田敦
  • 雑誌名: ソフトウェア工学の基礎XVII-日本ソフトウェア科学会FOSE2010 ページ: 15-24
  • 査読あり
• [雑誌論文] 属性付き字句系列に基づくプログラム書換え支援環境の試作 (2010)
  • 著者名/発表者名: 吉田敦,蜂巣吉成,沢田篤史,張漢明,野呂昌満
  • 雑誌名: ソフトウェアエンジニアリング最前線-情報処理学会SES2010 ページ: 119-126
  • 査読あり
• [学会発表] アーキテクチャ指向開発における形式手法適用に関する考察 (2013)
  • 著者名/発表者名: 張漢明,野呂昌満,沢田篤史,吉田敦,蜂巣吉成
  • 学会等名: 情報処理学会第28回組込みシステム研究発表会
  • 発表場所: 対馬市交流センター(長崎県対馬市)
  • 年月日: 2013-03-13
• [学会発表] SOAに基づくシステムのためのアプリケーションプラットフォームのプロダクトライン化に関する研究,情 (2013)
  • 著者名/発表者名: 江坂篤侍,野呂昌満 ,沢田篤史
  • 学会等名: 報処理学会第179回ソフトウェア工学研究発表会
  • 発表場所: 化学会館(東京都千代田区)
  • 年月日: 2013-03-12
• [学会発表] フォールトパターンを用いたデバッグ支援 (2012)
  • 著者名/発表者名: 張漢明,沢田篤史
  • 学会等名: 日本ソフトウェア科学会第19回ソフトウェア工学の基礎ワークショップ
  • 発表場所: ゆふいん山水館(大分県由布市)
  • 年月日: 2012-12-13
• [学会発表] 並行システム記述におけるフォールトパターンに関する考察 (2012)
  • 著者名/発表者名: 張漢明,野呂昌満,沢田篤史,横森励士,吉田敦,蜂巣吉成
  • 学会等名: 電子情報通信学会ソフトウェアサイエンス研究会
  • 発表場所: 広島市立大学(広島県広島市)
  • 年月日: 2012-11-01
• [学会発表] ネットワークの振る舞いに依存するシステムへの形式手法の適用の検討 (2012)
  • 著者名/発表者名: 吉田信明,張漢明,沢田篤史,中村行宏
  • 学会等名: 電子情報通信学会ソフトウェアサイエンス研究会
  • 発表場所: 広島市立大学(広島県広島市)
  • 年月日: 2012-11-01
• [学会発表] ソフトウェア進化研究に関する動向調査-IWPSEシリーズを題材に- (2012)
  • 著者名/発表者名: 大森隆行,丸山勝久,林晋平,沢田篤史
  • 学会等名: 電子情報通信学会ソフトウェアサイエンス研究会
  • 発表場所: てんぶす那覇(沖縄県那覇市)
  • 年月日: 2012-03-14
• [学会発表] パターンに基づくCSP記述の検査に関する考察 (2011)
  • 著者名/発表者名: 張漢明,野呂昌満,沢田篤史,吉田敦,蜂巣吉成,横森励士
  • 学会等名: 電子情報通信学会ソフトウェアサイエンス研究会
  • 発表場所: 北陸先端科学技術大学院大学(石川県能美市)
  • 年月日: 2011-10-28
• [学会発表] 階層分割に基づく組込みソフトウェアの振舞い検証の支援について (2010)
  • 著者名/発表者名: 張漢明 ,野呂昌満 ,沢田篤史 ,蜂巣吉成,吉田敦
  • 学会等名: 情報処理学会第18回組込みシステム研 究発表会
  • 発表場所: はこだて未来大学(北海道函館市)
  • 年月日: 2010-08-10
• [学会発表] On the Job Learning (2010)
  • 著者名/発表者名: 沢田篤史
  • 学会等名: 産学連携による新しいソフトウェア工学教育手法
  • 発表場所: 慶應義塾大学日吉キャンパス(横浜市港北区)
  • 年月日: 2010-06-26
• [学会発表] デザインパターンを用いたCDIツールのアーキテクチャとその実現 (2010)
  • 著者名/発表者名: 浦野彰彦,沢田篤史,野呂昌満,蜂巣吉成
  • 学会等名: 情報処理学会第168回ソフトウェア工学研究会/第17回組込みシステム研究会合同研究発表会
  • 発表場所: 化学会館(東京都千代田区)
  • 年月日: 2010-06-02
• [図書] 組込みソフトウェア開発技術 (2011)
  • 著者名/発表者名: 沢田篤史,平山雅之
  • 総ページ数: 352
  • 出版者: CQ出版社